Trace forms over finite fields of characteristic 2 with prescribed invariants

We determine the possible pairs of invariants of a trace form and construct forms with these invariants. We use this to construct new maximal Artin–Schreier curves.     

Semiglobal models of extensions of two-dimensional local fields

This paper consider a special class of finite homomorphisms of complete two-dimensional regular local rings-the so-called “model homomorphi sms.” We show that studying the ramification of morphisms of formal curves induced by these homomorphisms helps identifying the ramification in extensions of two-dimensional local fields. Some basic properties of model homomorphisms are established.     

Diagonal forms over finite fields

We shall establish for all finite fields GF(pⁿ) the following result of Chowla: given a positive integer m greater than one and the finite field GF(p), p a prime, such that x^m = ?1 is solvable in GF(p), then there exists an absolute positive constant c, $\text{c ≤}\text{10}\text{ln}\text{2}$, such that for each set of s nonzero elements a_i of GF(p), $\text{a}{}_1\text{x}{}_1{}^{\mathrm{m}}\text{+ ? + a}{}_{\mathrm{s}}\text{x}{}_{\mathrm{s}}{}^{\mathrm{m}}$ has a non-trivial zero in GF(p) if s ≥ c ln m.     

P-algebras over multidimensional local fields

This article considers simple central algebras over multidimensional local algebras of exponent p, where p is the characteristic of the zero-dimensional residue field. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 175, pp. 121–127, 1989.In conclusion, the author would like to express his gratitude to Professor A. S. Merkur'ev for his attention and assistance.     

The weak isotropy of quadratic forms over field extensions

The weak isotropy index (or equivalently, sublevel) of arbitrary quadratic forms is studied. Its relationship to the level of a form is investigated. The problem of determining the set of values of the weak isotropy index of a form as it ranges over field extensions is addressed, with both admissible and inadmissible numbers being determined. An analogous investigation with respect to the level of a form is also undertaken. A treatment of forms for which the above invariants coincide concludes this article, with some recently-raised questions being resolved.     

Quadratic forms over polynomial rings over global fields

It is proved that a quadratic space over the polynomial extension of a global field K is extended from K if it is extended from K_v for every completion K_v of K.     

Companion forms over totally real fields

We show that if F is a totally real field in which p splits completely and f is a mod p Hilbert modular form with parallel weight 2 < k < p, which is ordinary at all primes dividing p and has tamely ramified Galois representation at all primes dividing p, then there is a “companion form” of parallel weight k′ := p + 1 − k. This work generalises results of Gross and Coleman–Voloch for modular forms over Q.     

On metaplectic forms over function fields

We propose a concept of half integral weight in the global function field context, and construct natural families of functions with given weight. An analogue of Shimura correspondence (between weight 2 functions and weight ${\frac{3}{2}}$ functions) via theta series from “definite” quaternion algebras over function fields is then established. From the study of Fourier coefficients of these theta series, we arrive at a Waldspurger-type formula. This formula is then applied to L-series coming from elliptic curves over function fields.     

On Galois isomorphisms between ideals in extensions of local fields

LetL/K be a totally ramified, finite abelian extension of local fields, let and be the valuation rings, and letG be the Galois group. We consider the powers of the maximal ideal of as modules over the group ring . We show that, ifG has orderp ^m (withp the residue field characteristic), ifG is not cyclic (or ifG has orderp), and if a certain mild hypothesis on the ramification ofL/K holds, then and are isomorphic iffr≡r′ modp ^m . We also give a generalisation of this result to certain extensions not ofp-power degree, and show that, in the casep=2, the hypotheses thatG is abelian and not cyclic can be removed.     

Pro-P galois groups of function fields over local fields

For non-archimedean local field K and a prime number p we compute the finitely generated pro-p (closed) subgroups of the absolute Galois group of K(t). In addition, we characterize the finitely generated pro-p groups which occur as the maximal pro-p Galois group of algebraic extensions of K(t) containing a primitive pth root of unity.     

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.     

Contractible Lie groups over local fields

Let G be a Lie group over a local field of characteristic p > 0 which admits a contractive automorphism α : G → G (i.e., α ⁿ (x) → 1 as n → ∞, for each x ∈ G). We show that G is a torsion group of finite exponent and nilpotent. We also obtain results concerning the interplay between contractive automorphisms of Lie groups over local fields, contractive automorphisms of their Lie algebras, and positive gradations thereon. Some of the results extend to Lie groups over arbitrary complete ultrametric fields. Supported by the German Research Foundation (DFG), grants GL 357/2-1 and GL 357/6-1.     

On sesquilinear forms over fields with involution

Let k be a field of characteristic ≠2 with an involution σ. A matrix A is split if there is a change of variables Q such that (Q^σ)^TAQ consists of two complementary diagonal blocks. We classify all matrices that do not split. As a consequence we obtain a new proof for the following result. Given a square matrix A there is a matrix S such that (S^σ)^TAS=A^T and S^σS=I.