LS-category and topological complexity of real torus manifolds and Dold manifolds of real torus type
Pith reviewed 2026-05-24 04:09 UTC · model grok-4.3
The pith
Under certain hypotheses, the topological complexity of real torus manifolds of dimension n is either 2n or 2n+1.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The real torus manifolds are a generalization of small covers, and the Dold manifolds of real torus type are a class of non-trivial fibre bundles over the projective product spaces with real torus manifolds as fibres. We compute the LS-category of these two types of manifolds and obtain sharp bounds on their topological complexities. We show that under certain hypotheses, the topological complexities of real torus manifolds of dimension n are either 2n or 2n+1. We figure out tight bounds for the topological complexity of generalized real Bott manifolds, and in many cases, the difference between these upper and lower bounds is less than 5. We compute the Z2-equivariant LS-category of small 0.
What carries the argument
The structural definitions of real torus manifolds as generalizations of small covers together with the fiber-bundle construction of Dold manifolds of real torus type, used under hypotheses such as path-connectedness of Z2-fixed point sets to bound LS-category and topological complexity.
If this is right
- Topological complexity of qualifying real torus manifolds takes only the two values 2n and 2n+1.
- Upper and lower bounds on topological complexity for generalized real Bott manifolds differ by less than 5 in many cases.
- The Z2-equivariant LS-category equals a specific value for small covers whose Z2-fixed points form a path-connected set.
- Symmetric topological complexity attains exact computed values for infinitely many of the manifolds studied.
Where Pith is reading between the lines
- The same bundle and fixed-point techniques could be applied to compute topological complexity for other classes of manifolds equipped with involutions or torus actions.
- The narrow gap between bounds for generalized real Bott manifolds indicates that additional algebraic invariants might close the gap to exact values.
- Exact symmetric topological complexity results supply concrete test cases for comparing symmetric and ordinary topological complexity on the same spaces.
Load-bearing premise
The manifolds satisfy the structural definitions of real torus manifolds or Dold manifolds of real torus type and the stated hypotheses including path-connectedness of the Z2-fixed points hold.
What would settle it
A single real torus manifold of dimension n whose topological complexity is measured to be neither 2n nor 2n+1 would falsify the stated claim.
read the original abstract
The real torus manifolds are a generalization of small covers, and the Dold manifolds of real torus type are a class of non-trivial fibre bundles over the projective product spaces with real torus manifolds as fibres. In this paper, first, we compute the LS-category of these two types of manifolds and obtain sharp bounds on their topological complexities. We show that under certain hypotheses, the topological complexities of real torus manifolds of dimension $n$ are either $2n$ or $2n+1$.We figure out tight bounds for the topological complexity of generalized real Bott manifolds, and in many cases, the difference between these upper and lower bounds is less than 5. We compute the $\mathbb{Z}_2$-equivariant LS-category of small covers when the $\mathbb{Z}_2$-fixed points are path connected. In the end, we study the symmetric topological complexity of the above-mentioned manifolds and obtain exact values for infinitely many cases.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript computes the LS-category of real torus manifolds and Dold manifolds of real torus type. It obtains sharp bounds on their topological complexities, showing that under certain hypotheses the topological complexities of real torus manifolds of dimension n are either 2n or 2n+1. It provides tight bounds for the topological complexity of generalized real Bott manifolds, with the difference between upper and lower bounds less than 5 in many cases. It computes the Z_2-equivariant LS-category of small covers when the Z_2-fixed points are path connected. Finally, it studies the symmetric topological complexity of these manifolds and obtains exact values for infinitely many cases.
Significance. If the results hold, they contribute concrete computations and bounds for LS-category and TC on these classes of manifolds, including equivariant and symmetric variants, with exact values in infinitely many cases. This adds to the body of explicit results in the area.
major comments (1)
- The abstract asserts the existence of computations and bounds, but without the full proofs or methods it is impossible to check whether the derivations actually support the stated claims; major verification gap.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive summary of the manuscript. We address the single major comment below.
read point-by-point responses
-
Referee: The abstract asserts the existence of computations and bounds, but without the full proofs or methods it is impossible to check whether the derivations actually support the stated claims; major verification gap.
Authors: The full manuscript contains the complete proofs and methods. The LS-category computations for real torus manifolds appear in Section 3, those for Dold manifolds of real torus type in Section 4; the sharp TC bounds for real torus manifolds (showing values 2n or 2n+1 under the stated hypotheses) are proved in Section 5; tight bounds for generalized real Bott manifolds are derived in Section 6; the Z_2-equivariant LS-category result for small covers with path-connected fixed-point set is established in Section 7; and the exact symmetric TC values for infinitely many cases are obtained in Section 8. All derivations rely on standard tools from algebraic topology (cup-length lower bounds, sectional category upper bounds via fibrations, and equivariant methods) applied to the explicit cell structures and cohomology rings of these manifolds. The referee is referred to these sections for verification; we are prepared to expand any specific step if requested. revision: no
Circularity Check
No significant circularity detected
full rationale
The provided abstract and context describe standard computations of LS-category and topological complexity for real torus manifolds and Dold manifolds, yielding bounds such as 2n or 2n+1 under stated hypotheses. No equations, definitions, or self-citations are supplied that reduce any claimed result to a fitted input, self-definition, or load-bearing prior work by the same authors. The derivation chain appears self-contained against external topological definitions and is not forced by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of LS-category and topological complexity as homotopy invariants
Reference graph
Works this paper leans on
-
[1]
For a topolo gical space X, the topolog- ical complexity TC(X) is a numerical homotopy invariant
I/N.sc/T.sc/R.sc/O.sc/D.sc/U.sc/C.sc/T.sc/I.sc/O.sc/N.sc Farber [16] introduced the concept of topological complexity to study th e robot motion planning problem through the topological lens. For a topolo gical space X, the topolog- ical complexity TC(X) is a numerical homotopy invariant. Let X be a path-connected space and P X be the space of all paths i...
work page 2003
-
[2]
LS-/C.sc/A.sc/T.sc/E.sc/G.sc/O.sc/R.sc/Y.sc /A.sc/N.sc/D.sc /T.sc/O.sc/P.sc/O.sc/L.sc/O.sc/G.sc/I.sc/C.sc/A.sc/L.sc /C.sc/O.sc/M.sc/P.sc/L.sc/E.sc/X.sc/I.sc/T.sc/Y.sc /O.sc/F.sc /R.sc/E.sc/A.sc/L.sc /T.sc/O.sc/R.sc/U.sc/S.sc /M.sc/A.sc/N.sc/I.sc/F.sc/O.sc/L.sc/D.sc/S.sc In this section, we recall the concepts of real torus manifol ds and generalized real ...
-
[3]
(5) In particular, if n = 2 s, then 2s+1 ≤ TC(M) ≤ 2s+1 + 1
Then cat(M) = n + 1, and zclZ2(RP n) + 1 ≤ TC(M) ≤ 2n + 1. (5) In particular, if n = 2 s, then 2s+1 ≤ TC(M) ≤ 2s+1 + 1. Proof. W e can have M = M ′#RP n following the discussion in Subsection 1.11 in [ 11]. Then H ∗ (RP n; Z2) is a subring of H ∗ (M; Z2). Then n + 1 = clZ2(RP n) ≤ clZ2(M) ≤ n + 1, and the left inequality of ( 5) follows from the observati...
-
[4]
W e recall the cohomology ring of a small cover over a product of simplice s from Proposition 2.11
corresponding to the characteristic function λ on P . W e recall the cohomology ring of a small cover over a product of simplice s from Proposition 2.11. Now we look at the generators Γj’s of the ideal I in the cohomology ring in Proposi- tion 2.11. Note that, Γ1 = x1x2 · · ·xn1y1 = yn1+1 1 , and Γj = xNj− 1+1xNj− 1+2 · · ·xNj yj = (yj + β j 11y1 + β j 21...
-
[5]
Then, we compute some lower and upper bounds for the topological complexity of these manifolds
LS-/C.sc/A.sc/T.sc/E.sc/G.sc/O.sc/R.sc/Y.sc /A.sc/N.sc/D.sc /T.sc/O.sc/P.sc/O.sc/L.sc/O.sc/G.sc/I.sc/C.sc/A.sc/L.sc /C.sc/O.sc/M.sc/P.sc/L.sc/E.sc/X.sc/I.sc/T.sc/Y.sc /O.sc/F.sc D/O.sc/L.sc/D.sc /M.sc/A.sc/N.sc/I.sc/F.sc/O.sc/L.sc/D.sc/S.sc /O.sc/F.sc /R.sc/E.sc/A.sc/L.sc /T.sc/O.sc/R.sc/U.sc/S.sc /T.sc/Y.sc/P.sc/E.sc In this section, we recall Dold manif...
-
[6]
that q− 1(P ⟨ζ ′ ⟩) is path-connected. Recall the height function f on a simple polytope P that was introduced in the proof of Theorem 3.1 of [ 11]. One can orient the edges of polytope so that the f increases along them. This orientation makes the 1-skeleton of P into a directed graph. Theorem 3.2. Let M be an n-dimensional small cover such that M ⟨τ ⟩ i...
-
[7]
S/Y.sc/M.sc/M.sc/E.sc/T.sc/R.sc/I.sc/C.sc /T.sc/O.sc/P.sc/O.sc/L.sc/O.sc/G.sc/I.sc/C.sc/A.sc/L.sc /C.sc/O.sc/M.sc/P.sc/L.sc/E.sc/X.sc/I.sc/T.sc/Y.sc /O.sc/F.sc /S.sc/M.sc/A.sc/L.sc/L.sc /C.sc/O.sc/V.sc/E.sc/R.sc/S.sc In [17], Farber and Grant studied the symmetric analogue of the moti on planning prob- lem and introduced the notion of symmetric topologica...
-
[8]
that, in this case, TCS(Y ) = 1 and if Y contains more than one point, thenTCS(Y ) ≥ 2. Moreover, it follows from [ 17, Example 7] that the symmetric topological complexity of a contractible space with more than two points is 2. W e now describe a lower bound on the symmetric topological complexity given in [ 17]. Let NY be the sub-ring of H ∗ (Y )⊗ H ∗ (...
work page 2023
-
[9]
A. Angel and H. Colman. Equivariant topological complex ities. T opological complexity and related topics, Contemp. Math, 702:1–15, 2018
work page 2018
-
[10]
M. Bayeh and S. Sarkar. Some aspects of equivariant LS-ca tegory. T opology Appl., 196:133–154, 2015
work page 2015
- [11]
- [12]
-
[13]
S. Choi, M. Masuda, and D. Y. Suh. Quasitoric manifolds ov er a product of simplices. Osaka J. Math. , 47(1):109–129, 2010
work page 2010
-
[14]
H. Colman and M. Grant. Equivariant topological complex ity. Algebr. Geom. T opol., 12(4):2299–2316, 2012
work page 2012
- [15]
-
[16]
N. Daundkar and S. Sarkar. LS-category and topological c omplexity of several families of fibre bundles. Accepted for publication in homology homotopy and applicat ions, arXiv:2302.00468 , 2023
-
[17]
D. M. Davis. Projective product spaces. J. T opol., 3(2):265–279, 2010
work page 2010
-
[18]
M. W. Davis. Groups generated by reflections and aspheri cal manifolds not covered by Euclidean space. Ann. of Math. (2) , 117(2):293–324, 1983
work page 1983
-
[19]
M. W. Davis and T. Januszkiewicz. Convex polytopes, Cox eter orbifolds and torus actions. Duke Math. J., 62(2):417–451, 1991
work page 1991
-
[20]
A. Dold. Erzeugende der Thomschen Algebra N. Math. Z., 65:25–35, 1956
work page 1956
-
[21]
A. Dranishnikov. On topological complexity of non-ori entable surfaces. T opology Appl., 232:61–69, 2017
work page 2017
-
[22]
A. Dranishnikov. On topological complexity of hyperbo lic groups. Proc. Amer. Math. Soc., 148(10):4547– 4556, 2020
work page 2020
-
[23]
R. Dsouza and V. Uma. Results on the topology of generali zed real Bott manifolds. Osaka J. Math. , 56(3):441–458, 2019
work page 2019
-
[24]
M. Farber. Topological complexity of motion planning. Discrete Comput. Geom., 29(2):211–221, 2003
work page 2003
-
[25]
M. Farber and M. Grant. Symmetric motion planning. Contemporary Mathematics, 438:85–104, 2007
work page 2007
- [26]
-
[27]
S. Fişekci and L. Vandembroucq. On the LS-category and t opological complexity of projective product spaces. J. Homotopy Relat. Struct. , 16(4):769–780, 2021
work page 2021
-
[28]
J. González, M. Grant, E. Torres-Giese, and M. Xicoténc atl. Topological complexity of motion planning in projective product spaces. Algebr. Geom. T opol., 13(2):1027–1047, 2013
work page 2013
-
[29]
M. Grant. Topological complexity, fibrations and symme try. T opology Appl., 159(1):88–97, 2012
work page 2012
- [30]
-
[31]
M. Grant and S. Mescher. Topological complexity of symp lectic manifolds. Math. Z., 295(1-2):667–679, 2020
work page 2020
-
[32]
S. Kuroki and Z. Lü. Projective bundles over small covers and the bundle triviality problem. F orum Math., 28(4):761–781, 2016
work page 2016
- [33]
-
[34]
L. Lyusternik and L. Schnirelmann. Topological method s in variational problems and their application to the differential geometry of surfaces. Uspehi Matem. Nauk (N.S.) , 2(1(17)):166–217, 1947
work page 1947
-
[35]
A. Nath and P. Sankaran. On generalized Dold manifolds. Osaka J. Math. , 56(1):75–90, 2019
work page 2019
-
[36]
S. Sarkar. Equivariant K-theory of divisive torus orbifolds. Rocky Mountain J. Math. , 50(1):255–266, 2020
work page 2020
-
[37]
S. Sarkar and P. Zvengrowski. On generalized projectiv e product spaces and Dold manifolds. Homology Homotopy Appl., 24(2):265–289, 2022. D/E.sc/P.sc/A.sc/R.sc/T.sc/M.sc/E.sc/N.sc/T.sc /O.sc/F.sc M/A.sc/T.sc/H.sc/E.sc/M.sc/A.sc/T.sc/I.sc/C.sc/S.sc, C/H.sc/E.sc/N.sc/N.sc/A.sc/I.sc M/A.sc/T.sc/H.sc/E.sc/M.sc/A.sc/T.sc/I.sc/C.sc/A.sc/L.sc I/N.sc/S.sc/T.sc/I....
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.