Pith. sign in

REVIEW 4 major objections 5 minor 80 references

On Topology of the Infinite-Dimensional Space of Fibrations

T0 review · 4 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The moduli space of smooth fibrations is a Fréchet manifold with explicit homotopy cores.

desk verdict Promising framework, but the load-bearing computations are missing and the smooth-bundle foundation has an unjustified WLOG, so the completeness claims outrun the evidence. read the letter →

arxiv 2508.14038 v1 pith:WK3CTIJD submitted 2025-08-19 math.GT math.ATmath.DG

Ziqi Fang This is my paper
classification math.GTmath.ATmath.DG MSC 55R1057S0558D0558B05
keywords modulispaceoffibrationshomotopycoreFréchetmanifolddiffeomorphismgroupscirclefiberingslensspacesdeformationretractprincipalbundles
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper asks the three questions for the moduli space of smooth fiberings that one usually asks for smooth structures: how to classify fiberings on a fixed total space, how many path components the moduli space has, and what homotopy type each component has. Its central structural claim is that the moduli space Fib(ξ)=Diff(E)/Aut(ξ) is not merely a topological quotient: it carries a smooth Fréchet manifold structure inherited from the diffeomorphism group, and each component deformation-retracts onto a minimal core. The concrete homotopy computations are: oriented circle fiberings on the 2-torus have the homotopy type of the discrete set of coprime pairs; on the lens space L(e,1) they have the homotopy type of two disjoint 2-spheres for e=1,2 and a two-point set for e≥3; and the two dual fibering spaces on the 3-torus both have the homotopy type of the set of coprime triples. The paper argues that these examples, together with previously known contractibility results for Seifert fibering spaces, complete the solution of the homotopy-core problem in dimensions up to three.

What carries the argument

The load-bearing object is the principal-bundle sequence Aut(ξ) → Diff(E) → Fib(ξ), promoted from a topological quotient to a smooth Fréchet fibration by a straightening retraction. The retraction is built from two finite-dimensional geometric steps: the Riemannian center of mass labels each perturbed fiber by a point of the base, and the normal-graph parametrization identifies that fiber with the corresponding standard fiber. The adapted Riemannian exponential of the fibration—vertical geodesic motion followed by horizontal transport—furnishes charts for the diffeomorphism, automorphism, and vertical-automorphism groups in which all the relevant maps are smooth, making the quotient a Fréche

What would settle it

Find a smooth one-parameter family of oriented circle fiberings on the 3-torus that connects two different coprime-triple classes; the predicted discrete homotopy type in (5) forbids such a path, so exhibiting one would refute the central computation. Equivalently, compute the path components of the space of oriented circle fiberings on L(3,1): more than the predicted two components would refute equation (4).

Watch

Extended reading notes

Core claim

The discovery is that the space of smooth F-fiberings on a fixed total space E, modelled on a fibration ξ, is a homogeneous infinite-dimensional manifold whose topology is organized by a minimal deformation retract. The paper defines Fib(ξ)=Diff(E)/Aut(ξ), proves that this quotient is a smooth Fréchet manifold, and constructs the retraction geometrically: a slightly perturbed fibration is straightened by labelling each fiber with the Riemannian center of mass of its image in the base and then parametrizing that fiber as a normal graph over the corresponding standard fiber. With this slice, the automorphism group sits in Diff(E) as a smooth principal bundle over Fib(ξ), so homotopy computatio

Load-bearing premise

The whole argument rests on the claim that the diffeomorphism group fibers over the moduli space as a genuine bundle, which is proved by a 'straightening' procedure that assumes, with only a sketched justification, that the fibration has a specially symmetric geometric shape; if that assumption cannot be arranged, or the straightening is not continuous, the homotopy computations lose their foundation.

Editorial extensions

