SearcharxivSearch

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 $\Lambda$ the cocharacter lattice of $(T,G)$. Let $\Lambda^+ \subset \Lambda$ be the submonoid of dominant coweights. For $\lambda \in \Lambda^+,\,\mu \in \Lambda,\,\mu \leqslant \lambda$, in arXiv:1604.03625, authors defined a generalized transversal slice $\overline{\mathcal{W}}^\lambda_\mu$. This is an algebraic variety of the dimension $\langle 2\rho^{\vee}, \lambda-\mu \rangle$, where $2\rho^{\vee}$ is the sum of positive roots of $G$. In this paper, we construct an isomorphism $\overline{\mathcal{W}}^\lambda_\mu \simeq \overline{\mathcal{W}}^\lambda_{\mu^+} \times {\mathbb{A}}^{\langle 2\rho^{\vee},\, \mu^+-\mu\rangle}$ for $\mu \in \Lambda$ such that $\langle \alpha^{\vee},\mu\rangle \geqslant -1$ for any positive root $\alpha^{\vee}$, here $\mu^+ \in W\mu$ is the dominant representative in the Weyl group orbit of $\mu$. We consider the example when $\lambda$ is minuscule, $\mu \in W\lambda$ and describe natural coordinates, Poisson structure on $\overline{\mathcal{W}}^\lambda_\mu \simeq {\mathbb{A}}^{\langle 2\rho^\vee,\,\lambda-\mu \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{\lambda}}_\mu$ with minuscule $\lambda_i$. We also apply our results to construct open coverings by affine spaces of convolution diagrams $\widetilde{\mathcal{W}}^{\underline{\lambda}}_\mu$ over slices with $\mu$ such that $\langle \alpha^{\vee},\mu\rangle \geqslant -1$ for any positive root $\alpha^{\vee}$ and minuscule $\lambda_i$ and to compute Poincar\'e polynomials of such convolution diagrams $\widetilde{\mathcal{W}}^{\underline{\lambda}}_{\mu}$.

Explore related subjects

Keep this discovery

BibTeXRIS

Vasily Krylov, Ivan Perunov. 2019-03-19. 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

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT