arxiv: 2604.16739 · v1 · submitted 2026-04-17 · 🧮 math.AT

Recognition: unknown

Moment angle complexes and duality for tight manifolds

Carlos Gabriel Valenzuela Ruiz, Daisuke Kishimoto, Donald Stanley

Pith reviewed 2026-05-10 06:27 UTC · model grok-4.3

classification 🧮 math.AT

keywords moment-angle complextight triangulationLefschetz dualitydouble homologymanifold triangulationBetti numberF-tighthomology inequality

0 comments

The pith

The total homology rank of the moment-angle complex Z_K satisfies β(Z_K; F) ≥ 2^{m-1}(β(K; F)-2)+2, with equality exactly when the triangulation K is F-tight.

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

The paper proves an inequality that lower-bounds the total Betti number of the moment-angle complex constructed from any triangulation of a compact F-orientable manifold. Equality holds in the bound if and only if the triangulation meets the combinatorial condition of being F-tight. The argument proceeds by constructing a short exact sequence of functors from Lefschetz duality on the moment-angle complex; this sequence in turn yields a duality theorem in double homology that applies specifically to the tight cases. A reader might care because the result converts the geometric notion of tightness into a concrete, computable statement about homology ranks.

Core claim

For a field F and a triangulated compact F-orientable manifold, the total homology rank β(Z_K; F) of the associated moment-angle complex satisfies β(Z_K; F) ≥ 2^{m-1}(β(K; F)-2)+2, with equality occurring exactly when the triangulation is F-tight. Using Lefschetz duality, a short exact sequence of functors is introduced that produces a new duality theorem in double homology for tight manifold triangulations.

What carries the argument

The short exact sequence of functors obtained by applying Lefschetz duality to the moment-angle complex Z_K, which enforces both the rank inequality and the double-homology duality for F-tight triangulations.

If this is right

Tightness of a triangulation can be verified by checking whether the total homology rank of its moment-angle complex meets the stated lower bound.
Tight triangulations admit an additional duality isomorphism in their double homology groups.
Any triangulation that fails to be F-tight produces a strictly larger total homology rank in its moment-angle complex.
The inequality and the double-homology duality hold uniformly for every coefficient field F over which the manifold is orientable.

Where Pith is reading between the lines

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

The equality case supplies a practical computational test that could be used to enumerate or certify new families of tight triangulations.
Double homology may serve as a finer invariant for studying other combinatorial properties of manifold triangulations beyond tightness.
Similar functorial sequences might produce rank bounds for other polyhedral products or moment-angle constructions attached to manifolds.

Load-bearing premise

The underlying space must be a compact manifold that is orientable over the coefficient field F, so that Lefschetz duality applies functorially to the moment-angle complex.

What would settle it

Compute the total homology rank of Z_K for any known non-tight triangulation of a compact orientable manifold and check whether the rank is strictly larger than 2^{m-1}(β(K; F)-2)+2.

Figures

Figures reproduced from arXiv: 2604.16739 by Carlos Gabriel Valenzuela Ruiz, Daisuke Kishimoto, Donald Stanley.

**Figure 1.** Figure 1: Minimal triangulation of RP 2 βn(ZK; Z/2) =    1 n = 1 10 n = 5 15 n = 6 6 n = 7 1 n = 8 1 n = 9 0 else. Notice that this satisfies the equality in the previous theorem since β(RP 2 ; Z/2) = 3 and β(ZK) = 34 = 25 (3 − 2) + 2 = 26−1 (β(K) − 2) + 2, verifying this way the complex is tight. The above equation replaces the need to verify injectiveness of 2 6 maps to show tightness of the… view at source ↗

