Witt’s theorems for Galois Ring valued quadratic forms

We prove Witt’s cancelation and extension theorems for Galois Ring valued quadratic forms. The proof is based on the properties of the invariant I, previously defined by the authors, that classifies, together with the type of the corresponding bilinear form (alternating or not), nonsingular Galois Ring valued quadratic forms. Our results extend the Witt’s theorem for mod four valued quadratic forms. On the other hand, the known relation between the invariant I and the Arf invariant of an ordinary quadratic form (if the associated nonsingular bilinear form is alternating) is extended to the nonalternating case by explaining the invariant I in terms of Clifford algebras.     

On the first Witt index of quadratic forms

We prove Hoffmanns conjecture determining the possible values of the first Witt index of anisotropic quadratic forms of any given dimension. The proof makes use of the Steenrod type operations on the modulo 2 Chow groups constructed by P. Brosnan. Mathematics Subject Classification (2000) 11E04, 14C25     

An invariant for quadratic forms valued in Galois Rings of characteristic 4

We introduce an invariant for nonsingular quadratic forms that take values in a Galois Ring of characteristic 4. This notion extends the invariant in ${\mathbb{Z}}_8$ for ${\mathbb{Z}}_4$-valued quadratic forms defined by Brown [E.H. Brown, Generalizations of the Kervaire invariant, Ann. of Math. (2) 95 (2) (1972) 368–383] and studied by Wood [J.A. Wood, Witt's extension theorem for mod four valued quadratic forms, Trans. Amer. Math. Soc. 336 (1) (1993) 445–461]. It is defined in the associated Galois Ring of characteristic 8. Nonsingular quadratic forms are characterized by their invariant and the type of the associated bilinear form (alternating or not).     

A computation of the Witt index for rational quadratic forms

Summary This paper adds the finishing touches to an algorithmic treatment of quadratic forms over the rational numbers. The Witt index of a rational quadratic form is explicitly computed. When combined with a recent adjustment in the Haase invariants, this gives a complete set of invariants for rational quadratic forms, a set which can be computed and which respects all of the standard natural operations (including the tensor product) for quadratic forms. The overall approach does not use (at least explicitly) anyp-adic methods, but it does give the Witt ring of thep-adics as well as the Witt ring of the rationals.     

Witt kernels of quadratic forms for purely inseparable multiquadratic extensions in characteristic 2

The aim of this paper is to give a complete answer to the question of hyperbolicity of nonsingular quadratic forms over purely inseparable multiquadratic extensions in characteristic . This completes partial computations of Mammone and Moresi.

     

On the Witt ring and some arithmetical invariants of quadratic forms

The Witt ring of a field serves as an effective medium to study certain arithmetical invariants of quadratic forms, such as: s = the Stufe (the least number of summands to represent ?1 as a sum of squares), q = the number of square classes, u = the maximal anisotropic dimension of a quadratic form over the given field, and h = the height (the minimal 2-power that kills the torsion subgroup of the Witt group). These invariants may also be defined over commutative rings. This paper discusses these invariants and extend the investigations to some commutative rings, e.g. valuation rings, connected semilocal rings, Prüfer rings.     

Galois groups over complete valued fields

We propose an elementary algebraic approach to the patching of Galois groups. We prove that every finite group is regularly realizable over the field of rational functions in one variable over a complete discrete valued field. Partially supported by NSF grant DMS 9306479.     

Polynomials Annihilating the Witt Ring

Let F be a non-formally real field of characteristic not 2 and let W(F) be the Witt ring of F. In certain cases generators for the annihilator ideal are determined. Aim the primary decomposition of A(F) is given. For formally d fields F, as an analogue the primary decomposition of A_t(F) = {f(X) ∈ Z[X]| f(ω) = 0 for all ω ∈ W_t(F)}, where W_t(F) is the torsion part of the Witt group, is obtained.     

Normal forms for real quadratic forms

We investigate the non-diagonal normal forms of a quadratic form on , in particular for n = 3. For this case it is shown that the set of normal forms is the closure of a 5-dimensional submanifold in the 6-dimensional Grassmannian of 2-dimensional subspaces of . Received: 27 June 2008     

Invariants for quadratic forms

Simple systems of invariants for rational and integral quadratic forms are given, and those for rational forms are proved complete in an elementary way. Some noninvariants of quadratic forms appear, but are not concerned with invariants of objects other than quadratic forms. Our treatment of noninvariants of objects other than quadratic forms is minimal, and it is here that there is most room for further investigation.     

Frobenius Galois groups over quadratic fields

There exists a quadratic fieldQ(√D) over which every Frobenius group is realizable as a Galois group.     

Galois representations for holomorphic Siegel modular forms

We prove local–global compatibility (up to a quadratic twist) of Galois representations associated to holomorphic Hilbert–Siegel modular forms in many cases (induced from Borel or Klingen parabolic), and as a corollary we obtain a conjecture of Skinner and Urban. For Siegel modular forms, when the local representation is an irreducible principal series we get local–global compatibility without a twist. We achieve this by proving a version of rigidity (strong multiplicity one) for GSp(4) using, on the one hand the doubling method to compute the standard L-function, and on the other hand the explicit classification of the irreducible local representations of GSp(4) over p-adic fields; then we use the existence of a globally generic Hilbert–Siegel modular form weakly equivalent to the original and we refer to Sorensen (Mathematica 15:623–670, 2010) for local–global compatibility in that case.     

A cohomology for vector valued differential forms

A rather simple natural outer derivation of the graded Lie algebra of all vector valued differential forms with the Frölicher-Nijenhuis bracket turns out to be a differential and gives rise to a cohomology of the manifold, which is functorial under local diffeomorphisms. This cohomology is determined as the direct product of the de Rham cohomology space and the graded Lie algebra of traceless vector valued differential forms, equipped with a new natural differential concomitant as graded Lie bracket. We find two graded Lie algebra structures on the space of differential forms. Some consequences and related results are also discussed.     

On Generalized Hamming Weights for Galois Ring Linear Codes

The definition of generalized Hamming weights (GHW) for linear codes over Galois rings is discussed. The properties of GHW for Galois ring linear codes are stated. Upper and existence bounds for GHW of – linear codes and a lower bound for GHW of the Kerdock code over – are derived. GHW of some – linear codes are determined.     

On quadratic forms

The present paper is related to the Jordan—von Neumann characterization of inner product spaces, to the Halperin problem concerning quadratic forms, to some results of the present author on quadratic and sesquilinear forms and to recently obtained results of C. T. Ng and of J. Vukman.Dedicated to Professor Otto Haupt with best wishes on his 100th birthday.     

A reciprocity formula for quadratic forms

LetQ(x) denote a quadratic form over the rational integers in four variables (x=(x₁,...,x₄)). ThenQ is representable as a symmetric matrix. Assume this matrix to be non-singular modp(p≠2 prime); then the “inverse” quadratic formQ ^?1 modp can be defined. Letf:?⁴→? be defined such that the Fourier transformf exists and the sum $$\sum\limits_{x \in \mathbb{Z}^4 } {f(c x), c \in \mathbb{R}, c \ne 0} $$ is convergent. Furthermore, letm=p ₁...p _k be the product ofk distinct primes withm>1, 2×m; let $$\varepsilon = \prod\limits_{i = 1}^k {\left( {\frac{{\det Q}}{{p_i }}} \right)} \ne 0$$ for the Legendre symbol $$\left( {\frac{ \cdot }{p}} \right)$$ ; define $$B_i (Q,x) = \left\{ {\begin{array}{*{20}c} {1 for Q(x) \equiv 0\bmod p_i } \\ , \\ {0 for Q(x)\not \equiv 0\bmod p_i } \\ \end{array} } \right.$$ and forr∈?,r>0, $$F(Q,f,r) = \sum\limits_{x \in \mathbb{Z}^4 } {\left( {\prod\limits_{i = 1}^k {\left( {B_i (Q,x) - \frac{1}{{p_i }}} \right)} } \right)f(r^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} x)} $$ Then we have $$F(Q,f,m) = \varepsilon F(Q^{ - 1} ,\hat f,m)$$