arxiv: 2605.12360 · v1 · submitted 2026-05-12 · 🧮 math.GR · math.DS

Recognition: no theorem link

Asymmetry of ell²-cohomology via skewed F{o}lner geometry

Nachi Avraham-Re'em, Zemer Kosloff

Pith reviewed 2026-05-13 02:26 UTC · model grok-4.3

classification 🧮 math.GR math.DS

keywords l2-Dirichlet spacesnilpotent groupsvirtually abelianleft schemesFolner geometryBernoulli schemesamenable groupsasymmetric actions

0 comments

The pith

For finitely generated nilpotent groups, the left and right ℓ²-Dirichlet spaces coincide exactly when the group is virtually abelian.

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

The paper establishes that for a finitely generated nilpotent group the two ℓ²-Dirichlet spaces induced by the left and right regular representations coincide as subspaces of real-valued functions on the group if and only if the group is virtually abelian. This matters because the left and right actions are unitarily equivalent, so any difference in the associated Dirichlet spaces reveals a genuine geometric or dynamical asymmetry rather than a mere representational artifact. The authors introduce left schemes, sequences of finite sets whose left boundaries are summable yet which are substantially displaced under right translation, and refine them to recurrent versions that produce Bernoulli schemes with one-sided nonsingular weakly mixing behavior. The same mechanism applies beyond nilpotents to amenable wreath products over the integers and solvable Baumslag-Solitar groups, while the virtually cyclic case is handled separately via one-sided commensurable ends.

Core claim

For a finitely generated nilpotent group G, D₂(G, λ) equals D₂(G, ρ) if and only if G is virtually abelian. The proof proceeds by constructing left schemes that combine summability of left boundaries with positive displacement under right multiplication; these are then upgraded to recurrent left schemes that support Bernoulli actions whose left shift is nonsingular and weakly mixing while the right shift is singular. The techniques also classify the asymmetry for all amenable wreath products over Z and solvable Baumslag-Solitar groups.

What carries the argument

Left scheme: a sequence of finite subsets of G with summable left-boundary measures that are displaced under right translation, providing the skewed Følner geometry that forces the Dirichlet spaces to differ.

If this is right

The left and right ℓ²-Dirichlet spaces are identical precisely when a finitely generated nilpotent group is virtually abelian.
Non-virtually abelian finitely generated nilpotents admit Bernoulli schemes whose left shift is nonsingular and weakly mixing but whose right shift is singular.
The asymmetry result extends to all amenable wreath products over Z and to solvable Baumslag-Solitar groups.
For virtually cyclic groups the asymmetry is detected by one-sided commensurable ends instead of left schemes.

Where Pith is reading between the lines

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

The left-scheme technique may detect similar left-right differences in other group invariants such as reduced cohomology or harmonic functions on the same class of groups.
Recurrent left schemes could be tested computationally on concrete nilpotent examples such as the Heisenberg group to confirm the existence of the required Bernoulli constructions.
The methods might adapt to classify when left and right actions produce distinct spaces of finite-energy functions on further amenable groups beyond those treated in the paper.

Load-bearing premise

Every non-virtually abelian finitely generated nilpotent group admits a left scheme (or recurrent left scheme) whose left boundaries are summable while right translations produce positive displacement.

What would settle it

Explicitly constructing a left scheme for the three-dimensional integer Heisenberg group, or exhibiting any finitely generated nilpotent non-virtually-abelian group on which the left and right ℓ²-Dirichlet spaces nevertheless coincide.

read the original abstract

