pith. sign in

arxiv: 2606.14148 · v2 · pith:NJQY2LKEnew · submitted 2026-06-12 · 🧮 math.GR

Virtual inheritance properties of graph products

Xiaoming Huang , Xiaolei Wu , Shengkui Ye This is my paper

Pith reviewed 2026-06-27 05:05 UTC · model grok-4.3

classification 🧮 math.GR
keywords graph productsvirtual propertiesRFRS groupsspecial groupsCAT(0) cube complexespoly-free groupscommensurabilitygeometric group theory
0
0 comments X

The pith

Graph products preserve virtual RFRS, virtual specialness, virtual CAT(0) cubeness, and virtual normal poly-freeness.

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

The paper establishes that if each factor group satisfies one of several virtual properties then the graph product of those groups satisfies the same property. The listed properties include being virtually residually finite rationally solvable, virtually special, virtually acting on a CAT(0) cube complex, and virtually normally poly-free. The argument proceeds by invoking a strong commensurability result that reduces the graph product to a related group already known to carry the property, and the authors supply an elementary proof of that commensurability statement. A reader cares because graph products are a standard way to combine groups while controlling their geometry, so closure under this operation lets one manufacture new examples with the listed properties from old ones.

Core claim

We prove that many virtual properties are closed under taking graph products, including: virtually RFRS, virtually (compact) special, virtually CAT(0) cube, and virtually normally poly-free. Our proof uses Januszkiewicz and Świątkowski's strong commensurability theorem for graph products, for which we provide an elementary proof.

What carries the argument

Januszkiewicz and Świątkowski's strong commensurability theorem for graph products, which transfers virtual properties across finite-index subgroups of the graph product.

If this is right

  • If every factor is virtually RFRS then the graph product is virtually RFRS.
  • If every factor is virtually special then the graph product is virtually special.
  • If every factor is virtually a CAT(0) cube group then the graph product is virtually a CAT(0) cube group.
  • If every factor is virtually normally poly-free then the graph product is virtually normally poly-free.

Where Pith is reading between the lines

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

  • The same closure may hold for other virtual properties that are themselves preserved by commensurability.
  • One can now systematically enlarge known examples of groups with these properties by taking graph products over arbitrary graphs.
  • The elementary proof of the commensurability theorem may simplify similar arguments in related classes of groups.

Load-bearing premise

The strong commensurability theorem for graph products holds.

What would settle it

An explicit finite graph together with vertex groups that are each virtually RFRS whose graph product fails to be virtually RFRS.

read the original abstract

We prove that many virtual properties are closed under taking graph products, including: virtually RFRS, virtually (compact) special, virtually CAT(0) cube, and virtually normally poly-free. Our proof uses Januszkiewicz and \'Swi\k{a}tkowski's strong commensurability theorem for graph products, for which we provide an elementary proof.

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

Summary. The manuscript proves that virtual properties including virtually RFRS, virtually (compact) special, virtually CAT(0) cube, and virtually normally poly-free are closed under graph products. The argument proceeds by establishing an elementary proof of the strong commensurability theorem of Januszkiewicz and Świątkowski for graph products and then invoking the fact that the listed properties are commensurability invariants.

Significance. If the elementary proof of the commensurability theorem holds, the result supplies a uniform mechanism for producing new examples of groups with these virtual properties and confirms their stability under graph products. The provision of an elementary proof rather than reliance on the original reference is a clear strength, as it makes the argument self-contained and potentially more accessible for applications in geometric group theory.

minor comments (2)
  1. The abstract and introduction should explicitly state the precise statement of the strong commensurability theorem being proved (including any hypotheses on the defining graph) to allow readers to locate the result without searching the body.
  2. Notation for graph products and the associated right-angled Artin or Coxeter groups should be fixed at the first appearance and used consistently; minor variations in subscripting appear in the provided abstract.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report raises no major comments requiring response.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes closure of virtual properties (virtually RFRS, virtually special, virtually CAT(0) cube, virtually normally poly-free) under graph products by invoking the strong commensurability theorem of Januszkiewicz-Świątkowski and supplying its own elementary proof of that theorem. Because the load-bearing theorem is proved within the manuscript rather than imported via self-citation or external black-box, and because virtual properties are already known to be commensurability invariants, the derivation chain does not reduce any claim to a fitted input, self-definition, or author-specific uniqueness result. No equations or steps in the provided text exhibit the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the precise background results invoked cannot be enumerated; the work operates inside standard group theory.