If this is right

  • For the torus, the space of oriented circle fiberings has one component for each coprime pair (a,b), and each component is contractible; the whole moduli space is homeomorphic to a countable discrete set times ℓ².
  • For the lens spaces L(1,1) and L(2,1), the moduli space has two non-contractible components, each homotopy equivalent to a 2-sphere, distinguished by direction and chirality.
  • For L(e,1) with e≥3, the moduli space is homotopy equivalent to a two-point set, so exactly two contractible components.
  • For the 3-torus, the space of circle fiberings and the space of torus fiberings have the same homotopy type: a discrete set of coprime triples.
  • Within dimensions up to three, the homotopy-core problem for regular fiberings is closed: the cases computed here plus previously known contractible Seifert cases cover all remaining classes.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural extension not proved in this paper is that the straightening-slice construction should carry over to Seifert fibrations and singular foliations, with the same reduction to diffeomorphism-group homotopy; if so, the cores of those moduli spaces would be describable by the same geometric normal-graph data.
  • The arithmetic pattern—primitive integer vectors as components—suggests that for higher-dimensional tori, codimension-one fibering moduli spaces may be homotopy equivalent to discrete spaces of primitive lattice points, with the duality seen on T³ possibly persisting between complementary fiberings.
  • The explicit cores make a concrete test available to the geometric-analysis program: any extrinsic flow that preserves transversality and sends each fiber family to a rational-linear or Hopf family would realize the deformation retraction dynamically, as curve-shortening already does for the torus.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper develops a framework for the moduli space of regular smooth fibrations on a closed manifold E with fibre F. It defines Fib(ξ) = Diff(E)/Aut(ξ), gives classifications by nonabelian Čech cohomology and by maps to a nonlinear Grassmannian/shape space, and introduces Fréchet Lie group structures on the automorphism and vertical automorphism groups via an adapted Riemannian exponential. In Chapter 3 it constructs principal bundles Vau(ξ) -> Aut(ξ) -> Diff(B)_ξ and Aut(ξ) -> Diff(E) -> Fib(ξ), the latter through a geometric retraction built from centers of mass and normal-graph parametrizations. The announced sample results are the homotopy types of Fib for the 2-torus, the lens spaces L(e,1), and the 3-torus, together with the claim that these complete the dimension-at-most-three picture. Chapter 4, which contains the actual computations, is not present in the received text.

Significance. If the main results were fully established, the paper would provide a general geometric route to homotopy cores of fibration moduli spaces and would unify a number of known low-dimensional phenomena. The framework has substantial valuable components: the Čech cocycle-stabilizer account of gauge groups, the shape-space classifying model for Diff(F), and the adapted Riemannian exponential used to exhibit Aut(ξ) and Vau(ξ) as submanifolds of Diff(E). These parts are carefully motivated and contain useful references to the Fréchet Lie group literature. No machine-checked artifacts or reproducible code are involved. However, the central analytic step that would justify the smooth principal bundle structure is left as an unproved and truncated lemma, and the entire computational chapter is absent; the significance of the announced homotopy-type theorems is therefore conditional.

major comments (4)
  1. [Lemma 3.3.6, Eq. (3.87)] This lemma is the only step that upgrades the continuous retraction of Proposition 3.3.5 to the smooth-slice input needed for Proposition 1.3.3. Its first sentence assumes 'without loss of generality' that ξ is a harmonic Riemannian submersion, but no reduction is proved and the proof is truncated. A general smooth fibration need not admit a bundle-like metric with harmonic fibres, and the existence and uniqueness of the zero of the vector field in (3.87) depends on exactly this extra structure. Without this lemma, Fib(ξ) is not known to be a smooth Fréchet manifold, and the sequences (3.1) remain only topological principal bundles. This is load-bearing for all later homotopy claims.
  2. [Chapter 4 and Eqs. (3)–(5)] The Introduction and Abstract advertise explicit homotopy types: Fib(T^2->S^1) ≃ {(a,b): gcd(a,b)=1}, Fib(L(e,1)->S^2) ≃ S^2 ⊔ S^2 for e=1,2 and S^0 for e≥3, and Fib(T^3->T^2) ≃ coprime triples. These are stated as theorems proven in Chapter 4, but Chapter 4 (pages 97–123 in the table of contents) is not included in the received manuscript. Consequently the central computations cannot be verified, and the completeness claim for dimensions up to three is unsupported in this version.
  3. [Footnote 1 vs. Eq. (4)] The text contains an internal inconsistency about the core of Fib(S^1 -> S^3 -> S^2). Footnote 1 says the core is 'a pair of projective planes consisting of the Hopf fibrations', while Eq. (4) and the surrounding paragraph say Fib(ξ_1) ≃ S^2 ⊔ S^2. Since RP^2 and S^2 are not homotopy equivalent, at most one description is correct. This inconsistency directly concerns a sample theorem in the abstract and must be resolved.
  4. [Proposition 3.3.5, proof of smoothness] The proof of Proposition 3.3.5 establishes a topological principal bundle via the displacement map f ↦ δ_f. In the local coordinate formula (3.83), the assertion that x_S and the diffeomorphism u_{S,x_S} 'depend smoothly' on the data is exactly the regularity that Lemma 3.3.6 is supposed to provide. Since that lemma is unproved, the smoothness of the retraction and the existence of a smooth slice do not follow from the written argument. The paper should either prove the harmonic-submersion reduction, give a different smooth slice construction, or state the smooth structure theorem under a separate explicit geometric hypothesis.
