pith. sign in

arxiv: 2602.04249 · v2 · submitted 2026-02-04 · 🧮 math.DS

The Teichm\"uller Space of a 3-Dimensional Anosov Flow

Ruihao Gu , Yi Shi This is my paper

Pith reviewed 2026-05-16 07:29 UTC · model grok-4.3

classification 🧮 math.DS
keywords Anosov flowTeichmüller spaceorbit equivalence3-manifoldhomotopy equivalencediffeomorphism groupconjugacy rigidity
0
0 comments X

The pith

For transitive Anosov flows on closed 3-manifolds, the Teichmüller space of smooth orbit-equivalence classes is the product of two function spaces.

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 space of smooth orbit-equivalence classes for a transitive Anosov flow on a closed three-dimensional manifold decomposes as a product of two function spaces. This product structure directly implies that all such flows are path-connected through orbit equivalences, resolving a question in dimension three. Additionally, each path component in the space of C^r Anosov flows is homotopy equivalent to the identity component of the diffeomorphism group of the manifold. The authors also establish rigidity results for time-preserving conjugacies when the strong stable foliations are C^1 smooth.

Core claim

For a transitive Anosov flow Φ on a 3-dimensional closed manifold M, its Teichmüller space in the sense of smooth orbit-equivalence classes is realized as a product of two function spaces. This leads to the path-connectedness of the orbit-equivalence space and the homotopy equivalence A^r(Φ) ≃ Diff^r_0(M). Moreover, time-preserving conjugacy is rigid for such flows that admit C^1-smooth strong stable foliations.

What carries the argument

The realization of the Teichmüller space of smooth orbit-equivalence classes as a product of two function spaces.

Load-bearing premise

The flow is transitive and Anosov on a closed three-dimensional manifold.

What would settle it

A transitive Anosov flow on a closed 3-manifold whose space of smooth orbit-equivalences cannot be written as a product of two function spaces would disprove the main claim.

Figures

Figures reproduced from arXiv: 2602.04249 by Ruihao Gu, Yi Shi.

Figure 1
Figure 1. Figure 1: Commutative Diagram such that α ¡ Hˇ 1(x),t,F s Φˇ 1 ,aˇ1 ¢ = α ¡ x,t,F s Φ ,aˇ0 ¢ and α ¡ Hˇ 1(x),t,F u Φˇ 1 ,aˇ1 ¢ = αΦ(x,t, g s 1 ) = αΦ(x,t, f s 1 ). Let Hˇ := H ◦ Hˇ −1 1 . Since Hˇ 1 is a conjugacy, we have Hˇ ◦Φˇ t 1 (x) = Ψγ(Hˇ −1 1 (x),t) ◦ Hˇ (x). Let f u 0 (x) = − d d t ¯ ¯ ¯ t=0 α ¡ x,t,F s Φˇ 1 ,aˇ1 ¢ = − d d t ¯ ¯ ¯ t=0 α ¡ Hˇ −1 1 (x),t,F s Φ ,aˇ1 ¢ = −J u Φ ◦ Hˇ −1 1 (x) and f u 1 = −J u Ψ … view at source ↗
Figure 2
Figure 2. Figure 2: The set Σi , i.e., the piece of the boundary ∂Ui foliated by L , is divided into rectangles Σi j . The curve L − i j is cut by other boundaries of Σi j′ into shorter curves. and curves lying on F s Φ or L , thus it also can be seen as a union of degenerate rectangles. Since int(Ui)∩int(Uj) = ;, one has that for j ̸= j ′ , intΣ(Σi j)∩intΣ(Σi j′) = ;. It is clear that Σi = S 1≤j≤k0 Σi j , and the boundary of… view at source ↗
Figure 3
Figure 3. Figure 3: The metric of point p is given by the metric of p − ∗ and p + ∗ . We first extend a˜(·,·) to the tubular neighborhood B s ε (Σi) of Σi . For Σi j , we consider its ε-tubular neighborhood Ei j := B s ε (Σi j). Recall B s ε (L ± i j) ⊂ Ei j . Without loss of generality, we see Ei j as a s-regular L -foliation box. Let E ± i j be two pieces of the boundary ∂Ei j transverse to L , which are local stable manifo… view at source ↗
Figure 4
Figure 4. Figure 4: The metric of point p is given by the metric of pS nad pL. The rest part of the proof is, in each Ui , extending the metric a˜|B s ε (Σi) to Ui . By slightly perturbing the tubular neighborhood of Σi , we can assume that int(U− i )∩∂B s ε (Σi) = Li is a simple closed smooth curve. We take a disk Di ⊂U− i inside another disk decided by Li such that Di ∩Li = ;, denote Si = ∂Di . We denote by Ti , the annulus… view at source ↗
read the original abstract

