Extended Karpenko and Karpenko-Merkurjev theorems for quasilinear quadratic forms
HTML articles powered by AMS MathViewer
- by Stephen Scully;
- Trans. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/tran/9460
- Published electronically: June 26, 2025
- PDF | Request permission
Abstract:
Let $p$ and $q$ be anisotropic quasilinear quadratic forms over a field $F$ of characteristic $2$, and let $i$ be the isotropy index of $q$ after scalar extension to the function field of the affine quadric with equation $p=0$. In this article, we establish a strong constraint on $i$ in terms of the dimension of $q$ and two stable birational invariants of $p$, one of which is the well-known âIzhboldin dimensionâ, and the other of which is a new invariant that we denote $\Delta (p)$. Examining the contribution from the Izhboldin dimension, we obtain a result that unifies and extends the quasilinear analogues of two fundamental results on the isotropy of non-singular quadratic forms over function fields of quadrics in arbitrary characteristic due to Karpenko and Karpenko-Merkurjev, respectively. This proves in a strong way the quasilinear case of a general conjecture previously formulated by the author, suggesting that a substantial refinement of this conjecture should hold.References
- Richard Elman, Nikita Karpenko, and Alexander Merkurjev, The algebraic and geometric theory of quadratic forms, American Mathematical Society Colloquium Publications, vol. 56, American Mathematical Society, Providence, RI, 2008. MR 2427530, DOI 10.1090/coll/056
- Detlev W. Hoffmann, Isotropy of quadratic forms over the function field of a quadric, Math. Z. 220 (1995), no. 3, 461â476. MR 1362256, DOI 10.1007/BF02572626
- Detlev W. Hoffmann, Diagonal forms of degree $p$ in characteristic $p$, Algebraic and arithmetic theory of quadratic forms, Contemp. Math., vol. 344, Amer. Math. Soc., Providence, RI, 2004, pp. 135â183. MR 2058673, DOI 10.1090/conm/344/06214
- Detlev W. Hoffmann and Ahmed Laghribi, Quadratic forms and Pfister neighbors in characteristic 2, Trans. Amer. Math. Soc. 356 (2004), no. 10, 4019â4053. MR 2058517, DOI 10.1090/S0002-9947-04-03461-0
- Detlev W. Hoffmann and Ahmed Laghribi, Isotropy of quadratic forms over the function field of a quadric in characteristic 2, J. Algebra 295 (2006), no. 2, 362â386. MR 2194958, DOI 10.1016/j.jalgebra.2004.02.038
- Nikita A. Karpenko, On the first Witt index of quadratic forms, Invent. Math. 153 (2003), no. 2, 455â462. MR 1992018, DOI 10.1007/s00222-003-0294-7
- Nikita A. Karpenko, Holes in $I^n$, Ann. Sci. Ăcole Norm. Sup. (4) 37 (2004), no. 6, 973â1002 (English, with English and French summaries). MR 2119244, DOI 10.1016/j.ansens.2004.07.002
- Nikita A. Karpenko, An ultimate proof of Hoffmann-Totaroâs conjecture, J. Eur. Math. Soc. (JEMS) 24 (2022), no. 12, 4385â4398. MR 4493629, DOI 10.4171/jems/1211
- Nikita Karpenko and Alexander Merkurjev, Essential dimension of quadrics, Invent. Math. 153 (2003), no. 2, 361â372. MR 1992016, DOI 10.1007/s00222-003-0292-9
- Ahmed Laghribi, Sur le dĂ©ploiement des formes bilinĂ©aires en caractĂ©ristique 2, Pacific J. Math. 232 (2007), no. 1, 207â232 (French, with English summary). MR 2358037, DOI 10.2140/pjm.2007.232.207
- Ahmed Laghribi and Pasquale Mammone, Hyper-isotropy of bilinear forms in characteristic 2, Quadratic formsâalgebra, arithmetic, and geometry, Contemp. Math., vol. 493, Amer. Math. Soc., Providence, RI, 2009, pp. 249â269. MR 2537105, DOI 10.1090/conm/493/09673
- Eric Primozic, Motivic Steenrod operations in characteristic $p$, Forum Math. Sigma 8 (2020), Paper No. e52, 25. MR 4176756, DOI 10.1017/fms.2020.34
- Stephen Scully, Hoffmannâs conjecture for totally singular forms of prime degree, Algebra Number Theory 10 (2016), no. 5, 1091â1132. MR 3531363, DOI 10.2140/ant.2016.10.1091
- Stephen Scully, Hyperbolicity and near hyperbolicity of quadratic forms over function fields of quadrics, Math. Ann. 372 (2018), no. 3-4, 1437â1458. MR 3880303, DOI 10.1007/s00208-018-1705-9
- Stephen Scully, A bound for the index of a quadratic form after scalar extension to the function field of a quadric, J. Inst. Math. Jussieu 19 (2020), no. 2, 421â450. MR 4079149, DOI 10.1017/s1474748018000051
- Stephen Scully, Quasilinear quadratic forms and function fields of quadrics, Math. Z. 294 (2020), no. 3-4, 1107â1126. MR 4074036, DOI 10.1007/s00209-019-02312-x
- Stephen Scully, On an extension of Hoffmannâs separation theorem for quadratic forms, Int. Math. Res. Not. IMRN 14 (2022), 11092â11147. MR 4452448, DOI 10.1093/imrn/rnab029
- Scully, S. and G. Zhu. Rationality of cycles modulo $2$ on products of generically smooth quadrics, In preparation.
- Burt Totaro, Birational geometry of quadrics in characteristic 2, J. Algebraic Geom. 17 (2008), no. 3, 577â597. MR 2395138, DOI 10.1090/S1056-3911-08-00472-4
Bibliographic Information
- Stephen Scully
- Affiliation: Department of Mathematics and Statistics, University of Victoria, Canada
- MR Author ID: 1016999
- ORCID: 0000-0002-2068-5997
- Email: scully@uvic.ca
- Received by editor(s): September 18, 2023
- Received by editor(s) in revised form: January 22, 2025
- Published electronically: June 26, 2025
- Additional Notes: This work was supported by NSERC Discovery Grant No. RGPIN-2019-05607.
- © Copyright 2025 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
- MSC (2020): Primary 11E04, 11E39, 14E05
- DOI: https://doi.org/10.1090/tran/9460