Grassmannian Geometries for Non-Planar On-Shell Diagrams

TL;DR

This paper extends the geometric understanding of on-shell diagrams from planar to non-planar cases using Grassmannian regions, revealing new structures called pseudo-positive geometries and establishing a complete set of identity moves.

Contribution

It introduces the concept of unions of positive Grassmannians as pseudo-positive geometries for non-planar diagrams and proves the completeness of known identity moves.

Findings

Non-planar on-shell diagrams correspond to unions of positive Grassmannians.

Pseudo-positive geometries are identified for non-planar diagrams.

Complete set of identity moves for MHV diagrams is established.

Abstract

On-shell diagrams are gauge invariant quantities which play an important role in the description of scattering amplitudes. Based on the principles of generalized unitarity, they are given by products of elementary three-point amplitudes where the kinematics of internal on-shell legs are determined by cut conditions. In the ${\cal N}=4$ Super Yang-Mills (SYM) theory, the dual formulation for on-shell diagrams produces the same quantities as canonical forms on the Grassmannian $G(k,n)$. Most of the work in this direction has been devoted to the planar diagrams, which dominate in the large $N$ limit of gauge theories. On the mathematical side, planar on-shell diagrams correspond to cells of the positive Grassmannian $G_+(k,n)$ which have been very extensively studied in the literature in the past 20 years. In this paper, we focus on the non-planar on-shell diagrams which are relevant at finite $N$. In particular, we use the triplet formulation of Maximal-Helicity-Violating (MHV) on-shell diagrams to obtain certain regions in the Grassmannian $G(2,n)$. These regions are unions of positive Grassmannians with different orderings (referred to as oriented regions). We explore the features of these unions, and show that they are pseudo-positive geometries, in contrast to positive geometry of a single oriented region. For all non-planar diagrams which are \emph{internally planar} there always exists a strongly connected geometry, and for those that are \emph{irreducible}, there exists a geometry with no spurious facets. We also prove that the already known identity moves, square and sphere moves, form the complete set of identity moves for all MHV on-shell diagrams.