minor comments (5)
  1. [Proof of Theorem 1.1.12] In the proof, the reference to 'Lemma 1.1.4' should be to Proposition 1.1.4.
  2. [Section 3.3, display (3.31)] The target of the retraction is written as '𝒜ut(𝜉) 𝒜ut(𝜉)' with a duplicated factor; the second factor should be deleted.
  3. [Definition 3.1.5 and 3.1.8] The phrase 'an Fréchet subspace' should be 'a Fréchet subspace'.
  4. [Near Eq. (3.83)] Typo: 'with represent to these coordinates' should be 'with respect to these coordinates'.
  5. [Definition 2.1.4] The definition presents Fib(E,F) as a disjoint union over the set Fib(E,F) of equivalence classes, but the topology on this disjoint union is not discussed. A sentence explaining how the quotient topology on each Fib(ξ) assembles into a topology on Fib(E,F) would improve clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the homotopy computations are anchored to external diffeomorphism-group theorems and to explicitly attributed prior work, not to the conclusions being derived.

full rationale

The paper's central objects are defined as Fib(ξ)=Diff(E)/Aut(ξ), and its homotopy-type claims are meant to follow from the principal-bundle sequences (3.1) together with established homotopy types of diffeomorphism groups (Earle–Eells, Hatcher, etc.) and from the explicitly credited prior computation [15] for the S^3 Hopf case. The e=1 case in equation (4) is attributed to joint work [15] rather than rederived from this paper's new machinery, so it is an external input, not a conclusion smuggled in. The Introduction's remark that the torus example can be 'reversely fed' to recover Earle–Eells is a heuristic afterthought; it is not used as a premise in any proof, so it does not make the forward computation circular. The 'assume without loss of generality that ξ is a harmonic Riemannian submersion' in Lemma 3.3.6 and the truncated proof are genuine rigor/correctness concerns about the local slice and bundle structure, but they are not a circularity: no equation in the paper reduces a claimed prediction to a fitted parameter or to a self-citation chain. Similarly, the discrepancy between the footnote's 'pair of projective planes' and equation (4)'s 'S^2⊔S^2' is an internal inconsistency, not circularity. Since the main homotopy claims are explicitly grounded in external benchmarks and prior work, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper's central claims rest on a large body of prior results: Fréchet Lie group structure of diffeomorphism groups, low-dimensional diffeomorphism group homotopy theorems, smoothing theorems for principal bundles and gauge groups, embedding-space stability theorems, and the author's own earlier joint work [15]. No numeric parameters are fitted; the main 'free' choices are geometric (a projectable metric, a connection, a fiberwise measure per fibration, and the WLOG harmonic-Riemannian-submersion assumption in Lemma 3.3.6). The 'core' is a definition, not an empirically testable entity, so no invented entities are listed.

