pith. sign in

arxiv: 2304.03936 · v2 · pith:UVDAXUP3new · submitted 2023-04-08 · 🧮 math.AT

The integral cohomology rings of four-dimensional toric orbifolds

Xin Fu , Tseleung So , Jongbaek Song This is my paper

Pith reviewed 2026-05-24 09:17 UTC · model grok-4.3

classification 🧮 math.AT
keywords toric orbifoldsintegral cohomologycohomology ringscup productscharacteristic functionspolygonsalgebraic topology4-dimensional orbifolds
0
0 comments X

The pith

The integral cohomology ring of a 4D toric orbifold X(P,λ) is given by an explicit basis whose cup products are expressed directly in terms of the polygon P and characteristic function λ, when locally smooth at vertices.

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

The paper determines the full integral cohomology ring of four-dimensional toric orbifolds X(P,λ) by giving a concrete basis for the cohomology groups and explicit formulas for all cup products. These formulas depend only on the combinatorial data of the input polygon P and the assignment λ of integer vectors to its edges. The construction requires that the orbifold be locally smooth over each vertex of P. This supplies a direct computational route to the ring structure rather than relying on indirect spectral sequences or other topological machinery. Readers working with orbifolds in algebraic topology or geometry can therefore obtain the ring by inspection of P and λ alone.

Core claim

Assuming that X(P,λ) is locally smooth over a vertex of P, the integral cohomology ring H^*(X(P,λ);Z) is determined by constructing an explicit basis and expressing the cup products of the basis elements in terms of P and λ.

What carries the argument

The toric orbifold X(P,λ) associated to a polygon P and characteristic function λ, together with the explicit basis of cohomology classes and the combinatorial rules for their cup products.

If this is right

  • All cup products in the ring are completely determined by the edge data of P and the values of λ.
  • The cohomology groups admit a basis whose structure constants are read off from the polygon and its characteristic function.
  • The ring computation applies uniformly to every 4D toric orbifold satisfying the local smoothness condition at vertices.
  • No additional topological data beyond P and λ is required to obtain the full ring structure.

Where Pith is reading between the lines

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

  • The same combinatorial description might be used to compute other ring-valued invariants such as cohomology with local coefficients.
  • Analogous basis constructions could be attempted for higher-dimensional toric orbifolds under suitable local smoothness hypotheses.
  • The explicit ring presentation supplies a concrete test for whether two toric orbifolds are isomorphic as cohomology rings.

Load-bearing premise

The orbifold X(P,λ) must be locally smooth over a vertex of P.

What would settle it

A concrete 4-dimensional toric orbifold X(P,λ) that is locally smooth at vertices of P whose actual integral cohomology ring fails to match the basis and cup-product formulas constructed from P and λ.

Figures

Figures reproduced from arXiv: 2304.03936 by Jongbaek Song, Tseleung So, Xin Fu.

