Positive geometries and differential forms with non-logarithmic singularities. I.

*(English)*Zbl 1454.81239Summary: Positive geometries encode the physics of scattering amplitudes in flat space-time and the wavefunction of the universe in cosmology for a large class of models. Their unique canonical forms, providing such quantum mechanical observables, are characterised by having only logarithmic singularities along all the boundaries of the positive geometry. However, physical observables have logarithmic singularities just for a subset of theories. Thus, it becomes crucial to understand whether a similar paradigm can underlie their structure in more general cases. In this paper we start a systematic investigation of a geometric-combinatorial characterisation of differential forms with non-logarithmic singularities, focusing on projective polytopes and related meromorphic forms with multiple poles. We introduce the notions of covariant forms and covariant pairings. Covariant forms have poles only along the boundaries of the given polytope; moreover, their leading Laurent coefficients along any of the boundaries are still covariant forms on the specific boundary. Whereas meromorphic forms in covariant pairing with a polytope are associated to a specific (signed) triangulation, in which poles on spurious boundaries do not cancel completely, but their order is lowered. These meromorphic forms can be fully characterised if the polytope they are associated to is viewed as the restriction of a higher dimensional one onto a hyperplane. The canonical form of the latter can be mapped into a covariant form or a form in covariant pairing via a covariant restriction. We show how the geometry of the higher dimensional polytope determines the structure of these differential forms. Finally, we discuss how these notions are related to Jeffrey-Kirwan residues and cosmological polytopes.

##### References:

[1] | A. Hodges, Eliminating spurious poles from gauge-theoretic amplitudes, JHEP05 (2013) 135 [arXiv:0905.1473] [INSPIRE]. · Zbl 1342.81291 |

[2] | N. Arkani-Hamed, J.L. Bourjaily, F. Cachazo, A. Hodges and J. Trnka, A note on polytopes for scattering amplitudes, JHEP04 (2012) 081 [arXiv:1012.6030] [INSPIRE]. · Zbl 1348.81339 |

[3] | A. Postnikov, Total positivity, Grassmannians and networks, math.CO/0609764 [INSPIRE]. |

[4] | N. Arkani-Hamed, J.L. Bourjaily, F. Cachazo, A.B. Goncharov, A. Postnikov and J. Trnka, Grassmannian geometry of scattering amplitudes, Cambridge University Press, Cambridge, U.K. (2016) [arXiv:1212.5605] [INSPIRE]. · Zbl 1365.81004 |

[5] | N. Arkani-Hamed and J. Trnka, The amplituhedron, JHEP10 (2014) 030 [arXiv:1312.2007] [INSPIRE]. · Zbl 1388.81166 |

[6] | N. Arkani-Hamed, Y. Bai, S. He and G. Yan, Scattering forms and the positive geometry of kinematics, color and the worldsheet, JHEP05 (2018) 096 [arXiv:1711.09102] [INSPIRE]. · Zbl 1391.81200 |

[7] | H. Frost, Biadjoint scalar tree amplitudes and intersecting dual associahedra, JHEP06 (2018) 153 [arXiv:1802.03384] [INSPIRE]. |

[8] | P. Banerjee, A. Laddha and P. Raman, Stokes polytopes: the positive geometry for φ^4interactions, JHEP08 (2019) 067 [arXiv:1811.05904] [INSPIRE]. · Zbl 1421.81152 |

[9] | G. Salvatori and S. Stanojevic, Scattering amplitudes and simple canonical forms for simple polytopes, arXiv:1912.06125 [INSPIRE]. |

[10] | N. Arkani-Hamed, P. Benincasa and A. Postnikov, Cosmological polytopes and the wavefunction of the universe, arXiv:1709.02813 [INSPIRE]. |

[11] | N. Arkani-Hamed, S. He and T. Lam, Stringy canonical forms, arXiv:1912.08707 [INSPIRE]. |

[12] | J.M. Maldacena and G.L. Pimentel, On graviton non-Gaussianities during inflation, JHEP09 (2011) 045 [arXiv:1104.2846] [INSPIRE]. · Zbl 1301.81147 |

[13] | N. Arkani-Hamed and P. Benincasa, On the emergence of Lorentz invariance and unitarity from the scattering facet of cosmological polytopes, arXiv:1811.01125 [INSPIRE]. |

[14] | P. Benincasa, On-shell diagrammatics and the perturbative structure of planar gauge theories, arXiv:1510.03642 [INSPIRE]. |

