arXiv++ Combinatorics

Let $ G $ be a connected reductive algebraic group and its symmetric subgroup $ K $. The variety $ \dblFV = K/Q \times G/P $ is called a double flag variety, where $ Q $ and $ P $ are parabolic subgroups of $ K $ and $ G $ respectively. In this article, we make a survey on the theory of double flag varieties for a symmetric pair $ (G, K) $ and report entirely new results and theorems on this theory. Most important topic is the finiteness of $ K $-orbits on $ \dblFV $. We summarize the classification of $ \dblFV $ of finite type, which are scattered in the literatures. In some respects such classifications are complete, and in some cases not. In particular, we get a classification of double flag varieties of finite type when a symmetric pair is of type AIII, using the theorems of Homma who describes ``indecomposable'' objects of such double flag varieties. Together with these classifications, newly developed embedding theory provides double flag varieties of finite type, which are new. Other ingredients in this article are Steinberg theory, generalization of Robinson-Schensted correspondence, and orbit classification via quiver representations. We hope this article is useful for those who want to study the theory of double flag varieties.

Given a symmetric pair $(G,K)=(\mathrm{GL}_{p+q}(\mathbb{C}),\mathrm{GL}_{p}(\mathbb{C})\times \mathrm{GL}_{q}(\mathbb{C}))$ of type AIII, we consider the diagonal action of $K$ on the double flag variety $\mathfrak{X}=\mathrm{Grass}(\mathbb{C}^{p+q},r)\times K/B_K$ whose first factor is a Grassmann variety for $G$ and whose second factor is a full flag variety of $K$. There is a finite number of orbits for this action, and our first result is a description of these orbits: parametrization, dimensions, closure relations, and cover relations. Specifically, the orbits are parametrized by certain pairs of partial permutations. Each orbit in $\mathfrak{X}$ gives rise to a conormal bundle. As in the references [5] and [6], by using the moment map associated to the action, we define a so-called symmetrized Steinberg map, respectively an exotic Steinberg map, which assigns to each such conormal bundle (thus to each orbit) a nilpotent orbit in the Lie algebra of $K$, respectively in the Cartan complement of that Lie algebra. Our main result is an explicit description of these Steinberg maps in terms of combinatorial algorithms on partial permutations, extending the classical Robinson--Schensted procedure on permutations. This is a thorough generalization of the results in [5], where we supposed $p=q=r$ and considered orbits of special forms.

In the first half of this article, we review the Steinberg theory for double flag varieties for symmetric pairs. For a special case of the symmetric space of type AIII, we will consider $ X = GL_{2n}/P_{(n,n)} \times GL_n / B_n^+ \times GL_n / B_n^- $ on which $ K = GL_n \times GL_n $ acts diagonally. We give a classification of $ K $-orbits in $ X $, and explicit combinatorial description of the Steinberg maps. In the latter half, we develop the theory of embedding of a double flag variety into a larger one. This embedding is a powerful tool to study different types of double flag varieties in terms of the known ones. We prove an embedding theorem of orbits in full generality and give an example of type CI which is embedded into type AIII.

Let $G$ be a reductive algebraic group and let $Z$ be the stabilizer of a nilpotent element $e$ of the Lie algebra of $G$. We consider the action of $Z$ on the flag variety of $G$, and we focus on the case where this action has a finite number of orbits (i.e., $Z$ is a spherical subgroup). This holds for instance if $e$ has height $2$. In this case we give a parametrization of the $Z$-orbits and we show that each $Z$-orbit has a structure of algebraic affine bundle. In particular, in type $A$, we deduce that each orbit has a natural cell decomposition. In the aim to study the (strong) Bruhat order of the orbits, we define an abstract partial order on certain quotients associated to a Coxeter system. In type $A$, we show that the Bruhat order of the $Z$-orbits can be described in this way.

