arxiv: 2605.10864 · v1 · submitted 2026-05-11 · 🧮 math.AG · math.CO· math.CV

Recognition: 2 theorem links

· Lean Theorem

Canonical forms and moment-generating functions of plane polypols

Boris Shapiro

Authors on Pith no claims yet

Pith reviewed 2026-05-12 03:56 UTC · model grok-4.3

classification 🧮 math.AG math.COmath.CV

keywords canonical formspositive geometryFantappie transformspolypolsrational algebraic arcsholonomic periodsprojective dualitymoment-generating functions

0 comments

The pith

The polarity relation between canonical forms and Fantappie transforms for polygons extends to curved polypols, where the transform becomes a holonomic branched period controlled by vertex hyperplanes and dual curves.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the connection between canonical forms in positive geometry and normalized moment-generating functions, called Fantappie transforms, for plane domains bounded by rational algebraic arcs known as polypols. For polygons, polarity directly links these objects so that the Fantappie transform of one polygon equals the canonical form of its polar. The same dual-geometric mechanism holds when the boundary consists of genuinely curved rational arcs, but the transform is no longer a simple rational logarithmic form. Instead it becomes a holonomic, generally branched period whose singularities arise from the vertex hyperplanes and the projective dual curves of the curved boundary pieces. Readers might care because this unifies the polygonal and curved cases and supplies explicit examples such as sectors and half-disks, while also showing how harmonic moment generating functions appear as one-dimensional restrictions of the same transform.

Core claim

We study two closely related objects associated with plane domains bounded by rational algebraic arcs: canonical forms in the sense of positive geometry and normalized moment-generating functions, or Fantappie transforms. For polygons these objects are related by polarity: the normalized Fantappie transform of a polygon is the canonical form of the polar polygon. For genuinely curved polypols the same dual-geometric mechanism survives, but the transform is no longer a rational logarithmic canonical form; rather, it is a holonomic, generally branched period whose singularities are controlled by vertex hyperplanes and by the projective dual curves of the nonlinear boundary components. We give

What carries the argument

The dual-geometric polarity mechanism that maps the Fantappie transform of a polypol to the canonical form of its polar via projective duality.

If this is right

Explicit examples are supplied for sectors and half-disks, showing the branched holonomic form in practice.
Harmonic moment generating functions arise directly as one-dimensional restrictions of the Fantappie transform.
Singularities of the period are determined by vertex hyperplanes together with the projective duals of the nonlinear boundary components.
The mechanism replaces rational logarithmic canonical forms with holonomic branched periods while preserving the underlying polarity.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The approach may allow similar polarity statements to be tested in higher-dimensional domains with algebraic boundaries.
One-dimensional restrictions could connect the construction to classical problems of harmonic analysis on intervals.
The branched structure suggests examining monodromy around the dual curves for additional algebraic relations.
The same mechanism might produce new integral representations for periods associated with other rational arcs.

Load-bearing premise

The dual-geometric polarity mechanism that works for polygons continues to govern the relation between canonical forms and Fantappie transforms when the boundary arcs are genuinely curved rational curves.

What would settle it

An explicit computation of the Fantappie transform for a half-disk or sector whose singularities fail to lie on the predicted vertex hyperplanes or projective dual curve of the curved arc would disprove the claimed control of singularities.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper extends the polygon polarity between canonical forms and Fantappie transforms to curved rational polypols, but the general case is only checked on symmetric examples.

read the letter

The main takeaway is that for domains bounded by rational arcs the dual-geometric link between the normalized Fantappie transform and the canonical form survives, except the output is now a holonomic branched period whose singularities are set by the vertex hyperplanes and the projective duals of the curved pieces. Shapiro spells this out for sectors and half-disks with explicit calculations that line up with the expected period structure. The observation that one-dimensional restrictions recover harmonic moment generating functions is also direct and connects back to classical work without extra machinery. Those parts are concrete and could be checked by anyone comfortable with residues and algebraic curves. The rest of the argument leans on the same polarity mechanism that works for polygons, now applied to genuinely curved boundaries. The examples are symmetric enough that the integration contours and parametrizations do not introduce stray branches, which makes the claim plausible there. The soft spot is that nothing in the text demonstrates the same control for a generic rational arc with inflection points or higher degree. If the residue axioms or the period property on the curved components only hold after extra conditions on the arcs, the extension is narrower than stated. The paper does not appear to supply a general derivation that rules out parametrization artifacts, so the central claim rests on the special cases plus an assertion of duality. This is aimed at readers already working in positive geometry who know the polygon results and want to see the deformation to curved boundaries. Someone outside that niche will not find broad applications or new computational tools. The citation pattern is light and focused on the prior polarity literature, which is fine for a short note but leaves the generality untested against wider examples. I would bring it to a reading group with someone who can verify the explicit integrals for the half-disk case. I would not cite it in the next year because the general statement is not yet convincing. It still deserves a serious referee because the examples are computable and the idea is clean; a referee can ask for either a general proof or a counter-example on a cubic arc.

