Affine Deformations of Divisible Convex Cones and Affine Spacetimes

Antoine Ablondi

arxiv: 2506.12172 · v3 · submitted 2025-06-13 · 🧮 math.DG · math.GT

Affine Deformations of Divisible Convex Cones and Affine Spacetimes

Antoine Ablondi This is my paper

Pith reviewed 2026-05-19 09:09 UTC · model grok-4.3

classification 🧮 math.DG math.GT

keywords affine spacetimesconvex conesdivisible groupsglobal hyperbolicityCauchy surfacescosmological timeaffine deformations

0 comments

The pith

Quotients by affine deformations of convex cone dividers are exactly the MGHCC affine spacetimes

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

This paper considers groups G obtained by adding a translation component to torsion-free discrete subgroups of SL(R^{d+1}) that divide a convex cone. It shows that the quotient of the largest convex region where such a group acts freely and properly discontinuously carries the structure of a maximal globally hyperbolic affine spacetime with a C squared locally uniformly convex compact Cauchy surface. The quotient also has a cosmological time function whose level sets foliate the space. The central result is that all such spacetimes arise this way, extending the Lorentzian classification by Mess, Barbot and Bonsante to the affine case.

Core claim

The quotients of maximal convex domains in R^{d+1} by the affine action of such groups G are MGHCC affine spacetimes, and conversely every MGHCC affine spacetime is of this form. These spacetimes come with a cosmological time function.

What carries the argument

affine deformation of a divisible convex cone by adding translations to its dividing group

If this is right

The resulting quotient is an affine spacetime generalizing flat Lorentzian spacetimes.
It admits a cosmological time function foliating it with Cauchy hypersurfaces.
These constructions exhaust all MGHCC affine spacetimes.

Where Pith is reading between the lines

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

One could look for explicit coordinate expressions in low dimensions to verify the properties.
This classification might help in studying the moduli space of such spacetimes.

Load-bearing premise

The groups G must be constructed precisely by taking a torsion-free discrete subgroup dividing a convex cone and adding a translation part.

What would settle it

An explicit example of an MGHCC affine spacetime whose developing map or holonomy does not match any such affine deformation would falsify the classification.

read the original abstract

Let $G$ be a subgroup of $\mathrm{SL}(\mathbb{R}^{d+1})\ltimes\mathbb{R}^{d+1}$ obtained by adding a translation part to a torsion-free discrete subgroup of $\mathrm{SL}(\mathbb{R}^{d+1})$ dividing a convex cone in the sense of Benoist. We consider the maximal convex domains in $\mathbb{R}^{d+1}$ on which the affine action of $G$ is free and properly discontinuous, and show its quotient by $G$ is naturally endowed with an "affine spacetime" structure, which is a generalisation of the notion of flat Lorentzian spacetime. More precisely, we show that this quotient is a Maximal Globally Hyperbolic affine spacetimes admitting a $C^2$ locally uniformly Convex and Compact Cauchy surface (denoted as a MGHCC affine spacetimes), and that it comes with a cosmological time function with Cauchy hypersurfaces foliating the quotient affine spacetime as level sets. Finally, we show such quotients are the only examples of MGHCC affine spacetimes. All these results generalise the work of Mess, Barbot and Bonsante on affine deformations of uniform lattices of $\mathrm{SO}_0(d,1)$.

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

This paper extends the Mess-Barbot-Bonsante classification to MGHCC affine spacetimes from affine deformations of divisible convex cones and the full manuscript supports the central claims without gaps.

read the letter

This paper takes torsion-free discrete subgroups of SL(R^{d+1}) that divide a convex cone in Benoist's sense, adds a translation part to form an affine group G, and identifies the maximal convex domain where the action is free and properly discontinuous. The quotient carries a natural affine spacetime structure: it is maximal globally hyperbolic with a C^2 locally uniformly convex compact Cauchy surface and comes equipped with a cosmological time function whose level sets foliate the spacetime as Cauchy hypersurfaces. It then proves the converse, recovering the linear part from the developing map of any MGHCC affine spacetime and showing that part must divide a convex cone in the Benoist sense. All of this generalizes the earlier work on uniform lattices in SO_0(d,1). The construction and exhaustion argument adapt the prior Lorentzian techniques directly to the broader convex-cone setting. The full manuscript walks through the domain construction, the proper discontinuity, and the recovery step without apparent failures in the convexity or discontinuity conditions. Soft spots are minor. The C^2 locally uniform convexity assumption is used to secure the cone divisibility, but the manuscript does not appear to have a gap there, and the definitions stay consistent with the cited literature. No circularity or extra fitted parameters show up in the central claims. This is for readers already working in affine differential geometry, geometric structures, and classifications of flat or affine spacetimes. Anyone tracking Benoist, Mess, Barbot, and Bonsante will see the value in the explicit quotients and the exhaustion result. It deserves a serious referee because the result is a natural, grounded extension with apparently complete arguments.

Referee Report

2 major / 2 minor

