Canonical Meromorphic Top-Form

• Canonical meromorphic top-form is a unique global section of the line bundle of top-degree meromorphic differential forms, defined via canonical divisors and the Riemann–Roch theorem.
• It extends to singular spaces and positive geometries through coherent sheaves, residue computations, and functorial pull-back properties.
• Applications span algebraic geometry, Hodge theory, and mathematical physics, notably in computing periods, scattering amplitudes, and stringy deformations.

A canonical meromorphic top-form is a distinguished global section of a line bundle of top-degree meromorphic differential forms, uniquely characterized (when it exists) by geometric, cohomological, and residue-theoretic properties. Its precise definition and existence criteria depend strongly on the underlying geometric context: compact Riemann surfaces, algebraic varieties (possibly singular), or positive geometries. Fundamental to its construction are the concepts of the canonical divisor, the Riemann–Roch theorem, sheaf-theoretic formalism, and extensions to singular or combinatorial settings. Canonical meromorphic top-forms play key roles in algebraic geometry, Hodge theory, mathematical physics (notably in string theory and scattering amplitudes), and the theory of singular spaces.

1. Canonical Meromorphic Top-Form on Nonsingular Varieties

The canonical line bundle $K_X$ on a nonsingular variety or smooth compact Riemann surface $X$ is the line bundle of holomorphic top-degree differential forms. A canonical meromorphic top-form is any global meromorphic section of $K_X$, with its divisor described as the canonical divisor $K=\operatorname{div}(\omega)$. For a compact Riemann surface of genus $g$, the degree of the canonical divisor is $2g-2$, and the space of global holomorphic 1-forms (sections of $K_X$ with no poles) has dimension $g$ by the Riemann–Roch theorem (Charles, 2017).

On $\mathbb{CP}^1$, for example, one finds:

• $K_X=\mathcal{O}_{\mathbb{P}^1}(-2)$, hence $X$0 for $X$1.
• There are no nonzero holomorphic 1-forms ($X$2).
• Up to scaling, the unique meromorphic 1-form with divisor $X$3 is given in affine coordinate $X$4 by $X$5, and in $X$6 by $X$7 (Charles, 2017).

This construct generalizes to higher genus: on a genus $X$8 curve, any nontrivial holomorphic top-form has exactly $X$9 simple zeros, and the canonical linear system embeds $K_X$0 into projective space $K_X$1.

2. Canonical Meromorphic Top-Forms for Singular Spaces

For a reduced complex space $K_X$2 of pure dimension $K_X$3—potentially with singularities—the canonical meromorphic top-form is systematically encoded in the coherent sheaf $K_X$4 (Barlet, 2017). This sheaf is strictly between the holomorphic top-form sheaf modulo torsion $K_X$5 and the sheaf $K_X$6 of all meromorphic top-forms: $K_X$7 Key defining properties of $K_X$8 include:

• Desingularization Extension: Any local section of $K_X$9 pulls back to a holomorphic top-form on some resolution $K=\operatorname{div}(\omega)$0; that is, it lies in $K=\operatorname{div}(\omega)$1 for a resolution $K=\operatorname{div}(\omega)$2.
• Universal Pull-Back: $K=\operatorname{div}(\omega)$3 admits a functorial pull-back by any holomorphic morphism, extending the usual pull-back of forms across singularities.
• Integral Dependence: Locally, sections of $K=\operatorname{div}(\omega)$4 satisfy a monic polynomial relation over the symmetric algebra of $K=\operatorname{div}(\omega)$5.
• Relation to the Nash Transform: Canonical meromorphic top-forms are precisely those that become regular when pulled back to the normalized Nash transform of $K=\operatorname{div}(\omega)$6.

Local generators of $K=\operatorname{div}(\omega)$7 are explicitly constructed from residue calculations (in the hypersurface case) or branched cover decompositions. For hypersurfaces defined by $K=\operatorname{div}(\omega)$8, a generator is

$K=\operatorname{div}(\omega)$9

Concrete examples include singular surfaces where $g$0 may strictly contain $g$1 (Barlet, 2017).

3. Analytic and Functorial Properties

