pith. sign in

arxiv: 1907.03024 · v1 · pith:SYKG3FO4new · submitted 2019-07-05 · 🧮 math.DS · math.GR· math.GT

Reconstructing maps out of groups

Kathryn Mann , Maxime Wolff This is my paper

Pith reviewed 2026-05-25 01:38 UTC · model grok-4.3

classification 🧮 math.DS math.GRmath.GT
keywords homeomorphism reconstructiongroup actions on manifoldsdifferentiable rigiditycritical regularitydiffeomorphism groups1-manifoldsdynamical systemsmarked isomorphism
0
0 comments X

The pith

A homeomorphism of a manifold can be recovered from the marked isomorphism class of any finitely generated group of homeomorphisms containing it.

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

The paper shows that in many situations a homeomorphism f on a manifold M is uniquely determined by the marked isomorphism class of a finitely generated group of homeomorphisms that includes f. This reconstruction connects the notions of critical regularity and differentiable rigidity for actions on manifolds. The authors produce examples of groups of diffeomorphisms of 1-manifolds that are strongly rigid with respect to regularity and supply a short independent proof that certain finitely generated groups of C^α diffeomorphisms cannot embed into Diff^β for any β > α > 1.

Core claim

We show that, in many situations, a homeomorphism f of a manifold M may be recovered from the (marked) isomorphism class of a finitely generated group of homeomorphisms containing f. As an application, we relate the notions of critical regularity and of differentiable rigidity, give examples of groups of diffeomorphisms of 1-manifolds with strong differential rigidity, and in so doing give an independent, short proof of a recent result of Kim and Koberda that there exist finitely generated groups of C^α diffeomorphisms of a 1-manifold M, not embeddable into Diff^β(M) for any β > α > 1.

What carries the argument

The marked isomorphism class of a finitely generated group of homeomorphisms containing the target map f.

If this is right

  • Critical regularity of an action is tied directly to its differentiable rigidity properties.
  • Groups of diffeomorphisms of 1-manifolds exist that exhibit strong differential rigidity.
  • Finitely generated groups of C^α diffeomorphisms on a 1-manifold exist that do not embed into Diff^β for any β > α > 1.

Where Pith is reading between the lines

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

  • The reconstruction supplies a group-theoretic test for whether two actions on the same manifold are the same up to the choice of generators.
  • The method may allow detection of rigidity phenomena without constructing explicit conjugacies between actions.

Load-bearing premise

Recovery is possible only under additional hypotheses on the manifold, the group, and the action that hold in many but not necessarily all cases.

What would settle it

Two distinct homeomorphisms f and g on the same manifold M that generate marked-isomorphic finitely generated groups but cannot be distinguished from the group data alone would falsify the reconstruction claim.

read the original abstract

We show that, in many situations, a homeomorphism $f$ of a manifold $M$ may be recovered from the (marked) isomorphism class of a finitely generated group of homeomorphisms containing $f$. As an application, we relate the notions of {\em critical regularity} and of {\em differentiable rigidity}, give examples of groups of diffeomorphisms of 1-manifolds with strong differential rigidity, and in so doing give an independent, short proof of a recent result of Kim and Koberda that there exist finitely generated groups of $C^\alpha$ diffeomorphisms of a 1-manifold $M$, not embeddable into $\mathrm{Diff}^\beta(M)$ for any $\beta > \alpha > 1$.

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 paper proves that, in many situations, a homeomorphism f of a manifold M can be recovered from the marked isomorphism class of a finitely generated group of homeomorphisms containing f. It applies this reconstruction to relate critical regularity and differentiable rigidity, constructs examples of groups of diffeomorphisms of 1-manifolds with strong differential rigidity, and gives an independent short proof of Kim and Koberda's result that there exist finitely generated groups of C^α diffeomorphisms of a 1-manifold not embeddable into Diff^β(M) for β > α > 1.

Significance. If the reconstruction theorem holds under explicitly stated hypotheses, the work supplies a group-theoretic tool for recovering individual maps and yields a concise alternative proof of the Kim-Koberda non-embeddability theorem. The examples of differentially rigid groups would strengthen the link between critical regularity and rigidity phenomena in one-dimensional dynamics.

