Let G be a semisimple connected linear algebraic group over C, and X a wonderful G-variety. We study the possibility of realizing X as a closed subvariety of the projective space of a simple G-module. We describe the wonderful varieties having this property as well as the linear systems giving rise to such immersions. We also prove that any ample line bundle on a wonderful variety is very ample.
In the setting of strict wonderful varieties we answer positively to Luna's conjecture, saying that wonderful varieties are classified by combinatorial objects, the so-called spherical systems. In particular, we prove that strict wonderful varieties are mostly obtained from symmetric spaces, spherical nilpotent orbits or model spaces. To make the paper self-contained as much as possible, we shall gather some known results on these families and more generally on wonderful varieties.
A geometrical realization of wonderful varieties by means of a suitable class of invariant Hilbert schemes is given. As a consequence, Luna's conjecture asserting that wonderful varieties are classified by spherical systems, triples of combinatorial invariants, is proved.
Let G be a complex semisimple linear algebraic group, and X a wonderful G-variety. We determine the connected automorphism group of X and we calculate Luna's invariants of X under its action.
The invariant Hilbert schemes considered in \cite{BC1} were proved to be affine spaces. The proof relied on the classification of strict wonderful varieties. We obtain in the present article a classification-free proof of the affinity of these invariant Hilbert scheme by means of deformation theoretical arguments. As a consequence we recover in a shorter way the classification of strict wonderful varieties. This provides an alternative and new approach to answer Luna's conjecture.
We complete the classification of wonderful varieties initiated by D. Luna. We review the results that reduce the problem to the family of primitive varieties, and report the references where some of them have already been studied. Finally, we analyze the rest case-by-case.
We show that the proof of Luna's conjecture about the classification of general wonderful G-varieties can be reduced to the analysis of finitely many families of primitive cases. We work out all primitive cases arising with any classical group G.
We give an introduction to the theory of wonderful G-varieties, with many examples when G is simple of type F4. We present results and open problems about these varieties: on their classification, on their isotropy groups, on morphisms between them, and on their relations with the representation theory of G.
A general setting for a standard monomial theory on a multiset is introduced and applied to the Cox ring of a wonderful variety. This gives a degeneration result of the Cox ring to a multicone over a partial flag variety. Further, we deduce that the Cox ring has rational singularities.
Let G be a complex connected semisimple group, whose simple components have type A or D. We prove that wonderful G-varieties are classified by means of combinatorial objects called spherical systems. This is a generalization of a known result of Luna for groups of type A; thanks to another result of Luna, this implies also the classification of all spherical G-varieties for the groups G we are considering. For these G we also prove the smoothness of the embedding of Demazure.
We study the cone of effective divisors and the total coordinate ring of wonderful varieties, with applications to their automorphism group. We show that the total coordinate ring of any spherical variety is obtained from that of the associated wonderful variety by a base change of invariant subrings.
Let G be a semisimple complex algebraic group, and H a wonderful subgroup of G. We prove several results relating the subgroup H to the properties of a combinatorial invariant S of G/H, called its spherical system. It is also possible to consider a spherical system S as a datum defined by purely combinatorial axioms, and under certain circumstances our results prove the existence of a wonderful subgroup H associated to S. As a byproduct, we reduce for any group G the proof of the classification of wonderful G-varieties, known as the Luna conjecture, to its verification on a small family of cas…
Using the wonderful compactification of a semisimple adjoint affine algebraic group G defined over an algebraically closed field k of arbitrary characteristic, we construct a natural compactification Y of the G-character variety of any finitely generated group F. When F is a free group, we show that this compactification is always simply connected with respect to the étale fundamental group, and when k=C it is also topologically simply connected. For other groups F, we describe conditions for the compactification of the moduli space to be simply connected and give examples when these condition…
We prove that the multiplication of sections of globally generated line bundles on a model wonderful variety M of simply connected type is always surjective. This follows by a general argument which works for every wonderful variety and reduces the study of the surjectivity for every couple of globally generated line bundles to a finite number of cases. As a consequence, the cone defined by a complete linear system over M or over a closed G-stable subvariety of M is normal. We apply these results to the study of the normality of the compactifications of model varieties in simple projective spa…
Let $X$ be an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$ of positive characteristic. Let $B$ denote a Borel subgroup of $G$. A $G$-Schubert variety in $X$ is a subvariety of the form $\diag(G) \cdot V$, where $V$ is a $B \times B$-orbit closure in $X$. In the case where $X$ is the wonderful compactification of a group of adjoint type, the $G$-Schubert varieties are the closures of Lusztig's $G$-stable pieces. We prove that $X$ admits a Frobenius splitting which is compatible with all $G$-Schubert varieties. Moreover, when $X$ is smooth, proj…
Chiriv\`ı and Maffei \cite{CM II} have proved that the multiplication of sections of any two ample spherical line bundles on the wonderful symmetric variety $X=\bar{G/H}$ is surjective. We have proved two criterions that allows ourselves to reduce the same problem on a (smooth) complete symmetric variety to the corresponding problem on the complete toric variety (respectively to the open toric variety). We have also studied in details some family of complete symmetric varieties, in particular those of rank 2.
A spherical system is a combinatorial object, arising in the theory of wonderful varieties, defined in terms of a root system. All spherical systems can be obtained by means of some general combinatorial procedures (such as parabolic induction and wonderful fiber product) from the so-called primitive spherical systems. Here we classify primitive spherical systems. As an application, we prove that the quotients of a spherical system are in correspondence with the so-called distinguished subsets of colors.
Let $X$ be the wonderful compactification of a complex adjoint symmetric space $G/K$ such that $rk(G/K)=rk(G)-rk(K)$. We show how to extend equivariant vector bundles on $G/K$ to equivariant vector bundles on $X$, generated by their global sections and having trivial higher cohomology groups. This relies on a geometric construction of equivariant vector bundles in the setting of varieties with reductive group action and ``multiplicity-free'' subvarieties.
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).