pith. sign in

arxiv: 2606.31929 · v1 · pith:UCCUCW4Znew · submitted 2026-06-30 · 🧮 math.OA · math.FA

A class of II₁ factors without non-trivial crossed product decompositions

Adriana Fern\'andez Quero , Adrian Ioana , Hui Tan This is my paper

Pith reviewed 2026-07-01 02:02 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords II1 factorscrossed product decompositionsvon Neumann algebrasembeddingstensor productsnoncommutative dynamical systemsoperator algebras
0
0 comments X

The pith

Separable II₁ factors exist that do not arise as crossed products of any noncommutative dynamical system.

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

The paper introduces a class of separable II₁ factors M that admit no non-trivial crossed product decompositions, so M is not isomorphic to B rtimes_σ G for any infinite countable group G acting trace-preservingly on a tracial von Neumann algebra B. The construction ensures that every embedding of M into its tensor square M bar tensor M comes only from the canonical maps x to x tensor 1 or x to 1 tensor x. These are presented as the first known II₁ factors that cannot be obtained from crossed products of noncommutative dynamical systems. A sympathetic reader would care because this shows that the crossed-product construction does not exhaust all possible II₁ factors.

Core claim

We introduce a class of separable II₁ factors M admitting no non-trivial crossed product decompositions: M not cong B rtimes_σ G, for any trace preserving action G curvarrowright^σ (B,τ) of an infinite countable group G on a tracial von Neumann algebra (B,τ). These provide the first examples of II₁ factors that do not arise as crossed products of noncommutative dynamical systems. Our approach relies on a novel construction of separable II₁ factors M whose embeddings into their tensor product square M bar tensor M all arise from the canonical embeddings x mapsto x tensor 1 and x mapsto 1 tensor x.

What carries the argument

The embedding property that forces all maps from M into M bar tensor M to be only the two canonical ones, which is shown to be enough to block every non-trivial crossed product decomposition.

If this is right

  • The constructed M cannot be written as a crossed product by any infinite countable group.
  • These M are the first II₁ factors known to lack any non-trivial crossed product decomposition.
  • The tensor-square embedding restriction serves as the mechanism that excludes all such decompositions.

Where Pith is reading between the lines

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

  • Similar embedding controls might distinguish other classes of factors that resist standard decompositions.
  • The result raises the question of how common such rigid factors are among all separable II₁ factors.
  • New invariants may be needed to classify factors that fall outside crossed-product constructions.

Load-bearing premise

The claim that restricting embeddings of M into its tensor square to only the canonical ones is sufficient to rule out every possible non-trivial crossed product decomposition.

What would settle it

An explicit non-canonical embedding of one of the constructed M into M bar tensor M, or an explicit isomorphism showing that one such M is equal to some B rtimes_σ G for an infinite group G.

read the original abstract

We introduce a class of separable II$_1$ factors $M$ admitting no non-trivial crossed product decompositions: $M\not\cong B\rtimes_\sigma G$, for any trace preserving action $G\curvearrowright^\sigma (B,\tau)$ of an infinite countable group $G$ on a tracial von Neumann algebra $(B,\tau)$. These provide the first examples of II$_1$ factors that do not arise as crossed products of noncommutative dynamical systems. Our approach relies on a novel construction of separable II$_1$ factors $M$ whose embeddings into their tensor product square $M\overline{\otimes}M$ all arise from the canonical embeddings $x\mapsto x\otimes 1$ and $x\mapsto 1\otimes x$.

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

1 major / 0 minor

Summary. The paper constructs a class of separable II₁ factors M with the property that every *-embedding M → M¯⊗M is one of the two canonical maps x ↦ x⊗1 or x ↦ 1⊗x, and asserts that this embedding property implies M ≇ B ⋊_σ G for any infinite countable group G and any trace-preserving action σ of G on a tracial von Neumann algebra B. These are claimed to be the first examples of II₁ factors without non-trivial crossed-product decompositions.

Significance. If the central implication holds, the result supplies the first explicit examples of II₁ factors that cannot arise from noncommutative dynamical systems, which would be a notable advance in the structure theory of von Neumann algebras and the study of their possible decompositions.

major comments (1)
  1. [Abstract / central construction] The load-bearing step is the assertion that the canonical-embeddings property into M¯⊗M rules out every possible crossed-product decomposition B ⋊_σ G (G infinite). The manuscript must contain a concrete argument showing that any such crossed product necessarily admits at least one additional embedding into its tensor square; without an explicit reduction or lemma establishing this for arbitrary B and σ, the claim that the embedding property suffices remains unverified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for isolating the central point that requires explicit verification. We agree that the implication from the embedding property to the absence of crossed-product decompositions needs a self-contained argument and will supply it in revision.

