pith. machine review for the scientific record. sign in

arxiv: 2605.03791 · v1 · submitted 2026-05-05 · 🧮 math.DG

Recognition: unknown

An Affine Invariant Minkowski Problem

Authors on Pith no claims yet

Pith reviewed 2026-05-07 13:26 UTC · model grok-4.3

classification 🧮 math.DG
keywords affine invariant Minkowski problemconvex domainslocal Steiner formulacovolume functionalarea measuresvariational methodsdiscrete affine groupsaffine spacetimes
0
0 comments X

The pith

Convex domains invariant under discrete affine subgroups admit natural area measures and a solved affine-invariant Minkowski problem.

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

The paper studies convex domains in real affine space that stay unchanged under groups built from discrete subgroups of SL(R^{d+1}) that divide a convex cone, together with added translations. It proves these domains obey a local Steiner formula, which supplies well-defined area measures that transform correctly under the affine action. This setup lets the author pose an affine-invariant Minkowski problem of recovering the domain from a prescribed measure on the sphere. The problem is solved by a variational argument that minimizes a covolume functional shown to be convex on the space of such domains. The construction also yields interpretations inside certain affine spacetimes.

Core claim

For convex domains of the oriented real affine space R^{d+1} invariant under a subgroup of affine transformations obtained by adding translation parts to a discrete subgroup of SL(R^{d+1}) dividing a convex cone, a local Steiner formula holds. This permits the introduction of natural area measures and the definition of an affine invariant Minkowski problem. The problem is solved through a variational method that exploits the convexity of a covolume functional.

What carries the argument

The local Steiner formula for these invariant convex domains, which defines their affine-invariant area measures and enables the variational solution via the covolume functional.

If this is right

  • For any suitable measure there exists an invariant convex domain whose area measure equals the given one.
  • The variational minimization produces at least one solution to the affine Minkowski problem.
  • The same construction supplies solutions to the Minkowski problem in the associated affine spacetimes.
  • The area measures are natural and transform correctly under the discrete affine action.

Where Pith is reading between the lines

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

  • The local Steiner formula may yield additional integral identities or Brunn-Minkowski-type inequalities for these domains.
  • Similar convexity arguments could be tested for other discrete subgroups or higher-dimensional cones where the Steiner property holds.
  • The affine spacetimes interpretation may link the existence result to questions about Cauchy surfaces in Lorentzian geometry.

Load-bearing premise

The covolume functional is convex on the space of invariant convex domains.

What would settle it

An explicit invariant convex domain for which the covolume functional fails to be convex, or a Radon measure satisfying the necessary compatibility conditions from the Steiner formula that admits no corresponding domain.

Figures

Figures reproduced from arXiv: 2605.03791 by Antoine Ablondi.

Figure 2.1
Figure 2.1. Figure 2.1: A C-convex domain K. Definition 2.4 (Gauss map). The (C-spacelike) Gauss map of a C-convex domain K ⊂ R d+1 is the set-valued map GK : ∂spK −→ P P(C ∗ )  mapping any point of ∂spK to the set of directions of its supporting hyperplanes, seen as an element of the power set P(P(C ∗ )). In order to translate the definition of a C-convex domain in the parametrisation (P) of A d+1 described in Section 1, let … view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: At point P ∈ ∂spK, the transverse C-normal vector ⃗n is given by the vector −−→ P P′ , where P ′ is the point of P + ΣC with tangent hyperplane parallel to TP ∂spK. Given a C 2 + C-convex domain K, let us then consider the affine invariants of the pair (f K := G −1 K , N := NΣC ). Using the terminology of [LSZH15, Sections 1.14 and 1.15], we are actually considering the affine differential geometry of G … view at source ↗
Figure 6.1
Figure 6.1. Figure 6.1: Situation in the proof of Theorem 6.3. Remark 6.4. One could consider the covolume on all τ -convex domains with the cocycle τ varying, but that functional is not convex [BF17, Remark 3.35]. From the convexity of the covolume, we deduce the following fact. Lemma 6.5 ([BF17, Lemma 3.36]). In the parametrisation (P), let K0 and K1 be two τ -convex domains with respective support functions s0 and s1, and su… view at source ↗
read the original abstract

