On congruence relations between the fundamental units of biquadratic fields

Given any distinct prime numbers p,q, and r satisfying certain simple congruence conditions, we display a congruence relation between the fundamental units for the biquadratic field , modulo a certain prime ideal of OK. This congruence in particular implies the validity of the equivariant Tamagawa number conjecture formulated by Burns and Flach for the pair (h⁰(SpecK),Z[Gal(K/Q)]).     

Siegel's lemma with additional conditions

Let K be a number field, and let W be a subspace of KN, N?1. Let V₁,…,VM be subspaces of KN of dimension less than dimension of W. We prove the existence of a point of small height in , providing an explicit upper bound on the height of such a point in terms of heights of W and V₁,…,VM. Our main tool is a counting estimate we prove for the number of points of a subspace of KN inside of an adelic cube. As corollaries to our main result we derive an explicit bound on the height of a nonvanishing point for a decomposable form and an effective subspace extension lemma.     

The structure of d-dimensional sets with small sumset

We describe the structure of d-dimensional sets of lattice points, having a small doubling property. Let K be a finite subset of Zd such that dimK=d?2. If and |K|>3⋅d⁴, then K lies on d parallel lines. Moreover, for every d-dimensional finite set K⊆Zd that lies on d?1 parallel lines, if , then K is contained in d parallel arithmetic progressions with the same common difference, having together no more than terms. These best possible results answer a recent question posed by Freiman and cannot be sharpened by reducing the quantity v or by increasing the upper bounds for |K+K|.     

Bernoulli-Hurwitz numbers, Wieferich primes and Galois representations

Let K be a quadratic imaginary number field with discriminant DK≠−3,−4 and class number one. Fix a prime p?7 which is unramified in K. Given an elliptic curve A/Q with complex multiplication by K, let be the representation which arises from the action of Galois on the Tate module. Herein it is shown that, for all but finitely many inert primes p, the image of a certain deformation of is “as large as possible”, that is, it is the full inverse image of a Cartan subgroup of SL(2,Zp). If p splits in K, then the same result holds as long as a certain Bernoulli-Hurwitz number is a p-adic unit which, in turn, is equivalent to a prime ideal not being a Wieferich place. The proof rests on the theory of elliptic units of Robert and Kubert-Lang, and on the two-variable main conjecture of Iwasawa theory for quadratic imaginary fields.     

Class number indivisibility for quadratic function fields

Let M?5. For any odd prime power q and any prime ??q, we show that there are at least pairwise coprime D∈Fq[T] which are square-free and of odd degree ?M, such that ? does not divide the class number of the complex quadratic functions fields .     

Continued fractions, special values of the double sine function, and Stark units over real quadratic fields

Let F be a real quadratic field and m an integral ideal of F. Two Stark units, εm,1 and εm,2, are conjectured to exist corresponding to the two different embeddings of F into R. We define new ray class invariants and associated to each class C₊ of the narrow ray class group modulo m and dependent separately on the two different embeddings of F into R. These invariants are defined as a product of special values of the double sine function in a compact and canonical form using a continued fraction approach due to Zagier and Hayes. We prove that both Stark units εm,1 and εm,2, assuming they exist, can be expressed simultaneously and symmetrically in terms of and , thus giving a canonical expression for every existent Stark unit over F as a product of double sine function values. We prove that Stark units do exist as predicted in certain special cases.     

On elliptic units and p-adic Galois representations attached to elliptic curves

Let K be a quadratic imaginary number field with discriminant D_K≠-3,-4 and class number one. Fix a prime p?7 which is not ramified in K and write h_p for the class number of the ray class field of K of conductor p. Given an elliptic curve A/K with complex multiplication by K, let be the representation which arises from the action of Galois on the Tate module. Herein it is shown that if then the image of a certain deformation of is “as big as possible”, that is, it is the full inverse image of a Cartan subgroup of SL(2,Z_p). The proof rests on the theory of Siegel functions and elliptic units as developed by Kubert, Lang and Robert.     

The 3-Sylow subgroup of the tame kernel of real number fields

Let F be a cubic cyclic field with exactly one ramified prime p,p>7, or , a real quadratic field with . In this paper, we study the 3-primary part of K₂O_F. If 3 does not divide the class number of F, we get some results about the 9-rank of K₂O_F. In particular, in the case of a cubic cyclic field F with only one ramified prime p>7, we prove that four conclusions concerning the 3-primary part of K₂O_F, obtained by J. Browkin by numerical computations for primes p, 7≤p≤5000, are true in general.     

Simple arguments on consecutive power residues

By some extremely simple arguments, we point out the following:

(i)

If n is the least positive kth power non-residue modulo a positive integer m, then the greatest number of consecutive kth power residues mod m is smaller than m/n.

(ii)

