SearcharxivSearch

arXiv subjects

Vasily Krylov

Publications and source records attributed to Vasily Krylov.

18 recordsLinked to original sources

The quantum Hikita conjecture via quasimaps

We propose a refinement of the quantum Hikita conjecture of Kamnitzer, McBreen, and Proudfoot that bridges the representation theory of Coulomb branches with the enumerative geometry of Higgs branches. We also introduce a general framework for proving it, which we carry out for ADE quiver gauge theories with minuscule framings and for the gauge theory corresponding to the Jordan quiver. As an application, we use the resulting quantum Hikita isomorphisms to give a geometric description of graded traces on quantized Coulomb branches.

math.AG

A formula for the $q$-character of functions on the nilpotent cone of some Lie algebra representations

Let $\mathfrak{g}$ be a reductive Lie algebra and $V$ a finite-dimensional $\mathfrak{g}$-representation. When $V$ is the representation of a cyclic quiver with equal dimensions, the representation of a cyclic quiver with two vertices, or a representation of a product of copies of $\mathfrak{sl}_2$ we call an acyclic extended quiver representation of trivial type, we prove a $q$-character formula for the nilpotent cone of $V$ analogous to Hesselink's $q$-character formula of the usual nilpotent cone of $\mathfrak{g}$. We also define a new class of representations we call Hesselink-type representations, for which we make a conjecture in relation to our formula and describe a geometric interpretation.

math.RT

Noncommutative resolutions of affine Schubert varieties in type A and canonical bases

Given a resolution $\widetilde{\mathrm{Gr}}^{\underline{\lambda}} \rightarrow \overline{\mathrm{Gr}}^\lambda$ of an affine Schubert variety for $GL_n$, we define its noncommutative version -- a sheaf of algebras on $\overline{\mathrm{Gr}}^\lambda$, derived equivalent to $\widetilde{\mathrm{Gr}}^{\underline{\lambda}}$ as well as its Steinberg versions in both zero and positive characteristics. This, in particular, allows us to define the perversely-exotic t-structure on the derived category of equivariant coherent sheaves on $\widetilde{\mathrm{Gr}}^{\underline{\lambda}}$, analogously to Bezrukavnikov--Mirkovi\'c in the case of Springer resolution. We study the basis of classes of irreducible objects in the equivariant K-theory, and explicitly identify it with the (parabolic) Kazhdan--Lusztig canonical basis in a certain cell quotient. This allows us to relate it to the canonical basis for the quantum affine group. In the course of the proof, we establish some properties of coherent-constructible equivalences.

math.RT

K-theory of Gieseker variety and type A cyclotomic Hecke algebra

We give an algebraic description of the equivariant K-theory of Gieseker varieties. Our main result identifies the equivariant K-theory of the Gieseker space with the Jucys--Murphy center of the cyclotomic Hecke algebra, over the equivariant K-theory of a point. The construction is inspired by the proof of the Hikita--Nakajima conjecture for Gieseker spaces given by the first and third authors. We discuss consequences for the center of cyclotomic Hecke algebras and for specializations to q=1 and to roots of unity. In particular, we relate K-theory of affine type A quiver varieties with the centers of the corresponding blocks of specialized cyclotomic Hecke algebras. This last result strengthens the correspondences obtained by the second author in earlier work.

math.AG

Slant sums of quiver gauge theories

We define the slant sum of quiver gauge theories, a gluing on the underlying quivers that identifies a gauge vertex with a framing vertex. Under some mild assumptions, we relate torus fixed points on the corresponding Higgs branches, which are Nakajima quiver varieties. Then we prove a ``branching rule" relating the quasimap vertex functions before and after a slant sum and deduce a number of ``factorization" corollaries. Our construction is motivated by a factorization conjecture for the vertex functions of zero-dimensional quiver varieties, which can be approached inductively using the branching rule. In special cases, it also shows that vertex functions can be written as sums over reverse plane partitions, even outside ADE type. We make some conjectures for Coulomb branches reflecting what can be seen on the Higgs side and prove them in ADE type. In particular, we obtain refined character formulas for the so-called ``extremal'' irreducible modules over shifted Yangians. We also study slant sums of Coulomb branches and their quantizations. We observe that for one-dimensional framing, the slant sum of Coulomb branches is the same as the product.

math.RT

Bethe subalgebras in antidominantly shifted Yangians

