The ideal class groups of dihedral extensions over imaginary quadratic fields and the special values of the Artin L-function

We study the relation between the minus part of the p-class subgroup of a dihedral extension over an imaginary quadratic field and the special value of the Artin L-function at 0.     

On some questions related to the Gauss conjecture for function fields

We show that, for any finite field Fq, there exist infinitely many real quadratic function fields over Fq such that the numerator of their zeta function is a separable polynomial. As pointed out by Anglès, this is a necessary condition for the existence, for any finite field Fq, of infinitely many real function fields over Fq with ideal class number one (the so-called Gauss conjecture for function fields). We also show conditionally the existence of infinitely many real quadratic function fields over Fq such that the numerator of their zeta function is an irreducible polynomial.     

The distribution of class groups of function fields

For any sufficiently general family of curves over a finite field F_q and any elementary abelian ?-group H with ? relatively prime to q, we give an explicit formula for the proportion of curves C for which Jac(C)[?](F_q)≅H. In doing so, we prove a conjecture of Friedman and Washington.     

Reflection theorem for divisor class groups of relative quadratic function fields

We present the reflection theorem for divisor class groups of relative quadratic function fields. Let K be a global function field with constant field Fq. Let L₁ be a quadratic geometric extension of K and let L₂ be its twist by the quadratic constant field extension of K. We show that for every odd integer m that divides q+1 the divisor class groups of L₁ and L₂ have the same m-rank.     

Tate conjecture for twisted Picard modular surfaces

In this paper we prove Tate conjecture for twisted Picard modular surfaces.     

Torsion subgroups of Brauer groups and extensions of constant local degree for global function fields

We show that, for all characteristic p global fields k and natural numbers n coprime to the order of the non-p-part of the Picard group Pic⁰(k) of k, there exists an abelian extension L/k whose local degree at every prime of k is equal to n. This answers in the affirmative in this context a question recently posed by Kisilevsky and Sonn. As a consequence, we show that, for all n and k as above, the n-torsion subgroup Br_n(k) of the Brauer group Br(k) of k is algebraic, answering a question of Aldjaeff and Sonn in this context.     

Circular units in a bicyclic field

For a real abelian field with a non-cyclic Galois group of order l², l being an odd prime, the index of the Sinnott group of circular units is computed.     

Higher rank subgroups in the class groups of imaginary function fields

Let F be a finite field and T a transcendental element over F. In this paper, we construct, for integers m and n relatively prime to the characteristic of F(T), infinitely many imaginary function fields K of degree m over F(T) whose class groups contain subgroups isomorphic to (Z/nZ)^m. This increases the previous rank of m−1 found by the authors in [Y. Lee, A. Pacelli, Class groups of imaginary function fields: The inert case, Proc. Amer. Math. Soc. 133 (2005) 2883-2889].     

The Galois representations associated to a Drinfeld module in special characteristic—II: Openness

Let φ be a Drinfeld A-module in special characteristic p₀ over a finitely generated field K. For any finite set P of primes p≠p₀ of A let Γ_P denote the image of Gal(K^sep/K) in its representation on the product of the p-adic Tate modules of φ for all p∈P. We determine Γ_P up to commensurability.     

The Galois representations associated to a Drinfeld module in special characteristic—I: Zariski density

Let ? be a Drinfeld A-module of rank r over a finitely generated field K. Assume that ? has special characteristic p₀ and consider any prime p≠p₀ of A. If End_K^sep(?)=A, we prove that the image of Gal(K^sep/K) in its representation on the p-adic Tate module of ? is Zariski dense in GL_r.     

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

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.     

Enlargement of the group of circular units of a bicyclic field

We compute the index of a certain extension of Sinnott's group of circular units in the group of all units of a bicyclic field. From this index we obtain some divisibility properties for class numbers of bicyclic fields.     

On the independence of Heegner points in the function field case

Let ∞ be a fixed place of a global function field k. Let E be an elliptic curve defined over k which has split multiplicative reduction at ∞ and fix a modular parametrization ΦE:X₀(N)→E. Let be Heegner points associated to the rings of integers of distinct quadratic “imaginary” fields K₁,…,Kr over (k,∞). We prove that if the “prime-to-2p” part of the ideal class numbers of ring of integers of K₁,…,Kr are larger than a constant C=C(E,ΦE) depending only on E and ΦE, then the points P₁,…,Pr are independent in . Moreover, when k is rational, we show that there are infinitely many imaginary quadratic fields for which the prime-to-2p part of the class numbers are larger than C.     

The Galois representations associated to a Drinfeld module in special characteristic—III: Image of the group ring

Let K be a finitely generated field of transcendence degree 1 over a finite field, and set G_K?Gal(K^sep/K). Let φ be a Drinfeld A-module over K in special characteristic. Set E?End_K(φ) and let Z be its center. We show that for almost all primes p of A, the image of the group ring A_p[G_K] in End_A(T_p(φ)) is the commutant of E. Thus, for almost all p it is a full matrix ring over Z⊗_AA_p. In the special case E=A it follows that the representation of G_K on the p-torsion points φ[p] is absolutely irreducible for almost all p.     

Average values of L-functions in characteristic two

Gauss made two conjectures about average values of class numbers of orders in quadratic number fields, later on proven by Lipschitz and Siegel. A version for function fields of odd characteristic was established by Hoffstein and Rosen. In this paper, we extend their results to the case of even characteristic. More precisely, we obtain formulas of average values of L-functions associated to orders in quadratic function fields over a constant field of characteristic two, and then derive formulas of average class numbers of these orders.     

Punctured distributions of global function fields

We obtain some criteria for elements in the universal ordinary punctured even (odd) distributions on global function fields to be torsion and then compute the torsion subgroups of the level groups of the universal punctured ordinary even (odd) distributions of global function fields. Supported by Korea Research Foundation grant (KRF-2002-070-C00003)     

Maximal class numbers of CM number fields

Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis and Artin's conjecture on the entirety of Artin L-functions, we derive an upper bound (in terms of the discriminant) on the class number of any CM number field with maximal real subfield F. This bound is a refinement of a bound established by Duke in 2001. Under the same hypotheses, we go on to prove that there exist infinitely many CM-extensions of F whose class numbers essentially meet this improved bound and whose Galois groups are as large as possible.     

On the Birch and Swinnerton-Dyer conjecture for abelian varieties attached to Hilbert modular forms

In this paper we prove that if the Birch and Swinnerton-Dyer conjecture holds for abelian varieties attached to Hilbert newforms of parallel weight 2 with trivial central character, then the Birch and Swinnerton-Dyer conjecture holds for abelian varieties attached to Hilbert newforms of parallel weight 2 with trivial central character regarded over arbitrary totally real number fields.     

Double complex and gamma-monomials in global function fields

We investigate Γ-monomials of positive characteristic Γ-functions in the global function fields by using Anderson's double complex method. The results are the generalizations of those in the rational function field case.