A note on the classification of Gamma factors

Rom\'an Sasyk

arxiv: 1907.08232 · v1 · pith:5IOCHZTWnew · submitted 2019-07-18 · 🧮 math.OA · math.LO

A note on the classification of Gamma factors

Rom\'an Sasyk This is my paper

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

classification 🧮 math.OA math.LO

keywords II1 factorsproperty GammaBorel classificationvon Neumann algebrasoperator algebrasdescriptive set theoryisomorphism invariants

0 comments

The pith

Separable II₁ factors with property Gamma cannot be classified up to isomorphism by any Borel measurable assignment of countable structures.

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

The paper establishes that no Borel measurable function assigning countable structures to separable II₁ factors with property Gamma can serve as a complete invariant for isomorphism. This holds because the isomorphism equivalence relation on these factors is not reducible in a Borel way to the equality relation on countable structures. The same non-classifiability result applies to the class of full II₁ factors. A sympathetic reader would care because this rules out a large class of potential classification schemes that rely on measurable invariants from descriptive set theory.

Core claim

It is not possible to classify separable II₁ factors satisfying the property Gamma up to isomorphism by a Borel measurable assignment of countable structures as invariants. The same holds true for the full II₁ factors.

What carries the argument

The standard Borel structure on the space of separable II₁ factors, under which the isomorphism relation becomes a Borel equivalence relation, and the concept of Borel reducibility to the space of countable structures.

If this is right

Any classification of Gamma factors must rely on invariants that are not Borel measurable assignments of countable structures.
The isomorphism relation for these factors is more complex than those that admit Borel classifications by countable structures.
Similar limitations apply to the classification of full II₁ factors.

Where Pith is reading between the lines

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

If the result holds, attempts to classify these factors using other descriptive set theoretic invariants may also face similar obstructions.
This suggests that the classification problem for property Gamma factors requires methods outside the Borel framework.
Connections to classification problems for other classes of von Neumann algebras might reveal different levels of complexity.

Load-bearing premise

The space of separable II₁ factors with property Gamma admits a standard Borel structure making the notion of Borel measurable assignment well-defined and such that isomorphism classes form a Borel equivalence relation.

What would settle it

Constructing an explicit Borel measurable assignment of countable structures that distinguishes all isomorphism classes of separable II₁ factors with property Gamma would falsify the main claim.

read the original abstract

One of the earliest invariants introduced in the study of finite von Neumann algebras is the property Gamma of Murray and von Neumann. In this note we prove that it is not possible to classify separable $\rm{II}_1$ factors satisfying the property Gamma up to isomorphism by a Borel measurable assignment of countable structures as invariants. We also show that the same holds true for the full $\rm{II}_1$ factors.

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

This note shows Gamma II₁ factors and full II₁ factors cannot be classified up to isomorphism by any Borel assignment of countable structures.

read the letter

The main thing to know is that the paper proves a non-classifiability result: there is no Borel way to assign countable structures as complete invariants for isomorphism of separable II₁ factors with property Gamma, and the same holds for full factors. It is a short, targeted negative statement at the operator algebras / descriptive set theory boundary. What is new is the application to these two classes; earlier results had ruled out similar invariants for other families of factors, and this extends the list. The paper states the claim precisely and uses the standard Borel reducibility setup without obvious gaps in the logic. It does a clean job of recalling the relevant background on Gamma and fullness and then deriving the obstruction from the general theory of countable structures. The soft spot is that the argument depends on the space of such factors carrying a standard Borel structure in which the isomorphism relation is analytic; this is the usual setup in the field, but a note this short leaves the verification of that background to the reader rather than spelling out every step. No load-bearing circularity or invented objects appear. The result is incremental rather than foundational, but the reasoning looks honest and the claim is falsifiable in principle. This is for specialists already working on classification invariants for von Neumann algebras or on Borel reducibility questions. A reader outside that intersection will not get much from it. It is worth sending to peer review because the statement is sharp, the methods are standard, and the negative result rules out a natural line of attack on these factors.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that separable II₁ factors with property Gamma cannot be classified up to isomorphism via any Borel measurable assignment of countable structures as invariants; the same non-classifiability result is shown to hold for the class of all full II₁ factors.

