On the structure of homogeneous symplectic varieties of complete intersection (Q358822)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the structure of homogeneous symplectic varieties of complete intersection |
scientific article |
Statements
On the structure of homogeneous symplectic varieties of complete intersection (English)
0 references
9 August 2013
0 references
A normal complex variety \(X\) is symplectic if there exists a holomorphic symplectic two-form \(\omega\) on its regular locus that extends to a holomorphic two-form on some resolution of singularities \(\tilde X \rightarrow X\). The goal of this paper is to give a classification result for certain affine symplectic varieties. The first theorem states that if \(X \subset \mathbb C^{2n+r}\) is a \textit{singular} symplectic variety embedded in an affine space as a complete intersection of homogeneous polynomials \(f_1, \ldots, f_r\), then \(X\) coincides with a nilpotent orbit closure of a semisimple complex Lie algebra. While this is a statement about an affine symplectic variety, the proof is based on the geometry of projective contact manifolds: consider \(\mathbb P(X) \subset \mathbb P^{2n+r-1}\), the projective variety defined by the homogeneous polynomials \(f_1, \ldots, f_r\). The author proves that \(\mathbb P(X)\) has a crepant resolution \(Z\) which is a projective contact manifold. Since the Picard number is at least two, a classification result by \textit{S. Kebekus} et al., [Invent. Math. 142, No. 1, 1--15 (2000; Zbl 0994.53024)] shows that \(Z\) is a projectivised cotangent bundle \(\mathbb P(\Omega_M)\). The manifold \(M\) turns out to be a rational homogeneous space \(G/P\) which leads to the description of \(X\). \newline The second theorem makes the classification even more precise: suppose that \(X\) is a singular symplectic variety embedded in an affine space as a complete intersection of homogeneous polynomials. Suppose moreover that \(X\) is endowed with a \(\mathbb C^*\)-action such that the symplectic form \(\omega\) is homogeneous with respect to this action. Then \((X, \omega)\) coincides with the nilpotent variety \((N, \omega_K)\) of a semisimple complex Lie algebra \(\mathfrak g\) together with the Kostant-Kirillov form \(\omega_K\). The proof is based on the first theorem and arguments from representation theory.
0 references
symplectic variety
0 references
contact manifold
0 references
nilpotent orbit closure
0 references
0 references