The loop group $G((z^{-1}))$ of a simple complex Lie group $G$ has a natural Poisson structure. We introduce a natural family of Poisson commutative subalgebras $\overline{\mathbf{B}}(C) \subset \mathcal{O}(G((z^{-1}))$ depending on the parameter $C\in G$ called classical universal Bethe subalgebras. To every antidominant cocharacter $μ$ of the maximal torus $T \subset G$ one can associate the closed Poisson subspace $\mathcal{W}_μ$ of $G((z^{-1}))$ (the Poisson algebra $\mathcal{O}(\mathcal{W}_μ)$ is the classical limit of so-called shifted Yangian $Y_μ(\mathfrak{g})$). We consider the images of $\overline{\mathbf{B}}(C)$ in $\mathcal{O}(\mathcal{W}_μ)$, that we denote by $\overline{B}_μ(C)$, that should be considered as classical versions of (not yet defined in general) Bethe subalgebras in shifted Yangians. For regular $C$ centralizing $μ$, we compute the Poincaré series of these subalgebras. For $\mathfrak{g}=\mathfrak{gl}_n$, we define the natural quantization ${\mathbf{Y}}^{\mathrm{rtt}}(\mathfrak{gl}_n)$ of $\mathcal{O}(\operatorname{Mat}_n((z^{-1}))))$ and universal Bethe subalgebras ${\mathbf{B}}(C) \subset {\mathbf{Y}}^{\mathrm{rtt}}(\mathfrak{gl}_n)$. Using the RTT realization of $Y_μ(\mathfrak{gl}_n)$ (invented by Frassek, Pestun, and Tsymbaliuk), we obtain the natural surjections ${\mathbf{Y}}^{\mathrm{rtt}}(\mathfrak{gl}_n) \twoheadrightarrow Y_μ(\mathfrak{gl}_n)$ which quantize the embedding $\mathcal{W}_μ\subset \operatorname{Mat}_n((z^{-1}))$). Taking the images of ${\mathbf{B}}(C)$ in $Y_μ(\mathfrak{gl}_n)$ we recover Bethe subalgebras $B_μ(C) \subset Y_μ(\mathfrak{gl}_n)$ proposed by Frassek, Pestun and Tsymbaliuk.

math.RT

K-theoretic Hikita conjecture for quiver gauge theories

We study variants of Hikita conjecture for Nakajima quiver varieties and corresponding Coulomb branches. First, we derive the equivariant version of the conjecture from the non-equivariant one for a set of gauge theories. Second, we suggest a variant of the conjecture, with K-theoretic Coulomb branches involved. We show that this version follows from the usual (homological) one for a set of theories. We apply this result to prove the conjecture in finite ADE types. In the course of the proof, we show that appropriate completions of K-theoretic and homological (quantized) Coulomb branches are isomorphic.

math.RT

Around Hikita-Nakajima conjecture for nilpotent orbits and parabolic Slodowy varieties

Let $G$ be a complex reductive algebraic group. In arxiv:2108.03453 Ivan Losev, Lucas mason-Brown and the third-named author suggested a symplectic duality between nilpotent Slodowy slices in $\mathfrak{g}^\vee$ and affinizations of certain $G$-equivariant covers of special nilpotent orbits. In this paper, we study the various versions of Hikita conjecture for this pair. We show that the original statement of the conjecture does not hold for the pairs in question and propose a refined version. We discuss the general approach towards the proof of the refined Hikita conjecture and prove this refined version for the parabolic Slodowy varieties, which includes many of the cases considered in arxiv:2108.03453 and more. Applied to the setting of arxiv:2108.03453, the refined Hikita conjecture explains the importance of special unipotent ideals from the symplectic duality point of view. We also discuss applications of our results. In the appendices, we discuss some classical questions in Lie theory that relate the refined version and the original version. We also explain how one can use our results to simplify some proofs of known results in the literature. As a combinatorial application of our results we observe an interesting relation between the geometry of Springer fibers and left Kazhdan-Lusztig cells in the corresponding Weyl group.

math.RT

Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae (with an appendix by Roman Bezrukavnikov, Vasily Krylov, and Kenta Suzuki)

We extend the techniques in arXiv:2209.08865(1) to the non-simply-laced situation, and calculate explicit special values of parabolic affine inverse Kazhdan-Lusztig polynomials for subregular nilpotent orbits. We thus obtain explicit character formulas for certain irreducible representations of affine Lie algebras. As particular cases, we compute characters of simple vertex algebras $V_{k}(\mathfrak{g})$ for $k=-1,\ldots,-b$, where $b$ is the largest label of the highest short coroot $θ^\vee$. Conjecturally, all ordinary modules over $V_{-b}(\mathfrak{g})$ are covered by our computations. As an application, we obtain the explicit formulas for flavoured Schur indices of rank one Argyres-Douglas 4d SCFTs with flavour symmetry $G_2$ and $B_3$. Our results are proved using the geometry of the Springer resolution. We identify the cell quotient of the anti-spherical module over $\widehat{W}$ corresponding to the subregular cell with a certain one-dimensional extension of a module defined by Lusztig. We describe the canonical basis in this module geometrically and present an explicit description of the corresponding objects in the derived category of equivariant coherent sheaves on the Springer resolution. They correspond to irreducible objects in the heart of a certain $t$-structure that we describe using an equivariant version of the derived McKay correspondence.

