[Paper Review] Isotropy of orthogonal involutions

Nikita A. Karpenko|arXiv (Cornell University)|Nov 21, 2009

Algebraic Geometry and Number Theory9 references4 citations

TL;DR

This paper establishes that an orthogonal involution on a central simple algebra over a field of characteristic ≠ 2 becomes isotropic over some finite odd-degree extension of the base field if it becomes isotropic over every splitting field of the algebra. The proof uses Chow motives with mod 2 coefficients, incompressibility of generalized Severi-Brauer varieties, and Steenrod operations, resolving a conjecture of Parimala and Sridharan in the case of orthogonal involutions.

ABSTRACT

An orthogonal involution on a central simple algebra becoming isotropic over any splitting field of the algebra, becomes isotropic over a finite odd degree extension of the base field (provided that the characteristic of the base field is not 2). The proof makes use of a structure theorem for Chow motives with finite coefficients of projective homogeneous varieties, of incompressibility of certain generalized Severi-Brauer varieties, and of Steenrod operations.

Motivation & Objective

• To resolve a conjecture by Parimala and Sridharan on the isotropy of orthogonal involutions over odd-degree extensions.
• To establish a structural link between isotropy over splitting fields and isotropy over finite odd-degree extensions in the context of central simple algebras.
• To provide a new proof of the hyperbolicity theorem for hermitian forms using motivic techniques and incompressibility results.
• To demonstrate that the existence of a 0-cycle of degree 1 on certain varieties does not imply rational points, by showing isotropy can still be achieved via odd-degree extensions.

Proposed method

• Uses induction on the index of the central simple algebra, reducing the problem to lower index cases via incompressibility of generalized Severi-Brauer varieties.
• Applies Chow motives with mod 2 coefficients to analyze the structure of projective homogeneous varieties associated with the involution.
• Employs Steenrod operations on Chow rings to detect non-triviality of algebraic cycles and derive contradictions under the assumption of no odd-degree closed points.
• Leverages the incompressibility of the variety $\mathcal{Y} = X(2^{r-1}; D)$ to deduce the existence of odd-degree points on $\mathfrak{X}$ under the induction hypothesis.
• Utilizes valuation-theoretic techniques, extending $x$-adic valuations to twisted Laurent series algebras, to analyze isotropy in residue algebras.
• Applies Morita equivalence to relate the variety of totally isotropic submodules in a module to the variety of right ideals in the algebra, preserving isotropy properties.

Experimental results

Research questions

• RQ1 Does an orthogonal involution that becomes isotropic over every splitting field of a central simple algebra necessarily become isotropic over a finite odd-degree extension of the base field?
• RQ2 Can the isotropy of an involution over all splitting fields be detected via the existence of a closed point of odd degree on the associated projective homogeneous variety?
• RQ3 To what extent can motivic techniques, such as Chow motives with finite coefficients, be used to establish isotropy results in the absence of rational points?
• RQ4 Is the hyperbolicity theorem for hermitian forms over function fields a formal consequence of the main isotropy result, and can it be reproven independently via this method?
• RQ5 What is the role of Steenrod operations in detecting the non-triviality of algebraic cycles in the context of isotropy of involutions?

Key findings

• An orthogonal involution on a central simple algebra over a field of characteristic ≠ 2 becomes isotropic over some finite odd-degree extension of the base field if it becomes isotropic over every splitting field.
• The proof establishes that the variety $\mathfrak{X}$ of totally isotropic submodules has a closed point of odd degree under the given conditions, using incompressibility and motivic techniques.
• The main result implies that the conjecture of Parimala and Sridharan on isotropy over odd-degree extensions holds for orthogonal involutions.
• The hyperbolicity theorem of [9] is shown to be a formal consequence of the main result, providing a new proof independent of the original argument.
• The existence of a 0-cycle of degree 1 on the variety $\mathfrak{X}$ does not imply the existence of a rational point, but the odd-degree condition suffices for isotropy.
• The use of twisted Laurent series algebras and valuation extensions allows the transfer of isotropy from the function field of a Severi-Brauer variety to a residue field of odd degree.