The stability of Margulis space-times with parabolic holonomy elements

Suhyoung Choi

arxiv: 2606.11694 · v1 · pith:OQK6KRQLnew · submitted 2026-06-10 · 🧮 math.GT

The stability of Margulis space-times with parabolic holonomy elements

Suhyoung Choi This is my paper

Pith reviewed 2026-06-27 07:50 UTC · model grok-4.3

classification 🧮 math.GT

keywords Margulis space-timesparabolic holonomyproper discontinuityFuchsian linear partsLorentzian 3-manifoldsgroup deformationsflat affine structures

0 comments

The pith

Small deformations of Margulis space-times with parabolic holonomy preserve proper discontinuity when linear parts are Fuchsian.

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

The paper shows that Margulis space-times formed as quotients of flat Lorentzian 3-space by free groups of rank at least two remain stable under small deformations provided the linear parts of the holonomy stay Fuchsian. This stability ensures the deformed groups continue to act freely and properly discontinuously on the ambient space, so the quotients stay well-defined complete manifolds. The result also establishes that the number of conjugacy classes of parabolic elements can increase or decrease during deformation. A reader would care because the openness describes how these structures can vary while keeping their geometric properties intact.

Core claim

Let E be a flat Lorentzian space of signature (2,1). A Margulis space-time is a noncompact complete flat Lorentzian 3-manifold E/Γ, where the holonomy group Γ is a free group of rank g≥2 acting freely and properly discontinuously by isometries. We consider the case where Γ contains a parabolic element. We show that sufficiently small deformations of Γ still act properly discontinuously on E provided their linear parts are Fuchsian; moreover, the number of conjugacy classes of parabolic elements may increase or decrease under deformation. The proof combines a prior compactification of E/Γ relative to parabolic holonomy elements with a partial generalization of Carrière's work.

What carries the argument

The compactification of E/Γ relative to parabolic holonomy elements, combined with a partial generalization of Carrière's work on proper actions.

If this is right

The deformed groups continue to act properly discontinuously on E.
The quotients remain complete flat Lorentzian 3-manifolds.
The number of conjugacy classes of parabolic elements can vary under the deformation.
The action remains free on E.

Where Pith is reading between the lines

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

The deformation space for these space-times is open along the Fuchsian directions.
The flexibility in parabolic classes may allow control over the number of cusps in the quotients.
The result isolates the role of the parabolic compactification, suggesting it could be used for openness statements in related affine geometries.

Load-bearing premise

The deformations must have Fuchsian linear parts and the prior compactification of the quotient relative to parabolic elements must hold.

What would settle it

An explicit small deformation with Fuchsian linear parts where some orbit of a point in E accumulates at a finite point would falsify the claim.

read the original abstract