For a reductive group $G$, Steinberg established a map from the Weyl group to the set of nilpotent $G$-orbits by using moment maps on double flag varieties. In particular, in the case of the general linear group, it provides a geometric interpretation of the Robinson-Schensted correspondence between permutations and pairs of standard tableaux of the same shape. We extend Steinberg's approach to the case of a symmetric pair $(G,K)$ to obtain two different maps, namely a \emph{generalized Steinberg map} and an \emph{exotic moment map}. Although the framework is general, in this paper we focus on the pair $(G,K) = (\mathrm{GL}_{2n}(\mathbb{C}), \mathrm{GL}_n(\mathbb{C}) \times \mathrm{GL}_n(\mathbb{C}))$. Then the generalized Steinberg map is a map from \emph{partial} permutations to the pairs of nilpotent orbits in $ \mathfrak{gl}_n(\mathbb{C}) $. It involves a generalization of the classical Robinson--Schensted correspondence to the case of partial permutations. The other map, the exotic moment map, establishes a combinatorial map from the set of partial permutations to that of signed Young diagrams, i.e., the set of nilpotent $K$-orbits in the Cartan space $(\mathrm{Lie}(G)/\mathrm{Lie}(K))^* $. We explain the geometric background of the theory and combinatorial algorithms which produce the above mentioned maps.

Let $u\in\mathrm{End}(\mathbb{C}^n)$ be nilpotent. The variety of $u$-stable complete flags is called the Springer fiber over $u$. Its irreducible components are parameterized by a set of standard Young tableaux. The Richardson (resp. Bala-Carter) components of Springer fibers correspond to the Richardson (resp. Bala-Carter) elements of the symmetric group, through Robinson-Schensted correspondence. Every Richardson component is isomorphic to a product of standard flag varieties. On the contrary, the Bala-Carter components are very susceptible to be singular. First, we characterize the singular Bala-Carter components in terms of two minimal forbidden configurations. Next, we introduce two new families of components, wider than the families of Bala-Carter components and Richardson components, and both in duality via the tableau transposition. The components in the first family are characterized by the fact that they have a dense orbit of special type under the action of the stabilizer of $u$, whereas all components in the second family are iterated fiber bundles over projective spaces.

Let $u$ be a nilpotent endomorphism of a finite dimensional $\mathbb{C}$-vector space. The set ${\mathcal F}_u$ of $u$-stable complete flags is a projective algebraic variety called a Springer fiber. Its irreducible components are parameterized by a set of standard tableaux. We provide three characterizations of the singular components of ${\mathcal F}_u$ in the case $u^2=0$. First, we give the combinatorial description of standard tableaux corresponding to singular components. Second, we prove that a component is singular if and only if its Poincaré polynomial is not palindromic. Third, we show that a component is singular when it has too many intersections of codimension one with other components. Finally, relying on the second criterion, we infer that, for $u$ general, whenever ${\mathcal F}_u$ has a singular component, it admits a component whose Poincaré polynomial is not palindromic. This work relies on a previous criterion of singularity for components of ${\mathcal F}_u$ in the case $u^2=0$ by the first author and on the description of the $B$-orbit decomposition of orbital varieties of nilpotent order two by the second author.

We consider the Springer fiber over a nilpotent endomorphism. Fix a Jordan basis and consider the standard torus relative to this. We deal with the problem to describe the flags fixed by the torus which belong to a given component of the Springer fiber. We solve the problem in the hook, two-row and two-column cases. We provide two main characterizations which are common to the three cases, and which involve dominance relations between Young diagrams and combinatorial algorithms. Then, for these three cases, we deduce topological properties of the components and their intersections.

We consider the Springer fiber ${\mathcal B}_u$ corresponding to a nilpotent endomorphism $u$ of nilpotent order 2. As a first result, we give a description of the elements of a given component of ${\mathcal B}_u$ which are fixed by the action of the standard torus relative to some Jordan basis of $u$. By using this result, we establish a necessary and sufficient condition of singularity for the components of ${\mathcal B}_u$.