Local conditions for global representations of quadratic forms

There are close relations between Bernoulli numbers and quadratic fields or quadratic forms. In order to explain those, we give a survey of the ideal theory of quadratic fields and quadratic forms. Since Gauss , it is well known that there is a deep relation between the ideal theory of quadratic fields (i.e. quadratic extensions of the rational number field) and integral quadratic forms. This is obvious for specialists, but textbooks which explain this in detail are rare. In most textbooks, they treat the correspondence of ideals only in the case of maximal orders (the ring of all integers) for which the description is simple and easy. This is very disappointing. We cannot see the whole picture of the theory of quadratic forms by such a restricted treatment and sometimes it causes misunderstanding. We need the full description of this kind of relation when we explain later the relation between L-functions of prehomogeneous vector spaces and the Bernoulli numbers. So it would be a good chance to try to explain the full relation here.

Classifications and representations are two main topics in the theory of quadratic forms. In this paper, we consider these topics of ternary quadratic forms. For a given squarefree integer N N , first we give the classification of positive definite ternary quadratic forms of level 4 N 4N explicitly. Second, we give explicit formulas of the weighted sum of representations over each class in every genus of ternary quadratic forms of level 4 N 4N , which are involved with modified Hurwitz class number. In the proof of the main results, we use the relations among ternary quadratic forms, quaternion algebras, and Jacobi forms. As a corollary, we get the formula for the class number of positive ternary quadratic forms of level 4 N 4N . As applications, we derive an explicit base of Eisenstein series space of modular forms of weight 3 / 2 3/2 and level 4 N 4N , and give new proofs of some interesting identities involving representation number of ternary quadratic forms.

For each positive integer n n , let g Z ( n ) g_\mathbb {Z}(n) be the smallest integer such that if an integral quadratic form in n n variables can be written as a sum of squares of integral linear forms, then it can be written as a sum of g Z ( n ) g_\mathbb {Z}(n) squares of integral linear forms. We show that every positive definite integral quadratic form is equivalent to what we call a balanced Hermite–Korkin–Zolotarev-reduced form and use it to show that the growth of g Z ( n ) g_\mathbb {Z}(n) is at most an exponential of n \sqrt {n} . Our result improves the best known upper bound on g Z ( n ) g_\mathbb {Z}(n) which is on the order of an exponential of n n . We also define an analogous number g O ∗ ( n ) g_{\mathcal O}^*(n) for writing Hermitian forms over the ring of integers O \mathcal O of an imaginary quadratic field as sums of norms of integral linear forms, and when the class number of the imaginary quadratic field is 1 1 , we show that the growth of g O ∗ ( n ) g_{\mathcal O}^*(n) is at most an exponential of n \sqrt {n} . We also improve on results of both Conway and Sloane and Kim and Oh on s s -integrable lattices.

Introduction Classical theory of symmetric bilinear forms and quadratic forms: Bilinear forms Quadratic forms Forms over rational function fields Function fields of quadrics Bilinear and quadratic forms and algebraic extensions $u$-invariants Applications of the Milnor conjecture On the norm residue homomorphism of degree two Algebraic cycles: Homology and cohomology Chow groups Steenrod operations Category of Chow motives Quadratic forms and algebraic cycles: Cycles on powers of quadrics The Izhboldin dimension Application of Steenrod operations The variety of maximal totally isotropic subspaces Motives of quadrics Appendices Bibliography Notation Terminology.

SUMMARY This paper is concerned with the characterization of the variance covariance matrix for a normal family in which certain quadratic forms are independent and follow cχ 2 distributions. It is also proved that the necessary and sufficient condition for any quadratic or linear form to be distributed independently of a sum of a finite number of non-negative definite quadratic forms is that it is distributed independently of each one of them.

An integer may be represented by a quadratic form over each ring of p -adic integers and over the reals without being represented by this quadratic form over the integers. More generally, such failure of a local-global principle may occur for the representation of one integral quadratic form by another integral quadratic form. We show that many such examples may be accounted for by a Brauer–Manin obstruction for the existence of integral points on schemes defined over the integers. For several types of homogeneous spaces of linear algebraic groups, this obstruction is shown to be the only obstruction to the existence of integral points.

Field invariants under totally positive quadratic extensions

We consider a class of singular, zero-range perturbations of the quantum Hamiltonian of a system consisting of a test particle and N harmonic oscillators (Rayleigh gas). Using the theory of quadratic forms we construct the self-adjoint and bounded from below perturbed Hamiltonian and we give representation formulas for the resolvent and the unitary group. The one-dimensional, two-dimensional and three-dimensional cases are discussed.

Chapter 6 - Quadratic forms and Eigenvalue problems

An integral quadratic form is called strictly n-regular if it primitively represents all quadratic forms in n variables that are primitively represented by its genus. For any $$n \ge 2$$ , it will be shown that there are only finitely many similarity classes of positive definite strictly n-regular integral quadratic forms in $$n + 4$$ variables. This extends the recent finiteness results for strictly regular quaternary quadratic forms by Earnest et al. (J Number Theory 144: 256–266, 2014).

Let M and L be quadratic lattices over the maximal order of an algebraic number field. In case of dealing with representations of M by L, they sometimes assume certain indefiniteness and the condition rank L-rank M ≥ 3. In this case, representation problems are reduced not to global but to local problems by virtue of the strong approximation theorem for rotations and of the fact that for regular quadratic spaces U, V over a non-archimedian local field there is an isometry from U to V if dim V — dim U ≥ 3.

Let q q be a power of an odd prime, and F q [ T ] \mathbb {F}_q[T] be the ring of polynomials over a finite field F q \mathbb {F}_q of q q elements. A quadratic form f f over F q [ T ] \mathbb {F}_q[T] is said to be regular if f f globally represents all polynomials that are represented by the genus of f f . In this paper, we study definite regular quadratic forms over F q [ T ] \mathbb {F}_q[T] . It is shown that for a fixed q q , there are only finitely many equivalence classes of regular definite primitive quadratic forms over F q [ T ] \mathbb {F}_q[T] , regardless of the number of variables. Characterizations of those which are universal are also given.

This dissertation presents computational tools for quadratic forms over global function fields of characteristic different from 2. The majority of the algorithms we develop in this study rely on our ability to find all places dividing any coefficient of the given quadratic form. This problem is equivalent to the factorization of fractional ideals in the ring of polynomial functions of a global function field. As a result, we begin by presenting alternative approaches for factoring fractional ideals that do not rely on determining the maximum order of the global function field in question. We then propose techniques for tackling the following quadratic form theory computational problems: how to detect whether a quadratic form is isotropic or not, how to detect whether a quadratic form is hyperbolic or not, how to compute the anisotropic dimension (or equivalently the Witt index) of a quadratic form, how to construct an anisotropic part of a quadratic form, how to determine if two forms are Witt-similar or are Ono-similar or not. We further explore algorithms for computing some important field invariants that are linked to quadratic forms. Those are: the length of a sum of squares, the level of a field, the Pythagoras number of a field, as well as a Pythagoras element of a field.

Small representations of integers by integral quadratic forms

Refining the notion of regularity introduced by Dickson, an integral quadratic form is said to be spinor regular if it represents all integers represented by its spinor genus. Examples of positive definite primitive integral ternary quadratic forms which have this property are presented, and it is proved that there exist only finitely many equivalence classes containing such forms.