Let $A_n(K)$ be the Kostant form of $\mathfrak{U}(sl_n^+)$ and $Γ$ the monoid generated by the positive roots of $sl_n$. For each $λ\in Λ(n,r)$ we construct a functor $F_λ$ from the category of finitely generated $Γ$-graded $A_n(K)$-modules to the category of finite dimensional $S^+(n,r)$-modules, with the property that $F_λ$ maps (minimal) projective resolutions of the one-dimensional $A_n(K)$-module $K_{A}$ to (minimal) projective resolutions of the simple $S^+(n,r)$-module $K_λ$.
We give a presentation of Schur algebras (over the rational number field) by generators and relations, in fact a presentation which is compatible with Serre's presentation of the universal enveloping algebra of a simple Lie algebra. In the process we find a new basis for Schur algebras, a truncated form of the usual PBW basis. We also locate the integral Schur algebra within the presented algebra as the analogue of Kostant's Z-form, and show that it has an integral basis which is a truncated version of Kostant's basis.
We classify Borel-Schur algebras having finite representation type. We also de- termine Auslander-Reiten sequences for a large class of simple modules over Borel- Schur algebras. A partial information on the structure of the socles of Borel-Schur algebras is given.
In our previous work arXiv:1306.1770, we found all Borel-Schur algebra of finite representation type. In the present article, we determine which Borel-Schur algebras of infinite representation type are tame, and which are wild.
This paper concerns the solutions of the full Kostant-Toda (f-KT) hierarchy in the Hessenberg form and their reductions to the $\ell$-banded Kostant-Toda ($\ell$-KT) hierarchy. We also study the f-KT hierarchy and the corresponding $\ell$-KT hierarchy on simple Lie algebras of type $A, B$ and $G$ based on root space reductions with proper Chevalley systems. Explicit formulas of the polynomial solutions for the $τ$-functions are also given in terms of the Schur functions and Schur's $Q$-functions.
We continue the development of the homological theory of quantum general linear groups previously considered by the first author. The development is used to transfer information to the representation theory of quantised Schur algebras. The acyclicity of induction from some rank-one modules for quantised Borel-Schur subalgebras is deduced. This is used to prove the exactness of the complexes recently constructed by Boltje and Maisch, giving resolutions of the co-Specht modules for Hecke algebras.
Let $\mathfrak g$ be a complex simple Lie algebra. We classify the parabolic subalgebras $\mathfrak p$ of $\mathfrak g$ such that the nilradical of $\mathfrak p$ has a commutative polarisation. The answer is given in terms of the Kostant cascade. It requires also the notion of an optimal nilradical and some properties of abelian ideals in a Borel subalgebra of $\mathfrak g$. Some invariant-theoretic consequences of the existence of a commutative polarisation are also discussed.
Let $\mathfrak g$ be a complex simple Lie algebra and $\mathfrak b=\mathfrak t\oplus\mathfrak u^+$ a fixed Borel subalgebra. Let $Δ^+$ be the set of positive roots associated with $\mathfrak u^+$ and $\mathcal K\subsetΔ^+$ the Kostant cascade. We elaborate on some constructions related to $\mathcal K$ and applications of $\mathcal K$. This includes the cascade element $x_{\mathcal K}$ in the Cartan subalgebra $\mathfrak t$ and properties of certain objects naturally associated with $\mathcal K$: an abelian ideal of $\mathfrak b$, a nilpotent $G$-orbit in $\mathfrak g$, and an involution of $\m…
We study the center of $U(\mathfrak{n})$, where $\mathfrak{n}$ is the locally nilpotent radical of a splitting Borel subalgebra of a simple complex Lie algebra $\mathfrak{g}=\mathfrak{sl}_{\infty}(\mathbb{C})$, $\mathfrak{so}_{\infty}(\mathbb{C})$, $\mathfrak{sp}_{\infty}(\mathbb{C})$. There are infinitely many isomorphism classes of Lie algebras $\mathfrak{n}$, and we provide explicit generators of the center of $U(\mathfrak{n})$ in all cases. We then fix $\mathfrak{n}$ with "largest possible" center of $U(\mathfrak{n})$ and characterize the centrally generated primitive ideals of $U(\mathfra…
We consider contractions of Lie and Poisson algebras and the behaviour of their centres under contractions. A polynomial Poisson algebra A=K[W] is said to be of Kostant type, if its centre Z(A) is freely generated by homogeneous polynomials F_1,...,F_r such that they give Kostant's regularity criterion on W (d_xF_i are linear independent if and only if the Poisson tensor has the maximal rank at x). If the initial Poisson algebra is of Kostant type and F_i satisfy a certain degree-equality, then the contraction is also of Kostant type. The general result is illustrated by two examples. Both are…
In \cite{FMX19}, it is proved that the convolution algebra of top Borel-Moore homology on Steinberg variety of type $B/C$ realizes $U(sl_n^θ)$, where $sl_{n}^θ$ is the fixed point subalgebra of involution on $sl_n$. So top Borel-Moore homology of the partial Springer's fibers gives the representations of $U(sl_n^θ)$. In this paper, we study these representations using the Schur-Weyl duality and Springer theory.
Let G be a semisimple complex algebraic group with Borel subgroup B and let P be a parabolic subgroup of G. Let T*(G/P) denote the cotangent bundle of G/P. Ranee Brylinski discovered a connection between cohomology of G-equivariant line bundles on T*(G/B) and the so-called Brylinski-Kostant filtration, which describes the action of principal sl_2 triples on G-representations. In this paper we generalize these results to a larger class of sl_2 triples. Along the way we also obtain generalizations of results due to Broer on cohomology of G-equivariant bundles on T*(G/P) for various parabolics P.
Motivated by work of R.M. Green, we obtain a presentation of Schur algebras (both the classical and quantized versions) in terms of generators and relations. The presentation is compatible with the usual presentation of the (quantized or classical) enveloping algebra of gl(n). As a result, we obtain a new ``integral'' basis for Schur algebras which is a subset of Kostant's basis of the integral form of the enveloping algebra (or its q-analogue). Projection onto an appropriate component gives a new "integral" basis and a presentation for the Hecke algebra, compatible with the basis and presenta…
Let g=g_0+g_1 be a Z_2-graded Lie algebra. We study the posets of abelian subalgebras of g_1 which are stable w.r.t. a Borel subalgebra of g_0. In particular, we find out a natural parametrization of maximal elements and dimension formulas for them. We recover as special cases several results of Kostant, Panyushev, Suter.
Let $G$ be a reductive complex algebraic group, $T$ a maximal torus of $G$, $B$ a Borel subgroup of $G$ containing $T$, $Φ$ the root system of $G$ w.r.t. $T$, $W$ the Weyl group of $Φ$. Denote by $\Fo = G/B$ the flag variety, by $X_w$ the Schubert subvariety of $\Fo$ associated with an element $w\in W$, and by $C_w$ the tangent cone to $X_w$ at the point $p = eB$. Then $C_w$ is a subscheme of the tangent space $T_pX_w\subseteq T_p\Fo$. Suppose $w$, $w'$ are distinct involutions in $W$. Using the so-called Kostant--Kumar polynomials, we show that if every irreducible component of $Φ$ is of type…
Let $g$ be a simple Lie algebra and $Ab$ the poset of non-trivial abelian ideals of a fixed Borel subalgebra of $g$. In 2003 (IMRN, no.35, 1889--1913), we constructed a partition of $Ab$ into the subposets $Ab_μ$, parameterised by the long positive roots of $g$, and established some properties of these subposets. In this note, we show that this partition is compatible with intersections, relate it to the Kostant-Peterson parameterisation of abelian ideals and to the centralisers of abelian ideals. We also prove that the poset of positive roots of $g$ is a join-semilattice.
We discuss several topics of homological algebra for the Lie superalgebra osp(1|2n). First we focus on Bott-Kostant cohomology, which yields classical results although the cohomology is not given by the kernel of the Kostant quabla operator. Based on this cohomology we can derive strong Bernstein-Gelfand-Gelfand resolutions for finite dimensional osp(1|2n)-modules. Then we state the Bott-Borel-Weil theorem which follows immediately from the Bott-Kostant cohomology by using the Peter-Weyl theorem for osp(1|2n). Finally we calculate the projective dimension of irreducible and Verma modules in th…
Let $g$ be a simple Lie algebra and $Ab(g)$ the set of Abelian ideals of a Borel subalgebra of $g$. In this note, an interesting connection between $Ab(g)$ and the subsets of the Dynkin diagram of $g$ is discussed. We notice that the number of abelian ideals with $k$ generators equals the number of subsets of the Dynkin diagram with $k$ connected components. For $g$ of type $A_n$ or $C_n$, we provide a combinatorial explanation of this coincidence by constructing a suitable bijection. We also construct another general bijection between $Ab(g)$ and the subsets of the Dynkin diagram, which is ba…
We construct an action of the Hecke monoid on the category of rational modules for the quantum negative Borel subgroup of the quantum general linear group. We also show that this action restricts to the category of polynomial modules for this quantum subgroup and induces an action on the category of modules for quantised Borel-Schur algebras.
The main focus of this paper is Bott-Borel-Weil (BBW) theory for basic classical Lie superalgebras. We take a purely algebraic self-contained approach to the problem. A new element in this study is twisting functors, which we use in particular to prove that the top of the cohomology groups of BBW theory for generic weights is described by the recently introduced star action. We also study the algebra of regular functions, related to BBW theory. Then we introduce a weaker form of genericness, relative to the Borel subalgebra and show that the virtual BGG reciprocity of Gruson and Serganova beco…
Flagged Schur modules generalize the irreducible representations of the general linear group under the action of the Borel subalgebra. Their characters include many important generalizations of Schur polynomials, such as Demazure characters, flagged skew Schur polynomials, and Schubert polynomials. In this paper, we prove the characters of flagged Schur modules can be computed using a simple combinatorial algorithm due to Kohnert if and only if the indexing diagram is northwest. This gives a new proof that characters of flagged Schur modules are nonnegative sums of Demazure characters and give…
Let g be a simple Lie algebra of rank n over C. We show that the n-dimensional abelian ideals of a Borel subalgebra of g are limits of Jordan Lie subalgebras. Combining this with a classical result by Kostant, we show that the g-module spanned by all n-dimensional abelian Lie subalgebras of g is actually spanned by the Jordan Lie subalgebras.
In 1978 Kostant suggested the Whittaker model of the center of the universal enveloping algebra U(g) of a complex simple Lie algebra g. The main result is that the center of U(g) is isomorphic to a commutative subalgebra in U(b), where b is a Borel subalgebra in g. This observation is used in the theory of principal series representations of the corresponding Lie group G and in the proof of complete integrability of the quantum Toda lattice. In this paper we generalize the Kostant's construction to quantum groups. In our construction we use quantum analogues of regular nilpotent elements defin…
Let $\mathrm G / F$ be a reductive split $p$-adic group and let $\mathrm U$ be the unipotent radical of a Borel subgroup. We study the cohomology with trivial $\mathbb Z_p$-coefficients of the profinite nilpotent group $N = \mathrm U(\mathcal O_F)$ and its Lie algebra $\mathfrak n$, by extending a classical result of Kostant to our integral $p$-adic setup. The techniques used are a combination of results from group theory, algebraic groups and homological algebra.
Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for quasi-hereditary algebras: Up to Morita equivalence each such algebra has an exact Borel subalgebra. The category $\mathcal{F}(Δ)$ of modules with standard (Verma, Weyl, \dots) filtration, which is exact, but rarely abelian, will be shown to be equivalent to the category of representations of a directed box. This box is constructed as a quotient of a dg alg…
We establish the submaximal symmetry dimension for Riemannian and Lorentzian conformal structures. The proof is based on enumerating all subalgebras of orthogonal Lie algebras of sufficiently large dimension and verifying if they stabilize a non-zero Weyl tensor up to scale. Our main technical tools include Dynkin's classification of maximal subalgebras in complex simple Lie algebras, a theorem of Mostow, and Kostant's Bott-Borel-Weil theorem.
Given a reductive group G, Kostant and Kumar defined a nil Hecke algebra that may be viewed as a degenerate version of the double affine nil Hecke algebra introduced by Cherednik. In this paper, we construct an isomorphism of the spherical subalgebra of the nil Hecke algebra with a Whittaker type quantum Hamiltonian reduction of the algebra of differential operators on G. This result has an interpretation in terms of the geometric Satake and the Langlands dual group. Specifically, the isomorphism provides a bridge between very differently looking descriptions of equivariant Borel-Moore homolog…
In this paper we study the integral form of the lattice vertex algebra $V_L$. We show that divided powers of general vertex operators preserve the integral lattice spanned by Schur functions indexed by partition-valued functions. We also show that the Garland operators, counterparts of divided powers of Heisenberg elements in affine Lie algebras, also preserve the integral form. These construe analogs of the Kostant $\mathbb Z$-forms for the enveloping algebras of simple Lie algebras and the algebraic affine Lie groups in the situation of the lattice vertex algebras.
We study the centrally generated primitive ideals of $U(\mathfrak{n})$, where $\mathfrak{n}$ is the (locally) nilpotent radical of a (splitting) Borel subalgebra of a simple complex Lie algebra $\mathfrak{g}=\mathfrak{o}_{2n+1}(\mathbb{C})$, $\mathfrak{o}_{2n}(\mathbb{C})$, $\mathfrak{o}_{\infty}(\mathbb{C})$. In the infinite-dimensional setting, there are infinitely many isomorphism classes of Lie algebras $\mathfrak{n}$, and we fix $\mathfrak{n}$ with "largest possible" center of $U(\mathfrak{n})$. We characterize the centrally generated primitive ideals of $U(\mathfrak{n})$ in terms of the …
KLR-Schur algebra of coherent sheaves on the projective line: Tilting and PBW bases
Laboratoire de Mathématiques d’Orsay, Université de Paris-Saclay（巴黎萨克雷大学）；Simion Stoilow Institute of Mathematics, Bucharest（布加勒斯特西蒙·斯托伊洛数学研究所）；Max Planck Institute for Mathematics, Bonn（波恩马克斯·普朗克数学研究所）
Let ${U}_q(sl_2)$ be the quantized enveloping algebra associated to the simple Lie algebra $sl_2$. In this paper, we study the quantum double $D_q$ of the Borel subalgebra ${U}_q((sl_2)^{\leq 0})$ of ${U}_q(sl_2)$. We construct an analogue of Kostant--Lusztig ${Z}[v,v^{-1}]$-form for $D_q$ and show that it is a Hopf subalgebra. We prove that, over an algebraically closed field, every simple $D_q$-module is the pullback of a simple ${U}_q(sl_2)$-module through certain surjection from $D_q$ onto ${U}_q(sl_2)$, and the category of finite dimensional weight $D_q$-modules is equivalent to a direct …
In 1996, Doty, Nakano and Peters defined infinitesimal Schur algebras, combining the approach via polynomial representations with the approach via $G_r T$-modules to representations of the algebraic group $G = \mathrm{GL}_n$. We study analogues of these algebras and their Auslander-Reiten theory for reductive algebraic groups $G$ and Borel subgroups $B$ by considering the categories of polynomial representations of $G_r T$ and $B_r T$ as full subcategories of $\mathrm{mod} \thinspace G_r T$ and $\mathrm{mod}\thinspace B_r T$, respectively. We show that every component $Θ$ of the stable Ausland…
Let $\mathfrak{g}$ be a complex semisimple Lie algebra, $\mathfrak{b}$ be a Borel subalgebra of $\mathfrak{g}$, $\mathfrak{n}$ be the nilradical of $\mathfrak{b}$, and $U(\mathfrak{n})$ be the universal enveloping algebra of $\mathfrak{n}$. We study primitive ideals of $U(\mathfrak{n})$. Almost all primitive ideals are centrally generated, i.e., are generated by their intersections with the center $Z(\mathfrak{n})$ of $U(\mathfrak{n})$. We present an explicit characterization of the centrally generated primitive ideals of $U(\mathfrak{n})$ in terms of the Dixmier map and the Kostant cascade in…
Let G --> G' be an embedding of semisimple complex Lie groups, let B and B' be a pair of nested Borel subgroups, and let f:G/B --> G'/B' be the associated equivariant embedding of flag manifolds. We study the pullbacks of cohomologies of invertible sheaves on G'/B' along the embedding f. Let O' be a G'-equivariant invertible sheaf on G'/B', and let O be its restriction to G/B. Consider the G-equivariant pullback on cohomology p : H(G'/B',O') --> H(G/B,O). The Borel-Weil-Bott theorem implies that the two cohomology spaces above are irreducible modules of G' and G respectively. By Schur's lemma,…
