Abstract

Let ΓΓ be a countable discrete group acting on a tracial von Neumann algebra (Q,τQ)(Q,τ_Q) in a trace-preserving way. We study invariant von Neumann subalgebras of Q⋊ΓQ\rtimesΓ and of L(Γ)⊗ˉQL(Γ)\bar\otimes Q, where the latter is equipped with the diagonal action. We show that, under the pointwise weak mixing assumption, an invariant subalgebra whose image under the canonical conditional expectation onto QQ is scalar is necessarily contained in L(Γ)L(Γ). Further, under relative weak mixing and central freeness assumptions, we determine the structure of invariant subalgebras of the crossed product with non-trivial intersection with QQ. For p.m.p. actions of groups with trivial amenable radical and the invariant subalgebras rigidity property, pointwise relative weak mixing gives a complete classification of invariant subalgebras in the tensor product case. We construct essentially free, prime, pointwise weakly mixing p.m.p. actions of Fn\mathbb{F}_n for every 2≤n≤∞2\leq n\leq\infty, as well as non-prime examples with explicitly described factors.

AI-generated audit

Audit summary

Audited against arXiv v1

Not a correctness certificate. A green “no issues found” result may include yellow suspected typos or minor formal issues that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.

Current report

Detailed mathematical audit

Generated October 23, 2026
01Statements2 reported findingsNo statement issues found

The crossed-product and tensor-product classifications, the hypotheses separating the classified and exceptional cases, and the existence theorem for prime free-group actions are stated consistently with the results proved.

Theorems 1.1–1.3No issue found

The crossed-product classification has the advertised scope

PDF pages 3–4 and 12–18 · arXiv:2610.19023v1

The scalar-expectation and relative commuting-square containments follow from pointwise relative weak mixing. Under central freeness, the expectation condition becomes automatic and the intermediate algebra is exactly a crossed product by a normal subgroup. The paper explicitly excludes the remaining non-commuting-square case and supplies examples showing why this exclusion is necessary.

Theorems 1.4 and 1.5No issue found

The tensor classification and existence result fit their hypotheses

PDF pages 4–5 and 19–35 · arXiv:2610.19023v1

For groups with trivial amenable radical and the invariant-subalgebra rigidity property, the centre is forced into the function factor and the algebra splits as L(N) tensor B. The Baire-category construction produces essentially free, prime, pointwise weakly mixing actions of every nonabelian free group, so the announced applications are non-vacuous.

02Proofs3 reported findingsNo proof issues found

The proof chains from relative weak mixing through Fourier-coefficient control, from boundary hypertraces through centre localization, and from generic transformations through the action examples are complete.

Theorem 3.3 and Section 4No issue found in the reviewed proof

Relative mixing gives the required Fourier containment

PDF pages 12–18 · arXiv:2610.19023v1

The commuting-square identity reduces conditional expectations on the coefficient algebra to the relative factor. A weakly separated orbit sequence and the Hilbert-space vanishing lemma force the unwanted expectations to zero. The crossed-product Fourier argument then puts every coefficient in B, while central freeness and the intermediate-algebra lemma identify the surviving group support as a normal subgroup. The separate escape-of-conjugate-iterates argument correctly handles the stated non-commuting-square containment.

Theorem 5.4 and Proposition 5.5No issue found in the reviewed proof

The tensor-product centre argument closes

PDF pages 19–22 · arXiv:2610.19023v1

Expectation onto the group factor first identifies an invariant subgroup algebra. Relative weak mixing removes coefficients outside the centre-determined function factor. For a general invariant centre, amenability supplies a hypertrace; the Furstenberg-boundary multiplicative-domain calculation eliminates all group coefficients outside the amenable radical. A trivial radical therefore yields the required centre position and hence the tensor decomposition.

Section 6No issue found in the reviewed proof

The prime-action construction satisfies all simultaneous conditions

PDF pages 24–35 · arXiv:2610.19023v1

The weak-topology perturbation lemmas establish dense generic sets for primeness, mixing, and freeness. Their intersection gives an F2 action, and restriction to the nested free subgroups preserves the required properties. The separate product construction also verifies that the corresponding non-prime examples have precisely the advertised factor structure.

03Novelty0 reported findingsNo novelty concerns found

No non-novelty findings.

Detailed audit reportFull reasoning, manuscript locations, and references.
Open report PDF ↗

Author response

Challenge an audit finding

Local workflow preview

A listed author may submit formal evidence that an audit is inaccurate. The response would be considered in a fresh AI re-evaluation; it would not edit the audit automatically.

Paper
arXiv:2610.19023v1
Authors listed
Tattwamasi Amrutam, Artem Dudko, Yongle Jiang, Adam Skalski
Audit date
October 23, 2026
  1. 01Establish identityMatch an authenticated scholarly identity to this paper.
  2. 02Submit evidenceIdentify the finding and give a formal mathematical response.
  3. 03Re-evaluateA separate agent checks the response and records a disposition.
Recommended production method

Authenticate with ORCID, then require an exact arXiv match

MathAudit should accept the identity only when ORCID OAuth authenticates the claimant's iD and this exact arXiv paper appears in arXiv's public authority feed for that iD. A matching name alone is not sufficient.

ORCID OAuth and arXiv authority-record lookup are not connected in this local prototype.

Email fallback for papers without a linked ORCID

A production fallback could send a one-time link only when the submitted address matches an independently maintained author-contact allowlist for this paper. MathAudit must return the same message for every address so the form cannot reveal which contacts are on that list.

This demonstration does not send, store, or compare the address.

Structured response preview

This form remains unavailable until production identity verification succeeds. Nothing entered here is submitted.

This panel never establishes authorship in the local prototype. A production result should be described narrowly as an authenticated ORCID match or control of a separately allowlisted author-contact mailbox.