Factors with prescribed number of invariant subalgebras not arising from subgroups

Qinxuan Xu, Yongle Jiang

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

classification 🧮 math.OA math.DSmath.GR

keywords II1 factorsgroup von Neumann algebrasinvariant subalgebrasICC groupssubalgebras not arising from subgroups

0 comments

The pith

For every positive integer n there exist ICC groups G such that L(G) has exactly n G-invariant von Neumann subalgebras not arising from subgroups.

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

The paper establishes that for any positive integer n, one can construct an infinite conjugacy class group G so that its group von Neumann algebra L(G) contains exactly n many G-invariant von Neumann subalgebras that do not come from subgroups of G. The construction separates the invariant subalgebras into those inherited directly from subgroups and those that are additional. A sympathetic reader cares because the result shows that the collection of invariant subalgebras in these II1 factors can be engineered with arbitrary finite precision on the non-subgroup side.

Core claim

For any given integer n≥1, we construct i.c.c. groups G such that the II₁ factors L(G) have exactly n-many G-invariant von Neumann subalgebras not arising from subgroups.

What carries the argument

The G-invariant von Neumann subalgebras of L(G) that do not arise from subgroups of G; the group construction is used to make their total count equal to any prescribed n.

Load-bearing premise

Suitable ICC groups exist that are flexible enough for their construction to produce exactly the desired finite number of non-subgroup invariant subalgebras in L(G).

What would settle it

An explicit ICC group G (for example with small n) whose L(G) is shown by direct calculation to contain a number of G-invariant subalgebras not arising from subgroups different from the claimed value.

read the original abstract

For any given integer $n\geq 1$, we construct i.c.c. groups $G$ such that the II$_1$ factors $L(G)$ have exactly $n$-many $G$-invariant von Neumann subalgebras not arising from subgroups.

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

They give an explicit inductive construction of ICC groups G where L(G) has exactly n G-invariant subalgebras not coming from subgroups, for any prescribed n.

read the letter

The main thing here is a construction that achieves exact control over the number of those extra invariant subalgebras in a group factor. For any n they build an ICC group by starting from a base and then iterating free products with amalgamation while keeping centralizers under control so that no unplanned invariants appear. The verification stays inside the group von Neumann algebra framework and checks that only the listed n plus the obvious subgroup-derived ones exist.

Referee Report

0 major / 3 minor

Summary. The paper constructs, for any given integer n ≥ 1, ICC groups G such that the II₁ factor L(G) has exactly n G-invariant von Neumann subalgebras not arising from subgroups. The construction proceeds inductively via iterated free products with amalgamation, with centralizers controlled to ensure that the only G-invariant subalgebras are the n explicitly listed ones (plus the obvious subgroup-derived ones).

Significance. If the details of the inductive construction hold, the result is significant for operator algebras: it demonstrates precise, arbitrary control over the lattice of G-invariant subalgebras in group von Neumann algebras. The explicit inductive procedure using free products with amalgamation and the verification carried out entirely within the group von Neumann algebra framework (with no hidden existence appeals) are notable strengths.

minor comments (3)

[Abstract] The abstract could briefly note that the constructed groups are infinite (to ensure L(G) is a II₁ factor) for immediate context.
[§3 (Inductive Construction)] In the inductive step, the notation distinguishing the 'listed' invariant subalgebras from the subgroup-derived ones should be made uniform across sections to improve readability.
[§4 (Verification)] A short table or diagram summarizing the n subalgebras for small n (e.g., n=1,2,3) would help readers track the construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. No specific major comments were provided in the report, so we have no point-by-point responses to address. We will incorporate any minor revisions as appropriate in the next version of the paper.

Circularity Check

0 steps flagged

No significant circularity; explicit inductive construction stands alone

full rationale

The paper supplies a direct, self-contained inductive construction of ICC groups via iterated free products with amalgamation and controlled centralizers. It explicitly enumerates and verifies that the only G-invariant von Neumann subalgebras of L(G) are the n prescribed ones (plus the subgroup-derived ones), with all verifications performed inside the group von Neumann algebra setting. No equations or claims reduce by definition to their own inputs, no fitted parameters are relabeled as predictions, and no load-bearing steps rely on self-citations whose content is itself unverified or presupposed. The result is therefore independent of the inputs it claims to produce.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5327 in / 1016 out tokens · 55682 ms · 2026-05-09T15:58:39.586505+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

