On free components of Artin and Coxeter groups

Guillaume Dumas, Jingyin Huang, Lizzy Teryoshin, Srivatsav Kunnawalkam Elayavalli

Pith reviewed 2026-05-09 23:28 UTC · model grok-4.3

classification 🧮 math.GR math.OA

keywords groupscasefreeartincomponentscoxeterfactorgroup

0 comments

The pith

Von Neumann algebras of Artin groups encode the number of connected components of their defining graphs except possibly for free-group-factor cases; a similar result holds for Coxeter groups absent relative hyperbolicity.

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

Artin groups generalize braid groups and are built from a graph whose edges carry labels. When the graph has several disconnected pieces, the group itself splits as a free product of smaller Artin groups. The associated von Neumann algebra is an operator algebra constructed from the group. The authors prove that this algebra still remembers how many such pieces existed, with one possible exception: when the algebra coincides with a free group factor, an object whose structure remains mysterious. For the related Coxeter groups, which arise from reflections, the same conclusion is reached provided the group is not relatively hyperbolic. They also treat one concrete case of the analogous question under measure equivalence when each piece is a product of free groups.

Core claim

The number of connected components can be remembered by the von Neumann algebra among Artin groups, the only possible exception being the case that corresponds to the free group factor problem.

Load-bearing premise

That the Artin or Coxeter group in question does not fall into the exceptional free-group-factor case (or, for Coxeter groups, that relative hyperbolicity is absent).

read the original abstract

The number of connected components can be remembered by the von Neumann algebra among Artin groups, the only possible exception being the case that corresponds to the free group factor problem. In the case of Coxeter groups, this result is obtained in the absence of relatively hyperbolicity. We also discuss a specific case of the analogous problem in measure equivalence where each factor group is a product of nonabelian free groups.

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.

Desk Editor's Note private letter to a colleague

The paper claims von Neumann algebras of Artin groups remember the number of connected components in the defining graph except possibly in free-group-factor cases, with a similar statement for Coxeter groups away from relative hyperbolicity.

read the letter

The main claim is that the von Neumann algebra L(G) for an Artin group G remembers how many connected components the defining graph has, with the only possible exception being the case that reduces to the free group factor problem. For Coxeter groups the same holds when the group is not relatively hyperbolic. They also discuss a measure-equivalence version for products of nonabelian free groups. This is a concrete new statement linking the combinatorics of the presentation to the operator algebra in a way that directly touches the free-group-factor question. The paper does well by flagging the exceptions explicitly and keeping the claims narrow rather than overreaching. The abstract is clear about what is asserted and what is left open. The soft spot is that the abstract supplies no proof sketch or key technical step, so it is impossible to check whether the arguments actually establish the remembering property or whether they lean on unexamined assumptions about the groups or the algebras. Without the details it is hard to judge how robust the reduction to the exceptional case really is. This work is for people who follow rigidity results for group von Neumann algebras and connections between Artin/Coxeter combinatorics and operator algebras. A reader already interested in the free-group-factor problem or in measure equivalence for free products would get the most out of it. I would send it to peer review because the question is central and the stated claims are precise enough to be tested, even if the current evidence is thin.

Referee Report

0 major / 2 minor

Summary. The manuscript asserts that for Artin groups, the associated von Neumann algebra determines the number of connected components, with the sole possible exception being cases corresponding to the free group factor problem. For Coxeter groups, the result holds in the absence of relative hyperbolicity. The paper further examines a specific case of the analogous problem in measure equivalence for factor groups that are products of nonabelian free groups.

Significance. This result, if established, would provide a rigidity theorem connecting the von Neumann algebra to the combinatorial structure of the defining graph for these important classes of groups. It ties into the longstanding open problem of whether free group factors are isomorphic, offering a potential avenue for progress. The measure equivalence discussion broadens the scope to equivalence of group actions.

minor comments (2)

[Abstract] The phrase 'relatively hyperbolicity' in the abstract should be corrected to 'relative hyperbolicity'.
[Title] The title refers to 'free components' while the abstract discusses 'connected components'; clarify the relationship or ensure terminology consistency throughout.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results on von Neumann algebras of Artin and Coxeter groups, and recommendation of minor revision. The significance noted, including connections to the free group factor problem and measure equivalence, aligns with our intentions.

Circularity Check

0 steps flagged

No significant circularity; claims rest on external group-theoretic properties

full rationale

