pith. sign in

arxiv: 2604.06601 · v1 · submitted 2026-04-08 · 🧮 math.AG · math.CO

Cohomological aspects of power ideals

Colin Crowley , Matt Larson This is my paper

Pith reviewed 2026-05-10 18:28 UTC · model grok-4.3

classification 🧮 math.AG math.CO
keywords hyperplane arrangementswonderful varietiespower idealszonotopal algebrascoalgebrascohomology vanishingHilbert series
0
0 comments X

The pith

Sections of line bundles on the augmented wonderful variety of a hyperplane arrangement form coalgebras matching its power ideals.

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

The paper shows that the space of sections of any line bundle on the augmented wonderful variety of a hyperplane arrangement carries a natural coalgebra structure. These coalgebras correspond directly to the power ideals of the arrangement. Cohomology vanishing theorems on the variety then recover many known algebraic facts about the special case of zonotopal algebras. The same geometric setup interprets superspace zonotopal algebras as sections of vector bundles and establishes a formula for their Hilbert series.

Core claim

The space of sections of any line bundle on the augmented wonderful variety of a hyperplane arrangement has the structure of a coalgebra. These coalgebras correspond to the hyperplane arrangement power ideals, which include zonotopal algebras as a special case. By proving cohomology vanishing results on augmented wonderful varieties, many results about zonotopal algebras are recovered. Superspace zonotopal algebras are interpreted in terms of the sections of vector bundles on the augmented wonderful variety, yielding a proof of the conjectured formula for the Hilbert series of the superspace version of the central zonotopal algebra.

What carries the argument

The augmented wonderful variety of the hyperplane arrangement, on which the sections of line bundles acquire a coalgebra structure through the geometry of the variety.

If this is right

  • Many algebraic properties of zonotopal algebras follow from cohomology vanishing on the augmented wonderful variety.
  • Superspace zonotopal algebras arise geometrically as sections of vector bundles on the same variety.
  • The Hilbert series of the superspace central zonotopal algebra equals the conjectured formula.
  • Power ideals obtain a geometric realization through the coalgebra on line bundle sections.

Where Pith is reading between the lines

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

  • The geometric correspondence suggests that algebraic computations in power ideals could be replaced by intersection or vanishing calculations on the variety.
  • Similar coalgebra structures might exist on sections of bundles over other combinatorial varieties associated to arrangements.

Load-bearing premise

The augmented wonderful variety is well-defined and smooth for arbitrary hyperplane arrangements, and the natural operations on its line bundle sections produce a coalgebra that matches the combinatorial definition of the power ideals exactly.

What would settle it

An explicit hyperplane arrangement where the coalgebra structure on the sections of some line bundle differs from the expected power ideal, or where a required cohomology group fails to vanish, would disprove the claim.

Figures

Figures reproduced from arXiv: 2604.06601 by Colin Crowley, Matt Larson.

Figure 1
Figure 1. Figure 1: The Hilbert series of the cohomology groups computed in Example 3.26. 3.6. Polymatroidal power ideals. In this section, we describe a family of hyperplane arrangement power ideals with nice properties. Let f : 2E → Z be a function on the set of subsets of E. We say that f is a polymatroid on E if (1) f(∅) = 0, (2) for any S ⊆ T, we have f(S) ≤ f(T), and (3) for any S, T, we have f(S ∩ T) + f(S ∪ T) ≤ f(S) … view at source ↗
read the original abstract

We show that the space of sections of any line bundle on the augmented wonderful variety of a hyperplane arrangement has the structure of a coalgebra. These coalgebras correspond to the hyperplane arrangement power ideals of Ardila and Postnikov, which include zonotopal algebras as a special case. By proving cohomology vanishing results on augmented wonderful varieties, we recover many results about zonotopal algebras. We also interpret the "superspace" zonotopal algebras of Rhoades, Tewari, and Wilson in terms of the sections of vector bundles on the augmented wonderful variety, and we use this interpretation to prove a formula that they conjectured for the Hilbert series of the superspace version of the central zonotopal algebra.

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.

Referee Report

1 major / 2 minor

Summary. The manuscript shows that the space of global sections of any line bundle on the augmented wonderful variety of a hyperplane arrangement carries a natural coalgebra structure. These coalgebras are isomorphic to the power ideals of Ardila and Postnikov (including zonotopal algebras as a special case). Cohomology vanishing theorems on the variety are proved and used to recover known results on zonotopal algebras. The superspace zonotopal algebras of Rhoades-Tewari-Wilson are interpreted via sections of vector bundles on the variety, and this is used to prove a conjectured formula for the Hilbert series of the central superspace zonotopal algebra.

Significance. If the central correspondence holds, the work supplies a geometric realization of combinatorial coalgebras attached to hyperplane arrangements and furnishes new proofs of vanishing and Hilbert-series results via algebraic geometry. The explicit coalgebra construction, the cohomology vanishing theorems, and the resolution of the Rhoades-Tewari-Wilson conjecture are concrete strengths that strengthen the link between wonderful varieties and zonotopal algebra theory.

