Note on Euler characteristic of a toric vector bundle

Kiumars Kaveh; Shaoyu Huang; Suhyon Chong

arxiv: 2601.22514 · v2 · submitted 2026-01-30 · 🧮 math.AG

Note on Euler characteristic of a toric vector bundle

Suhyon Chong , Shaoyu Huang , Kiumars Kaveh This is my paper

Pith reviewed 2026-05-16 09:57 UTC · model grok-4.3

classification 🧮 math.AG

keywords toric varietyvector bundleEuler characteristicconvex chaintorus actionlattice pointsEhrhart theory

0 comments

The pith

A lattice convex chain attached to any torus-equivariant vector bundle on a toric variety sums to the bundle's Euler characteristic over lattice points.

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

The paper extends the known link between equivariant line bundles on projective toric varieties and virtual lattice polytopes to the vector-bundle setting. It constructs a lattice convex chain from any torus-equivariant vector bundle and proves that evaluating this chain at all lattice points and summing the values recovers the Euler characteristic. The construction rests on Khovanskii-Pukhlikov theory, which treats convex chains as finite integer combinations of polytope indicators and extends classical Ehrhart counting. A reader cares because the result supplies a purely combinatorial recipe for the Euler characteristic that bypasses direct cohomology calculations.

Core claim

We associate a lattice convex chain to a torus equivariant vector bundle on a toric variety and show that the sum of the values of this convex chain on lattice points equals the Euler characteristic of the bundle.

What carries the argument

The lattice convex chain assigned to the torus-equivariant vector bundle, which extends the virtual polytope used for line bundles and whose lattice-point sum computes the Euler characteristic.

If this is right

The Euler characteristic of any torus-equivariant vector bundle on a toric variety becomes computable from the combinatorics of a single convex chain.
The line-bundle case, previously handled by virtual polytopes, is recovered as the special instance where the chain is supported on a single polytope.
Higher cohomology groups may admit similar combinatorial expressions once the chain is known, because the Euler characteristic is their alternating sum.
The result applies uniformly to both projective and non-projective toric varieties.

Where Pith is reading between the lines

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

The same chain construction might be used to extract individual cohomology dimensions if one can isolate the contributions of each degree.
The method could extend to compute K-theoretic invariants or other numerical invariants of the bundle that are determined by the lattice-point sum.
One could test whether the chain itself encodes the support of the bundle or its splitting type on torus-invariant subvarieties.

Load-bearing premise

The explicit assignment of a well-defined lattice convex chain to an arbitrary torus-equivariant vector bundle continues to produce the correct Euler characteristic without introducing new inconsistencies.

What would settle it

Compute the Euler characteristic of a concrete toric vector bundle by direct cohomology and compare it with the lattice-point sum of the associated convex chain; a mismatch on even one example would refute the claim.

read the original abstract

A convex chain is a finite integer linear combination of indicator functions of convex polytopes. Khovanskii-Pukhlikov extend the Ehrhart theory of convex lattice polytopes to the setting of convex chains. Extending the relationship between equivariant line bundles on projective toric varieties and virtual lattice polytopes, we associate a lattice convex chain to a torus equivariant vector bundle on a toric variety and show that sum of values of this convex chain on lattice points gives the Euler characteristic of the bundle.

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 note extends the lattice convex chain approach to give a summation formula for Euler characteristics of torus-equivariant vector bundles.

read the letter

The main point is that the authors associate a lattice convex chain to any torus-equivariant vector bundle on a toric variety so that summing the chain over lattice points recovers the Euler characteristic. This is the direct extension of the Khovanskii-Pukhlikov convex chain setup and the virtual polytope correspondence that already works for line bundles. The new piece is the explicit map for rank greater than one and the resulting lattice-point formula. It keeps the combinatorial flavor without adding parameters or extra data, which is a clean move. The abstract states the claim plainly and ties it to established prior results, so the direction is easy to follow. A soft spot is additivity on short exact sequences. Euler characteristic is additive, so the chain map must send 0 to E' to E to E'' to 0 into C(E') + C(E''). The line bundle case reduces to virtual polytopes, but the note needs to confirm the construction respects exact sequences for non-split bundles. If the proof checks this, even on a small example, the result holds; otherwise the formula could be limited to split cases. From the abstract it is not obvious how they handle the general step. This is for people already working in toric geometry or combinatorial methods for cohomology. Someone using Ehrhart-type tools on bundles would get a usable incremental result. It is worth sending to peer review because the claim is specific, builds on solid prior work, and can be checked against known computations in low dimensions.