For a transitive Anosov flow $\Phi$ on 3-dimensional closed manifold $M$ , we realize its Teichm\"uller space in the sense of smooth orbit-equivalence classes as a product of two function spaces. As an application, we show the path-connectedness of the orbit-equivalence space of 3-dimensional transitive Anosov flows which gives a positive answer of Potrie [53, Question 1] in dimension 3. Further, in the space of $C^r$-smooth ($r\geq 1$) 3-dimensional Anosov flows on $M$, we show that $\mathcal{A}^r(\Phi)$ the path component containing $\Phi$ is homotopy equivalent to the identity component of the diffeomorphism group of the manifold, namely, \[ \mathcal{A}^r(\Phi)\simeq {\rm Diff}^r_0(M). \] Moreover, we show the rigidity of time-preserving conjugacy for 3-dimensional transitive Anosov flows admitting $C^1$-smooth strong stable foliations, which gives partial answer of Gogolev-Leguil- Rodriguez Hertz [27, Question 2.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

2 major / 2 minor

Summary. The paper claims that for a transitive Anosov flow Φ on a closed 3-manifold M, the Teichmüller space of smooth orbit-equivalence classes decomposes as a product of two function spaces. As consequences, the space of orbit equivalences is path-connected (answering Potrie's Question 1 in dimension 3), the path component A^r(Φ) in the space of C^r Anosov flows is homotopy equivalent to Diff^r_0(M), and time-preserving conjugacies are rigid when the strong stable foliation is C^1.

Significance. If the product decomposition and homotopy equivalence hold, the results give a concrete description of the moduli space of 3D transitive Anosov flows and resolve an open question on path-connectedness; the homotopy type statement would also imply that deformations are essentially controlled by diffeomorphisms of the underlying manifold.

major comments (2)
  1. [Theorem 1.1 / §3] The central product decomposition (stated in the abstract and presumably Theorem 1.1) requires a continuous splitting of C^r orbit equivalences into a time-change factor and a transverse factor. The argument for continuity of this splitting in the C^r topology for finite r (especially r=1) must be checked against possible obstructions from non-trivial holonomy of the strong stable/unstable foliations; without an explicit estimate showing that the transverse component remains C^r when the original equivalence is only C^r, the identification with a product of function spaces is not secured.
  2. [§5] The homotopy equivalence A^r(Φ) ≃ Diff^r_0(M) is derived from the product structure. If the splitting map fails to be a homeomorphism in the C^r topology, the homotopy type statement collapses; the manuscript should supply a direct argument that the two function spaces are contractible (or identify them explicitly) rather than relying solely on the decomposition.
minor comments (2)
  1. [Abstract / §1] The abstract refers to 'two function spaces' without naming them; the introduction should state explicitly which spaces appear in the product (e.g., positive C^r functions for reparametrization and C^r transverse maps).
  2. [§1] Notation for the space of orbit equivalences is introduced as A^r(Φ) but used interchangeably with the Teichmüller space; a single consistent symbol would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address each major point below, providing clarifications on the continuity of the splitting and the contractibility of the function spaces. Where appropriate, we indicate revisions to strengthen the exposition.

read point-by-point responses

  1. Referee: [Theorem 1.1 / §3] The central product decomposition (stated in the abstract and presumably Theorem 1.1) requires a continuous splitting of C^r orbit equivalences into a time-change factor and a transverse factor. The argument for continuity of this splitting in the C^r topology for finite r (especially r=1) must be checked against possible obstructions from non-trivial holonomy of the strong stable/unstable foliations; without an explicit estimate showing that the transverse component remains C^r when the original equivalence is only C^r, the identification with a product of function spaces is not secured.

    Authors: The splitting map is constructed explicitly in §3 by decomposing any C^r orbit equivalence h into a time-change component (determined by the displacement along orbits of Φ) and a transverse component (obtained by projecting the image of h onto a transverse section using the flow). For transitive Anosov flows in dimension 3, the strong stable and unstable foliations are C^{r-1} with Lipschitz holonomy when r=1; this ensures that the transverse displacement map remains C^r (or C^1 when r=1) because the holonomy maps preserve the required regularity under composition with the C^r equivalence. We will insert an explicit estimate bounding the C^r norm of the transverse component in terms of the C^r norm of h, using the Anosov contraction/expansion rates, in the revised version of §3. revision: partial

  2. Referee: [§5] The homotopy equivalence A^r(Φ) ≃ Diff^r_0(M) is derived from the product structure. If the splitting map fails to be a homeomorphism in the C^r topology, the homotopy type statement collapses; the manuscript should supply a direct argument that the two function spaces are contractible (or identify them explicitly) rather than relying solely on the decomposition.

    Authors: The two factors in the product decomposition are contractible independently of the splitting: the time-change factor is an open convex cone in the Banach space C^r(M, ℝ>0), hence contractible by straight-line homotopy; the transverse factor is an open subset of the space of C^r sections of the transverse bundle, which is contractible by the standard contractibility of Diff^r_0 in the transverse direction for 3-manifolds. We will add a short direct paragraph in §5 verifying these contractibility statements via explicit homotopies, thereby establishing the homotopy equivalence A^r(Φ) ≃ Diff^r_0(M) without sole reliance on the splitting being a homeomorphism. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation uses standard Anosov flow foliation splittings and known diffeomorphism group properties.

full rationale

The central claims realize the Teichmüller space of orbit equivalences as a product of function spaces via the 1D strong stable/unstable foliations and flow direction on 3-manifolds, then deduce the homotopy equivalence A^r(Φ) ≃ Diff^r_0(M). No quoted step reduces a prediction to a fitted input by construction, imports uniqueness from self-citation, or smuggles an ansatz via prior work by the same authors. Citations are to external questions (Potrie, Gogolev-Leguil-Rodriguez Hertz) rather than load-bearing self-theorems. The product decomposition is presented as following from the Anosov structure and continuity of the splitting in C^r topology, without self-referential redefinition of the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard definitions of Anosov flows, transitivity, and orbit equivalence on closed manifolds; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption M is a closed 3-dimensional manifold.
    Required for the global definition of the flow and its Teichmüller space.
  • domain assumption The flow Φ is transitive and Anosov.
    Central hypothesis enabling the product realization and path-connectedness statements.

pith-pipeline@v0.9.0 · 5501 in / 1399 out tokens · 37133 ms · 2026-05-16T07:29:21.281636+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

62 extracted references · 62 canonical work pages

  1. [1]

    M. Asaoka. On invariant volumes of codimension-one Anosov flows and the Verjovsky conjec- ture.Invent. Math., 174(2):435–462, 2008. 47

    work page 2008

  2. [2]

    M. Asaoka. Nonhomogeneous locally free actions of the affine group.Ann. of Math. (2), 175(1):1– 21, 2012

    work page 2012

  3. [3]

    R. H. Bamler. Some recent developments in Ricci flow. InICM—International Congress of Math- ematicians. Vol. 4. Sections 5–8, pages 2432–2455. EMS Press, Berlin, [2023] ©2023

    work page 2023

  4. [4]

    T . Barbot. Generalizations of the Bonatti-Langevin example of Anosov flow and their classifica- tion up to topological equivalence.Comm. Anal. Geom., 6(4):749–798, 1998

    work page 1998

  5. [5]

    T . Barbot. De l’hyperbolique au globalement hyperbolique.Mathématiques [math], pages Uni- versité Claude Bernard – Lyon I, 2005, 2005

    work page 2005

  6. [6]

    Béguin, C

    F . Béguin, C. Bonatti, and B. Yu. Building Anosov flows on 3-manifolds.Geom. Topol., 21(3):1837– 1930, 2017

    work page 1930

  7. [7]

    Boileau and J

    M. Boileau and J. P . Otal. Scindements de Heegaard et groupe des homéotopies des petites var- iétés de Seifert.Invent. Math., 106(1):85–107, 1991

    work page 1991

  8. [8]

    T . Bousch. La condition de Walters.Ann. Sci. École Norm. Sup. (4), 34(2):287–311, 2001

    work page 2001

  9. [9]

    Bowen.Equilibrium states and the ergodic theory of Anosov diffeomorphisms, volume Vol

    R. Bowen.Equilibrium states and the ergodic theory of Anosov diffeomorphisms, volume Vol. 470 ofLecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1975

    work page 1975

  10. [10]

    Bowen and B

    R. Bowen and B. Marcus. Unique ergodicity for horocycle foliations.Israel J. Math., 26(1):43–67, 1977

    work page 1977

  11. [11]

    Bowen and D

    R. Bowen and D. Ruelle. The ergodic theory of Axiom A flows.Invent. Math., 29(3):181–202, 1975

    work page 1975

  12. [12]

    E. E. Cawley. The Teichmüller space of an Anosov diffeomorphism ofT 2.Invent. Math., 112(2):351–376, 1993

    work page 1993

  13. [13]

    N. Chernov. Invariant measures for hyperbolic dynamical systems. InHandbook of dynamical systems, Vol. 1A, pages 321–407. North-Holland, Amsterdam, 2002

    work page 2002

  14. [14]

    de la Llave

    R. de la Llave. Smooth conjugacy and S-R-B measures for uniformly and non-uniformly hyper- bolic systems.Comm. Math. Phys., 150(2):289–320, 1992

    work page 1992

  15. [15]

    de la Llave, J

    R. de la Llave, J. M. Marco, and R. Moriyón. Canonical perturbation theory of Anosov systems and regularity results for the Livšic cohomology equation.Ann. of Math. (2), 123(3):537–611, 1986

    work page 1986

  16. [16]

    De Simoi, M

    J. De Simoi, M. Leguil, K. Vinhage, and Y. Yang. Entropy rigidity for 3D conservative Anosov flows and dispersing billiards.Geom. Funct. Anal., 30(5):1337–1369, 2020

    work page 2020

  17. [17]

    DeWitt and A

    J. DeWitt and A. Gogolev. Dominated splitting from constant periodic data and global rigidity of Anosov automorphisms.Geom. Funct. Anal., 34(5):1370–1398, 2024

    work page 2024

  18. [18]

    Eskin, R

    A. Eskin, R. Potrie, and Z. Zhang. Geometric properties of partially hyperbolic measures and applications to measure rigidity. Preprint:arXiv:2302.12981, 2023

    work page arXiv 2023

  19. [19]

    F . T . Farrell and A. Gogolev. The space of Anosov diffeomorphisms.J. Lond. Math. Soc. (2), 89(2):383–396, 2014

    work page 2014

  20. [20]

    Feldman and D

    J. Feldman and D. Ornstein. Semirigidity of horocycle flows over compact surfaces of variable negative curvature.Ergodic Theory Dynam. Systems, 7(1):49–72, 1987. 48

    work page 1987

  21. [21]

    Fisher and B

    T . Fisher and B. Hasselblatt.Hyperbolic flows. Zurich Lectures in Advanced Mathematics. EMS Publishing House, Berlin, [2019] ©2019

    work page 2019

  22. [22]

    Foulon and B

    P . Foulon and B. Hasselblatt. Contact Anosov flows on hyperbolic 3-manifolds.Geom. Topol., 17(2):1225–1252, 2013

    work page 2013

  23. [23]

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

    work page 2001

  24. [24]

    Gabai, G

    D. Gabai, G. R. Meyerhoff, and N. Thurston. Homotopy hyperbolic 3-manifolds are hyperbolic. Ann. of Math. (2), 157(2):335–431, 2003

    work page 2003

  25. [25]

    É. Ghys. Flots d’Anosov sur les 3-variétés fibrées en cercles.Ergodic Theory Dynam. Systems, 4(1):67–80, 1984

    work page 1984

  26. [26]

    A. Gogolev. Bootstrap for local rigidity of Anosov automorphisms on the 3-torus.Comm. Math. Phys., 352(2):439–455, 2017

    work page 2017

  27. [27]

    Gogolev, M

    A. Gogolev, M. Leguil, and F . Rodriguez Hertz. Smooth rigidity for 3-dimensional dissipative anosov flows. Preprint:arXiv:2510.23872, 2025

    work page arXiv 2025

  28. [28]

    Gogolev and F

    A. Gogolev and F . Rodriguez Hertz. Smooth rigidity for 3-dimensional volume preserving anosov flows and weighted marked length spectrum rigidity. Preprint:arXiv:2210.02295, 2022

    work page arXiv 2022

  29. [29]

    Gogolev and F

    A. Gogolev and F . Rodriguez Hertz. Smooth rigidity for very non-algebraic expanding maps.J. Eur . Math. Soc. (JEMS), 25(8):3289–3323, 2023

    work page 2023

  30. [30]

    Gogolev and F

    A. Gogolev and F . Rodriguez Hertz. Smooth rigidity for higher-dimensional contact Anosov flows. Ukrainian Math. J., 75(9):1361–1370, 2024. Reprint of Ukraïn. Mat. Zh.75(2023), no. 9, 1195– 1203

    work page 2024

  31. [31]

    Gogolev and F

    A. Gogolev and F . Rodriguez Hertz. Smooth rigidity for very non-algebraic Anosov diffeomor- phisms of codimension one.Israel J. Math., 269(2):801–852, 2025

    work page 2025

  32. [32]

    D. Hart. On the smoothness of generators.Topology, 22(3):357–363, 1983

    work page 1983

  33. [33]

    A. Hatcher. Homeomorphisms of sufficiently largeP 2-irreducible 3-manifolds.Topology, 15(4):343–347, 1976

    work page 1976

  34. [34]

    N. T . A. Haydn. Canonical product structure of equilibrium states.Random Comput. Dynam., 2(1):79–96, 1994

    work page 1994

  35. [35]

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

    work page 2055

  36. [36]

    Hurder and A

    S. Hurder and A. Katok. Differentiability, rigidity and Godbillon-Vey classes for Anosov flows. Inst. Hautes Études Sci. Publ. Math., (72):5–61, 1990

    work page 1990

  37. [37]

    N. V . Ivanov. Homotopies of automorphism spaces of some three-dimensional manifolds.Dokl. Akad. Nauk SSSR, 244(2):274–277, 1979

    work page 1979

  38. [38]

    J.-L. Journé. A regularity lemma for functions of several variables.Rev. Mat. Iberoamericana, 4(2):187–193, 1988. 49

    work page 1988

  39. [39]

    Katok and B

    A. Katok and B. Hasselblatt.Introduction to the modern theory of dynamical systems, volume 54 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge,

    work page

  40. [40]

    With a supplementary chapter by Katok and Leonardo Mendoza

    work page

  41. [41]

    Keller.Equilibrium states in ergodic theory, volume 42 ofLondon Mathematical Society Student Texts

    G. Keller.Equilibrium states in ergodic theory, volume 42 ofLondon Mathematical Society Student Texts. Cambridge University Press, Cambridge, 1998

    work page 1998

  42. [42]

    Kucherenko and A

    T . Kucherenko and A. Quas. Realization of Anosov diffeomorphisms on the torus.J. Lond. Math. Soc. (2), 111(6):Paper No. e70194, 22, 2025

    work page 2025

  43. [43]

    Leplaideur

    R. Leplaideur. Local product structure for equilibrium states.Trans. Amer . Math. Soc., 352(4):1889–1912, 2000

    work page 1912

  44. [44]

    A. N. Livšic. Certain properties of the homology ofY-systems.Mat. Zametki, 10:555–564, 1971

    work page 1971

  45. [45]

    A. O. Lopes and Ph. Thieullen. Sub-actions for Anosov flows.Ergodic Theory Dynam. Systems, 25(2):605–628, 2005

    work page 2005

  46. [46]

    G. A. Margulis.On some aspects of the theory of Anosov systems. Springer Monographs in Math- ematics. Springer-Verlag, Berlin, 2004. With a survey by Richard Sharp: Periodic orbits of hyper- bolic flows, Translated from the Russian by Valentina Vladimirovna Szulikowska

    work page 2004

  47. [47]

    D. Obata. Symmetries of vector fields: the diffeomorphism centralizer.Discrete Contin. Dyn. Syst., 41(10):4943–4957, 2021

    work page 2021

  48. [48]

    C. F . B. Palmeira. Open manifolds foliated by planes.Ann. of Math. (2), 107(1):109–131, 1978

    work page 1978

  49. [49]

    W . Parry. Synchronisation of canonical measures for hyperbolic attractors.Comm. Math. Phys., 106(2):267–275, 1986

    work page 1986

  50. [50]

    Pesin.Lectures on partial hyperbolicity and stable ergodicity

    Y. Pesin.Lectures on partial hyperbolicity and stable ergodicity. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zürich, 2004

    work page 2004

  51. [51]

    J. F . Plante. Anosov flows.Amer . J. Math., 94:729–754, 1972

    work page 1972

  52. [52]

    J. F . Plante. Anosov flows, transversely affine foliations, and a conjecture of Verjovsky.J. London Math. Soc. (2), 23(2):359–362, 1981

    work page 1981

  53. [53]

    Pollicott.C k-rigidity for hyperbolic flows

    M. Pollicott.C k-rigidity for hyperbolic flows. II.Israel J. Math., 69(3):351–360, 1990

    work page 1990

  54. [54]

    R. Potrie. Anosov flows in dimension 3: an outside look.J. Fixed Point Theory Appl., 27(1):Paper No. 21, 47, 2025

    work page 2025

  55. [55]

    C. Pugh, M. Shub, and A. Wilkinson. Hölder foliations.Duke Math. J., 86(3):517–546, 1997

    work page 1997

  56. [56]

    D. Ruelle. A measure associated with axiom-A attractors.Amer . J. Math., 98(3):619–654, 1976

    work page 1976

  57. [57]

    P . R. Sad. Centralizers of vector fields.Topology, 18(2):97–104, 1979

    work page 1979

  58. [58]

    Sakai.Topology of infinite-dimensional manifolds

    K. Sakai.Topology of infinite-dimensional manifolds. Springer Monographs in Mathematics. Springer, Singapore, [2020] ©2020

    work page 2020

  59. [59]

    M. Tsujii. Exponential mixing for generic volume-preserving Anosov flows in dimension three.J. Math. Soc. Japan, 70(2):757–821, 2018. 50

    work page 2018

  60. [60]

    Tsujii and Z

    M. Tsujii and Z. Zhang. Smooth mixing Anosov flows in dimension three are exponentially mix- ing.Ann. of Math. (2), 197(1):65–158, 2023

    work page 2023

  61. [61]

    Waldhausen

    F . Waldhausen. On irreducible 3-manifolds which are sufficiently large.Ann. of Math. (2), 87:56– 88, 1968

    work page 1968

  62. [62]

    Walters.An introduction to ergodic theory, volume 79 ofGraduate Texts in Mathematics

    P . Walters.An introduction to ergodic theory, volume 79 ofGraduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1982. Ruihao Gu School of Mathematics, Tongji University, Shanghai, 200092, China E-mail:rhgu@tongji.edu.cn Yi Shi School of Mathematics, Sichuan University, Chengdu, 610065, China E-mail:shiyi@scu.edu.cn 51

    work page 1982