Expansiveness of vertical subgroups of the Heisenberg group

Micha{\l} Prusik

arxiv: 2604.03100 · v1 · submitted 2026-04-03 · 🧮 math.DS

Expansiveness of vertical subgroups of the Heisenberg group

Micha{\l} Prusik This is my paper

Pith reviewed 2026-05-13 18:03 UTC · model grok-4.3

classification 🧮 math.DS

keywords expansivenessHeisenberg groupvertical subgroupscontinuous actionscompact metric spacesdynamical systemsnilpotent groups

0 comments

The pith

For infinite compact spaces the center of the Heisenberg group cannot be expansive, yet at least one 2D vertical subgroup is always nonexpansive.

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

The paper transfers Boyle-Lind expansiveness ideas from Z^D actions to continuous actions of the discrete Heisenberg group on compact metric spaces by embedding the group into the continuous (2D+1)-dimensional Heisenberg group H. It proves that whenever the space X is infinite, the center of H fails to be expansive. It further shows that among all 2D-dimensional vertical subgroups of H there is always at least one that is nonexpansive. This supplies concrete obstructions when classifying expansive subsets for nilpotent group actions.

Core claim

By embedding any continuous action of the discrete Heisenberg group into the continuous Heisenberg group H, the center of H is shown to be nonexpansive whenever the underlying space is infinite, and at least one 2D-dimensional vertical subgroup is shown to be nonexpansive.

What carries the argument

Vertical subgroups of the continuous Heisenberg group H, which isolate directions in the embedded action and allow expansiveness to be checked coordinate-wise.

Load-bearing premise

The embedding of the discrete Heisenberg action into the continuous Heisenberg group preserves expansiveness along distinguished subsets.

What would settle it

An explicit infinite compact metric space carrying a continuous Heisenberg group action whose embedding makes the center expansive or makes every 2D vertical subgroup expansive.

read the original abstract

In the paper we study expansiveness along distinguished subsets in the case of a continuous action of the discrete Heisenberg group on a compact metric space $(\mathbb X,\rho)$. Transferring the ideas proposed by Boyle and Lind for continuous actions of $\mathbb{Z}^D$, we embed the acting group in the (continuous) $(2D+1)$-dimensional Heisenberg group $\mathcal H$ and define expansive subsets of $\mathcal H$. We focus on the expansiveness of vertical subgroups of the Heisenberg group. In particular, we show that, if only the space $\mathbb X$ is infinite, the center of $\mathcal H$ cannot be expansive, and that there always exists at least one nonexpansive $2D$-dimensional vertical subgroup.

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 gives concrete results that the center of the Heisenberg group is never expansive for infinite spaces and that a nonexpansive 2D vertical subgroup always exists, by embedding the discrete action into the continuous group.

read the letter

The main takeaway is that for any continuous action of the discrete Heisenberg group on an infinite compact metric space, the center cannot be expansive and there is always at least one nonexpansive 2D vertical subgroup. They reach this by embedding the discrete group into the continuous Heisenberg group H and carrying over the Boyle-Lind notion of expansive subsets to this setting. The claims are specific and new relative to the abelian Z^D literature they cite. The work does a clean job of stating the definitions and deriving the two targeted statements without extra claims about wider applications. The logic appears to follow from the embedding once expansiveness along subsets is defined in H. The potential soft spot is whether the embedding fully preserves the uniform separation of points along vertical directions when the group law is non-commutative. The center acts trivially in many such actions, so distances along it could behave differently than in the commuting case; the paper needs to show explicitly that limits of discrete words do not distort the metric in a way that breaks the non-expansiveness argument. If the derivations handle this transfer, the results stand. This is for readers working on expansive actions of nilpotent groups or extensions of Z^D dynamics. It is narrow but technically grounded, so a serious referee should see it to check the embedding details and the proofs of the two main statements. I would send it to review.

Referee Report

2 major / 2 minor

