The Positive Tropical Grassmannian, the Hypersimplex, and the m = 2 Amplituhedron

DOI10.1093/IMRN/RNAD010MaRDI QIDQ6182573zbMATH OpenOpenAlexFDO

Authors T. Łukowski, Matteo Parisi, Lauren K. Williams

Publication date 25 January 2024

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

Abstract: The study of the moment map from the Grassmannian to the hypersimplex, and the relation between torus orbits and matroid polytopes, dates back to the foundational 1987 work of Gelfand-Goresky-MacPherson-Serganova. On the other hand, the amplituhedron is a very new object, defined by Arkani-Hamed-Trnka in connection with scattering amplitudes in

m a t h c a l N = 4

super Yang-Mills theory. In this paper we discover a striking duality between the moment map

m u : G r_{k + 1, n}^{g e q 0} o D e l t a_{k + 1, n}

from the positive Grassmannian

G r_{k + 1, n}^{g e q 0}

to the hypersimplex, and the amplituhedron map

i l d e Z : G r_{k, n}^{g e q 0} o m a t h c a l A_{n, k, 2} (Z)

from

G r_{k, n}^{g e q 0}

to the

m = 2

amplituhedron. We consider the positroid dissections of both objects, which informally, are subdivisions of

D e l t a_{k + 1, n}

(respectively,

m a t h c a l A_{n, k, 2} (Z)

) into a disjoint union of images of positroid cells of the positive Grassmannian. At first glance,

D e l t a_{k + 1, n}

and

m a t h c a l A_{n, k, 2} (Z)

seem very different - the former is an

(n - 1)

-dimensional polytope, while the latter is a

2 k

-dimensional non-polytopal subset of

G r_{k, k + 2}

. Nevertheless, we conjecture that positroid dissections of

D e l t a_{k + 1, n}

are in bijection with positroid dissections of

m a t h c a l A_{n, k, 2} (Z)

via a map we call T-duality. We prove this conjecture for the (infinite) class of BCFW dissections and give additional experimental evidence. Moreover, we prove that the positive tropical Grassmannian is the secondary fan for the regular positroid subdivisions of the hypersimplex, and propose that it also controls the T-dual positroid subdivisions of the amplituhedron. Along the way, we prove that a matroid polytope is a positroid polytope if and only if all two-dimensional faces are positroid polytopes. Towards the goal of generalizing T-duality for higher

m

, we also define the momentum amplituhedron for any even

m

.

Recommendations

Cited in

(19)

This page was built for publication: The Positive Tropical Grassmannian, the Hypersimplex, and the m = 2 Amplituhedron

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