On the definity of quadratic forms subject to linear constraints

A short proof is given of the necessary and sufficient conditions for the positivity and nonnegativity of a quadratic form subject to linear constraints.     

On splitting of totally singular quadratic forms

In this note we completely study the standard splitting of quasi-Pfister forms and their neighbors, and we include some general results on standard splitting towers of totally singular quadratic forms. The author was supported by the European research network HPRN-CT-2002-00287 “AlgebraicK-Theory, Linear Algebraic Groups and Related Structures”.     

Quaternary universal forms over \mathbf{Q}(\sqrt{13})

Let be a real quadratic field over Q with m a square-free positive rational integer and be the integer ring in F. A totally positive definite integral n-ary quadratic form f=f(x ₁,…,x _n )=∑_1≤i,j≤n α _ij x _i x _j ( ) is called universal if f represents all totally positive integers in . Chan, Kim and Raghavan proved that ternary universal forms over F exist if and only if m=2,3,5 and determined all such forms. There exists no ternary universal form over real quadratic fields whose discriminants are greater than 12. In this paper we prove that there are only two quaternary universal forms (up to equivalence) over . For the proof of universality we apply the theory of quadratic lattices.      

On quasi-reduced quadratic forms

With the help of continued fractions, we plan to list all the elements of the set Q△ = {aX2 ＋ bXY ＋ cY2 ： a,b, c ∈Z, b2 - 4ac = △ with 0 ≤ b 〈 √△}of quasi-reduced quadratic forms of fundamental discriminant △. As a matter of fact, we show that for each reduced quadratic form f = aX2 ＋ bXY ＋ cY2 = （a, b, c） of discriminant △〉0（and of sign σ（f） equal to the sign of a）, the quadratic forms associated with f and defined by {〈a＋bu＋cu2,b＋2cu.c〉},with 1≤σ（f）u≤b/2｜c｜ （whenever they exist）, 〈c,-b-2cu,a＋bu＋cu2〉 with b/2｜c｜≤σ（f）u≤[w（f）]=[b＋√△/2｜c｜], are all different from one another and build a set I（f） whose cardinality is #I（f）={1＋[ω（f）],when（2c）｜b,[ω（f）],when （2c）｜b. If f and g are two different reduced quadratic forms, we show that I（f） ∩ I（g） = Ф. Our main result is that the set Q△ is given by the disjoint union of all I（f） with f running through the set of reduced quadratic forms of discriminant △〉0. This allows us to deduce a formula for #（Q△） involving sums of partial quotients of certain continued fractions.     

On quadratic forms of height two and a theorem of Wadsworth

Let and be anisotropic quadratic forms over a field of characteristic not . Their function fields and are said to be equivalent (over ) if and are isotropic. We consider the case where and is divisible by an -fold Pfister form. We determine those forms for which becomes isotropic over if , and provide partial results for . These results imply that if and are equivalent and , then is similar to over . This together with already known results yields that if is of height and degree or , and if , then and are equivalent iff and are isomorphic over .

     

On the Representation of Numbers by the Direct Sums of Some Binary Quadratic Forms

The systems of bases are constructed for the spaces of cusp forms and . Formulas are obtained for the number of representations of a positive integer by the sum of k binary quadratic forms of the kind , of the kind and of the kind .     

On the Representation of Numbers by Positive Diagonal Quadratic Forms with Five Variables of Level 16

A general formula is derived for the number of representations r(n; f) of a natural number n by diagonal quadratic forms f with five variables of level 16. For f belonging to one-class series, r(n; f) coincides with the sum of a singular series, while in the case of a many-class series an additional term is required, for which the generalized theta-function introduced by T. V. Vepkhvadze [4] is used.     

Rational eigenvectors in spaces of ternary forms

We describe the explicit computation of linear combinations of ternary quadratic forms which are eigenvectors, with rational eigenvalues, under all Hecke operators. We use this process to construct, for each elliptic curve of rank zero and conductor for which or is squarefree, a weight 3/2 cusp form which is (potentially) a preimage of the weight two newform under the Shimura correspondence.

     

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.     

Extensions of representations of integral quadratic forms

Let N and M be quadratic ?-lattices, and K be a sublattice of N. A representation σ:K→M is said to be extensible to N if there exists a representation ρ:N→M such that ρ | _K =σ. We prove in this paper a local–global principle for extensibility of representation, which is a generalization of the main theorems on representations by positive definite ?-lattices by Hsia, Kitaoka and Kneser (J. Reine Angew. Math. 301:132–141, 1978) and Jöchner and Kitaoka (J. Number Theory 48:88–101, 1994). Applications to almost n-universal lattices and systems of quadratic equations with linear conditions are discussed.     

ON THE COMPUTATION OF TRACE FORMS OF ALGEBRAS WITH INVOLUTION

In this paper, we compute explicitely the isomorphism class of the trace of k-algebras with involution (of any kind) for some special base fields, especially for non formally real global fields, euclidean fields and the field of rational numbers.     

Finiteness theorems for positive definite -regular quadratic forms

An integral quadratic form of variables is said to be -regular if globally represents all quadratic forms of variables that are represented by the genus of . For any , it is shown that up to equivalence, there are only finitely many primitive positive definite integral quadratic forms of variables that are -regular. We also investigate similar finiteness results for almost -regular and spinor -regular quadratic forms. It is shown that for any , there are only finitely many equivalence classes of primitive positive definite spinor or almost -regular quadratic forms of variables. These generalize the finiteness result for 2-regular quaternary quadratic forms proved by Earnest (1994).

     

A generalization of the Hyers-Ulam-Rassias stability of the Pexiderized quadratic equations

In this paper we prove the Hyers-Ulam-Rassias stability by considering the cases that the approximate remainder ? is defined by f(x∗y)+f(x∗y−1)−2g(x)−2g(y)=?(x,y), f(x∗y)+g(x∗y−1)−2h(x)−2k(y)=?(x,y), where (G,∗) is a group, X is a real or complex Hausdorff topological vector space and f,g,h,k are functions from G into X.     

A note on biquadratic forms

It is shown that semidefinite quadratic forms in two by n variables are sums of squares of bilinear forms.     

Small Solutions of Quadratic Diophantine Equations

We consider quadratic diophantine equations of the shape for a polynomial Q(X₁, ..., X_s) Z[X₁, ..., X_s] of degree 2.Let H be an upper bound for the absolute values of the coefficientsof Q, and assume that the homogeneous quadratic part of Q isnon-singular. We prove, for all s 3, the existence of a polynomialbound _s(H) with the following property: if equation (1) hasa solution x Z^s at all, then it has one satisfying For s = 3 and s = 4 no polynomial bounds _s(H) were previouslyknown, and for s 5 we have been able to improve existing boundsquite significantly. 2000 Mathematics Subject Classification11D09, 11E20, 11H06, 11P55.