The ring of sections of a complete symmetric variety

Rocco Chirivi',Andrea Maffei
DOI: https://doi.org/10.48550/arXiv.math/0204354
2002-04-30
Abstract:We study the ring of sections A(X) of a complete symmetric variety X, that is of the wonderful completion of G/H where G is an adjoint semi-simple group and H is the fixed subgroup for an involutorial automorphism of G. We find generators for Pic(X), we generalize the PRV conjecture to complete symmetric varieties and construct a standard monomial theory for A(X) that is compatible with G orbit closures in X. This gives a degeneration result and the rational singularityness for A(X).
Algebraic Geometry,Representation Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the study of the structure and properties of the ring of sections $A(X)$ of the complete symmetric variety. Specifically, the authors focus on the following aspects: 1. **Generators of the Picard group**: The authors first describe the generators of the Picard group $\text{Pic}(X)$ of the complete symmetric variety $X$. According to Theorem 2.3, they find an explicit basis of $\text{Pic}(X)$ and relate it to the integral weight lattice $\Omega_1$ of the root system $\tilde{\Phi}$. 2. **Generalization of the PRV conjecture**: The authors generalize the Parthasarathy - Ranga Rao - Varadarajan (PRV) conjecture to complete symmetric varieties. Specifically, for any three weights $\nu, \lambda, \mu$ in $\Omega_1^+$, if $\nu \leq_\sigma \lambda+\mu$, then there exist two weights $\lambda', \mu' \in \Omega_1^+$ such that $\lambda' \leq_\sigma \lambda$, $\mu' \leq_\sigma \mu$, and the irreducible module $V_\nu$ appears in the decomposition of $V_{\lambda'} \otimes V_{\mu'}$ (Theorem 2.7). This generalization provides a combinatorial basis for understanding the surjectivity of the multiplication map on complete symmetric varieties. 3. **Construction of the standard monomial theory**: The authors construct a standard monomial theory for the section ring $A(X)$. By introducing the Littelmann path model and related results, they define a concept of standard monomials and introduce a variant lexicographic order. This standard monomial theory strictly mimics the standard monomial theory of the flag variety $G/P$, but takes into account additional vanishing conditions (Theorem 3.3). Moreover, this theory is compatible with $G$ - orbit closures (Corollary 3.4). 4. **Degeneration results and rational singularities**: As a direct application of the standard monomial theory, the authors construct a flat degeneration that degenerates $A(X)$ to $\tilde{A}(G/P) \otimes k[s_1,\dots,s_\ell]$, where $\tilde{A}(G/P)$ is the multi - cone coordinate ring of the flag variety $G/P$. Using this degeneration result, they prove that $A(X)$ has rational singularities (i.e., its singular points are rational). Further, for a fixed line bundle $L$, the ring $A_L=\oplus_n H^0(X,L^{\otimes n})$ also has rational singularities. In summary, the core objective of this paper is to reveal the geometric and representation - theoretic properties of complete symmetric varieties by studying the algebraic structure of their section rings, especially by constructing the standard monomial theory. This not only generalizes existing theories but also provides new tools and perspectives for solving certain open problems.