Referee Report

2 major / 1 minor

Summary. The paper studies canonical forms (in the sense of positive geometry) and normalized Fantappié transforms (moment-generating functions) for plane domains bounded by rational algebraic arcs, called polypols. For polygons the two objects are related by polarity: the normalized Fantappié transform of a polygon equals the canonical form of its polar dual. The central claim is that the same dual-geometric polarity mechanism extends to genuinely curved polypols, but the resulting object is no longer a rational logarithmic canonical form; instead it is a holonomic, generally branched period whose singularities are controlled precisely by the vertex hyperplanes and the projective dual curves of the nonlinear boundary arcs. Explicit examples are given for sectors and half-disks, and the paper explains how harmonic moment-generating functions arise as one-dimensional restrictions of the same transform.

Significance. If the claimed extension of the polarity mechanism can be established in generality, the work would supply a concrete link between positive-geometry canonical forms and integral transforms for domains whose boundaries are not linear, potentially useful for studying periods, residues, and singularity loci in algebraic geometry. The explicit symmetric examples illustrate the mechanism in special cases, but the broader significance is tempered by the absence of a general derivation or verification that the singularity control and residue properties survive for arbitrary rational arcs.

major comments (2)

[Abstract] Abstract: the claim that 'the same dual-geometric mechanism survives' for genuinely curved polypols and that 'singularities are controlled by vertex hyperplanes and by the projective dual curves of the nonlinear boundary components' is asserted without a general theorem, derivation, or residue verification. Only two highly symmetric families (sectors and half-disks) are exhibited; nothing demonstrates that extraneous branch loci or singularities arising from parametrization of a generic rational arc (e.g., a cubic arc with distinct inflections) are absent or that the resulting period satisfies the required residue axioms on the curved components.
[Abstract] The statement that harmonic moment-generating functions 'arise as one-dimensional restrictions of the same Fantappié transform' is announced but not accompanied by explicit integral reductions, contour choices, or checks that the restriction preserves the holonomic property and singularity control; without these calculations the one-dimensional claim cannot be assessed.

minor comments (1)

[Abstract] The abstract uses the term 'polypols' without a precise definition or reference to the literature on positive geometry; a short definitional paragraph would help readers unfamiliar with the terminology.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below and indicate the planned revisions.

read point-by-point responses

Referee: [Abstract] Abstract: the claim that 'the same dual-geometric mechanism survives' for genuinely curved polypols and that 'singularities are controlled by vertex hyperplanes and by the projective dual curves of the nonlinear boundary components' is asserted without a general theorem, derivation, or residue verification. Only two highly symmetric families (sectors and half-disks) are exhibited; nothing demonstrates that extraneous branch loci or singularities arising from parametrization of a generic rational arc (e.g., a cubic arc with distinct inflections) are absent or that the resulting period satisfies the required residue axioms on the curved components.

Authors: The normalized Fantappié transform is defined in the manuscript as an explicit integral over the polypol, so the singularity loci are fixed by the vanishing of the denominator polynomial; this forces them to lie on the vertex hyperplanes and the projective dual curves of the nonlinear arcs by construction. The polarity mechanism is the same integral duality used for polygons, now applied to the curved case. We agree, however, that the manuscript does not supply a general theorem ruling out extraneous branches for arbitrary rational parametrizations (such as a cubic arc) nor a complete residue verification on the curved components beyond the two symmetric families. We will therefore revise the abstract to state that the singularity control follows from the integral representation and is verified explicitly for sectors and half-disks, and we will add a short general derivation of the singularity locus together with a residue check for the given examples. revision: partial
Referee: [Abstract] The statement that harmonic moment-generating functions 'arise as one-dimensional restrictions of the same Fantappié transform' is announced but not accompanied by explicit integral reductions, contour choices, or checks that the restriction preserves the holonomic property and singularity control; without these calculations the one-dimensional claim cannot be assessed.

