Positive geometries and canonical forms
- 135 Downloads
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.
KeywordsDifferential and Algebraic Geometry Scattering Amplitudes Supersymmetric Gauge Theory
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
- G. Lusztig, Total positivity in reductive groups, in Lie theory and geometry, Birkhäuser Boston U.S.A., (1994), pg. 531.Google Scholar
- R. Hartshorne, Algebraic geometry, Springer Science & Business Media 52, Springer U.S.A., (2013).Google Scholar
- W. Fulton, Introduction to toric varieties, Annals of Mathematics Studies 131, Princeton University Press, Princeton U.S.A., (1993).Google Scholar
- F. Sottile, Toric ideals, real toric varieties, and the algebraic moment map, Contemp. Math. 334 (2003) 225 [math.AG/0212044].
- T. Lam and D.E. Speyer, Cohomology of cluster varieties. I. Locally acyclic case, arXiv:1604.06843.
- G.M. Ziegler, Lectures on polytopes, Springer Science & Business Media 152, Springer U.S.A., (2012).Google Scholar
- N. Arkani-Hamed, Y. Bai and T. Lam, Towards the dual Amplituhedron, in preparation.Google Scholar
- M.E. Peskin, D.V. Schroeder and E. Martinec, An introduction to quantum field theory, Avalon Publishing, U.S.A., (1995).Google Scholar
- M. Brion and M. Vergne, Arrangement of hyperplanes. I: rational functions and Jeffrey-Kirwan residue, Ann. Sci. École Normale Sup. 32 (1999) 715.Google Scholar
- N. Arkani-Hamed and E. Yuan, Geometry and algebra of one loop Feynman integrals, in preparation.Google Scholar
- A.G. Khovanskiĭ, Fewnomials, Translations of Mathematical Monographs 88, American Mathematical Society, U.S.A., (1991).Google Scholar
- A. Björner, M. Las Vergnas, B. Sturmfels, N. White and G. Ziegler, Oriented matroids, Encyclopedia of Mathematics and Its Applications 46, Cambridge University Press, Cambridge U.K., (1999).Google Scholar