pith. machine review for the scientific record. sign in

arxiv: 2604.26104 · v1 · submitted 2026-04-28 · 🧮 math.GR · math.OA· math.RA· math.RT

Recognition: unknown

Unitary representations and von Neumann's continuous geometries

Andreas Thom, Friedrich Martin Schneider

Pith reviewed 2026-05-07 13:48 UTC · model grok-4.3

classification 🧮 math.GR math.OAmath.RAmath.RT
keywords unitary representationscontinuous geometriesvon Neumann ringsstrong operator topologyunit groupsrepresentation theoryirreducible ringscontinuous rings
0
0 comments X

The pith

The unit group of a non-discrete irreducible continuous ring admits no non-trivial unitary representations continuous in the strong operator topology.

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

The paper proves that the unit group of a non-discrete irreducible continuous ring in the sense of von Neumann does not admit any non-trivial unitary representation that is continuous with respect to the strong operator topology. This is a rigidity result for the groups associated to these continuous geometries. A sympathetic reader would care because it limits the possible continuous actions and representations that these structures can have on Hilbert spaces. The finding connects von Neumann's foundational work on continuous geometries with contemporary questions in topological group representations. It shows that non-trivial continuous unitary representations are impossible under the given conditions.

Core claim

The core discovery is the proof that the unit group of a non-discrete irreducible, continuous ring, in the sense of John von Neumann, does not admit any non-trivial unitary representation continuous with respect to the strong operator topology. This negative result highlights the limited representation theory for these groups in the specified topology.

What carries the argument

The strong operator topology on the unit group of the non-discrete irreducible continuous ring, which forces any continuous unitary representation to be trivial.

If this is right

  • The only continuous unitary representation of the unit group is the trivial one.
  • Such unit groups do not support non-trivial continuous actions on Hilbert spaces.
  • The result holds for all irreducible non-discrete continuous rings in von Neumann's framework.
  • This excludes non-trivial continuous homomorphisms into unitary groups of Hilbert spaces.

Where Pith is reading between the lines

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

  • The result may suggest similar triviality for representations in other topologies on these groups.
  • It could connect to rigidity results in the theory of von Neumann algebras and their automorphism groups.
  • Concrete examples of continuous rings could be used to verify the theorem's applicability.

Load-bearing premise

The ring must be non-discrete and irreducible while the representation must be continuous with respect to the strong operator topology.

What would settle it

The construction of a non-trivial unitary representation of the unit group of a non-discrete irreducible continuous ring that is continuous in the strong operator topology would falsify the main claim.

read the original abstract

We prove that the unit group of a non-discrete irreducible, continuous ring, in the sense of John von Neumann, does not admit any non-trivial unitary representation continuous with respect to the strong operator topology.

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

2 major / 2 minor

Summary. The manuscript proves that the unit group of a non-discrete irreducible continuous ring in von Neumann's sense admits no non-trivial unitary representation continuous with respect to the strong operator topology.

Significance. If the central claim holds, the result would establish a rigidity theorem at the interface of continuous geometries, ring theory, and topological group representations, showing that such unit groups cannot act non-trivially via continuous unitary operators in the strong topology. This could constrain possible symmetry groups for infinite-dimensional projective geometries and complement existing non-existence results for representations of certain infinite groups.

major comments (2)
  1. [Introduction / Main Theorem] The manuscript does not supply an intrinsic definition of the strong operator topology on the unit group derived solely from the ring operations and the continuity axioms for the lattice of principal right ideals. Without an embedding into B(H) or an equivalent construction internal to the abstract ring, the continuity condition for representations is not well-defined for general non-discrete irreducible continuous rings (cf. the abstract and the statement of the main theorem).
  2. [Proof of Main Theorem] The proof sketch relies on the non-discrete assumption to derive a contradiction with continuity, but the handling of the strong operator topology in the absence of a Hilbert space realization is not detailed; this leaves open whether the result applies only to rings that already admit such realizations or to all abstract continuous rings.
minor comments (2)
  1. [Preliminaries] Clarify the precise definition of 'irreducible' and 'continuous' ring used, with explicit reference to von Neumann's axioms (e.g., the continuity axioms on idempotents).
  2. [Introduction] Add a remark on whether the result extends to the discrete case or to reducible rings, to delineate the scope.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and for identifying areas where greater precision is needed regarding the intrinsic definitions and proof details. We agree that these clarifications will strengthen the manuscript and will incorporate them in the revised version.