major comments (2)
  1. [Abstract, §1] Abstract and §1: the central claim is stated only for 'many situations' whose precise hypotheses on M, the group G, and the action (e.g., support conditions, fixed-point behavior, or generation requirements) are not listed; these hypotheses are load-bearing for both the theorem and the Kim-Koberda application in §4, which inherits the same scope limitation.
  2. [§4] §4, application to Kim-Koberda: the constructed groups must be shown to satisfy the (unstated) hypotheses of the main reconstruction theorem; without this verification the independent proof does not follow from the reconstruction result.
minor comments (1)
  1. [§2] Notation for the marked isomorphism class should be introduced once and used consistently throughout.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We agree that the hypotheses of the main reconstruction result require clearer exposition in the abstract and introduction, and that the application in §4 needs explicit verification that the constructed groups satisfy those hypotheses. We will revise the manuscript to address both points.

read point-by-point responses

  1. Referee: [Abstract, §1] Abstract and §1: the central claim is stated only for 'many situations' whose precise hypotheses on M, the group G, and the action (e.g., support conditions, fixed-point behavior, or generation requirements) are not listed; these hypotheses are load-bearing for both the theorem and the Kim-Koberda application in §4, which inherits the same scope limitation.

    Authors: We agree that the phrasing 'in many situations' in the abstract and §1 is imprecise and does not immediately list the hypotheses. The precise hypotheses (including support conditions, fixed-point behavior, and generation requirements) are stated in the main reconstruction theorem (Theorem 1.1). In the revision we will update the abstract and §1 to explicitly summarize these hypotheses, making the scope of the result and its applicability to the Kim-Koberda theorem transparent from the outset. revision: yes

  2. Referee: [§4] §4, application to Kim-Koberda: the constructed groups must be shown to satisfy the (unstated) hypotheses of the main reconstruction theorem; without this verification the independent proof does not follow from the reconstruction result.

    Authors: We acknowledge that the manuscript does not explicitly verify that the groups constructed in §4 satisfy the hypotheses of the reconstruction theorem. In the revised version we will insert a short lemma or paragraph in §4 confirming that these groups meet the required conditions on supports, fixed points, and generation, thereby ensuring the independent proof of the Kim-Koberda non-embeddability result follows directly from the reconstruction theorem. revision: yes

Circularity Check

0 steps flagged

No circularity; direct theorem with external application

full rationale

The paper states a reconstruction theorem for homeomorphisms from marked isomorphism classes of finitely generated groups in many situations, then applies it to relate critical regularity and differentiable rigidity while giving an independent short proof of the Kim-Koberda non-embeddability result. No equations or steps reduce by construction to inputs, no parameters are fitted then renamed as predictions, and no load-bearing self-citations or uniqueness theorems imported from the authors' prior work are present. The derivation chain is a standard mathematical proof whose central claim does not collapse to a renaming, ansatz, or self-referential definition.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no free parameters, axioms, or invented entities are identifiable from the given text.

