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.     

Motivic equivalence of quadratic forms. II

Let F be a field of characteristic ≠2 and φ be a quadratic form over F. By X _φ we denote the projective variety given by the equation φ=0. For each positive even integer d≥8 (except for d=12) we construct a field F and a pair φ, ψ of anisotropic d-dimensional forms over F such that the Chow motives of X _φ and X _ψ coincide but . For a pair of anisotropic (2 ^{n -1})-dimensional quadrics X and Y, we prove that existence of a rational morphism Y→X is equivalent to existence of a rational morphism Y→X. Received: 27 September 1999 / Revised version: 27 December 1999     

Pairs of quadratic forms over a quadratic field extension

Let F be a field of characteristic distinct from 2, $L=F(\sqrt{d})$ a quadratic field extension. Let further f and g be quadratic forms over L considered as polynomials in n variables, $M_f$, $M_g$ their matrices. We say that the pair $(f,g)$ is a k-pair if there exist $S\in G{L}_n(L)$ such that all the entries of the $k\times k$ upper-left corner of the matrices $S{M}_f{S}^t$ and $S{M}_g{S}^t$ are in F. We give certain criteria to determine whether a given pair $(f,g)$ is a k-pair. We consider the transfer ${\mathrm{cor}}_{L(t)/F(t)}$ determined by the $F(t)$-linear map $s:L(t)\to F(t)$ with $s(1)=0$, $s(\sqrt{d})=1$, and prove that if $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a $[\frac{k+1}{2}]$-pair. If, additionally, the form $f+tg$ does not have a totally isotropic subspace of dimension $p+1$ over $L(t)$, we show that $(f,g)$ is a $(k?2p)$-pair. In particular, if the form $f+tg$ is anisotropic, and $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a k-pair.     

A quadratic field which is Euclidean but not norm-Euclidean

The classification of rings of algebraic integers which are Euclidean (not necessarily for the norm function) is a major unsolved problem. Assuming the Generalized Riemann Hypothesis, Weinberger [7] showed in 1973 that for algebraic number fields containing infinitely many units the ring of integersR is a Euclidean domain if and only if it is a principal ideal domain. Since there are principal ideal domains which are not norm-Euclidean, there should exist examples of rings of algebraic integers which are Euclidean but not norm-Euclidean. In this paper, we give the first example for quadratic fields, the ring of integers of .     

A note on the 3-rank of quadratic fields

The difference between the 3-rank of the ideal class group of an imaginary quadratic field and that of the associated real quadratic field is equal to 0 or 1. In this note, we give an infinite family of examples in each case.Received: 9 September 2002     

Normal integral bases in quadratic and cyclic cubic extensions of quadratic fields

Let K be a number field and let G be a finite abelian group. We call K a Hilbert-Speiser field of type G if, and only if, every tamely ramified normal extension L/K with Galois group isomorphic to G has a normal integral basis. Now let C₂ and C₃ denote the cyclic groups of order 2 and 3, respectively. Firstly, we show that among all imaginary quadratic fields, there are exactly three Hilbert-Speiser fields of type $C_{2}: \mathbb{Q}(\sqrt {m})$, where $m \in \{-1, -3, -7\}$. Secondly, we give some necessary and sufficient conditions for a real quadratic field $K = \mathbb{Q}(\sqrt {m})$ to be a Hilbert-Speiser field of type C₂. These conditions are in terms of the congruence class of m modulo 4 or 8, the fundamental unit of K, and the class number of K. Finally, we show that among all quadratic number fields, there are exactly eight Hilbert-Speiser fields of type $C_{3}: \mathbb{Q}(\sqrt {m})$, where $m \in \{-11,-3, -2, 2, 5, 17, 41, 89\}$.Received: 2 April 2002     

On the norm theorem for semisingular quadratic forms

The aim of this paper is to prove some results concerning the norm theorem for semisingular quadratic forms, i.e., those which are neither nonsingular nor totally singular. More precisely, we will give necessary conditions in order that an irreducible polynomial, possibly in more than one variable, is a norm ofa semisingular quadratic form, and we prove that our conditions are sufficient if the polynomial is given by a quadratic form which represents 1. As a consequence, we extend the Cassels-Pflster subform theorem to the case of semisingular quadratic forms.     

2-universal -lattices over real quadratic fields

Let be a real quadratic field with m a square-free positive rational integer, and be the ring of integers in F. An -lattice L on a totally positive definite quadratic space V over F is called r-universal if L represents all totally positive definite -lattices l with rank r over . We prove that there exists no 2-universal -lattice over F with rank less than 6, and there exists a 2-universal -lattice over F with rank 6 if and only if m=2, 5. Moreover there exists only one 2-universal -lattice with rank 6, up to isometry, over .     

Evaluation of the Dedekind zeta functions of some non-normal totally real cubic fields at negative odd integers

Let {K _m } _{m ≥ 4} be the family of non-normal totally real cubic number fields defined by the irreducible cubic polynomial f _m (x) = x ³ − mx ² − (m + 1)x − 1, where m is an integer with m ≥ 4. In this paper, we will apply Siegel’s formula for the values of the zeta function of a totally real algebraic number field at negative odd integers to K _m , and compute the values of the Dedekind zeta function of K _m . This work was supported by grant No.R01-2006-000-11176-0 from the Basic Research Program of KOSEF.     

Congruences involving Bernoulli polynomials

Let {B_n(x)} be the Bernoulli polynomials. In the paper we establish some congruences for , where p is an odd prime and x is a rational p-integer. Such congruences are concerned with the properties of p-regular functions, the congruences for and the sum , where h(d) is the class number of the quadratic field of discriminant d and p-regular functions are those functions f such that are rational p-integers and for n=1,2,3,… . We also establish many congruences for Euler numbers.     

