# zbMATH — the first resource for mathematics

Brauer-Manin obstruction for integral points of homogeneous spaces and representation by integral quadratic forms. With an appendix by Dasheng Wei and Xu. (English) Zbl 1190.11036
In this well-written and technically insightful article, the authors define an obstruction to the local-global principle for integer points on varieties, and apply it to the study of representation by integral quadratic forms.
The Brauer–Manin obstruction was put forward by [Yu. I. Manin, Actes Congr. Int. Math. 1970, No. 1, 401–411 (1971; Zbl 0239.14010)] as an explanation as to why certain varieties over number fields fail to satisfy the local-global principle: that is, they have points over every completion of the base field, but not over the base field itself. Manin’s construction has been applied fruitfully to the study of the arithmetic of many classes of varieties; a notable application from the point of view of this article is to homogeneous spaces under linear algebraic groups, for example by M. Borovoi [J. Reine Angew. Math. 473, 181–194 (1996; Zbl 0844.14020)].
In the present article, the authors take a scheme $$\mathcal X$$ over a ring of $$S$$-integers of a number field, and define an obstruction to the local-global principle for integer points of $$\mathcal X$$, using the Brauer group of the generic fibre. They study the Brauer pairings on homogeneous spaces under connected linear groups, and go on to apply these to obtain results about local-global principles for both rational and integer points on such homogeneous spaces. The results are obtained in two cases: where the stabilisers of points are connected (Section 3) and where the stabilisers are finite and commutative (Section 4).
Using these tools, the authors proceed to study the representation of quadratic forms by quadratic forms, which includes as a special case the representation of integers by quadratic forms. Suppose that we are given two nondegenerate quadratic forms $$f,g$$ of ranks $$m,n$$ respectively; then we seek linear forms $$l_1, \ldots, l_m$$ such that $g(x_1, \ldots, x_n) = f( l_1(x_1, \ldots, x_n), \ldots, l_m(x_1, \ldots, x_n)).$ Solutions to a problem of this type are represented by points on a variety $$X$$ which is a homogeneous space under a spin group; the stabiliser of a point may be a finite commutative group; another spin group; or a torus, depending on the relative ranks of the forms $$f$$ and $$g$$. In Section 5 this problem is studied over a field, using the results of the previous sections; in Section 6 the Brauer–Manin obstruction is applied to obtain criteria for the existence of integer solutions. In particular, computational recipes are given for testing solubility in integers.
Classically, questions about representation of quadratic forms by other quadratic forms have been phrased in terms of genera and spinor genera. In Section 7, the authors recall this language and proceed to show how the classical view relates very neatly to the Brauer–Manin obstruction. They also characterise the classical notion of spinor exception in the language of the Brauer–Manin obstruction.
The paper concludes with several well-chosen examples from the literature, interpreted using the Brauer–Manin obstruction. In particular, Section 9 investigates sums of three squares in an imaginary quadratic field.
An appendix by Xu and Dasheng Wei gives a result on sums of three squares in a cyclotomic field.

##### MSC:
 11G35 Varieties over global fields 11D85 Representation problems 11E12 Quadratic forms over global rings and fields 11E20 General ternary and quaternary quadratic forms; forms of more than two variables 11E57 Classical groups 11E72 Galois cohomology of linear algebraic groups 14G25 Global ground fields in algebraic geometry 14F22 Brauer groups of schemes 20G30 Linear algebraic groups over global fields and their integers
Full Text:
##### References:
  doi:10.1515/FORUM.2006.030 · Zbl 1135.11017  doi:10.1215/S0012-7094-00-10227-X · Zbl 0948.11019  doi:10.1016/0022-314X(80)90043-8 · Zbl 0443.10017  doi:10.1112/S0010437X03000484 · Zbl 1041.11020  doi:10.1007/BF01245174 · Zbl 0917.11025  doi:10.1006/jnth.2001.2662 · Zbl 1037.11024  doi:10.1007/BF01458611 · Zbl 0577.10028  doi:10.1007/BF01180172 · Zbl 0100.03601  doi:10.1007/BF01900681 · Zbl 0071.27205  doi:10.1007/BF01425754 · Zbl 0158.39502  doi:10.1215/S0012-7094-94-07507-8 · Zbl 0847.14001  doi:10.2748/tmj/1178242546 · Zbl 0264.18008  doi:10.2748/tmj/1178242807 · Zbl 0262.18010  doi:10.1007/s00208-004-0615-1 · Zbl 1155.11319  doi:10.2307/2044903 · Zbl 0524.10016  doi:10.1007/s002090050506 · Zbl 0990.11016  doi:10.1016/j.jnt.2005.10.006 · Zbl 1168.20020  doi:10.1007/BF01268656 · Zbl 0049.31201  doi:10.1112/plms/s3-17.1.26 · Zbl 0147.30102  doi:10.1112/S0025579300002096 · Zbl 0102.03505  doi:10.1215/S0012-7094-87-05420-2 · Zbl 0659.14028
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.