Editing Hasse principle (section)

===Cubic forms===
A counterexample by [[Ernst S. Selmer]] shows that the Hasse–Minkowski theorem cannot be extended to forms of degree 3: The cubic equation 3''x''<sup>3</sup>&nbsp;+&nbsp;4''y''<sup>3</sup>&nbsp;+&nbsp;5''z''<sup>3</sup>&nbsp;=&nbsp;0 has a solution in real numbers, and in all p-adic fields, but it has no nontrivial solution in which ''x'', ''y'', and ''z'' are all rational numbers.<ref>{{cite journal | author=Ernst S. Selmer | title=The Diophantine equation ''ax''<sup>3</sup>&nbsp;+&nbsp;''by''<sup>3</sup>&nbsp;+&nbsp;''cz''<sup>3</sup>&nbsp;=&nbsp;0 | journal=Acta Mathematica | volume=85 | pages=203–362 | year=1951 | doi=10.1007/BF02395746 | doi-access=free }}</ref>

[[Roger Heath-Brown]] showed<ref name=HB>{{cite journal | author=D.R. Heath-Brown | authorlink=Roger Heath-Brown | title=Cubic forms in 14 variables | journal=Invent. Math. | volume=170 | issue=1 | pages=199–230 | year=2007 | doi=10.1007/s00222-007-0062-1| bibcode=2007InMat.170..199H | s2cid=16600794 }}</ref> that every cubic form over the integers in at least 14 variables represents 0, improving on earlier results of [[Harold Davenport|Davenport]].<ref>{{cite journal | author=H. Davenport | title=Cubic forms in sixteen variables | journal=[[Proceedings of the Royal Society A]] | volume=272 | pages=285–303 | year=1963 | doi=10.1098/rspa.1963.0054 | issue=1350 | bibcode=1963RSPSA.272..285D | s2cid=122443854 }}</ref> Since every cubic form over the p-adic numbers with at least ten variables represents 0,<ref name=HB/> the local–global principle holds trivially for cubic forms over the rationals in at least 14 variables.

Restricting to non-singular forms, one can do better than this: Heath-Brown proved that every non-singular cubic form over the rational numbers in at least 10 variables represents 0,<ref>{{cite journal | author=D. R. Heath-Brown | authorlink=Roger Heath-Brown | title=Cubic forms in ten variables | journal=Proceedings of the London Mathematical Society| volume=47 | pages=225–257 | year=1983 | doi=10.1112/plms/s3-47.2.225 | issue=2 }}</ref> thus trivially establishing the Hasse principle for this class of forms. It is known that Heath-Brown's result is best possible in the sense that there exist non-singular cubic forms over the rationals in 9 variables that do not represent zero.<ref>{{cite journal | author=L. J. Mordell | authorlink=Louis Mordell | title=A remark on indeterminate equations in several variables | journal=Journal of the London Mathematical Society | volume=12 |pages=127–129 | year=1937 | doi=10.1112/jlms/s1-12.1.127 | issue=2 }}</ref> However, [[Christopher Hooley|Hooley]] showed that the Hasse principle holds for the representation of 0 by non-singular cubic forms over the rational numbers in at least nine variables.<ref>{{cite journal | author=C. Hooley | authorlink=Christopher Hooley | title=On nonary cubic forms | journal=Journal für die reine und angewandte Mathematik | volume=386 |pages=32–98 | year=1988 }}</ref> Davenport, Heath-Brown and Hooley all used the [[Hardy–Littlewood circle method]] in their proofs. According to an idea of [[Yuri Ivanovitch Manin|Manin]], the obstructions to the Hasse principle holding for cubic forms can be tied into the theory of the [[Brauer group]]; this is the [[Brauer–Manin obstruction]], which accounts completely for the failure of the Hasse principle for some classes of variety.  However, [[Alexei Skorobogatov|Skorobogatov]] has shown that the Brauer–Manin obstruction cannot explain all the failures of the Hasse principle.<ref>{{cite journal | author=Alexei N. Skorobogatov | title=Beyond the Manin obstruction | journal=Invent. Math. | volume=135 | issue=2 | pages=399–424 | year=1999 | doi=10.1007/s002220050291 | arxiv=alg-geom/9711006 | bibcode=1999InMat.135..399S | s2cid=14285244 }}</ref>