arxiv: 2604.02562 · v1 · submitted 2026-04-02 · 🧮 math.AT

Recognition: 2 theorem links

· Lean Theorem

Integral bases for the second degree cohomology of 4-dimensional toric orbifolds

Jongbaek Song, Tseleung So

Pith reviewed 2026-05-13 19:50 UTC · model grok-4.3

classification 🧮 math.AT

keywords toric orbifoldsequivariant cohomologyintegral coefficientslattice intersectionPicard groupCartier divisorsalgebraic cellular basis

0 comments

The pith

A lattice intersection supplies an explicit integral basis for the degree-two equivariant cohomology of four-dimensional toric orbifolds whose odd-degree cohomology vanishes.

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

The paper examines four-dimensional toric orbifolds that have no cohomology in odd degrees. It identifies the degree-two part of their equivariant cohomology with integer coefficients as the intersection of two lattices, one coming from weight spaces and the other from divisor classes. This identification produces a concrete basis for that group. The same construction recovers the algebraic cellular basis for ordinary integral cohomology and computes the Cartier divisor and Picard groups when the orbifold is an algebraic variety.

Core claim

For a four-dimensional toric orbifold with vanishing odd-degree cohomology, the degree-two equivariant cohomology with integral coefficients equals the intersection of the lattice of integral weights and the lattice generated by the classes of the torus-invariant divisors.

What carries the argument

The intersection of two lattices (one from integral weights, one from divisor classes) that directly yields the desired basis.

Load-bearing premise

The toric orbifolds under consideration have vanishing odd-degree cohomology.

What would settle it

Pick a concrete four-dimensional toric orbifold known to have vanishing odd cohomology, compute its degree-two equivariant integral cohomology by any independent method such as localization or cellular chains, and check whether the resulting group equals the stated lattice intersection.

Figures

Figures reproduced from arXiv: 2604.02562 by Jongbaek Song, Tseleung So.

**Figure 1.** Figure 1: Polygon and Characteristic function. Proposition 3.1. [DKS22, Theorem 5.2] Let Li be the free Z-module generated by row vectors of the following (m × m)-matrix Λi =     Ii−1 ai ai+1 bi bi+1 Im−i−1     for i = 1, . . . , m − 1; Λm =       a1 am Im−2 b1 bm       for i = m, where Ik denotes the (k × k)-identity matrix and all empty blocks are zeros. Then, the degree 2 component of the weig… view at source ↗

read the original abstract

We study toric orbifolds of real dimension four with vanishing odd-degree cohomology and obtain a basis for its degree-two equivariant cohomology with integral coefficients by identifying it with the intersection of certain lattices. As applications, we provide an alternative construction of the \emph{algebraic cellular basis} for integral ordinary cohomology \cite{FSS2}. In addition, when the toric orbifold is an algebraic variety, we determine its Cartier divisor group and Picard group.

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 gives a lattice-intersection basis for integral equivariant H^2 on 4D toric orbifolds that already have vanishing odd cohomology, then uses it for cellular bases and Picard groups.

read the letter

The central claim is that for four-dimensional toric orbifolds with vanishing odd-degree cohomology, the integral equivariant cohomology in degree two equals the intersection of two lattices extracted from the fan. This supplies an explicit basis and leads to two applications: an alternative construction of the algebraic cellular basis for ordinary integral cohomology, and explicit descriptions of the Cartier divisor group and Picard group when the orbifold is algebraic.

Referee Report

2 major / 2 minor

Summary. The paper studies 4-dimensional toric orbifolds assuming vanishing odd-degree cohomology. It claims to obtain an explicit integral basis for the degree-two equivariant cohomology by identifying it with the intersection of two lattices constructed from the fan data. Applications include an alternative construction of the algebraic cellular basis for ordinary integral cohomology and, in the algebraic case, explicit descriptions of the Cartier divisor group and Picard group.

