The Mirković-Vilonen basis and Duistermaat-Heckman measures

DOI10.4310/ACTA.2021.V227.N1.A1MaRDI QIDQ2062996zbMATH OpenFDO

Authors Pierre Baumann, Joel Kamnitzer, Allen Knutson

Publication date 10 January 2022

Published in Acta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.08460

zbMATH Keywords

algebraic groupDuistermaat-Heckman measuregeometric Satake equivalenceLanglands dual groupMirković-Vilonen bases

Mathematics Subject Classification ID

Geometric Langlands program (algebro-geometric aspects) (14D24) Grassmannians, Schubert varieties, flag manifolds (14M15) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Geometric Langlands program: representation-theoretic aspects (22E57)

Abstract: Using the geometric Satake correspondence, the Mirkovic-Vilonen cycles in the affine Grasssmannian give bases for representations of a semisimple group G . We prove that these bases are "perfect", i.e. compatible with the action of the Chevelley generators of the positive half of the Lie algebra g. We compute this action in terms of intersection multiplicities in the affine Grassmannian. We prove that these bases stitch together to a basis for the algebra C[N] of regular functions on the unipotent subgroup. We compute the multiplication in this MV basis using intersection multiplicities in the Beilinson-Drinfeld Grassmannian, thus proving a conjecture of Anderson. In the third part of the paper, we define a map from C[N] to a convolution algebra of measures on the dual of the Cartan subalgebra of g. We characterize this map using the universal centralizer space of G. We prove that the measure associated to an MV basis element equals the Duistermaat-Heckman measure of the corresponding MV cycle. This leads to a proof of a conjecture of Muthiah. Finally, we use the map to measures to compare the MV basis and Lusztig's dual semicanonical basis. We formulate conjectures relating the algebraic invariants of preprojective algebra modules (which underlie the dual semicanonical basis) and geometric invariants of MV cycles. In the appendix, we use these ideas to prove that the MV basis and the dual semicanonical basis do not coincide in SL_6.

Review text

Let \(G\) denote a simple simply connected complex algebraic group, \(B\) a Borel subgroup with unipotent radical \(N\) and \(T\) a maximal torus in \(B\) with Lie algebra \({\mathfrak g}\), \({\mathfrak b}\), \({\mathfrak n}\) and \({\mathfrak t}\) respectively. Let \({\mathbb C}[N]\) be the coordinate ring. Let \(G^{\check{}}\) be the Langlands dual group and let \({\mathcal G}_r=G^{\check{}}((t))/G^{\check{}}t\) denote the affine Grassmanian of this group. Mirkovi\`c and Vilonen introduced a family of cycles in \({\mathcal G}_r\) which induce bases for irreducible representations of \(G\). In the paper under review, the authors study features of the MV bases, such as the biperfectness (Theorems 6.2, 5.4 and 7.11). They obtain a precise relation between MV cycles or bases and certain morphisms involving Duistermaat-Heckman measures and piecewise polynomial measures on \({\mathfrak t}_{\mathbb R}^*\) (Theorem 10.2). As a byproduct, they prove a conjecture of Muthiah on the equivariance with respect to actions of the Weyl group of a certain linear map between the zero-weight space and \({\mathbb C}({\mathfrak t}^*)\).

Recommendations

• Mirković–Vilonen basis in type 𝐴₁
• Mirković-Vilonen cycles and polytopes.
• On Mirković-Vilonen cycles and crystal combinatorics
• Relation between two geometrically defined bases in representations of \(\mathrm{GL}_n\)
• Mirković-Vilonen cycles and polytopes for a symmetric pair

Cited in

(14)

• PBW parametrizations and generalized preprojective algebras
• Equivariant multiplicities via representations of quantum affine algebras
• Generalized orbital varieties for Mirković-Vybornov slices as affinizations of Mirković-Vilonen cycles
• Newton-Okounkov bodies for categories of modules over quiver Hecke algebras
• Mirković–Vilonen basis in type 𝐴₁
• Relation between two geometrically defined bases in representations of \(\mathrm{GL}_n\)
• BFN Springer theory
• Perfect bases in representation theory: three mountains and their springs
• Computing fusion products of MV cycles using the Mirković-Vybornov isomorphism
• Bases of tensor products and geometric Satake correspondence
• Mv polytopes and reduced double Bruhat cells
• Blowup masses of Toda systems corresponding to the Weyl groups
• On Mirković-Vilonen polytopes
• Geometry of canonical bases and mirror symmetry

This page was built for publication: The Mirković-Vilonen basis and Duistermaat-Heckman measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2062996)