read point-by-point responses

  1. Referee: [Abstract / central construction] The load-bearing step is the assertion that the canonical-embeddings property into M¯⊗M rules out every possible crossed-product decomposition B ⋊_σ G (G infinite). The manuscript must contain a concrete argument showing that any such crossed product necessarily admits at least one additional embedding into its tensor square; without an explicit reduction or lemma establishing this for arbitrary B and σ, the claim that the embedding property suffices remains unverified.

    Authors: We agree that the submitted manuscript asserts the implication without supplying an explicit lemma or reduction that produces a non-canonical embedding for an arbitrary crossed product B ⋊_σ G with G infinite. This is a substantive gap. In the revised version we will add a dedicated lemma (placed immediately after the construction of the factors M) that, for any infinite countable group G and any trace-preserving action σ on a tracial von Neumann algebra B, explicitly constructs a *-embedding of M = B ⋊_σ G into M ¯⊗ M distinct from both canonical maps. The argument will use the infiniteness of G to select a suitable sequence of group elements and produce a mixing embedding via the implementing unitaries; the details will be written so that the reduction holds uniformly for arbitrary B and σ. With this addition the central claim becomes fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction and implication are independent

full rationale

The abstract describes a novel construction of separable II1 factors M with the property that all embeddings into M bar tensor M are canonical (x |-> x tensor 1 or 1 tensor x). This embedding property is then used to conclude that M admits no non-trivial crossed product decompositions M ≅ B rtimes_sigma G. No quote or equation in the provided text shows the embedding property being defined in terms of the crossed-product conclusion, nor any fitted parameter renamed as prediction, nor load-bearing self-citation that reduces the central claim to an unverified prior result by the same authors. The derivation chain is presented as a construction followed by a mathematical implication, which is self-contained and does not reduce by construction to its inputs.

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.1-grok · 5668 in / 1020 out tokens · 43163 ms · 2026-07-01T02:02:54.068211+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

