Table of Contents
Fetching ...

The Chirotropical Grassmannian

Dario Antolini, Nick Early

TL;DR

This work defines and studies the chirotropical Grassmannian $\text{Trop}^\chi \text{G}(k,n)$ and the chirotropical Dressian $\text{Dr}^\chi(k,n)$, linking tropical geometry with generalized biadjoint amplitudes. The authors prove $\text{Trop}^\chi \text{G}(3,n) = \text{Dr}^\chi(3,n)$ for $n=6,7,8$, and develop ray-based algorithms to compute these spaces from their rays modulo lineality, enabling complete computations of all $\text{Trop}^\chi \text{G}(3,n)$ for $n=6,7,8$ across all isomorphism classes of chirotopes. They also show each chirotopal configuration space $X^\chi(3,6)$ is diffeomorphic to a polytope and provide canonical logarithmic differential forms, supporting a positive-geometric interpretation. The paper further demonstrates that the equality fails for $(k,n)=(4,8)$, and discusses realizability questions, explicit parameterizations for rank-3 cases, and future directions toward Puiseux real tropicalizations and higher-rank chirotopes.

Abstract

Recent developments in particle physics have revealed deep connections between scattering amplitudes and tropical geometry. From the heart of this relationship emerged the chirotropical Grassmannian $\text{Trop}^χ\text{G}(k,n)$ and the chirotropical Dressian $\text{Dr}^χ(k,n)$, polyhedral fans built from uniform realizable chirotopes that encode the combinatorial structure of Generalized Feynman Diagrams. We prove that $\text{Trop}^χ\text{G}(3,n) = \text{Dr}^χ(3,n)$ for $n = 6,7,8$, and develop algorithms to compute these objects from their rays modulo lineality. Using these algorithms, we compute all chirotropical Grassmannians $\text{Trop}^χ\text{G}(3,n)$ for $n = 6,7,8$ across all isomorphism classes of chirotopes. We prove that each chirotopal configuration space $X^χ(3,6)$ is diffeomorphic to a polytope and propose an associated canonical logarithmic differential form. Finally, we show that the equality between chirotropical Grassmannian and Dressian fails for $(k,n) = (4,8)$.

The Chirotropical Grassmannian

TL;DR

This work defines and studies the chirotropical Grassmannian and the chirotropical Dressian , linking tropical geometry with generalized biadjoint amplitudes. The authors prove for , and develop ray-based algorithms to compute these spaces from their rays modulo lineality, enabling complete computations of all for across all isomorphism classes of chirotopes. They also show each chirotopal configuration space is diffeomorphic to a polytope and provide canonical logarithmic differential forms, supporting a positive-geometric interpretation. The paper further demonstrates that the equality fails for , and discusses realizability questions, explicit parameterizations for rank-3 cases, and future directions toward Puiseux real tropicalizations and higher-rank chirotopes.

Abstract

Recent developments in particle physics have revealed deep connections between scattering amplitudes and tropical geometry. From the heart of this relationship emerged the chirotropical Grassmannian and the chirotropical Dressian , polyhedral fans built from uniform realizable chirotopes that encode the combinatorial structure of Generalized Feynman Diagrams. We prove that for , and develop algorithms to compute these objects from their rays modulo lineality. Using these algorithms, we compute all chirotropical Grassmannians for across all isomorphism classes of chirotopes. We prove that each chirotopal configuration space is diffeomorphic to a polytope and propose an associated canonical logarithmic differential form. Finally, we show that the equality between chirotropical Grassmannian and Dressian fails for .

Paper Structure

This paper contains 9 sections, 11 theorems, 44 equations, 1 figure, 2 algorithms.

Key Result

Theorem 1.1

For $n=6,7,8$ and any uniform realizable chirotope $\chi \in \{\pm1\}^{\binom{n}{3}}$ of rank 3, the chirotropical Dressian is realizable: we have the equality of sets

Figures (1)

  • Figure 1: The octahedral face $F_{L; \{a,b,c,d\}}$ of $\Delta_{k,n}$ and its matroid subdivisions, called 2-splits. The picture on the right is taken by seeing the octahedron from below.

Theorems & Definitions (24)

  • Theorem 1.1
  • Theorem 2.1
  • Definition 2.2: Chirotropical hypersurface
  • Definition 2.3: Dressian and chirotropical Dressian CEZ2024A2
  • Definition 2.4: Chirotropical Grassmannian and moduli space CEZ2024A2
  • Remark 2.5
  • Lemma 3.1
  • proof
  • Theorem 3.2
  • proof
  • ...and 14 more