Abstract:A bstract 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.

Short positive loxodromics in graph products

Total positivity in loop groups II: Chevalley generators

Omega Indices of Strong and Lexicographic Products of Graphs

Positivity, cross-ratios and the Collar Lemma

Strong 1-boundedness, $L^2$-Betti numbers, algebraic soficity, and graph products

On the growth of actions of free products

Infinite graph product of groups I: Geometry of the extension graph

Preprojective roots of Coxeter groups

Basic Loci of Positive Coxeter Type for $GL_n$

Monoid algebras and graph products

Automorphisms of Graph Products of Groups and Acylindrical Hyperbolicity

Lamplighter-like geometry of groups

Lyashko-Looijenga morphisms and submaximal factorisations of a Coxeter element

Positive surface group representations in PO(p,q)

Skolem-Noether for nilpotent products

Growth of products of subsets in finite simple groups

On the Perron root and eigenvectors of a non-negative integer matrix

Demazure Product of Permutations and Hopping

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

Positive geometries and canonical forms