read point-by-point responses

  1. Referee: [Introduction / Main Theorem] The manuscript does not supply an intrinsic definition of the strong operator topology on the unit group derived solely from the ring operations and the continuity axioms for the lattice of principal right ideals. Without an embedding into B(H) or an equivalent construction internal to the abstract ring, the continuity condition for representations is not well-defined for general non-discrete irreducible continuous rings (cf. the abstract and the statement of the main theorem).

    Authors: We agree that an explicit intrinsic definition is required for the result to be stated rigorously for abstract continuous rings. In the revised manuscript we will insert a new subsection (immediately preceding the statement of the main theorem) that defines the strong operator topology on the unit group directly from the ring multiplication and the continuity axioms of the lattice of principal right ideals. The definition uses the fact that a net of units converges strongly if and only if the corresponding net of principal right ideals converges in the lattice topology; no external Hilbert-space embedding is invoked. This makes the continuity condition for representations well-defined in the purely algebraic setting. revision: yes

  2. Referee: [Proof of Main Theorem] The proof sketch relies on the non-discrete assumption to derive a contradiction with continuity, but the handling of the strong operator topology in the absence of a Hilbert space realization is not detailed; this leaves open whether the result applies only to rings that already admit such realizations or to all abstract continuous rings.

    Authors: The argument is intended to apply to every abstract non-discrete irreducible continuous ring. The non-discrete hypothesis produces a sequence of distinct units whose associated projections fail to converge in the lattice topology, contradicting continuity of the representation. In the revision we will expand the proof into a fully detailed sequence of steps that invokes only the ring operations, the lattice axioms, and the newly supplied intrinsic definition of strong convergence; each step is justified by reference to von Neumann’s continuity axioms. This removes any ambiguity and confirms that the result holds without assuming a Hilbert-space realization. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation proceeds from axioms without reduction to inputs

full rationale

The manuscript establishes a non-existence result for non-trivial strongly continuous unitary representations of the unit group of non-discrete irreducible continuous rings in von Neumann's sense. This follows directly from the ring axioms (continuity on idempotents, irreducibility, non-discreteness) and the definition of the strong operator topology on the unit group, without any parameter fitting, self-definitional loops, or load-bearing self-citations that collapse the claim to its premises. No equations or steps in the provided abstract or structure reduce the conclusion to a renaming or tautological input; the argument is self-contained and externally falsifiable via the stated definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on von Neumann's original definitions of continuous rings and geometries together with standard facts about the strong operator topology; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption von Neumann's definition of a continuous ring and its unit group
    The abstract invokes the framework of continuous rings in the sense of John von Neumann as the setting for the unit group.
  • standard math standard properties of the strong operator topology on unitary groups
    Continuity is taken with respect to this topology, which is a background notion from operator algebra theory.

pith-pipeline@v0.9.0 · 5314 in / 1306 out tokens · 72702 ms · 2026-05-07T13:48:00.591892+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

