pith. sign in

arxiv: 2605.23112 · v1 · pith:T5RTGQQ6new · submitted 2026-05-22 · 🧮 math.GT

On 3-dimensional locally standard T-pseudomanifolds

Yuya Koike This is my paper

Pith reviewed 2026-05-25 03:22 UTC · model grok-4.3

classification 🧮 math.GT
keywords locally standard T-pseudomanifoldstorus actionsequivariant homeomorphismcharacteristic dataorbit spacestopological manifoldsstratified pseudomanifoldsdimension three
0
0 comments X

The pith

Locally standard T-pseudomanifolds of dimension at most three are classified by characteristic data alone, without a homotopy equivalence condition.

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 earlier classification of these torus-equipped stratified pseudomanifolds by characteristic data holds in full without the homotopy equivalence requirement once the dimension drops to three or below. It further identifies exactly which of these objects are topological manifolds by examining properties of their orbit spaces. A reader would care because the removal of the extra condition makes the low-dimensional cases directly usable for recognizing manifold structures and equivariant types from combinatorial data.

Core claim

Locally standard T-pseudomanifolds were previously classified up to equivariant homeomorphism by characteristic data only when an additional homotopy equivalence condition holds. This paper proves the condition can be dropped entirely when the dimension is at most three. It also gives a characterization, in terms of the orbit space, of which such objects are topological manifolds.

What carries the argument

Characteristic data, which records the combinatorial and equivariant information of the torus action and stratification and now classifies the objects outright in dimensions ≤3; the orbit space serves as the test for the manifold property.

If this is right

  • Equivariant homeomorphism types of these objects in dimension ≤3 are determined directly by their characteristic data.
  • A 3-dimensional locally standard T-pseudomanifold is a topological manifold precisely when its orbit space satisfies the stated combinatorial conditions.
  • The classification theorem applies uniformly to all such objects in dimensions one through three without extra checks.

Where Pith is reading between the lines

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

  • The same orbit-space test might extend to deciding manifold-ness for related stratified objects equipped with torus actions in other low-dimensional settings.
  • If the prior framework already encodes all necessary data in dimension 3, explicit constructions of non-manifold examples could be read off from orbit spaces that violate the manifold criterion.

Load-bearing premise

The characteristic data defined in the prior work continue to distinguish distinct equivariant homeomorphism types once the homotopy condition is set aside in low dimensions.

What would settle it

Exhibit two 3-dimensional locally standard T-pseudomanifolds that share the same characteristic data yet fail to be equivariantly homeomorphic.

Figures

Figures reproduced from arXiv: 2605.23112 by Yuya Koike.

Figure 1
Figure 1. Figure 1: Pinched torus Tpin s: Q → Tpin. We next consider the pull-back of the principal T m−1 -bundle π ′ : X → Tpin along s: s ∗X = {(u, x) ∈ Q × X | s(u) = π ′ (x)}. This yields the pull-back diagram s ∗X X Q Tpin Φ q π ′ s where Φ(u, x) = x. Since H2 (Q, Z m−1 ) = 0, the principal T m−1 -bundle q : s ∗X → Q is trivial. Hence it admits a section σ : Q → s ∗X. Define s := Φ ◦ σ : Q → X. We claim that s is a secti… view at source ↗
read the original abstract

Locally standard $T$-pseudomanifolds were introduced by the authors in a previous work. They are topological stratified pseudomanifolds equipped with torus actions. Their equivariant homeomorphism types are classified by characteristic data under the homotopy equivalence condition. In this paper, we show that this condition can be removed when the dimension is at most three. We also characterize those of dimension at most three that are topological manifolds, in terms of their orbit spaces.

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

2 major / 1 minor

Summary. The manuscript extends the authors' prior classification of locally standard T-pseudomanifolds (topological stratified pseudomanifolds with torus actions) by characteristic data. It asserts that the homotopy-equivalence condition required in the general case can be removed when the dimension is at most three, and gives a characterization, in terms of orbit spaces, of precisely which such objects are topological manifolds.