[15] | P. Benincasa and D. Gordo, On-shell diagrams and the geometry of planar N < 4 SYM theories, JHEP11 (2017) 192 [arXiv:1609.01923] [INSPIRE]. · Zbl 1383.81131 |

[16] | S. He and C. Zhang, Notes on scattering amplitudes as differential forms, JHEP10 (2018) 054 [arXiv:1807.11051] [INSPIRE]. · Zbl 1402.81254 |

[17] | E. Herrmann and J. Trnka, Gravity on-shell diagrams, JHEP11 (2016) 136 [arXiv:1604.03479] [INSPIRE]. · Zbl 1390.83402 |

[18] | P. Heslop and A.E. Lipstein, On-shell diagrams for N = 8 supergravity amplitudes, JHEP06 (2016) 069 [arXiv:1604.03046] [INSPIRE]. · Zbl 1388.83822 |

[19] | N. Arkani-Hamed, Y. Bai and T. Lam, Positive geometries and canonical forms, JHEP11 (2017) 039 [arXiv:1703.04541] [INSPIRE]. · Zbl 1383.81273 |

[20] | P. Benincasa, Cosmological polytopes and the wavefuncton of the universe for light states, arXiv:1909.02517 [INSPIRE]. |

[21] | L.C. Jeffrey and F.C. Kirwan, Localization for non-Abelian group actions, Topology34 (1995) 291. · Zbl 0833.55009 |

[22] | L. Ferro, T. Ł ukowski and M. Parisi, Amplituhedron meets Jeffrey-Kirwan residue, J. Phys. A52 (2019) 045201 [arXiv:1805.01301] [INSPIRE]. · Zbl 1422.81148 |

[23] | N. Arkani-Hamed, A. Hodges and J. Trnka, Positive amplitudes in the amplituhedron, JHEP08 (2015) 030 [arXiv:1412.8478] [INSPIRE]. · Zbl 1388.81166 |

[24] | J.A. De Loera, J. Rambau and F. Santos, Triangulations: structures for algorithms and applications, Springer, Berlin, Heidelberg, Germany (2010). · Zbl 1207.52002 |

[25] | A. Szenes and M. Vergne, Toric reduction and a conjecture of Batyrev and Materov, Invent. Math.158 (2004) 453 [math.AT/0306311]. · Zbl 1067.14036 |

[26] | F. Mohammadi, L. Monin and M. Parisi, in preparation, (2020). |

[27] | P. Benincasa, From the flat-space S-matrix to the wavefunction of the universe, arXiv:1811.02515 [INSPIRE]. · Zbl 1254.81087 |

[28] | N. Prabhu, Sections of simplices, Int. J. Math. Math. Sci.22 (1999) 401. · Zbl 0937.52007 |

[29] | K. Bezdek, T. Bisztriczky and R. Connelly, On hyperplanes and polytopes, Monatsheft. Math.109 (1990) 39. · Zbl 0712.52012 |

[30] | T. Lam, Totally nonnegative Grassmannian and Grassmann polytopes, Curr. Develop. Math.2014 (2014) 51. |

[31] | D. Damgaard, L. Ferro, T. Lukowski and M. Parisi, The momentum amplituhedron, JHEP08 (2019) 042 [arXiv:1905.04216] [INSPIRE]. · Zbl 1421.81148 |

[32] | T. Lukowski, M. Parisi and L.K. Williams, The positive tropical Grassmannian, the hypersimplex and the m = 2 amplituhedron, arXiv:2002.06164 [INSPIRE]. |

[33] | The Sage developers, SageMath, the Sage Mathematics Software System (version 8.6), https://www.sagemath.org, (2019). |

[34] | Maxima, Maxima, a computer algebra system. Version 5.25.1, http://maxima.sourceforge.net/, (2011). |

[35] | T. Tantau, The TikZ and PGF packages. Manual for version 3.0.0, http://sourceforge.net/projects/pgf/, (2013). |

[36] | E. Gawrilow and M. Joswig, polymake: a framework for analyzing convex polytopes, in Polytopes — combinatorics and computation (Oberwolfach, Germany, 1997), DMV Sem.29, Birkhäuser, Basel, Switzerland (2000), pg. 43. · Zbl 0960.68182 |

[37] | J. Rambau, TOPCOM: triangulations of point configurations and oriented matroids, in Mathematical software — ICMS 2002, A.M. Cohen, X.-S. Gao and N. Takayama eds., World Scientific, Singapore (2002), pg. 330. · Zbl 1057.68150 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.