arXiv subjects

Lucas Fresse

Publications and source records attributed to Lucas Fresse.

At least 19 recordsLinked to original sources

arXiv2024

On isomorphisms of ind-varieties of generalized flags

Ind-varieties of generalized flags have been studied for two decades. However, a precise statement of when two such ind-varieties, one or both being possibly ind-varieties of isotropic generalized flags, are isomorphic, has been missing in the literature. Using some recent results on the structure of ind-varieties of generalized flags, we establish a criterion for the existence of an isomorphism as above. Our result claims that, with only two exceptions, isomorphisms of ind-varieties of generalized flags are induced by isomorphisms of respective generalized flags. The exceptional isomorphisms correlate with a well-known result of A. Onishchik from 1963.

math.AG↗

arXiv2023

Overview on the theory of double flag varieties for symmetric pairs

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.

math.RT↗

arXiv2023

Matrix formulas for multiplicities in the spin module

We obtain inductive and enumerative formulas for the multiplicities of the weights of the spin module for the Clifford algebra of a Levi subalgebra in a complex semisimple Lie algebra. Our formulas involve only matrices and tableaux, and our techniques combine linear algebra, Lie theory, and combinatorics. Moreover, this suggests a relationship with complex nilpotent orbits. The case of the special linear Lie algebra $\mathfrak{sl}(n,{\mathbb C})$ is emphasized.

math.RT↗

arXiv2023

On homogeneous spaces for diagonal ind-groups

We study the homogeneous ind-spaces $\mathrm{GL}(\mathbf{s})/\mathbf{P}$ where $\mathrm{GL}(\mathbf{s})$ is a strict diagonal ind-group defined by a supernatural number $\mathbf{s}$ and $\mathbf{P}$ is a parabolic ind-subgroup of $\mathrm{GL}(\mathbf{s})$. We construct an explicit exhaustion of $\mathrm{GL}(\mathbf{s})/\mathbf{P}$ by finite-dimensional partial flag varieties. As an application, we characterize all locally projective $\mathrm{GL}(\infty)$-homogeneous spaces, and some direct products of such spaces, which are $\mathrm{GL}(\mathbf{s})$-homogeneous for a fixed $\mathbf{s}$. The very possibility for a $\mathrm{GL}(\infty)$-homogeneous space to be $\mathrm{GL}(\mathbf{s})$-homogeneous for a strict diagonal ind-group $\mathrm{GL}(\mathbf{s})$ arises from the fact that the automorphism group of a $\mathrm{GL}(\infty)$-homogeneous space is much larger than $\mathrm{GL}(\infty)$.

math.RT↗

arXiv2022

Action of Hecke algebra on the double flag variety of type AIII

Consider a connected reductive algebraic group $ G $ and a symmetric subgroup $ K $. Let $ \mathfrak{X} = K/B_K \times G/P $ be a double flag variety of finite type, where $ B_K $ is a Borel subgroup of $ K $, and $ P $ a parabolic subgroup of $ G $. A general argument shows that the orbit space $ \mathbb{C}\,\mathfrak{X}/K $ inherits a natural action of the Hecke algebra $ \mathscr{H} = \mathscr{H}(K, B_K) $ of double cosets via convolutions. However, to find out the explicit structure of the Hecke module is a quite different problem. In this paper, we determine the explicit action of $ \mathscr{H} $ on $ \mathbb{C}\,\mathfrak{X}/K $ in a combinatorial way using graphs for the double flag variety of type AIII. As a by-product, we also get the description of the representation of the Weyl group on $ \mathbb{C}\,\mathfrak{X}/K $ as a direct sum of induced representations.

math.RT↗

arXiv2021

On generalized Steinberg theory for type AIII

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.

math.RT↗

arXiv2021

Approximation of nilpotent orbits for simple Lie groups