42 extracted references · 2 canonical work pages

  1. [1]

    Pere Ara, Joan Claramunt,Uniqueness of the von Neumann continuous factor. Canad. J. Math.70(2018), no. 5, pp. 961–982

    2018

  2. [2]

    Uri Bader, Rémi Boutonnet, Cyril Houdayer, Jesse Peterson,Charmenability of arithmetic groups of product type. Invent. Math.229(2022), no. 3, pp. 929–985

    2022

  3. [3]

    Wojciech Banaszczyk,On the existence of exotic Banach-Lie groups. Math. Ann.264 (1983), no. 4, pp. 485–493

    1983

  4. [4]

    Wojciech Banaszczyk,On the existence of commutative Banach-Lie groups which do not admit continuous unitary representations. Colloq. Math.52(1987), no. 1, pp. 113–118

    1987

  5. [5]

    Garrett Birkhoff,Von Neumann and lattice theory. Bull. Amer. Math. Soc.64(1958), pp. 50–56

    1958

  6. [6]

    Garrett Birkhoff, John von Neumann,The logic of quantum mechanics. Ann. of Math. (2)37(1936), no. 4, pp. 823–843

    1936

  7. [7]

    Chapters 1–3

    Nicolas Bourbaki,Algebra I. Chapters 1–3. Translated from the French. Reprint of the 1974 English edition, Elem. Math., Springer-Verlag, Berlin, 1989

    1974

  8. [8]

    New Math

    Bachir Bekka, Pierre de la Harpe, Alain Valette,Kazhdan’s property (T). New Math. Monogr., 11. Cambridge University Press, Cambridge, 2008

    2008

  9. [9]

    Schneider,Width bounds and Steinhaus property for unit groups of continuous rings

    Josefin Bernard, Friedrich M. Schneider,Width bounds and Steinhaus property for unit groups of continuous rings. arXiv: 2412.17480 [math.GR]

    work page arXiv

  10. [10]

    Alessandro Carderi, Andreas Thom,An exotic group as limit of finite special linear groups. Ann. Inst. Fourier (Grenoble)68(2018), no. 1, pp. 257–273

    2018

  11. [11]

    Effros,PropertyΓand inner amenability

    Edward G. Effros,PropertyΓand inner amenability. Proc. Amer. Math. Soc.47 (1975), no. 2, pp. 483–486

    1975

  12. [12]

    Gertrude Ehrlich,Characterization of a continuous geometry within the unit group. Trans. Amer. Math. Soc.83(1956), pp. 397–416

    1956

  13. [13]

    Gábor Elek, Endre Szabó,Sofic groups and direct finiteness. J. Algebra280(2004), no. 2, pp. 426–434

    2004

  14. [14]

    Keith Dennis,Noncommutative algebra

    Benson Farb, R. Keith Dennis,Noncommutative algebra. Grad. Texts in Math., 144. Springer-Verlag, New York, 1993

    1993

  15. [15]

    Israel J

    Eli Glasner, Boris Tsirelson, Benjamin Weiss,The automorphism group of the Gaussian measure cannot act pointwise. Israel J. Math.148(2005). Probability in mathematics, pp. 305–329

    2005

  16. [16]

    David Gluck,Sharper character value estimates for groups of Lie type. J. Algebra174 (1995), no. 1, pp. 229–266

    1995

  17. [17]

    Goodearl,Centers of regular self-injective rings

    Kenneth R. Goodearl,Centers of regular self-injective rings. Pacific J. Math.76 (1978), no. 2, pp. 381–395

    1978

  18. [18]

    Goodearl,von Neumann regular rings

    Kenneth R. Goodearl,von Neumann regular rings. Monographs and Studies in Math- ematics, 4. Pitman (Advanced Publishing Program), Boston, Mass.-London, 1979

    1979

  19. [19]

    Israel Halperin,Von Neumann’s manuscript on inductive limits of regular rings. Canad. J. Math.20(1968), pp. 477–483

    1968

  20. [20]

    Wojciech Herer, Jens P. R. Christensen,On the existence of pathological submeasures and the construction of exotic topological groups. Math. Ann.213(1975), pp. 203–210

    1975

  21. [21]

    Kechris,Classical descriptive set theory

    Alexander S. Kechris,Classical descriptive set theory. Grad. Texts in Math., 156. Springer-Verlag, New York, 1995

    1995

  22. [22]

    Kirillov,Positive-definite functions on a group of matrices with elements from a discrete field

    Aleksandr A. Kirillov,Positive-definite functions on a group of matrices with elements from a discrete field. Soviet Math. Dokl.6(1965), pp. 707–709

    1965

  23. [23]

    The Stanford Encyclopedia of Philosophy (Spring 2025 Edition), Edward N

    Fred Kronz, Tracy Lupher,Quantum Theory and Mathematical Rigor. The Stanford Encyclopedia of Philosophy (Spring 2025 Edition), Edward N. Zalta & Uri Nodelman (eds.),https://plato.stanford.edu/archives/spr2025/entries/qt-nvd/. UNITARY REPRESENTATIONS AND CONTINUOUS GEOMETRIES 15

    2025

  24. [24]

    Linnell,Embedding group algebras into finite von Neumann regular rings

    Peter A. Linnell,Embedding group algebras into finite von Neumann regular rings. Modules and comodules, pp. 295–300, Trends Math., Birkhäuser Verlag, Basel, 2008

    2008

  25. [25]

    Die Grundlehren der mathemat- ischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band 95

    Fumitomo Maeda,Kontinuierliche Geometrien. Die Grundlehren der mathemat- ischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band 95. Springer-Verlag, Berlin-Göttingen-Heidelberg, 1958

    1958

  26. [26]

    Margulis,Discrete subgroups of semisimple Lie groups

    Grigori˘ ı A. Margulis,Discrete subgroups of semisimple Lie groups. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 17. Springer-Verlag, Berlin, 1991

    1991

  27. [27]

    Semigroup Forum63(2001), no

    Michael Megrelishvili,Every semitopological semigroup compactification of the group H+[0,1]is trivial. Semigroup Forum63(2001), no. 3, pp. 357–370

    2001

  28. [28]

    Murray, John von Neumann,On rings of operators

    Francis J. Murray, John von Neumann,On rings of operators. Ann. of Math. (2)37 (1936), no. 1, pp. 116–229

    1936

  29. [29]

    John von Neumann,Continuous geometry. Proc. Nat. Acad. Sci. U.S.A.22(1936), pp. 92–100

    1936

  30. [30]

    John von Neumann,Examples of continuous geometries. Proc. Nat. Acad. Sci. U.S.A.22(1936), pp. 101–108

    1936

  31. [31]

    John von Neumann,On regular rings. Proc. Nat. Acad. Sci. U.S.A.22(1936), pp. 707– 713

    1936

  32. [32]

    John von Neumann,Algebraic theory of continuous geometries. Proc. Nat. Acad. Sci. U.S.A.23(1937), pp. 16–22

    1937

  33. [33]

    Foreword by Israel Halperin

    John von Neumann,Continuous geometry. Foreword by Israel Halperin. Princeton Mathematical Series, No. 25, Princeton University Press, Princeton, N.J., 1960

    1960

  34. [34]

    VladimirG.Pestov,The isometry group of the Urysohn space as a Lévy group.Topology Appl.154(2007), no. 10, pp. 2173–2184

    2007

  35. [35]

    Jesse Peterson, Andreas Thom,Character rigidity for special linear groups. J. Reine Angew. Math.716(2016), pp. 207–228

    2016

  36. [36]

    Fundamental Theories of Physics,

    Miklós Rédei,Quantum logic in algebraic approach. Fundamental Theories of Physics,

  37. [37]

    Kluwer Academic Publishers Group, Dordrecht, 1998

    1998

  38. [38]

    Schneider,Concentration of invariant means and dynamics of chain stabilizers in continuous geometries

    Friedrich M. Schneider,Concentration of invariant means and dynamics of chain stabilizers in continuous geometries. Geom. Funct. Anal.33(2023), no. 6, pp. 1608– 1681

    2023

  39. [39]

    Schneider,Group von Neumann algebras, inner amenability, and unit groups of continuous rings

    Friedrich M. Schneider,Group von Neumann algebras, inner amenability, and unit groups of continuous rings. Int. Math. Res. Not. IMRN (2024), no. 8, pp. 6422–6446

    2024

  40. [40]

    Schneider,Geometric properties of unit groups of von Neumann’s con- tinuous rings

    Friedrich M. Schneider,Geometric properties of unit groups of von Neumann’s con- tinuous rings. arXiv: 2509.01556 [math.GR]

    work page arXiv

  41. [41]

    Schneider, Sławomir Solecki,Groups without unitary representations, submeasures, and the escape property

    Friedrich M. Schneider, Sławomir Solecki,Groups without unitary representations, submeasures, and the escape property. Math. Ann.391(2025), no. 3, pp. 4145–4190

    2025

  42. [42]

    Zimmer,Stabilizers for ergodic actions of higher rank semisimple groups

    Garrett Stuck, Robert J. Zimmer,Stabilizers for ergodic actions of higher rank semisimple groups. Ann. of Math. (2)139(1994), no. 3, pp. 723–747. F.M.S., Institute of Discrete Mathematics and Algebra, TU Bergakademie Freiberg, 09596 Freiberg, Germany Email address:martin.schneider@math.tu-freiberg.de A.T., Institute of Geometry, TU Dresden, 01062 Dresden,...

    1994