Amplituhedron Forms in Scattering Theory

• Amplituhedron forms are unique differential forms defined on positive geometries with logarithmic singularities that encode scattering amplitudes in planar N=4 SYM theory.
• They generalize polytope canonical forms and integrate combinatorial, algebraic, and cluster structures from the Grassmannian to reveal new insights in quantum field theory.
• Their computation employs contour integral representations and the Jeffrey–Kirwan residue technique, linking geometry and scattering amplitudes through innovative triangulations.

The amplituhedron form is the unique differential form with logarithmic singularities on the boundaries of the amplituhedron, a positive geometry encoding scattering amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory and its generalizations. Amplituhedron forms generalize polytope canonical forms, are intimately connected to combinatorial and algebraic constructions on the Grassmannian, and exhibit remarkable features such as positivity, cluster structure, and invariance under duality transformations. Their construction and properties reveal deep links between geometry, combinatorics, and quantum field theory.

1. Definition and Construction of Amplituhedron Forms

The amplituhedron $\mathcal{A}_{n,k}^{(m)}$ is defined as the image of the positive Grassmannian $G_+(k,n)$ under a linear map specified by an $n\times(k+m)$ matrix $Z$ with all maximal minors positive. Explicitly, $\mathcal{A}_{n,k}^{(m)}$ is the set of $Y\in G(k,k+m)$ such that $Y = C Z$ for $C\in G_+(k,n)$, i.e.,

$$\mathcal{A}_{n,k}^{(m)} = \{ Y \in G(k,k+m) \mid Y_{\alpha}^A = \sum_{i=1}^n C_{\alpha i} Z_i^A,\; C \in G_+(k,n) \}.$$

On any positive geometry $\mathcal{A}_{n,k}^{(m)}$0 (such as the amplituhedron), there exists a unique top-form $\mathcal{A}_{n,k}^{(m)}$1 with logarithmic singularities on all boundaries and no other singularities (Ferro et al., 2018). For $\mathcal{A}_{n,k}^{(m)}$2, this canonical form is constructed as

$\mathcal{A}_{n,k}^{(m)}$3

where $\mathcal{A}_{n,k}^{(m)}$4 is the scalar "volume function."

One practical representation for $\mathcal{A}_{n,k}^{(m)}$5 is as a multidimensional contour integral over the $\mathcal{A}_{n,k}^{(m)}$6 variables:

$\mathcal{A}_{n,k}^{(m)}$7

Upon integrating out the delta functions, the integrand reduces to a rational form in $\mathcal{A}_{n,k}^{(m)}$8 variables,

$\mathcal{A}_{n,k}^{(m)}$9

with affine-linear denominators $G_+(k,n)$0 determined by minors of $G_+(k,n)$1 or the $G_+(k,n)$2 themselves (Ferro et al., 2018).

2. The Jeffrey-Kirwan Residue and Canonical Forms

A crucial tool for extracting the amplitude form from the rational representation above is the Jeffrey–Kirwan (JK) residue prescription. Given a rational form with linear denominators, and a set of associated "charge" covectors $G_+(k,n)$3, the JK residue selects a summation over residues indexed by bases $G_+(k,n)$4 of the charge set, weighted by the inclusion of a chamber vector $G_+(k,n)$5 in the simplicial cones $G_+(k,n)$6:

$G_+(k,n)$7

Applying the JK residue to the post-delta rational form $G_+(k,n)$8 gives the amplituhedron canonical form:

$G_+(k,n)$9

Distinct choices of chamber vector $n\times(k+m)$0 correspond to different triangulations of the amplituhedron, each encoding a particular sum-of-residues representation for the form (Ferro et al., 2018, Mohammadi et al., 2020).

3. Examples and Explicit Expressions

For $n\times(k+m)$1 (cyclic polytopes), the JK framework reproduces the familiar bracket expressions:

$n\times(k+m)$2