The abstract states a result that the von Neumann algebra remembers the number of connected components for Artin groups (except the open free-group-factor case) and for Coxeter groups without relative hyperbolicity. No equations, fitted parameters, self-definitional steps, or load-bearing self-citations are visible in the provided text. The derivation chain is not shown to reduce to its own inputs by construction; the exceptions are explicitly flagged as open problems external to the paper. This is the expected non-finding for a pure existence/uniqueness theorem in geometric group theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review based solely on the abstract; no explicit free parameters, axioms, or invented entities are stated in the provided text.

pith-pipeline@v0.9.0 · 5369 in / 1066 out tokens · 28492 ms · 2026-05-09T23:28:03.780758+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

159 extracted references · 40 canonical work pages

[1]

Acta Math

Ioana, Adrian and Peterson, Jesse and Popa, Sorin , TITLE =. Acta Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s11511-008-0024-5 , URL =

work page doi:10.1007/s11511-008-0024-5 2008
[2]

doi:10.1112/s0010437x16007673 , url =

Cyril Houdayer and Yoshimichi Ueda , title =. doi:10.1112/s0010437x16007673 , url =

work page doi:10.1112/s0010437x16007673
[3]

Drimbe, Daniel , TITLE =. Compos. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/s0010437x2300739x , URL =

work page doi:10.1112/s0010437x2300739x 2023
[4]

2025 , eprint=

Strong solidity classification of Coxeter groups , author=. 2025 , eprint=

2025
[5]

Duke Math

Dykema, Ken , TITLE =. Duke Math. J. , FJOURNAL =. 1993 , NUMBER =. doi:10.1215/S0012-7094-93-06905-0 , URL =

work page doi:10.1215/s0012-7094-93-06905-0 1993
[6]

2025 , eprint=

Rigidity for graph product von Neumann algebras , author=. 2025 , eprint=

2025
[7]

Ding, Changying and Kunnawalkam Elayavalli, Srivatsav , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00220-024-04987-8 , URL =

work page doi:10.1007/s00220-024-04987-8 2024
[8]

2023 , eprint=

Biexact von Neumann algebras , author=. 2023 , eprint=

2023
[9]

2022 , eprint=

First ^2 -Betti numbers and proper proximality , author=. 2022 , eprint=

2022
[10]

Ozawa, Narutaka , TITLE =. Proc. Japan Acad. Ser. A Math. Sci. , FJOURNAL =. 2015 , NUMBER =. doi:10.3792/pjaa.91.104 , URL =

work page doi:10.3792/pjaa.91.104 2015
[11]

Ozawa, Narutaka , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2006 , PAGES =. doi:10.1155/IMRN/2006/97560 , URL =

work page doi:10.1155/imrn/2006/97560 2006
[12]

Amenable absorption in amalgamated free product von

Boutonnet, R\'. Amenable absorption in amalgamated free product von. Kyoto J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1215/21562261-2017-0030 , URL =

work page doi:10.1215/21562261-2017-0030 2018
[13]

Dye, H. A. , TITLE =. Amer. J. Math. , FJOURNAL =. 1959 , PAGES =. doi:10.2307/2372852 , URL =

work page doi:10.2307/2372852 1959
[14]

1983 , publisher=

The homotopy type of complex hyperplane complements , author=. 1983 , publisher=

1983
[15]

Geometriae Dedicata , volume=

Two-dimensional Artin groups with CAT (0) dimension three , author=. Geometriae Dedicata , volume=. 2002 , publisher=

2002
[16]

Journal of the London Mathematical Society , volume=

Right-angled Artin subgroups of Artin groups , author=. Journal of the London Mathematical Society , volume=. 2022 , publisher=

2022
[17]

Geometry & Topology , volume=

Automorphisms and abstract commensurators of 2--dimensional Artin groups , author=. Geometry & Topology , volume=. 2005 , publisher=

2005
[18]

and Sinclair, Thomas , TITLE =

de Santiago, Rolando and Hayes, Ben and Hoff, Daniel J. and Sinclair, Thomas , TITLE =. Anal. PDE , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/apde.2021.14.2269 , URL =

work page doi:10.2140/apde.2021.14.2269 2021
[19]

Anantharaman Delaroche, Claire and Popa, Sorin , TITLE =
[20]

, TITLE =

Davidson, Kenneth R. , TITLE =. 1988 , PAGES =

1988
[21]

, TITLE =

Anantharaman-Delaroche, C. , TITLE =. Pacific J. Math. , FJOURNAL =. 1995 , NUMBER =

1995
[22]

, TITLE =

Blackadar, B. , TITLE =. 2006 , PAGES =

2006
[23]

2022 , eprint=

Proper proximality for various families of groups , author=. 2022 , eprint=

2022
[24]

2020 , eprint=