We propose a systematic and topological study of limits $\lim_{ν\to 0^+}G_\mathbb{R}\cdot(νx)$ of continuous families of adjoint orbits for non-compact simple Lie groups. This limit is always a finite union of nilpotent orbits. We describe explicitly these nilpotent orbits in terms of Richardson orbits in the case of hyperbolic semisimple elements. We also show that one can approximate minimal nilpotent orbits or even nilpotent orbits by elliptic semisimple orbits. The special cases of $\mathrm{SL}_n(\mathbb{R})$ and $\mathrm{SU}(p,q)$ are computed in detail.

math.RT↗

arXiv2020

Multiple flag ind-varieties with finitely many orbits

Let $G$ be one of the ind-groups $GL(\infty)$, $O(\infty)$, $Sp(\infty)$, and $P_1,\dots, P_l$ be an arbitrary set of $l$ splitting parabolic subgroups of $G$. We determine all such sets with the property that $G$ acts with finitely many orbits on the ind-variety $X_1\times\dots\times X_l$ where $X_i=G/P_i$. In the case of a finite-dimensional classical linear algebraic group $G$, the analogous problem has been solved in a sequence of papers of Littelmann, Magyar-Weyman-Zelevinsky and Matsuki. An essential difference from the finite-dimensional case is that already for $l=2$, the condition that $G$ acts on $X_1\times X_2$ with finitely many orbits is a rather restrictive condition on the pair $P_1,P_2$. We describe this condition explicitly. Using this result, we tackle the most interesting case where $l=3$, and present the answer in the form of a table. For $l\geq 4$, there always are infinitely many G-orbits on $X_1\times \dots\times X_l$.

math.AG↗

arXiv2020

Orbit embedding for double flag varieties and Steinberg map

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.

math.RT↗

arXiv2020

Parametrization, structure and Bruhat order of certain spherical quotients

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.

math.RT↗

arXiv2019

A generalization of Steinberg theory and an exotic moment map

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.

math.RT↗

arXiv2018

On the existence of smooth orbital varieties in simple Lie algebras

The orbital varieties are the irreducible components of the intersection between a nilpotent orbit and a Borel subalgebra of the Lie algebra of a reductive group. There is a geometric correspondence between orbital varieties and irreducible components of Springer fibers. In type A, a construction due to Richardson implies that every nilpotent orbit contains at least one smooth orbital variety and every Springer fiber contains at least one smooth component. In this paper, we show that this property is also true for the other classical cases. Our proof uses the interpretation of Springer fibers as varieties of isotropic flags and van Leeuwen's parametrization of their components in terms of domino tableaux. In the exceptional cases, smooth orbital varieties do not arise in every nilpotent orbit, as already noted by Spaltenstein. We however give a (non-exhaustive) list of nilpotent orbits which have this property. Our treatment of exceptional cases relies on an induction procedure for orbital varieties, similar to the induction procedure for nilpotent orbits.

math.RT↗

arXiv2017

Orbit Duality in Ind-Varieties of Maximal Generalized Flags

We extend Matsuki duality to arbitrary ind-varieties of maximal generalized flags, in other words, to any homogeneous ind-variety $\mathbf{G}/\mathbf{B}$ for a classical ind-group $\mathbf{G}$ and a splitting Borel ind-subgroup $\mathbf{B}\subset\mathbf{G}$. As a first step, we present an explicit combinatorial version of Matsuki duality in the finite-dimensional case, involving an explicit parametrization of $K$- and $G^0$-orbits on $G/B$. After proving Matsuki duality in the infinite-dimensional case, we give necessary and sufficient conditions on a Borel ind-subgroup $\mathbf{B}\subset\mathbf{G}$ for the existence of open and closed $\mathbf{K}$- and $\mathbf{G}^0$-orbits on $\mathbf{G}/\mathbf{B}$, where $\left(\mathbf{K},\mathbf{G}^0\right)$ is an aligned pair of a symmetric ind-subgroup $\mathbf{K}$ and a real form $\mathbf{G}^0$ of $\mathbf{G}$.

math.AG↗

arXiv2016

On the exotic Grassmannian and its nilpotent variety

