Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA transitivity result for ad-nilpotent ideals in type A
62
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The paper considers subspaces of the strictly upper triangular matrices, which are stable under Lie bracket with any upper triangular matrix. These subspaces are called ad-nilpotent ideals and there are Catalan number of such subspaces. Each ad-nilpotent ideal meets a unique largest nilpotent orbit in the Lie algebra of all matrices. The main result of the paper is that under an equivalence relation on ad-nilpotent ideals studied by Mizuno and others, the equivalence classes are the ad-nilpotent ideals with the same largest nilpotent orbit. We include two applications of the result, one to the higher vanishing of cohomology groups of vector bundles on the flag variety and another to the Kazhdan-Lusztig cells in the affine Weyl group of the symmetric group. Finally, some combinatorial results are discussed.
rate research
Read More
We count the number of strictly positive $B$-stable ideals in the nilradical of a Borel subalgebra and prove that the minimal roots of any $B$-stable ideal are conjugate by an element of the Weyl group to a subset of the simple roots. We also compute the number of ideals whose minimal roots are conjugate to a fixed subset of simple roots.
Let G be a simple algebraic group over the complex numbers containing a Borel subgroup B. Given a B-stable ideal I in the nilradical of the Lie algebra of B, we define natural numbers $m_1, m_2, ..., m_k$ which we call ideal exponents. We then propose two conjectures where these exponents arise, proving these conjectures in types A_n, B_n, C_n and some other types. When I is zero, we recover the usual exponents of G by Kostant and one of our conjectures reduces to a well-known factorization of the Poincare polynomial of the Weyl group. The other conjecture reduces to a well-known result of Arnold-Brieskorn on the factorization of the characteristic polynomial of the corresponding Coxeter hyperplane arrangement.
We study the category of representations of $mathfrak{sl}_{m+2n}$ in positive characteristic, whose p-character is a nilpotent whose Jordan type is the two-row partition (m+n,n). In a previous paper with Anno, we used Bezrukavnikov-Mirkovic-Rumynins theory of positive characteristic localization and exotic t-structures to give a geometric parametrization of the simples using annular crossingless matchings. Building on this, here we give combinatorial dimension formulae for the simple objects, and compute the Jordan-Holder multiplicities of the simples inside the baby Vermas (in special case where n=1, i.e. that a subregular nilpotent, these were known from work of Jantzen). We use Cautis-Kamnitzers geometric categorification of the tangle calculus to study the images of the simple objects under the [BMR] equivalence. The dimension formulae may be viewed as a positive characteristic analogue of the combinatorial character formulae for simple objects in parabolic category O for $mathfrak{sl}_{m+2n}$, due to Lascoux and Schutzenberger.
In type A we find equivalences of geometries arising in three settings: Nakajimas (``framed) quiver varieties, conjugacy classes of matrices and loop Grassmannians. These are now all given by explicit formulas. As an application we provide a geometric version of symmetric and skew $(GL(m), GL(n))$ dualities.
Let $i$ be a reduced expression of the longest element in the Weyl group of type $A$, which is adapted to a Dynkin quiver with a single sink. We present a simple description of the crystal embedding of Young tableaux of arbitrary shape into $i$-Lusztig data, which also gives an algorithm for the transition matrix between Lusztig data associated to reduced expressions adapted to quivers with a single sink.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