Let $E$ be a flat Lorentzian space of signature $(2,1)$. A Margulis space-time is a noncompact complete flat Lorentzian $3$-manifold $E/\Gamma$, where the holonomy group $\Gamma$ is a free group of rank $g\geq 2$ acting freely and properly discontinuously by isometries. We consider the case where $\Gamma$ contains a parabolic element. We show that sufficiently small deformations of $\Gamma$ still act properly discontinuously on $E$ provided their linear parts are Fuchsian; moreover, the number of conjugacy classes of parabolic elements may increase or decrease under deformation. Our proof combines our previous compactification of $E/\Gamma$ relative to parabolic holonomy elements with a partial generalization of the work of Carri\`ere. However, this result depends only on the parts on parabolic actions of our earlier work. We believe that the shortness of the proof of this openness result is of independent interest.

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 a short openness result for proper discontinuity of parabolic Margulis groups under Fuchsian deformations, but the argument inherits its main step from prior compactification work without fresh verification.

read the letter

The central claim is that small deformations of a free group Γ acting properly discontinuously on flat Lorentzian E, when the linear parts remain Fuchsian, continue to act properly discontinuously even if the number of parabolic conjugacy classes changes. The proof is short because it takes the author's earlier compactification of E/Γ (for the parabolic case) and combines it with a limited extension of Carrière's work on parabolic actions.

What the paper actually adds is the openness statement for the parabolic holonomy setting together with the observation that parabolic classes can appear or disappear under deformation. That second point is not automatic and is worth recording. The shortness of the argument is presented as a feature, and the restriction to only the parabolic portions of the prior compactification keeps the dependence narrower than it might have been.

The soft spot is exactly the one flagged in the stress test: the openness conclusion rests on the compactification behaving well under these Fuchsian deformations, yet the paper does not re-derive or check the relevant continuity or boundary properties when the number of parabolic classes varies. If the compactification step has any gap in how it handles class merging or splitting, the proper-discontinuity claim does not follow. The abstract is explicit that only selected parts of the earlier work are used, which reduces the exposure, but it does not remove the need for the compactification to extend continuously in the new setting.

This is a narrow technical note for people already working on Margulis space-times and Lorentzian discrete groups. A reader outside that subfield will not find much to use. It is worth sending to peer review because the claim is concrete, the proof is short, and the dependence on prior work is stated openly; referees can check the details in reasonable time.

Referee Report

1 major / 0 minor

Summary. The manuscript establishes an openness result for Margulis space-times E/Γ with parabolic holonomy: sufficiently small deformations of the free group Γ whose linear parts remain Fuchsian continue to act properly discontinuously on the flat Lorentzian space E, and the number of conjugacy classes of parabolic elements is permitted to increase or decrease. The argument combines a prior compactification of E/Γ (relative to parabolic holonomy) with a partial generalization of Carrière's criterion, but invokes only the parabolic-action portions of the earlier work.

Significance. If the result holds, it provides a stability statement for proper discontinuity in the parabolic case, extending the deformation theory of Margulis space-times beyond the non-parabolic setting. The explicit allowance for variation in the number of parabolic classes is a concrete advance. The manuscript notes the shortness of the proof as independently interesting; the reuse of selected portions of the prior compactification is a strength when the dependence is cleanly isolated.

major comments (1)

[Proof (paragraph combining compactification with Carrière generalization)] The central openness claim (abstract and proof) rests on the prior compactification of E/Γ behaving continuously under Fuchsian deformations in which the number of parabolic conjugacy classes changes. The manuscript asserts that only the parabolic-action parts of the earlier work are used, but does not identify the precise statement or lemma from the prior paper that guarantees the compactification extends without introducing new fixed points or boundary terms when the parabolic count varies; this step is load-bearing for the proper-discontinuity conclusion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the significance of the openness result. We respond to the single major comment below.

read point-by-point responses

Referee: [Proof (paragraph combining compactification with Carrière generalization)] The central openness claim (abstract and proof) rests on the prior compactification of E/Γ behaving continuously under Fuchsian deformations in which the number of parabolic conjugacy classes changes. The manuscript asserts that only the parabolic-action parts of the earlier work are used, but does not identify the precise statement or lemma from the prior paper that guarantees the compactification extends without introducing new fixed points or boundary terms when the parabolic count varies; this step is load-bearing for the proper-discontinuity conclusion.

Authors: We agree that the manuscript would be improved by explicitly identifying the relevant statements from the prior work. The compactification in the earlier paper is constructed using only the parabolic fixed points and their associated data; the continuity of this compactification (including the absence of new fixed points or extraneous boundary terms) under small deformations that preserve the Fuchsian character of the linear parts is addressed in the parabolic-action results of that paper. In the revised version we will add an explicit citation to the pertinent lemma together with a one-sentence explanation of why the construction remains valid when the number of parabolic conjugacy classes changes. This will make the dependence on the earlier work fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central argument combines prior independent result with external generalization

full rationale

The paper's proof of stability under Fuchsian deformations explicitly combines the author's prior compactification (a separate previous publication) with a partial generalization of Carrière's work. No derivation step within this manuscript reduces by construction to a self-definition, fitted input, or unverified self-citation chain; the prior compactification functions as an external input whose applicability is asserted for the parabolic-action portions only. The central claim therefore retains independent content from the Carrière generalization and is not equivalent to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review; full details unavailable. The central claim rests on standard definitions of Margulis space-times and the author's prior compactification result.

axioms (2)

domain assumption Γ is a free group of rank g≥2 acting freely and properly discontinuously by isometries on the flat Lorentzian space E of signature (2,1).
Definition of Margulis space-time given in the abstract.
domain assumption Deformations have Fuchsian linear parts.
Explicit hypothesis required for the stability statement in the abstract.

pith-pipeline@v0.9.1-grok · 5689 in / 1325 out tokens · 24873 ms · 2026-06-27T07:50:34.978207+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references

[1]

Bochnak, M

J. Bochnak, M. Coste, and M.-F. Roy.Real algebraic geometry, volume 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1998. Translated from the 1987 French original, Revised by the authors. 3

1998
[2]

Canary, D

R. Canary, D. Epstein, and P. Green. Notes on notes of Thurston. InFun- damentals of hyperbolic geometry: selected expositions, volume 328 ofLondon Math. Soc. Lecture Note Ser., pages 1–115. Cambridge Univ. Press, Cambridge,
[3]

With a new foreword by Canary. 3.3
[4]

Carri` ere