Summary. The paper studies expansiveness along distinguished subsets for continuous actions of the discrete Heisenberg group on a compact metric space (X, ρ). It embeds the discrete acting group into the continuous (2D+1)-dimensional Heisenberg group H, transfers Boyle-Lind ideas from Z^D actions, and defines expansive subsets of H. The central claims are that if X is infinite then the center of H cannot be expansive, and that there always exists at least one nonexpansive 2D-dimensional vertical subgroup.

Significance. If the embedding preserves expansiveness properties, the results extend Boyle-Lind criteria to non-abelian nilpotent groups and clarify when vertical subgroups (including the center) fail to be expansive. This would be of moderate significance for symbolic dynamics and group actions on compact spaces, particularly in distinguishing abelian versus non-commutative cases.

major comments (2)

[Introduction and §3 (embedding construction)] The central claims rest on the embedding of the discrete Heisenberg action into continuous H preserving expansiveness along vertical subgroups (including the center). Because H is non-abelian, the group law on vertical subgroups does not commute with discrete generators in the same way as in Z^D; an explicit verification is needed that the continuous extension respects uniform metric separation d(x, v·x) for v in the center or other vertical subgroups when elements are limits of discrete words. This is load-bearing for both main theorems.
[Theorem on the center (likely §4)] The claim that the center cannot be expansive whenever X is infinite is stated in the abstract but the derivation from the Boyle-Lind transfer is not detailed enough to confirm it survives the non-commutativity; a concrete counter-example or metric estimate showing collapse of separation along the center direction is required.

minor comments (2)

[§2] Notation for the Heisenberg group law and the embedding map should be introduced with explicit formulas early in the paper to avoid ambiguity when discussing vertical subgroups.
[Introduction] The abstract mentions 'transferring the ideas proposed by Boyle and Lind' but the precise statement of the Boyle-Lind theorem being transferred is not quoted; adding a short recalled statement would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major point below and will revise the paper to strengthen the presentation of the embedding and the center theorem.

read point-by-point responses

Referee: [Introduction and §3 (embedding construction)] The central claims rest on the embedding of the discrete Heisenberg action into continuous H preserving expansiveness along vertical subgroups (including the center). Because H is non-abelian, the group law on vertical subgroups does not commute with discrete generators in the same way as in Z^D; an explicit verification is needed that the continuous extension respects uniform metric separation d(x, v·x) for v in the center or other vertical subgroups when elements are limits of discrete words. This is load-bearing for both main theorems.

Authors: We agree that the non-commutativity requires an explicit verification that the embedding preserves the relevant separation properties. The current §3 constructs the embedding via the natural inclusion of the discrete Heisenberg group into the continuous H and invokes continuity of the action, but does not spell out the uniform metric estimate for limits of discrete words. In the revision we will add a dedicated lemma that directly estimates d(x, v·x) for v in the center and other vertical subgroups, showing that the separation is controlled by the corresponding discrete-word approximations and the nilpotent group law. revision: yes
Referee: [Theorem on the center (likely §4)] The claim that the center cannot be expansive whenever X is infinite is stated in the abstract but the derivation from the Boyle-Lind transfer is not detailed enough to confirm it survives the non-commutativity; a concrete counter-example or metric estimate showing collapse of separation along the center direction is required.

Authors: We accept that the derivation in §4 would be clearer with an explicit metric estimate. The existing argument transfers the Boyle-Lind criterion but relies on the reader to see how the central commutators force collapse of separation when X is infinite. In the revision we will insert a short proposition that supplies a concrete estimate: for any ε>0 and any infinite compact X, there exist x,y with ρ(x,y)<ε such that the orbit separation under central elements is bounded by a quantity that tends to zero along sequences of central elements, contradicting expansiveness. This estimate uses only the continuity of the action and the fact that central elements commute with everything while the discrete generators do not. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation follows directly from definitions of expansiveness and group embedding

full rationale