14 extracted references · 13 canonical work pages · 4 internal anchors

  1. [1]

    Rigid Graph Products

    [AP17] Claire Anantharaman and Sorin Popa,An introduction toII 1 factors, 2017, Available athttps: //www.math.ucla.edu/~popa/Books/IIun.pdf. [BV12] Mihaita Berbec and Stefaan Vaes, “W ∗-superrigidity for group von Neumann algebras of left- right wreath products,”,Proc. Lond. Math. Soc. (3), vol. 108, no. 5, pp. 1116–1152, 2014, doi: 10.1112/plms/pdt050. [...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/plms/pdt050 2017

  2. [2]

    Strong solidity of free Araki-Woods fac- tors,

    [BHV15] R´ emi Boutonnet, Cyril Houdayer, and Stefaan Vaes, “Strong solidity of free Araki-Woods fac- tors,”,Amer. J. Math., vol. 140, no. 5, pp. 1231–1252, 2018, doi:10.1353/ajm.2018.0029. [BGP26] Alcides Buss, Luiz Felipe Garcia, and Tomas Pacheco, “B(H) is not a twisted groupoidC ∗- algebra,”, 2026, arXiv:2603.21946. [BS17] Alcides Buss and Aidan Sims,...

    work page doi:10.1353/ajm.2018.0029 2018

  3. [3]

    Bass-Serre rigidity results in von Neumann algebras,

    [CH08] Ionut Chifan and Cyril Houdayer, “Bass-Serre rigidity results in von Neumann algebras,”,Duke Math. J., vol. 153, no. 1, pp. 23–54, 2010, doi:10.1215/00127094-2010-020. [CP10] Ionut Chifan and Jesse Peterson, “Some unique group-measure space decomposition results,”, Duke Math. J., vol. 162, no. 11, pp. 1923–1966, 2013, doi:10.1215/00127094-2331230. ...

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

  4. [4]

    Classification of injective factors. CasesII 1, II ∞, III λ, λ̸= 1,

    [Con76] Alain Connes, “Classification of injective factors. CasesII 1, II ∞, III λ, λ̸= 1,”,Ann. of Math. (2), vol. 104, no. 1, pp. 73–115, 1976, doi:10.2307/1971057. [Con80a] Alain Connes, “A factor of type II 1 with countable fundamental group,”Journal of Operator Theory, vol. 4, no. 1, pp. 151–153,

    work page doi:10.2307/1971057 1976

  5. [5]

    Classification des facteurs,

    [Con80b] Alain Connes, “Classification des facteurs,”, inOperator algebras and applications, Part 2 (Kingston, Ont., 1980), Amer. Math. Soc., Providence, RI, pp. 43–109,

    1980

  6. [6]

    Type II$_1$ factors with arbitrary countable endomorphism group

    50 A. FERN ´ANDEZ QUERO, A. IOANA, AND H. TAN [CJ85] Alain Connes and Vaughan F. R. Jones, “PropertyTfor von Neumann algebras,”,Bull. London Math. Soc., vol. 17, no. 1, pp. 57–62, 1985, doi:10.1112/blms/17.1.57. [Dep13] Steven Deprez, “Type II 1 factors with arbitrary countable endomorphism group,”, 2013, arXiv:1301.2618. [DP23] Changying Ding and Jesse P...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/blms/17.1.57 1985

  7. [7]

    W*-superrigidity for discrete quantum groups

    [DV24] Milan Donvil and Stefaan Vaes, “W ∗-Superrigidity for cocycle twisted group von Neumann al- gebras,”,Invent. Math., vol. 240, no. 1, pp. 193–260, 2025, doi:10.1007/s00222-025-01320-5. [DV25] Milan Donvil and Stefaan Vaes, “W ∗-superrigidity for discrete quantum groups,”, Preprint 2025, arXiv:2504.03266. [DHI16] Daniel Drimbe, Daniel Hoff, and Adria...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00222-025-01320-5 2025

  8. [8]

    On conjugacy and perturbation of subalgebras,

    [GKEPT24] David Gao, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell, and Hui Tan, “On conjugacy and perturbation of subalgebras,”J. Noncommut. Geom., published online first, 2025, doi:10. 4171/JNCG/627. [Ge96] Liming Ge, “Applications of free entropy to finite von Neumann algebras. II,”,Ann. of Math. (2), vol. 147, no. 1, pp. 143–157, 1998, doi:10.230...

    work page doi:10.2307/120985 2025

  9. [9]

    Amalgamated free products of weakly rigid factors and calculation of their symmetry groups,

    [IPP05] Adrian Ioana, Jesse Peterson, and Sorin Popa, “Amalgamated free products of weakly rigid factors and calculation of their symmetry groups,”,Acta Math., vol. 200, no. 1, pp. 85–153, 2008, doi:10.1007/s11511-008-0024-5. [IPV10] Adrian Ioana, Sorin Popa, and Stefaan Vaes, “A class of superrigid group von Neumann alge- bras,”,Ann. of Math. (2), vol. 1...

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

  10. [10]

    Examples of group actions which are virtually W*-superrigid

    [Jon80] Vaughan F. R. Jones, “A II 1 factor anti-isomorphic to itself but without involutory antiautomor- phisms,”,Math. Scand., vol. 46, no. 1, pp. 103–117, 1980, doi:10.7146/math.scand.a-11855. [Jon83] Vaughan F. R. Jones, “Index for subfactors,”,Invent. Math., vol. 72, no. 1, pp. 1–25, 1983, doi: 10.1007/BF01389127. [Mar23] Amine Marrakchi, “Kadison’s ...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.7146/math.scand.a-11855 1980

  11. [11]

    Classification of amenable subfactors of type II,

    [Pop94] Sorin Popa, “Classification of amenable subfactors of type II,”,Acta Math., vol. 172, no. 2, pp. 163–255, 1994, doi:10.1007/BF02392646. [Pop01] Sorin Popa, “On a class of type II 1 factors with Betti numbers invariants,”,Ann. of Math. (2), vol. 163, no. 3, pp. 809–899, 2006, doi:10.4007/annals.2006.163.809. [Pop03] Sorin Popa, “Strong rigidity of ...

    work page doi:10.1007/bf02392646 1994

  12. [12]

    A II 1 factor approach to the Kadison-Singer problem,

    [Pop13] Sorin Popa, “A II 1 factor approach to the Kadison-Singer problem,”,Comm. Math. Phys., vol. 332, no. 1, pp. 379–414, 2014, doi:10.1007/s00220-014-2055-4. 52 A. FERN ´ANDEZ QUERO, A. IOANA, AND H. TAN [Pop18a] Sorin Popa, “On the vanishing cohomology problem for cocycle actions of groups on II 1 factors,”, Ann. Sci. ´Ec. Norm. Sup´ er. (4), vol. 54...

    work page doi:10.1007/s00220-014-2055-4 2014

  13. [13]

    Explicit computations of all finite index bimodules for a family of II 1 factors,

    [Vae07] Stefaan Vaes, “Explicit computations of all finite index bimodules for a family of II 1 factors,”, Ann. Sci. ´Ec. Norm. Sup´ er. (4), vol. 41, no. 5, pp. 743–788, 2008, doi:10.24033/asens.2081. [Vae10a] Stefaan Vaes, “Rigidity for von Neumann algebras and their invariants,”, inProceedings of the International Congress of Mathematicians. Volume III...

    work page doi:10.24033/asens.2081 2008

  14. [14]

    One-cohomology and the uniqueness of the group measure space decomposition of a II1 factor,

    [Vae10b] Stefaan Vaes, “One-cohomology and the uniqueness of the group measure space decomposition of a II1 factor,”,Math. Ann., vol. 355, no. 2, pp. 661–696, 2013, doi:10.1007/s00208-012-0797-x. [Vae13] Stefaan Vaes, “Normalizers inside amalgamated free product von Neumann algebras,”,Publ. Res. Inst. Math. Sci., vol. 50, no. 4, pp. 695–721, 2014, doi:10....

    work page doi:10.1007/s00208-012-0797-x 2013