math.RT

A geometric realization of the asymptotic affine Hecke algebra

A key tool for the study of an affine Hecke algebra $\mathcal{H}$ is provided by Springer theory of the Langlands dual group via the realization of $\mathcal{H}$ as equivariant $K$-theory of the Steinberg variety. We prove a similar geometric description for Lusztig's asymptotic affine Hecke algebra $J$ identifying it with the sum of equivariant $K$-groups of the squares of ${\mathbb C}^*$-fixed points in the Springer fibers, as conjectured by Qiu and Xi (the same result was also obtained by Oron Popp using different methods). As an application, we give a new geometric proof of Lusztig's parametrization of irreducible representations of $J$. We also reprove Braverman-Kazhdan's spectral description of $J$. As another application, we prove a description of the cocenters of $\mathcal{H}$ and $J$ conjectured by the first author with Braverman, Kazhdan and Varshavsky. The proof is based on a new algebraic description of $J$, which may be of independent interest.

math.RT

Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian and geometric Satake equivalence (with appendix by Dennis Gaitsgory)

Let $G$ be a reductive complex algebraic group. We fix a pair of opposite Borel subgroups and consider the corresponding semiinfinite orbits in the affine Grassmannian $Gr_G$. We prove Simon Schieder's conjecture identifying his bialgebra formed by the top compactly supported cohomology of the intersections of opposite semiinfinite orbits with $U(\check{\mathfrak n})$ (the universal enveloping algebra of the positive nilpotent subalgebra of the Langlands dual Lie algebra $\check{\mathfrak g}$). To this end we construct an action of Schieder bialgebra on the geometric Satake fiber functor. We propose a conjectural construction of Schieder bialgebra for an arbitrary symmetric Kac-Moody Lie algebra in terms of Coulomb branch of the corresponding quiver gauge theory.

math.AG

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

Let $\mathfrak{g}$ be a simple finite dimensional complex Lie algebra and let $\widehat{\mathfrak{g}}$ be the corresponding affine Lie algebra. Kac and Wakimoto observed that in some cases the coefficients in the character formula for a simple highest weight $\widehat{\mathfrak{g}}$-module are either bounded or are given by a linear function of the weight. We explain and generalize this observation using Kazhdan-Lusztig theory, by computing values at $q=1$ of certain (parabolic) affine inverse Kazhdan-Lusztig polynomials. In particular, we obtain explicit character formulas for some $\widehat{\mathfrak{g}}$-modules of negative integer level $k$ when $\mathfrak g$ is of type $D_n$, $E_6$, $E_7$, $E_8$ and $k \geqslant -2, -3, -4, -6$ respectively, as conjectured by Kac and Wakimoto. The calculation relies on the explicit description of the canonical basis in the cell quotient of the anti-spherical module over the affine Hecke algebra corresponding to the subregular cell. We also present an explicit description of the corresponding objects in the derived category of equivariant coherent sheaves on the Springer resolution, they correspond to irreducible objects in the heart of a certain $t$-structure related to the so called non-commutative Springer resolution.

math.RT

Hikita-Nakajima conjecture for the Gieseker variety

Let $\mathfrak{M}_0$ be an affine Nakajima quiver variety, and $\mathcal{M}$ is the corresponding BFN Coulomb branch. Assume that $\mathfrak{M}_0$ can be resolved by the (smooth) Nakajima quiver variety $\mathfrak{M}$. The Hikita-Nakajima conjecture claims that there should be an isomorphism of (graded) algebras $H^*_{S}(\mathfrak{M},\mathbb{C}) \simeq \mathbb{C}[\mathcal{M}_{\mathfrak{s}}^{\mathbb{C}^\times}]$, here $S \curvearrowright \mathfrak{M}_0$ is a torus acting on $\mathfrak{M}_0$ preserving the Poisson structure, $\mathcal{M}_{\mathfrak{s}}$ is the (Poisson) deformation of $\mathcal{M}$ over $\mathfrak{s}=\operatorname{Lie} (S)$, $\mathbb{C}^\times$ is a generic one-dimensional torus acting on $\mathcal{M}$, and $\mathbb{C}[\mathcal{M}_{\mathfrak{s}}^{\mathbb{C}^\times}]$ is the algebra of schematic $\mathbb{C}^\times$-fixed points of $\mathcal{M}_{\mathfrak{s}}$. We prove the Hikita-Nakajima conjecture for $\mathfrak{M}=\mathfrak{M}(n,r)$ Gieseker variety ($ADHM$ space). We produce the isomorphism explicitly on generators. We also describe the Hikita-Nakajima isomorphism above using the realization of $\mathcal{M}_{\mathfrak{s}}$ as the spectrum of the center of rational Cherednik algebra corresponding to $S_n \ltimes (\mathbb{Z}/r\mathbb{Z})^n$ and identify all the algebras that appear in the isomorphism with the center of degenerate cyclotomic Hecke algebra (generalizing some results of Shan, Varagnolo, and Vasserot).