axioms (1)
  • standard math Standard axioms and definitions of group theory, graph products, and virtual properties
    The paper works entirely within established definitions of groups, graph products, and virtual (finite-index) properties.

pith-pipeline@v0.9.1-grok · 5570 in / 1254 out tokens · 30018 ms · 2026-06-27T05:05:36.237253+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

175 extracted references · 103 canonical work pages

  1. [1]

    Contribution

    Stefan Mazurkiewicz and Wac. Contribution. Fundam. Math. , VOLUME =. 1920 , PAGES =

    1920

  2. [2]

    Mumford, David , TITLE =. J. Analyse Math. , FJOURNAL =. 1967 , PAGES =. doi:10.1007/BF02798046 , URL =

    work page doi:10.1007/bf02798046 1967

  3. [3]

    Nunke, R. J. , TITLE =. Bull. Amer. Math. Soc. , FJOURNAL =. 1961 , PAGES =. doi:10.1090/S0002-9904-1961-10582-X , URL =

    work page doi:10.1090/s0002-9904-1961-10582-x 1961

  4. [4]

    Wiegold, James , TITLE =. Bull. Austral. Math. Soc. , FJOURNAL =. 1969 , PAGES =. doi:10.1017/S0004972700042222 , URL =

    work page doi:10.1017/s0004972700042222 1969

  5. [5]

    Commensurability of graph products , JOURNAL =

    Januszkiewicz, Tadeusz and \'Swi. Commensurability of graph products , JOURNAL =. 2001 , PAGES =. doi:10.2140/agt.2001.1.587 , URL =

    work page doi:10.2140/agt.2001.1.587 2001

  6. [6]

    Handbook of moduli

    Wahl, Nathalie , TITLE =. Handbook of moduli. 2013 , MRCLASS =

    2013

  7. [7]

    Bieri, Robert , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0022-4049(76)90065-7 , URL =

    work page doi:10.1016/0022-4049(76)90065-7 1976

  8. [8]

    Stallings, John , TITLE =. Amer. J. Math. , FJOURNAL =. 1963 , PAGES =. doi:10.2307/2373106 , URL =

    work page doi:10.2307/2373106 1963

  9. [9]

    Belk, James and Zaremsky, Matthew C. B. , TITLE =. Geom. Topol. , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/gt.2022.26.1189 , URL =

    work page doi:10.2140/gt.2022.26.1189 2022

  10. [10]

    , TITLE =

    Thompson, Richard J. , TITLE =. Word problems,. 1980 , MRCLASS =

    1980

  11. [11]

    Ortega, Eduard , TITLE =. J. Noncommut. Geom. , FJOURNAL =. 2020 , NUMBER =. doi:10.4171/jncg/382 , URL =

    work page doi:10.4171/jncg/382 2020

  12. [12]

    Ma, Xin , TITLE =. Int. Math. Math. Not.(IMRN) , FJOURNAL =. 2022 , NUMBER =

    2022

  13. [13]

    Elek, Gabor , TITLE =. Ergod. Th. & Dynam. Sys. , FJOURNAL =. 2021 , NUMBER =

    2021

  14. [14]

    arXiv: 2011.01182 , FJOURNAL =

    Ma, Xin and Wu, Jianchao , TITLE =. arXiv: 2011.01182 , FJOURNAL =. 2020 , NUMBER =

    arXiv 2011

  15. [15]

    2024 , NUMBER =

    Okun, Boris and Schreve, Kevin , TITLE =. 2024 , NUMBER =

    2024

  16. [16]

    , TITLE =

    Charlap, Leonard S. , TITLE =. 1986 , PAGES =. doi:10.1007/978-1-4613-8687-2 , URL =

    work page doi:10.1007/978-1-4613-8687-2 1986

  17. [17]

    arXiv: 2407.05251 , FJOURNAL =

    Ma, Xin and Wu, Jianchao , TITLE =. arXiv: 2407.05251 , FJOURNAL =. 2024 , NUMBER =

    arXiv 2024

  18. [18]

    Internat

    Matui, Hiroki , TITLE =. Internat. J. Math. , FJOURNAL =. 2006 , NUMBER =

    2006

  19. [19]

    Matui, Hiroki , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2012 , NUMBER =. doi:10.1112/plms/pdr029 , URL =

    work page doi:10.1112/plms/pdr029 2012

  20. [20]

    Operator algebras and applications---the

    Matui, Hiroki , TITLE =. Operator algebras and applications---the. 2017 , MRCLASS =

    2017

  21. [21]

    Matui, Hiroki , TITLE =. Adv. Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.aim.2016.08.023 , URL =

    work page doi:10.1016/j.aim.2016.08.023 2016

  22. [22]

    2025 , note=

    Matui, Hiroki , title=. 2025 , note=

    2025

  23. [23]

    [2023] 2023 , PAGES =

    Ceccherini-Silberstein, Tullio and Coornaert, Michel , TITLE =. [2023] 2023 , PAGES =. doi:10.1007/978-3-031-43328-3 , URL =

    work page doi:10.1007/978-3-031-43328-3 2023

  24. [24]

    Joseph, Matthieu , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/tran/9061 , URL =

    work page doi:10.1090/tran/9061 2024

  25. [25]

    Forum Math

    Li, Xin , TITLE =. Forum Math. Pi , FJOURNAL =. 2025 , PAGES =. doi:10.1017/fmp.2024.31 , URL =

    work page doi:10.1017/fmp.2024.31 2025

  26. [26]

    Domat, George , TITLE =. Math. Res. Lett. , FJOURNAL =. 2022 , NUMBER =

    2022

  27. [27]

    New York J

    Domat, George and Plummer, Paul , TITLE =. New York J. Math. , FJOURNAL =. 2020 , PAGES =

    2020

  28. [28]

    , title =

    Aramayona, Javier and Vlamis, Nicholas G. , title =. In the Tradition of Thurston: Geometry and Topology , publisher =. 2020 , pages =

    2020

  29. [29]

    Homological stability for subgroups of surface braid groups , author=

  30. [30]

    Long thin covers and nuclear dimension , author=

  31. [31]

    Homology and

    Miller, Alistair and Steinberg, Benjamin , note=. Homology and

  32. [32]

    Embedding groups into acyclic groups , author=

  33. [33]

    Colloque

    Ehresmann, Charles , TITLE =. Colloque. 1959 , MRCLASS =

    1959

  34. [34]

    , TITLE =

    Mackenzie, K. , TITLE =. 1987 , PAGES =. doi:10.1017/CBO9780511661839 , URL =

    work page doi:10.1017/cbo9780511661839 1987

  35. [35]

    Group theory from a geometrical viewpoint (

    Haefliger, Andr\'e , TITLE =. Group theory from a geometrical viewpoint (. 1991 , ISBN =

    1991

  36. [36]

    Higman, Graham and Neumann, B. H. and Neumann, Hanna , TITLE =. J. London Math. Soc. , FJOURNAL =. 1949 , PAGES =. doi:10.1112/jlms/s1-24.4.247 , URL =

    work page doi:10.1112/jlms/s1-24.4.247 1949

  37. [37]

    Kan, D. M. and Thurston, W. P. , TITLE =. Topology , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0040-9383(76)90040-9 , URL =

    work page doi:10.1016/0040-9383(76)90040-9 1976

  38. [38]

    2011 , Publisher =

    Benson. 2011 , Publisher =

    2011

  39. [39]

    , TITLE =

    Harer, John L. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971172 , URL =

    work page doi:10.2307/1971172 1985

  40. [40]

    Topology Appl

    Hatcher, Allen , TITLE =. Topology Appl. , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0166-8641(91)90050-V , URL =

    work page doi:10.1016/0166-8641(91)90050-v 1991

  41. [41]

    Hatcher, Allen and Vogtmann, Karen , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.1871 , URL =

    work page doi:10.2140/agt.2017.17.1871 2017

  42. [42]

    Duke Math

    Hatcher, Allen and Wahl, Nathalie , TITLE =. Duke Math. J. , FJOURNAL =. 2010 , NUMBER =. doi:10.1215/00127094-2010-055 , URL =

    work page doi:10.1215/00127094-2010-055 2010

  43. [43]

    and Skau, Christian F

    Giordano, Thierry and Putnam, Ian F. and Skau, Christian F. , TITLE =. Israel J. Math. , FJOURNAL =. 1999 , PAGES =. doi:10.1007/BF02810689 , URL =

    work page doi:10.1007/bf02810689 1999

  44. [44]

    Randal-Williams, Oscar and Wahl, Nathalie , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.aim.2017.07.022 , URL =

    work page doi:10.1016/j.aim.2017.07.022 2017

  45. [45]

    Szymik, Markus and Wahl, Nathalie , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-018-00848-z , URL =

    work page doi:10.1007/s00222-018-00848-z 2019

  46. [46]

    Vorlesungen

    von Ker. Vorlesungen. 1923 , Publisher =

    1923

  47. [47]

    1980 , PAGES =

    Renault, Jean , TITLE =. 1980 , PAGES =

    1980

  48. [48]

    Ergodic Theory Dynam

    Calegari, Danny and Chen, Lvzhou , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2021 , NUMBER =. doi:10.1017/etds.2020.43 , URL =

    work page doi:10.1017/etds.2020.43 2021

  49. [49]

    Geometric study of foliations (

    Sergiescu, Vlad and Tsuboi, Takashi , TITLE =. Geometric study of foliations (. 1994 , MRCLASS =

    1994

  50. [50]

    Sergiescu, Vlad and Tsuboi, Takashi , TITLE =. Amer. J. Math. , FJOURNAL =. 1996 , NUMBER =

    1996

  51. [51]

    Rachel Skipper and Xiaolei Wu , TITLE =

  52. [52]

    Sroka , TITLE =

    Alexander Kupers and Ezekiel Lemann and Cary Malkiewich and Jeremy Miller and Robin J. Sroka , TITLE =

  53. [53]

    Skipper, Rachel and Witzel, Stefan and Zaremsky, Matthew C. B. , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-018-0835-8 , URL =

    work page doi:10.1007/s00222-018-0835-8 2019

  54. [54]

    New York J

    Ruane, Kim and Witzel, Stefan , TITLE =. New York J. Math. , FJOURNAL =. 2016 , PAGES =

    2016

  55. [55]

    Minasyan, Ashot , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnz249 , URL =

    work page doi:10.1093/imrn/rnz249 2021

  56. [56]

    Crainic, Marius and Moerdijk, Ieke , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2000 , PAGES =. doi:10.1515/crll.2000.029 , URL =

    work page doi:10.1515/crll.2000.029 2000

  57. [57]

    , TITLE =

    Bridson, Martin R. , TITLE =. J. Algebra , FJOURNAL =. 2011 , PAGES =. doi:10.1016/j.jalgebra.2010.06.019 , URL =

    work page doi:10.1016/j.jalgebra.2010.06.019 2011

  58. [58]

    and Miller, III, Charles F

    Collins, Donald J. and Miller, III, Charles F. , TITLE =. Groups. 1999 , MRCLASS =

    1999

  59. [59]

    and Grunewald, Fritz J

    Bridson, Martin R. and Grunewald, Fritz J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2004 , NUMBER =. doi:10.4007/annals.2004.160.359 , URL =

    work page doi:10.4007/annals.2004.160.359 2004

  60. [60]

    Higman, Graham , TITLE =. J. London Math. Soc. , FJOURNAL =. 1951 , PAGES =. doi:10.1112/jlms/s1-26.1.61 , URL =

    work page doi:10.1112/jlms/s1-26.1.61 1951

  61. [61]

    , TITLE =

    Mather, John N. , TITLE =. Topology , FJOURNAL =. 1971 , PAGES =. doi:10.1016/0040-9383(71)90022-X , URL =

    work page doi:10.1016/0040-9383(71)90022-x 1971

  62. [62]

    Wu, Fan and Wu, Xiaolei and Zhao, Mengfei and Zhou, Zixiang , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/jlms.70164 , URL =

    work page doi:10.1112/jlms.70164 2025

  63. [63]

    Agol, Ian , TITLE =. J. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/jtopol/jtn003 , URL =

    work page doi:10.1112/jtopol/jtn003 2008

  64. [64]

    Agol, Ian , TITLE =. Doc. Math. , FJOURNAL =. 2013 , PAGES =

    2013

  65. [65]

    Wagoner, J. B. , TITLE =. Topology , FJOURNAL =. 1972 , PAGES =. doi:10.1016/0040-9383(72)90031-6 , URL =

    work page doi:10.1016/0040-9383(72)90031-6 1972

  66. [66]

    de la Harpe, Pierre and McDuff, Dusa , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF02564624 , URL =

    work page doi:10.1007/bf02564624 1983

  67. [67]

    Hern\'. The. Michigan Math. J. , FJOURNAL =. 2019 , NUMBER =. doi:10.1307/mmj/1561773633 , URL =

    work page doi:10.1307/mmj/1561773633 2019

  68. [68]

    Gandini, Giovanni and R\". The. Algebr. Geom. Topol. , FJOURNAL =. 2013 , NUMBER =. doi:10.2140/agt.2013.13.3651 , URL =

    work page doi:10.2140/agt.2013.13.3651 2013

  69. [69]

    and Rees, Sarah , TITLE =

    Ciobanu, Laura and Holt, Derek F. and Rees, Sarah , TITLE =. Pacific J. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.2140/pjm.2014.271.53 , URL =

    work page doi:10.2140/pjm.2014.271.53 2014

  70. [70]

    Berrick, A. J. , TITLE =. Group theory (. 1989 , MRCLASS =

    1989

  71. [71]

    Berrick, A. J. , TITLE =. Invitations to geometry and topology , SERIES =. 2002 , MRCLASS =

    2002

  72. [72]

    and Varadarajan, K

    Sankaran, P. and Varadarajan, K. , TITLE =. Canad. J. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.4153/CJM-1990-005-0 , URL =

    work page doi:10.4153/cjm-1990-005-0 1990

  73. [73]

    Topology , FJOURNAL =

    Segal, Graeme , TITLE =. Topology , FJOURNAL =. 1978 , NUMBER =. doi:10.1016/0040-9383(78)90004-6 , URL =

    work page doi:10.1016/0040-9383(78)90004-6 1978

  74. [74]

    Algebraic

    Grayson, Daniel , TITLE =. Algebraic. 1976 , MRCLASS =

    1976

  75. [75]

    Epstein, D. B. A. , TITLE =. Acta Math. , FJOURNAL =. 1966 , PAGES =. doi:10.1007/BF02392203 , URL =

    work page doi:10.1007/bf02392203 1966

  76. [76]

    Richards, Ian , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1963 , PAGES =. doi:10.2307/1993768 , URL =

    work page doi:10.2307/1993768 1963

  77. [77]

    Topological representations of motion groups and mapping class groups -- a unified functorial construction , NOTE =

    Martin Palmer and Arthur Souli. Topological representations of motion groups and mapping class groups -- a unified functorial construction , NOTE =

  78. [78]

    Gheysens, Maxime , TITLE =. Enseign. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/lem/1007 , URL =

    work page doi:10.4171/lem/1007 2021

  79. [79]

    Nerves, fibers and homotopy groups , JOURNAL =

    Bj. Nerves, fibers and homotopy groups , JOURNAL =. 2003 , NUMBER =. doi:10.1016/S0097-3165(03)00015-3 , URL =

    work page doi:10.1016/s0097-3165(03)00015-3 2003

  80. [80]

    and Dyer, E

    Baumslag, G. and Dyer, E. and Heller, A. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1980 , NUMBER =. doi:10.1016/0022-4049(80)90040-7 , URL =

    work page doi:10.1016/0022-4049(80)90040-7 1980

Showing first 80 references.