Sections $g$2 define $g$3-currents with locally bounded coefficients on the regular locus $g$4. For any compactly supported continuous function $g$5, the integral

$g$6

is absolutely convergent and admits an explicit bound in terms of a metric on $g$7. Moreover, periods of these forms over analytic families of $g$8-cycles are locally bounded and generically continuous functions of parameters, mirroring desirable properties from the theory of smooth varieties. This analytic regularity underscores $g$9 as the canonical receptacle for period computations and Hodge-theoretic invariants in the singular case (Barlet, 2017).

4. Canonical Forms and Positive Geometries

The notion of canonical meromorphic top-form extends to the framework of positive geometries—stratified real projective spaces such as polytopes or Grassmannians with boundary decompositions—through the canonical $2g-2$0-form $2g-2$1 (Arkani-Hamed et al., 2019). Characterized by:

• Simple logarithmic poles on each boundary facet
• Residues on boundaries recursively recovering canonical forms of the lower-dimensional boundaries
• Global uniqueness in the projective space stratification

Examples include:

• The interval $2g-2$2, yielding $2g-2$3.
• Simplices and more general Newton or Minkowski polytopes, where $2g-2$4 is explicitly determined by rational forms with denominator given by the facet-defining linear forms.

These forms, while defined on real positive geometries, are genuinely meromorphic top-forms in the ambient complexification, and their algebraic and residue properties mirror those of the algebro-geometric canonical forms.

5. Stringy Canonical Forms and Meromorphy in Exponents

Stringy canonical forms represent a generalization regulated by an auxiliary parameter $2g-2$5, connecting canonical forms of polytopes to string theory amplitudes (Arkani-Hamed et al., 2019). The stringy canonical form is given by integrals of the type

$2g-2$6

where $2g-2$7 are polynomials defining the polytope, $2g-2$8 are weights, and $2g-2$9 are exponent parameters.

Key features include:

• $K_X$0 is a meromorphic function of $K_X$1, with poles on hyperplanes corresponding to the faces where convergence is lost.
• The residues at these poles are again stringy canonical forms for the corresponding facet, reflecting the recursive boundary property.
• In the field theory limit ($K_X$2), the integral relates to the volume of the dual polytope.
• In the saddle-point limit ($K_X$3), one recovers pushforwards given by scattering equations that are diffeomorphic to the interior of the original polytope.

These constructions realize the canonical meromorphic top-form as a bridge between combinatorial, geometric, and physical settings, with applications to scattering amplitudes via the amplituhedron and Koba–Nielsen integrals.

6. Illustrative Examples and Special Cases

The following table summarizes key cases of canonical meromorphic top-forms in various contexts:

Geometric Context	Canonical Top-Form Description	Reference
Smooth compact Riemann surface	Section of $K_X$4; for $K_X$5, $K_X$6 or $K_X$7	(Charles, 2017)
Reduced complex space (singular)	Generator of $K_X$8; extends holomorphic forms via desingularization/Nash transform	(Barlet, 2017)
Polytope (positive geometry)	$K_X$9: rational top-form with poles and residues on facets	(Arkani-Hamed et al., 2019)
Stringy deformation	Stringy canonical form given by regulated volume-type integrals; meromorphic in exponents	(Arkani-Hamed et al., 2019)

In all cases, the canonical meromorphic top-form provides a uniquely determined, functorial, and analytically manageable representative embodying the geometry’s intrinsic holomorphic/global differential structure. Its residue and pole structure encode deep information about the underlying stratification, singularities, and (in combinatorial cases) enumerative invariants.

7. Significance and Applications

Canonical meromorphic top-forms are central to several major themes:

• In algebraic geometry: Hodge theory, periods, and de Rham cohomology computations on singular and nonsingular spaces.
• In mathematical physics: construction of string amplitudes, pushforwards via scattering equations, and invariant volume and residue calculations on positive geometries.
• In singularity theory: analytic and functorial properties of $g$0 extend period and intersection theory to singular varieties, with implications for moduli of varieties and mixed Hodge structures.

A plausible implication is that refining the construction of canonical meromorphic top-forms for singular, stratified, or combinatorial geometries will further clarify the interplay between geometric topology, representation theory, and quantum field theoretic amplitude computations.