assumptions (6)
  • standard math The diffeomorphism group Diff(M) of a closed manifold is a Fréchet Lie group with Lie algebra the smooth vector fields, and its Lie-group exponential is generally not a local diffeomorphism (Theorem 1.2.11, §3.1).
    Foundation for all homogeneous-space and principal-bundle constructions in Chapters 2-3; the proof is sketched and the smoothness of inversion is deferred to [69] and [58].
  • domain assumption The cited homotopy types of low-dimensional diffeomorphism groups (Smale, Hatcher, Earle-Eells, Cerf, Ivanov, Gabai, Hong-Kalliongis-McCullough-Rubinstein-Soma, Bamler-Kleiner) are correct as used.
    The Chapter 4 computations pass homotopy information through the fibration sequences (3.1) from these established diffeomorphism group results; the Introduction lists them as the grounding for the low-dimensional cases.
  • domain assumption Smooth and topological principal K-bundles agree at the level of isomorphism classes for K a locally convex Lie group, and the same smoothing holds for gauge groups (cited to [61] and [50]).
    Used in Lemma 2.2.3 and Proposition 2.2.8 to equate C^∞ and C^{0,∞} classifications and vertical automorphism groups; no proof is given in the paper.
  • standard math Emb(F, ℓ2) is contractible and Shap(F, ℓ2) carries a smooth principal Diff(F)-bundle, making it a classifying space B Diff(F) (Lemmas 2.3.2, 2.3.3).
    Proofs given in the paper for the bundle step, citing Hansen/Dax stability for contractibility; this underlies the homotopy-theoretic classification in Proposition 2.3.7.
  • ad hoc to paper A fibration can be taken, without loss of generality, to be a harmonic Riemannian submersion, so that Karcher centers of mass and normal-graph parametrizations are well-defined (Lemma 3.3.6).
    Load-bearing for the straightening retraction in Proposition 3.3.5 and hence for the principal bundle structure over the moduli space; the WLOG justification references a volume-preserving diffeomorphism group deformation retract and the proof is truncated in the received text.
  • domain assumption The results of [41, 57] on the component contractibility of spaces of Seifert fiberings hold and integrate with the present framework.
    The Introduction states the framework is built on this work and that completeness for dimensions up to three uses it; the details are not in the received text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Topology of the Infinite-Dimensional Space of Fibrations." pith.science (2026). https://pith.science/paper/WK3CTIJD

@misc{pith2026250814038,
  author       = {Pith},
  title        = {Pith review of: On Topology of the Infinite-Dimensional Space of Fibrations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WK3CTIJD}},
  note         = {Machine review of arXiv:2508.14038}
}
read the original abstract

This work serves as an opening and basis of an ongoing program investigating topological and geometric aspects of the moduli space of smooth fiberings on a manifold. The present paper focuses on the algebraic and differential topology of this space, and particularly addresses the following three quests in a top-down manner: the classification, for each class the path components, and for each component the homotopy type (as loosely analogous to the those three for studying the moduli of smooth structures: exotic manifolds, mapping class groups, and Smale-type conjectures). The last of the three is infinite-dimensional in nature, as the corresponding moduli space is shown to inherit the structure of a smooth Fr\'echet manifold from the diffeomorphism group through a (infinite-dimensional) principal bundle, with which we establish further connections with the Lie theory of gauge symmetries from one perspective, and with the geometric analysis of extrinsic flows from another. Concretely, we tackle the problem of finding the "homotopy core": a minimal deformation retract that encodes the topological structure of such a moduli space of fibrations; as our first examples, we gave explicit homotopy calculations for various low-dimensional cases which, combined with earlier known cases from others' work, complete the solution to this problem for dimensions up to three.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

80 extracted references · 78 canonical work pages

  1. [15]

    Homotopy Type of the Space of Fibrations of the Three-sphere by Simple Closed Curves

    D. Deturck, Z. Fang, H. Gluck, L. Lichtenfelz, M. Merling, Y. Wang, and J. Yang, Homotopy type of the space of fibrations of the three-sphere by simple closed curves (2025), available at arXiv:2508.01185

    work page Pith review arXiv 2025

  2. [1]

    Afsari, Riemannian𝐿𝑝 center of mass: existence, uniqueness, and convexity , Proc

    B. Afsari, Riemannian𝐿𝑝 center of mass: existence, uniqueness, and convexity , Proc. Amer. Math. Soc. 139 (2011), no. 2, 655–673. MR2736346

    work page 2011

  3. [2]

    Amiri, H

    H. Amiri, H. Glöckner, and A. Schmeding, Lie groupoids of mappings taking values in a Lie groupoid , Arch. Math. (Brno) 56 (2020), no. 5, 307–356. MR4188745

    work page 2020

  4. [3]

    R. D. Anderson, Hilbert space is homeomorphic to the countable infinite product of lines , Bull. Amer. Math. Soc. 72 (1966), 515–519. MR190888

    work page 1966

  5. [4]

    R. D. Anderson, Topological properties of the Hilbert cube and the infinite product of open intervals , Trans. Amer. Math. Soc. 126 (1967), 200–216. MR205212

    work page 1967

  6. [5]

    Arnold,Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l’hydrodynamique des fluides parfaits, Ann

    V . Arnold,Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l’hydrodynamique des fluides parfaits, Ann. Inst. Fourier (Grenoble) 16 (1966), 319–361. MR202082

    work page 1966

  7. [6]

    R. H. Bamler and B. Kleiner, Ricci flow and contractibility of spaces of metrics (2019), available at arXiv:1909.08710

    arXiv 2019

  8. [7]

    R. H. Bamler and B. Kleiner, Ricci flow and diffeomorphism groups of 3-manifolds , J. Amer. Math. Soc. 36 (2023), no. 2, 563–589. MR4536904

    work page 2023

