Cotangent bundle to the Grassmann variety (Q292179): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
(One intermediate revision by one other user not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s00031-015-9356-3 / rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S00031-015-9356-3 / rank | |||
Normal rank |
Latest revision as of 13:37, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cotangent bundle to the Grassmann variety |
scientific article |
Statements
Cotangent bundle to the Grassmann variety (English)
0 references
10 June 2016
0 references
The author shows that there is an affine Schubert variety in the infinite-dimensional partial Flag variety (associated to the two-step parabolic subgroup of the Kac-Moody group \(\widehat{\mathrm{SL}}_n\)) which is a natural compactification of the cotangent bundle to the Grassmann variety. The motivation for this article is the following one: Let \(\mathbb C\) be the field of complex numbers. Consider a cyclic quiver with 2 vertices and dimension vector \(d = (d_1,d_2)\). Denote \(V_i =\mathbb C^i\). Let \(Z =\mathrm{Hom}(V_1, V_2)\times\mathrm{Hom}(V_2,V_1)\); \(\mathrm{GL}_d =\mathrm{GL}(V_1)\times\mathrm{GL}(V_2)\). There is a natural action of \(\mathrm{GL}_d\) in \(Z\). Let \(N= \{(f_1,f_2)\in Z\mid f_1\circ f_2\text{ is nilpotent}\}=\{(f_1,f_2)\in Z\mid f_1\circ f_2\text{ and }f_2\circ f_1\text{ are nilpotent}\}\) Clearly \(N\) is \(\mathrm{GL}_d\)-stable. \textit{G. Lusztig} [J. Am. Math. Soc. 3, No. 2, 447--498 (1990; Zbl 0703.17008)] has shown that an orbit closure in \(N\) is canonically isomorphic to an open subset of a Schubert variety in \(\widehat{\mathrm{SL}}_n/Q\), where \(n =d_1+d_2\) and \(Q\) is the parabolic subgroup of \(\widehat{\mathrm{SL}}_n\) corresponding to omitting \(\alpha_0,\alpha_{d_1}\) (Luztig consider the case of cyclic quiver with \(h\geq 2\) vertices). Now let \(Z_0 =\{(f_1,f_2)\in Z | f_1\circ f_2=0\) and \(f_2\circ f_1=0\}\). \textit{E. Strickland} [J. Algebra 75, 523--537 (1982; Zbl 0493.14030)] has shown that each irreducible component of \(Z_0\) is the conormal variety to a determinantal variety in \(M_{d_1,d_2}\). A determinantal variety in \(M_{d_1,d_2}\) being canonically isomorphic to an open subset in a certain Schubert variety in the Grassmannian variety of \(d_2\)-dimensional subspaces of \(\mathbb C^{d1+d2}\) (see [\textit{V. Lakshmibai} and \textit{C. S. Seshadri}, Proc. Indian Acad. Sci., Sect. A 87, No. 2, 1--54 (1978; Zbl 0447.14011)]), the above two results of Lusztig and Strickland suggest a connection between conormal varieties to Schubert varieties in the (finite-dimensional) flag variety and the affine Schubert varieties.
0 references
Schubert varieties
0 references
affine flag varieties
0 references
determinantal varieties
0 references