Anosov actions: minimality of foliations or suspension action

Carlos Maquera; R\'egis Var\~ao; Rodrigo R. Lopes

REVIEW 5 major objections 6 minor 8 references

Anosov actions: minimality of foliations or suspension action

T0 review · 5 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves a dichotomy for Anosov actions of $\mathbb{R}^k$ on compact manifolds transitive by regular subcones: either every strong stable and strong unstable leaf is dense, or the action is topologically conjugate to a suspension…

desk verdict A plausible and important dichotomy for Anosov R^k-actions, but Proposition 3.3 is dimensionally impossible in the suspension case it needs to cover. read the letter →

arxiv 2505.24598 v1 pith:4Z6AWRFO submitted 2025-05-30 math.DS

Rodrigo R. Lopes , Carlos Maquera , Régis Varão This is my paper

classification math.DS MSC 37D3037D2037C85

keywords AnosovactionsregularsubconesminimalfoliationssuspensionZ^k-Anosovsimultaneousintegrabilitynon-wanderingsethigher-rankabelian

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves a structural dichotomy for Anosov actions of $\mathbb{R}^k$ on compact connected manifolds under the hypothesis of transitivity by regular subcones: either every strong stable leaf and every strong unstable leaf is dense in $M$, or the action is topologically conjugate to the suspension of a $\mathbb{Z}^k$-Anosov action on a compact manifold of dimension $\dim M - k$. The result transplants the classical alternative for Anosov flows to higher-rank abelian actions, where orbits have dimension $k$ and the hyperbolic foliations can be higher-dimensional. It also advances the extended conjecture for codimension-one Anosov actions, because those actions are already known to satisfy the subcone transitivity hypothesis. The practical upshot is that non-density of a leaf is not a local defect: it forces a global fibration over the $k$-torus and an algebraic suspension model.

What carries the argument

Three tools carry the proof. A regular subcone is an open connected cone contained in a connected component of the set of Anosov elements, meaning time directions for which the time map is uniformly hyperbolic; the action is transitive by regular subcones when each such cone has a dense orbit. That hypothesis, together with the closing lemma, makes compact orbits dense in the non-wandering set $\Omega(S)$ of every regular subcone $S$, which is the entry point for all recurrence arguments. If a strong leaf is not dense at some periodic point, a Zorn-lemma argument builds a minimal $F^{uu}$-saturated set and then partitions $M$ into translates of that leaf indexed by a compact orbit, producing a continuous projection to $T^k$. The final step is simultaneous integrability of $F^{uu}$ and $F^{ss}$: when a strong leaf is not dense, this integrability holds, and it promotes the topological partition into a $C^1$ fibration whose leaves are tangent to $E^{ss}\oplus E^{uu}$, so the action is a genuine suspension.

What would settle it

A concrete way to test Theorem A is to construct an Anosov $\mathbb{R}^k$-action that satisfies the regular-subcone transitivity condition and has a strong unstable leaf whose closure is a proper subset of $M$; if that closure is not a compact fiber of a fibration over $T^k$ and the action is not topologically conjugate to a suspension over $\mathbb{Z}^k$, the dichotomy fails.

Watch

Extended reading notes

Core claim

The central claim is an either/or statement. Let $\varphi:\mathbb{R}^k\times M\to M$ be an Anosov action that is transitive by regular subcones. Then either each strong unstable leaf and each strong stable leaf is dense in $M$, or $\varphi$ is topologically conjugated to a suspension of a $\mathbb{Z}^k$-Anosov action on a compact manifold of dimension $\dim M-k$. In the second case the manifold fibers over the torus $T^k$, the fibers are compact and tangent to the simultaneously integrable distribution $E^{ss}\oplus E^{uu}$, and the action is exactly the suspension of the lattice action on the fiber. The proof shows that if one strong leaf is not dense, the second case must hold, so the two alternatives are exhaustive and exclude any intermediate behavior.

Load-bearing premise

The load-bearing premise is that the action is transitive by regular subcones: for every open cone of time directions inside a component of Anosov elements, some orbit is dense, which forces the non-wandering set of that cone to be the whole manifold and compact orbits to be dense there.