Significance. If the lattice identification is valid, the result supplies a combinatorial, fan-based method for computing integral bases of equivariant H^2 that is independent of spectral-sequence computations after the vanishing hypothesis. This is useful for explicit calculations in toric orbifold cohomology and extends prior work on algebraic cellular bases. The approach is concrete and potentially reproducible from fan data alone.

major comments (2)

[§4 (main theorem and spectral-sequence argument)] The central identification (main theorem, §4) equates the integral equivariant H^2 to a lattice intersection only after imposing vanishing of all odd-degree cohomology groups to guarantee degeneration of the relevant spectral sequence and freeness of the expected rank. No combinatorial criterion, independent proof, or verification is supplied that this vanishing holds for the 4-dimensional toric orbifolds under consideration; without it the intersection may compute only a submodule.
[§5 and §6] The applications to the algebraic cellular basis (§5) and to Cartier/Picard groups (§6) inherit the same vanishing hypothesis without additional checks; if the hypothesis fails for some fans, the claimed bases and group identifications would be incomplete.

minor comments (2)

[§3] Notation for the two lattices whose intersection is taken is introduced without a single consolidated definition; a displayed equation collecting both lattices would improve readability.
The reference list omits a standard citation for the spectral sequence used in the degeneration argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the insightful comments. We address each major comment below, clarifying the role of the vanishing hypothesis in our results.

read point-by-point responses

Referee: [§4 (main theorem and spectral-sequence argument)] The central identification (main theorem, §4) equates the integral equivariant H^2 to a lattice intersection only after imposing vanishing of all odd-degree cohomology groups to guarantee degeneration of the relevant spectral sequence and freeness of the expected rank. No combinatorial criterion, independent proof, or verification is supplied that this vanishing holds for the 4-dimensional toric orbifolds under consideration; without it the intersection may compute only a submodule.

Authors: The main theorem is explicitly conditional on the vanishing of odd-degree cohomology, which is stated in the abstract, introduction, and the statement of the theorem in §4. This assumption ensures the spectral sequence degenerates at the E2 page and that the equivariant cohomology is free of the expected rank, allowing the identification with the lattice intersection. We do not claim a general criterion for when the vanishing holds, as the paper's focus is on deriving the basis under this hypothesis, which is a standard assumption in the study of toric orbifolds with integral cohomology (see e.g. references on quasitoric manifolds). The intersection computes the full group precisely when the hypothesis is satisfied. We will revise the manuscript to emphasize this conditional nature more prominently in the statement of the main theorem. revision: partial
Referee: [§5 and §6] The applications to the algebraic cellular basis (§5) and to Cartier/Picard groups (§6) inherit the same vanishing hypothesis without additional checks; if the hypothesis fails for some fans, the claimed bases and group identifications would be incomplete.

Authors: Sections 5 and 6 build directly upon the main result of §4, so they naturally inherit the vanishing hypothesis. In the revised version, we will add explicit reminders at the beginning of these sections that the constructions and identifications hold under the assumption of vanishing odd cohomology. For the algebraic case in §6, the toric orbifolds are varieties where this vanishing is typically satisfied (such as in the context of the algebraic cellular basis from FSS2), but we agree that a general verification for arbitrary fans is beyond the scope of this paper and not provided. revision: yes

Circularity Check

0 steps flagged

No circularity: lattice identification is independent of the result under stated hypothesis

full rationale

The paper explicitly restricts to 4-dimensional toric orbifolds with vanishing odd-degree cohomology and, under that hypothesis, identifies the integral equivariant H^2 with an intersection of lattices constructed from the fan data. No equation or step equates the claimed basis to a fitted quantity, renames a prior result, or reduces the identification to a self-citation chain. The vanishing assumption is taken as input rather than derived from the basis itself, and the lattice construction uses standard combinatorial data without circular dependence on the output module. The derivation therefore remains self-contained against external benchmarks such as the fan and the spectral-sequence degeneration that follows from the hypothesis.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on domain assumptions from toric geometry and cohomology theory. No free parameters or invented entities are visible in the abstract.

axioms (2)