We study the two canonical $\ell^{2}$-Dirichlet structures on a finitely generated group $G$, arising from the left and right regular actions on $\mathbb{R}^{G}$. Although the left and right regular representations are unitarily equivalent, their $\ell^{2}$-Dirichlet spaces need not coincide as subspaces of $\mathbb{R}^{G}$. We prove that for finitely generated nilpotent groups $G$ this $\ell^{2}$-asymmetry is governed exactly by virtual commutativity: $$\mathcal{D}_{2}\left(G,\lambda\right)=\mathcal{D}_{2}\left(G,\rho\right)\quad\Longleftrightarrow\quad G \text{ is virtually abelian}.$$ The proof introduces a skewed F{\o}lner-geometric mechanism, called a left scheme, combining summability of left boundaries with displacement under right translation. By refining this mechanism into recurrent left scheme, we further show that every non-virtually abelian finitely generated nilpotent group admits Bernoulli schemes whose left shift is nonsingular and weakly mixing whereas the right shift is singular. These are the first constructions of such Bernoulli schemes over amenable groups. In addition to nilpotent groups, our techniques are robust enough to cover all amenable wreath products over $\mathbb{Z}$ and solvable Baumslag--Solitar groups. We also classify the virtually cyclic case, where $\ell^{2}$-asymmetry arises from one-sided commensurable ends rather than from left schemes.

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

The paper pins l2-Dirichlet asymmetry for f.g. nilpotents exactly to non-virtual-abelianness via left schemes, and gives the first asymmetric Bernoulli examples on amenable groups.

read the letter

The core result is that for finitely generated nilpotent groups the left and right l2-Dirichlet spaces agree if and only if the group is virtually abelian. The authors also produce the first Bernoulli schemes over amenable groups whose left shift is nonsingular and weakly mixing while the right shift is singular. Both claims rest on a new geometric device they call a left scheme: a Følner-type object that is summable on the left but displaces under right translation, plus a recurrent refinement for the Bernoulli constructions. They extend the same toolkit to amenable wreath products over Z and to solvable Baumslag-Solitar groups, and handle the virtually cyclic case separately by one-sided ends. That is concrete progress on a question that had been open in this form. The mechanism looks internally consistent and the abstract states the constructions explicitly rather than appealing to black-box existence. The main soft spot is the universality of the left-scheme construction itself. The argument appears to proceed by induction along the central series, but nilpotent groups come in many classes and Hirsch lengths; if the summability-plus-displacement property fails to hold simultaneously for some non-virtually-abelian example, the iff direction collapses. The abstract asserts coverage for all such groups, yet that step is the least visible from the outside and is exactly where a referee would press hardest. The paper is aimed at geometric group theorists and ergodic theorists who already work with l2-cohomology or Dirichlet forms on amenable groups. Anyone who cares about left-right distinctions in regular representations or about constructing asymmetric actions will find the explicit examples useful. It is worth sending to peer review: the claims are sharp, the new objects are well-motivated, and the only real question is whether the constructions survive detailed checking.

Referee Report

2 major / 2 minor

Summary. The paper claims that for finitely generated nilpotent groups G, the left and right ℓ²-Dirichlet spaces coincide (D₂(G,λ) = D₂(G,ρ)) if and only if G is virtually abelian. It introduces left schemes (combining summable left boundaries with displacement under right translation) as the governing skewed Følner-geometric mechanism for the asymmetry, refines them to recurrent left schemes to produce Bernoulli schemes with nonsingular weakly mixing left shifts and singular right shifts (first such over amenable groups), and extends the techniques to all amenable wreath products over ℤ and solvable Baumslag-Solitar groups while separately classifying the virtually cyclic case via one-sided commensurable ends.

Significance. If the constructions hold, the result gives a clean characterization of ℓ²-asymmetry for nilpotents and supplies the first Bernoulli schemes over amenable groups with the stated asymmetric ergodicity properties. The skewed Følner mechanism is a new tool that separates left and right actions despite unitary equivalence of the regular representations, with robustness shown for additional amenable classes.

major comments (2)

[Proof of the main equivalence for nilpotents] The existence and construction of left schemes for every non-virtually abelian finitely generated nilpotent group (the load-bearing step for the asymmetry direction of the main equivalence) must be verified to succeed uniformly across all nilpotency classes and Hirsch lengths while preserving both summability of left boundaries and displacement under right translation; an inductive argument on the central series is suggested but requires explicit confirmation that no counterexamples arise in higher-step cases.
[Bernoulli schemes section] In the refinement to recurrent left schemes and the Bernoulli constructions, the verification that the left shift is nonsingular and weakly mixing while the right shift is singular must be checked for completeness, including that the recurrent refinement does not inadvertently restore symmetry or violate the summability/displacement properties for the claimed groups.

