Search arXivSearch

arXiv · 1804.01467

Schubert Class and cyclotomic nilHecke algebras

Abstract

Let $\ell, n$ be positive integers such that $\ell\geq n$. Let $\mathbb{G}_{n,\ell}$ be the Grassmannian which consists of the set of $n$-dimensional subspaces of $\mathbb{C}^{\ell}$. There is a $\mathbb{Z}$-graded algebra isomorphism between the cohomology $H^*(\mathbb{G}_{n,\ell},\mathbb{Z})$ of $\mathbb{G}_{n,\ell}$ and a natural $\mathbb{Z}$-form $B$ of the $\mathbb{Z}$-graded basic algebra of the type $A$ cyclotomic nilHecke algebra $H_{\ell,n}^{(0)}=\langleψ_1,\cdots,ψ_{n-1},y_1,\cdots,y_n\rangle$. In this paper, we show that the isomorphism can be chosen such that the image of each (geometrically defined) Schubert class $(a_1,\cdots,a_{n})$ coincides with the basis element $b_{\mathbfλ}$ constructed by Jun Hu and Xinfeng Liang by purely algebraic method, where $0\leq a_1\leq a_2\leq\cdots\leq a_{n}\leq \ell-n$ with $a_i\in\mathbb{Z}$ for each $i$, $\mathbfλ$ is the $\ell$-multipartition of $n$ associated to $(\ell+1-(a_{n}+n), \ell+1-(a_{n-1}+n-1),\cdots,\ell+1-(a_1+1))$. A similar correspondence between the Schubert class basis of the cohomology of the Grassmannian $\mathbb{G}_{\ell-n,\ell}$ and the $b_λ$'s basis of the natural $\mathbb{Z}$-form $B$ of the $\mathbb{Z}$-graded basic algebra of $H_{\ell,n}^{(0)}$ is also obtained. As an application, we obtain a second version of Giambelli formula for Schubert classes.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kai Zhou, Jun Hu. 2019-06-16. Schubert Class and cyclotomic nilHecke algebras. https://arxiv.org/abs/1804.01467

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT