arXiv subjects

Dinakar Muthiah

Publications and source records attributed to Dinakar Muthiah.

At least 19 recordsLinked to original sources

arXiv2026

Coulomb branches, quantized zastavas, Kac polynomials, and shuffle algebras

We previously constructed closed embeddings of Kac-Moody affine Grassmannian slices using fundamental monopole operators. These spaces are defined via the Braverman-Finkelberg-Nakajima construction of Coulomb branches for quiver gauge theories, and the embeddings do not quantize in general. However, there is variant of the BFN construction that produces zastava spaces, and we show that the closed embeddings do quantize in that case. This allows us to take a limit and construct the limit quantized zastava $\mathcal{A}$ for an arbitrary quiver. This algebra plays the role of the Borel Yangian. We also construct a positive part $\mathcal{A}^+$, which plays the role of the unipotent Yangian. By taking the limit of the monopole formula, we show that both $\mathcal{A}$ and $\mathcal{A}^+$ have Hilbert series given by a version for Hua's formula for Kac polynomials. We also show that $\mathcal{A}^+$ is isomorphic to a certain shuffle algebra. Finally, using these results we obtain a proof of Negut's conjecture on the spherical generation of localized shuffle algebras via the second author's work on generators of Coulomb branches.

math.RT↗

arXiv2025

Completed Iwahori-Hecke algebra for Kac-Moody groups over local fields

Let $G$ be a split Kac-Moody group over a non-Archimedean local field, and let $\mathcal{H}$ be the Iwahori-Hecke algebra of $G$. In this paper, we construct a completed Iwahori-Hecke algebra $\widehat{\mathcal{H}}$ and prove that it contains a large center isomorphic to Looijenga's invariant ring. By the Kac-Moody Satake isomorphism, Looijenga's invariant ring is isomorphic to the spherical Hecke algebra. Our completion is constructed by considering Iwahori biinvariant functions on $G$ satisfying a support condition that we call Weyl almost finite support. We contrast our construction with another completion $\widetilde{\mathcal{H}}$, defined early by Abdellatif and Hébert, which is defined algebraically via the Bernstein-Lusztig presentation and not in terms of functions on $G$.

math.RT↗

arXiv2024

Pursuing Coxeter theory for Kac-Moody affine Hecke algebras

The Kac-Moody affine Hecke algebra $\mathcal{H}$ was first constructed as the Iwahori-Hecke algebra of a $p$-adic Kac-Moody group by work of Braverman, Kazhdan, and Patnaik, and by work of Bardy-Panse, Gaussent, and Rousseau. Since $\mathcal{H}$ has a Bernstein presentation, for affine types it is a positive-level variation of Cherednik's double affine Hecke algebra. Moreover, as $\mathcal{H}$ is realized as a convolution algebra, it has an additional "$T$-basis" corresponding to indicator functions of double cosets. For classical affine Hecke algebras, this $T$-basis reflects the Coxeter group structure of the affine Weyl group. In the Kac-Moody affine context, the indexing set $W_{\mathcal{T}}$ for the $T$-basis is no longer a Coxeter group. Nonetheless, $W_{\mathcal{T}}$ carries some Coxeter-like structures: a Bruhat order, a length function, and a notion of inversion sets. This paper contains the first steps toward a Coxeter theory for Kac-Moody affine Hecke algebras. We prove three results. The first is a construction of the length function via a representation of $\mathcal{H}$. The second concerns the support of products in classical affine Hecke algebras. The third is a characterization of length deficits in the Kac-Moody affine setting via inversion sets. Using this characterization, we phrase our support theorem as a precise conjecture for Kac-Moody affine Hecke algebras. Lastly, we give a conjectural definition of a Kac-Moody affine Demazure product via the $q=0$ specialization of $\mathcal{H}$.

math.RT↗

arXiv2022

Fundamental monopole operators and embeddings of Kac-Moody affine Grassmannian slices

Braverman, Finkelberg, and Nakajima define Kac-Moody affine Grassmannian slices as Coulomb branches of $3d$ $\mathcal{N}=4$ quiver gauge theories and prove that their Coulomb branch construction agrees with the usual loop group definition in finite ADE types. The Coulomb branch construction has good algebraic properties, but its geometry is hard to understand in general. In finite types, an essential geometric feature is that slices embed into one another. We show that these embeddings are compatible with the fundamental monopole operators (FMOs), remarkable regular functions arising from the Coulomb branch construction. Beyond finite type these embeddings were not known, and our second result is to construct them for all symmetric Kac-Moody types. We show that these embeddings respect Poisson structures under a mild "goodness" hypothesis. These results give an affirmative answer to a question posed by Finkelberg in his 2018 ICM address and demonstrate the utility of FMOs in studying the geometry of Kac-Moody affine Grassmannian slices, even in finite types.

math.RT↗

arXiv2019

On a conjecture of Pappas and Rapoport about the standard local model for $GL_d$

In their study of local models of Shimura varieties for totally ramified extensions, Pappas and Rapoport posed a conjecture about the reducedness of a certain subscheme of $n \times n$ matrices. We give a positive answer to their conjecture in full generality. Our main ideas follow naturally from two of our previous works. The first is our proof of a conjecture of Kreiman, Lakshmibai, Magyar, and Weyman on the equations defining type A affine Grassmannians. The second is the work of the first two authors and Kamnitzer on affine Grassmannian slices and their reduced scheme structure. We also present a version of our argument that is almost completely elementary: the only non-elementary ingredient is the Frobenius splitting of Schubert varieties.

math.AG↗

arXiv2019

Double-affine Kazhdan-Lusztig polynomials via masures

Masures (previously also known as hovels) are a generalization of the theory of affine buildings for arbitrary $p$-adic Kac-Moody groups. Gaussent and Rousseau invented masures to compute the Satake transform for $p$-adic Kac-Moody groups. Their answer is given as a sum over Hecke paths, which are certain piecewise linear paths. Guided by their method we give a definition of double affine Kazhdan-Lusztig $R$-polynomials as a sum over piecewise linear paths that we call $I_\infty$-Hecke paths. Remarkably, the notion of $I_\infty$-Hecke path, which arises from masure theoretic considerations, is closely related to chains in the double affine Bruhat order. Our main result is that there are finitely many $I_\infty$-Hecke paths in untwisted affine ADE type. This implies that $R$-polynomials are well-defined in this case. This finiteness result follows from earlier known finiteness results for the double affine Bruhat order. Combined with other results on the double affine Bruhat order, we now have all the ingredients to define double affine Kazhdan-Lusztig $P$-polynomials.

math.RT↗

arXiv2019

Symplectic leaves for generalized affine Grassmannian slices

The generalized affine Grassmannian slices $\overline{\mathcal{W}}_μ^λ$ are algebraic varieties introduced by Braverman, Finkelberg, and Nakajima in their study of Coulomb branches of $3d$ $\mathcal{N}=4$ quiver gauge theories. We prove a conjecture of theirs by showing that the dense open subset $\mathcal{W}_μ^λ\subseteq \overline{\mathcal{W}}_μ^λ$ is smooth. An explicit decomposition of $\overline{\mathcal{W}}_μ^λ$ into symplectic leaves follows as a corollary. Our argument works over an arbitrary ring and in particular implies that the complex points $\mathcal{W}_μ^λ(\mathbb{C})$ are a smooth holomorphic symplectic manifold.

math.RT↗

arXiv2018

Weyl group action on weight zero Mirković-Vilonen basis and equivariant multiplicities

We state a conjecture about the Weyl group action coming from Geometric Satake on zero-weight spaces in terms of equivariant multiplicities of Mirković-Vilonen cycles. We prove it for small coweights in type A. In this case, using work of Braverman, Gaitsgory and Vybornov, we show that the Mirković-Vilonen basis agrees with the Springer basis. We rephrase this in terms of equivariant multiplicities using work of Joseph and Hotta. We also have analogous results for Ginzburg's Lagrangian construction of $\mathfrak{sl}_n$ representations.

math.RT↗

arXiv2018

The equations defining affine Grassmannians in type A and a conjecture of Kreiman, Lakshmibai, Magyar, and Weyman

The affine Grassmannian of $SL_n$ admits an embedding into the Sato Grassmannian, which further admits a Plücker embedding into the projectivization of Fermion Fock space. Kreiman, Lakshmibai, Magyar, and Weyman describe the linear part of the ideal defining this embedding in terms of certain elements of the dual of Fock space called "shuffles", and they conjecture that these elements together with the Plücker relations suffice to cut out the affine Grassmannian. We give a proof of this conjecture in two steps: first we reinterpret the shuffles equations in terms of Frobenius twists of symmetric functions. Using this, we reduce to a finite dimensional-problem, which we solve. For the second step we introduce a finite-dimensional analogue of the affine Grassmannians of $SL_n$, which we conjecture to be precisely the reduced subscheme of a finite-dimensional Grassmannian consisting of subspaces invariant under a nilpotent operator.

math.AG↗

arXiv2018

Correction factors for Kac-Moody groups and $t$-deformed root multiplicities

We study a correction factor for Kac-Moody root systems which arises in the theory of $p$-adic Kac-Moody groups. In affine type, this factor is known, and its explicit computation is the content of the Macdonald constant term conjecture. The data of the correction factor can be encoded as a collection of polynomials $m_λ\in \mathbb{Z}[t]$ indexed by positive imaginary roots $λ$. At $t=0$ these polynomials evaluate to the root multiplicities, so we consider $m_λ$ to be a $t$-deformation of $\mathrm{mult} (λ)$. We generalize the Peterson algorithm and the Berman-Moody formula for root multiplicities to compute $m_λ$. As a consequence we deduce fundamental properties of $m_λ$.

math.RT↗

arXiv2018

Walk algebras, distinguished subexpressions, and point counting in Kac-Moody flag varieties

