Search arXivSearch

arXiv · 1903.08277

Almost dominant generalized slices and convolution diagrams over them

Abstract

Let $G$ be a connected reductive complex algebraic group with a maximal torus $T$. We denote by $Λ$ the cocharacter lattice of $(T,G)$. Let $Λ^+ \subset Λ$ be the submonoid of dominant coweights. For $λ\in Λ^+,\,μ\in Λ,\,μ\leqslant λ$, in arXiv:1604.03625, authors defined a generalized transversal slice $\overline{\mathcal{W}}^λ_μ$. This is an algebraic variety of the dimension $\langle 2ρ^{\vee}, λ-μ\rangle$, where $2ρ^{\vee}$ is the sum of positive roots of $G$. In this paper, we construct an isomorphism $\overline{\mathcal{W}}^λ_μ\simeq \overline{\mathcal{W}}^λ_{μ^+} \times {\mathbb{A}}^{\langle 2ρ^{\vee},\, μ^+-μ\rangle}$ for $μ\in Λ$ such that $\langle α^{\vee},μ\rangle \geqslant -1$ for any positive root $α^{\vee}$, here $μ^+ \in Wμ$ is the dominant representative in the Weyl group orbit of $μ$. We consider the example when $λ$ is minuscule, $μ\in Wλ$ and describe natural coordinates, Poisson structure on $\overline{\mathcal{W}}^λ_μ\simeq {\mathbb{A}}^{\langle 2ρ^\vee,\,λ-μ\rangle}$ and its $T\times {\mathbb{C}}^\times$-character. We apply these results to compute $T \times {\mathbb{C}}^\times$-characters of tangent spaces at fixed points of convolution diagrams $\widetilde{\mathcal{W}}^{\underlineλ}_μ$ with minuscule $λ_i$. We also apply our results to construct open coverings by affine spaces of convolution diagrams $\widetilde{\mathcal{W}}^{\underlineλ}_μ$ over slices with $μ$ such that $\langle α^{\vee},μ\rangle \geqslant -1$ for any positive root $α^{\vee}$ and minuscule $λ_i$ and to compute Poincaré polynomials of such convolution diagrams $\widetilde{\mathcal{W}}^{\underlineλ}_μ$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vasily Krylov, Ivan Perunov. 2021-08-09. Almost dominant generalized slices and convolution diagrams over them. https://arxiv.org/abs/1903.08277

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