Mixed Siegel Modular Forms and Special Valuesof Certain Dirichlet Series

 Let be a Siegel modular form of weight ?, and let be an Eichler embedding, where denotes the Siegel upper half space of degree n. We use the notion of mixed Siegel modular forms to construct the linear map of the spaces of Siegel cusp forms for the congruence subgroup and express the Fourier coefficients of the image of an element under in terms of special values of a certain Dirichlet series. We also discuss connections between mixed Siegel cusp forms and holomorphic forms on a family of abelian varieties. (Received 28 February 2000; in revised form 11 July 2000)     

Optimal embeddings in quaternion algebras

Let A be a quaternion algebra over a number field k and assume that A satisfies the Eichler condition so that some infinite place of k is unramified in A. Let L be a quadratic extension of k which embeds in A. Let R_k denote the ring of integers of k and let B be an R_k-order in L. Suppose that is an Eichler order of A of square-free level S. In this paper, we determine when there exists an embedding σ:L→A over k which gives an optimal embedding of B into in the sense that . This generalises previous work of Eichler [M. Eichler, Zur Zahlentheorie der Quaternionenalgebren, J. Reine Angew. Math. 195 (1955) 127–155] and Chinburg and Friedman [T. Chinburg, E. Friedman, An embedding theorem for quaternion algebras, J. London Math. Soc. 60 (1999) 33–44].     

Adelic openness for Drinfeld modules in generic characteristic

Let φ be a Drinfeld A-module of arbitrary rank and generic characteristic over a finitely generated field K. If the endomorphism ring of φ over an algebraic closure of K is equal to A, we prove that the image of the adelic Galois representation associated to φ is open.     

On primitive roots for rank one Drinfeld modules

Let k be a global function field over a finite field and let A be the ring of the elements in k regular outside a fixed place ∞. Let K be a global A-field of finite A-characteristic and let ? be a rank one Drinfeld A-module over K. Given any α∈K, we show that the set of places P of K for which α is a primitive root modulo P under the action of ? possesses a Dirichlet density. We also give conditions for this density to be positive.     

Artin's L-functions and one-dimensional characters

Let K/Q be a finite Galois extension with the Galois group G, let χ₁,…,χr be the irreducible non-trivial characters of G, and let A be the C-algebra generated by the Artin L-functions L(s,χ₁),…,L(s,χr). Let B be the subalgebra of A generated by the L-functions corresponding to induced characters of non-trivial one-dimensional characters of subgroups of G. We prove: (1) B is of Krull dimension r and has the same quotient field as A; (2) B=A iff G is M-group; (3) the integral closure of B in A equals A iff G is quasi-M-group.     

Superspecial abelian varieties and the Eichler Basis Problem for Hilbert modular forms

Let p be an unramified prime in a totally real field L such that h⁺(L)=1. Our main result shows that Hilbert modular newforms of parallel weight two for Γ₀(p) can be constructed naturally, via classical theta series, from modules of isogenies of superspecial abelian varieties with real multiplication on a Hilbert moduli space. This may be viewed as a geometric reinterpretation of the Eichler Basis Problem for Hilbert modular forms.     

Equivalence classes of matrices over finite fields

Let F=GF(q) denote the finite field of order q, and F_mn the ring of m×n matrices over F. Let Ω be a group of permutations of F. If A,B∈F_mn, then A is equivalent to B relative to Ω if there exists ?∈Ω such that ?(a_ij) = b_ij. Formulas are given for the number of equivalence classes of a given order and for the total number of classes induced by various permutation groups. In particular, formulas are given if Ω is the symmetric group on q letters, a cyclic group, or a direct sum of cyclic groups.     

Homogeneous multiplicative polynomial laws are determinants

Let k be a commutative ring. Let R,B be k-algebras with B commutative. Let p:R→B be a homogeneous multiplicative polynomial law of degree n. We show that p is obtained by left and right composing a determinant with some homomorphisms of k-algebras.     

2-restricted extensions of partial embeddings of graphs

