pith. machine review for the scientific record. sign in

arxiv: 2603.18456 · v2 · submitted 2026-03-19 · 🧮 math.GR · math.GT· math.KT· math.OA

Recognition: no theorem link

The Local Lifting Property, Property FD, and stability of approximate representations

Francesco Fournier-Facio , Rufus Willett
Authors on Pith no claims yet

Pith reviewed 2026-05-15 09:02 UTC · model grok-4.3

classification 🧮 math.GR math.GTmath.KTmath.OA
keywords local lifting propertyproperty FDflexible stability3-manifold groupslimit groupsone-relator groupsright-angled Artin groupsapproximate representations
0
0 comments X

The pith

3-manifold groups, limit groups and others satisfy Kirchberg's local lifting property and Lubotzky-Shalom property FD.

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

The paper proves that important classes of finitely generated groups possess Kirchberg's Local Lifting Property and Lubotzky-Shalom's Property FD. If these properties hold, then approximate representations of the groups lift locally to exact representations in a controlled way. It follows directly that the groups are flexibly stable under normalized unitarily invariant norms. The appendix adds that the same groups satisfy Kechris property (E)MD and therefore remain stable when restricted to finite actions. Readers would care because these groups sit at the center of geometric and combinatorial group theory, so the stability results link representation theory across fields.

Core claim

We establish Kirchberg's Local Lifting Property and Lubotzky--Shalom's Property FD for 3-manifold groups, limit groups, and certain one-relator groups and right-angled Artin groups. We deduce that such groups are very flexibly stable, with respect to normalized unitarily invariant norms. In the appendix, we show that these groups also have Kechris's property (E)MD, and hence are stable in finite actions, in the sense of Gohla--Thom.

What carries the argument

Kirchberg's Local Lifting Property together with Lubotzky-Shalom Property FD, which together guarantee that approximate unitary representations lift locally and yield flexible stability.

If this is right

  • The listed groups are flexibly stable for approximate representations with respect to normalized unitarily invariant norms.
  • Approximate representations of these groups lift locally to exact ones.
  • The groups possess Kechris property (E)MD.
  • They are stable in finite actions in the sense of Gohla-Thom.

Where Pith is reading between the lines

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

  • The same lifting properties may hold for other finitely generated groups whose presentations or geometry resemble the ones treated here.
  • These stability conclusions could produce new rigidity theorems for representations of 3-manifold groups.
  • The results supply concrete examples that operator algebraists can use when studying lifting phenomena in associated C*-algebras.

Load-bearing premise

The proof techniques developed for the properties extend directly to the listed classes of groups without further restrictions.

What would settle it

An explicit approximate representation of a 3-manifold group or limit group that fails to lift to an exact representation under any normalized unitarily invariant norm would falsify the claim.

read the original abstract

We establish Kirchberg's Local Lifting Property and Lubotzky--Shalom's Property FD for classes of finitely generated groups of central importance in geometric and combinatorial group theory: $3$-manifold groups, limit groups, and certain one-relator groups and right-angled Artin groups. We deduce that such groups are very flexibly stable, with respect to normalized unitarily invariant norms. In the appendix, we show that these groups also have Kechris's property (E)MD, and hence are stable in finite actions, in the selse of Gohla--Thom. The exposition is made accessible to operator algebraists and group theorists alike.

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 establishes Kirchberg's Local Lifting Property and Lubotzky-Shalom's Property FD for finitely generated 3-manifold groups, limit groups, certain one-relator groups, and right-angled Artin groups. These properties are obtained by reducing each class to previously known cases (hyperbolic groups via JSJ splittings for 3-manifolds, residual freeness for limit groups, and graph-of-groups decompositions for the remaining classes) in Sections 3-5. The paper then deduces flexible stability with respect to normalized unitarily invariant norms in Section 6, and shows in the appendix that the groups satisfy Kechris's property (E)MD, implying stability in finite actions in the sense of Gohla-Thom.

