Vandermonde Cells Through the Lens of Positive Geometry

Basic Information

• Paper ID: 2510.11614
• Title: Vandermonde Cells Through the Lens of Positive Geometry
• Authors: Fatemeh Mohammadi, Sebastian Seemann
• Classification: math.CO math-ph math.AG math.MP (Combinatorics, Mathematical Physics, Algebraic Geometry, Mathematical Physics)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.11614

Abstract

This paper investigates the geometric and algebraic structure of Vandermonde cells, defined as the image of the standard probability simplex under the Vandermonde map given by power sum polynomials. Motivated by their combinatorial equivalence with cyclic polytopes—which are well-known examples in positive geometry and tree amplituhedra—the authors investigate whether Vandermonde cells possess positive geometry structures. The paper derives explicit parametrizations and algebraic equations for boundary components, extending known results from the planar case to arbitrary dimensions. By introducing a mild generalization of positive geometry concepts (allowing singularities in the interior of boundary components), the authors prove that planar Vandermonde cells naturally fit within this extended framework. Furthermore, Vandermonde cells are studied within the Brown-Dupont mixed Hodge theory framework, proving they form zero genus pairs. These results provide new algebraic and geometric understanding of Vandermonde cells, establishing them as promising examples in emerging positive geometry theory.

Research Background and Motivation

Core Problem

The central problem addressed in this paper is determining whether Vandermonde cells possess positive geometry structures. Positive geometry is a fundamental mathematical structure in the study of scattering amplitudes in quantum field theory and cosmology, and the combinatorial equivalence between Vandermonde cells and cyclic polytopes suggests they may also possess positive geometry properties.

Problem Significance

1. Theoretical Importance: Positive geometry theory is an important branch of modern mathematical physics; extending known positive geometry examples is crucial for theoretical development
2. Applied Value: Vandermonde maps have broad applications in hyperbolic polynomial theory, computational algebraic geometry, and related fields
3. Geometric Insight: The research provides new perspectives for understanding more complex algebraic geometric objects

Existing Limitations

• Existing positive geometry theory primarily focuses on polytopes and specially constructed examples
• Positive geometry theory requires extension for semi-algebraic sets with singular boundaries
• Systematic methods for analyzing boundary structures in high dimensions are lacking

Research Motivation

Cyclic polytopes are simple examples of tree amplituhedra and positive geometry, while Vandermonde cells share the same combinatorial type as cyclic polytopes, naturally raising the question of whether Vandermonde cells also possess positive geometry structures.

Core Contributions

1. Boundary Parametrization and Defining Equations: Using Ursell's theorem to obtain explicit parametric descriptions of all boundary components and deriving the defining algebraic equations for these components, completely characterizing the algebraic boundary
2. Planar Vandermonde Cells as Positive Geometry: By appropriately relaxing the definition of positive geometry (allowing singularities in the interior of boundary components), proving that planar Vandermonde cells belong to this broader framework
3. Canonical Form for Planar Vandermonde Cells: Constructing explicit canonical forms by subdividing planar Vandermonde cells into fundamental regions
4. Hodge Theory Interpretation: Reinterpreting Vandermonde cells within the Brown-Dupont mixed Hodge theory framework, proving that all boundary hypersurfaces have zero genus
5. Limiting Vandermonde Cells: Analyzing limiting objects as n→∞, proposing alternative canonical form descriptions based on dual volumes

Detailed Methodology

Problem Definition

Studying the geometric structure of Vandermonde cells Πₙ,ₐ := νₙ,ₐ(Δₙ₋₁), where:

• νₙ,ₐ: x ↦ (p₁(x), p₂(x), ..., pₐ(x)) is the Vandermonde map
• pₖ(x) = Σᵢ₌₁ⁿ xᵢᵏ is the k-th power sum polynomial
• Δₙ₋₁ is the standard probability simplex

Boundary Analysis Method

Application of Ursell's Theorem

According to Theorem 2.1, boundary points fall into two types:

1. Type 1: (0,...,0, x₁, x₂,...,x₂, ..., xₐ₋₁,...,xₐ₋₁), where m₂ₖ₋₁ = 1, m₀ ≥ 0, m₂ₖ ≥ 1
2. Type 2: (x₁,...,x₁, x₂, ..., xₐ₋₁,...,xₐ₋₁), where m₂ₖ = 1, m₂ₖ₋₁ ≥ 1

Parametrization Method

Using Lemma 2.2, boundary components can be parametrized as:

(Σᵢ₌₁^(d-2) mᵢxᵢʲ + (1/mₐ₋₁ - Σᵢ₌₁^(d-2) mᵢxᵢ/mₐ₋₁)ʲ)ⱼ₌₂,...,ₐ

Extension of Positive Geometry Theory

Definition Extension

Extending the positive geometry definition from requiring smooth interiors to allowing singularities in the interior, while preserving other core properties:

• Existence of a unique rational differential form ω
• ω has logarithmic poles along the Zariski closure of the boundary
• Residue recursion properties

Canonical Form Construction

For the planar case, through subdivision methods:

1. Decomposing Vandermonde cells into three types of fundamental regions
2. Computing canonical forms for each type
3. Summing using additivity principles to obtain the total canonical form

Application of Brown-Dupont Framework

Genus Computation

Proving that all boundary hypersurfaces are unirational, hence possess zero geometric genus:

• Utilizing the dominance of the Vandermonde map
• Applying mixed Hodge structure theory
• Using Mayer-Vietoris sequences for analysis

Canonical Form Mapping

Defining iterative residue maps:

R: Ωⁿlog(X \ Y) → grᵂ₀(Hₙ(X,Y),C)

When genus is zero, this map is invertible, thus defining the canonical form mapping.

Experimental Setup

Computational Tools

Using Macaulay2 for symbolic computation, with implementation code available on GitHub: https://github.com/SebSeemann/Boundaries-of-Vandermonde-cells

Specific Computations

1. Boundary Equation Computation: Through parametrization and elimination techniques
2. Canonical Form Verification: Verifying logarithmic properties and residue conditions
3. Genus Computation: Using resolutions and Hodge theory

Experimental Results

Main Results

Planar Case (d=3)

• Boundary consists of line segments b₂ and cusped cubic curves bₖ (k≥3)
• bₖ = x³(k³-4k²+4k) + y²(-k³+k²) + xy(6k²-6k) + x²(-3k²+3k-3) + 3kx + y(-4k+4) - 1
• Successfully constructed explicit canonical forms

Three-Dimensional Case (d=4)

Computed boundary equations for Π₄,₄, obtaining degree-6 polynomials:

P(y₁,y₂,y₃) = y₁⁶ - 684y₁⁵ + 1536y₁⁴y₂ - 544y₁³y₂² - ... + 1

General Results

• Proved all boundary hypersurfaces are unirational
• Established zero genus properties
• Verified existence of canonical forms under the Brown-Dupont framework

Theoretical Findings

1. Unirationality: All boundary hypersurfaces are unirational varieties
2. Zero Genus: All relevant Hodge numbers hᵖ'⁰ (p>0) are zero
3. Subdivision Structure: The planar case subdivides into three types of fundamental regions

Related Work

Positive Geometry Theory

• Foundational work by Arkani-Hamed, Bai, Lam establishing the positive geometry framework
• Cyclic polytopes as classical examples of tree amplituhedra
• Brown-Dupont's mixed Hodge theory approach

Vandermonde Map Research

• Work by Arnold, Kostov and others on hyperbolic polynomials
• Analysis of fibers and images in computational algebraic geometry
• Connections to the Prouhet-Tarry-Escott problem

Amplituhedra Theory

• Geometric methods for scattering amplitudes in quantum field theory
• Positive Grassmannian varieties and related geometric structures
• Combinatorial properties of tree-level amplituhedra

Conclusions and Discussion

Main Conclusions

1. Planar Vandermonde cells are positive geometry under the extended positive geometry definition
2. All Vandermonde cells form zero genus pairs under the Brown-Dupont framework
3. Unirationality of boundary hypersurfaces guarantees the existence of canonical forms
4. Limiting cases require new analytical methods to handle non-semi-algebraic boundaries

Limitations

1. High-Dimensional Challenges: Subdivision methods in high dimensions face degree growth problems
2. Limiting Behavior: Limiting Vandermonde cells lose semi-algebraic properties
3. Computational Complexity: Explicit computation of boundary equations grows rapidly with dimension

Future Directions

1. Developing systematic methods for high-dimensional cases
2. Studying alternative canonical form theories for limiting cases
3. Exploring deeper connections with other amplituhedra
4. Applications to practical scattering amplitude computations

In-Depth Evaluation

Strengths

1. Theoretical Depth: Cleverly connecting algebraic geometry, combinatorics, and mathematical physics
2. Methodological Innovation: Extending positive geometry theory to include singular cases
3. Computational Completeness: Providing detailed computational methods and implementation code
4. Multi-Perspective Analysis: Studying the problem from both classical definitions and Hodge theory perspectives

Weaknesses

1. High-Dimensional Difficulties: Lacking systematic construction methods for high-dimensional cases
2. Limiting Case Treatment: Further development needed for handling limiting cases
3. Application Verification: Lacking verification in practical physics problems

Impact

1. Theoretical Contribution: Providing new examples and extensions to positive geometry theory
2. Methodological Value: Boundary analysis methods applicable to other geometric objects
3. Interdisciplinary Significance: Connecting pure mathematics and mathematical physics research

Applicable Scenarios

1. Study of semi-algebraic sets in algebraic geometry
2. Scattering amplitude computations in quantum field theory
3. Combinatorial geometry and polytope theory
4. Practical applications in computational algebraic geometry

References

The paper cites 28 important references covering core works in positive geometry theory, algebraic geometry, Hodge theory, and related fields, providing a solid theoretical foundation for the research.

This paper makes important contributions at the intersection of theoretical mathematics and mathematical physics, not only extending the scope of positive geometry theory but also providing new tools and perspectives for understanding complex geometric objects. The systematicity of its methods and the depth of its results make it an important advance in the field.