In Euclidean space, the generalised Minkowski problem asks, for a given finite Radon measure $\mu$ on the unit sphere $\mathbb{S}^d$, to find a compact convex set $K$ with area measure $\mu$. For convex sets in the Minkowski space invariant under an affine deformation of a uniform lattice of $\mathrm{SO}_0(d,1)$, the analogous Minkowski problem was considered and solved by Barbot--B\'eguin--Zeghib (partially) and Bonsante--Fillastre. By a theorem of Mess--Barbot--Bonsante, that also solves the Minkowski problem in flat Lorentzian spacetimes with compact hyperbolic Cauchy surface. We consider convex domains of the oriented real affine space $\mathbb{R}^{d+1}$ which are invariant under a subgroup of affine transformations obtained by adding translation parts to a discrete subgroup of $\mathrm{SL} (\mathbb{R}^{d+1})$ dividing a convex cone. We prove that those convex domains satisfy a local Steiner Formula, allowing to introduce natural area measures and define an affine invariant Minkowski problem. We then solve that Minkowski problem through a variational method using the convexity of a covolume functional. We also give an interpretation of those results in some "affine spacetimes", which were introduced by the author in a preceding work.

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 proves that convex domains in oriented real affine space R^{d+1} invariant under discrete subgroups of SL(R^{d+1}) (obtained by adding translations to subgroups dividing a convex cone) satisfy a local Steiner formula. This permits the definition of natural area measures and the formulation of an affine-invariant Minkowski problem for a given finite Radon measure on the appropriate sphere. The problem is solved variationally by establishing convexity of an associated covolume functional. The results are also interpreted in certain affine spacetimes.

Significance. If the local Steiner formula and covolume convexity hold as claimed, the work extends the classical and Lorentzian Minkowski problems to a new affine-invariant class of convex domains, with direct links to flat Lorentzian spacetimes having compact hyperbolic Cauchy surfaces (via Mess-Barbot-Bonsante). The variational solution via covolume convexity is a clear strength, as is the direct construction of area measures from the Steiner formula without apparent circularity in the functional definition.

minor comments (3)
  1. [Introduction] The precise definition of the covolume functional (and the space of invariant convex domains on which convexity is claimed) should be stated explicitly in the introduction or §2, rather than deferred entirely to later sections, to aid readability for readers coming from the classical Minkowski problem.
  2. The statement of the local Steiner formula would benefit from an explicit comparison (in a remark or table) with the classical Euclidean Steiner formula and the Lorentzian versions of Barbot-Béguin-Zeghib, highlighting the new affine terms.
  3. [Introduction] A short paragraph clarifying the precise relation between the discrete affine subgroups considered here and the uniform lattices of SO_0(d,1) treated in prior work would strengthen the positioning of the result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance of our results, and recommendation for minor revision. The report does not raise any specific major comments, so we have no point-by-point responses to address. We will make any necessary minor adjustments in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by establishing a local Steiner formula for the specified class of affine-invariant convex domains (yielding well-defined area measures), then solving the resulting Minkowski problem via a variational argument that relies on the convexity of the covolume functional. Both the Steiner formula and the convexity property are presented as results proved directly within the paper for the given domains, without reduction to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The reference to the author's prior work on affine spacetimes serves only for interpretive context and does not support the central existence proof. The argument is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard convex-geometry background plus the domain assumption that suitable discrete subgroups exist and that the covolume functional is convex for the invariant domains.

axioms (2)
  • domain assumption Convex sets in affine space admit a local Steiner formula under the given invariance
    Invoked to introduce natural area measures.
  • domain assumption The covolume functional is convex on the relevant space of invariant convex domains
    Used to guarantee existence of a minimizer solving the Minkowski problem.

pith-pipeline@v0.9.0 · 5521 in / 1334 out tokens · 72817 ms · 2026-05-07T13:26:29.070912+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

