Table of Contents
Fetching ...

The ABCT Variety $V(3,n)$ is a Positive Geometry

Dawei Shen, Emanuele Ventura

Abstract

The ABCT variety $V(3,n)$ is the image closure of the rational Veronese map from the Grassmannian $\operatorname{Gr}(2,n)$ to the Grassmannian $\operatorname{Gr}(3,n)$. It was studied by Arkani-Hamed--Bourjaily--Cachazo--Trnka in the context of tree-level scattering amplitudes arising in planar $\mathcal N=4$ supersymmetric Yang-Mills theory and Witten's twistor string theory. From this perspective, $V(3,n)$ is conjectured to be a positive geometry by Lam. In this paper, we study the combinatorial and algebraic geometry aspects of $V(3,n)$ and its subvarieties induced by iteratively taking analytic boundaries of the totally nonnegative part. We interpret these subvarieties as point configurations on $\mathbb{P}^2$ by the Gelfand-MacPherson correspondence. We construct a top-degree meromorphic form on $V(3,n)$ and show that it is a positive geometry, proving Lam's conjecture.

The ABCT Variety $V(3,n)$ is a Positive Geometry

Abstract

The ABCT variety is the image closure of the rational Veronese map from the Grassmannian to the Grassmannian . It was studied by Arkani-Hamed--Bourjaily--Cachazo--Trnka in the context of tree-level scattering amplitudes arising in planar supersymmetric Yang-Mills theory and Witten's twistor string theory. From this perspective, is conjectured to be a positive geometry by Lam. In this paper, we study the combinatorial and algebraic geometry aspects of and its subvarieties induced by iteratively taking analytic boundaries of the totally nonnegative part. We interpret these subvarieties as point configurations on by the Gelfand-MacPherson correspondence. We construct a top-degree meromorphic form on and show that it is a positive geometry, proving Lam's conjecture.
Paper Structure (26 sections, 45 theorems, 180 equations, 2 figures, 1 table)

This paper contains 26 sections, 45 theorems, 180 equations, 2 figures, 1 table.

Key Result

Theorem 1.1

The following properties of the ABCT variety $V(3,n)$ hold true:

Figures (2)

  • Figure 1:
  • Figure 2:

Theorems & Definitions (129)

  • Theorem 1.1
  • Remark 1.2
  • Definition 2.1: Iterated boundary components
  • Definition 2.2: Residue of a form
  • Example 2.3
  • Definition 2.4: Normal Positive Geometry
  • Remark 2.5
  • Definition 2.6: Total Nonnegativity on Grassmannians
  • Theorem 2.7
  • Example 2.8
  • ...and 119 more