pith. sign in

arxiv: 1906.11448 · v1 · pith:GMA56QQ2new · submitted 2019-06-27 · 🧮 math.DS

Free {Bbb Z}^p-actions on the three dimensional torus

Eduardo Fierro Morales , Richard Urz\'ua-Luz This is my paper

Pith reviewed 2026-05-25 14:50 UTC · model grok-4.3

classification 🧮 math.DS
keywords free Z^p actionsthree-torusanalytic diffeomorphismsLefschetz fixed point theoremhomology actionsspectrally unitaryfixed-point-free actions
0
0 comments X

The pith

Spectrally unitary Z^p-actions on H1(T^3,Z) with trivial fixed set are realized by free real analytic diffeomorphisms of the 3-torus.

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

The paper establishes that the Lefschetz fixed point theorem is sharp for Z^p-actions by homeomorphisms on T^3 when p is at least 2. It proves that any spectrally unitary action on the first homology with no fixed points can be realized exactly by a free action of real analytic diffeomorphisms inducing the same action on homology. This gives a complete algebraic criterion for the existence of fixed-point-free analytic actions and supplies a normal form. A reader cares because it converts an algebraic obstruction into a geometric construction on a concrete manifold.

Core claim

For each natural p greater than or equal to 2, if A is a spectrally unitary Z^p-action on H1(T^3, Z) with trivial fixed point set, then there exists a free Z^p-action by real analytic diffeomorphisms of T^3 whose induced action on H1(T^3, Z) is exactly A. This also establishes the normal form for such actions.

What carries the argument

The spectrally unitary Z^p-action A on H1(T^3, Z) with trivial fixed-point set, which serves as the algebraic input that is realized geometrically by free real analytic diffeomorphisms on T^3.

Load-bearing premise

The given algebraic conditions on the action (spectrally unitary with trivial fixed set) are sufficient to produce a free analytic diffeomorphism action realizing it on the torus.

What would settle it

An explicit spectrally unitary Z^p-action on H1(T^3, Z) with trivial fixed set for which no free real analytic diffeomorphism action on T^3 induces that same action on homology.

read the original abstract

We show that for each natural $p\geq 2$, the Lefschetz fixed point theorem is optimal when applied to ${\Bbb Z}^{p}$-actions by homeomorphisms on the three dimensional torus ${\Bbb T}^3$. More precisely, we show that for a spectrally unitary ${\Bbb Z}^p$-action ${\bf A}$ on the first homology group $H_1({\Bbb T}^3,{\Bbb Z})$ with trivial fixed point set, there exists a free ${\Bbb Z}^p$-action by real analytic diffeomorphisms of ${\Bbb T}^3$ whose induced ${\Bbb Z}^p$-action on $H_1({\Bbb T}^3,{\Bbb Z})$ is the action ${\bf A}$. In particular, we establish the normal form for this type of actions.

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.

Referee Report

0 major / 3 minor

Summary. The paper claims that for each natural number p ≥ 2, the Lefschetz fixed-point theorem is optimal for ℤ^p-actions by homeomorphisms on the 3-torus T^3. Precisely: given any spectrally unitary ℤ^p-action A on H_1(T^3, ℤ) with trivial fixed-point set, there exists a free ℤ^p-action by real-analytic diffeomorphisms of T^3 that induces exactly the action A on homology. The manuscript supplies an explicit construction realizing this algebraic data and establishes a normal form for such actions.

Significance. If the central existence result holds, the paper gives a sharp algebraic criterion (spectral unitarity plus trivial fixed-point set on homology) that is both necessary (by Lefschetz) and sufficient for the geometric realization of free analytic ℤ^p-actions on T^3. This completes the classification problem for such actions in dimension 3 and supplies a concrete normal-form construction, which is a substantive advance in low-dimensional smooth dynamics and rigidity theory.

