Search arXivSearch

arXiv · 2411.04636

Mirror symmetry, tropical geometry and representation theory

Abstract

An ideal filling is a combinatorial object introduced by Judd that amounts to expressing a dominant weight $λ$ of $SL_n$ as a rational sum of the positive roots in a canonical way, such that the coefficients satisfy a $\max$ relation. He proved that whenever an ideal filling has integral coefficients it corresponds to a lattice point in the interior of the string polytope which parametrises the canonical basis of the representation with highest weight $λ$. The work of Judd makes use of a construction of string polytopes via the theory of geometric crystals, and involves tropicalising the superpotential of the flag variety $SL_n/B$ in certain `string' coordinates. He shows that each ideal filling relates to a positive critical point of the superpotential over the field of Puiseux series, through a careful analysis of the critical point conditions. In this thesis we give a new interpretation of ideal fillings, together with a parabolic generalisation. For every dominant weight $λ$ of $GL_n$, we also define a new family of polytopes in $\mathbb{R}^{R_+}$, where $R_+$ denotes the positive roots of $GL_n$, with one polytope for each reduced expression of the longest element of the Weyl group. These polytopes are related by piecewise-linear transformations which fix the ideal filling associated to $λ$ as a point in the interior of each of these polytopes. Our main technical tool is a new coordinate system in which to express the superpotential, which we call the `ideal' coordinates. We describe explicit transformations between these coordinates and string coordinates in the $GL_n/B$ case. Finally, we demonstrate a close relation between our new interpretation of ideal fillings and factorisations of Toeplitz matrices into simple root subgroups.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Teresa Lüdenbach. 2024-11-07. Mirror symmetry, tropical geometry and representation theory. https://arxiv.org/abs/2411.04636

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