--- title: Amplituhedron Forms in Scattering Theory url: https://www.emergentmind.com/topics/amplituhedron-forms type: topic --- # Amplituhedron Forms in Scattering Theory 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 $X$ (such as the amplituhedron), there exists a unique top-form $\Omega(X)$ with logarithmic singularities on all boundaries and no other singularities [1805.01301]. For $\mathcal{A}_{n,k}^{(m)}$, this canonical form is constructed as $$ \mathbf{\Omega}_{n,k}^{(m)} = \left( \prod_{\alpha=1}^k \langle Y_1 \cdots Y_k\, d^m Y_\alpha \rangle \right) \Omega_{n,k}^{(m)}(Y,Z), $$ where $\Omega_{n,k}^{(m)}(Y,Z)$ is the scalar "volume function." One practical representation for $\Omega_{n,k}^{(m)}$ is as a multidimensional contour integral over the $C$ variables: $$ \Omega_{n,k}^{(m)}(Y,Z) = \int_\gamma \frac{d^{k n} C}{(1\,2\cdots k)\cdots(n\,1\cdots k{-}1)} \prod_{\alpha=1}^k \delta^{m+k}\big(Y_\alpha^A - \sum_{i=1}^n C_{\alpha i} Z_i^A\big). $$ Upon integrating out the delta functions, the integrand reduces to a rational form in $N = n-k-m$ variables, $$ \omega(x) = \frac{dx_1\wedge\cdots\wedge dx_N}{\prod_{i=1}^n \beta_i(x)}, $$ with affine-linear denominators $\beta_i(x)$ determined by minors of $C(x)$ or the $x_i$ themselves [1805.01301]. ## 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 $\{\beta_i\}$, the JK residue selects a summation over residues indexed by bases $A$ of the charge set, weighted by the inclusion of a chamber vector $\eta$ in the simplicial cones $\mathrm{Cone}_A$: $$ \mathrm{JKRes}^{B,\eta}\,\omega = \sum_{A\in\mathcal B(B)} \left[ \mathbf{1}_{\eta\in \mathrm{Cone}_A} \frac1{|\det(\beta_{i_1},\dots,\beta_{i_r})|} \frac1{\prod_{j\notin A} \beta_j(x_A)} \right]. $$ Applying the JK residue to the post-delta rational form $\omega_{n,k}^{(m)}$ gives the amplituhedron canonical form: $$ \Omega_{n,k}^{(m)}(Y,Z) = \mathrm{JKRes}^{B,\eta}\, \omega_{n,k}^{(m)}. $$ Distinct choices of chamber vector $\eta$ correspond to different triangulations of the amplituhedron, each encoding a particular sum-of-residues representation for the form [1805.01301, 2010.07254]. ## 3. Examples and Explicit Expressions For $k=1$ (cyclic polytopes), the JK framework reproduces the familiar bracket expressions: $$ [i_1\,i_2\cdots i_{m+1}] = \frac{\langle i_1\cdots i_{m+1}\rangle^m} {\langle Y i_1\cdots i_m\rangle \cdots \langle Y i_{m+1} i_1\cdots i_{m-1}\rangle}, $$ and the canonical forms are sums over such brackets according to the triangulation (e.g., for $m=4$, $\Omega_{n,1}^{(4)} = \sum_{i