Reciprocal relations between cyclotomic fields

We describe a reciprocity relation between the prime ideal factorization, and related properties, of certain cyclotomic integers of the type ?n(c−ζm) in the cyclotomic field of the m-th roots of unity and that of the symmetrical elements ?m(c−ζn) in the cyclotomic field of the n-th roots. Here m and n are two positive integers, ?n is the n-th cyclotomic polynomial, ζm a primitive m-th root of unity, and c a rational integer. In particular, one of these integers is a prime element in one cyclotomic field if and only if its symmetrical counterpart is prime in the other cyclotomic field. More properties are also established for the special class of pairs of cyclotomic integers q(1−ζp)−1 and p(1−ζq)−1, where p and q are prime numbers.     

Arithmetical properties of linear recurrent sequences

Let F(z)∈R[z] be a polynomial with positive leading coefficient, and let α>1 be an algebraic number. For r=degF>0, assuming that at least one coefficient of F lies outside the field Q(α) if α is a Pisot number, we prove that the difference between the largest and the smallest limit points of the sequence of fractional parts {F(n)αn}_n=1,2,3,… is at least 1/?(Pr+1), where ? stands for the so-called reduced length of a polynomial.     

Powers of roots in linear spaces

Suppose K is a field, αn∈K^∗, and n is the least natural number with this property. We study the question on how many powers αj, 0?j<n, lie in a given K-linear space.     

Caliber number of real quadratic fields

We obtain lower bound of caliber number of real quadratic field using splitting primes in K. We find all real quadratic fields of caliber number 1 and find all real quadratic fields of caliber number 2 if d is not 5 modulo 8. In both cases, we don't rely on the assumption on ζK(1/2).     

Circular distributions and a result of Solomon

In his paper (Invent. Math. 109 (1992) 329-350), Solomon finds an information on the prime factorization of an element coming from a circular unit 1-ζ over the ideal class group of a real abelian number field L, where ζ denotes a root of unity. Using this he obtains an annihilator of the p-Sylow subgroup of the subgroup of the ideal class group of L generated by the classes of prime ideals lying above p. We generalize this result to the circular distributions which has the axiomatic definition of Euler systems as its defining property.     

On the Class-number of the Maximal Real Subfield of a Cyclotomic Field

For any square-free positive integer m, let H(m) be the class-number of the field , where ζ_m is a primitive m-th root of unity. We show that if m = {3(8 g + 5)}² ? 2 is a square-free integer, where g is a positive integer, then H(4 m) > 1. Similar result holds for a square-free integer m = {3(8 g +7)}² ?2, where g is a positive integer. We also show that n|H(4 m) for certain positive integers m and n.     

On the distance from a rational power to the nearest integer

We prove that for any non-zero real number ξ the sequence of fractional parts {ξ(3/2)ⁿ}, n=1,2,3,…, contains at least one limit point in the interval [0.238117…,0.761882…] of length 0.523764…. More generally, it is shown that every sequence of distances to the nearest integer ||ξ(p/q)ⁿ||, n=1,2,3,…, where p/q>1 is a rational number, has both ‘large’ and ‘small’ limit points. All obtained constants are explicitly expressed in terms of p and q. They are also expressible in terms of the Thue-Morse sequence and, for irrational ξ, are best possible for every pair p>1, q=1. Furthermore, we strengthen a classical result of Pisot and Vijayaraghavan by giving similar effective results for any sequence ||ξαⁿ||, n=1,2,3,…, where α>1 is an algebraic number and where ξ≠0 is an arbitrary real number satisfying ξ∉Q(α) in case α is a Pisot or a Salem number.     

Determination of algebraic relations among special zeta values in positive characteristic

As an analogue to special values at positive integers of the Riemann zeta function, we consider Carlitz zeta values ζC(n) at positive integers n. By constructing t-motives after Papanikolas, we prove that the only algebraic relations among these characteristic p zeta values are those coming from the Euler-Carlitz relations and the Frobenius pth power relations.     

On the group of modular units and the ideal class group

J.-M. Kim, S. Bae and I.-S. Lee showed that there exists an isomorphism between the p-primary part of the ideal class group and p-primary part of the unit group modulo cyclotomic unit group in Q⁺(ζpn) for all sufficiently large n under some conditions. In the present paper, we shall give an analogue of their result for modular units.     

Hilbert-Speiser number fields for a prime p inside the p-cyclotomic field

Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies .     

On integer and fractional parts of powers of Salem numbers

Let N be a positive rational integer and let P be the set of powers of a Salem number of degree d. We prove that for any α∈P the fractional parts of the numbers , when n runs through the set of positive rational integers, are dense in the unit interval if and only if N≦ 2d − 4. We also show that for any α∈P the integer parts of the numbers αⁿ are divisible by N for infinitely many n if and only if N≦ 2d − 3. Received: 27 April 2005     