**Figure 2.** Figure 2: Minimal triangulation K1 of T 2 1 1 1 2 1 2 3 3 4 4 5 8 9 5 6 7 [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗

read the original abstract

For a field $\mathbb{F}$ and a triangulated compact $\mathbb{F}$-orientable manifold, consider the homology of the associated Moment-Angle ccomplex $H_*(\mathcal{Z}_{\mathcal{K}})$. We show the total homology rank $\beta(\mathcal{Z}_{\mathcal{K}})$ satisfies the inequality $\beta(\mathcal{Z}_{\mathcal{K}};\mathbb{F})\geq 2^{m-1}(\beta(\mathcal{K};\mathbb{F})-2)+2$, with equality occurring exactly when the triangulation is $\mathbb{F}$-tight. Using Lefschetz duality, we introduce a short exact sequence of functors that, in turn, introduces a new duality theorem in Double Homology for tight manifold triangulations.

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 concrete homology-rank inequality characterizing F-tight triangulations via moment-angle complexes plus a double-homology duality from a Lefschetz-derived short exact sequence, but the naturality of that sequence needs explicit checking.

read the letter

The main new pieces are the inequality β(Z_K; F) ≥ 2^{m-1}(β(K; F)-2)+2 with equality exactly when the triangulation is F-tight, and the duality theorem in double homology obtained by feeding Lefschetz duality into a short exact sequence of functors on the moment-angle complex. Both look fresh relative to the cited literature on moment-angle complexes and tightness. The inequality supplies a direct homological test that could be checked on examples, and the duality adds an algebraic relation that might simplify some calculations in this setting. The work stays within standard tools—Lefschetz duality for orientable manifolds and the usual properties of Z_K—so the grounding is solid where it applies classical facts. The soft spot is the claimed short exact sequence of functors. Standard Lefschetz duality is natural on the manifold or on K itself, but Z_K is assembled from the simplicial data, so the induced maps on homology must commute with the face inclusions and the double-homology construction for exactness to hold without extra conditions. The abstract states the sequence exists, but if the full paper does not verify the naturality diagrams or check exactness after applying the duality isomorphism, the rank inequality loses its support. That is the one place where a referee would want to see the diagrams or a clear argument that the functoriality carries through. The assumptions are the usual ones: compact F-orientable manifold and a triangulation K. No free parameters or circular definitions appear. This paper is for people already working in combinatorial or algebraic topology who care about tight triangulations and moment-angle constructions. A reader in that niche would get a usable test and a new duality relation to play with. It deserves peer review because the claims are specific enough that experts can check the naturality step and see whether the inequality holds up in examples.

Referee Report

1 major / 0 minor

Summary. The paper claims that for a field F and triangulated compact F-orientable manifold K with m vertices, the total homology rank of the moment-angle complex satisfies β(Z_K; F) ≥ 2^{m-1}(β(K; F)-2)+2, with equality if and only if the triangulation is F-tight. It constructs a short exact sequence of functors by applying Lefschetz duality to Z_K and derives from this a new duality theorem in double homology for tight manifold triangulations.

Significance. If the inequality and the functorial exact sequence are rigorously established, the work would link moment-angle complexes directly to the homological characterization of tightness and introduce a new duality framework in double homology, offering a potentially useful tool for studying triangulated manifolds in algebraic and combinatorial topology.

major comments (1)

[Section introducing the short exact sequence of functors (application of Lefschetz duality to Z_K)] The central inequality and the 'equality iff F-tight' statement both depend on the short exact sequence of functors obtained via Lefschetz duality applied to the moment-angle complex Z_K. Standard Lefschetz duality is formulated for the manifold or its triangulation K, not automatically for the functorial double-homology construction on Z_K; the manuscript must explicitly verify that the duality isomorphism is natural with respect to face inclusions and simplicial maps so that exactness is preserved. Without this check, the rank inequality does not follow.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to make the naturality of the duality isomorphism explicit. This is a substantive point that improves the rigor of the argument, and we have revised the manuscript accordingly.

read point-by-point responses

Referee: [Section introducing the short exact sequence of functors (application of Lefschetz duality to Z_K)] The central inequality and the 'equality iff F-tight' statement both depend on the short exact sequence of functors obtained via Lefschetz duality applied to the moment-angle complex Z_K. Standard Lefschetz duality is formulated for the manifold or its triangulation K, not automatically for the functorial double-homology construction on Z_K; the manuscript must explicitly verify that the duality isomorphism is natural with respect to face inclusions and simplicial maps so that exactness is preserved. Without this check, the rank inequality does not follow.

Authors: We agree that an explicit verification of naturality is required to justify the functorial short exact sequence. In the original manuscript the application of Lefschetz duality to Z_K was stated and the resulting sequence used to derive the rank inequality, but the compatibility of the duality isomorphism with the face-inclusion and simplicial-map functors was left implicit. In the revised version we have added a dedicated lemma (now Lemma 3.4) that establishes this naturality at the chain level: the duality pairing commutes with the maps induced by inclusions of faces of K and with the maps induced by simplicial maps between such triangulations. The proof proceeds by direct comparison of the cellular chains of the moment-angle complex with the dual chains furnished by the orientation of K. With this lemma in place the short exact sequence of functors is rigorously established, and the inequality together with the equality case for F-tight triangulations follows exactly as claimed. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation uses standard duality on moment-angle complexes

full rationale

The claimed inequality on total homology rank of the moment-angle complex Z_K and the equality case for F-tight triangulations are presented as consequences of applying Lefschetz duality to produce a short exact sequence of functors, followed by a new duality theorem in double homology. No quoted equation or step reduces the bound to a fitted parameter, a self-definition, or a load-bearing self-citation whose content is merely renamed. The abstract and described chain treat classical Lefschetz duality and known properties of moment-angle complexes as independent inputs, with the new functorial sequence and duality theorem as outputs. This is the normal non-circular case for a paper whose central claims rest on external homological facts rather than tautological rephrasing of its own data.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard theorem of Lefschetz duality for orientable manifolds and the established construction of moment-angle complexes; no free parameters or invented entities are introduced.

axioms (1)

standard math Lefschetz duality holds for compact F-orientable manifolds
Invoked to produce the short exact sequence of functors.

pith-pipeline@v0.9.0 · 5413 in / 1238 out tokens · 50298 ms · 2026-05-10T06:27:37.456456+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

[1]

Buchstaber and T

arXiv 1210.2368. [Bre93] G.E. Bredon.Topology and Geometry. Number v. 14 in Graduate Texts in Mathematics. Springer,

work page arXiv
[2]

[Han23] Yang Han

arXiv 1911.05600. [Han23] Yang Han. A moment angle complex whose rank of double cohomology is 6.Topology and its Applications, 326:108421,

work page arXiv 1911
[3]

[Zha24] Zhilei Zhang

arXiv 2510.10424. [Zha24] Zhilei Zhang. On the rank of the double cohomology of moment-angle complexes, 2024

work page arXiv 2024