The paper defines expansive subsets of the continuous Heisenberg group H by transferring Boyle-Lind criteria for Z^D actions via an explicit embedding of the discrete Heisenberg group into H that preserves the continuous action on the compact metric space X. The central results—that the center is non-expansive whenever X is infinite, and that a nonexpansive 2D-dimensional vertical subgroup always exists—are obtained by direct verification using the group law and metric separation properties along those subgroups. No step reduces a prediction to a fitted parameter by construction, invokes a self-citation as the sole justification for a uniqueness or ansatz claim, or renames a known result as a new derivation. The embedding is constructed to respect the original action, and the non-expansiveness statements follow from the fact that the center acts trivially in many such actions combined with infiniteness of X, without circular self-reference.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The results rest on the standard structure of the Heisenberg group, the definition of vertical subgroups, and the assumption that the Boyle-Lind embedding technique transfers directly to this setting without additional verification.

axioms (1)

domain assumption Continuous actions of the discrete Heisenberg group embed into the continuous (2D+1)-dimensional Heisenberg group H while preserving expansiveness along distinguished subsets.
The paper transfers ideas proposed by Boyle and Lind for Z^D actions via this embedding.

pith-pipeline@v0.9.0 · 5413 in / 1212 out tokens · 49603 ms · 2026-05-13T18:03:53.699590+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

Bonfiglioli, E

A. Bonfiglioli, E. Lanconelli and F. Uguzzoni,Stratified Lie groups and potential theory for their sub-Laplacians, Springer Monogr. Math., 2007

work page 2007
[2]

Boyle and D

M. Boyle and D. Lind,Expansive Subdynamics, Trans. Amer. Math. Soc., Vol. 349, No. 1 (Jan., 1997), pp. 55-102

work page 1997
[3]

Le Donne and S

E. Le Donne and S. RigotBesicovitch Covering Property on graded groups and applications to measure differentiation, J. Reine Angew. Math., vol. 2019, no. 750, 2019, pp. 241-297. 16 M. PRUSIK

work page 2019
[4]

Milnor,Directional Entropies of Cellular Automaton-Maps, In: Bienenstock, E., Soulié, F.F., Weisbuch, G

J. Milnor,Directional Entropies of Cellular Automaton-Maps, In: Bienenstock, E., Soulié, F.F., Weisbuch, G. (eds) Disordered Systems and Biological Organization. NATO ASI Series, vol 20. Springer, 1986

work page 1986
[5]

Hochman,On the dynamics and recursive properties of multidimensional sym- bolic systems

M. Hochman,On the dynamics and recursive properties of multidimensional sym- bolic systems. Invent. Math. 176, 131–167 (2009) F aculty of Pure and Applied Mathematics, Wrocla w University of Sci- ence and Technology, Wybrzeże Wyspiańskiego 27, 50-370 Wrocła w Poland Email address:michal.prusik@pwr.edu.pl

work page 2009

[1] [1]

Bonfiglioli, E

A. Bonfiglioli, E. Lanconelli and F. Uguzzoni,Stratified Lie groups and potential theory for their sub-Laplacians, Springer Monogr. Math., 2007

work page 2007

[2] [2]

Boyle and D

M. Boyle and D. Lind,Expansive Subdynamics, Trans. Amer. Math. Soc., Vol. 349, No. 1 (Jan., 1997), pp. 55-102

work page 1997

[3] [3]

Le Donne and S

E. Le Donne and S. RigotBesicovitch Covering Property on graded groups and applications to measure differentiation, J. Reine Angew. Math., vol. 2019, no. 750, 2019, pp. 241-297. 16 M. PRUSIK

work page 2019

[4] [4]

Milnor,Directional Entropies of Cellular Automaton-Maps, In: Bienenstock, E., Soulié, F.F., Weisbuch, G

J. Milnor,Directional Entropies of Cellular Automaton-Maps, In: Bienenstock, E., Soulié, F.F., Weisbuch, G. (eds) Disordered Systems and Biological Organization. NATO ASI Series, vol 20. Springer, 1986

work page 1986

[5] [5]

Hochman,On the dynamics and recursive properties of multidimensional sym- bolic systems

M. Hochman,On the dynamics and recursive properties of multidimensional sym- bolic systems. Invent. Math. 176, 131–167 (2009) F aculty of Pure and Applied Mathematics, Wrocla w University of Sci- ence and Technology, Wybrzeże Wyspiańskiego 27, 50-370 Wrocła w Poland Email address:michal.prusik@pwr.edu.pl

work page 2009