On the non-Archimedean metric Mahler measure

Recently, Dubickas and Smyth constructed and examined the metric Mahler measure and the metric naïve height on the multiplicative group of algebraic numbers. We give a non-Archimedean version of the metric Mahler measure, denoted M_∞, and prove that M_∞(α)=1 if and only if α is a root of unity. We further show that M_∞ defines a projective height on as a vector space over Q. Finally, we demonstrate how to compute M_∞(α) when α is a surd.     

On a refinement of Craig’s lattices

Let p be an odd prime. A family of (p−1)-dimensional over-lattices yielding new record packings for several values of p in the interval [149…3001] is presented. The result is obtained by modifying Craig’s construction and considering conveniently chosen Z-submodules of Q(ζ), where ζ is a primitive pth root of unity. For p≥59, it is shown that the center density of the (p−1)-dimensional lattice in the new family is at least twice the center density of the (p−1)-dimensional Craig lattice.     

Indices of Kummer extensions of prime degree

Let p be a prime and let ${\zeta }_p$ be a primitive p-th root of unity. For a finite extension k of $\mathbb{Q}$ containing ${\zeta }_p$, we consider a Kummer extension $L/k$ of degree p. In this paper, we show that if $k=\mathbb{Q}({\zeta }_p)$ and the class number of k is one, the index of $L/k$ is one. We also show that if $L/k$ is tamely ramified with a normal integral basis, the index is at most a power of p. In the last section, we show that there exist infinitely many cubic Kummer extensions of $\mathbb{Q}({\zeta }_3)$ for both wildly and tamely ramified cases, whose integer rings do not have a power integral basis over that of $\mathbb{Q}({\zeta }_3)$.     

An adelic Hankel summation formula

In this paper, the convergence of the Euler product of the Hecke zeta-function ζ(s,χ) is proved on the line R(s)=1 with s≠1. A certain functional identity between ζ(s,χ) and ζ(2−s,χ) is found. An analogue of Tate's adelic Poisson summation is obtained for the global Hankel transformation, which is constructed in Li (2010) [7].     

Arithmetical properties of wendt's determinant

Wendt's determinant of order n is the circulant determinant W_n whose (i,j)-th entry is the binomial coefficient , for 1?i,j?n, where n is a positive integer. We establish some congruence relations satisfied by these rational integers. Thus, if p is a prime number and k a positive integer, then and . If q is another prime, distinct from p, and h any positive integer, then . Furthermore, if p is odd, then . In particular, if p?5, then . Also, if m and n are relatively prime positive integers, then W_mW_n divides W_mn.     

Power integral bases in prime-power cyclotomic fields

Let p be an odd prime and q=pm, where m is a positive integer. Let ζ be a primitive qth root of unity, and Oq be the ring of integers in the cyclotomic field Q(ζ). We prove that if Oq=Z[α] and , where is the class number of Q(ζ+ζ⁻¹), then an integer translate of α lies on the unit circle or the line Re(z)=1/2 in the complex plane. Both are possible since Oq=Z[α] if α=ζ or α=1/(1+ζ). We conjecture that, up to integer translation, these two elements and their Galois conjugates are the only generators for Oq, and prove that this is indeed the case when q=25.     

The parametrized family of metric Mahler measures

Let M(α) denote the (logarithmic) Mahler measure of the algebraic number α. Dubickas and Smyth, and later Fili and the author, examined metric versions of M. The author generalized these constructions in order to associate, to each point in t∈(0,∞], a metric version Mt of the Mahler measure, each having a triangle inequality of a different strength. We further examine the functions Mt, using them to present an equivalent form of Lehmer?s conjecture. We show that the function t?Mtt(α) is constructed piecewise from certain sums of exponential functions. We pose a conjecture that, if true, enables us to graph t?Mt(α) for rational α.     

Weighted moments of the limit of a branching process in a random environment

Let (Z _n ) be a supercritical branching process in an independent and identically distributed random environment ζ = (ζ ₀, ζ ₁,…), and let W be the limit of the normalized population size Z _n / $\mathbb{E}$ (Z _n |ζ). We show a necessary and sufficient condition for the existence of weighted moments of W of the form $\mathbb{E}$ , where α ≥ 1 and ? is a positive function slowly varying at ∞.     

The joint universality theorem for a pair of Hurwitz zeta functions

In this paper we investigate the joint functional distribution for a pair of Hurwitz zeta functions ζ(s,αj) (j=1,2) in the case that real transcendental numbers α₁ and α₂ satisfy α₂∈Q(α₁). Especially we establish the joint universality theorem for these zeta functions.