Significance. If the argument is correct, the result is a useful contribution to the descriptive set theory of von Neumann algebras. It supplies a concrete obstruction showing that no Borel reduction to the isomorphism relation on countable structures can serve as a complete invariant for these classes, thereby ruling out a natural family of potential classification schemes. The paper works entirely within standard background from descriptive set theory and operator algebras and does not rely on ad-hoc parameters or fitted quantities.

minor comments (2)

The precise definition of the standard Borel structure on the space of separable II₁ factors (with or without Gamma) is invoked in the statement of the main theorem but is not re-derived in the text; a one-sentence reference to the ambient Polish space or to the relevant prior construction would improve readability.
The abstract and introduction both use the phrase 'countable structures as invariants'; a brief parenthetical clarifying that these are countable relational structures (or graphs, etc.) would remove any possible ambiguity for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a non-classifiability result for separable II₁ factors with property Gamma (and full II₁ factors) via Borel reducibility arguments from descriptive set theory. The derivation chain relies on standard external theorems about equivalence relations on Polish spaces and does not reduce any central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The space of factors is equipped with a standard Borel structure as a prerequisite, but this is an external setup rather than an internal loop. No equations or steps in the provided abstract or claim description exhibit the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard background assumptions from descriptive set theory needed to make Borel measurability and classification problems well-defined; no free parameters or invented entities appear in the abstract.

axioms (2)

domain assumption The collection of separable II₁ factors with property Gamma can be equipped with a standard Borel structure.
Required to define what a Borel measurable assignment means.
standard math Isomorphism of II₁ factors is a Borel equivalence relation on that space.
Standard assumption when applying descriptive set theory to classification of mathematical objects.

pith-pipeline@v0.9.0 · 5576 in / 1208 out tokens · 26903 ms · 2026-05-24T19:06:16.222310+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

Choda, Inner amenability and fullness , Proceedings of the American Mathematical Society 86 (1982), no

M. Choda, Inner amenability and fullness , Proceedings of the American Mathematical Society 86 (1982), no. 4, 663–666

work page 1982
[2]

Connes, almost periodic states and factors of type III1, Journal of Functional Analysis 16 (1974), 415–445

A. Connes, almost periodic states and factors of type III1, Journal of Functional Analysis 16 (1974), 415–445

work page 1974
[3]

, Classiﬁcation of injective factors, cases II1, II∞, IIIλ, λ ̸= 1, Annals of Mathematics 104 (1976), 73–115

work page 1976
[4]

, Noncommutative geometry, Academic Press, 1994

work page 1994
[5]

Connes, Nombres de Betti L2 et facteurs de type II1 (d’apr` es D

A. Connes, Nombres de Betti L2 et facteurs de type II1 (d’apr` es D. Gaboriau et S. Popa) , Ast´ erisque (2004), no. 294, ix, 321–333

work page 2004
[6]

Connes and B

A. Connes and B. W eiss, Property T and asymptotically invariant sequences , Israel Journal of Mathematics 37 (1980), 209–210

work page 1980
[7]

de la Harpe, Topics in geometric group theory, Chicago Lectures in Mathematics, University of Chicago Press, 2000

P. de la Harpe, Topics in geometric group theory, Chicago Lectures in Mathematics, University of Chicago Press, 2000

work page 2000
[8]

Eﬀros, Property Γ and inner amenability , Proceedings of the American Mathematical Society 47 (1975), 483–486

E. Eﬀros, Property Γ and inner amenability , Proceedings of the American Mathematical Society 47 (1975), 483–486

work page 1975
[9]

Farah, Logic and operator algebras , Proceedings of the International Congress of Mathematicians—Seoul 2014

I. Farah, Logic and operator algebras , Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2 014, pp. 15–39

work page 2014
[10]

Feldman and C

J. Feldman and C. C. Moore, Ergodic equivalence relations, cohomology, and von Neuman n algebras.I and II , Trans. Amer. Math. Soc. 234 (1977), no. 2, 289–359

work page 1977
[11]

Gaboriau, Invariants ℓ2 de relations d equivalence et de groupes , Publ

D. Gaboriau, Invariants ℓ2 de relations d equivalence et de groupes , Publ. math., Inst. Hautes Etud. Sci 95 (2002), 93–150

work page 2002
[12]

Gaboriau and S

D. Gaboriau and S. Popa, An uncountable family of nonorbit equivalent actions of Fn, Journal of the American Mathematical Society 18 (2005), 547–559

work page 2005
[13]

Haagerup and C

