Table of Contents
Fetching ...

Mirror symmetry, tropical geometry and representation theory

Teresa Lüdenbach

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.

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 as a rational sum of the positive roots in a canonical way, such that the coefficients satisfy a 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 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 , we also define a new family of polytopes in , where denotes the positive roots of , 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 case. Finally, we demonstrate a close relation between our new interpretation of ideal fillings and factorisations of Toeplitz matrices into simple root subgroups.

Paper Structure

This paper contains 42 sections, 48 theorems, 474 equations, 55 figures, 2 tables.

Key Result

Proposition 1.4.1

Let $N=\binom{n}{2}$ and recall the definition $u:=\mathbf{x}_{-\mathbf{i}_0}^{\vee}(\boldsymbol{z})$ where Then $t_R = \bar{w}_0d[u]_0\bar{w}_0^{-1}$.

Figures (55)

  • Figure 1: A Gelfand--Tsetlin polytope
  • Figure 2: Ideal filling arrangement for $n=4$
  • Figure 3: Ideal filling in dimension $3$
  • Figure 4: The ansatz arrangement for $\mathbf{i}_0$ in dimension 4
  • Figure 5: The ansatz arrangement for ${\mathbf{i}'_0}^{\mathrm{op}}$ in dimension 4
  • ...and 50 more figures

Theorems & Definitions (134)

  • Example
  • Example 1.3.1: Dimension 3
  • Proposition 1.4.1
  • Lemma 1.4.2
  • proof : Proof of Proposition \ref{['prop form of t_R using d,u']}
  • proof : Proof of Lemma \ref{['lem [(bar w_0u^T)^-1]_0=I']}
  • Corollary 1.4.3
  • proof
  • Theorem 2.0.1
  • Example 2.0.2
  • ...and 124 more