REVIEW 2 major objections 3 minor 2 cited by
Factoriality of twisted locally compact group von Neumann algebras
T0 review · 2 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper constructs a locally compact group whose untwisted group von Neumann algebra is a factor while a 2-cocycle twist of the same algebra has a diffuse center, and proves the discrete case cannot exhibit this behavior.
desk verdict A genuinely new counterexample in twisted group von Neumann algebras, with a real but likely repairable gap in the proof of Lemma 4 that currently leaves Theorem A conditional. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is a transfer principle for centers. Given an action $G \curvearrowright S$ of a lcsc group on a lcsc abelian group and a $G$-invariant alternating bicharacter $\Omega: S \times S \to \mathbb{T}$ satisfying a self-duality condition $S \cong T \times \widehat{T}$, the semidirect product $\mathcal{G} = \widehat{S} \rtimes_{\widehat{\alpha}} G$ carries a Borel 2-cocycle $\omega$ whose twisted center is isomorphic to the untwisted center of $L(\mathcal{G})$, while $L(\mathcal{G})$ is stably isomorphic to $L^\infty(S) \rtimes_\alpha G$. In the application, $S = R^2$, $G = \Gamma$, and $\Omega((x,x'),(y,y')) = \psi(xy' - x'y)$, with $R$ a restricted product of p-adic fields and $\psi$ a character summing residue classes. The roles are split: ergodicity of $\Gamma$ on $R^2$ makes $L(\mathcal{G})$ a factor, while an infinite central subgroup of $\Gamma$ makes the transferred center diffuse.
What would settle it
Check whether $\mathrm{SL}_2(\mathbb{Q})^{(\mathbb{N})}$ acts essentially freely on $R^2$ when $R$ is the restricted product $\prod'_{k\in\mathbb{N}}(\mathbb{Q}_p,\mathbb{Z}_p)$: if some nontrivial element has a fixed set of positive measure, Lemma 4's conclusion collapses, while a direct finite-support proof of essential freeness would repair the gap.
Extended reading notes
Core claim
Theorem A states the main example: for an odd prime p, take the locally compact group $G = \mathbb{Q}_p^2 \rtimes \mathrm{SL}_2(\mathbb{Q})$ with compact open subgroup $K = \mathbb{Z}_p^2$, and form the restricted product $\mathcal{G} = \prod'_{k\in\mathbb{N}}(G,K)$. Then $\mathcal{G}$ carries a Borel 2-cocycle $\omega$ such that $L(\mathcal{G})$ is a factor while $L_\omega(\mathcal{G})$ has a diffuse center. The proof passes through a series of lemmas: a dual semidirect product construction shows that the twisted center of the new group is isomorphic to the untwisted center of an auxiliary group, while the untwisted algebra of the new group is, up to stabilization, a crossed product by an ergodic action. Taking the auxiliary group to be $\Gamma = \mathrm{SL}_2(\mathbb{Q})^{(\mathbb{N})}$ acting on $R^2$, where $R$ is the restricted product of p-adic fields with p-adic integers, the action is ergodic, so $L(\mathcal{G})$ is a factor; but $\Gamma$ contains the infinite central subgroup $\{\pm I\}^{(\mathbb{N})}$, so the center of $L(\Gamma)$, hence of the twisted algebra, is diffuse. Proposition B completes the picture by showing that for discrete $G$, factoriality of $L(G)$ and of $A$ always implies factoriality of $A \rtimes_\alpha G$.
Load-bearing premise
The load-bearing premise is Lemma 4's assumption that the ring $R$ has no zero divisors, which the proof uses to show the action $\Gamma \curvearrowright R^2$ is essentially free; the ring built from a restricted product of p-adic fields does have zero divisors, so the printed proof does not cover the main example.
Editorial extensions
If this is right
- If Theorem A is correct, no group-theoretic invariant computed from $\mathcal{G}$ alone can decide when $L_\omega(\mathcal{G})$ is a factor: the same underlying group is factorial for $\omega = 1$ and non-factorial for a suitable $\omega$.
- The example gives a counterexample to the natural expectation that braided tensor products of factors are factors, producing an action of a locally compact group on $B(K)$ with both $L(\mathcal{G})$ and $B(K)$ factors but the crossed product not a factor.
- The discrete/locally compact boundary is sharp: for discrete $G$, factoriality of $L(G)$ and $A$ implies factoriality of $A \rtimes_\alpha G$, so the counterexample necessarily uses a nondiscrete group.
- Restricted products of p-adic semidirect products provide a flexible source of such factoriality-splitting groups, and varying the auxiliary group $\Gamma$ changes the center of the twisted algebra in a controlled way.
Reading between the lines
- Extending beyond the paper, the same transfer principle could be iterated to encode the center of an arbitrary discrete group algebra into the twisted center of a locally compact group algebra, potentially realizing many prescribed centers as $Z(L_\omega(\mathcal{G}))$.
- The construction likely works for any countable subgroup $\Gamma$ of $\mathrm{SL}_2(R)$ with an ergodic action on $R^2$; the center of the twisted algebra will then be isomorphic to $Z(L(\Gamma))$, giving a zoo of factoriality behaviors controlled by central subgroups.
- For quantum-group braided tensor products, the example implies that the braiding can destroy factoriality even when both factors are type I factors, which may be relevant beyond the crossed-product reformulation used in the paper.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, for each odd prime p, a locally compact second countable group G (a restricted product of semidirect products Q_p^2 ⋊ SL_2(Q)) and a Borel 2-cocycle ω such that the untwisted group von Neumann algebra L(G) is a factor while the twisted algebra L_ω(G) has a diffuse center. The construction proceeds through a sequence of lemmas: a Takesaki-duality-based crossed-product identity, a realization of inner crossed products as twisted group algebras, a reduction of the center of the twisted algebra to the center of an ergodic crossed product, and an ergodic-theoretic lemma applied to restricted products of p-adic fields. The paper also proves that for discrete G, factoriality of L(G) and A forces A ⋊ G to be a factor, and that this permanence fails without discreteness.
Significance. If the proof is completed, Theorem A provides a striking dichotomy between twisted and untwisted group von Neumann algebras in the locally compact setting, supporting the paper's claim that no intrinsic group-theoretic criterion can characterize factoriality for twisted algebras in that generality. The argument is constructive and uses standard tools (Takesaki duality, Moore ergodicity, Borel selection) rather than fitted parameters, and the counterexample to the discrete permanence statement in Proposition B is relevant for applications in braided tensor products. The theorem itself is very plausible and the gaps identified below are local and repairable, but the written proof is currently incomplete.
major comments (2)
- [§2, Lemma 5(iii)] Lemma 5(iii) states that R = ∏'(Q_p, Z_p) satisfies all assumptions of Lemma 4. This is not correct: R has zero divisors. For example, a = (1, 0, 1, 0, ...) and b = (0, 1, 0, 1, ...) are nonzero but ab = 0. The proof of essential freeness in Lemma 4 relies on the absence of zero divisors to conclude that for fixed x' the equation ax + bx' = 0 has at most one solution; for this ring that inference fails. The gap is repairable by a finite-support argument: for any A ≠ I_2 in SL_2(R), choose a coordinate k with A_k ≠ I_2; the fixed-point set in that coordinate is a proper subspace of Q_p^2, hence of Haar measure zero, and the full fixed-point set is contained in the corresponding null cylinder. But as written, the deduction of Theorem A from Lemmas 4 and 5(iii) is incomplete.
- [§2, Lemma 3] The displayed bicharacter identity in Lemma 3, Ω(θ(y,φ), θ(y′,φ′)) = φ′(y) φ(y′), is symmetric under interchange of the two arguments. If it held literally, L_Ω(S) would be commutative and could not be isomorphic to B(L^2(T)) for nontrivial T. The computation in the proof of Lemma 3 (λ_Ω(θ(y,1)) λ_Ω(θ(0,φ)) = φ(y)^2 λ_Ω(θ(0,φ)) λ_Ω(θ(y,1))) requires the antisymmetric form Ω(θ(y,φ), θ(y′,φ′)) = φ′(y) \overline{φ(y′)} (equivalently φ′(y) φ(y′)^{-1}); the printed formula appears to be missing the conjugate/inverse. This should be corrected. With the corrected formula, the proof of Lemma 3 is consistent, and Lemma 4's symplectic bicharacter ψ(xy′ − x′y) is of the required form.
minor comments (3)
- [§2, Lemma 5(ii)] Lemma 5(ii) states that Z(L(Γ)) is 2n-dimensional for Γ = SL_2(Z)^n or SL_2(Q)^n. The center of each factor is {±I_2}, so the center of Γ is {±I_2}^n, a group of order 2^n. The corresponding von Neumann algebra has 2^n minimal projections, hence is 2^n-dimensional as a vector space, not 2n-dimensional. This does not affect Theorem A but should be corrected.
- [§2, Lemma 4] Lemma 4's proof uses the fact that x ↦ 2x is a homeomorphism of R, but the lemma statement does not include invertibility of 2 in R. Add this as an explicit hypothesis (or state the equivalent condition used to apply Lemma 3). All examples in Lemma 5 satisfy it, but the lemma as stated is broader than its proof supports.
- [§3, Proposition B] In the last line of the proof of Proposition B, 'b ∈ C1' should be 'b ∈ C·1'; this is a typographical issue only.
Circularity Check
No circularity: the construction is self-contained; the Lemma 4 zero-divisor gap is a correctness issue, not a circular reduction.
full rationale
The proof of Theorem A is a genuine derivation chain: Lemma 1 is a direct crossed-product and Takesaki duality computation; Lemma 2 is a standard Borel-lift 2-cocycle argument proved in the text; Lemma 3 combines these with explicit isomorphisms whose hypotheses are stated and checked, not assumed. Lemma 4 reduces factoriality of L(G) to essential freeness plus ergodicity of the action Gamma on R^2, with ergodicity being an explicit assumption verified separately in Lemma 5; the conclusion Z(L_omega(G)) ~ Z(L(Gamma)) is derived through the stated isomorphisms, not posited. Lemma 5 then supplies concrete rings and groups and computes the diffuse center of L(SL2(Q)^(N)) from the central subgroup {+-I2}^(N). No fitted parameter is relabeled as a prediction, no target conclusion is used as an input, and no load-bearing step rests on the author's prior work: [DCK24] appears only as motivation and application, while [Kle61] and [Sri80] are independent external results. There is, however, a genuine non-circular mathematical flaw: Lemma 4's proof of essential freeness says 'because R has no zero divisors, there is at most one x' to bound the fiber of ax+bx'=0, but the restricted product ring R = prod'(Q_p, Z_p) used in Lemma 5(iii) has zero divisors, so the written proof does not apply verbatim to the main example. That is an error or missing finite-support argument in the proof, not a circular self-reference, and it does not affect the circularity score.
Assumptions & free parameters
assumptions (5)
- standard math Takesaki duality for crossed products by abelian groups
- standard math Moore's ergodicity theorem for lattice actions on homogeneous spaces
- standard math Borel measurable selection theorem
- domain assumption Self-duality of the restricted product ring R = ∏'(Q_p, Z_p) via ψ(x) = ψ0(∑ x_k)
- domain assumption Factoriality criterion for group measure space crossed products: L∞(X) ⋊ Γ is a factor iff the action is ergodic and essentially free
Cite this review
Pith. "Pith review of Factoriality of twisted locally compact group von Neumann algebras." pith.science (2026). https://pith.science/paper/LN6IEPWM
@misc{pith2026241215733,
author = {Pith},
title = {Pith review of: Factoriality of twisted locally compact group von Neumann algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/LN6IEPWM}},
note = {Machine review of arXiv:2412.15733}
}
abstract
In this short note, we construct an exotic example of a locally compact group $G$ with a Borel $2$-cocycle $\omega$ such that the non-twisted group von Neumann algebra $L(G)$ is a factor, while the twisted group von Neumann algebra $L_\omega(G)$ has a diffuse center.
Forward citations
Cited by 2 Pith papers
-
The regular representation of Neretin groups is factorial
The regular representation of every Neretin group is factorial, yielding the first non-discrete simple group whose von Neumann algebra is a factor.
-
Braided tensor product of von Neumann algebras
Braided tensor products of von Neumann algebras are constructed for actions of locally compact quantum groups linked by a bicharacter, with a canonical action in the quasi-triangular case and with crossed products as ...
Reference graph
Works this paper leans on
-
[1]
K. De Commer and J. Krajczok, Braided tensor product of von Neumann algebras. Preprint. arXiv:2412.17444 https://arxiv.org/abs/2412.17444
-
[2]
Kleppner, The structure of some induced representations
A. Kleppner, The structure of some induced representations. Duke Math. J. 29 (1962), 555-572
work page 1962
-
[3]
Srivastava, Selection and representation theorems for -compact valued multifunctions
S.M. Srivastava, Selection and representation theorems for -compact valued multifunctions. Proc. Amer. Math. Soc. 83 (1981), 775-780
work page 1981
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.