U. Haagerup and C. Winsløw, The Eﬀros-Mar´ echal topology in the space of von Neumann algebras. I , American Journal of Mathematics 120 (1998), no. 3, 567–617

work page 1998
[14]

Hjorth, Classiﬁcation and orbit equivalence relations , Mathematical Surveys and Mono- graphs, vol

G. Hjorth, Classiﬁcation and orbit equivalence relations , Mathematical Surveys and Mono- graphs, vol. 75, American Mathematical Society, 2000

work page 2000
[15]

Murray and J

F. Murray and J. von Neumann, On rings of operators, IV , Annals of Mathematics (2) 44 (1943), 716–808

work page 1943
[16]

Popa, On the fundamental group of type II1 factors, Proceedings of the National Academy of Sciences 101 (2004), no

S. Popa, On the fundamental group of type II1 factors, Proceedings of the National Academy of Sciences 101 (2004), no. 3, 723–726

work page 2004
[17]

, On a class of type II1 factors with Betti numbers invariants , Annals of Mathematics 163 (2006), 809–899

work page 2006
[18]

IMRN 11 (2007), Art

, On Ozawa’s property for free group factors , International Mathematics Research Notices. IMRN 11 (2007), Art. ID rnm036, 10

work page 2007
[19]

Sasyk and A

R. Sasyk and A. T¨ ornquist, Borel reducibility and classiﬁcation of von Neumann algebr as, Bulletin of Symbolic Logic 15 (2009), no. 2, 169–183

work page 2009
[20]

, The classiﬁcation problem for von Neumann factors , Journal of Functional Analysis 256 (2009), 2710–2724

work page 2009
[21]

, Turbulence and Araki-Woods factors , Journal of Functional Analysis 259 (2010), 2238–2252

work page 2010
[22]

Schmidt, Asymptotically invariant sequences and an action of SL(2, Z) on the 2-sphere, Israel Journal of Mathematics 37 (1980), 193–208

K. Schmidt, Asymptotically invariant sequences and an action of SL(2, Z) on the 2-sphere, Israel Journal of Mathematics 37 (1980), 193–208

work page 1980
[23]

T¨ ornquist, Orbit equivalence and actions of Fn, Journal of Symbolic Logic 71 (2006), 265–282

A. T¨ ornquist, Orbit equivalence and actions of Fn, Journal of Symbolic Logic 71 (2006), 265–282

work page 2006
[24]

Vaes, An inner amenable group whose von Neumann algebra does not ha ve property Gamma, Acta Mathematica 208 (2012), 389–394

S. Vaes, An inner amenable group whose von Neumann algebra does not ha ve property Gamma, Acta Mathematica 208 (2012), 389–394. Departamento de Matem ´atica, F acultad de Ciencias Exactas y Naturales, Universi- dad de Buenos Aires, Argentina and Instituto Argentino de Matem ´aticas-CONICET, Saavedra 15, Piso 3 (1083), Buenos Aires, Argentina E-mail addres...

work page 2012

[1] [1]

Choda, Inner amenability and fullness , Proceedings of the American Mathematical Society 86 (1982), no

M. Choda, Inner amenability and fullness , Proceedings of the American Mathematical Society 86 (1982), no. 4, 663–666

work page 1982

[2] [2]

Connes, almost periodic states and factors of type III1, Journal of Functional Analysis 16 (1974), 415–445

A. Connes, almost periodic states and factors of type III1, Journal of Functional Analysis 16 (1974), 415–445

work page 1974

[3] [3]

, Classiﬁcation of injective factors, cases II1, II∞, IIIλ, λ ̸= 1, Annals of Mathematics 104 (1976), 73–115

work page 1976

[4] [4]

, Noncommutative geometry, Academic Press, 1994

work page 1994

[5] [5]

Connes, Nombres de Betti L2 et facteurs de type II1 (d’apr` es D

A. Connes, Nombres de Betti L2 et facteurs de type II1 (d’apr` es D. Gaboriau et S. Popa) , Ast´ erisque (2004), no. 294, ix, 321–333

work page 2004

[6] [6]

Connes and B

A. Connes and B. W eiss, Property T and asymptotically invariant sequences , Israel Journal of Mathematics 37 (1980), 209–210

work page 1980

[7] [7]

de la Harpe, Topics in geometric group theory, Chicago Lectures in Mathematics, University of Chicago Press, 2000

P. de la Harpe, Topics in geometric group theory, Chicago Lectures in Mathematics, University of Chicago Press, 2000

