The search for a theory of the S-Matrix over the past five decades has revealed surprising geometric structures underlying scattering amplitudes ranging from the string worldsheet to the amplituhedron, but these are all geometries in auxiliary spaces as opposed to the kinematical space where amplitudes actually live. Motivated by recent advances providing a reformulation of the amplituhedron and planar N = 4 SYM amplitudes directly in kinematic space, we propose a novel geometric understanding of amplitudes in more general theories. The key idea is to think of amplitudes not as functions, but rather as differential forms on kinematic space. We explore the resulting picture for a wide range of massless theories in general spacetime dimensions. For the bi-adjoint φ 3 scalar theory, we establish a direct connection between its "scattering form" and a classic polytope-the associahedron-known to mathematicians since the 1960's. We find an associahedron living naturally in kinematic space, and the tree level amplitude is simply the "canonical form" associated with this "positive geometry". Fundamental physical properties such as locality and unitarity, as well as novel "soft" limits, are fully determined by the combinatorial geometry of this polytope. Furthermore, the moduli space for the open string worldsheet has also long been recognized as an associahedron. We show that the scattering equations act as a diffeomorphism between the interior of this old "worldsheet associahedron" and the new "kinematic associahedron", providing a geometric interpretation and simple conceptual derivation of the bi-adjoint CHY formula. We also find "scattering forms" on kinematic space for Yang-Mills theory and the Non-linear Sigma Model, which are dual to the fully color-dressed amplitudes despite having no explicit color factors. This is possible due to a remarkable fact-"Color is Kinematics"-whereby kinematic wedge products in the scattering forms satisfy the same Jacobi relations as color factors. Finally, all our scattering forms are well-defined on the projectivized kinematic space, a property which can be seen to provide a geometric origin for color-kinematics duality. arXiv:1711.09102v2 [hep-th]

Recent years have seen a surprising connection between the physics of scattering amplitudes and a class of mathematical objects -the positive Grassmannian, positive loop Grassmannians, tree and loop Amplituhedra -which have been loosely referred to as "positive geometries". The connection between the geometry and physics is provided by a unique differential form canonically determined by the property of having logarithmic singularities (only) on all the boundaries of the space, with residues on each boundary given by the canonical form on that boundary. The structures seen in the physical setting of the Amplituhedron are both rigid and rich enough to motivate an investigation of the notions of "positive geometries" and their associated "canonical forms" as objects of study in their own right, in a more general mathematical setting. In this paper we take the first steps in this direction. We begin by giving a precise definition of positive geometries and canonical forms, and introduce two general methods for finding forms for more complicated positive geometries from simpler ones -via "triangulation" on the one hand, and "push-forward" maps between geometries on the other. We present numerous examples of positive geometries in projective spaces, Grassmannians, and toric, cluster and flag varieties, both for the simplest "simplex-like" geometries and the richer "polytope-like" ones. We also illustrate a number of strategies for computing canonical forms for large classes of positive geometries, ranging from a direct determination exploiting knowledge of zeros and poles, to the use of the general triangulation and push-forward methods, to the representation of the form as volume integrals over dual geometries and contour integrals over auxiliary spaces. These methods yield interesting representations for the canonical forms of wide classes of positive geometries, ranging from the simplest Amplituhedra to new expressions for the volume of arbitrary convex polytopes.

We propose a new diagrammatic formulation of the all-loop scattering amplitudes/Wilson loops in planar N = 4 SYM, dubbed the "momentum-twistor diagrams". These are on-shell-diagrams obtained by gluing trivalent black and white vertices in momentum twistor space, which, in the reduced diagram case, are known to be related to diagrams in the original twistor space. The new diagrams are manifestly Yangian invariant, and they naturally represent factorization and forward-limit contributions in the all-loop BCFW recursion relations in momentum twistor space, in a fashion that is completely different from those in momentum space. We show how to construct and evaluate momentum-twistor diagrams, and how to use them to obtain tree-level amplitudes and loop-level integrands; in particular the latter involve isolated bubble-structures for loop variables arising from forward limits, or the entangled removal of particles. From each diagram, the generalized "boundary measurement" directly gives the C, D matrices, thus a cell in the amplituhedron associated with the amplitude, and we expect that our diagrammatic representations of the amplitude provide triangulations of the amplituhedron. To demonstrate the computational power of the formalism, we give explicit results for general two-loop integrands, and the cells of the amplituhedron for two-loop MHV amplitudes.

All-loop planar scattering amplitudes in maximally supersymmetric Yang-Mills theory can be formulated geometrically in terms of the "amplituhedron". We study the mathematical structures of the one-loop amplituhedron, and present a new formula for its canonical measure, or the one-loop Grassmannian measure formula. Using the recently proposed momentum-twistor diagrams, we show that there is a correspondence between the cells of one-loop amplituhedron, BCFW terms or equivalently on-shell diagrams, and residues of the one-loop Grassmannian formula. In particular, for the first non-trivial case of one-loop NMHV, these structures are naturally associated with a nice geometric picture as polygons in projective space, as we discuss in various illustrative examples.