Significance. If the results hold, they are significant for bridging geometric/combinatorial group theory with operator-algebraic stability. The uniform reductions across the listed classes, carried out with explicit citations to prior lifting constructions, provide a coherent treatment of groups of central importance. The standard implication from LLP + FD to flexible stability is applied cleanly in Section 6, and the separate direct-product argument for (E)MD in the appendix is a useful addition. The accessible exposition strengthens the contribution for both operator algebraists and group theorists.

minor comments (3)
  1. [Introduction] In the introduction, the phrase 'very flexibly stable' appears without a self-contained gloss or immediate pointer to the precise definition used later; a one-sentence clarification would improve readability for readers outside the immediate subfield.
  2. [Section 6] Section 6 states the deduction of flexible stability from LLP + FD but does not recap the relevant implication from the literature; inserting a short paragraph summarizing the standard argument would make the section self-contained.
  3. [Appendix] In the appendix, the direct-product argument for property (E)MD is concise; adding a brief illustrative computation for one concrete group (e.g., a free group or a specific RAAG) would help readers verify the construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The referee's summary accurately reflects the paper's contributions, and we are pleased that the uniform reductions and implications for flexible stability were viewed as a coherent and accessible treatment.

Circularity Check

0 steps flagged

No significant circularity; derivations reduce to independent prior results

full rationale

The paper's central claims for LLP and FD on 3-manifold groups, limit groups, one-relator groups, and RAAGs are established by reducing each class to known cases (hyperbolic groups via JSJ, residual freeness, graph-of-groups decompositions) in Sections 3-5, using explicit citations to prior lifting constructions that are external to this manuscript. The flexible stability deduction in Section 6 follows the standard LLP+FD implication for normalized unitarily invariant norms, and the (E)MD appendix uses a direct product argument. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear; the argument chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the paper introduces no free parameters, no new invented entities, and relies only on standard background axioms from group theory and operator algebras; no ad-hoc assumptions are flagged in the summary.

axioms (1)
  • standard math Standard axioms and definitions of group theory, C*-algebras, and the cited properties (LLP, FD, (E)MD)
    The claims rest on established definitions from prior literature in geometric group theory and operator algebras.

pith-pipeline@v0.9.0 · 5409 in / 1354 out tokens · 45072 ms · 2026-05-15T09:02:23.262051+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