pith-pipeline@v0.9.0 · 5642 in / 1057 out tokens · 20657 ms · 2026-05-25T01:38:43.631114+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

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

  1. [1]

    Bonatti, I

    C. Bonatti, I. Monteverde, A. Navas, and C. Rivas. Rigidity forC 1 actions on the interval arising from hyperbolicity I: solvable groups.Math. Z., 286(3-4):919–949, 2017

    work page 2017

  2. [2]

    Dynamical forcing of circular groups.Trans

    Danny Calegari. Dynamical forcing of circular groups.Trans. Amer. Math. Soc., 358(8):3473– 3491, 2006

    work page 2006

  3. [3]

    Sharp regularity for certain nilpotent group actions on the interval.Math

    Gonzalo Castro, Eduardo Jorquera, and Andrés Navas. Sharp regularity for certain nilpotent group actions on the interval.Math. Ann., 359(1-2):101–152, 2014

    work page 2014

  4. [4]

    Algebraic Structure of Diffeomorphism Groups of One-Manifolds

    Kim Sang-hyun Chang, Jaewon and Thomas Koberda. Algebraic structure of diffeomorphism groups of one-manifolds. 2019. preprint. arXiv:1904.08793 [math.GR]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  5. [5]

    D. B. A. Epstein. The simplicity of certain groups of homeomorphisms.Compositio Math., 22:165–173, 1970

    work page 1970

  6. [6]

    R. P. Filipkiewicz. Isomorphisms between diffeomorphism groups.Ergodic Theory Dynamical Systems, 2(2):159–171 (1983), 1982

    work page 1983

  7. [7]

    Rigidité différentiable des groupes fuchsiens.Inst

    Étienne Ghys. Rigidité différentiable des groupes fuchsiens.Inst. Hautes Études Sci. Publ. Math., (78):163–185 (1994), 1993

    work page 1994

  8. [8]

    Groups acting on the circle.Enseign

    Étienne Ghys. Groups acting on the circle.Enseign. Math. (2), 47(3-4):329–407, 2001

    work page 2001

  9. [9]

    Unsmoothable diffeomorphisms.Ann

    Jenny Harrison. Unsmoothable diffeomorphisms.Ann. of Math. (2), 102(1):85–94, 1975

    work page 1975

  10. [10]

    Unsmoothable diffeomorphisms on higher dimensional manifolds.Proc

    Jenny Harrison. Unsmoothable diffeomorphisms on higher dimensional manifolds.Proc. Amer. Math. Soc., 73(2):249–255, 1979

    work page 1979

  11. [11]

    Diffeomorphism groups of critical regularity

    Sang-Hyun Kim and Thomas Koberda. Diffeomorphism groups of critical regularity. 2017. Preprint arXiv:1711.05589

    work page arXiv 2017

  12. [12]

    Free subgroups of the homeomorphism group of the circle.C

    Gregory Margulis. Free subgroups of the homeomorphism group of the circle.C. R. Acad. Sci. Paris Sér. I Math., 331(9):669–674, 2000

    work page 2000

  13. [13]

    Some remarks on foliatedS1 bundles

    Shigenori Matsumoto. Some remarks on foliatedS1 bundles. Invent. Math., 90:343–358, 1987

    work page 1987

  14. [14]

    Actions de groupes de Kazhdan sur le cercle.Ann

    Andrés Navas. Actions de groupes de Kazhdan sur le cercle.Ann. Sci. École Norm. Sup. (4), 35(5):749–758, 2002

    work page 2002

  15. [15]

    Chicago Lectures in Mathematics

    Andres Navas.Groups of Circle Diffeomorphisms. Chicago Lectures in Mathematics. Univer- sity of Chicago Press, 2011

    work page 2011

  16. [16]

    On the reconstruction of topological spaces from their groups of homeo- morphisms

    Matatyahu Rubin. On the reconstruction of topological spaces from their groups of homeo- morphisms. Trans. Amer. Math. Soc., 312(2):487–538, 1989

    work page 1989

  17. [17]

    Characterization of a differentiable structure by its group of diffeomorphisms

    Floris Takens. Characterization of a differentiable structure by its group of diffeomorphisms. Bol. Soc. Brasil. Mat., 10(1):17–25, 1979

    work page 1979

  18. [18]

    Thurston

    William P. Thurston. A generalization of the Reeb stability theorem.Topology, 13:347–352, 1974

    work page 1974

  19. [19]

    Whittaker

    James V. Whittaker. On isomorphic groups and homeomorphic spaces.Ann. of Math. (2), 78:74–91, 1963

    work page 1963

  20. [20]

    Centralisateurs et conjugaison différentiable des difféomorphismes du cercle.Astérisque, 231:89–242, 1995

    Jean-Christophe Yoccoz. Centralisateurs et conjugaison différentiable des difféomorphismes du cercle.Astérisque, 231:89–242, 1995. Petits diviseurs en dimension1. Department of Mathematics, Cornell University, Ithaca, NY 14853, USA E-mail address: k.mann@cornell.edu Sorbonne Universités, UPMC Univ. Paris 06, Institut de Mathématiques de Jussieu- Paris Rive ...

    work page 1995