Referee Report

1 major / 2 minor

Summary. The manuscript extends the Khovanskii-Pukhlikov correspondence by associating a lattice convex chain C(E) to any torus-equivariant vector bundle E on a toric variety X and claims that the sum of C(E) over all lattice points equals the Euler characteristic χ(X,E). The construction is presented as a direct generalization of the virtual-polytope case for line bundles.

Significance. If the association is rigorously defined and functorial, the result supplies a combinatorial formula for Euler characteristics of higher-rank equivariant bundles, which could streamline computations in toric geometry beyond the line-bundle setting already covered by Khovanskii-Pukhlikov theory.

major comments (1)

[Main construction (after the abstract)] The central claim requires that the map E ↦ C(E) be additive on short exact sequences 0 → E' → E → E'' → 0 so that χ remains additive. No verification of this homomorphism property is given for a non-split sequence; without it the equality for general rank >1 bundles rests on an unexamined extension of the line-bundle construction.

minor comments (2)

[Abstract] The abstract and introduction should explicitly state the standing assumptions on the toric variety (e.g., projective, complete, or simplicial) and on the base field.
[Section 2] Notation for the lattice convex chain (e.g., how the integer coefficients are determined from the bundle data) should be introduced with a displayed definition or equation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to verify additivity of the map E ↦ C(E) on short exact sequences. This is indeed essential for the result to hold in the higher-rank case, and we address the point directly below.

read point-by-point responses

Referee: [Main construction (after the abstract)] The central claim requires that the map E ↦ C(E) be additive on short exact sequences 0 → E' → E → E'' → 0 so that χ remains additive. No verification of this homomorphism property is given for a non-split sequence; without it the equality for general rank >1 bundles rests on an unexamined extension of the line-bundle construction.

Authors: We agree that explicit verification of additivity on arbitrary (including non-split) short exact sequences is required. The construction of the lattice convex chain C(E) is defined via the equivariant Chern character and the associated virtual polytope data in the Grothendieck ring of torus-equivariant bundles; this makes the assignment a group homomorphism from K_T^0(X) to the group of convex chains by design. Consequently additivity holds on all exact sequences. To address the referee’s concern we will insert a short lemma (with a concrete non-split example on a weighted projective space) confirming that C respects the relations in K-theory. This clarification will appear in the revised version. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior Khovanskii-Pukhlikov theory; central association for vector bundles is an independent construction

full rationale

The derivation associates an explicit lattice convex chain to any torus-equivariant vector bundle and equates its lattice-point sum to the Euler characteristic, extending the line-bundle/virtual-polytope case. This association is presented as a new map without reducing to a fitted parameter, self-definition, or load-bearing self-citation chain. Prior results on convex chains and Ehrhart theory are cited as external support rather than as the sole justification for the vector-bundle step. No equation or step in the provided text reduces the claimed equality to an input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claim rests on the Khovanskii-Pukhlikov theory of convex chains and the extension of the line-bundle correspondence; the new association itself is introduced without additional external evidence.

axioms (2)

domain assumption Khovanskii-Pukhlikov extension of Ehrhart theory to convex chains
Invoked to guarantee that convex chains behave like virtual polytopes for counting purposes.
ad hoc to paper Existence of a canonical lattice convex chain associated to any torus-equivariant vector bundle
The paper defines this association as the key new step extending the line-bundle case.

invented entities (1)

lattice convex chain for a torus-equivariant vector bundle no independent evidence
purpose: To combinatorially encode the bundle data so that lattice-point summation recovers the Euler characteristic
New construction introduced by the paper; no independent falsifiable evidence outside the association itself is provided in the abstract.

pith-pipeline@v0.9.0 · 5373 in / 1366 out tokens · 24472 ms · 2026-05-16T09:57:19.179697+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/ArithmeticFromLogic.lean LogicNat recovery theorem unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

we associate a lattice convex chain to a torus equivariant vector bundle on a toric variety and show that sum of values of this convex chain on lattice points gives the Euler characteristic of the bundle
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.5. ... χ(E)_u = α_E(u) for all u ∈ M

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.