Incompressibility of orthogonal Grassmannians of rank 2
type: Item
instance of: scholarly article
title: Incompressibility of orthogonal Grassmannians of rank 2
zbMATH Open document ID: 1243.14040
author: Bryant G. Mathews
published in: Journal of Algebra
publication date: 2012-05-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/0903.4243
reviewed by: Alan Koch
Mathematics Subject Classification ID: 14L30
zbMATH DE Number: 6037582
zbMATH Keywords: canonical dimension
zbMATH Keywords: incompressibility
zbMATH Keywords: orthogonal Grassmannians
zbMATH Keywords: motivic decomposition
MaRDI profile type: Publication
OpenAlex ID: W2052107869
arXiv ID: 0903.4243
cites work: On the notion of canonical dimension for algebraic groups
cites work: Canonical \(p\)-dimension of algebraic groups
cites work: Q5852631
cites work: Generic Splitting of Quadratic Forms, I
cites work: Q3516073
cites work: Essential dimension of quadrics
cites work: On the Chow groups of quadratic Grassmannians
cites work: Essential Dimensions of Algebraic Groups and a Resolution Theorem for G-Varieties
cites work: Q4885252
cites work: Q3947818
cites work: Motivic decomposition of projective homogeneous varieties and the Krull-Schmidt theorem
cites work: Motivic decomposition of isotropic projective homogeneous varieties
DOI: 10.1016/J.JALGEBRA.2011.08.032
review text: Let \(p\) be a prime or zero, and \(X\) a smooth complete variety over a field \(F.\) Then the canonical \(p\)-dimension cdim\(_{p}\left( X\right) \) of \(X\) is the minimal dimension of the image of a morphism \(X^{\prime}\rightarrow X\) for \(X^{\prime}\) an \(F\)-variety with a dominant morphism \(X^{\prime}\rightarrow X\) with \(F\left( X^{\prime}\right) /F\left( X\right) \) finite, degree prime to \(p\). We write cdim\(\left( X\right) \) for cdim\(_{0}\left( X\right) .\) It is clear that cdim\(_{p}\left( X\right) \leq\)cdim\(\left( X\right) \leq \dim\left( X\right) ;\) when these are all equalities we say \(X\) is \(p\)-incompressible.NEWLINENEWLINELet \(V\) be an \(F\)-vector space of odd dimension, say \(2n+1,\) and let \(\varphi\) be a nondegenerate quadratic form on \(V\). For \(1\leq d\leq n\) let \(X_{d}\) be the (smooth, projective) variety of \(d\)-dimensional totally isotropic subspaces of \(V\). \ The main result of this paper states that if the degree of the Chow ring of \(X_{2}\) is a multiple of \(4\) and the second relative higher Witt index of \(\varphi\) is \(1\), then cdim\(_{2}\left( X_{2}\right) =\dim\left( X_{2}\right) =4n-5\) in the case \(n\geq3\) -- the cases \(n=1\) and \(n=2\) having already been addressed by Karpenko and Merkurjev. This result suggests a more general conjecture, namely that \(X_{d}\) is \(2\)-incompressible if \(2^{d}\) divides the degree of the Chow ring of \(X_{d}\) and the \(d^{\text{th}}\) relative higher Witt index of \(\varphi\) is \(1.\)
description: scientific article; zbMATH DE number 6037582