work page 2000

[8] [8]

Eﬀros, Property Γ and inner amenability , Proceedings of the American Mathematical Society 47 (1975), 483–486

E. Eﬀros, Property Γ and inner amenability , Proceedings of the American Mathematical Society 47 (1975), 483–486

work page 1975

[9] [9]

Farah, Logic and operator algebras , Proceedings of the International Congress of Mathematicians—Seoul 2014

I. Farah, Logic and operator algebras , Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2 014, pp. 15–39

work page 2014

[10] [10]

Feldman and C

J. Feldman and C. C. Moore, Ergodic equivalence relations, cohomology, and von Neuman n algebras.I and II , Trans. Amer. Math. Soc. 234 (1977), no. 2, 289–359

work page 1977

[11] [11]

Gaboriau, Invariants ℓ2 de relations d equivalence et de groupes , Publ

D. Gaboriau, Invariants ℓ2 de relations d equivalence et de groupes , Publ. math., Inst. Hautes Etud. Sci 95 (2002), 93–150

work page 2002

[12] [12]

Gaboriau and S

D. Gaboriau and S. Popa, An uncountable family of nonorbit equivalent actions of Fn, Journal of the American Mathematical Society 18 (2005), 547–559

work page 2005

[13] [13]

Haagerup and C

U. Haagerup and C. Winsløw, The Eﬀros-Mar´ echal topology in the space of von Neumann algebras. I , American Journal of Mathematics 120 (1998), no. 3, 567–617

work page 1998

[14] [14]

Hjorth, Classiﬁcation and orbit equivalence relations , Mathematical Surveys and Mono- graphs, vol

G. Hjorth, Classiﬁcation and orbit equivalence relations , Mathematical Surveys and Mono- graphs, vol. 75, American Mathematical Society, 2000

work page 2000

[15] [15]

Murray and J

F. Murray and J. von Neumann, On rings of operators, IV , Annals of Mathematics (2) 44 (1943), 716–808

work page 1943

[16] [16]

Popa, On the fundamental group of type II1 factors, Proceedings of the National Academy of Sciences 101 (2004), no

S. Popa, On the fundamental group of type II1 factors, Proceedings of the National Academy of Sciences 101 (2004), no. 3, 723–726

work page 2004

[17] [17]

, On a class of type II1 factors with Betti numbers invariants , Annals of Mathematics 163 (2006), 809–899

work page 2006

[18] [18]

IMRN 11 (2007), Art

, On Ozawa’s property for free group factors , International Mathematics Research Notices. IMRN 11 (2007), Art. ID rnm036, 10

work page 2007

[19] [19]

Sasyk and A

R. Sasyk and A. T¨ ornquist, Borel reducibility and classiﬁcation of von Neumann algebr as, Bulletin of Symbolic Logic 15 (2009), no. 2, 169–183

work page 2009

[20] [20]

, The classiﬁcation problem for von Neumann factors , Journal of Functional Analysis 256 (2009), 2710–2724

work page 2009

[21] [21]

, Turbulence and Araki-Woods factors , Journal of Functional Analysis 259 (2010), 2238–2252

work page 2010

[22] [22]

Schmidt, Asymptotically invariant sequences and an action of SL(2, Z) on the 2-sphere, Israel Journal of Mathematics 37 (1980), 193–208

K. Schmidt, Asymptotically invariant sequences and an action of SL(2, Z) on the 2-sphere, Israel Journal of Mathematics 37 (1980), 193–208

work page 1980

[23] [23]

T¨ ornquist, Orbit equivalence and actions of Fn, Journal of Symbolic Logic 71 (2006), 265–282

A. T¨ ornquist, Orbit equivalence and actions of Fn, Journal of Symbolic Logic 71 (2006), 265–282

work page 2006

[24] [24]

Vaes, An inner amenable group whose von Neumann algebra does not ha ve property Gamma, Acta Mathematica 208 (2012), 389–394

S. Vaes, An inner amenable group whose von Neumann algebra does not ha ve property Gamma, Acta Mathematica 208 (2012), 389–394. Departamento de Matem ´atica, F acultad de Ciencias Exactas y Naturales, Universi- dad de Buenos Aires, Argentina and Instituto Argentino de Matem ´aticas-CONICET, Saavedra 15, Piso 3 (1083), Buenos Aires, Argentina E-mail addres...

work page 2012