Significance. If the dimension-specific removal of the homotopy condition holds, the result supplies a cleaner, condition-free classification in dimensions 2 and 3. This would be a concrete advance for the study of torus actions on low-dimensional pseudomanifolds and could serve as a model for similar simplifications in other stratified settings.

major comments (2)
  1. [Introduction / Abstract] The central claim—that the homotopy-equivalence hypothesis can be dropped for dim ≤ 3—rests on new arguments that are not outlined in the introduction or abstract. Without a sketch of the key lemmas or the precise place where the low-dimensional topology intervenes, it is impossible to assess whether the removal is justified or merely asserted.
  2. [Introduction] The characterization of topological manifolds via orbit spaces is stated as a second main result, yet no indication is given of the topological invariants or local conditions on the orbit space that distinguish manifolds from pseudomanifolds in this setting.
minor comments (1)
  1. Notation for the characteristic data and the orbit-space map should be introduced with explicit references to the authors' previous paper so that the present work is self-contained for readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We agree that the introduction requires additional clarification and will revise accordingly to address both points.

read point-by-point responses

  1. Referee: [Introduction / Abstract] The central claim—that the homotopy-equivalence hypothesis can be dropped for dim ≤ 3—rests on new arguments that are not outlined in the introduction or abstract. Without a sketch of the key lemmas or the precise place where the low-dimensional topology intervenes, it is impossible to assess whether the removal is justified or merely asserted.

    Authors: We agree that an outline of the arguments would strengthen the introduction. The removal of the homotopy-equivalence condition in dimension at most 3 follows from the fact that the orbit spaces are 3-dimensional polyhedra whose local structure, combined with local standardness of the action, permits an explicit reconstruction of the pseudomanifold from the characteristic data alone; no additional homotopy data is needed because low-dimensional classification theorems for such orbit spaces already determine the equivariant type. In the revised manuscript we will insert a short paragraph in the introduction sketching the relevant lemmas and indicating the precise role of the dimension bound. revision: yes

  2. Referee: [Introduction] The characterization of topological manifolds via orbit spaces is stated as a second main result, yet no indication is given of the topological invariants or local conditions on the orbit space that distinguish manifolds from pseudomanifolds in this setting.

    Authors: The characterization identifies the manifold cases precisely when the orbit space is a topological 3-manifold with corners (i.e., every point has a neighborhood homeomorphic to a half-space or a quarter-space in R^3) and the characteristic data is compatible with the boundary strata. We will revise the introduction to state these local conditions explicitly, thereby indicating the topological invariants (local Euclidean structure of the orbit space) that separate the manifold and pseudomanifold cases. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper extends a classification framework from the author's prior work but the central result—that the homotopy equivalence condition can be removed for dimension ≤3 and that topological manifolds are characterized by orbit spaces—is presented as relying on new, dimension-specific arguments. No load-bearing step reduces by construction to a self-citation, fitted parameter, or self-definitional equivalence; the prior framework supplies the setting while the removal and characterization are independent content. This is the normal case of honest extension rather than circular derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities are identifiable.