Editorial extensions

If this is right

For codimension-one Anosov $\mathbb{R}^k$-actions on manifolds of dimension at least $k+3$, the dichotomy applies directly because such actions are transitive by regular subcones.
In the non-minimal case, $M$ admits a global fibration over the $k$-torus with fibers transverse to the action, giving the cross-section structure that is the natural route to the extended conjecture.
If any single strong stable or strong unstable leaf is not dense, then the whole action is a suspension; no mixed behavior is possible.
The fiber in the suspension branch is a compact manifold of dimension $\dim M-k$ carrying a $\mathbb{Z}^k$-Anosov action, so the action is fully described by a lower-dimensional hyperbolic lattice action.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A testable extension is to replace transitivity by regular subcones with the weaker hypothesis that the non-wandering set of a single regular subcone is the whole manifold, since the proof's recurrent input is compact orbits being dense in $\Omega(S)$.
The simultaneous-integrability step suggests that the topological partition from the paper's Proposition 3.4 is the only possible obstruction; a purely topological proof that this partition is a fibration would remove the differential argument and might apply to Lipschitz actions.
In the minimal branch, density holds for all leaves, not just for a transitive orbit; this leafwise minimality is stronger than action transitivity and could feed into rigidity results for higher-rank abelian actions.
Iterating the suspension branch on the fiber would reduce the dimension by $k$ each time, potentially giving an inductive classification of non-minimal Anosov $\mathbb{R}^k$-actions.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: the paper aims at the right question, and Theorem A genuinely extends the Anosov alternative from flows to higher-rank abelian actions. The writing is clear, the statement is meaningful, and the authors are honest about importing the transitivity-by-subcones hypothesis from Barbot and Maquera rather than proving it. That part is fine; published prior results are legitimate support. What is not fine is the main proof.

The load-bearing step is Proposition 3.3, where M is asserted to be the disjoint union of F^uu(q) over q in the compact orbit O_p. But that union is exactly the weak unstable leaf F^u(p), an immersed submanifold of dimension k + d_uu. When d_ss > 0, this cannot equal the whole manifold. The model case is a suspension of an Anosov diffeomorphism of T^2: the strong unstable leaves are dense in their 2D fibers, but the union over the circle orbit is a 2D weak unstable leaf, not the 3D manifold. The proof jumps from density or from Proposition 3.1 to equality, and that jump is invalid. Proposition 3.4 then defines a projection to T^k using this false decomposition, so the fibration and the suspension conclusion do not follow. Proposition 3.7's contradiction is asserted rather than demonstrated.

These are not cosmetic gaps. They are load-bearing: the second alternative of Theorem A rests on them. The theorem may be true, and the approach may be salvageable, but this version does not establish it. I also note that the union in Proposition 3.3 is not shown to be a partition; even if it covered M, the argument that translates of K are disjoint is not carried out.

Who should read this? Researchers working on Anosov actions and foliation dynamics. The question is important, the exposition is readable, and the partial result on density of weak leaves is useful. But I would not cite Theorem A as proven. A serious referee should see this paper because the topic matters and the flaw is specific and checkable, not because the proof currently works. I would send it to a knowledgeable referee with an explicit request to examine Proposition 3.3 first; expect major revision or substantial reworking of the argument.

Referee Report

5 major / 6 minor

Summary. The paper claims a dichotomy for transitive Anosov actions of R^k on compact manifolds, satisfying a regularity/transitivity condition on subcones: either every strong stable and strong unstable leaf is dense, or the action is topologically conjugate to a suspension of a Z^k-Anosov action. The proof strategy is to establish density of weak leaves, reduce strong-leaf density to periodic points, then, if a strong leaf is not dense, construct a fibration over T^k whose fibers are the strong leaves and conclude that the action is a suspension. The argument relies heavily on results of Barbot and Maquera, especially Theorem 2.11, which supplies transitivity for codimension-one Anosov actions.

