Frobenius splitting of cotangent bundles of flag varieties (Q1298092): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1955936458 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/9809039 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:01, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Frobenius splitting of cotangent bundles of flag varieties |
scientific article |
Statements
Frobenius splitting of cotangent bundles of flag varieties (English)
0 references
29 September 1999
0 references
This article is yet a testimony to the power of Frobenius splittings. Let \(G\) be a semi-simple connected algebraic group over an algebraically closed field of characteristic \(p>0\). Moreover, let \(U\) be the unipotent radical of a Borel subgroup \(B\subseteq G\) and \(\mathfrak u\) the Lie algebra of \(U\). The authors establish a link between the \(G\)-invariant form \(\chi\) on the Steinberg module \(\text{St}= H^0(G/B, (p-1) \rho)\) and Frobenius splittings of the cotangent bundle \(T^\ast(G/B)\) of \(G/B\). They show that \(T^\ast (G/B)\) is Frobenius split and obtain the vanishing result \(H^i(G/B, S\mathfrak u^\ast\otimes\lambda)=0\), \(i>0\), where \(\lambda\) is any dominating weight and \(S\mathfrak u^\ast\) is the symmetric algebra of \(\mathfrak u^\ast\). This implies via standard techniques, that the subregular nilpotent variety is normal, Gorenstein and has rational singularities. The vanishing theorem is also proved in the parabolic case for \(P\)-regular dominant weights. Using the Koszul resolution the authors also obtain the Dolbeault vanishing theorem \[ H^i(G/B, \Omega^j_{G/B} \otimes \mathcal L(\lambda)) =0 \] for \(i>j\) and \(\lambda\in \mathcal C =\{ \lambda \mid (\lambda, \alpha^{\vee}) \geq -1\), for all \(\alpha \in R^+\}\), where \(R^+\) denotes the set of positive roots of the root system of \(G\). Another interesting consequence is an isomorphism between group cohomology \(H^i(G_1, H^0(G/B, \mu))^{[-1]}\) of the first Frobenius kernel of \(G\) and the space of sections of a homogeneous line bundle on \(T^\ast(G/B)\) conjectured by J. C.~Janzen. Using the \(B\)-module structure of \(\text{St} \otimes \text{St}\) the authors obtain that \(T^\ast(G/B)\) carries a canonical Frobenius splitting. In particular \(H^0(G/B, S\mathfrak u^\ast \otimes \lambda)\) has a canonical splitting. The proofs work for all groups in a uniform manner.
0 references
Frobenius splitting
0 references
Borel subgroup
0 references
parabolic subgroup
0 references
unipotent radical
0 references
flag variety
0 references
cotangent bundle
0 references
Koszul resolution
0 references
Borel-Bott-Weil theorem
0 references
Gorenstein singularity
0 references
rational singularity
0 references
Frobenius kernel
0 references
Dobeault vanishing
0 references
invariant form
0 references
characteristic \(p\)
0 references
Steinberg module
0 references