Incompressibility of orthogonal Grassmannians (Q650851): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
Property / DOI
 
Property / DOI: 10.1016/j.crma.2011.10.004 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.CRMA.2011.10.004 / rank
 
Normal rank

Revision as of 06:13, 9 December 2024

scientific article
Language Label Description Also known as
English
Incompressibility of orthogonal Grassmannians
scientific article

    Statements

    Incompressibility of orthogonal Grassmannians (English)
    0 references
    0 references
    7 December 2011
    0 references
    Let \(p\) be a prime number. The canonical \(p\)-dimension \(\text{cdim}_pX\) of an irreducible smooth projective variety \(X\) defined over a field \(F\) is the minimal dimension of a closed \(F\)-subvariety \(Y\subset X\) having a 0-cycle of \(p\)-coprime degree on \(Y_{F(X)}\) [\textit{N. A. Karpenko}, ``Canonical dimension'', Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19--27, 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency. 146--161 (2011; Zbl 1227.14043)]. The variety \(X\) is said to be \(p\)-incompressible if \(\text{cdim}_pX=\dim X\). Suppose that \(X\) is homogeneous with respect to an action of a semisimple algebraic \(F\)-group \(G\) such that \(G_E\) is of inner type for some finite Galois field extension \(E\supset F\) with \((E:F)=p^m\). It is proven that, for \(d=\text{cdim}_pX\), there exist Chow cycle classes \(\alpha\in\text{CH}^dX_{F(X)}\) and \(\beta\in\text{CH}_dX_F\) such that \(\deg(\beta_{F(X)}\cdot\alpha)\) is coprime to \(p\). The following formula for the canonical dimension is a consequence of this result: \[ \text{cdim}_pX=\min\{d\mid\exists\alpha\in\text{Ch}^dX_{F(X)},\beta\in\text{Ch}_dX_F, \deg(\beta_{F(X)}\cdot\alpha)=1\}, \] where \(\text{Ch}\) is the reduction of the Chow group \(\text{CH}\) modulo \(p\). In particular, for any field extension \(L\supset F\), the base field change \(\text{Ch}_dX_F\to\text{Ch}_dX_L\) is non-zero. The author applies these results to a special case, where \(p=2\), \(G=O^+(q)\), \(q\) being a non-degenerate quadratic form on \(F^n\), \(X=Q_k\subset\text{Gr}_k(F^n)\), the Grassmannian of isotropic \(k\)-subspaces in \(F^n\) with respect to \(q\). The main result of this note is proving a conjecture of Mathews (2008): If the degree of any closed point on \(Q_k\) is divisible by \(2^k\) and the Witt index of \(q\) over \(F(Q_k)\) equals \(k\), then \(Q_k\) is \(2\)-incompressible.
    0 references
    orthogonal Grassmannian
    0 references
    canonical dimension
    0 references
    incompressibility
    0 references
    rational point
    0 references
    Chow group
    0 references
    motive
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references