On the generic splitting of quadratic forms in characteristic 2

In [9] and [10] Knebusch established the basic facts of generic splitting theory of quadratic forms over a field of characteristic different from 2. This paper is related to [11] and [13] where Knebusch and Rehmann generalized partially this theory to a field of characteristic 2. More precisely, we begin with a complete characterization of quadratic forms of height 1 (we don't exclude anisotropic quadratic forms with quasi-linear part of dimension at least 1). This allows us to extend the notion of degree to characteristic 2. We prove some results on excellent forms and splitting tower of a quadratic form. Some results on quadratic forms of height 2 and degree 1 or 2 are given. Received: 6 March 2000; in final form: 5 October 2001 / Published online: 17 June 2002     

A class of strongly homotopy Lie algebras with simplified sh-Lie structures

Given a complex that is a differential graded vector space, it is known that a single mapping defined on a space of it where the homology is non-trivial extends to a strongly homotopy Lie algebra (on the graded space) when that mapping satisfies two conditions. This strongly homotopy Lie algebra is non-trivial (it is not a Lie algebra); however we show that one can obtain an sh-Lie algebra where the only non-zero mappings defining it are the lower order mappings. This structure applies to a significant class of examples. Moreover in this case the graded space can be replaced by another graded space, with only three non-zero terms, on which the same sh-Lie structure exists.     

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.     

Weighted sum of the extensions of the representations of quadratic forms

Let L, N and M be positive definite integral \({\mathbb{Z}}\) -lattices. In this paper, we show some relation between the weighted sum of representations of L and N by gen(M) and the weighted sum of extensions of \(\tilde M_{\tilde \sigma}\) in the gen(M _σ) via N _η when M is even and gcd(dL, dM) =  1. As a consequence of the particular case when M is even unimodular, we recapture the Böcherer formula (13) in (Böcherer, Maths Z 183:21–46, 1983) for the relation of the Fourier coefficients between Eisenstein series and Jacobi–Eisenstein series.     

A note on Siegel's Lemma over number fields

We show that some power of the discriminant must appear in the upper bound of the formulation of Siegel's Lemma over a number field.First author partially supported by NSERC     

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.     

Integral bilinear forms, Coxeter transformations and Coxeter polynomials of finite posets

Linear algebra technique in the study of linear representations of finite posets is developed in the paper. A concept of a quadratic wandering on a class of posets I is introduced and finite posets I are studied by means of the four integral bilinear forms (1.1), the associated Coxeter transformations, and the Coxeter polynomials (in connection with bilinear forms of Dynkin diagrams, extended Dynkin diagrams and irreducible root systems are also studied). Bilinear equivalences between some of the forms are established and equivalences with the bilinear forms of Dynkin diagrams and extended Dynkin diagrams are discussed. A homological interpretation of the bilinear forms (1.1) is given and Z-bilinear equivalences between them are discussed. By applying well-known results of Bongartz, Loupias, and Zavadskij-Shkabara, we give several characterisations of posets I, with the Euler form weakly positive (resp. with the reduced Euler form weakly positive), and posets I, with the Tits form weakly positive.     

Cubic residues and binary quadratic forms

Let p>3 be a prime, u,v,d∈Z, gcd(u,v)=1, p?u²−dv² and , where is the Legendre symbol. In the paper we mainly determine the value of by expressing p in terms of appropriate binary quadratic forms. As applications, for we obtain a general criterion for and a criterion for εd to be a cubic residue of p, where εd is the fundamental unit of the quadratic field . We also give a general criterion for , where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=PUn−QUn−1 (n?1). Furthermore, we establish a general result to illustrate the connections between cubic congruences and binary quadratic forms.     

Irreducibility of polynomials modulo p via Newton polytopes

Ostrowski established in 1919 that an absolutely irreducible integral polynomial remains absolutely irreducible modulo all sufficiently large prime numbers. We obtain a new lower bound for the size of such primes in terms of the number of integral points in the Newton polytope of the polynomial, significantly improving previous estimates for sparse polynomials.     

Mesh geometries of root orbits of integral quadratic forms

Integral quadratic forms q:Zⁿ→Z, with n≥1, and the sets R_q(d)={v∈Zⁿ;q(v)=d}, with d∈Z, of their integral roots are studied by means of mesh translation quivers defined by Z-bilinear morsifications b_A:Zⁿ×Zⁿ→Z of q, with Z-regular matrices A∈M_n(Z). Mesh geometries of roots of positive definite quadratic forms q:Zⁿ→Z are studied in connection with root mesh quivers of forms associated to Dynkin diagrams A_n,D_n,E₆,E₇,E₈ and the Auslander-Reiten quivers of the derived category D^b(R) of path algebras R=KQ of Dynkin quivers Q. We introduce the concepts of a Z-morsification b_A of a quadratic form q, a weighted Φ_A-mesh of vectors in Zⁿ, and a weighted Φ_A-mesh orbit translation quiver Γ(R_q,Φ_A) of vectors in Zⁿ, where R_q?R_q(1) and Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. The existence of mesh geometries on R_q is discussed. It is shown that, under some assumptions on the morsification b_A:Zⁿ×Zⁿ→Z, the set admit a Φ_A-orbit mesh quiver , where Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. Moreover, splits into three infinite connected components , , and , where are isomorphic to a translation quiver Z⋅Δ, with Δ an extended Dynkin quiver, and has the shape of a sand-glass tube.