math.RT

Bethe subalgebras in Yangians and Kirillov-Reshetikhin crystals

Let $\mathfrak{g}$ be a complex simple finite dimensional Lie algebra and $G$ be the adjoint Lie group with the Lie algebra $\mathfrak{g}$. To every $C \in G$ one can associate a commutative subalgebra $B(C)$ in the Yangian $Y(\mathfrak{g})$, which is responsible for the integrals of the (generalized) $XXX$ Heisenberg magnet chain. Using the approach of arXiv:1708.05105, we construct a natural structure of affine crystals on spectra of $B(C)$ in Kirillov-Reshetikhin $Y(\mathfrak{g})$-modules in type $A$. We conjecture that such a construction exists for arbitrary $\mathfrak{g}$ and gives Kirillov-Reshetikhin crystals. Our main technical tool is the degeneration of Bethe subalgebras in the Yangian to commutative subalgebras $\mathcal{A}_χ^{\mathrm{u}}$ in the universal enveloping of the current Lie algebra, $U(\mathfrak{g}[t])$, which depend on the parameter $χ$ from the Lie algebra $\mathfrak{g}$ (and are of independent interest). We show that these subalgebras come from the Feigin-Frenkel center on the critical level as described by Feigin, Frenkel and Toledano Laredo in arXiv:math/0612798. This allows to prove that our affine crystals in type $A$ are indeed Kirillov-Reshetikhin by reducing to the crystal structure on the spectra of inhomogeneous Gaudin model which is already known (arXiv:1708.05105).

math.RT

Decomposition of Frobenius pushforwards of line bundles on wonderful compactifications

De Concini-Procesi introduced varieties known as wonderful compactifications, which are smooth projective compactifications of semisimple adjoint groups $G$. We study the Frobenius pushforwards of invertible sheaves on the wonderful compactifications, and in particular its decomposition into locally free subsheaves. We give necessary and sufficient conditions for a specific line bundle to be a direct summand of the Frobenius pushforward of another line bundle, formulated in terms of the weight lattice of $\widetilde{G}$, the universal cover of $G$ (identified with the Picard group of the wonderful compactification). In the case of $G=\mathsf{PSL}_n$, we offer lower bounds on the multiplicities (as direct summands) for those line bundles satisfying the sufficient conditions. We also decompose Frobenius pushforwards of line bundles into a direct sum of vector subbundles, whose ranks are determined by invariants on the weight lattice of $G$. We study a particular block which decomposes as a direct sum of line bundles, and identify the line bundles which appear in this block. Finally, we present two approaches to compute the class of the Frobenius pushforward of line bundles on wonderful compactifications in the rational Grothendieck group and in the rational Chow group.

math.AG

Almost dominant generalized slices and convolution diagrams over them

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λ}_μ$.

math.RT

Representations with minimal support for quantized Gieseker varieties

We study the minimally supported representations of quantizations of Gieseker moduli spaces. We relate them to $\operatorname{SL}_n$-equivariant D-modules on the nilpotent cone of $\mathfrak{sl}_n$ and to minimally supported representations of type A rational Cherednik algebras. Our main result is character formulas for minimally supported representations of quantized Gieseker moduli spaces.

math.RT

Integrable crystals and restriction to Levi via generalized slices in the affine Grassmannian

Let $G$ be a connected reductive algebraic group over $\mathbb{C}$. Let $Λ^{+}_{G}$ be the monoid of dominant weights of $G$. We construct the integrable crystals $\mathbf{B}^{G}(λ),\ λ\inΛ^{+}_{G}$, using the geometry of generalized transversal slices in the affine Grassmannian of the Langlands dual group. We construct the tensor product maps $\mathbf{p}_{λ_{1},λ_{2}}\colon \mathbf{B}^{G}(λ_{1}) \otimes \mathbf{B}^{G}(λ_{2}) \rightarrow \mathbf{B}^{G}(λ_{1}+λ_{2})\cup\{0\}$ in terms of multiplication of generalized transversal slices. Let $L \subset G$ be a Levi subgroup of $G$. We describe the restriction to Levi $\operatorname{Res}^G_L\colon\operatorname{Rep}(G)\rightarrow\operatorname{Rep}(L)$ in terms of the hyperbolic localization functors for the generalized transversal slices.

math.RT