Significance. If Theorem A were correct, it would be a substantial generalization of Anosov's alternative for flows to higher-rank abelian actions and a meaningful step toward the Barbot-Maquera version of Verjovsky's conjecture. The paper also usefully assembles several definitions and background results from the Anosov-actions literature, and it identifies the right type of statement to aim for. However, the central proof contains a dimension obstruction in Proposition 3.3 that makes the claimed dichotomy impossible in the very suspension regime the theorem is intended to cover; subsequent propositions do not repair this gap. The manuscript does not provide machine-checked proofs or reproducible code, and the novel arguments are not sufficiently developed to support the main theorem.

major comments (5)

[§3.2, Proposition 3.3] The asserted decomposition M = ⋃_{q∈O_p} F^uu(q), with O_p compact, is dimensionally impossible when the strong stable bundle is nontrivial. Since dim O_p = k and dim F^uu = d_uu, the union is contained in the image of O_p × F^uu(p) under the continuous action map, so its topological dimension is at most k+d_uu. By Definition 2.1, dim M = k + d_ss + d_uu, so if d_ss > 0 the union cannot equal M. A concrete counterexample is the suspension of a transitive Anosov diffeomorphism of T^2: here k=1, d_ss=d_uu=1, and the union of strong-unstable leaves through a compact orbit is dense but has dimension 2 in a 3-manifold. The same obstruction applies to the F^ss version. This invalidates Proposition 3.3 and therefore the fibration and suspension conclusions in Propositions 3.4 and §3.4.
[§3.2, Proposition 3.4] The projection π:M→T^k is not well-defined as written. The formula π(ϕ(t_1v_1+...+t_kv_k,x)) = (t_1 mod 1, ..., t_k mod 1) depends on the choice of representative (t,x), because x is an arbitrary point of F^uu(q) for some q=ϕ(s_1v_1+...+s_kv_k,p); under the action, ϕ(t·v,x) lies in F^uu(ϕ((t+s)·v,p)), so the base coordinate should involve t+s mod 1 rather than t alone. The proof also gives no argument for continuity, surjectivity, local triviality, or the claim that the fibers are exactly K=F^uu(p). Thus Proposition 3.4 does not establish that M is fibered over T^k.
[§3.1, Proposition 3.1] The step 'L∩N_δ(z) is contained in F^u_S(x)' is not justified. From y∈L∩N_δ(z) and w∈F^ss(y)∩F^u(z), the text concludes that ϕ_{nv}(w)→y, but this only places y in the closure of the F^u_S-orbit segment, not in F^u_S(x). The subsequent inference that density of compact orbits forces N_δ(z)⊂F^u_S(x), and hence F^u_S(x)=M by connectivity, is therefore a non sequitur. Since the density of weak leaves is used later in Proposition 3.3, this gap is load-bearing.
[§3.3, Proposition 3.6] The proof that simultaneous integrability of F^uu and F^ss implies integrability of E^ss⊕E^uu is incomplete. The coordinate map ψ is constructed only on charts centered at periodic points p∈Per(S), and no argument is given that the density of Per(S) turns the resulting local charts into a C^1 foliation atlas on all of M. The assertion that the discs V(p,δ/2) are invariant under the regular subcone S is also stated without proof. Since this proposition is used in §3.4 to give the fiber K a manifold structure, the missing steps are essential.
[§3.3, Proposition 3.7] The statement 'each ϕ_{nv_i}, n∈Z, leaves invariant each fiber' is inaccurate if 'fiber' means K=F^uu(p): the map ϕ_{nv_i} sends K to the strong-unstable leaf through ϕ_{nv_i}(p), which is generally a different fiber in the decomposition of Proposition 3.3. The subsequent saturation argument for F^ss and the contradiction involving ϕ(t_1v_1+...+t_kv_k,K)∩K need a correct invariance statement. As written, the proof does not establish simultaneous integrability.

minor comments (6)

[Abstract] There is a typo: 'folia tions' should be 'foliations'.
[§2.2] The name 'Hisch-Pugh-Shub' should be 'Hirsch-Pugh-Shub'.
[§2.2, equation (1)] The notation 'e F^u(p)' contains a stray 'e'; it should read 'F^u(p)'.
[§2.2, Definition 2.8] The condition ||v||>1 presumes a norm on R^k; the norm should be specified or replaced by a condition that v does not lie in a fixed neighborhood of 0.
[§3.3, heading] The heading 'Simultaneaous integrability' has a typo; it should be 'Simultaneous integrability'.
[§3.2, Proposition 3.4] The proof ends immediately after defining π, with no verification that π is well-defined or continuous; this is a formal incompleteness even if the intended construction were correct.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the dichotomy is conditional on an explicit transitivity hypothesis and the self-citations are to external published lemmas, not to the target theorem.