Proper proximality in non-positive curvature , author=. 2020 , eprint=

2020
[25]

Popa, Sorin and Vaes, Stefaan , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1515/crelle-2012-0104 , URL =

work page doi:10.1515/crelle-2012-0104 2014
[26]

Ioana, Adrian , TITLE =. Ann. Sci. \'. 2015 , NUMBER =. doi:10.24033/asens.2239 , URL =

work page doi:10.24033/asens.2239 2015
[27]

2019 , eprint=

Tensor product decompositions and rigidity of full factors , author=. 2019 , eprint=

2019
[28]

Isono, Yusuke , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/tran/6321 , URL =

work page doi:10.1090/tran/6321 2015
[29]

Acta Math

Ozawa, Narutaka , TITLE =. Acta Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/BF02441087 , URL =

work page doi:10.1007/bf02441087 2004
[30]

Chifan, Ionut and Sinclair, Thomas , TITLE =. Ann. Sci. \'. 2013 , NUMBER =. doi:10.24033/asens.2183 , URL =

work page doi:10.24033/asens.2183 2013
[31]

Ozawa, Narutaka , TITLE =. Kyoto J. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1215/21562261-1550985 , URL =

work page doi:10.1215/21562261-1550985 2012
[32]

Advances in Mathematics , year=

Maximal injective subalgebras in factors associated with free groups , author=. Advances in Mathematics , year=
[33]

2022 , note =

Ding, Changying and Kunnawalkam Elayavalli, Srivatsav and Peterson, Jesse , Title =. 2022 , note =

2022
[34]

Brown and N

Brown, Nathanial P. and Ozawa, Narutaka , TITLE =. 2008 , PAGES =. doi:10.1090/gsm/088 , URL =

work page doi:10.1090/gsm/088 2008
[35]

Maximal amenable von

Boutonnet, R\'. Maximal amenable von. Geom. Funct. Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00039-015-0348-1 , URL =

work page doi:10.1007/s00039-015-0348-1 2015
[36]

On solid ergodicity for Gaussian actions , journal =

RÃ©mi Boutonnet , keywords =. On solid ergodicity for Gaussian actions , journal =. 2012 , issn =. doi:https://doi.org/10.1016/j.jfa.2012.05.011 , url =

work page doi:10.1016/j.jfa.2012.05.011 2012
[37]

Noncommutative harmonic analysis with applications to probability

Ozawa, Narutaka , TITLE =. Noncommutative harmonic analysis with applications to probability. 2010 , MRCLASS =. doi:10.4064/bc89-0-16 , URL =

work page doi:10.4064/bc89-0-16 2010
[38]

Ozawa, Narutaka , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 2007 , NUMBER =. doi:10.2969/jmsj/05940985 , URL =

work page doi:10.2969/jmsj/05940985 2007
[39]

Proceedings of the

Kirchberg, Eberhard , TITLE =. Proceedings of the. 1995 , MRCLASS =

1995
[40]

2019 , eprint=

Injectivity, crossed products, and amenable group actions , author=. 2019 , eprint=

2019
[41]

1979 , PAGES =

Takesaki, Masamichi , TITLE =. 1979 , PAGES =

1979
[42]

and Sinclair, Allan , FJOURNAL =

Christensen, Erik and Effros, Edward G. and Sinclair, Allan , FJOURNAL =. Completely bounded multilinear maps and C*-algebraic cohomology , VOLUME =. Invent. Math. , MONTH =
[43]

Duke Math

Arveson, William , TITLE =. Duke Math. J. , FJOURNAL =. 1977 , NUMBER =

1977
[44]

Chifan, Ionut and Ioana, Adrian , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2010 , NUMBER =

2010
[45]

Le Merdy, Christian , TITLE =. Amer. J. Math. , FJOURNAL =. 1999 , NUMBER =

1999
[46]

Integral Equations Operator Theory , FJOURNAL =

Magajna, Bojan , TITLE =. Integral Equations Operator Theory , FJOURNAL =. 2016 , NUMBER =

2016
[47]

Magajna, Bojan , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1997 , NUMBER =

1997
[48]

1980 , PAGES =

Serre, Jean-Pierre , TITLE =. 1980 , PAGES =

1980
[49]

2002 , PAGES =

Paulsen, Vern , TITLE =. 2002 , PAGES =

2002
[50]

and Paulsen, Vern I

Kavruk, Ali S. and Paulsen, Vern I. and Todorov, Ivan G. and Tomforde, Mark , TITLE =. Adv. Math. , FJOURNAL =. 2013 , PAGES =

2013
[51]