196 extracted references · 196 canonical work pages · 3 internal anchors

  1. [1]

    I. Agol. Criteria for virtual fibering.J. Topol., 1(2):269–284, 2008. 49

    work page 2008

  2. [2]

    I. Agol. The virtual Haken conjecture.Doc. Math., 18(1045-1087), 2013. 35, 40, 49

    work page 2013

  3. [3]

    Alibegovi´ c and M

    E. Alibegovi´ c and M. Bestvina. Limit groups are CATp0q.J. London Math. Soc. (2), 74(1):259–272, 2006. 68

    work page 2006

  4. [4]

    W. Arveson. A note on essentially normal operators.Proc. Royal Irish Acad., A74:143– 146, 1974. 8, 11

    work page 1974

  5. [5]

    W. Arveson. Notes on extensions ofC ˚-algebras.Duke Math. J., 44(2):329–355, 1977. 11, 63

    work page 1977

  6. [6]

    Arveson.A short course on spectral theory, volume 209 ofGraduate Texts in Math- ematics

    W. Arveson.A short course on spectral theory, volume 209 ofGraduate Texts in Math- ematics. Springer-Verlag, New York, 2002. 9

    work page 2002

  7. [7]

    Arzhantseva and L

    G. Arzhantseva and L. P˘ aunescu. Almost commuting permutations are near commuting permutations.J. Funct. Anal., 269:745–757, 2015. 60

    work page 2015

  8. [8]

    Aschenbrenner, S

    M. Aschenbrenner, S. Friedl, and H. Wilton.3-manifold groups. EMS Series of Lectures in Mathematics. European Mathematical Society (EMS), Z¨ urich, 2015. 49, 50, 54, 56

    work page 2015

  9. [9]

    Atkinson

    S. Atkinson. Some results on tracial stability and graph products.Indiana Univ. Math. J., 70(3):1167–1187, 2021. 64

    work page 2021

  10. [10]

    J. P. Bannon. A non-residually solvable hyperlinear one-relator group.Proc. Amer. Math. Soc., 139(4):1409–1410, 2011. 39 74

    work page 2011

  11. [11]

    J. P. Bannon and N. Noblett. A note on nonresidually solvable hyperlinear one-relator groups.Involve, 3(3):345–347, 2010. 39

    work page 2010

  12. [12]

    Baumslag

    B. Baumslag. Residually free groups.Proc. London Math. Soc. (3), 17:402–418, 1967. 39

    work page 1967

  13. [13]

    Baumslag

    G. Baumslag. A non-cyclic one-relator group all of whose finite quotients are cyclic.J. Aust. Math. Soc., 10:497–498, 1969. 38

    work page 1969

  14. [14]

    Baumslag

    G. Baumslag. Finitely generated cyclic extensions of free groups are residually finite. Bull. Austral. Math. Soc., 5:87–94, 1971. 36, 37

    work page 1971

  15. [15]

    Baumslag

    G. Baumslag. Positive one-relator groups.Trans. Amer. Math. Soc., 156:165–183, 1971. 37

    work page 1971

  16. [16]

    Baumslag, C

    G. Baumslag, C. F. Miller, III, and D. Troeger. Reflections on the residual finiteness of one-relator groups.Groups Geom. Dyn., 1(3):209–219, 2007. 38

    work page 2007

  17. [17]

    Baumslag and D

    G. Baumslag and D. Solitar. Some two generator non-Hopfian groups.Bull. Amer. Math. Soc., 68:199–201, 1962. 36

    work page 1962

  18. [18]

    Baumslag and T

    G. Baumslag and T. Taylor. The centre of groups with one defining relator.Math. Ann., 175:315–319, 1968. 36

    work page 1968

  19. [19]

    Becker and A

    O. Becker and A. Lubotzky. Group stability and property (T).J. Funct. Anal., 278:108298, 2020. 60

    work page 2020

  20. [20]

    B. Bekka. On the fullC ˚-algebras of arithmetic groups and the congruence subgroup problem.Forum Math., 11(6):705–715, 1999. 7

    work page 1999

  21. [21]

    Bekka, P

    B. Bekka, P. de la Harpe, and A. Valette.Kazhdan’s property (T), volume 11 ofNew Mathematical Monographs. Cambridge University Press, Cambridge, 2008. 41

    work page 2008

  22. [22]

    M. B. Bekka. On the fullC ˚-algebras of arithmetic groups and the congruence subgroup problem.Forum Math., 11(6):705–715, 1999. 45, 46

    work page 1999

  23. [23]

    M. B. Bekka and N. Louvet. Some properties ofC ˚-algebras associated to discrete linear groups. InC ˚-algebras (M¨ unster, 1999), pages 1–22. Springer, Berlin, 2000. 45

    work page 1999

  24. [24]

    F. Berlai. A new family of sofic one-relator groups.Internat. J. Algebra Comput., 36(1):115–120, 2026. 38, 39

    work page 2026

  25. [25]

    Bieri.Homological dimension of discrete groups

    R. Bieri.Homological dimension of discrete groups. Queen Mary College Mathematics Notes. Queen Mary College, Department of Pure Mathematics, London, second edition,

    work page

  26. [26]

    Blackadar.Operator algebras, volume 122 ofEncyclopaedia of Mathematical Sci- ences

    B. Blackadar.Operator algebras, volume 122 ofEncyclopaedia of Mathematical Sci- ences. Springer-Verlag, Berlin, 2006. Theory ofC ˚-algebras and von Neumann algebras, Operator Algebras and Non-commutative Geometry, III. 18, 59, 61

    work page 2006

  27. [27]

    F. Boca. Free products of completely positive maps and spectral sets.J. Funct. Anal., 97:251–263, 1991. 18

    work page 1991

  28. [28]

    Bogopolski.Introduction to group theory

    O. Bogopolski.Introduction to group theory. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Z¨ urich, 2008. Translated, revised and expanded from the 2002 Russian original. 20, 21, 38, 55

    work page 2008

  29. [29]

    Bowen and R

    L. Bowen and R. D. Tucker-Drob. On a co-induction question of Kechris.Israel J. Math., 194(1):209–224, 2013. 5, 70, 72

    work page 2013

  30. [30]

    Bratteli, G

    O. Bratteli, G. A. Elliott, D. Evans, and A. Kishimoto. Homotopy of a pair of ap- proximately commuting unitaries in a simpleC ˚-algebra.J. Funct. Anal., 160:466–523,

    work page

  31. [31]

    K. S. Brown.Cohomology of groups. Number 87 in Graduate Texts in Mathematics. Springer, 1982. 24, 25, 26

    work page 1982

  32. [32]

    L. G. Brown, P. Green, and M. A. Rieffel. Stable isomorphism and strong Morita equivalence ofC ˚-algebras.Pacific J. Math., 71(2):349–363, 1977. 28 75

    work page 1977

  33. [33]

    N. Brown. Invariant means and finite representation theory ofC ˚-algebras.Mem. Amer. Math. Soc., 184(865):vi+105pp, 2006. 16

    work page 2006

  34. [34]

    N. P. Brown and N. Ozawa.C ˚-algebras and finite-dimensional approximations, vol- ume 88 ofGraduate Studies in Mathematics. American Mathematical Society, Provi- dence, RI, 2008. 8, 9, 10, 11, 12, 13, 15, 16, 27, 28, 63, 64

    work page 2008

  35. [35]

    P. J. Burton and A. S. Kechris. Weak containment of measure-preserving group actions. Ergodic Theory Dynam. Systems, 40(10):2681–2733, 2020. 5, 69

    work page 2020

  36. [36]

    A. Buss, S. Echterhoff, and R. Willett. The maximal injective crossed product.Ergodic Theory Dynam. Systems, 40:2995–3014, 2020. 14, 15

    work page 2020

  37. [37]

    A. Buss, S. Echterhoff, and R. Willett. Amenability and weak containment for actions of locally compact groups onC ˚-algebras.Mem. Amer. Math. Soc., 301(1513):v+88,

    work page

  38. [38]

    Casals-Ruiz, I

    M. Casals-Ruiz, I. Kazachkov, and A. Zakharov. Commensurability of Baumslag-Solitar groups.Indiana Univ. Math. J., 70(6):2527–2555, 2021. 36

    work page 2021

  39. [39]

    B. G. Casler. An imbedding theorem for connected 3-manifolds.Proc. Amer. Math. Soc., 16(4):559–566, 1965. 50

    work page 1965

  40. [40]

    Champetier and V

    C. Champetier and V. Guirardel. Limit groups as limits of free groups.Israel J. Math., 146:1–75, 2005. 39

    work page 2005

  41. [41]

    Chapman, Y

    M. Chapman, Y. Dikstein, and A. Lubotzky. Conditional non-soficity of p-adic deligne extensions: on a theorem of gohla and thom. arXiv:2410.02913, 2024. 70

    work page arXiv 2024

  42. [42]

    R. Charney. An introduction to right-angled Artin groups.Geom. Dedicata, 125:141– 158, 2007. 40

    work page 2007

  43. [43]

    Cherix, M

    P.-A. Cherix, M. Cowling, P. Jolissaint, P. Julg, and A. Valette.Groups with the Haagerup property. Modern Birkh¨ auser Classics. Birkh¨ auser/Springer, Basel, 2001. Gromov’s a-T-menability, Paperback reprint of the 2001 edition [MR1852148]. 26, 32

    work page 2001

  44. [44]

    M. D. Chiffre, L. Glebsky, A. Lubotzky, and A. Thom. Stability, cohomology vanishing, and non-approximable groups.Forum Math. Sigma, 8:e18, 2020. 59

    work page 2020

  45. [45]

    Choi and E

    M.-D. Choi and E. G. Effros. The completely positive lifting problem forC ˚-algebras. Ann. of Math., 104:585–609, 1976. 4, 11

    work page 1976

  46. [46]

    A. Connes. Classification of injective factors. casesII 1,II 8,III λ.Ann. of Math., 104(1):73–115, 1976. 15

    work page 1976

  47. [47]

    Connes, M

    A. Connes, M. Gromov, and H. Moscovici. Conjecture de Novikov et fibr´ es presque plats.C. R. Acad. Sci. Paris S´ er. I Math., 310(5):273–277, 1990. 66

    work page 1990

  48. [48]

    Dadarlat

    M. Dadarlat. Group quasi-representations and index theory.J. Topol. Anal., 4(3):297– 319, 2012. 66

    work page 2012

  49. [49]

    Dadarlat

    M. Dadarlat. Group quasi-representations and almost flat bundles.J. Noncommut. Geom., 8(1):163–178, 2014. 66

    work page 2014

  50. [50]

    Dadarlat

    M. Dadarlat. Obstructions to matrix stability of discrete groups.Adv. Math., 384:107722, 2021. 64, 66

    work page 2021

  51. [51]

    Dadarlat

    M. Dadarlat. Quasi-representations of groups and two-homology.Comm. Math. Phys., 393:267–277, 2022. 67

    work page 2022

  52. [52]

    K. R. Davidson.C ˚-algebras by example, volume 6 ofFields Institute Monographs. American Mathematical Society, Providence, RI, 1996. 63

    work page 1996

  53. [53]

    de la Harpe

    P. de la Harpe. Topologie, th´ eorie des groupes et probl` emes de d´ ecision.Gaz. Math., (125):41–75, 2010. 34

    work page 2010

  54. [54]

    de la Salle

    M. de la Salle. Alg´ ebres de von Neumann, produits tensoriels, corr´ elations quantique et calculabilit´ e.S´ eminaire Bourbaki, 75:1203, 2023. 6, 12, 47

    work page 2023

  55. [55]

    G. A. Dirac. On rigid circuit graphs.Abh. Math. Sem. Univ. Hamburg, 25:71–76, 1961. 58 76

    work page 1961

  56. [56]

    Dixmier.C ˚-algebras

    J. Dixmier.C ˚-algebras. North-Holland Mathematical Library, Vol. 15. North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. Translated from the French by Francis Jellett. 45

    work page 1977

  57. [57]

    A. Dogon. Flexible Hilbert–Schmidt stability versus hyperlinearity for property (T) groups.Math. Z., 305(58), 2023. 15, 36, 60, 61

    work page 2023

  58. [58]

    R. G. Douglas.Banach algebra techniques in operator theory, volume 179 ofGraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1998. 23

    work page 1998

  59. [59]

    Dunfield and D

    N. Dunfield and D. Thurston. A random tunnel number one 3-manifold does not fiber over the circle.Geom. Topol., 10(4):2431–2499, 2006. 35

    work page 2006

  60. [60]

    M. J. Dunwoody. Accessibility and groups of cohomological dimension one.Proc. London Math. Soc. (3), 38(2):193–215, 1979. 21

    work page 1979

  61. [61]

    M. J. Dunwoody. The accessibility of finitely presented groups.Invent. Math., 81(3):449–457, 1985. 20

    work page 1985

  62. [62]

    M. J. Dunwoody. An inaccessible group. InGeometric group theory, Vol. 1 (Sussex, 1991), volume 181 ofLondon Math. Soc. Lecture Note Ser., pages 75–78. Cambridge Univ. Press, Cambridge, 1993. 19

    work page 1991

  63. [63]

    Echterhoff

    S. Echterhoff. Morita equivalent twisted actions and a new version of the Packer- Raeburn stabilization trick.J. London Math. Soc. (2), 50(1):170–186, 1994. 27, 28, 30

    work page 1994

  64. [64]

    Echterhoff

    S. Echterhoff. Crossed products, the Mackey-Rieffel-Green machine and application. InK-theory for groupC ˚-algebras and semigroupC ˚-algebras, Oberwolfach Seminars. Birkh¨ auser, 2017. 7, 23, 27, 29, 30

    work page 2017

  65. [65]

    Echterhoff and D

    S. Echterhoff and D. Williams. Crossed products byC 0pXq-actions.J. Funct. Anal., 158:113–151, 1998. 24

    work page 1998

  66. [66]

    Echterhoff and D

    S. Echterhoff and D. Williams. Central twisted transformation groups and groupC ˚- algebras of central group extensions.Indiana Univ. Math. J., 51(6):1277–1304, 2002. 25, 26

    work page 2002

  67. [67]

    Eckhardt and T

    C. Eckhardt and T. Shulman. On amenable Hilbert-Schmidt stable groups.J. Funct. Anal., 285(3):Paper No. 109954, 31, 2023. 4, 60, 63, 64

    work page 2023

  68. [68]

    E. G. Effros and U. Haagerup. Lifting problems and local reflexivity forC ˚-algebras. Duke Math. J., 52(1):103–128, 1985. 8, 27

    work page 1985

  69. [69]

    Eilenberg and T

    S. Eilenberg and T. Ganea. On the Lusternik-Schnirelmann category of abstract groups. Ann. of Math. (2), 65:517–518, 1957. 68

    work page 1957

  70. [70]

    Eilers, T

    S. Eilers, T. Loring, and G. Pedersen. Stability of anticommutation relations: an appli- cation of noncommutative CW complexes.J. Reine Angew. Math., 499:101–143, 1998. 66

    work page 1998

  71. [71]

    Eilers, T

    S. Eilers, T. Shulman, and A. Sørenson.C ˚-stability of discrete groups.Adv. Math., 373:107324, 2020. 18, 19, 66

    work page 2020

  72. [72]

    Elek and E

    G. Elek and E. Szab´ o. On sofic groups.J. Group Theory, 9(2):161–171, 2006. 39

    work page 2006

  73. [73]

    Enders and T

    D. Enders and T. Shulman. On the (local) lifting property. arXiv:2403.12224, 2024. 11, 18, 19, 60, 65

    work page arXiv 2024

  74. [74]

    Exel and T

    R. Exel and T. Loring. Finite-dimensional representations of free productC ˚-algebras. Internat. J. Math., 03(04):469–476, 1992. 40, 41, 42, 43, 44, 46, 47

    work page 1992

  75. [75]

    Fauser, C

    D. Fauser, C. L¨ oh, M. Moraschini, and J. P. Quintanilha. Stable integral simplicial volume of 3-manifolds.J. Topol., 14(2):608–640, 2021. 69

    work page 2021

  76. [76]

    J. M. G. Fell. Weak containment and induced representations of groups.Canad. J. Math., 14:237–268, 1962. 40, 41, 42

    work page 1962

  77. [77]

    S. P. Fisher. Novikov cohomology, finite domination, and cohomological dimension. arXiv:2510.14796, 2025. 32 77

    work page arXiv 2025

  78. [78]

    S. P. Fisher. On the cohomological dimension of kernels of maps to Z.Geom. Topol., 30(1):373–388, 2026. 32

    work page 2026

  79. [79]

    Fournier-Facio

    F. Fournier-Facio. Ultrametric analogues of Ulam stability of groups.Bull. Soc. Math. France, to appear. arXiv:2105.00516, 2021. 3, 58

    work page arXiv 2021

  80. [80]

    Fournier-Facio, M

    F. Fournier-Facio, M. Gerasimova, and P. Spaas. Local Hilbert-Schmidt stability.J. Algebra, 663:589–629, 2025. 64

    work page 2025

Showing first 80 references.