34 extracted references · 6 canonical work pages · 1 internal anchor

[1]

Alekseev and R

V. Alekseev and R. Brugger,A rigidity result for normalized subfactors, J. Operator Theory86(2021), no. 1, 3–15.↑1

2021
[2]

On Relative Invariant Subalgebra Rigidity Property

T. Amrutam,On relative invariant subalgebra rigidity property(2026), arXiv: 2604.04835.↑2

work page internal anchor Pith review Pith/arXiv arXiv 2026
[3]

Amrutam, A

T. Amrutam, A. Dudko, Y. Jiang, and A. Skalski,Invariant subalgebras rigidity for von Neumann algebras of groups arising as certain semidirect products(2025), arXiv: 2507.12824.↑2, 3, 24, 25

work page arXiv 2025
[4]

Amrutam, Y

T. Amrutam, Y. Hartman, and H. Oppelmayer,On the amenable subalgebras of group von Neumann algebras, J. Funct. Anal.288(2025), no. 2, Paper No. 110718, 20 pp.↑1

2025
[5]

Amrutam and Y

T. Amrutam and Y. Jiang,On invariant von Neumann subalgebras rigidity property, J. Funct. Anal. 284(2023), no. 5, Paper No. 109804, 26 pp.↑1

2023
[6]

,Splitting of tensor products and intermediate factor theorem: continuous version, J. Lond. Math. Soc. (2)111(2025), no. 6, Paper No. e70205, 35.↑20

2025
[7]

Amrutam, Y

T. Amrutam, Y. Jiang, and S. Zhou,Non-commutative Intermediate Factor theorem associated with W∗-dynamics of product groups(2025). arXiv: 2508.18978.↑20

work page arXiv 2025
[8]

Bader, R

U. Bader, R. Boutonnet, and C. Houdayer,Charmenability of higher rank arithmetic groups, Ann. H. Lebesgue6(2023), 297–330 (English, with English and French summaries).↑19

2023
[9]

Bekka,Operator-algebraic superridigity forSL n(Z),n≥3, Invent

B. Bekka,Operator-algebraic superridigity forSL n(Z),n≥3, Invent. Math.169(2007), no. 2, 401–425. ↑6

2007
[10]

Bekka and P

B. Bekka and P. de la Harpe,Unitary representations of groups, duals, and characters, Mathematical Surveys and Monographs, vol. 250, American Mathematical Society, Providence, RI, 2020.↑23

2020
[11]

Bj¨ orklund and A

M. Bj¨ orklund and A. Fish,Dynamics of multiplicative groups over fields and Følner-Kloosterman sums (2025), arXiv: 2512.07106.↑3, 7, 8

work page arXiv 2025
[12]

Chifan and S

I. Chifan and S. Das,Rigidity results for von Neumann algebras arising from mixing extensions of profinite actions of groups on probability spaces, Math. Ann.378(2020), no. 3-4, 907–950.↑1, 19

2020
[13]

Chifan, S

I. Chifan, S. Das, and B. Sun,Invariant subalgebras of von Neumann algebras arising from negatively curved groups, J. Funct. Anal.285(2023), no. 9, Paper No. 110098, 28 pp.↑1, 23

2023
[14]

Choda,A Galois correspondence in a von Neumann algebra, Tohoku Math

H. Choda,A Galois correspondence in a von Neumann algebra, Tohoku Math. J. (2)30(1978), no. 4, 491–504.↑19

1978
[15]

Dudko and Y

A. Dudko and Y. Jiang,A character approach to the ISR property(2024), arXiv: 2410.14517v3.↑1, 6, 23, 24

work page arXiv 2024
[16]

Ge and R

L. Ge and R. Kadison,On tensor products for von Neumann algebras, Invent. Math.123(1996), no. 3, 453–466.↑19, 24

1996
[17]

Dudko and K

A. Dudko and K. Medynets,Finite factor representations of Higman-Thompson groups, Groups Geom. Dyn.8(2014), no. 2, 375–389.↑6

