Search

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., Comment: 51 pages, 3 figures. Minor modifications. Accepted in the International Mathematics Research Notices

We present a criterion for establishing Morita equivalence of monoidal categories, and apply it to the categorical representation theory of reductive groups $G$. We show that the "de Rham group algebra" $\mathcal D(G)$ (the monoidal category of $\mathcal D$-modules on $G$) is Morita equivalent to the universal Hecke category $\mathcal D(N \backslash G/N)$ and to its monodromic variant $\widetilde{\mathcal D}(B \backslash G / B)$. In other words, de Rham $G$-categories, i.e., module categories for $\mathcal D(G)$, satisfy a "highest weight theorem" - they all appear in the decomposition of the universal principal series representation $\mathcal D(G/N)$ or in twisted $\mathcal D$-modules on the flag variety $\widetilde{\mathcal D}(G/B)$, 11 pages

We study the category of finite--dimensional representations for a basic classical Lie superalgebra $\Lg=\Lg_0\oplus \Lg_1$. For the ortho--symplectic Lie superalgebra $\Lg=\mathfrak{osp}(1,2n)$ we show that certain objects in that category admit a fusion flag, i.e. a sequence of graded $\Lg_0[t]$--modules such that the successive quotients are isomorphic to fusion products. Among these objects we find fusion products of finite--dimensional irreducible $\Lg$--modules, truncated Weyl modules and Demazure type modules. Moreover, we establish a presentation for these types of fusion products in terms of generators and relations of the enveloping algebra.

Let $G$ be a connected complex semisimple Lie group. Webster and Yakimov have constructed partitions of the double flag variety $G/B \times G/B_-$ , where $(B, B_-)$ is a pair of opposite Borel subgroups of $G$ , generalizing the Deodhar decompositions of $G/B$ . We show that these partitions can be better understood by constructing cell decompositions of a product of two Bott–Samelson varieties $Z_{ {\bf u}, {\bf v} }$ , where $ {\bf u}$ and $ {\bf v}$ are sequences of simple reflections. We construct coordinates on each cell of the decompositions and in the case of a positive subexpression, we relate these coordinates to regular functions on a particular open subset of $Z_{ {\bf u}, {\bf v} }$ . Our motivation for constructing cell decompositions of $Z_{ {\bf u}, {\bf v} }$ was to study a certain natural Poisson structure on $Z_{ {\bf u}, {\bf v} }$ .

We show that the Okounkov body of a big divisor with finitely generated section ring is a rational simplex, for an appropriate choice of flag; furthermore, when the ambient variety is a surface, the same holds for every big divisor. Under somewhat more restrictive hypotheses, we also show that the corresponding semigroup is finitely generated., 9 pages; v2 includes a stronger result in the surface case

Let $X^v_w$ be a Richardson variety in the full flag variety $X$ associated to a symmetrizable Kac-Moody group $G$. Recall that $X^v_w$ is the intersection of the finite dimensional Schubert variety $X_w$ with the finite codimensional opposite Schubert variety $X^v$. We give an explicit $\bQ$-divisor $\Delta$ on $X^v_w$ and prove that the pair $(X^v_w, \Delta)$ has Kawamata log terminal singularities. In fact, $-K_{X^v_w} - \Delta$ is ample, which additionally proves that $(X^v_w, \Delta)$ is log Fano. We first give a proof of our result in the finite case (i.e., in the case when $G$ is a finite dimensional semisimple group) by a careful analysis of an explicit resolution of singularities of $X^v_w$ (similar to the BSDH resolution of the Schubert varieties). In the general Kac-Moody case, in the absence of an explicit resolution of $X^v_w$ as above, we give a proof that relies on the Frobenius splitting methods. In particular, we use Mathieu's result asserting that the Richardson varieties are Frobenius split, and combine it with a result of N. Hara and K.-I. Watanabe relating Frobenius splittings with log canonical singularities., Comment: 15 pages, improved exposition and explanation. To appear in the International Mathematics Research Notices

We calculate, in a relatively explicit way, the Hamiltonian systems which arise from the Evens-Lu construction of homogeneous Poisson structures on both compact and noncompact type symmetric spaces. A corollary is that the Hamiltonian system arising in the noncompact case is isomorphic to the generic Hamiltonian system arising in the compact case. In the group case these systems are also isomorphic to those arising from the Bruhat Poisson structure on the flag space, and hence, by results of Lu, can be completely factored., Comment: 28 pages, substantially revised exposition, corrected proof of Thm 2.1

Fomin and Kirillov initiated a line of research into the realization of the cohomology and K-theory of generalized flag varieties G/B as commutative subalgebras of certain noncommutative algebras. This approach has several advantages, which we discuss. This paper contains the most comprehensive result in a series of papers related to the mentioned line of research. More precisely, we give a model for the T -equivariant K-theory of a generalized flag variety KT (G/B) in terms of a certain braided Hopf algebra called the Nichols-Woronowicz algebra. Our model is based on the Chevalley-type multiplication formula for KT (G/B) due to the first author and Postnikov; this formula is stated using certain operators defined in terms of so-called alcove paths (and the corresponding affine Weyl group). Our model is derived using a type-independent and concise approach. Dedicated to Professor Kenji Ueno on the occasion of his sixtieth birthday

For any Lie algebra of classical type or type $G_2$ we define a $K$-theoretic analog of Dunkl's elements, the so-called truncated {\it Ruijsenaars-Schneider-Macdonald elements}, $RSM$-elements for short, in the corresponding {\it Yang-Baxter group}, which form a commuting family of elements in the latter. For the root systems of type $A$ we prove that the subalgebra of the {\it bracket algebra} generated by the RSM-elements is isomorphic to the Grothendieck ring of the flag variety. In general, we prove that the subalgebra generated by the {\it images} of the RSM-elements in the corresponding {\it Nichols-Woronowicz algebra} is canonically isomorphic to the Grothendieck ring of the corresponding flag varieties of classical type or of type $G_2$. In other words, we construct the ``Nichols-Woronowicz algebra model'' for the Grothendieck Calculus on Weyl groups of classical type or type $G_2,$ providing a partial generalization of some recent results by Y. Bazlov. We also give a conjectural description (theorem for type $A$) of a commutative subalgebra generated by the {\it truncated RSM-elements} in the bracket algebra for the classical root systems. Our results provide a proof and generalizations of recent conjecture and result by C. Lenart and A. Yong for the root system of type $A$.

A complete classification and character formulas for finite-dimensional irreducible representations of the rational Cherednik algebra of type A is given. Less complete results for other types are obtained. Links to the geometry of affine flag manifolds and Hilbert schemes are discussed.