Show all 80 references
  1. [8]

    R. H. Bamler and B. Kleiner, Diffeomorphism groups of prime 3-manifolds , J. Reine Angew. Math. 806 (2024), 23–35. MR4685084

    2024

  2. [9]

    Banyaga, The structure of classical diffeomorphism groups , Mathematics and its Applications, vol

    A. Banyaga, The structure of classical diffeomorphism groups , Mathematics and its Applications, vol. 400, Kluwer Academic Publishers Group, Dordrecht, 1997. MR1445290

    1997

  3. [10]

    Binz and H

    E. Binz and H. R. Fischer, The manifold of embeddings of a closed manifold , Differential geometric methods in mathematical physics (Proc. Internat. Conf., Tech. Univ. Clausthal, Clausthal-Zellerfeld, 1978), 1981, pp. 310–329. With an appendix by P. Michor. MR613004

    1978

  4. [11]

    S. S. Cairns, Triangulation of the manifold of class one, Bull. Amer. Math. Soc. 41 (1935), no. 8, 549–552. MR1563139

    1935

  5. [12]

    Cerf, Sur les difféomorphismes de la sphère de dimension trois(Γ4 = 0), Lecture Notes in Mathematics, vol

    J. Cerf, Sur les difféomorphismes de la sphère de dimension trois(Γ4 = 0), Lecture Notes in Mathematics, vol. No. 53, Springer-Verlag, Berlin-New York, 1968. MR229250

    1968

  6. [13]

    Cheeger and D

    J. Cheeger and D. Gromoll, On the structure of complete manifolds of nonnegative curvature , Ann. of Math. (2) 96 (1972), 413–443. MR309010

    1972

  7. [14]

    Dax, Étude homotopique des espaces de plongements , Ann

    J.-P. Dax, Étude homotopique des espaces de plongements , Ann. Sci. École Norm. Sup. (4) 5 (1972), 303–377. MR321110 124

    1972

  8. [16]

    Diez and G

    T. Diez and G. Rudolph, Slice theorem and orbit type stratification in infinite dimensions , Differential Geom. Appl. 65 (2019), 176–211. MR3943433

    2019

  9. [17]

    C. J. Earle and J. Eells, A fibre bundle description of Teichmüller theory , J. Differential Geometry 3 (1969), 19–43. MR276999

    1969

  10. [18]

    D. G. Ebin and J. Marsden, Groups of diffeomorphisms and the motion of an incompressible fluid , Ann. of Math. (2) 92 (1970), 102–163. MR271984

    1970

  11. [19]

    Fang, On topology and geometry of the infinite-dimensional space of fibrations , Ph.D

    Z. Fang, On topology and geometry of the infinite-dimensional space of fibrations , Ph.D. Thesis, 2024

    2024

  12. [20]

    Gabai, The Smale conjecture for hyperbolic 3-manifolds: Isom(𝑀3)≃ Diff(𝑀3), J

    D. Gabai, The Smale conjecture for hyperbolic 3-manifolds: Isom(𝑀3)≃ Diff(𝑀3), J. Differential Geom. 58 (2001), no. 1, 113–149. MR1895350

    2001

  13. [21]

    Gage and R

    M. Gage and R. S. Hamilton, The heat equation shrinking convex plane curves, J. Differential Geom. 23 (1986), no. 1, 69–96. MR840401

    1986

  14. [22]

    M. E. Gage, Curve shortening makes convex curves circular , Invent. Math. 76 (1984), no. 2, 357–364. MR742856

    1984

  15. [23]

    M. E. Gage, Curve shortening on surfaces, Ann. Sci. École Norm. Sup. (4) 23 (1990), no. 2, 229–256. MR1046497

    1990

  16. [24]

    Glockner, Implicit functions from topological vector spaces to Banach spaces , Israel J

    H. Glockner, Implicit functions from topological vector spaces to Banach spaces , Israel J. Math. 155 (2006), 205–252. MR2269430

    2006

  17. [25]

    Glockner, Fundamentals of submersions and immersions between infinite-dimensional manifolds(2016), available at arXiv:1502.05795

    H. Glockner, Fundamentals of submersions and immersions between infinite-dimensional manifolds(2016), available at arXiv:1502.05795

    2016 arXiv

  18. [26]

    Glöckner and K.-H

    H. Glöckner and K.-H. Neeb, Infinite-dimensional lie groups, forthcoming

  19. [27]

    Glöckner and A

    H. Glöckner and A. Schmeding, Manifolds of mappings on Cartesian products , Ann. Global Anal. Geom. 61 (2022), no. 2, 359–398. MR4376531

    2022

  20. [28]

    Gluck and F

    H. Gluck and F. W . Warner, Great circle fibrations of the three-sphere , Duke Math. J. 50 (1983), no. 1, 107–132. MR700132

    1983

  21. [29]

    M. A. Grayson, The heat equation shrinks embedded plane curves to round points , J. Differential Geom. 26 (1987), no. 2, 285–314. MR906392

    1987

  22. [30]

    M. A. Grayson, Shortening embedded curves, Ann. of Math. (2) 129 (1989), no. 1, 71–111. MR979601

    1989

  23. [31]

    Grove and H

    K. Grove and H. Karcher, How to conjugate𝐶1-close group actions, Math. Z. 132 (1973), 11–20. MR356104

    1973

  24. [32]

    R. S. Hamilton, The inverse function theorem of Nash and Moser , Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 1, 65–222. MR656198

    1982

  25. [33]

    Hanner, Some theorems on absolute neighborhood retracts , Ark

    O. Hanner, Some theorems on absolute neighborhood retracts , Ark. Mat. 1 (1951), 389–408. MR43459

    1951

  26. [34]

    V . L. Hansen,Some theorems on direct limits of expanding sequences of manifolds , Math. Scand. 29 (1971), 5–36. MR319206

    1971

  27. [35]

    V . L. Hansen,On the homotopy type of certain spaces of differentiable maps, Math. Scand.30 (1972), 75–87. MR322900

    1972

  28. [36]

    Hatcher, On the diffeomorphism group of 𝑆1×𝑆2, Proc

    A. Hatcher, On the diffeomorphism group of 𝑆1×𝑆2, Proc. Amer. Math. Soc. 83 (1981), no. 2, 427–430. MR624946

    1981

  29. [37]

    Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002

    A. Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. MR1867354 125

    2002

  30. [38]

    Hatcher, A 50-year view of diffeomorphism groups , 2012

    A. Hatcher, A 50-year view of diffeomorphism groups , 2012. Slides from a talk at the 50th Cornell Topology Festival

    2012

  31. [39]

    A. E. Hatcher, A proof of the Smale conjecture, Diff(𝑆3)≃ O(4), Ann. of Math. (2) 117 (1983), no. 3, 553–607. MR701256

    1983

  32. [40]

    D. W . Henderson and R. Schori,Topological classification of infinite dimensional manifolds by homotopy type , Bull. Amer. Math. Soc. 76 (1970), 121–124. MR251749

    1970

  33. [41]

    S. Hong, J. Kalliongis, D. McCullough, and J. H. Rubinstein, Diffeomorphisms of elliptic 3-manifolds, Lecture Notes in Mathematics, vol. 2055, Springer, Heidelberg, 2012. MR2976322

  34. [42]

    N. V . Ivanov,Groups of diffeomorphisms of Waldhausen manifolds , Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 66 (1976), 172–176, 209. Studies in topology, II. MR448370

    1976

  35. [43]

    N. V . Ivanov,Homotopy of spaces of diffeomorphisms of some three-dimensional manifolds , Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 122 (1982), 72–103, 164–165. Studies in topology, IV. MR661467

    1982

  36. [44]

    M. I. Kadec, Topological equivalence of all separable Banach spaces, Dokl. Akad. Nauk SSSR 167 (1966), 23–25. MR201951

    1966

  37. [45]

    M. I. Kadec, A proof of the topological equivalence of all separable infinite-dimensional Banach spaces , Funkcional. Anal. i Priložen. 1 (1967), 61–70. MR209804

    1967

  38. [46]

    Karcher, Riemannian center of mass and mollifier smoothing, Comm

    H. Karcher, Riemannian center of mass and mollifier smoothing, Comm. Pure Appl. Math. 30 (1977), no. 5, 509–541. MR442975

    1977

  39. [47]

    Ketover and Y

    D. Ketover and Y. Liokumovich, The Smale conjecture and min-max theory , Invent. Math. 241 (2025), no. 1, 1–34. MR4921571

    2025

  40. [48]

    Khesin and R

    B. Khesin and R. Wendt, The geometry of infinite-dimensional groups , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 5...

    2009

  41. [49]

    Khokhliuk and S

    O. Khokhliuk and S. Maksymenko, Smooth approximations and their applications to homotopy types , Proc. Int. Geom. Cent. 13 (2020), no. 2, 68–108. MR4157915

    2020

  42. [50]

    Kihara, Smooth homotopy of infinite-dimensional 𝐶∞-manifolds, Mem

    H. Kihara, Smooth homotopy of infinite-dimensional 𝐶∞-manifolds, Mem. Amer. Math. Soc. 289 (2023), no. 1436, vii+129. MR4632309

    2023

  43. [51]

    R. C. Kirby and L. C. Siebenmann, On the triangulation of manifolds and the Hauptvermutung , Bull. Amer. Math. Soc. 75 (1969), 742–749. MR242166

    1969

  44. [52]

    R. C. Kirby and L. C. Siebenmann, Foundational essays on topological manifolds, smoothings, and triangulations , Annals of Mathematics Studies, vol. No. 88, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1977. With notes by John Milnor and Michael...

    1977

  45. [53]

    Kriegl and P

    A. Kriegl and P. W . Michor, The convenient setting of global analysis , Mathematical Surveys and Monographs, vol. 53, American Mathematical Society, Providence, RI, 1997. MR1471480

    1997

  46. [54]

    J. M. Lee, Introduction to smooth manifolds, Second, Graduate Texts in Mathematics, vol. 218, Springer, New York,

  47. [55]

    Macias-Virgós and E

    E. Macias-Virgós and E. Sanmartín Carbón, Manifolds of maps in Riemannian foliations, Geom. Dedicata 79 (2000), no. 2, 143–156. MR1748878 126

    2000

  48. [56]

    Matsumoto, An introduction to Morse theory, Translations of Mathematical Monographs, vol

    Y. Matsumoto, An introduction to Morse theory, Translations of Mathematical Monographs, vol. 208, American Mathematical Society, Providence, RI, 2002. Translated from the 1997 Japanese original by Kiki Hudson and Masahico Saito, Iwanami Series in Modern Mathematics. MR1873233

    2002

  49. [57]

    McCullough and T

    D. McCullough and T. Soma, The Smale conjecture for Seifert fibered spaces with hyperbolic base orbifold , J. Differ- ential Geom. 93 (2013), no. 2, 327–353. MR3024309

    2013

  50. [58]

    P. W . Michor, Manifolds of differentiable mappings , Shiva Mathematics Series, vol. 3, Shiva Publishing Ltd., Nantwich, 1980. MR583436

    1980

  51. [59]

    Milnor, Remarks on infinite-dimensional Lie groups , Relativity, groups and topology, II (Les Houches, 1983), 1984, pp

    J. Milnor, Remarks on infinite-dimensional Lie groups , Relativity, groups and topology, II (Les Houches, 1983), 1984, pp. 1007–1057. MR830252

    1983

  52. [60]

    Milnor, On spaces having the homotopy type of a CW-complex, Trans

    J. Milnor, On spaces having the homotopy type of a CW-complex, Trans. Amer. Math. Soc.h 90 (1959), 272–280. MR100267

    1959

  53. [61]

    Müller and C

    C. Müller and C. Wockel, Equivalences of smooth and continuous principal bundles with infinite-dimensional structure group, Adv. Geom. 9 (2009), no. 4, 605–626. MR2574141

    2009

  54. [62]

    Neeb, Central extensions of infinite-dimensional Lie groups , Ann

    K.-H. Neeb, Central extensions of infinite-dimensional Lie groups , Ann. Inst. Fourier (Grenoble) 52 (2002), no. 5, 1365–1442. MR1935553

    2002

  55. [63]

    Neeb, Towards a Lie theory of locally convex groups, Jpn

    K.-H. Neeb, Towards a Lie theory of locally convex groups, Jpn. J. Math. 1 (2006), no. 2, 291–468. MR2261066

    2006

  56. [64]

    Neeb, Lie groups of bundle automorphisms and their extensions , Developments and trends in infinite- dimensional Lie theory, 2011, pp

    K.-H. Neeb, Lie groups of bundle automorphisms and their extensions , Developments and trends in infinite- dimensional Lie theory, 2011, pp. 281–338. MR2743767

    2011

  57. [65]

    Omori, On Banach-Lie groups acting on finite dimensional manifolds , Tohoku Math

    H. Omori, On Banach-Lie groups acting on finite dimensional manifolds , Tohoku Math. J. (2) 30 (1978), no. 2, 223–250. MR579603

    1978

  58. [66]

    R. S. Palais, Homotopy theory of infinite dimensional manifolds , Topology 5 (1966), 1–16. MR189028

    1966

  59. [67]

    Quinn, Ends of maps

    F. Quinn, Ends of maps. III. Dimensions 4 and 5, J. Differential Geometry 17 (1982), no. 3, 503–521. MR679069

    1982

  60. [68]

    Sakai, Topology of infinite-dimensional manifolds, Springer Monographs in Mathematics, Springer, Singapore,

    K. Sakai, Topology of infinite-dimensional manifolds, Springer Monographs in Mathematics, Springer, Singapore,

  61. [69]

    Schmeding, An introduction to infinite-dimensional differential geometry , Cambridge Studies in Advanced Mathematics, vol

    A. Schmeding, An introduction to infinite-dimensional differential geometry , Cambridge Studies in Advanced Mathematics, vol. 202, Cambridge University Press, Cambridge, 2023. MR4505843

    2023

  62. [70]

    Smale, Diffeomorphisms of the 2-sphere, Proc

    S. Smale, Diffeomorphisms of the 2-sphere, Proc. Amer. Math. Soc. 10 (1959), 621–626. MR112149

    1959

  63. [71]

    N. K. Smolentsev,Diffeomorphism groups of compact manifolds, Sovrem. Mat. Prilozh.37 (2006), 3–100. MR2568571

    2006

  64. [72]

    Spanier, Infinite symmetric products, function spaces, and duality, Ann

    E. Spanier, Infinite symmetric products, function spaces, and duality, Ann. of Math. (2) 69 (1959), 142–198[ erratum,

    1959

  65. [73]

    Wang and J

    Y. Wang and J. Yang, On the homotopy type of the space of fiberings of 𝑠1×𝑠2 by simple closed curves, 2024

    2024

  66. [74]

    J. H. C. Whitehead, On𝐶1-complexes, Ann. of Math. (2) 41 (1940), 809–824. MR2545

    1940

  67. [75]

    J. H. C. Whitehead, Combinatorial homotopy. I, Bull. Amer. Math. Soc. 55 (1949), 213–245. MR30759

    1949

  68. [76]

    J. H. C. Whitehead, A certain exact sequence, Ann. of Math. (2) 52 (1950), 51–110. MR35997

    1950

  69. [77]

    Whitney, Differentiable manifolds, Ann

    H. Whitney, Differentiable manifolds, Ann. of Math. (2) 37 (1936), no. 3, 645–680. MR1503303

    1936

  70. [78]

    Whitney, The self-intersections of a smooth 𝑛-manifold in 2𝑛-space, Ann

    H. Whitney, The self-intersections of a smooth 𝑛-manifold in 2𝑛-space, Ann. of Math. (2) 45 (1944), 220–246. MR10274 127

    1944

  71. [79]

    Wockel, Lie group structures on symmetry groups of principal bundles , J

    C. Wockel, Lie group structures on symmetry groups of principal bundles , J. Funct. Anal. 251 (2007), no. 1, 254–288. MR2353707

    2007

  72. [80]

    Wockel, A generalization of Steenrod’s approximation theorem , Arch

    C. Wockel, A generalization of Steenrod’s approximation theorem , Arch. Math. (Brno) 45 (2009), no. 2, 95–104. MR2591666 Department of Mathematics & MIT Open Learning, Massachusetts Institute of Technology Email address: ziqifang@mit.edu 128

    2009

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.