Y. Carri` ere. Autour de la conjecture de L. Markus sur les vari´ et´ es affines. Invent. Math., 95(3):615–628, 1989. 1.2, 3.5

1989
[5]

Charette and T

V. Charette and T. Drumm. The Margulis invariant for parabolic transforma- tions.Proc. Amer. Math. Soc., 133(8):2439–2447, 2005. 2.3

2005
[6]

S. Choi. The convex and concave decomposition of manifolds with real projective structures.M´ em. Soc. Math. Fr. (N.S.), (78):vi+102, 1999. 2.2, 3.5

1999
[7]

S. Choi, T. Drumm, and W. Goldman. Tameness of Margulis space-times with parabolics.Forum Mathematicum, 35(1):1–59, 2025. 1, 1, 2.1, 2.1, 2.3, 2.3, 3.2

2025
[8]

Choi and W

S. Choi and W. Goldman. Convex real projective structures on closed surfaces are closed.Proc. Amer. Math. Soc., 118(2):657–661, 1993. 3.5 14 SUHYOUNG CHOI

1993
[9]

Choi and W

S. Choi and W. Goldman. Topological tameness of Margulis spacetimes.Amer. J. Math, 139(2):297–345, 2017. 2.3, 3.3

2017
[10]

Danciger, F

J. Danciger, F. Gu´ eritaud, and F. Kassel. Margulis spacetimes with parabolic elements. in preparation. 1
[11]

Danciger, F

J. Danciger, F. Gu´ eritaud, and F. Kassel. Geometry and topology of complete Lorentz spacetimes of constant curvature.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 49(1):1–56, 2016. 1

2016
[12]

T. Drumm. Fundamental polyhedra for Margulis space-times.Topology, 31(4):677–683, 1992. 1

1992
[13]

Fried and W

D. Fried and W. Goldman. Three-dimensional affine crystallographic groups. Adv. in Math., 47(1):1–49, 1983. 1

1983
[14]

W. Goldman. Geometric structures on manifolds and varieties of representations. InGeometry of group representations (Boulder, CO, 1987), volume 74 of Contemp. Math., pages 169–198. Amer. Math. Soc., Providence, RI, 1988. 3.4

1987
[15]

Goldman.Trace coordinates on Fricke spaces of some simple hyperbolic surfaces, pages 611–684

W. Goldman.Trace coordinates on Fricke spaces of some simple hyperbolic surfaces, pages 611–684. European Mathematical Society (EMS), Z¨ urich, 2009. 1, 3

2009
[16]

Goldman, F

W. Goldman, F. Labourie, and G. Margulis. Proper affine actions and geodesic flows of hyperbolic surfaces.Ann. of Math. (2), 170(3):1051–1083, 2009. 1, 3.1

2009
[17]

Lok.Deformations of locally homogeneous spaces and Kleinian groups

W. Lok.Deformations of locally homogeneous spaces and Kleinian groups. PhD thesis, Columbia University, New York, 1984. 3.3, 3.4 Department of Mathematical Sciences, KAIST, 305-701, Daejeon, Republic of Korea Email address:schoi@math.kaist.ac.kr

1984

[1] [1]

Bochnak, M

J. Bochnak, M. Coste, and M.-F. Roy.Real algebraic geometry, volume 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1998. Translated from the 1987 French original, Revised by the authors. 3

1998

[2] [2]

Canary, D

R. Canary, D. Epstein, and P. Green. Notes on notes of Thurston. InFun- damentals of hyperbolic geometry: selected expositions, volume 328 ofLondon Math. Soc. Lecture Note Ser., pages 1–115. Cambridge Univ. Press, Cambridge,

[3] [3]

With a new foreword by Canary. 3.3

[4] [4]

Carri` ere