76 extracted references · 50 canonical work pages

  1. [1]

    1994 , Publisher =

    Nomizu, Katsumi and Sasaki, Takeshi , Title =. 1994 , Publisher =

  2. [2]

    2015 , Publisher =

    Li, An-Min and Simon, Udo and Zhao, Guosong and Hu, Zejun , Title =. 2015 , Publisher =. doi:10.1515/9783110268898 , Keywords =

  3. [3]

    Nie, Xin and Seppi, Andrea , Title =. Anal. PDE , ISSN =. 2022 , Language =. doi:10.2140/apde.2022.15.643 , Keywords =

  4. [4]

    Mess, Geoffrey , Title =. Geom. Dedicata , ISSN =. 2007 , Language =. doi:10.1007/s10711-007-9155-7 , Keywords =

  5. [5]

    Barbot, Thierry , Title =. J. Geom. Phys. , ISSN =. 2005 , Language =. doi:10.1016/j.geomphys.2004.05.002 , Keywords =

  6. [6]

    Bonsante, Francesco , Title =. J. Differ. Geom. , ISSN =. 2005 , Language =. doi:10.4310/jdg/1122493997 , Keywords =

  7. [7]

    Geometry, analysis and topology of discrete groups

    Benoist, Yves , Title =. Geometry, analysis and topology of discrete groups. Selected papers of the conference on geometry, topology and analysis of locally symmetric spaces and discrete groups, Beijing, China, July 17--August 4, 2006 , ISBN =. 2008 , Publisher =

  8. [8]

    Nie, Xin and Seppi, Andrea , Title =. Proc. Lond. Math. Soc. (3) , ISSN =. 2023 , Language =. doi:10.1112/plms.12537 , Keywords =

  9. [9]

    Prescribing

    Barbot, Thierry and B. Prescribing. Ann. Inst. Fourier , ISSN =. 2011 , Language =. doi:10.5802/aif.2622 , Keywords =

  10. [10]

    and Simon, Udo , Title =

    Oliker, Vladimir I. and Simon, Udo , Title =. J. Reine Angew. Math. , ISSN =. 1983 , Language =

  11. [11]

    The equivariant

    Bonsante, Francesco and Fillastre, Fran. The equivariant. Ann. Inst. Fourier , ISSN =. 2017 , Language =. doi:10.5802/aif.3105 , Keywords =

  12. [12]

    Cheng, Shiu-Yuen and Yau, Shing-Tung , Title =. Commun. Pure Appl. Math. , ISSN =. 1977 , Language =. doi:10.1002/cpa.3160300104 , Keywords =

  13. [13]

    Cheng, Shiu-Yuen and Yau, Shing-Tung , Title =. Commun. Pure Appl. Math. , ISSN =. 1986 , Language =. doi:10.1002/cpa.3160390606 , Keywords =

  14. [14]

    Tyrrell , Title =

    Rockafellar, R. Tyrrell , Title =. 1997 , Publisher =

  15. [15]

    Guti. The. 2016 , Publisher =. doi:10.1007/978-3-319-43374-5 , Keywords =

  16. [16]

    and Wang, Xu-Jia , Title =

    Trudinger, Neil S. and Wang, Xu-Jia , Title =. Invent. Math. , ISSN =. 2002 , Language =. doi:10.1007/s00222-002-0229-8 , Keywords =

  17. [17]

    and Wang, Xu-Jia , Title =

    Trudinger, Neil S. and Wang, Xu-Jia , Title =. Handbook of geometric analysis. No. 1 , ISBN =. 2008 , Publisher =

  18. [18]

    Fuchsian convex bodies: basics of

    Fillastre, Fran. Fuchsian convex bodies: basics of. Geom. Funct. Anal. , ISSN =. 2013 , Language =. doi:10.1007/s00039-012-0205-4 , Keywords =

  19. [19]

    Lorentzian area measures and the

    Fillastre, Fran. Lorentzian area measures and the. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) , ISSN =. 2016 , Language =. doi:10.2422/2036-2145.201405_010 , Keywords =

  20. [20]

    Pure Appl

    Labourie, Fran. Flat projective structures on surfaces and cubic holomorphic differentials , FJournal =. Pure Appl. Math. Q. , ISSN =. 2007 , Language =. doi:10.4310/PAMQ.2007.v3.n4.a10 , Keywords =

  21. [21]

    2017 , Publisher =

    Figalli, Alessio , Title =. 2017 , Publisher =. doi:10.4171/170 , Keywords =

  22. [22]

    Geroch, Robert , Title =. J. Math. Phys. , ISSN =. 1970 , Language =. doi:10.1063/1.1665157 , Keywords =

  23. [23]

    Gigena, Salvador , Title =. Geom. Dedicata , ISSN =. 1981 , Language =. doi:10.1007/BF00181200 , Keywords =

  24. [24]

    Busemann, Herbert , Title =. Diss. Math. , ISSN =. 1967 , Language =

  25. [25]

    Bobb, M. D. and Farre, James , Title =. 2024 , HowPublished =

  26. [26]

    Convex cocompact actions in real projective geometry , FJournal =

    Danciger, Jeffrey and Gu. Convex cocompact actions in real projective geometry , FJournal =. Ann. Sci. 2024 , Language =

  27. [27]

    , coden =

    Choi, Suhyoung and Goldman, William M. , Title =. Proc. Am. Math. Soc. , ISSN =. 1993 , Language =. doi:10.2307/2160352 , Keywords =

  28. [28]

    Loftin, John , Title =. Am. J. Math. , ISSN =. 2001 , Language =. doi:10.1353/ajm.2001.0011 , Keywords =

  29. [29]

    Handbook of geometric analysis

    Loftin, John , Title =. Handbook of geometric analysis. No. 2 , ISBN =. 2010 , Publisher =

  30. [30]

    Barbot, Thierry and Fillastre, Fran. Quasi-. In the tradition of Thurston. Geometry and topology , ISBN =. 2020 , Publisher =. doi:10.1007/978-3-030-55928-1_16 , Keywords =

  31. [31]

    Spherical, hyperbolic, and other projective geometries: convexity, duality, transitions , BookTitle =

    Fillastre, Fran. Spherical, hyperbolic, and other projective geometries: convexity, duality, transitions , BookTitle =. 2019 , Publisher =. doi:10.4171/196-1/16 , Keywords =

  32. [32]

    Buro, Guillaume , year=. Les g. doi:10.5075/epfl-thesis-9445 ,school=

  33. [33]

    Minguzzi, Ettore , Title =. Commun. Math. Phys. , ISSN =. 2017 , Language =. doi:10.1007/s00220-016-2802-9 , Keywords =

  34. [34]

    Papadopoulos, Athanase and Yamada, Sumio , Title =. Differ. Geom. Appl. , ISSN =. 2019 , Language =. doi:10.1016/j.difgeo.2019.101554 , Keywords =

  35. [35]

    Lie groups and

    Hitchin, Nigel J. , Title =. Topology , ISSN =. 1992 , Language =. doi:10.1016/0040-9383(92)90044-I , Keywords =

  36. [36]
  37. [37]

    Algebraic groups and arithmetic

    Benoist, Yves , Title =. Algebraic groups and arithmetic. Proceedings of the international conference, Mumbai, India, December 17--22, 2001 , ISBN =. 2004 , Publisher =

  38. [38]

    and Labourie, Fran

    Andersson, Lars and Barbot, Thierry and Benedetti, Riccardo and Bonsante, Francesco and Goldman, William M. and Labourie, Fran. Notes on a paper of. Geom. Dedicata , ISSN =. 2007 , Language =. doi:10.1007/s10711-007-9164-6 , Keywords =

  39. [39]

    , Title =

    Johnson, Dennis and Millson, John J. , Title =. 1987 , Language =

  40. [40]

    Benoist, Yves , Title =. Ann. Sci. 2005 , Language =. doi:10.1016/j.ansens.2005.07.004 , Keywords =

  41. [41]

    Koszul, Jean-Louis , Title =. Ann. Inst. Fourier , ISSN =. 1968 , Language =. doi:10.5802/aif.279 , URL =

  42. [42]

    Blayac, Pierre-Louis and Viaggi, Gabriele , Title =. Publ. Math. IH. 2024 , FJournal =. doi:10.1007/s10240-024-00152-y , pages=

  43. [43]

    Vinberg, E. B. , Title =. Trans. Mosc. Math. Soc. , ISSN =. 1963 , Language =

  44. [44]

    , Title =

    Goldman, William M. , Title =. 2022 , Publisher =. doi:10.1090/gsm/227 , Keywords =

  45. [45]

    Koszul, Jean-Louis , Title =. Math. Z. , ISSN =. 1962 , Language =. doi:10.1007/BF01193122 , URL =

  46. [46]

    Lorentzian length spaces , FJournal =

    Kunzinger, Michael and S. Lorentzian length spaces , FJournal =. Ann. Global Anal. Geom. , ISSN =. 2018 , Language =. doi:10.1007/s10455-018-9633-1 , Keywords =

  47. [47]

    and Howard, Ralph , Title =

    Andersson, Lars and Galloway, Gregory J. and Howard, Ralph , Title =. Classical Quantum Gravity , ISSN =. 1998 , Language =. doi:10.1088/0264-9381/15/2/006 , Keywords =

  48. [48]

    Danciger, Jeffrey , Title =. Geom. Topol. , ISSN =. 2013 , Language =. doi:10.2140/gt.2013.17.3077 , Keywords =

  49. [49]

    Duke Math

    Benoist, Yves , Title =. Duke Math. J. , ISSN =. 2003 , Language =. doi:10.1215/S0012-7094-03-12014-1 , Keywords =

  50. [50]

    Benoist, Yves , Title =. Invent. Math. , ISSN =. 2006 , Language =. doi:10.1007/s00222-005-0478-4 , Keywords =

  51. [51]

    Minguzzi, Ettore , Title =. Rev. Math. Phys. , ISSN =. 2019 , Language =. doi:10.1142/S0129055X19300012 , Keywords =

  52. [52]

    Minguzzi, Ettore , Title =. J. Math. Phys. , ISSN =. 2008 , Language =. doi:10.1063/1.2973048 , Keywords =

  53. [53]

    The Equivariant Affine

    Ablondi,Antoine , note =. The Equivariant Affine

  54. [54]

    2025 , howpublished =

    Choi, Suhyoung , title =. 2025 , howpublished =

  55. [55]

    Bonsante, Francesco and Seppi, Andrea , title =. Int. Math. Res. Not. , issn =. 2016 , language =. doi:10.1093/imrn/rnv144 , keywords =

  56. [56]

    Hyperbolic geometry and geometric group theory

    Choi, Suhyoung , title =. Hyperbolic geometry and geometric group theory. Proceedings of the 7th Seasonal Institute of the Mathematical Society of Japan (MSJ-SI), Tokyo, Japan, July 30 -- August 5, 2014 , isbn =. 2017 , publisher =. doi:10.2969/aspm/07310069 , keywords =

  57. [57]

    2025 , howpublished =

    Ablondi, Antoine , title =. 2025 , howpublished =

  58. [58]

    Ghomi, Mohammad , title =. Bull. Lond. Math. Soc. , issn =. 2004 , language =. doi:10.1112/S0024609303003059 , keywords =

  59. [59]

    and Fenchel, W

    Bonnesen, T. and Fenchel, W. , title =. 1987 , language =

  60. [60]

    , title =

    Ash, Robert B. , title =. 1972 , language =

  61. [61]

    2008 , PAGES =

    Lee, Jaejeong , TITLE =. 2008 , PAGES =

  62. [62]

    Marquis, Ludovic , title =. Ann. Inst. Fourier , issn =. 2012 , language =. doi:10.5802/aif.2707 , keywords =

  63. [63]

    , title =

    Evans, Lawrence Craig and Gariepy, Ronald F. , title =. 2015 , publisher =

  64. [64]

    Tyrrell and Wets, Roger J

    Rockafellar, R. Tyrrell and Wets, Roger J.-B. , title =. 1998 , publisher =. doi:10.1007/978-3-642-02431-3 , keywords =

  65. [65]

    Lang, Robert , title =. Arch. Math. , issn =. 1986 , language =. doi:10.1007/BF01202504 , keywords =

  66. [66]

    Alexandrov, A. D. , title =. Rec. Math. Moscou, n. Ser. , volume =. 1938 , language =

  67. [67]

    , title =

    Minkowski, H. , title =. Nachr. Ges. Wiss. G. 1897 , language =

  68. [68]

    , title =

    Minkowski, H. , title =. Math. Ann. , issn =. 1903 , language =. doi:10.1007/BF01445180 , url =

  69. [69]

    , title =

    Carlier, G. , title =. J. Nonlinear Convex Anal. , issn =. 2004 , language =

  70. [70]

    1978 , language =

    Pogorelov, Aleksey Vasil'yevich , title =. 1978 , language =

  71. [71]

    Beer, Gerald and Rockafellar, R. T. and Wets, Roger J.-B. , title =. Proc. Am. Math. Soc. , issn =. 1992 , language =. doi:10.2307/2159443 , keywords =

  72. [72]

    and Jessen, B

    Fenchel, W. and Jessen, B. , title =. 1938 , language =

  73. [73]

    1980 , MONTH = Jun, language =

    Discontinuous groups and the Euler class , AUTHOR =. 1980 , MONTH = Jun, language =

  74. [74]

    2009 , publisher =

    Benedetti, Riccardo and Bonsante, Francesco , title =. 2009 , publisher =. doi:10.1090/memo/0926 , keywords =

  75. [75]

    and Oertel, U

    Hatcher, Allen E. and Oertel, U. , title =. Pac. J. Math. , issn =. 1992 , language =. doi:10.2140/pjm.1992.154.87 , keywords =

  76. [76]

    , title =

    Vey, J. , title =. Ann. Sc. Norm. Super. Pisa, Sci. Fis. Mat., III. Ser. , issn =. 1970 , language =