domain assumption The toric orbifolds under study have vanishing odd-degree cohomology
This is the explicit condition stated for the spaces whose cohomology is studied.
domain assumption Degree-two equivariant cohomology with integral coefficients can be identified with the intersection of certain lattices
This is the key identification used to obtain the basis.

pith-pipeline@v0.9.0 · 5363 in / 1223 out tokens · 48858 ms · 2026-05-13T19:50:09.572300+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 unclear
Theorem 1.1 … H²_T(X(P,λ);ℤ) ≅ wSR₂(P,λ) ≅ ℤ⟨a⟩ ⊕ ℤ⟨b⟩ ⊕ ϕ(K) … under the hypothesis that H³(X(P,λ);ℤ)=0

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Anthony Bahri, Matthias Franz, and Nigel Ray, The equivariant cohomology ring of weighted projective space, Math. Proc. Cambridge Philos. Soc. 146 (2009), no. 2, 395--405

work page 2009
[2]

Buchstaber and Taras E

Victor M. Buchstaber and Taras E. Panov, Toric topology, Mathematical Surveys and Monographs, vol. 204, American Mathematical Society, Providence, RI, 2015

work page 2015
[3]

Anthony Bahri, Soumen Sarkar, and Jongbaek Song, On the integral cohomology ring of toric orbifolds and singular toric varieties, Algebr. Geom. Topol. 17 (2017), no. 6, 3779--3810

work page 2017
[4]

Cox, John B

David A. Cox, John B. Little, and Henry K. Schenck, Toric varieties, Graduate Studies in Mathematics, vol. 124, American Mathematical Society, Providence, RI, 2011

work page 2011
[5]

Davis and Tadeusz Januszkiewicz, Convex polytopes, C oxeter orbifolds and torus actions , Duke Math

Michael W. Davis and Tadeusz Januszkiewicz, Convex polytopes, C oxeter orbifolds and torus actions , Duke Math. J. 62 (1991), no. 2, 417--451

work page 1991
[6]

2, 299--328

Alastair Darby, Shintar \^o Kuroki, and Jongbaek Song, Equivariant cohomology of torus orbifolds, Canadian Journal of Mathematics 74 (2022), no. 2, 299--328

work page 2022
[7]

thesis, Universit \"a t Bern (1992)

Stephan Fischli, On toric varieties, Ph.D. thesis, Universit \"a t Bern (1992)

work page 1992
[8]

Groups 12 (2007), no

Matthias Franz and Volker Puppe, Exact cohomology sequences with integral coefficients for torus actions, Transform. Groups 12 (2007), no. 1, 65--76

work page 2007
[9]

Matthias Franz, Describing toric varieties and their equivariant cohomology, Colloq. Math. 121 (2010), no. 1, 1--16

work page 2010
[10]

Xin Fu, Tseleung So, and Jongbaek Song, The integral cohomology ring of four-dimensional toric orbifolds, arXiv:2304.03936 [math.AT] (2023)

work page arXiv 2023
[11]

131, Princeton University Press, Princeton, NJ, 1993, The William H

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

work page 1993
[12]

thesis, University of Konstanz (1998)

Arno Jordan, Homology and cohomology of toric varieties, Ph.D. thesis, University of Konstanz (1998)

work page 1998
[13]

Kawasaki, Cohomology of twisted projective spaces and lens complexes, Math

T. Kawasaki, Cohomology of twisted projective spaces and lens complexes, Math. Ann. 206 (1973), 243--248

work page 1973
[14]

Hideya Kuwata, Mikiya Masuda, and Haozhi Zeng, Torsion in the cohomology of torus orbifolds, Chinese Ann. Math. Ser. B 38 (2017), no. 6, 1247--1268

work page 2017
[15]

Eugene Lerman and Susan Tolman, Hamiltonian torus actions on symplectic orbifolds and toric varieties, Trans. Amer. Math. Soc. 349 (1997), no. 10, 4201--4230

work page 1997
[16]

Mainak Poddar and Soumen Sarkar, On quasitoric orbifolds, Osaka J. Math. 47 (2010), no. 4, 1055--1076

work page 2010