minor comments (3)
  1. The definition of 'spectrally unitary' is stated in the introduction but would benefit from an explicit matrix-level characterization (e.g., all eigenvalues lie on the unit circle) placed in a preliminary section before the main construction.
  2. Notation for the induced action on homology (bold A versus script A) is used inconsistently in a few places; a single global convention should be adopted.
  3. The normal-form statement in the final section would be clearer if accompanied by a short table listing the possible Jordan-block structures compatible with spectral unitarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for recommending acceptance. The report accurately summarizes the main result and its significance.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes an existence result by constructing free analytic diffeomorphisms on T^3 that realize a given spectrally unitary Z^p-action on H1(T^3,Z) with trivial fixed-point set. The algebraic hypotheses are shown necessary via Lefschetz and sufficient via an explicit normal-form construction; no step reduces by definition to its own inputs, no fitted parameters are relabeled as predictions, and no load-bearing self-citation chain is invoked. The central claim therefore rests on independent geometric realization rather than tautological renaming or imported uniqueness.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Pure existence proof in algebraic topology and smooth dynamics; no free parameters, no invented entities. Relies on standard background theorems such as the Lefschetz fixed-point theorem and properties of homology.

axioms (2)
  • standard math Lefschetz fixed-point theorem applies to Z^p-actions by homeomorphisms on T^3
    Invoked to establish optimality of the bound
  • domain assumption Spectrally unitary actions on H1 with trivial fixed set admit geometric lifts
    Central hypothesis of the construction

pith-pipeline@v0.9.0 · 5676 in / 1269 out tokens · 20073 ms · 2026-05-25T14:50:27.469185+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 forcing) echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    Theorem 1: for spectrally unitary Z^p-action A on H_1(T^3,Z) with trivial fixed point set, there exists a free real analytic Z^p-action ϕ on T^3 whose induced action is A. Normal form in Theorem 2 reduces image to Klein four-group with matrices having eigenvalues ±1.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  1. [1]

    Invar iant distributions for homogeneous flows and affine transformations

    Flaminio, Livio; Forni, Giovanni; Hertz, Federico Rodriguez. Invar iant distributions for homogeneous flows and affine transformations. Journal of Modern Dynamics. (2016), 10: 33–79

    work page 2016

  2. [2]

    Franks, M

    J. Franks, M. Handel and K. Parwani. Fixed points of abelian actio ns on S2. Ergodic Theory and Dynamical Systems (2007), 27:1557–1581

    work page 2007

  3. [3]

    A. Katok B. Hasselblat. Introduction to the Modern Theory of Dynam- ical Systems . Cambridge University Press, Cambridge 1995

    work page 1995

  4. [4]

    Newman Integral matrices

    M. Newman Integral matrices. Pure and Applied Mathematics, Vol. 45 . Academic Press, New York-London, 1972. xvii+224 pp. 13

    work page 1972

  5. [5]

    M. S. Pereira and N. M. dos Santos. On the cohomology of foliated bundles. Proyecciones 21(2) (2 173-195.002)

    work page

  6. [6]

    dos Santos

    N. dos Santos. Cohomologically rigid Z p-actions on low-dimension tori. Ergodic Theory and Dynamical Systems (2004), 24: 1041–1050

    work page 2004

  7. [7]

    Urzua Luz and N

    R. Urzua Luz and N. M. dos Santos. Cohomology-free diffeomorphisms of low-dimension Tori . Ergodic Theory and Dynamical Systems (1998), 18: 985–1006

    work page 1998

  8. [8]

    Urz´ ua Luz

    R. Urz´ ua Luz. Free Affine Zp-actions on tori. prerint 2019. Richard Urz´ ua Luz Universidad Cat´ olica del Norte, Casilla 1280, Antofagasta, Chile. rurzua@ucn.cl Eduardo Fierro Morales Universidad Cat´ olica del Norte, Casilla 1280, Antofagasta, Chile. efierro@ucn.cl 14

    work page 2019