Positive geometries and canonical forms via mixed Hodge theory

Francis Brown,Clément Dupont

2025-01-07

Abstract:''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent progress in particle physics, where the corresponding canonical forms are interpreted as the integrands of scattering amplitudes. We recast these concepts in the language of mixed Hodge theory, and identify ''genus zero pairs'' of complex algebraic varieties as a natural and general framework for the study of positive geometries and their canonical forms. In this framework, we prove some basic properties of canonical forms which have previously been proved or conjectured in the literature. We give many examples and study in detail the case of arrangements of hyperplanes and convex polytopes.

Algebraic Geometry,High Energy Physics - Theory,Mathematical Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to re - interpret and generalize the concepts of "positive geometries" and their "canonical forms" within the framework of mixed Hodge theory. Specifically, the author aims to study positive geometries and their canonical forms through the tools in mixed Hodge theory, and identify the "genus zero pairs" of complex algebraic varieties as a natural and broad framework for studying these geometric objects.

### Main problems and motivations

1. **Positive geometries and canonical forms**:
- Positive geometries are a class of semi - algebraic domains, which have a unique canonical form: a logarithmic form whose residues match the boundary structure of the domain.
- The canonical form is interpreted as the integrand of scattering amplitudes in particle physics, so the study of these geometric objects has important physical significance.

2. **Application of mixed Hodge theory**:
- Mixed Hodge theory is an important tool in complex algebraic geometry, which provides methods for studying logarithmic forms and their residues.
- The author studies positive geometries and their canonical forms by introducing the relative homology group \(H^n(X, Y)\) in mixed Hodge theory and the corresponding mixed Hodge structure.

3. **Definition and properties of genus zero pairs**:
- A genus zero pair refers to a pair of complex algebraic varieties \((X, Y)\) that satisfy certain conditions, where \(X\) is a compact complex algebraic variety, \(Y\) is a closed sub - variety of \(X\), such that \(X\setminus Y\) is smooth.
- For genus zero pairs, the author has proved some basic properties of the canonical form and given many specific examples, such as hyperplane arrangements and convex polyhedra.

### Markdown representation of formulas

- **Relative homology group**:
\[
H^n(X, Y)
\]
is a finite - dimensional \(\mathbb{Q}\)-vector space, generated by the classes of oriented domains \(\sigma\subset X\) with \(\partial(\sigma)\subset Y\).

- **Mapping of canonical forms**:
\[
\text{can}: H^n(X, Y)\to\Omega^n_{\log}(X\setminus Y),\quad\sigma\mapsto\varpi_\sigma
\]
where \(\varpi_\sigma:=\text{can}(\sigma)\) is the canonical form of \(\sigma\).

- **Recursive property**:
\[
\text{Res}(\varpi_\sigma)=\varpi_{\partial(\sigma)}
\]

### Conclusion

Through the framework of mixed Hodge theory, the author not only re - interprets the concepts of positive geometries and their canonical forms, but also provides a broader research method. This provides new perspectives and tools for understanding problems such as scattering amplitudes in particle physics.