pith. sign in

arxiv: 2508.18534 · v2 · submitted 2025-08-25 · 🧮 math.AT · math.GT

Rudyak's conjecture for lower dimensional 1-connected manifolds

Alexander Dranishnikov , Deep Kundu This is my paper

Pith reviewed 2026-05-18 20:37 UTC · model grok-4.3

classification 🧮 math.AT math.GT
keywords Rudyak's conjectureLusternik-Shnirelmann categorydegree one mapssimply connected manifoldsspin manifoldsalgebraic topology
0
0 comments X

The pith

Rudyak's conjecture holds for simply connected spin manifolds of dimension at most 8.

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

Rudyak's conjecture states that the Lusternik-Shnirelmann category of the domain is at least as large as that of the codomain for any degree one map between closed oriented manifolds. The paper proves this inequality when the manifolds are n-dimensional, simply connected, and spin with n at most 8. The simply connected and spin conditions permit the application of specific algebraic topology tools that are available only in these low dimensions. Establishing the result here shows that the category behaves monotonically under degree one maps within this restricted but nontrivial class of manifolds.

Core claim

For any degree one map f from an n-dimensional simply connected spin manifold M to an n-dimensional oriented closed manifold N with n ≤ 8, the Lusternik-Shnirelmann category of M is at least that of N.

What carries the argument

Lusternik-Shnirelmann category, the smallest number k such that the manifold admits a cover by k+1 open sets each contractible inside the manifold.

If this is right

  • The inequality cat(M) ≥ cat(N) holds for every degree one map between manifolds in the given class.
  • Rudyak's conjecture is settled for all simply connected spin manifolds in dimensions 1 through 8.
  • The result extends earlier partial confirmations of the conjecture to the spin case in low dimensions.

Where Pith is reading between the lines

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

  • The same monotonicity might fail without the spin condition, suggesting a search for counterexamples among non-spin simply connected manifolds in dimension 9 or higher.
  • Techniques from the low-dimensional proof could be adapted to study related invariants such as the cup-length or sectional category under degree one maps.
  • If the conjecture is true in general, it would give a uniform way to compare the complexity of manifolds that admit degree one maps to one another.

Load-bearing premise

The manifolds are simply connected and spin, allowing algebraic topology results that work only up to dimension 8.

What would settle it

A degree one map between two simply connected spin manifolds of dimension 8 or less in which the Lusternik-Shnirelmann category of the domain is strictly smaller than that of the codomain.

read the original abstract

Rudyak's conjecture states that for any degree one map $f:M\to N$ between oriented closed manifolds there is the inequality $\cat (M)\ge \cat(N)$ for the Lusternik-Shnirelmann category. We prove the Rudyak's conjecture for $ n$-dimensional simply connected spin manifolds for $n\le 8$.

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 / 3 minor

Summary. The manuscript proves Rudyak's conjecture for n-dimensional simply connected spin manifolds with n ≤ 8. Rudyak's conjecture asserts that any degree-one map f : M → N between oriented closed manifolds satisfies cat(M) ≥ cat(N), where cat denotes Lusternik–Shnirelmann category. The proof restricts to the simply connected spin case in low dimensions and reduces the claim to known results on LS-category obtained via cohomology operations, cup-length bounds, and Postnikov decompositions.

Significance. If the result holds, the paper supplies a concrete partial resolution of Rudyak's conjecture in a technically accessible range. The explicit invocation of the spin and 1-connected hypotheses to apply existing algebraic-topology tools is a strength; the dimension bound n ≤ 8 is used precisely to guarantee the availability of those tools. This advances the study of LS-category under degree-one maps while keeping the argument within the scope of established results.

minor comments (3)
  1. [Abstract] The abstract states the result for 'n-dimensional simply connected spin manifolds for n≤8'; it would be clearer to add that the manifolds are closed and oriented, consistent with the statement of the conjecture.
  2. [Introduction] A short paragraph recalling the definition of LS-category and the precise statement of the known bounds invoked for dimensions 7 and 8 would improve accessibility for readers outside the immediate subfield.
  3. [Section 3] Verify that every cited result on Postnikov decompositions or cohomology operations is referenced with a specific theorem number rather than a general citation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. The report accurately captures that our manuscript establishes Rudyak's conjecture for simply connected spin manifolds of dimension at most 8 by reducing it to known bounds on LS-category via cohomology operations, cup-length, and Postnikov towers. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper reduces Rudyak's conjecture to established external results on LS-category (cohomology operations, cup-length bounds, Postnikov decompositions) that hold specifically for simply connected spin manifolds in dimensions ≤8. These supporting theorems are invoked under the paper's explicit hypotheses rather than derived internally or via self-citation chains; the restrictions are stated as necessary for applicability and do not create self-definitional or fitted-input reductions. The argument is therefore self-contained against independent algebraic topology benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background facts about LS category, spin structures, and low-dimensional homotopy theory; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of Lusternik-Shnirelmann category and spin manifolds in low dimensions
    Invoked to restrict the setting where the proof applies.

pith-pipeline@v0.9.0 · 5570 in / 1115 out tokens · 37033 ms · 2026-05-18T20:37:23.545703+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