full rationale

The derivation of Theorem A does not define its conclusion into its assumptions. The paper assumes transitivity by regular subcones (Definition 2.10) and uses Katok–Spatzier's Closing Lemma and Barbot–Maquera's results as external tools; even the codimension-one transitivity claim (Theorem 2.11) instantiates the hypothesis rather than proving the dichotomy. Propositions 3.1–3.7 attempt a genuine reduction: from a non-dense strong leaf they try to construct a fibration over T^k. The proof's critical step, Proposition 3.3, is mathematically suspect — a union of d_uu-dimensional strong-unstable leaves over a k-dimensional compact orbit has dimension at most k+d_uu and cannot equal M when d_ss>0 — but this is a correctness gap, not circularity, because the asserted equality is stronger than, and not equivalent to, the density supplied by Proposition 3.1. The paper itself acknowledges that Proposition 3.4 is preliminary because the fiber lacks a manifold structure. The self-citations (Barbot–Maquera [2,3,4]) overlap with one of the authors and are load-bearing for the intended Verjovsky application, but they are published results with independent proofs rather than restatements of Theorem A. Hence the circularity score is minimal.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities appear; this is a pure mathematics paper. The central claim rests on several nontrivial imported theorems, mainly from Barbot-Maquera, Katok-Spatzier, and Hirsch-Pugh-Shub, plus unproved structural claims inside the proof about fiber bundles and simultaneous integrability.

assumptions (4)

domain assumption Anosov actions have local product structure (Theorem 2.3)
Invoked in Propositions 3.1, 3.2, and 3.7; imported from Barbot-Maquera's prior work.
domain assumption Barbot-Maquera transitivity theorem: every codimension-one Anosov action of R^k on a manifold of dimension greater than k+2 is transitive by regular subcones
Cited as Theorem 2.11; used to connect the main theorem to the intended Verjovsky conjecture setting, but not proved in this paper.
domain assumption Katok-Spatzier closing lemma for Anosov actions
Theorem 2.4 is used to find periodic points and Anosov elements in regular subcones.
domain assumption Hirsch-Pugh-Shub theory: stable and unstable subbundles are Holder continuous, integrable, and absolutely continuous
Used as the foundation for the foliations F^ss, F^uu, F^s, and F^u, cited to [5].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Anosov actions: minimality of foliations or suspension action." pith.science (2026). https://pith.science/paper/4Z6AWRFO

@misc{pith2026250524598,
  author       = {Pith},
  title        = {Pith review of: Anosov actions: minimality of foliations or suspension action},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4Z6AWRFO}},
  note         = {Machine review of arXiv:2505.24598}
}

abstract

We prove that an Anosov action of $\mathbb{R}^k$ over a compact manifold $M$ transitive on regular sub-cones satisfies the dichotomy: each stable and unstable leaf is dense or the Anosov action is topologically conjugated to a suspension of a $\mathbb{Z}^k$-Anosov action. This represents an important progress toward addressing Verjovsky's extended conjecture for Anosov actions, as developed by Barbot and Maquera.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

D. V. Anosov.Geodesic flows on closed Riemann manifolds with negative curvature. Proceedings of the Steklov Institute of Mathematics, No. 90 (1967). Translated from the Russian by S. Feder. American Mathematical Society, Providence, R.I., 1969

work page 1967
[2]

On integrable codimension one Anosov actions ofR k.Discrete Contin

Thierry Barbot and Carlos Maquera. On integrable codimension one Anosov actions ofR k.Discrete Contin. Dyn. Syst., 29(3):803–822, 2011

work page 2011
[3]

Transitivity of codimension-one Anosov actions ofR k on closed manifolds.Ergodic Theory and Dynamical Systems, 31(01):1–22, 2011