Figure 1
Figure 1. Figure 1: A characteristic pair (P, λ) where the quotient ring depends only on (P, λ). In practice, however, computing the cohomology ring H∗ (X(P, λ); Z) using (1.2) is still difficult in general because it is a complicated problem to find generators of wSR[P, λ]/J . The aim of this paper is to refine the ring isomorphism (1.2) for the case of 4-dimensional toric orbifolds and derive a formula for calculating cup p… view at source ↗
Figure 2
Figure 2. Figure 2: Characteristic function on △. for k = 1, . . . , d, where {x1, . . . , xd} is the canonical generators of H∗ (BT d ). Con￾sider the commutative diagram H∗ (BT d ) H∗ (BT m) Z[y1, . . . , ym] H∗ T d (X(P, λ)) H∗ T m(ZP ) SR[P] (B exp Λ)∗ ̟∗ ∼= ̟˜ ∗ q κ ∗ T Φ where {y1, . . . , ym} is the canonical basis of H2 (BT m) and q is the quotient map. The left square is induced by the right square of (2.3) and the r… view at source ↗
Figure 3
Figure 3. Figure 3: Example of an edge-contraction. the associated edge-contraction ρ: P → △ contracts E1 to v ′ 1 and E3 ∪ E4 to v ′ 2 , which is illustrated in [PITH_FULL_IMAGE:figures/full_fig_p020_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Example of an edge-bending. 5.2. Edge-contraction and edge-bending morphisms. In this subsection, we extend the notion of edge-contraction morphisms to degenerate toric spaces, and define edge-bending morphisms which are their right homotopy inverses. These maps play important roles in the proof of the main theorem. Definition 5.4. Given a degenerate characteristic pair (P, λ) and an order-preserving surje… view at source ↗
Figure 5
Figure 5. Figure 5: A line segment in P and an edge-contraction. Lemma 5.13. Suppose {u1, . . . , un; v} and {u ′ 1 , . . . , u′ n′ ; v ′} are the oriented cellu￾lar bases of H∗ (Y(a,b)) and H∗ (Y(a′ ,b′ )) respectively. Then the induced homomor￾phism Y (ρ, idT ) ∗ : H∗ (Y(a′ ,b′ )) → H∗ (Y(a,b)) sends v ′ to v, and sends u ′ k to usk for 1 ≤ k ≤ n ′ . Proof. Let π: Y(a,b) → P and π ′ : Y(a′ ,b′ ) → P ′ be the orbit maps, and… view at source ↗
Figure 6
Figure 6. Figure 6: Factorization of ρi : P → △. forms a cellular basis of H∗ (Y(ai,bi),(aj ,bj )). Then the off-diagonal entry cij is de￾termined by the cup products of elements in B(ij). Proposition 6.7. Let M(B, X(a,b)) = (ckℓ)1≤k,ℓ≤n be the cellular cup product rep￾resentation of H∗ (X(a,b)). For 1 ≤ i < j ≤ n the cellular cup product representation of H∗ (Y(ai,bi),(aj ,bj )) with respect to B(ij ) in (6.11) is M [PITH_F… view at source ↗
read the original abstract

Let $X(P,\lambda)$ be a 4-dimensional toric orbifold associated to a polygon $P$ and a characteristic function $\lambda$. Assuming that $X(P,\lambda)$ is locally smooth over a vertex of $P$, we determine the integral cohomology ring $H^*(X(P,\lambda);\Z)$ by constructing an explicit basis and expressing the cup products of the basis elements in terms of $P$ and $\lambda$.

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

0 major / 1 minor

Summary. The manuscript determines the integral cohomology ring H^*(X(P,λ);Z) of a 4-dimensional toric orbifold associated to a polygon P and characteristic function λ. Under the assumption that X(P,λ) is locally smooth over a vertex of P, it constructs an explicit basis for the cohomology groups and expresses the cup-product structure constants directly in terms of the combinatorial data (P,λ).

Significance. If the construction is valid, the result supplies an explicit, combinatorial description of the integral cohomology ring for these orbifolds. The provision of a basis together with cup-product formulas expressed solely in terms of P and λ is a concrete strength, as it yields directly computable structure constants without additional fitted parameters or reductions.

minor comments (1)
  1. The abstract states the local-smoothness hypothesis clearly, but the introduction would benefit from a brief reminder of why this condition is necessary for the local model to be a smooth manifold.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for recommending acceptance. We are pleased that the explicit combinatorial description of the integral cohomology ring was viewed as a strength.

Circularity Check

0 steps flagged

Direct combinatorial construction; no circularity

full rationale

The paper states that, under the local smoothness assumption at vertices, it determines H^*(X(P,λ);Z) by an explicit basis whose cup-product structure constants are written directly in terms of the input polygon P and characteristic function λ. No step reduces a claimed prediction or uniqueness result to a fitted parameter, a self-citation chain, or a definitional tautology; the derivation is presented as a self-contained combinatorial construction whose only external input is the stated local-smoothness hypothesis. The reader's assessment of score 0 is therefore confirmed by the absence of any load-bearing reduction of the central claim to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions of toric orbifolds, singular cohomology, and cup products from prior literature in algebraic topology; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Singular cohomology with integer coefficients forms a graded-commutative ring under the cup product
    This is the algebraic structure whose explicit form is being determined.
  • domain assumption Toric orbifolds X(P,λ) are well-defined topological spaces associated to a polygon and characteristic function
    The objects of study are taken from the existing theory of toric orbifolds.

pith-pipeline@v0.9.0 · 5590 in / 1233 out tokens · 33786 ms · 2026-05-24T09:17:49.235145+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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the homotopy types of $4$-dimensional toric orbifolds

    math.AT 2026-04 unverdicted novelty 6.0

    Each proper isomorphism class of 4-dimensional toric orbifolds contains at most two distinct homotopy types.

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

    math.AT 2026-04 unverdicted novelty 6.0

    The degree-two equivariant cohomology of 4D toric orbifolds with vanishing odd cohomology has an integral basis identified with the intersection of certain lattices.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 2 Pith papers

  1. [1]

    The equivariant cohomology ring of weighted projective space

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

    work page 2009

  2. [2]

    Buchstaber and Taras E

    Victor M. Buchstaber and Taras E. Panov. Torus actions and their applications in topology and combinatorics , volume 24 of University Lecture Series . American Mathematical Society, Providence, RI, 2002

    work page 2002

  3. [3]

    Buchstaber and Taras E

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

    work page 2015

  4. [4]

    On the integral cohomology ring of toric orbifolds and singular toric varieties

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

    work page 2017

  5. [5]

    Cox, John B

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

    work page 2011

  6. [6]

    V. I. Danilov. The geometry of toric varieties. Uspekhi Mat. Nauk , 33(2(200)):85--134, 247, 1978

    work page 1978

  7. [7]

    Davis and Tadeusz Januszkiewicz

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

    work page 1991

  8. [8]

    Equivariant cohomology of torus orbifolds

    Alastair Darby, Shintar\^ o Kuroki, and Jongbaek Song. Equivariant cohomology of torus orbifolds. Canad. J. Math. , 74(2):299--328, 2022

    work page 2022

  9. [9]

    Cohomology of smooth toric varieties: naturality

    Matthias Franz and Xin Fu. Cohomology of smooth toric varieties: naturality. arXiv:2104.03825 [math.AT] , 2021

    work page arXiv 2021

  10. [10]

    On toric varieties

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

    work page 1992

  11. [11]

    Exact cohomology sequences with integral coefficients for torus actions

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

    work page 2007

  12. [12]

    The cohomology rings of smooth toric varieties and quotients of moment-angle complexes

    Matthias Franz. The cohomology rings of smooth toric varieties and quotients of moment-angle complexes. Geom. Topol. , 25(4):2109--2144, 2021

    work page 2021

  13. [13]

    The homotopy classification of four-dimensional toric orbifolds

    Xin Fu, Tseleung So, and Jongbaek Song. The homotopy classification of four-dimensional toric orbifolds. Proc. Roy. Soc. Edinburgh Sect. A , 152(3):626--648, 2022

    work page 2022

  14. [14]

    Homology and cohomology of toric varieties

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

    work page 1998

  15. [15]

    Torus embeddings, polyhedra, k^ -actions and homology

    Jerzy Jurkiewicz. Torus embeddings, polyhedra, k^ -actions and homology. Dissertationes Math. (Rozprawy Mat.) , 236:64, 1985

    work page 1985

  16. [16]

    Kasprzyk

    Alexander M. Kasprzyk. Bounds on fake weighted projective space. Kodai Math. J. , 32(2):197--208, 2009

    work page 2009

  17. [17]

    Torsion in the cohomology of torus orbifolds

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

    work page 2017

  18. [18]

    On quasitoric orbifolds

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

    work page 2010

  19. [19]

    Introduction to homotopy theory , volume 9 of Fields Institute Monographs

    Paul Selick. Introduction to homotopy theory , volume 9 of Fields Institute Monographs . American Mathematical Society, Providence, RI, 1997

    work page 1997