Algebraic elements in division algebras over function fields of curves

LetD be a division algebra with centerK a function field of a curveC overk;k(C)=K. We study the maximalk-algebraic subfields ofD. In Theorem 3.1 it is shown that ifD is unramified andC is an elliptic curve thenD contains ak-algebraic splitting field. This enables us to give a new class of counter examples to the Hasse principle for division algebras. The first author is supported by an N.F.W.O. grant. The second author is grateful to the Universities of Antwerp U.I.A. and R.U.C.A. for making it possible for him to do this research.     

Hermitian forms over division algebras over real function fields

We develop here the theory of (skew-) hermitian forms over division algebras over the real function field and its completions. In particular, a local and local-global classification for forms of all types are given and some Hasse principles are proved.     

Indices of hyperelliptic curves over p-adic fields

Let k be a p-adic field of odd residue characteristic and let C be a hyperelliptic (or elliptic) curve defined by the affine equation Y ²=h(X). We discuss the index of C if h(X)=ɛf(X), where ɛ is either a non-square unit or a uniformising element in O _k and f(X) a monic, irreducible polynomial with integral coefficients. If a root θ of f generates an extension k(θ) with ramification index a power of 2, we completely determine the index of C in terms of data associated to θ. Theorem 3.11 summarizes our results and provides an algorithm to calculate the index for such curves C. Received: 14 July 1997 / Revised version: 16 February 1998     

Indecomposable and noncrossed product division algebras over function fields of smooth p-adic curves

We construct indecomposable and noncrossed product division algebras over function fields of connected smooth curves X over Zp. This is done by defining an index preserving morphism which splits , where is the completion of K(X) at the special fiber, and using it to lift indecomposable and noncrossed product division algebras over .     

Mass formula of division algebras over global function fields

In this paper we give two proofs of the mass formula for definite central division algebras over global function fields, due to Denert and Van Geel. The first proof is based on a calculation of Tamagawa measures. The second proof is based on analytic methods, in which we establish the relationship directly between the mass and the value of the associated zeta function at zero.     

Class field theory for open curves over p-adic fields

We introduce the idèle class group for quasi-projective curves over p-adic fields and show that the kernel of the reciprocity map is divisible. This extends Saito’s class field theory for projective curves (Saito in J Number Theory 21:44–80, 1985).     

Statistics about elliptic curves over finite prime fields

We derive formulas for the probabilities of various properties (cyclicity, squarefreeness, generation by random points) of the point groups of randomly chosen elliptic curves over random prime fields.     

Free subalgebras of division algebras over uncountable fields

We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic $0$ , then either the quotient division algebra of $A$ contains a free algebra on two generators, or it is left algebraic over every maximal subfield. As an application, we prove that if $k$ is an uncountable algebraically closed field and $A$ is a finitely generated $k$ -algebra that is a domain of GK-dimension strictly less than $3$ , then either $A$ satisfies a polynomial identity, or the quotient division algebra of $A$ contains a free $k$ -algebra on two generators.     

Modularity of CM elliptic curves over division fields

Let E be a CM elliptic curve defined over an algebraic number field F. In general E will not be modular over F. In this paper, we determine extensions of F, contained in suitable division fields of E, over which E is modular. Under some weak assumptions on E, we construct a minimal subfield of division fields over which E is modular.     

Corrigendum to the paper “Hermitian forms over division algebras over real function fields”

In the previous paper [T] we gave a classification of hermitian forms over the real function fieldk=R(t) and its completionsk _v with respect to valuationsv trivial onR. Unfortunately in the local case the arguments given for cases A and D, in general, were not correct. Therefore the resulting local and local-global classifications obtained were incorrect. I would like also to thank Dr. D. Hoffmann for pointing out these mistakes and the referee for useful comments. Here we would like to make necessary corrections to [T]. We keep the same notation used there, except that in the first paragraph,J is not the standard involution of a quaternion division algebraD (with basis {1,i,j,ij}). All hermitian forms will be hermitian forms with respect toJ, with values inD.     

Kummer subfields of tame division algebras over Henselian fields

By generalizing the method used by Tignol and Amitsur in [J.-P. Tignol, S.A. Amitsur, Kummer subfields of Malcev-Neumann division algebras, Israel Journal of Math. 50 (1985), 114-144], we determine necessary and sufficient conditions for an arbitrary central division algebra D over a Henselian valued field E to have Kummer subfields when the characteristic of the residue field of E does not divide the degree of D. We prove also that if D is a semiramified division algebra of degree n [resp., of prime power degree p^r] over E such that does not divide n and [resp., and p³ divides ], then D is non-cyclic [resp., D is not an elementary abelian crossed product].     

Cohomology of tori over p-adic curves

 We establish a duality in the cohomology of arbitrary tori over smooth but not necessarily projective curves over a p-adic field. This generalises Lichtenbaum–Tate duality between the Picard group and the Brauer group of a smooth projective curve. Received: 28 January 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 14G20, 14F22, 14L15, 11S25     

Reciprocity laws for algebras over function fields

A study is made of simple central algebras over an algebraic function field of one variable with a number field of constants. It is proved that there exists an algebra with a given collection of local invariants satisfying the reciprocity law under the assumption that the orders of the invariants are odd or the field of constants is purely imaginary.     

Weak approximation over function fields of curves over large or finite fields

Let K = k(C) be the function field of a curve over a field k and let X be a smooth, projective, separably rationally connected K-variety with ${X(K)\neq\emptyset}Let K = k(C) be the function field of a curve over a field k and let X be a smooth, projective, separably rationally connected K-variety with X(K) 1 ?{X(K)\neq\emptyset}. Under the assumption that X admits a smooth projective model p: X? C{\pi: \mathcal{X}\to C}, we prove the following weak approximation results: (1) if k is a large field, then X(K) is Zariski dense; (2) if k is an infinite algebraic extension of a finite field, then X satisfies weak approximation at places of good reduction; (3) if k is a nonarchimedean local field and R-equivalence is trivial on one of the fibers X_p{\mathcal{X}_p} over points of good reduction, then there is a Zariski dense subset W í C(k){W\subseteq C(k)} such that X satisfies weak approximation at places in W. As applications of the methods, we also obtain the following results over a finite field k: (4) if |k| > 10, then for a smooth cubic hypersurface X/K, the specialization map X(K)? ?_{p ? P}X_p(k(p)){X(K)\longrightarrow \prod_{p\in P}\mathcal{X}_p(\kappa(p))} at finitely many points of good reduction is surjective; (5) if char k 1 2, 3{\mathrm{char}\,k\neq 2,\,3} and |k| > 47, then a smooth cubic surface X over K satisfies weak approximation at any given place of good reduction.     

On hyperelliptic modular curves over function fields

We prove that there are only finitely many modular curves of -elliptic sheaves over which are hyperelliptic. In odd characteristic we give a complete classification of such curves. The author was supported in part by NSF grant DMS-0801208 and Humboldt Research Fellowship.     

p-adic periods and modular symbols of elliptic curves of prime conductor

Under certain assumptions, we prove a conjecture of Mazur and Tate describing a relation between the modular symbol attached to an elliptic curve with split multiplicative reduction atp, and itsp-adic period. We generalize this relation to modular forms of weight 2 with coefficients not necessarily in.Oblatum 24-XI-1993 & 8-VI-1994