Maximal amenable von

Boutonnet, R\'. Maximal amenable von. Geom. Funct. Anal. , FJOURNAL =. 2015 , NUMBER =

2015
[52]

, TITLE =

Dunford, Nelson and Schwartz, Jacob T. , TITLE =. 1988 , PAGES =

1988
[53]

and Kishimoto, Akitaka , TITLE =

Effros, Edward G. and Kishimoto, Akitaka , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1987 , NUMBER =

1987
[54]

Magajna, Bojan , TITLE =. J. Funct. Anal. , FJOURNAL =. 2005 , NUMBER =

2005
[55]

, TITLE =

Magajna, B. , TITLE =. Proc. Roy. Soc. Edinburgh Sect. A , FJOURNAL =. 2000 , NUMBER =

2000
[56]

Magajna, Bojan , TITLE =. J. Funct. Anal. , FJOURNAL =. 1998 , NUMBER =

1998
[57]

Smith, R. R. , TITLE =. J. Funct. Anal. , FJOURNAL =. 1991 , NUMBER =

1991
[58]

and Kraus, Jon and Ruan, Zhong-Jin , TITLE =

Effros, Edward G. and Kraus, Jon and Ruan, Zhong-Jin , TITLE =. Operator algebras, mathematical physics, and low-dimensional topology (
[59]

and Smith, Roger R

Blecher, David P. and Smith, Roger R. , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1992 , NUMBER =. doi:10.1112/jlms/s2-45.1.126 , URL =

work page doi:10.1112/jlms/s2-45.1.126 1992
[60]

and Ruan, Zhong-Jin , TITLE =

Effros, Edward G. and Ruan, Zhong-Jin , TITLE =. J. Operator Theory , FJOURNAL =. 2003 , NUMBER =

2003
[61]

, TITLE =

Effros, Edward G. , TITLE =. J. Funct. Anal. , FJOURNAL =. 1988 , NUMBER =

1988
[62]

Berbec, Mihaita and Vaes, Stefaan , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2014 , NUMBER =

2014
[63]

Internat

Berbec, Mihaita , TITLE =. Internat. J. Math. , FJOURNAL =. 2015 , NUMBER =

2015
[64]

Bekka, Mohammed E. B. and Valette, Alain , TITLE =. Math. Z. , FJOURNAL =. 1993 , NUMBER =

1993
[65]

2018 , note =

R\'emi Boutonnet and Adrian Ioana and Jesse Peterson , Title =. 2018 , note =

2018
[66]

, TITLE =

Blecher, David P. , TITLE =. Canad. J. Math. , FJOURNAL =. 1992 , NUMBER =

1992
[67]

and Le Merdy, Christian , TITLE =

Blecher, David P. and Le Merdy, Christian , TITLE =. 2004 , PAGES =

2004
[68]

and Paulsen, Vern I

Blecher, David P. and Paulsen, Vern I. , TITLE =. J. Funct. Anal. , FJOURNAL =. 1991 , NUMBER =

1991
[69]

Amalgamated free product rigidity for group von

Chifan, Ionu. Amalgamated free product rigidity for group von. Adv. Math. , FJOURNAL =. 2018 , PAGES =

2018
[70]

Choda, Marie , TITLE =. Proc. Japan Acad. Ser. A Math. Sci. , FJOURNAL =. 1983 , NUMBER =

1983
[71]

and Effros, E

Choi, M.D. and Effros, E. G. , TITLE =. Duke Math. J. , FJOURNAL =. 1976 , NUMBER =

1976
[72]

, TITLE =

Wassermann, S. , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1977 , NUMBER =

1977
[73]

, TITLE =

Connes, A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1976 , NUMBER =

1976
[74]

, Fjournal =

Haagerup, U. , Fjournal =. A new proof of the equivalence of injectivity and hyperfiniteness for factors on a separable. J. Funct. Anal. , Number =
[75]

, TITLE =

Connes, A. , TITLE =. J. Functional Analysis , VOLUME =. 1978 , NUMBER =

1978
[76]

, TITLE =

Connes, A. , TITLE =. J. Operator Theory , FJOURNAL =. 1980 , NUMBER =

1980
[77]

, TITLE =

Connes, A. , TITLE =. Operator algebras and applications,
[78]

1994 , PAGES =

Connes, Alain , TITLE =. 1994 , PAGES =

1994
[79]

Connes, Alain and Shlyakhtenko, Dimitri , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2005 , PAGES =

2005
[80]

and Jones, V

Connes, A. and Jones, V. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1985 , NUMBER =

1985

Showing first 80 references.