Let OK be the ring of algebraic integers in a quadratic field with d∈{−1,−2,−3,−7,−11}. Then, for any irreducible π∈OK and positive integer k not relatively prime to , there exists a kth power non-residue ω∈OK modulo π such that .

     

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).     

Hermitian vector bundles and extension groups on arithmetic schemes. I. Geometry of numbers

We define and investigate extension groups in the context of Arakelov geometry. The “arithmetic extension groups” we introduce are extensions by groups of analytic types of the usual extension groups attached to OX-modules F and G over an arithmetic scheme X. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over X - and we especially consider the case when X is an “arithmetic curve”, namely the spectrum SpecOK of the ring of integers in some number field K. Then the study of arithmetic extensions over X is related to old and new problems concerning lattices and the geometry of numbers.Namely, for any two hermitian vector bundles and over X:=SpecOK, we attach a logarithmic size to any element α of , and we give an upper bound on in terms of slope invariants of and . We further illustrate this notion by relating the sizes of restrictions to points in P¹(Z) of the universal extension over to the geometry of PSL₂(Z) acting on Poincaré's upper half-plane, and by deducing some quantitative results in reduction theory from our previous upper bound on sizes. Finally, we investigate the behaviour of size by base change (i.e., under extension of the ground field K to a larger number field K^′): when the base field K is Q, we establish that the size, which cannot increase under base change, is actually invariant when the field K^′ is an abelian extension of K, or when is a direct sum of root lattices and of lattices of Voronoi's first kind.The appendices contain results concerning extensions in categories of sheaves on ringed spaces, and lattices of Voronoi's first kind which might also be of independent interest.     

The support problem for abelian varieties

Let A be an abelian variety over a number field K. If P and Q are K-rational points of A such that the order of the reduction of Q divides the order of the ) reduction of P for almost all prime ideals , then there exists a K-endomorphism φ of A and a positive integer k such that φ(P)=kQ.     

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 .     

Cubic residues and binary quadratic forms

Let p>3 be a prime, u,v,d∈Z, gcd(u,v)=1, p?u²−dv² and , where is the Legendre symbol. In the paper we mainly determine the value of by expressing p in terms of appropriate binary quadratic forms. As applications, for we obtain a general criterion for and a criterion for εd to be a cubic residue of p, where εd is the fundamental unit of the quadratic field . We also give a general criterion for , where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=PUn−QUn−1 (n?1). Furthermore, we establish a general result to illustrate the connections between cubic congruences and binary quadratic forms.     

On the parity of the class number of multiquadratic number fields

This paper investigates the 2-class group of real multiquadratic number fields. Let p₁,p₂,…,pn be distinct primes and . We draw a list of all fields K whose 2-class group is trivial.     

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.     

On the index of circular units in the full group of units of a compositum of quadratic fields

For a compositum of quadratic fields , where d₁,…,ds are square-free odd integers and , we study the group C of circular units of k. We construct a basis of C, compute the index of C in the full group of units of k and derive a lower bound for the divisibility of this index by a power of 2. These results give a lower bound for the divisibility of the class number of the maximal real subfield of k by a power of 2.     

The vanishing order of certain Hecke L-functions of imaginary quadratic fields

Let −D<−4 denote a fundamental discriminant which is either odd or divisible by 8, so that the canonical Hecke character of exists. Let d be a fundamental discriminant prime to D. Let 2k−1 be an odd natural number prime to the class number of . Let χ be the twist of the (2k−1)th power of a canonical Hecke character of by the Kronecker's symbol . It is proved that the vanishing order of the Hecke L-function L(s,χ) at its central point s=k is determined by its root number when , where the constant implied in the symbol ? depends only on k and ?, and is effective for L-functions with root number −1.     

Prescribing valuations of the order of a point in the reductions of abelian varieties and tori

Let G be the product of an abelian variety and a torus defined over a number field K. Let R be a K-rational point on G of infinite order. Call nR the number of connected components of the smallest algebraic K-subgroup of G to which R belongs. We prove that nR is the greatest positive integer which divides the order of for all but finitely many primes p of K. Furthermore, let m>0 be a multiple of nR and let S be a finite set of rational primes. Then there exists a positive Dirichlet density of primes p of K such that for every ? in S the ?-adic valuation of the order of equals v?(m).     

Realizable classes of tetrahedral extensions

Let k be a number field and O_k its ring of integers. Let Γ be the alternating group A₄. Let be a maximal O_k-order in k[Γ] containing O_k[Γ] and its class group. We denote by the set of realizable classes, that is the set of classes such that there exists a Galois extension N/k at most tamely ramified, with Galois group isomorphic to Γ, for which the class of is equal to c, where O_N is the ring of integers of N. In this article we determine and we prove that it is a subgroup of provided that k and the 3rd cyclotomic field of are linearly disjoint, and the class number of k is odd.