Y. Carri` ere. Autour de la conjecture de L. Markus sur les vari´ et´ es affines. Invent. Math., 95(3):615–628, 1989. 1.2, 3.5

1989

[5] [5]

Charette and T

V. Charette and T. Drumm. The Margulis invariant for parabolic transforma- tions.Proc. Amer. Math. Soc., 133(8):2439–2447, 2005. 2.3

2005

[6] [6]

S. Choi. The convex and concave decomposition of manifolds with real projective structures.M´ em. Soc. Math. Fr. (N.S.), (78):vi+102, 1999. 2.2, 3.5

1999

[7] [7]

S. Choi, T. Drumm, and W. Goldman. Tameness of Margulis space-times with parabolics.Forum Mathematicum, 35(1):1–59, 2025. 1, 1, 2.1, 2.1, 2.3, 2.3, 3.2

2025

[8] [8]

Choi and W

S. Choi and W. Goldman. Convex real projective structures on closed surfaces are closed.Proc. Amer. Math. Soc., 118(2):657–661, 1993. 3.5 14 SUHYOUNG CHOI

1993

[9] [9]

Choi and W

S. Choi and W. Goldman. Topological tameness of Margulis spacetimes.Amer. J. Math, 139(2):297–345, 2017. 2.3, 3.3

2017

[10] [10]

Danciger, F

J. Danciger, F. Gu´ eritaud, and F. Kassel. Margulis spacetimes with parabolic elements. in preparation. 1

[11] [11]

Danciger, F

J. Danciger, F. Gu´ eritaud, and F. Kassel. Geometry and topology of complete Lorentz spacetimes of constant curvature.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 49(1):1–56, 2016. 1

2016

[12] [12]

T. Drumm. Fundamental polyhedra for Margulis space-times.Topology, 31(4):677–683, 1992. 1

1992

[13] [13]

Fried and W

D. Fried and W. Goldman. Three-dimensional affine crystallographic groups. Adv. in Math., 47(1):1–49, 1983. 1

1983

[14] [14]

W. Goldman. Geometric structures on manifolds and varieties of representations. InGeometry of group representations (Boulder, CO, 1987), volume 74 of Contemp. Math., pages 169–198. Amer. Math. Soc., Providence, RI, 1988. 3.4

1987

[15] [15]

Goldman.Trace coordinates on Fricke spaces of some simple hyperbolic surfaces, pages 611–684

W. Goldman.Trace coordinates on Fricke spaces of some simple hyperbolic surfaces, pages 611–684. European Mathematical Society (EMS), Z¨ urich, 2009. 1, 3

2009

[16] [16]

Goldman, F

W. Goldman, F. Labourie, and G. Margulis. Proper affine actions and geodesic flows of hyperbolic surfaces.Ann. of Math. (2), 170(3):1051–1083, 2009. 1, 3.1

2009

[17] [17]

Lok.Deformations of locally homogeneous spaces and Kleinian groups

W. Lok.Deformations of locally homogeneous spaces and Kleinian groups. PhD thesis, Columbia University, New York, 1984. 3.3, 3.4 Department of Mathematical Sciences, KAIST, 305-701, Daejeon, Republic of Korea Email address:schoi@math.kaist.ac.kr

1984