Thierry Barbot and Carlos Maquera. Transitivity of codimension-one Anosov actions ofR k on closed manifolds.Ergodic Theory and Dynamical Systems, 31(01):1–22, 2011

work page 2011
[4]

Nil-Anosov actions.Math

Thierry Barbot and Carlos Maquera. Nil-Anosov actions.Math. Z., 287(3-4):1279– 1305, 2017

work page 2017
[5]

M. W. Hirsch, C. C. Pugh, and M. Shub. Invariant manifolds.Bull. Amer. Math. Soc., 76:1015–1019, 1970

work page 1970
[6]

Anatole Katok and Ralf J Spatzier. First cohomology of Anosov actions of higher rank abelian groups and applications to rigidity.Publications Math´ ematiques de l’Institut des Hautes ´Etudes Scientifiques, 79(1):131–156, 1994

work page 1994
[7]

Anosov flows.American Journal of Mathematics, 94(3):729–754, 1972

Joseph F Plante. Anosov flows.American Journal of Mathematics, 94(3):729–754, 1972

work page 1972
[8]

Ergodicity of Anosov actions.Inventiones mathemat- icae, 15(1):1–23, 1972

Charles Pugh and Michael Shub. Ergodicity of Anosov actions.Inventiones mathemat- icae, 15(1):1–23, 1972. DAMAT, UTFPR, Pato Branco-PR, Brazil. Email address:rodrigorlopes@utfpr.edu.br Departamento de Matem´atica, ICMC - USP, S ˜ao Carlos-SP, Brazil. Email address:cmaquera@icmc.usp.br Departamento de Matem´atica, Estat´ıstica e Computac ¸˜ao Cient´ıfica, ...

work page 1972

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

D. V. Anosov.Geodesic flows on closed Riemann manifolds with negative curvature. Proceedings of the Steklov Institute of Mathematics, No. 90 (1967). Translated from the Russian by S. Feder. American Mathematical Society, Providence, R.I., 1969

work page 1967

[2] [2]

On integrable codimension one Anosov actions ofR k.Discrete Contin

Thierry Barbot and Carlos Maquera. On integrable codimension one Anosov actions ofR k.Discrete Contin. Dyn. Syst., 29(3):803–822, 2011

work page 2011

[3] [3]

Transitivity of codimension-one Anosov actions ofR k on closed manifolds.Ergodic Theory and Dynamical Systems, 31(01):1–22, 2011

Thierry Barbot and Carlos Maquera. Transitivity of codimension-one Anosov actions ofR k on closed manifolds.Ergodic Theory and Dynamical Systems, 31(01):1–22, 2011

work page 2011

[4] [4]

Nil-Anosov actions.Math

Thierry Barbot and Carlos Maquera. Nil-Anosov actions.Math. Z., 287(3-4):1279– 1305, 2017

work page 2017

[5] [5]

M. W. Hirsch, C. C. Pugh, and M. Shub. Invariant manifolds.Bull. Amer. Math. Soc., 76:1015–1019, 1970

work page 1970

[6] [6]

Anatole Katok and Ralf J Spatzier. First cohomology of Anosov actions of higher rank abelian groups and applications to rigidity.Publications Math´ ematiques de l’Institut des Hautes ´Etudes Scientifiques, 79(1):131–156, 1994

work page 1994

[7] [7]

Anosov flows.American Journal of Mathematics, 94(3):729–754, 1972

Joseph F Plante. Anosov flows.American Journal of Mathematics, 94(3):729–754, 1972

work page 1972

[8] [8]

Ergodicity of Anosov actions.Inventiones mathemat- icae, 15(1):1–23, 1972

Charles Pugh and Michael Shub. Ergodicity of Anosov actions.Inventiones mathemat- icae, 15(1):1–23, 1972. DAMAT, UTFPR, Pato Branco-PR, Brazil. Email address:rodrigorlopes@utfpr.edu.br Departamento de Matem´atica, ICMC - USP, S ˜ao Carlos-SP, Brazil. Email address:cmaquera@icmc.usp.br Departamento de Matem´atica, Estat´ıstica e Computac ¸˜ao Cient´ıfica, ...

work page 1972