and the canonical forms are sums over such brackets according to the triangulation (e.g., for $n\times(k+m)$3, $n\times(k+m)$4).

For their even-$n\times(k+m)$5 conjugates $n\times(k+m)$6, analogous formulas involving "conjugate brackets" are derived (Ferro et al., 2018).

By combinatorial duality, the set of chambers in the charge configuration is in bijection with regular triangulations, governed by the secondary polytope structure—including bistellar flips mapping between triangulations.

4. Cluster Structure and Tile Decomposition

In the $n\times(k+m)$7 amplituhedron, each top-dimensional cell (tile) resulting from a positroid cell $n\times(k+m)$8 corresponds to a region where the amplituhedron map is injective. Each such BCFW tile, as well as certain non-BCFW tiles (notably the "spurion" tile in $n\times(k+m)$9), realizes a positive part of a cluster variety in $Z$0 (Even-Zohar et al., 2024). Each tile is coordinatized by cluster variables $Z$1, and the tile form is

$Z$2

The full amplituhedron canonical form is assembled as a sum over tile forms,

$Z$3

with the independence from tile decomposition guaranteed by bistellar moves (tile-flips) (Even-Zohar et al., 2024).

This structure reveals a direct connection to cluster algebras, with each tile and its facets associated to a cluster seed and cluster-adjacent variables.

5. Triangulation, Chambers, and Secondary Polytope

The triangulation problem for amplituhedra (and forms) is dual to the chamber decomposition of the relevant vector configuration of charges appearing in the JK residue. Each chamber picks out a set of poles corresponding to a triangulation; adjacent chambers (sharing a facet) are related by bistellar flips, forming the 1-skeleton of the secondary polytope (Ferro et al., 2018, Mohammadi et al., 2020).

This combinatorial perspective is valid for both polytopal and genuinely Grassmannian positive geometries. In amplituhedron cases conjugate to polytopes $Z$4, the fibers are cut by hyperplane arrangements and the canonical forms are computed directly by JK residue on the linear fiber.

6. Duality, Parity, and Global Residue Theorems

Parity duality relates amplituhedron forms for $Z$5 and $Z$6, with the twist map of Marsh and Scott preserving canonical forms under this exchange (Galashin et al., 2018). Explicitly, for even $Z$7, there is a duality

$Z$8

where $Z$9 is the dual external data. Triangulations and their duals correspond under inversion of affine permutations indexing positroid cells, and the forms transform accordingly.

Flip identities (global residue theorems) among bracket building blocks (e.g., the 4-term and 6-term relations for $\mathcal{A}_{n,k}^{(m)}$0) are direct consequences of the global residue theorem applied to the canonical rational form, expressing different triangulations' equivalence (Ferro et al., 2018).

7. Broader Implications and Extensions

Amplituhedron forms realize quantum field theory amplitudes as positive canonical forms on positive geometries, generalizing the geometry of polytopes (cyclic polytopes, hypersimplices) to Grassmannian and cluster algebra settings. Their computation encompasses JK-residue techniques, cluster variable expressions, and combinatorial triangulation theory.

In physical applications, e.g., planar $\mathcal{A}_{n,k}^{(m)}$1 SYM, the amplitude is realized as

$\mathcal{A}_{n,k}^{(m)}$2

expressing both locality (logarithmic singularities on physical boundaries) and unitarity (factorization properties appear as residues of the form on the appropriate codimension-one boundaries).

Further research explores forms for amplituhedron-like geometries with modified winding conditions, loop-level extensions, and the interplay with parity conjugation and cluster adjacency. These forms also offer a geometric origin for the "dlog" structure observed in perturbative scattering amplitudes, illuminate the structure of positive geometries beyond the field of polytopes, and continue to drive new developments in the understanding of high-dimensional positive geometry and the algebraic structures underlying scattering in gauge theory (Dian et al., 2021, Mohammadi et al., 2020, Even-Zohar et al., 2024).