Let Q be a Dynkin quiver, and let P(Q) be the corresponding preprojective algebra. Let I be a set of pairwise different indecomposable irreducible components of varieties of P(Q)-modules such that generically there are no extensions between these components. We show that the number of elements in I is at most the number of positive roots of Q. Furthermore, we give a module theoretic interpretation of Leclerc's counterexample to a conjecture of Berenstein and Zelevinsky.
It is known that the set of irreducible components of nilpotent varieties provides a geometric realization of the crystal basis for quantum groups. For each reduced expression of a Weyl group element, Geiß, Leclerc and Schröer has recently given a parametrization of irreducible components of nilpotent varieties in studying cluster algebras. In this paper we show that their parametrization coincides with Lusztig's parametrization of the canonical basis.
We present two methods for computing the rational singular locus of the closure of a nilpotent orbit in a complex semisimple Lie algebra and give a number of interesting examples.
We relate the geometry of Schubert varieties in twisted affine Grassmannian and the nilpotent varieties in symmetric spaces. This extends some results of Achar-Henderson in the twisted setting. We also get some applications to the geometry of the order 2 nilpotent varieties in certain classical symmetric spaces.
We determine which nilpotent orbits in $E_6$ have normal closure and which do not. We also verify a conjecture about small representations in rings of functions on nilpotent orbit covers for type $E_6$.
In the first part of the paper we defined and studied a binary operation on the set of irreducible components of Lusztig's nilpotent varieties of a quiver. For type $A$ we conjecture, following Geiss and Schröer, that this operation is compatible with taking the socle of parabolic induction of representations of general linear groups over a local non-archimedean field, at least when one of the irreducible components is rigid. We verify this conjecture in special cases.
We prove that the nilpotent commuting variety of a reductive Lie algebra over an algebraically closed field of good characteristic is equidimensional. In characteristic zero, this confirms a conjecture of Vladimir Baranovsky. As a by-product, we obtain tat the punctual (local) Hilbert scheme parametrising the ideals of colength $n$ in $k[[X,Y]]$ is irreducible over any algebraically closed field $k$.
We define a binary operation on the set of irreducible components of Lusztig's nilpotent varieties of a quiver. We study commutativity, cancellativity and associativity of this operation. We focus on rigid irreducible components and discuss inductive ways to construct them.
Let U be the unipotent radical of a Borel subgroup of a connected reductive algebraic group G, which is defined over an algebraically closed field k. In this paper, we extend work by Goodwin-Röhrle concerning the commuting variety of Lie(U) for char(k)=0 to fields, whose characteristic is good for G
Let $\mathfrak{g}$ be the $p$-dimensional Witt algebra over an algebraically closed field $k$ of characteristic $p>3$. Let $\mathscr{N}={x\in\ggg\mid x^{[p]}=0}$ be the nilpotent variety of $\mathfrak{g}$, and $\mathscr{C}(\mathscr{N}):=\{(x,y)\in \mathscr{N}\times\mathscr{N}\mid [x,y]=0\}$ the nilpotent commuting variety of $\mathfrak{g}$. As an analogue of Premet's result in the case of classical Lie algebras [A. Premet, Nilpotent commuting varieties of reductive Lie algebras. Invent. Math., 154, 653-683, 2003.], we show that the variety $\mathscr{C}(\mathscr{N})$ is reducible and equidimens…
Generalizing Schubert cells in type A and a cell decomposition if Springer fibres in type A found by L. Fresse we prove that varieties of complete flags in nilpotent representations of an oriented cycle admit an affine cell decomposition parametrized by multi-tableaux. We show that they carry a torus operation and describe the T-equivariant cohomology using Goresky-Kottwitz-MacPherson-theory. As an application of the cell decomposition we obtain a vector space basis of certain modules (for quiver Hecke algebras of nilpotent representations of this quiver), similar modules have been studied by …
For a connected, simply-connected complex simple algebraic group $G$, we examine a class of Hessenberg varieties associated with the minimal nilpotent orbit. In particular, we compute the Poincaré polynomials and irreducible components of these varieties in Lie type $A$. Furthermore, we show these Hessenberg varieties to be GKM with respect to the action of a maximal torus $T\subseteq G$. The corresponding GKM graphs are then explicitly determined. Finally, we present the ordinary and $T$-equivariant cohomology rings of our varieties as quotients of those of the flag variety.
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 …
For a finite group scheme G over an algebraically closed field k of characteristic p>0 we study G-modules M, which are defined in terms of properties of their pull-backs along p-points of G. We show that the corresponding subcategories strongly depend on the structure of G. The second part of the paper discusses recent work by Carlson-Friedlander-Suslin concerning the subcategory of equal images modules from the vantage point of Auslander-Reiten theory.
For the classical groups, Kraft and Procesi have resolved the question of which nilpotent orbits have closures which are normal and which are not, with the exception of the very even orbits in $D_{2l}$ which have partition of the form $(a^{2k}, b^2)$ for $a, b$ distinct even natural numbers with $a k + b = 2 l$. In this article, we show that these orbits do have normal closure.
The paper studies the dimensions of irreducible components of commuting varieties of (restricted) nilpotent $r$-tuples in a classical Lie algebra $\mathfrak{g}$ defined over an algebraically closed field $k$. As applications, we obtain some new results on the structure of the (even) cohomology ring of Frobenius kernels $G_r$ for each $r\ge 1$, where $G$ is the simply connected, simple algebraic group such that $\text{Lie}(G)=\mathfrak{g}$. Explicit calculations for rank two groups are also presented.
Our goal is to classify all generically transitive actions of commutative unipotent groups on flag varieties up to conjugation. We establish relationship between this problem and classification of multiplications with certain properties on Lie algebra representations. Then we classify multiplications with the desired properties and solve the initial classification problem.
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of GL_n(C) on the variety of x-nilpotent complex matrices. We obtain a criterion as to whether the action admits a finite number of orbits and specify a system of representatives for the orbits in the finite case of 2-nilpotent matrices. Furthermore, we give a set-theoretic description of their closures and specify the minimal degenerations in detail for the action of the Borel subgroup. Concerning the action on the nilpotent cone, we obtain a generic normal form of the orbits which yields a U-normal form as well…
In this paper, we compute the character formula of the Brylinski model for all classical nilpotent varieties $\overline{\mathcal{O}}$. As a consequence, one can compute the multiplicities of all $K-$types of the ring of regular functions $R(\overline{\mathcal{O}})$ for all classical nilpotent varieties.
We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of ${\rm GL}_n(\mathbf{C})$ on the variety of $x$-nilpotent complex matrices and translate it to a representation-theoretic context. We obtain a criterion as to whether the action admits a finite number of orbits and specify a system of representatives for the orbits in the finite case of $2$-nilpotent matrices. Furthermore, we give a set-theoretic description of their closures and specify the minimal degenerations in detail for the action of the Borel subgroup. We show that in all non-finite cases, the correspon…
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 th…
The Springer resolution of the nilpotent cone of a semisimple Lie algebra has played an important role in representation theory. The nilpotent cone is equal to Spec R, where R is the ring of regular functions on the nilpotent cone. This paper constructs and studies an analogue of the Springer resolution for the variety Spec S, where S is the ring of regular functions on the universal cover of the regular nilpotent orbit. The construction makes use of the theory of toric varieties. Using this construction, we provide new proofs of results of Broer and of Graham about Spec S. Finally, we show th…
We give a closed expression for the number of points over finite fields (or the motive) of the Lusztig nilpotent variety associated to any quiver, in terms of Kac's A-polynomials. When the quiver has 1-loops or oriented cycles, there are several possible variants of the Lusztig nilpotent variety, and we provide formulas for the point count of each. This involves nilpotent versions of the Kac A-polynomial, which we introduce and for which we give a closed formula similar to Hua's formula for the usual Kac A-polynomial. Finally we compute the number of points over a finite field of the various s…
For any compact and connected Lie group $G$ and any free abelian or free nilpotent group $Γ$ , we determine the cohomology of the path component of the trivial representation of the representation space (character variety) $Rep(Γ,G)_1$, with coefficients in a field $F$ with ${char} (F)$ either 0 or relatively prime to the order of the Weyl group $W$. We give explicit formulas for the Poincaré series. In addition we study $G$-equivariant stable decompositions of subspaces $X(q,G)$ of the free monoid $J(G)$ generated by the Lie group $G$, obtained from finitely generated free nilpotent group rep…
Let R(N,G) be the connected component of the identity of the variety of representations of a finitely generated nilpotent group N into a connected compact Lie group G, and let X(N,G) be the corresponding moduli space. We show that there exists a natural Out(N)-invariant measure on X(N,G) and that whenever Out(N) has at least one hyperbolic element, the action of Out(N) on X(N,G) is mixing with respect to this measure.
We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zero by B. Broer (for all groups)), normality and rational singularities for the subregular nilpotent variety and good filtrations of the global sections of pull backs of line bundles to the cotangent bund…
Let $\mathcal{N}_{\mathfrak{g}^*}$ be the variety of nilpotent elements in the dual of the Lie algebra of a reductive algebraic group over an algebraically closed field. In \cite{Lu2} Lusztig proposes a definition of a partition of $\mathcal{N}_{\mathfrak{g}^*}$ into smooth locally closed subvarieties (which are indexed by the unipotent classes in the corresponding group over complex numbers) and gives explicit results in types $A$, $C$ and $D$. We discuss type $B$ in this note.
Let $\N_n$ be the set of nilpotent $n$ by $n$ matrices over an algebraically closed field $k$. For each $r\ge 2$, let $C_r(\N_n)$ be the variety consisting of all pairwise commuting $r$-tuples of nilpotent matrices. It is well-kown that $C_2(\N_n)$ is irreducible for every $n$. We study in this note the reducibility of $C_r(\N_n)$ for various values of $n$ and $r$. In particular it will be shown that the reducibility of $C_r(\mathfrak{gl}_n)$, the variety of commuting $r$-tuples of $n$ by $n$ matrices, implies that of $C_r(\N_n)$ under certain condition. Then we prove that $C_r(\N_n)$ is reduc…
The main result of this paper is a new parameterization of the orbits of a symmetric subgroup on a partial flag variety. The parameterization is in terms of certain Spaltenstein varieties, on one hand, and certain nilpotent orbits, on the other. One of the motivations is related to enumerating special unipotent representations of real reductive groups. Another motivation is understanding (a portion of) the closure order on the set of nilpotent coadjoint orbits.
We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This le…
Motivated by questions in modular representation theory, Carlson, Friedlander, and the first author introduced the varieties E(r, g) of r-dimensional abelian p-nilpotent subalgebras of a p-restricted Lie algebra g. In this paper, we identify the varieties E(r, g) for a reductive restricted Lie algebra g and r the maximal dimension of an abelian p-nilpotent subalgebra of g.
We show that Spaltenstein varieties of classical groups are pure dimensional when the Jordan type of the nilpotent element involved is an even or odd partition. We further show that they are Lagrangian in the partial resolutions of the associated nilpotent Slodowy slices, from which their dimensions are known to be one half of the dimension of the partial resolution minus the dimension of the nilpotent orbit. The results are then extended to the $σ$-quiver-variety setting.
Let $\mathcal{O}$ be a Richardson nilpotent orbit in a simple Lie algebra $\mathfrak{g}$ over $\mathbb C$, induced from a Levi subalgebra whose simple roots are orthogonal short roots. The main result of the paper is a description of a minimal set of generators of the ideal defining $\overline{ \mathcal{O}}$ in $S \mathfrak{g}^*$. In such cases, the ideal is generated by bases of at most two copies of the representation whose highest weight is the dominant short root, along with some fundamental invariants. This extends Broer's result for the subregular nilpotent orbit. Along the way we give a…
We provide an explicit construction for a complete set of orthogonal primitive idempotents of finite group algebras over nilpotent groups. Furthermore, we give a complete set of matrix units in each simple epimorphic image of a finite group algebra of a nilpotent group.
The aim of our paper is to construct pseudo $H$-type algebras from the covering free nilpotent two-step Lie algebra as the quotient algebra by an ideal. We propose an explicit algorithm of construction of such an ideal by making use of a non-degenerate scalar product. Moreover, as a bypass result, we recover the existence of a rational structure on pseudo $H$-type algebras, which implies the existence of lattices on the corresponding pseudo $H$-type Lie groups. Our approach substantially uses combinatorics and reveals the interplay of pseudo $H$-type algebras with combinatorial and orthogonal …
In this note we investigate the normality of closures of orthogonal and symplectic nilpotent orbits in positive characteristic. We prove that the closure of such a nilpotent orbit is normal provided that neither type d nor type e minimal irreducible degeneration occurs in the closure, and conversely if the closure is normal, then any type e minimal irreducible degeneration does not occur in it. Here, the minimal irreducible degenerations of a nilpotent orbit are introduced by W. Hesselink in [6] (or see [11] from which we take Table 1 for the complete list of all minimal irreducible degenerati…
For local non-archimedean fields $k$ of sufficiently large residual characteristic, we explicitly parametrize and count the rational nilpotent adjoint orbits in each algebraic orbit of orthogonal and special orthogonal groups. We separately give an explicit algorithmic construction for representatives of each orbit. We then, in the general setting of groups $\mathrm{GL}_n(D)$, $\mathrm{SL}_n(D)$ (where $D$ is a central division algebra over $k$) or classical groups, give a new characterisation of the "building set" (defined by DeBacker) of an $\mathfrak{sl}_2(k)$-triple in terms of the buildin…
Let $G$ be a reductive algebraic group scheme defined over $\mathbb{F}_p$ and let $G_1$ denote the Frobenius kernel of $G$. To each finite-dimensional $G$-module $M$, one can define the support variety $V_{G_1}(M)$, which can be regarded as a $G$-stable closed subvariety of the nilpotent cone. A $G$-module is called a tilting module if it has both good and Weyl filtrations. In 1997, it was conjectured by J.E. Humphreys that when $p\geq h$, the support varieties of the indecomposable tilting modules coincide with the nilpotent orbits given by the Lusztig bijection. In this paper, we shall verif…
Consider a complex classical semi-simple Lie group along with the set of its nilpotent coadjoint orbits. When the group is of type A, the set of orbital varieties contained in a given nilpotent orbit is described a set of standard Young tableaux. We parameterize both, the orbital varieties and the irreducible components of unipotent varieties in the other classical groups by sets of standard domino tableaux. The main tools are Spaltenstein's results on signed domino tableaux together with Garfinkle's operations on standard domino tableaux.
We study the anti-commuting variety which consists of pairs of anti-commuting $n\times n$ matrices. We provide an explicit description of its irreducible components and their dimensions. The GIT quotient of the anti-commuting variety with respect to the conjugation action of $GL_n$ is shown to be of pure dimension $n$. We also show the semi-nilpotent anti-commuting variety (in which one matrix is required to be nilpotent) is of pure dimension $n^2$ and describe its irreducible components.
We classify completely prime primitive ideals whose associated varieties are the closure of the minimal nilpotent orbit of $\mathfrak{g}=\mathfrak{sl}(n,\mathbb{C})$, and classify irreducible $(\mathfrak{g},\mathfrak{k})$-modules which have those ideals as annihilators. Moreover, we irreducibly decompose them as $\mathfrak{k}$-modules.
In this paper, we investigate a general method to establish tame and norm relations for special cycles in Shimura varieties, using unitary cycles in odd orthogonal Shimura varieties as a guiding example.
In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (ordinary) $r$-th commuting varieties of $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ for the same range of values of $r$ and $n$. Our principal motivation is the connection between nilpotent commuting variet…
We study closures of conjugacy classes in the symmetric matrices of the orthogonal group and we determine which one are normal varieties. In contrast to the result for the symplectic group where all classes have normal closure, there is only a relatively small portion of classes with normal closure. We perform a combinatorial computation on top of the same methods used by Kraft-Procesi and Ohta.
We prove an explicit formula for the Poincaré polynomials of parabolic character varieties of Riemann surfaces with semisimple local monodromies, which was conjectured by Hausel, Letellier and Rodriguez-Villegas. Using an approach of Mozgovoy and Schiffmann the problem is reduced to counting pairs of a parabolic vector bundles and a nilpotent endomorphism of prescribed generic type. The generating function counting these pairs is shown to be a product of Macdonald polynomials and the function counting pairs without parabolic structure. The modified Macdonald polynomial $\tilde H_λ[X;q,t]$ is i…
We investigate the irreducibility of the nilpotent Slodowy slices that appear as the associated variety of W-algebras. Furthermore, we provide new examples of vertex algebras whose associated variety has finitely many symplectic leaves.
