arXiv++ Combinatorics

The strict definition of positive geometry implies that all maximal residues of its canonical form are $\pm 1$. We observe, however, that the loop integrand of the amplitude in planar $\mathcal{N}=4$ super Yang-Mills has maximal residues not equal to $\pm 1$. We find the reason for this is that deep in the boundary structure of the loop amplituhedron there are geometries which contain internal boundaries: codimension one defects separating two regions of opposite orientation. This phenomenon requires a generalisation of the concept of positive geometry and canonical form to include such internal boundaries and also suggests the utility of a further generalisation to `weighted positive geometries'. We re-examine the deepest cut of $\mathcal{N}=4$ amplitudes in light of this and obtain new all order residues.

We consider amplituhedron-like geometries which are defined in a similar way to the intrinsic definition of the amplituhedron but with non-maximal winding number. We propose that for the cases with minimal number of points the canonical form of these geometries corresponds to the product of parity conjugate amplitudes at tree as well as loop level. The product of amplitudes in superspace lifts to a star product in bosonised superspace which we give a precise definition of. We give an alternative definition of amplituhedron-like geometries, analogous to the original amplituhedron definition, and also a characterisation as a sum over pairs of on-shell diagrams that we use to prove the conjecture at tree level. The union of all amplituhedron-like geometries has a very simple definition given by only physical inequalities. Although such a union does not give a positive geometry, a natural extension of the standard definition of canonical form, the globally oriented canonical form, acts on this union and gives the square of the amplitude.