Let K be a subgraph of G. Suppose that we have a 2-cell embedding of K in some surface and that for each K-bridge in G, one or two simple embeddings in faces of K are prescribed. Obstructions for existence of extensions of the embedding of K to an embedding of G are studied. It is shown that minimal obstructions possess certain combinatorial structure that can be described in an algebraic way by means of forcing chains of K-bridges. The geometric structure of minimal obstructions is also described. It is shown that they have “millipede” structure that was observed earlier in some special cases (disc, Möbius band). As a consequence it is proved that if one is allowed to reroute the branches of K, one can obtain a subgraph K′ of G homeomorphic to K for which an obstruction of bounded branch size exists. The precise combinatorial and geometric structure of corresponding obstructions can be used to get a linear time algorithm for either finding an embedding extension or discovering minimal obstructions.     

Close-to-normal structure and its applications

Let K be a bounded subset of a metric space (B, d). Let W(K) be the supremum of the cardinals of all subsets H of K such that the distance between any two distinct points in H is equal to the diameter of K. This function W on the family of all bounded subsets of B is used to prove the following result. Let K be a weakly compact convex subset of a Banach space B. Then K has a close-to-normal structure if B satisfies any of the following conditions: (a) B is strictly convex; (b) B is separable; (c) B has the property A: For any sequence {x_n} in B, {x_n} converges to a point x in B if it converges weakly to x and {∥x_n∥} converges to ∥x∥. Applications of this result to the fixed point theory are given.     

Sharp bounds for the number of roots of univariate fewnomials

Let K be a field and t?0. Denote by Bm(t,K) the supremum of the number of roots in K^?, counted with multiplicities, that can have a non-zero polynomial in K[x] with at most t+1 monomial terms. We prove, using an unified approach based on Vandermonde determinants, that Bm(t,L)?t²Bm(t,K) for any local field L with a non-archimedean valuation v:L→R∪{∞} such that vZ≠0_|≡0 and residue field K, and that Bm(t,K)?(t²−t+1)(pf−1) for any finite extension K/Qp with residual class degree f and ramification index e, assuming that p>t+e. For any finite extension K/Qp, for p odd, we also show the lower bound Bm(t,K)?(2t−1)(pf−1), which gives the sharp estimation Bm(2,K)=3(pf−1) for trinomials when p>2+e.     

Diophantine approximation and badly approximable sets

Let (X,d) be a metric space and (Ω,d) a compact subspace of X which supports a non-atomic finite measure m. We consider ‘natural’ classes of badly approximable subsets of Ω. Loosely speaking, these consist of points in Ω which ‘stay clear’ of some given set of points in X. The classical set Bad of ‘badly approximable’ numbers in the theory of Diophantine approximation falls within our framework as do the sets Bad(i,j) of simultaneously badly approximable numbers. Under various natural conditions we prove that the badly approximable subsets of Ω have full Hausdorff dimension. Applications of our general framework include those from number theory (classical, complex, p-adic and formal power series) and dynamical systems (iterated function schemes, rational maps and Kleinian groups).     

Image of the group ring of the Galois representation associated to Drinfeld modules

Let φ be a Drinfeld A-module of arbitrary rank and arbitrary characteristic over a finitely generated field K, and set GK=Gal(Ksep/K). Let E=EndK(φ). We show that for almost all primes p of A the image of the group ring A[GK] in EndA(Tp(φ)) is the commutant of E. In the special case E=A it follows that the representation of GK on the p-torsion points φ[p](Ksep) of φ is absolutely irreducible for almost all p.     

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.     

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.     

On the variation of Tate-Shafarevich groups of elliptic curves over hyperelliptic curves

Let E be an elliptic curve over F=F_q(t) having conductor (p)·∞, where (p) is a prime ideal in F_q[t]. Let d∈F_q[t] be an irreducible polynomial of odd degree, and let . Assume (p) remains prime in K. We prove the analogue of the formula of Gross for the special value L(E⊗_FK,1). As a consequence, we obtain a formula for the order of the Tate-Shafarevich group Ш(E/K) when L(E⊗_FK,1)≠0.     

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.