pith-pipeline@v0.9.0 · 5586 in / 907 out tokens · 52619 ms · 2026-05-25T03:22:00.446446+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

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    Bridson, Andr\'e Haefliger, ``Metric spaces of non-positive curvature", Springer, Volume 319 (1999)

    Martin R. Bridson, Andr\'e Haefliger, ``Metric spaces of non-positive curvature", Springer, Volume 319 (1999)

    work page 1999

  2. [2]

    Victor Buchstaber, Taras Panov, ``Toric Topology", Amer Mathematical Society (2012)

    work page 2012

  3. [3]

    Davis, Tadeusz Januszkiewicz , ``Convex polytopes, Coxeter orbifolds and torus actions" , Duke Math

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

    work page 1991

  4. [4]

    Davis, Giang Le and Kevin Schreve, ``Action dimensions of some simple complexes of groups" , Journal of Topology 12 (2019) 1266-1314

    Michael W. Davis, Giang Le and Kevin Schreve, ``Action dimensions of some simple complexes of groups" , Journal of Topology 12 (2019) 1266-1314

    work page 2019

  5. [5]

    Greg Friedman, ``Singular intersection homology", Vol. 33. New Mathematical Monographs. Cambridge University Press, Cambridge (2020)

    work page 2020

  6. [6]

    G\'omez-Larra\ nga, F

    J.C. G\'omez-Larra\ nga, F. Gonz\'alez-Acu\ na, Wolfgang Heil, ``2-dimensional stratifolds homotopy equivalent to S^2 " , Topology and its Applications 209 (2016), 56-62

    work page 2016

  7. [7]

    Hatcher, ``Algebraic topology", Cambridge University Press (2002)

    A. Hatcher, ``Algebraic topology", Cambridge University Press (2002)

    work page 2002

  8. [8]

    Hirsch, ``Differential Topology"

    Morris W. Hirsch, ``Differential Topology". Graduate Texts in Mathematics 33, Springer-Verlag (1976)

    work page 1976

  9. [9]

    Christine Kinsey , ``Topology of Surfaces" , Undergraduate Texts in Mathematics (1993)

    L. Christine Kinsey , ``Topology of Surfaces" , Undergraduate Texts in Mathematics (1993)

    work page 1993

  10. [10]

    Yael Karshon, Shintaro Kuroki, ``Classification of locally standard torus actions" , arXiv:2507.15004 (2025)

    work page arXiv 2025

  11. [11]

    Yuya Koike and Shintar\^o Kuroki , ``Classification of locally standard T -pseudomanifolds over topological stratified pseudomanifolds" , arXiv:2511.10153 (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  12. [12]

    Compact Lie groups acting on pseudomanifolds

    Raimund Popper, "Compact Lie groups acting on pseudomanifolds" , Illinois Journal of Mathematics, Volume 44, Number 1, 1-19 (2000)

    work page 2000

  13. [13]

    Frank Raymond, ``Classification of the actions of the circle on 3-manifolds" , Trans. Amer. Math. Soc. 131 (1968), 51–78

    work page 1968

  14. [14]

    Soumen Sarkar, Jongbaek Song, ``Equivariant cohomological rigidity of certain T -manifolds" , Algebraic and Geometric Topology 21 (2021) 3601-3622

    work page 2021

  15. [15]

    Soumen Sarkar, Dong Youp Suh, ``A new construction of lens spaces" , Topology and its Applications 240 (2018), 1-20

    work page 2018

  16. [16]

    L. G. Maxim, ``Intersection Homology and Perverse Sheaves with Applications to Singularities", Graduate Texts in Math. 281, Springer (2019)

    work page 2019

  17. [17]

    Math, 43 (2006), no

    Mikiya Masuda and Taras Panov, ``On the cohomology of torus manifolds" , Osaka J. Math, 43 (2006), no. 3, 711--746

    work page 2006

  18. [18]

    Čech cohomology and covering dimension for topological spaces

    Kiiti Morita, "Čech cohomology and covering dimension for topological spaces" . Fundamenta Mathematicae 87 (1975), no. 1, 31--52

    work page 1975

  19. [19]

    Topology

    James Munkres, "Topology". Second Edition. Pearson Education Limited (2014)

    work page 2014

  20. [20]

    Differential Geometry and Mathematical Physics Part II. Fibre Bundles, Topology and Gauge Fields

    Gerd Rudolph and Matthias Schmidt, "Differential Geometry and Mathematical Physics Part II. Fibre Bundles, Topology and Gauge Fields". Springer (2017)

    work page 2017

  21. [21]

    Algebraic Topology

    Edwin H. Spanier, "Algebraic Topology". McGraw-Hill Book Company (1966)

    work page 1966

  22. [22]

    Smooth classification of locally standard Tk-manifolds

    Michael Wiemeler, "Smooth classification of locally standard Tk-manifolds" , Osaka J. Math. 59 (2022), no. 3, 549--557

    work page 2022

  23. [23]

    227 (2011), no.5, 1914--1955

    Takahiko Yoshida, ``Local torus actions modeled on the standard representation" , Advances in Mathematics, Vol. 227 (2011), no.5, 1914--1955

    work page 2011