minor comments (2)

[Introduction] The introduction would benefit from an early concrete example of a left scheme (even a simple one for the Heisenberg group) to illustrate the combination of summable left boundaries and right-translation displacement before the general definitions.
[Preliminaries] Notation for the two Dirichlet spaces (D₂(G,λ) and D₂(G,ρ)) is clear in the abstract but should be restated with a brief reminder of the underlying Hilbert space ℝ^G when first used in the technical sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised concern the uniformity of the left-scheme construction and the completeness of the Bernoulli-scheme verifications. We respond to each below and have revised the manuscript to add explicit details where helpful.

read point-by-point responses

Referee: [Proof of the main equivalence for nilpotents] The existence and construction of left schemes for every non-virtually abelian finitely generated nilpotent group (the load-bearing step for the asymmetry direction of the main equivalence) must be verified to succeed uniformly across all nilpotency classes and Hirsch lengths while preserving both summability of left boundaries and displacement under right translation; an inductive argument on the central series is suggested but requires explicit confirmation that no counterexamples arise in higher-step cases.

Authors: The manuscript constructs left schemes inductively along the lower central series. For a group of nilpotency class c we begin with the abelian quotient by the last nontrivial central term (which admits no left scheme) and lift the scheme using the central extension. Summability of left boundaries is preserved because central elements induce only bounded displacements under right translation, while the required right-displacement property is inherited from the noncommutativity in the extension. The estimates depend only on the finite generating set and the class, hence hold uniformly for arbitrary Hirsch length. The induction closes without additional hypotheses, so no counterexamples appear in higher classes. We have added a short subsection (new Section 3.4) that spells out the inductive step with explicit references to the boundary and displacement lemmas. revision: partial
Referee: [Bernoulli schemes section] In the refinement to recurrent left schemes and the Bernoulli constructions, the verification that the left shift is nonsingular and weakly mixing while the right shift is singular must be checked for completeness, including that the recurrent refinement does not inadvertently restore symmetry or violate the summability/displacement properties for the claimed groups.

Authors: Section 5 constructs the recurrent left scheme by passing to a subsequence of the original Følner sequence whose return times are controlled by the summability condition. The left Bernoulli shift remains nonsingular because the measure is equivalent under left translation (by the summable-boundary property) and is weakly mixing by the standard Bernoulli criterion adapted to the skewed measure. The right shift is singular because the displacement property produces a positive-measure set whose right translates have measure zero. The recurrent refinement inherits both summability and displacement from the original scheme, so asymmetry is preserved. We have expanded the proofs with two additional lemmas that verify these properties explicitly for the recurrent case and added a short paragraph confirming that symmetry is not restored. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation introduces independent geometric objects and proves equivalence from their properties

full rationale

The paper defines left schemes as a new skewed Følner-geometric mechanism combining summability of left boundaries with right-translation displacement, then refines them to recurrent left schemes to construct Bernoulli actions with the stated singularity properties. The central equivalence D₂(G,λ)=D₂(G,ρ) ⇔ G virtually abelian for f.g. nilpotents is derived from the existence and properties of these objects rather than from any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation. The abstract and described proof structure treat the scheme construction as an independent technical step whose success (or failure) directly determines the asymmetry, with no reduction of the claimed result to its own inputs by construction. The extension to wreath products and Baumslag-Solitar groups follows the same pattern. This is a standard non-circular introduction of auxiliary objects to establish a characterization.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim depends on the newly introduced left-scheme mechanism and on standard facts about Følner sequences and unitary equivalence of regular representations; no free parameters are fitted to data.

axioms (2)