We study walk algebras and Hecke algebras for Kac-Moody root systems. Each choice of orientation for the set of real roots gives rise to a corresponding "oriented" basis for each of these algebras. We show that the notion of distinguished subexpression naturally arises when studying the transition matrix between oriented bases. We then relate these notions to the geometry of Kac-Moody flag varieties and Bott-Samelson varieties. In particular, we show that the number of points over a finite field in certain intersections of these varieties is given by change of basis coefficients between oriented bases of the Hecke algebra. Using these results we give streamlined derivations of Deodhar's formula for $R$-polynomials and point-counting formulas for specializations of nonsymmetric Macdonald polynomials $E_λ(\mathsf{q},t)$ at $\mathsf{q}=0,\infty$.

math.RT↗

arXiv2016

Reducedness of affine Grassmannian slices in type A

We prove in type A a conjecture which describes the ideal of transversal slices to spherical Schubert varieties in the affine Grassmannian. As a corollary, we prove a modular description (due to Finkelberg-Mirković) of the spherical Schubert varieties.

math.RT↗

arXiv2016

Affine PBW Bases and Affine MV polytopes

We show how affine PBW bases can be used to construct affine MV polytopes, and that the resulting objects agree with the affine MV polytopes recently constructed using either preprojective algebras or KLR algebras. To do this we first generalize work of Beck-Chari-Pressley and Beck-Nakajima to define affine PBW bases for arbitrary convex orders on positive roots. Our results describe how affine PBW bases for different convex orders are related, answering a question posed by Beck and Nakajima.

math.RT↗

arXiv2016

On the double-affine Bruhat order: the $ε=1$ conjecture and classification of covers in ADE type

For any Kac-Moody group $\mathbf{G}$, we prove that the Bruhat order on the semidirect product of the Weyl group and the Tits cone for $\mathbf{G}$ is strictly compatible with a $\mathbb{Z}$-valued length function. We conjecture in general and prove for $\mathbf{G}$ of affine ADE type that the Bruhat order is graded by this length function. We also formulate and discuss conjectures relating the length function to intersections of "double-affine Schubert varieties."

math.RT↗

arXiv2016

On a reducedness conjecture for spherical Schubert varieties and slices in the affine Grassmannian

We study spherical Schubert varieties in the affine Grassmannian. These Schubert varieties have a natural conjectural modular description due to Finkelberg-Mirković. This modular description is easily seen to be set-theoretically correct, but it is not obviously scheme-theoretically correct. We prove that this modular description is correct in many cases. We also link this modular description to the reducedness conjecture from Kamnitzer-Webster-Weekes-Yacobi for tranverse slices in the affine Grassmannian.

math.RT↗

arXiv2016

Whittaker functions and Demazure characters

In this paper, we consider how to express an Iwahori--Whittaker function through Demazure characters. Under some interesting combinatorial conditions, we obtain an explicit formula and thereby a generalization of the Casselman--Shalika formula. Under the same conditions, we compute the transition matrix between two natural bases for the space of Iwahori fixed vectors of an induced representation of a p-adic group; this generalizes a result of Bump--Nakasuji.

math.NT↗

arXiv2015

On Iwahori-Hecke Algebras for p-adic Loop Groups: Double Coset Basis and Bruhat Order

We study the $p$-adic loop group Iwahori-Hecke algebra $\mathcal{H}(G^+,I)$ constructed by Braverman, Kazhdan, and Patnaik and give positive answers to two of their conjectures. First, we algebraically develop the "double coset basis" of $\mathcal{H}(G^+,I)$ given by indicator functions of double cosets. We prove a generalization of the Iwahori-Matsumoto formula, and as a consequence, we prove that the structure coefficients of the double coset basis are polynomials in the order of the residue field. The basis is naturally indexed by a semi-group $\mathcal{W}_\mathcal{T}$ on which Braverman, Kazhdan, and Patnaik define a preorder. Their preorder is a natural generalization of the Bruhat order on affine Weyl groups, and they conjecture that the preorder is a partial order. We define another order on $\mathcal{W}_\mathcal{T}$ which is graded by a length function and is manifestly a partial order. We prove the two definitions coincide, which implies a positive answer to their conjecture. Interestingly, the length function seems to naturally take values in $\mathbb{Z} \oplus \mathbb{Z} \varepsilon$ where $\varepsilon$ is "infinitesimally" small.

math.RT↗

arXiv2012

Affine PBW Bases and MV Polytopes in Rank 2

Mirkovic-Vilonen (MV) polytopes have proven to be a useful tool in understanding and unifying many constructions of crystals for finite-type Kac-Moody algebras. These polytopes arise naturally in many places, including the affine Grassmannian, pre-projective algebras, PBW bases, and KLR algebras. There has recently been progress in extending this theory to the affine Kac-Moody algebras. A definition of MV polytopes in symmetric affine cases has been proposed using pre-projective algebras. In the rank-2 affine cases, a combinatorial definition has also been proposed. Additionally, the theory of PBW bases has been extended to affine cases, and, at least in rank-2, we show that this can also be used to define MV polytopes. The main result of this paper is that these three notions of MV polytope all agree in the relevant rank-2 cases. Our main tool is a new characterization of rank-2 affine MV polytopes.

math.RT↗