Given a decomposition of a vector space $V=V_1\oplus V_2$, the direct product $\mathfrak{X}$ of the projective space $\mathbb{P}(V_1)$ with a Grassmann variety $\mathrm{Gr}_k(V)$ can be viewed as a double flag variety for the symmetric pair $(G,K)=(\mathrm{GL}(V),\mathrm{GL}(V_1)\times\mathrm{GL}(V_2))$. Relying on the conormal variety for the action of $K$ on $\mathfrak{X}$, we show a geometric correspondence between the $K$-orbits of $\mathfrak{X}$ and the $K$-orbits of some appropriate exotic nilpotent cone. We also give a combinatorial interpretation of this correspondence in some special cases. Our construction is inspired by a classical result of Steinberg and by the recent work of Henderson and Trapa for the symmetric pair $(\mathrm{GL}(V),\mathrm{Sp}(V))$.

math.RT↗

arXiv2015

Schubert decompositions for ind-varieties of generalized flags

Let $\mathbf{G}$ be one of the ind-groups $GL(\infty)$, $O(\infty)$, $Sp(\infty)$ and $\mathbf{P}\subset \mathbf{G}$ be a splitting parabolic ind-subgroup. The ind-variety $\mathbf{G}/\mathbf{P}$ has been identified with an ind-variety of generalized flags in the paper "Ind-varieties of generalized flags as homogeneous spaces for classical ind-groups" (Int. Math. Res. Not. 2004, no. 55, 2935--2953) by I. Dimitrov and I. Penkov. In the present paper we define a Schubert cell on $\mathbf{G}/\mathbf{P}$ as a $\mathbf{B}$-orbit on $\mathbf{G}/\mathbf{P}$, where $\mathbf{B}$ is any Borel ind-subgroup of $\mathbf{G}$ which intersects $\mathbf{P}$ in a maximal ind-torus. A significant difference with the finite-dimensional case is that in general $\mathbf{B}$ is not conjugate to an ind-subgroup of $\mathbf{P}$, whence $\mathbf{G}/\mathbf{P}$ admits many non-conjugate Schubert decompositions. We study the basic properties of the Schubert cells, proving in particular that they are usual finite-dimensional cells or are isomorphic to affine ind-spaces. We then define Schubert ind-varieties as closures of Schubert cells and study the smoothness of Schubert ind-varieties. Our approach to Schubert ind-varieties differs from an earlier approach by H. Salmasian in "Direct limits of Schubert varieties and global sections of line bundles" (J. Algebra 320 (2008), 3187--3198).

math.RT↗

arXiv2014

Existence of affine pavings for varieties of partial flags associated to nilpotent elements

The flag variety of a complex reductive linear algebraic group G is by definition the quotient G/B by a Borel subgroup. It can be regarded as the set of Borel subalgebras of Lie(G). Given a nilpotent element e in Lie(G), one calls Springer fiber the subvariety formed by the Borel subalgebras which contain e. Springer fibers have in general a complicated structure (not irreducible, singular). Nevertheless, a theorem by C. De Concini, G. Lusztig, and C. Procesi asserts that, when G is classical, a Springer fiber can always be paved by finitely many subvarieties isomorphic to affine spaces. In this paper, we study varieties generalizing the Springer fibers to the context of partial flag varieties, that is, subvarieties of the quotient G/P by a parabolic subgroup (instead of a Borel subgroup). The main result of the paper is a generalization of De Concini, Lusztig, and Procesi's theorem to this context.

math.RT↗

arXiv2010

On the singularity of some special components of Springer fibers

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.

math.AG↗

arXiv2010

Doubly indexed flag variety and fixed point set of a partial flag variety

We define a variety of doubly indexed flags, this is a smooth, projective variety, and we describe it as an iterated over Grassmannian varieties. On the other hand, we consider the variety of partial flags which are stabilized by a given nilpotent endomorphism. We partition this variety into locally closed subvarieties which are vector bundles over varieties of the aforedmentioned type.

math.AG↗