major comments (1)
  1. The load-bearing step is the claim that the coalgebra structure on H^0(X,L) is induced by natural geometric operations (pullbacks or correspondences on the augmented wonderful variety X) and equals the Ardila-Postnikov combinatorial power ideal exactly, with no extra scalars or basis changes. The manuscript should supply an explicit isomorphism or a small-arrangement computation verifying that the geometric comultiplication coincides with the combinatorial definition for at least one non-trivial example.
minor comments (2)
  1. Clarify the precise definition of the augmented wonderful variety used (including any choices of blow-up centers or compactification) in the opening sections so that the construction is self-contained for readers unfamiliar with the literature.
  2. In the statement of the main correspondence theorem, make explicit the functoriality of the coalgebra structure with respect to morphisms of arrangements.

Simulated Author's Rebuttal

1 responses · 0 unresolved

Thank you for your positive evaluation of our manuscript and for recommending minor revision. We appreciate the detailed feedback and have addressed the major comment as follows.

read point-by-point responses

  1. Referee: The load-bearing step is the claim that the coalgebra structure on H^0(X,L) is induced by natural geometric operations (pullbacks or correspondences on the augmented wonderful variety X) and equals the Ardila-Postnikov combinatorial power ideal exactly, with no extra scalars or basis changes. The manuscript should supply an explicit isomorphism or a small-arrangement computation verifying that the geometric comultiplication coincides with the combinatorial definition for at least one non-trivial example.

    Authors: We agree that an explicit verification would strengthen the presentation. The coalgebra structure is induced by the natural correspondence on the augmented wonderful variety X, specifically via the pullback of the line bundle along the diagonal or the relevant maps coming from the arrangement's matroid structure, ensuring it matches the combinatorial definition of Ardila and Postnikov without additional scalars. This is proven in Section 3 by identifying the basis of global sections with the monomial basis of the power ideal and showing the comultiplication formulas coincide. To address the request for a concrete check, we will include in the revised manuscript a detailed computation for the smallest non-trivial hyperplane arrangement (e.g., three lines in the plane forming a triangle), where we compute the geometric comultiplication on the sections and verify it equals the combinatorial one exactly. revision: yes

Circularity Check

0 steps flagged

Geometric construction of coalgebra on sections matches combinatorial power ideals via explicit correspondence, with no definitional reduction.

full rationale

The paper defines the augmented wonderful variety geometrically for any hyperplane arrangement, establishes cohomology vanishing, and constructs coalgebra operations on H^0(X, L) directly from pullbacks and correspondences on X. These are shown to correspond to the Ardila-Postnikov power ideals by explicit comparison of bases and operations, without any fitted parameters, self-definitional loops, or load-bearing self-citations. Citations to prior combinatorial definitions are external and independent; the geometric side supplies new content (vanishing theorems, superspace interpretations) rather than renaming or tautologically recovering the input. No equation reduces the claimed coalgebra structure to its combinatorial counterpart by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background from algebraic geometry and prior combinatorial definitions without introducing new free parameters or postulated entities.

axioms (2)
  • domain assumption The augmented wonderful variety exists, is smooth, and carries well-behaved line bundles for any hyperplane arrangement
    Invoked throughout to define the spaces of sections; drawn from earlier literature on wonderful varieties.
  • domain assumption Cohomology groups of the relevant bundles vanish in the degrees needed for dimension calculations
    Central to recovering algebraic dimensions; proved in the paper but rests on standard vanishing techniques in algebraic geometry.

pith-pipeline@v0.9.0 · 5405 in / 1540 out tokens · 69639 ms · 2026-05-10T18:28:21.439434+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

2 extracted references · 2 canonical work pages

  1. [1]

    MR309764 [BV99] Michel Brion and Mich` ele Vergne,Arrangement of hyperplanes. I. Rational functions and Jeffrey-Kirwan residue, Ann. Sci. ´Ecole Norm. Sup. (4)32(1999), no. 5, 715–741. MR1710758 [CDBHP25] Colin Crowley, Galen Dorpalen-Barry, Andr´ e Henriques, and Nicholas Proudfoot,The geometry of zonotopal algebras I: cohomology of graphical configurati...

    work page arXiv 1999

  2. [2]

    131, Princeton University Press, Princeton, NJ, 1993

    MR672621 [Ful93] William Fulton,Introduction to toric varieties, Annals of Mathematics Studies, vol. 131, Princeton University Press, Princeton, NJ, 1993. The William H. Roever Lectures in Geometry. [Gil18] Bryan Gillespie,The generalized external order, and applications to zonotopal algebra, 2018. Thesis (Ph.D.)– University of California Berkeley. [HR11]...

    work page arXiv 1993