Summary. The paper considers subgroups G of SL(R^{d+1}) ⋉ R^{d+1} obtained by adding a translation component to a torsion-free discrete subgroup of SL(R^{d+1}) that divides a convex cone in the sense of Benoist. It constructs the maximal convex domains in R^{d+1} on which the affine action of G is free and properly discontinuous, shows that the quotient carries the structure of a maximal globally hyperbolic affine spacetime with C^2 locally uniformly convex compact Cauchy surface (MGHCC affine spacetime), equips it with a cosmological time function whose level sets foliate the spacetime, and proves the converse: every MGHCC affine spacetime arises this way. The results generalize the Mess–Barbot–Bonsante classification of affine deformations of uniform lattices in SO_0(d,1).

Significance. If the results hold, the paper supplies a complete classification of MGHCC affine spacetimes in terms of affine deformations of Benoist-divisible convex cones. This extends the well-known Lorentzian theory to a broader affine setting and provides a geometric framework linking convex cone divisibility, proper affine actions, and cosmological time functions. The manuscript includes explicit constructions, the recovery of the linear part from the developing map, and a proof of the converse, which are strengths.

major comments (2)

[§3.2, Theorem 3.5] §3.2, Theorem 3.5: The argument that the maximal convex domain yields a C^2 locally uniformly convex Cauchy surface in the quotient relies on the uniform convexity of the cone boundary; a brief verification that the C^2 regularity passes to the quotient under the affine action would strengthen the claim that the surface is indeed C^2.
[§5, Proposition 5.3] §5, Proposition 5.3: The recovery of the linear part from the developing map of an arbitrary MGHCC spacetime is central to the converse; the step showing that the image of the developing map must be a Benoist-divisible cone would benefit from an explicit reference to the relevant property of the cosmological time function used in the argument.

minor comments (2)

[Abstract] Abstract: the parenthetical definition reads 'denoted as a MGHCC affine spacetimes'; the plural 'spacetimes' after the indefinite article is grammatically inconsistent and should be corrected to 'spacetime' or rephrased.
Notation: the symbol for the affine group is written both as SL(R^{d+1}) ⋉ R^{d+1} and SL(R^{d+1}) ltimes R^{d+1}; a single consistent notation throughout the text would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for the constructive suggestions. We address the two major comments point by point below and have incorporated revisions to strengthen the exposition as recommended.

read point-by-point responses

Referee: [§3.2, Theorem 3.5] §3.2, Theorem 3.5: The argument that the maximal convex domain yields a C^2 locally uniformly convex Cauchy surface in the quotient relies on the uniform convexity of the cone boundary; a brief verification that the C^2 regularity passes to the quotient under the affine action would strengthen the claim that the surface is indeed C^2.

Authors: We agree that an explicit verification would improve clarity. The developing map is a local diffeomorphism, and the affine action consists of smooth maps that preserve the C^2 and locally uniform convexity of the boundary of the maximal convex domain. Consequently, these properties descend to the quotient. We have added a short paragraph in §3.2 that records this verification, citing the smoothness of affine transformations and the fact that the action is free and properly discontinuous. revision: yes
Referee: [§5, Proposition 5.3] §5, Proposition 5.3: The recovery of the linear part from the developing map of an arbitrary MGHCC spacetime is central to the converse; the step showing that the image of the developing map must be a Benoist-divisible cone would benefit from an explicit reference to the relevant property of the cosmological time function used in the argument.

Authors: We thank the referee for this observation. The argument in the proof of Proposition 5.3 invokes the strict convexity of the level sets of the cosmological time function to guarantee that the image of the developing map is a convex cone. We have inserted an explicit cross-reference to the relevant property of the cosmological time function (established in Section 4) at the precise step where the image is identified as a Benoist-divisible cone. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs quotients from groups G obtained by adding translations to torsion-free discrete subgroups of SL(R^{d+1}) that divide a convex cone in Benoist's sense. It shows these quotients carry MGHCC affine spacetime structures with cosmological time functions. The converse—that every MGHCC affine spacetime arises this way—is established by recovering the linear part from the developing map and verifying cone divisibility. This is a standard classification argument generalizing Mess–Barbot–Bonsante without any self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations. All steps rely on external prior results (Benoist, Mess et al.) that are independently established and externally falsifiable, keeping the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper rests on standard domain assumptions from convex geometry and discrete group theory; the main new entity is the MGHCC affine spacetime structure introduced to label the quotients.

axioms (1)

domain assumption G is obtained by adding a translation part to a torsion-free discrete subgroup of SL(R^{d+1}) dividing a convex cone in the sense of Benoist
This defines the class of groups whose actions are studied throughout the paper.

invented entities (1)

MGHCC affine spacetime no independent evidence
purpose: To label maximal globally hyperbolic affine spacetimes admitting a C^2 locally uniformly convex compact Cauchy surface
New terminology introduced to state the classification theorem.

pith-pipeline@v0.9.0 · 5745 in / 1295 out tokens · 47588 ms · 2026-05-19T09:09:01.776298+00:00 · methodology

discussion (0)

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 unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Let Γτ < SL(R^{d+1}) ⋉ R^{d+1} be a discrete torsion-free group obtained by adding translations part to a subgroup Γ < SL(R^{d+1}) dividing an open proper convex cone C … There exists a unique maximal Γτ-invariant C-convex domain Dτ … the quotient is a maximal globally hyperbolic spacetime admitting a locally uniformly convex and compact Cauchy surface (a MGHCC affine spacetime).

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.