Recognition: unknown
An Affine Invariant Minkowski Problem
Pith reviewed 2026-05-07 13:26 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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.
- 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.
- [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
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
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
axioms (2)
- domain assumption Convex sets in affine space admit a local Steiner formula under the given invariance
- domain assumption The covolume functional is convex on the relevant space of invariant convex domains
Reference graph
Works this paper leans on
-
[1]
1994 , Publisher =
Nomizu, Katsumi and Sasaki, Takeshi , Title =. 1994 , Publisher =
1994
-
[2]
Li, An-Min and Simon, Udo and Zhao, Guosong and Hu, Zejun , Title =. 2015 , Publisher =. doi:10.1515/9783110268898 , Keywords =
-
[3]
Nie, Xin and Seppi, Andrea , Title =. Anal. PDE , ISSN =. 2022 , Language =. doi:10.2140/apde.2022.15.643 , Keywords =
-
[4]
Mess, Geoffrey , Title =. Geom. Dedicata , ISSN =. 2007 , Language =. doi:10.1007/s10711-007-9155-7 , Keywords =
-
[5]
Barbot, Thierry , Title =. J. Geom. Phys. , ISSN =. 2005 , Language =. doi:10.1016/j.geomphys.2004.05.002 , Keywords =
-
[6]
Bonsante, Francesco , Title =. J. Differ. Geom. , ISSN =. 2005 , Language =. doi:10.4310/jdg/1122493997 , Keywords =
-
[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 =
2006
-
[8]
Nie, Xin and Seppi, Andrea , Title =. Proc. Lond. Math. Soc. (3) , ISSN =. 2023 , Language =. doi:10.1112/plms.12537 , Keywords =
-
[9]
Barbot, Thierry and B. Prescribing. Ann. Inst. Fourier , ISSN =. 2011 , Language =. doi:10.5802/aif.2622 , Keywords =
-
[10]
and Simon, Udo , Title =
Oliker, Vladimir I. and Simon, Udo , Title =. J. Reine Angew. Math. , ISSN =. 1983 , Language =
1983
-
[11]
Bonsante, Francesco and Fillastre, Fran. The equivariant. Ann. Inst. Fourier , ISSN =. 2017 , Language =. doi:10.5802/aif.3105 , Keywords =
-
[12]
Cheng, Shiu-Yuen and Yau, Shing-Tung , Title =. Commun. Pure Appl. Math. , ISSN =. 1977 , Language =. doi:10.1002/cpa.3160300104 , Keywords =
-
[13]
Cheng, Shiu-Yuen and Yau, Shing-Tung , Title =. Commun. Pure Appl. Math. , ISSN =. 1986 , Language =. doi:10.1002/cpa.3160390606 , Keywords =
-
[14]
Tyrrell , Title =
Rockafellar, R. Tyrrell , Title =. 1997 , Publisher =
1997
-
[15]
Guti. The. 2016 , Publisher =. doi:10.1007/978-3-319-43374-5 , Keywords =
-
[16]
Trudinger, Neil S. and Wang, Xu-Jia , Title =. Invent. Math. , ISSN =. 2002 , Language =. doi:10.1007/s00222-002-0229-8 , Keywords =
-
[17]
and Wang, Xu-Jia , Title =
Trudinger, Neil S. and Wang, Xu-Jia , Title =. Handbook of geometric analysis. No. 1 , ISBN =. 2008 , Publisher =
2008
-
[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]
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]
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]
Figalli, Alessio , Title =. 2017 , Publisher =. doi:10.4171/170 , Keywords =
work page doi:10.4171/170 2017
-
[22]
Geroch, Robert , Title =. J. Math. Phys. , ISSN =. 1970 , Language =. doi:10.1063/1.1665157 , Keywords =
-
[23]
Gigena, Salvador , Title =. Geom. Dedicata , ISSN =. 1981 , Language =. doi:10.1007/BF00181200 , Keywords =
-
[24]
Busemann, Herbert , Title =. Diss. Math. , ISSN =. 1967 , Language =
1967
-
[25]
Bobb, M. D. and Farre, James , Title =. 2024 , HowPublished =
2024
-
[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 =
2024
-
[27]
Choi, Suhyoung and Goldman, William M. , Title =. Proc. Am. Math. Soc. , ISSN =. 1993 , Language =. doi:10.2307/2160352 , Keywords =
-
[28]
Loftin, John , Title =. Am. J. Math. , ISSN =. 2001 , Language =. doi:10.1353/ajm.2001.0011 , Keywords =
-
[29]
Handbook of geometric analysis
Loftin, John , Title =. Handbook of geometric analysis. No. 2 , ISBN =. 2010 , Publisher =
2010
-
[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]
Fillastre, Fran. Spherical, hyperbolic, and other projective geometries: convexity, duality, transitions , BookTitle =. 2019 , Publisher =. doi:10.4171/196-1/16 , Keywords =
-
[32]
Buro, Guillaume , year=. Les g. doi:10.5075/epfl-thesis-9445 ,school=
-
[33]
Minguzzi, Ettore , Title =. Commun. Math. Phys. , ISSN =. 2017 , Language =. doi:10.1007/s00220-016-2802-9 , Keywords =
-
[34]
Papadopoulos, Athanase and Yamada, Sumio , Title =. Differ. Geom. Appl. , ISSN =. 2019 , Language =. doi:10.1016/j.difgeo.2019.101554 , Keywords =
-
[35]
Hitchin, Nigel J. , Title =. Topology , ISSN =. 1992 , Language =. doi:10.1016/0040-9383(92)90044-I , Keywords =
-
[36]
Schneider, Rolf , title =. 2014 , publisher =. doi:10.1017/CBO9781139003858 , keywords =
-
[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 =
2001
-
[38]
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]
, Title =
Johnson, Dennis and Millson, John J. , Title =. 1987 , Language =
1987
-
[40]
Benoist, Yves , Title =. Ann. Sci. 2005 , Language =. doi:10.1016/j.ansens.2005.07.004 , Keywords =
-
[41]
Koszul, Jean-Louis , Title =. Ann. Inst. Fourier , ISSN =. 1968 , Language =. doi:10.5802/aif.279 , URL =
-
[42]
Blayac, Pierre-Louis and Viaggi, Gabriele , Title =. Publ. Math. IH. 2024 , FJournal =. doi:10.1007/s10240-024-00152-y , pages=
-
[43]
Vinberg, E. B. , Title =. Trans. Mosc. Math. Soc. , ISSN =. 1963 , Language =
1963
-
[44]
Goldman, William M. , Title =. 2022 , Publisher =. doi:10.1090/gsm/227 , Keywords =
-
[45]
Koszul, Jean-Louis , Title =. Math. Z. , ISSN =. 1962 , Language =. doi:10.1007/BF01193122 , URL =
-
[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]
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]
Danciger, Jeffrey , Title =. Geom. Topol. , ISSN =. 2013 , Language =. doi:10.2140/gt.2013.17.3077 , Keywords =
-
[49]
Benoist, Yves , Title =. Duke Math. J. , ISSN =. 2003 , Language =. doi:10.1215/S0012-7094-03-12014-1 , Keywords =
-
[50]
Benoist, Yves , Title =. Invent. Math. , ISSN =. 2006 , Language =. doi:10.1007/s00222-005-0478-4 , Keywords =
-
[51]
Minguzzi, Ettore , Title =. Rev. Math. Phys. , ISSN =. 2019 , Language =. doi:10.1142/S0129055X19300012 , Keywords =
-
[52]
Minguzzi, Ettore , Title =. J. Math. Phys. , ISSN =. 2008 , Language =. doi:10.1063/1.2973048 , Keywords =
-
[53]
The Equivariant Affine
Ablondi,Antoine , note =. The Equivariant Affine
-
[54]
2025 , howpublished =
Choi, Suhyoung , title =. 2025 , howpublished =
2025
-
[55]
Bonsante, Francesco and Seppi, Andrea , title =. Int. Math. Res. Not. , issn =. 2016 , language =. doi:10.1093/imrn/rnv144 , keywords =
-
[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]
2025 , howpublished =
Ablondi, Antoine , title =. 2025 , howpublished =
2025
-
[58]
Ghomi, Mohammad , title =. Bull. Lond. Math. Soc. , issn =. 2004 , language =. doi:10.1112/S0024609303003059 , keywords =
-
[59]
and Fenchel, W
Bonnesen, T. and Fenchel, W. , title =. 1987 , language =
1987
-
[60]
, title =
Ash, Robert B. , title =. 1972 , language =
1972
-
[61]
2008 , PAGES =
Lee, Jaejeong , TITLE =. 2008 , PAGES =
2008
-
[62]
Marquis, Ludovic , title =. Ann. Inst. Fourier , issn =. 2012 , language =. doi:10.5802/aif.2707 , keywords =
-
[63]
, title =
Evans, Lawrence Craig and Gariepy, Ronald F. , title =. 2015 , publisher =
2015
-
[64]
Rockafellar, R. Tyrrell and Wets, Roger J.-B. , title =. 1998 , publisher =. doi:10.1007/978-3-642-02431-3 , keywords =
-
[65]
Lang, Robert , title =. Arch. Math. , issn =. 1986 , language =. doi:10.1007/BF01202504 , keywords =
-
[66]
Alexandrov, A. D. , title =. Rec. Math. Moscou, n. Ser. , volume =. 1938 , language =
1938
-
[67]
, title =
Minkowski, H. , title =. Nachr. Ges. Wiss. G. 1897 , language =
-
[68]
Minkowski, H. , title =. Math. Ann. , issn =. 1903 , language =. doi:10.1007/BF01445180 , url =
-
[69]
, title =
Carlier, G. , title =. J. Nonlinear Convex Anal. , issn =. 2004 , language =
2004
-
[70]
1978 , language =
Pogorelov, Aleksey Vasil'yevich , title =. 1978 , language =
1978
-
[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]
and Jessen, B
Fenchel, W. and Jessen, B. , title =. 1938 , language =
1938
-
[73]
1980 , MONTH = Jun, language =
Discontinuous groups and the Euler class , AUTHOR =. 1980 , MONTH = Jun, language =
1980
-
[74]
Benedetti, Riccardo and Bonsante, Francesco , title =. 2009 , publisher =. doi:10.1090/memo/0926 , keywords =
-
[75]
Hatcher, Allen E. and Oertel, U. , title =. Pac. J. Math. , issn =. 1992 , language =. doi:10.2140/pjm.1992.154.87 , keywords =
-
[76]
, title =
Vey, J. , title =. Ann. Sc. Norm. Super. Pisa, Sci. Fis. Mat., III. Ser. , issn =. 1970 , language =
1970
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.