standard math Left and right regular representations of a group are unitarily equivalent.
Invoked in the abstract as background for why the Dirichlet spaces might be expected to coincide.
domain assumption Finitely generated nilpotent groups admit Følner sequences with controlled boundary behavior.
Used to define summability of left boundaries in the left-scheme construction.

invented entities (1)

left scheme no independent evidence
purpose: A skewed Følner-geometric mechanism that combines summability of left boundaries with displacement under right translation to detect ℓ²-asymmetry.
Defined in the paper to prove the main theorem and to construct the Bernoulli schemes.

pith-pipeline@v0.9.0 · 5566 in / 1431 out tokens · 61850 ms · 2026-05-13T02:26:35.053827+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

[1]

1997 , publisher=

An introduction to infinite ergodic theory , author=. 1997 , publisher=

work page 1997
[2]

Group cohomology, harmonic functions and the first

Bekka, Mohammed EB and Valette, Alain , journal=. Group cohomology, harmonic functions and the first

work page
[3]

Bekka, Bachir and de la Harpe, Pierre and Valette, Alain , title =

work page
[4]

Bernoulli actions of amenable groups with weakly mixing

Bj. Bernoulli actions of amenable groups with weakly mixing. arXiv preprint arXiv:1808.05991 , year=

work page arXiv
[5]

Ergodicity and type of nonsingular

Bj. Ergodicity and type of nonsingular. Inventiones mathematicae , volume=

work page
[6]

Cheeger, Jeff and Gromov, Mikhael , journal=. L\(_

work page
[7]

2001 , publisher=

Groups with the Haagerup property: Gromov’s a-T-menability , author=. 2001 , publisher=

work page 2001
[8]

Topology and its Applications , volume=

On the space of ends of infinitely generated groups , author=. Topology and its Applications , volume=

work page
[9]

Weak mixing for nonsingular

Danilenko, Alexandre , journal=. Weak mixing for nonsingular

work page
[10]

Groups, Geometry, and Dynamics , volume=

Mixing, malnormal subgroups and cohomology in degree one , author=. Groups, Geometry, and Dynamics , volume=

work page
[11]

Geometric Group Theory, Volume 2 , series =

Mikhail Gromov , title =. Geometric Group Theory, Volume 2 , series =. 1993 , pages =

work page 1993
[12]

Philip Hall , title =

work page
[13]

2022 , publisher=

Amenability of discrete groups by examples , author=. 2022 , publisher=

work page 2022
[14]

Annals of Mathematics , volume=

On equivalence of infinite product measures , author=. Annals of Mathematics , volume=

work page
[15]

2016 , edition =

Kerr, David and Li, Hanfeng , title =. 2016 , edition =

work page 2016
[16]

Studia Mathematica , volume=

Proving ergodicity via divergence of time averages , author=. Studia Mathematica , volume=

work page
[17]

2011 , publisher=

Ergodic theorems , author=. 2011 , publisher=

work page 2011
[18]

Kyed, David and Petersen, Henrik and Vaes, Stefaan , journal=. L\(^

work page
[19]

Dimension theory of arbitrary modules over finite von

Wolfgang Lück , pages =. Dimension theory of arbitrary modules over finite von. Journal für die reine und angewandte Mathematik , year =

work page
[20]

MathOverflow , howpublished =

work page
[21]

Transactions of the American Mathematical Society , volume=

Logspace and compressed-word computations in nilpotent groups , author=. Transactions of the American Mathematical Society , volume=

work page
[22]

On the first

Martin, Florian and Valette, Alain , journal=. On the first

work page
[23]

Inventiones mathematicae , volume=

Group cocycles and the ring of affiliated operators , author=. Inventiones mathematicae , volume=

work page
[24]

Scott, Peter and Wall, C. T. C. , title =. Homological group theory , series =

work page
[25]

2005 , publisher=

Polycyclic groups , author=. 2005 , publisher=

work page 2005
[26]

Bernoulli actions of type \(

Vaes, Stefaan and Wahl, Jonas , journal=. Bernoulli actions of type \(

work page