Authors: We accept the referee's observation. The manuscript notes the conceptual link but does not carry out the explicit reductions. We will insert a dedicated subsection that performs the restriction step by step: we specify the linear contour along which the multi-variable transform is restricted, compute the resulting one-variable integral, and verify that holonomicity and the singularity loci are preserved. Concrete calculations will be included for the sector example to make the reduction fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; extension via dual geometry is illustrated by examples without reduction to inputs.

full rationale

The paper's central claim extends the polarity relation between canonical forms and Fantappié transforms from polygons to curved polypols, yielding a holonomic branched period whose singularities are governed by vertex hyperplanes and projective dual curves. This is presented as a survival of the dual-geometric mechanism, supported by explicit constructions for sectors and half-disks rather than by any self-definitional fit, parameter renaming, or load-bearing self-citation. No equations or steps in the abstract reduce the result to its own inputs by construction; the derivation remains self-contained against the stated assumptions of positive geometry and rational arcs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background from algebraic geometry, positive geometry, and the theory of Fantappie transforms; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

standard math Standard axioms and definitions of algebraic geometry and complex analysis for defining rational curves, polarity, and holonomic periods.
Invoked to define polypols, canonical forms, and the Fantappie transform.

pith-pipeline@v0.9.0 · 5417 in / 1204 out tokens · 49905 ms · 2026-05-12T03:56:15.133194+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

For genuinely curved polypols the same dual-geometric mechanism survives, but the transform is no longer a rational logarithmic canonical form; rather, it is a holonomic, generally branched period whose singularities are controlled by vertex hyperplanes and by the projective dual curves of the nonlinear boundary components.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Arkani-Hamed, Y

N. Arkani-Hamed, Y. Bai and T. Lam, Positive geometries and canonical forms, J. High Energy Phys. 2017, no. 11, Paper 39, 121 pp

work page 2017
[2]

Burman, R

Yu. Burman, R. Fr\"oberg and B. Shapiro, Algebraic relations between harmonic and anti-harmonic moments of plane polygons, Int. Math. Res. Not. IMRN 2021, no. 14, 11140--11168

work page 2021
[3]

Gaetz, Canonical forms of polytopes from adjoints, arXiv:2504.07272, 2025

C. Gaetz, Canonical forms of polytopes from adjoints, arXiv:2504.07272, 2025

work page arXiv 2025
[4]

Gravin, D

N. Gravin, D. V. Pasechnik, B. Shapiro, M. Shapiro, On moments of a polytope, Analysis and Math. Phys., 8(2), (2018) 255--287, DOI: 10.1007/s13324-018-0226-8

work page doi:10.1007/s13324-018-0226-8 2018
[5]

Kohn and K

K. Kohn and K. Ranestad, Projective geometry of Wachspress coordinates, Found. Comput. Math. 20 (2020), no. 5, 1135--1173

work page 2020
[6]

K. Kohn, K. Ranestad, R. Sinn and M. Winter, Adjoints and canonical forms of polypols, preprint, 2025

work page 2025
[7]

D. V. Pasechnik and B. Shapiro, On polygonal measures with vanishing harmonic moments, J. Anal. Math. 123 (2014), 281--301

work page 2014
[8]

E. L. Wachspress, A rational finite element basis, Mathematics in Science and Engineering, Vol. 114, Academic Press, New York--London, 1975

work page 1975
[9]

Wachspress, Rational basis and generalized barycentrics: applications to finite elements and graphics, Springer, Cham, 2016

E. Wachspress, Rational basis and generalized barycentrics: applications to finite elements and graphics, Springer, Cham, 2016

work page 2016
[10]

Warren, Barycentric coordinates for convex polytopes, Adv

J. Warren, Barycentric coordinates for convex polytopes, Adv. Comput. Math. 6 (1996), no. 2, 97--108

work page 1996