An introduction to wonderful varieties with many examples of type (Q549987): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Paolo Bravi / rank | |||
Property / author | |||
Property / author: Paolo Bravi / rank | |||
Normal rank | |||
Property / review text | |||
This paper is an introduction to the theory of wonderful varieties, especially wonderful systems and wonderful diagrams. Let \(G\) be a complex algebraic group. A smooth connected projective \(G\)-variety is called wonderful of rank \(r\) if \(G\) stabilises exactly \(r\) irreducible divisors in \(X\) such that: 1) they are smooth and have a nonempty transversal intersection; 2) two points in \(X\) are on the same \(G\)-orbit if and only if they are contained in the same \(G\)-stable divisors. In such a case one can assume \(G\) reductive (even semi-simple and simply connected). A wonderful variety is spherical, i.e., it is normal and contains an open \(B\) orbit (we suppose \(G\) reductive and \(B\) a Borel subgroup of \(G\)). Moreover, to any (homogeneous) spherical variety \(Y\) one can associate a wonderful variety \(X\); in this way \(Y\) is determined by the spherical system of \(X\) plus some additional combinatorial data. The wonderful varieties play an important role also in the classification of model homogeneous spaces. Some important examples of wonderful varieties are the flag varieties and the complete symmetric varieties (defined in [\textit{C. De Concini, C. Procesi}, Invariant theory, Proc. 1st 1982 Sess. C.I.M.E., Montecatini/Italy, Lect. Notes Math. 996, 1--44 (1983; Zbl 0581.14041)]). In the first part of the paper, the general theory is explained. However sometimes the authors give only a sketch of the proofs and assume some hypotheses which are automatically satisfied when \(G\) is of type \(F_4\). In particular, they assume that \(G\) is semi-simply, simply connected and the center acts trivially (this last hypothesis is not satisfied for example in the case of complete symmetric varieties with \(G\) a classic group). The authors define the spherical system associated to a wonderful variety. These combinatorial data determine uniquely the variety (see [\textit{I. V. Losev}, Duke Math. J. 147, No. 2, 315--343 (2009; Zbl 1175.14035)]). It is conjectured that each spherical system is associated to a wonderful variety; this conjecture has been proved in many cases. The authors define also the spherical diagrams which are a way to visualize the spherical systems; they are obtained by adding information to the Dynkin diagram of \(G\). The authors assume that the previous conjecture is true for \(F_4\). The properties of \(X\) are explained emphasizing its spherical diagram. In particular the lines between some automorphisms of \(X\) and some spherical roots (called loose spherical roots) are explained. The authors consider then the combinatorial data associated to an equivariant morphism with connected fibres between two wonderful \(G\)-varieties \(X'\) and \(X\); they also explain the line between the spherical systems of \(X\) and \(X'\). The authors consider especially minimal morphisms, i.e., the morphisms which can be factorized in two morphisms of the previous type. They also clarify the notion of spherical closure and give a classification of spherical orbits in the projectivization of a simple \(G\) module \(P(V)\) (this part seems to be new). In particular, they show that the generic isotropy group of a spherical variety is spherically closed if and only if it is the stabilizer of a point in \(P(V)\). The authors also give combinatorial conditions on the spherical system so that the generic isotropy group is auto-normalizing, resp. spherically closed. In the second part of this paper many examples of type \(F_4\) are given to illustrate the general theory and formalism. A particular emphasis is given to the spherical diagrams. Also, the complete list of spherical diagram for \(G\) of type \(F_4\) are given. The wonderful varieties (of type \(F_4\)) are not very accessible to study. One knows that they can be theoretically realized as closures of orbits in some high dimensional projective spaces, but even the set-theoretical description of these closures seems in general to be out of reach. The authors described the generic isotropy group of many examples; they also describe the generic isotropy groups \(H'\subset H\) of a variety \(X'\) with a minimal morphism \(X'\rightarrow X\). In some examples they explain how to prove that a spherical system is associated to a wonderful variety. They also classify also the spherical orbits in projective fundamental representations of type \(F_4\). They study some particular class of spherical systems, for examples the ones such that the generic isotropy group of \(X\) is contained in a Borel subgroup or the ones which can be obtained by wonderful varieties of type \(B_3\) (or \(C_3\)) by parabolic inductions. Although \(B_3\) and \(C_3\) are very similar, the structure of their subgroups is very different. Finally they consider some examples not of type \(F_4\). | |||
Property / review text: This paper is an introduction to the theory of wonderful varieties, especially wonderful systems and wonderful diagrams. Let \(G\) be a complex algebraic group. A smooth connected projective \(G\)-variety is called wonderful of rank \(r\) if \(G\) stabilises exactly \(r\) irreducible divisors in \(X\) such that: 1) they are smooth and have a nonempty transversal intersection; 2) two points in \(X\) are on the same \(G\)-orbit if and only if they are contained in the same \(G\)-stable divisors. In such a case one can assume \(G\) reductive (even semi-simple and simply connected). A wonderful variety is spherical, i.e., it is normal and contains an open \(B\) orbit (we suppose \(G\) reductive and \(B\) a Borel subgroup of \(G\)). Moreover, to any (homogeneous) spherical variety \(Y\) one can associate a wonderful variety \(X\); in this way \(Y\) is determined by the spherical system of \(X\) plus some additional combinatorial data. The wonderful varieties play an important role also in the classification of model homogeneous spaces. Some important examples of wonderful varieties are the flag varieties and the complete symmetric varieties (defined in [\textit{C. De Concini, C. Procesi}, Invariant theory, Proc. 1st 1982 Sess. C.I.M.E., Montecatini/Italy, Lect. Notes Math. 996, 1--44 (1983; Zbl 0581.14041)]). In the first part of the paper, the general theory is explained. However sometimes the authors give only a sketch of the proofs and assume some hypotheses which are automatically satisfied when \(G\) is of type \(F_4\). In particular, they assume that \(G\) is semi-simply, simply connected and the center acts trivially (this last hypothesis is not satisfied for example in the case of complete symmetric varieties with \(G\) a classic group). The authors define the spherical system associated to a wonderful variety. These combinatorial data determine uniquely the variety (see [\textit{I. V. Losev}, Duke Math. J. 147, No. 2, 315--343 (2009; Zbl 1175.14035)]). It is conjectured that each spherical system is associated to a wonderful variety; this conjecture has been proved in many cases. The authors define also the spherical diagrams which are a way to visualize the spherical systems; they are obtained by adding information to the Dynkin diagram of \(G\). The authors assume that the previous conjecture is true for \(F_4\). The properties of \(X\) are explained emphasizing its spherical diagram. In particular the lines between some automorphisms of \(X\) and some spherical roots (called loose spherical roots) are explained. The authors consider then the combinatorial data associated to an equivariant morphism with connected fibres between two wonderful \(G\)-varieties \(X'\) and \(X\); they also explain the line between the spherical systems of \(X\) and \(X'\). The authors consider especially minimal morphisms, i.e., the morphisms which can be factorized in two morphisms of the previous type. They also clarify the notion of spherical closure and give a classification of spherical orbits in the projectivization of a simple \(G\) module \(P(V)\) (this part seems to be new). In particular, they show that the generic isotropy group of a spherical variety is spherically closed if and only if it is the stabilizer of a point in \(P(V)\). The authors also give combinatorial conditions on the spherical system so that the generic isotropy group is auto-normalizing, resp. spherically closed. In the second part of this paper many examples of type \(F_4\) are given to illustrate the general theory and formalism. A particular emphasis is given to the spherical diagrams. Also, the complete list of spherical diagram for \(G\) of type \(F_4\) are given. The wonderful varieties (of type \(F_4\)) are not very accessible to study. One knows that they can be theoretically realized as closures of orbits in some high dimensional projective spaces, but even the set-theoretical description of these closures seems in general to be out of reach. The authors described the generic isotropy group of many examples; they also describe the generic isotropy groups \(H'\subset H\) of a variety \(X'\) with a minimal morphism \(X'\rightarrow X\). In some examples they explain how to prove that a spherical system is associated to a wonderful variety. They also classify also the spherical orbits in projective fundamental representations of type \(F_4\). They study some particular class of spherical systems, for examples the ones such that the generic isotropy group of \(X\) is contained in a Borel subgroup or the ones which can be obtained by wonderful varieties of type \(B_3\) (or \(C_3\)) by parabolic inductions. Although \(B_3\) and \(C_3\) are very similar, the structure of their subgroups is very different. Finally they consider some examples not of type \(F_4\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alessandro Ruzzi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M17 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14L30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20G05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5925834 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
wonderful varieties | |||
Property / zbMATH Keywords: wonderful varieties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spherical varieties | |||
Property / zbMATH Keywords: spherical varieties / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964213040 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0812.2340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant completions of homogeneous algebraic varieties by homogeneous divisors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Moduli of affine schemes with reductive group action / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4210557 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant deformations of the affine multicone over a flag variety / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification of strict wonderful varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5445054 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Wonderful varieties of type 𝖤 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3784251 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vers une généralisation des espaces symétriques. (Towards a generalization of symmetric spaces) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The total coordinate ring of a wonderful variety / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3560691 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vanishing theorems for Dolbeault cohomology of log homogeneous varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spherical orbits and representations of \(\mathcal U_{\varepsilon}(\mathfrak g)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the coordinate ring of spherical conjugacy classes. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3704017 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3220770 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orbital varieties of the minimal orbit / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4273896 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the set of orbits for a Borel subgroup / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automorphisms, root systems, and compactifications of homogeneous varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4186561 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniqueness property for spherical homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spherical varieties of type A / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The model wonderful variety. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3758265 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexity and nilpotent orbits / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some amazing properties of spherical nilpotent orbits / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple immersions of wonderful varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homogeneous spaces and equivariant embeddings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Wonderful varieties of rank two / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spherical varieties and existence of invariant Kähler structures / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:56, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An introduction to wonderful varieties with many examples of type |
scientific article |
Statements
An introduction to wonderful varieties with many examples of type (English)
0 references
19 July 2011
0 references
This paper is an introduction to the theory of wonderful varieties, especially wonderful systems and wonderful diagrams. Let \(G\) be a complex algebraic group. A smooth connected projective \(G\)-variety is called wonderful of rank \(r\) if \(G\) stabilises exactly \(r\) irreducible divisors in \(X\) such that: 1) they are smooth and have a nonempty transversal intersection; 2) two points in \(X\) are on the same \(G\)-orbit if and only if they are contained in the same \(G\)-stable divisors. In such a case one can assume \(G\) reductive (even semi-simple and simply connected). A wonderful variety is spherical, i.e., it is normal and contains an open \(B\) orbit (we suppose \(G\) reductive and \(B\) a Borel subgroup of \(G\)). Moreover, to any (homogeneous) spherical variety \(Y\) one can associate a wonderful variety \(X\); in this way \(Y\) is determined by the spherical system of \(X\) plus some additional combinatorial data. The wonderful varieties play an important role also in the classification of model homogeneous spaces. Some important examples of wonderful varieties are the flag varieties and the complete symmetric varieties (defined in [\textit{C. De Concini, C. Procesi}, Invariant theory, Proc. 1st 1982 Sess. C.I.M.E., Montecatini/Italy, Lect. Notes Math. 996, 1--44 (1983; Zbl 0581.14041)]). In the first part of the paper, the general theory is explained. However sometimes the authors give only a sketch of the proofs and assume some hypotheses which are automatically satisfied when \(G\) is of type \(F_4\). In particular, they assume that \(G\) is semi-simply, simply connected and the center acts trivially (this last hypothesis is not satisfied for example in the case of complete symmetric varieties with \(G\) a classic group). The authors define the spherical system associated to a wonderful variety. These combinatorial data determine uniquely the variety (see [\textit{I. V. Losev}, Duke Math. J. 147, No. 2, 315--343 (2009; Zbl 1175.14035)]). It is conjectured that each spherical system is associated to a wonderful variety; this conjecture has been proved in many cases. The authors define also the spherical diagrams which are a way to visualize the spherical systems; they are obtained by adding information to the Dynkin diagram of \(G\). The authors assume that the previous conjecture is true for \(F_4\). The properties of \(X\) are explained emphasizing its spherical diagram. In particular the lines between some automorphisms of \(X\) and some spherical roots (called loose spherical roots) are explained. The authors consider then the combinatorial data associated to an equivariant morphism with connected fibres between two wonderful \(G\)-varieties \(X'\) and \(X\); they also explain the line between the spherical systems of \(X\) and \(X'\). The authors consider especially minimal morphisms, i.e., the morphisms which can be factorized in two morphisms of the previous type. They also clarify the notion of spherical closure and give a classification of spherical orbits in the projectivization of a simple \(G\) module \(P(V)\) (this part seems to be new). In particular, they show that the generic isotropy group of a spherical variety is spherically closed if and only if it is the stabilizer of a point in \(P(V)\). The authors also give combinatorial conditions on the spherical system so that the generic isotropy group is auto-normalizing, resp. spherically closed. In the second part of this paper many examples of type \(F_4\) are given to illustrate the general theory and formalism. A particular emphasis is given to the spherical diagrams. Also, the complete list of spherical diagram for \(G\) of type \(F_4\) are given. The wonderful varieties (of type \(F_4\)) are not very accessible to study. One knows that they can be theoretically realized as closures of orbits in some high dimensional projective spaces, but even the set-theoretical description of these closures seems in general to be out of reach. The authors described the generic isotropy group of many examples; they also describe the generic isotropy groups \(H'\subset H\) of a variety \(X'\) with a minimal morphism \(X'\rightarrow X\). In some examples they explain how to prove that a spherical system is associated to a wonderful variety. They also classify also the spherical orbits in projective fundamental representations of type \(F_4\). They study some particular class of spherical systems, for examples the ones such that the generic isotropy group of \(X\) is contained in a Borel subgroup or the ones which can be obtained by wonderful varieties of type \(B_3\) (or \(C_3\)) by parabolic inductions. Although \(B_3\) and \(C_3\) are very similar, the structure of their subgroups is very different. Finally they consider some examples not of type \(F_4\).
0 references
wonderful varieties
0 references
spherical varieties
0 references
0 references