21 extracted references · 21 canonical work pages

  1. [1]

    Surgery on Simply-Connected Manifolds, Springer, 1972

    Browder, W. Surgery on Simply-Connected Manifolds, Springer, 1972

    work page 1972

  2. [2]

    Mathematical Surveys and Monographs , 103

    Cornea, O.; Lupton, G.; Oprea, J.; Tanr´ e, D.: Lusternik-Schnirelmann category. Mathematical Surveys and Monographs , 103. American Math- ematical Society, Providence, RI, 2003

    work page 2003

  3. [3]

    Dranishnikov, Free abelian topological groups and collapsing maps, Topology Appl

    A. Dranishnikov, Free abelian topological groups and collapsing maps, Topology Appl. 159 (2012), no. 9, 2353-2356

    work page 2012

  4. [4]

    Dranishnikov, On the LS-category of product of Iwase’s manifolds, Proc

    A. Dranishnikov, On the LS-category of product of Iwase’s manifolds, Proc. Amer. Math. Soc. 150 (2022), no. 5, 2209-2222

    work page 2022

  5. [5]

    Dranishnikov, M

    A. Dranishnikov, M. Katz, Yu. Rudyak, Small values of Lusternik- Schnirelmann category for manifolds. Geometry and Topology, 12 (2008) no. 3, 1711-1727

    work page 2008

  6. [6]

    Dranishnikov, R

    A. Dranishnikov, R. Sadykov, The Lusternik-Schnirelmann category of a connected sum, Fundamenta Mathematicae, 251 (2020), 317-328. 12 A. DRANISHNIKOV AND D. KUNDU

    work page 2020

  7. [7]

    Ganea, Lusternik-Schnirelmann category and strong category , Illinois J

    T. Ganea, Lusternik-Schnirelmann category and strong category , Illinois J. Math. 11 (1967), 417-427

    work page 1967

  8. [8]

    Grossmann, D.P.: On the estimate for the category of Lusternik- Schnirelmann, Dokl. Akad. Nauk SSSR (1946), 109-112

    work page 1946

  9. [9]

    Hatcher, Algebraic Topology, Cambridge University Press, 2002

    A. Hatcher, Algebraic Topology, Cambridge University Press, 2002

    work page 2002

  10. [10]

    Iwase Ganea’s Conjecture on Lusternik-Schnirelmann category , Bull

    N. Iwase Ganea’s Conjecture on Lusternik-Schnirelmann category , Bull. Lond. Math. Soc. 30, (1998), 623-634

    work page 1998

  11. [11]

    Iwase, Lusternik-Schnirelmann category of a sphere-bundle over a sphere, Topology 42 (2003) 701-713

    N. Iwase, Lusternik-Schnirelmann category of a sphere-bundle over a sphere, Topology 42 (2003) 701-713

    work page 2003

  12. [12]

    James I. M. On category in the sense of Lusternik-Schnirelmann, Topol- ogy 17 (1978) 331-348

    work page 1978

  13. [13]

    Sur le probleme de trois geodesiquesfer- mees sur les surfaces de genus 0, Comptes Rendus de l’Academie Sciences de Paris, 189 (1929) 269-271

    Lusternik, L., Schnirelmann, L. Sur le probleme de trois geodesiquesfer- mees sur les surfaces de genus 0, Comptes Rendus de l’Academie Sciences de Paris, 189 (1929) 269-271

    work page 1929

  14. [14]

    and Schnirelmann, L

    Lusternik, L. and Schnirelmann, L. Methodes Topologiques dans les prob- lemes variationnels. Hermann, Paris, 1934

    work page 1934

  15. [15]

    M. C. McCord, Classifying spaces and infinite symmetric products, Transactions of AMS, 146 (1969), 273-298

    work page 1969

  16. [16]

    Characteristic Classes, Princeton University Press, 1974

    Milnor J., Stasheff J. Characteristic Classes, Princeton University Press, 1974

    work page 1974

  17. [17]

    On category weight and its applications, Topology 38 No 1 (1999), 37-55

    Rudyak, Yu. On category weight and its applications, Topology 38 No 1 (1999), 37-55

    work page 1999

  18. [18]

    Rudyak, Yu., On analytical applications of stable homotopy (the Arnold conjecture, critical points), Math. Z. 230 (1999), 659-672

    work page 1999

  19. [19]

    Maps of degree 1 and Lusternik–Schnirelmann category

    Rudyak, Yu. Maps of degree 1 and Lusternik–Schnirelmann category. Topology Appl. 221 (2017), 225–230

    work page 2017

  20. [20]

    ˇSvarc, The genus of a fibered space

    A. ˇSvarc, The genus of a fibered space. Trudy Moskov. Mat. Obˇ sˇ c.10, 11 (1961 and 1962), 217–272, 99–126, (in Amer. Math. Soc. Transl. Series 2, vol 55 (1966))

    work page 1961

  21. [21]

    Department of Mathematics, University of Florida, 358 Little Hall, Gainesville, FL 32611-8105, USA Email address : dranish@math.ufl.edu Email address : deepkundu@ufl.edu

    Whitehead, G.W.: The homotopy suspension Colloque de Topologie al- gebrique tenu ´ a Louvain(1956) 89-95. Department of Mathematics, University of Florida, 358 Little Hall, Gainesville, FL 32611-8105, USA Email address : dranish@math.ufl.edu Email address : deepkundu@ufl.edu

    work page 1956