2014
[18]

Glasner,Ergodic Theory via Joinings, Mathematical Surveys and Monographs, vol

E. Glasner,Ergodic Theory via Joinings, Mathematical Surveys and Monographs, vol. 101, American Mathematical Society, [2003]©2003.↑5, 6, 9, 19

2003
[19]

X. Hu, R. Shi, and F. Xu,On a composition of subfactors with group subfactors, Sci. China Math.64 (2021), no. 2, 373–384.↑19 27

2021
[20]

Izumi, R

M. Izumi, R. Longo, and S. Popa,A Galois correspondence for compact groups of automorphisms of von Neumann algebras with a generalization to Kac algebras, J. Funct. Anal.155(1998), no. 1, 25–63. ↑19

1998
[21]

Jiang and H

Y. Jiang and H. Li,Classification of Invariant Subalgebras in a class of factors with property (T)(2026), arXiv: 2601.06353.↑2, 3

work page arXiv 2026
[22]

Jiang and R

Y. Jiang and R. Liu,On invariant subalgebras when the ISR property fails, J. Operator Theory95 (2026), no. 1.↑2, 3

2026
[23]

Jiang and X

Y. Jiang and X. Zhou,An example of an infinite amenable group with the ISR property, Math. Z.307 (2024), no. 2, Paper No. 23, 11 pp.↑1, 6, 20

2024
[24]

Kalantar and N

M. Kalantar and N. Panagopoulos,On invariant subalgebras of group and von Neumann algebras, Ergodic Theory Dynam. Systems43(2023), no. 10, 3341–3353.↑1

2023
[25]

Kerr and H

D. Kerr and H. Li,Ergodic theory Independence and dichotomies, Springer Monographs in Mathematics, Springer, Cham, 2016.↑4, 11

2016
[26]

Krogager and S

A. Krogager and S. Vaes,A class ofII 1 factors with exactly two group measure space decompositions, J. Math. Pures Appl. (9)108(2017), no. 1, 88–110 (English, with English and French summaries).↑2, 3

2017
[27]

P. A. Linnell,Zero divisors and group von Neumann algebras, Pacific J. Math.149(1991), no. 2, 349–363.↑10

1991
[28]

G. E. Moorhouse,Cyclictomic fields with applications(2018). lecture note available athttps:// ericmoorhouse.org/handouts/cyclotomic_fields.pdf.↑5

2018
[29]

Morandi,Field and Galois Theory, Graduate Texts in Mathematics, vol

P. Morandi,Field and Galois Theory, Graduate Texts in Mathematics, vol. 167, Springer-Verlag New York, Inc, [1996]©1996.↑5, 10

1996
[30]

Osin,Small cancellations over relatively hyperbolic groups and embedding theorems, Ann

D. Osin,Small cancellations over relatively hyperbolic groups and embedding theorems, Ann. of Math. (2)172(2010), no. 1, 1–39.↑23

2010
[31]

Schmidt,Dynamical systems of algebraic origin, Progress in Mathematics, vol

K. Schmidt,Dynamical systems of algebraic origin, Progress in Mathematics, vol. 128, Birkh¨ auser Verlag, Basel, 1995.↑4

1995
[32]

Sinclair and R

A. Sinclair and R. Smith,Finite von Neumann algebras and masas, London Mathematical Society Lecture Note Series, vol. 351, Cambridge University Press, Cambridge, 2008.↑10

2008
[33]

Suzuki,Complete descriptions of intermediate operator algebras by intermediate extensions of dy- namical systems, Comm

Y. Suzuki,Complete descriptions of intermediate operator algebras by intermediate extensions of dy- namical systems, Comm. Math. Phys.375(2020), no. 2, 1273–1297.↑19

2020
[34]

Ann.394 (2026), no

,Crossed product splitting of intermediate operator algebras via 2-cocycles, Math. Ann.394 (2026), no. 2, Paper No. 38, 37.↑19 Yongle Jiang, School of Mathematical Sciences, Dalian University of Technology, Dalian, 116024, China Email address:yonglejiang@dlut.edu.cn Qinxuan Xu (Corresponding author), School of Mathematical Sciences, Dalian Uni- versity of...

2026