2026-10-06 | | Total: 15
We settle the long-standing Godbersen conjecture that the mixed volume of a convex body of fixed positive volume with its reflection about the origin is maximized precisely by simplices. For the proof, we establish a new characterization of simplices by a natural incidence relation on the face lattice. Moreover, we establish a higher-order generalization of the Godbersen inequality and show that simplices are the only nontrivial equality cases, confirming a conjecture of Schneider from 2000.
The minimum solid angle of a simplex is shown to be a shape measure in any dimension. While this has been known in dimensions two and three, the higher-dimensional generalization is new. We prove inequalities between the minimum solid angle of a non-degenerate simplex and its fullness. Up to dimension-dependent constants, the fullness is bounded from above by the minimum solid angle and from below by the square of the minimum solid angle. The exponents are optimal for three and higher dimensions. This work therefore generalizes the minimum angle condition. We also review several simplex shape measures and their relationships.
For each fixed $n$, we prove a positive lower bound for the diameter of a compact simple geodesic $n$-gonal monotile of the hyperbolic plane. We also prove a positive lower bound for the area of such a tile in a finite monohedral tiling of a closed hyperbolic surface, independent of the topology and metric. Both bounds become independent of $n$ for vertex-proper tilings, in which every genuine tile vertex belongs to at least three distinct tiles. This includes tilings by convex polygons. Reflex angles and non-edge-to-edge incidences are allowed. After qualitative proofs, we obtain explicit constants from a sharp gap estimate for packing polytopes with arbitrarily coupled nonnegative integer constraints. Exact corner balance applies on closed surfaces; in the plane, covering duality and ball counts give a boundary factor depending on the tile diameter. Following Zare, we give, for each integer $q\ge2$, a geodesic construction with $2q+3$ sides and diameter less than $3/q$, showing that side counts cannot be unrestricted without an additional condition. The closed-surface results extend to regular curved sides. The geometric constants are effective but are not claimed to be optimal.
It is well-known that a random Steiner process converges almost surely to a Euclidean ball. On the other hand, as we show in this article, a planar random shaking process converges almost surely to a triangle (in the Banach-Mazur distance). Asking whether these phenomena are generic or exceptional, we study random iterations of an operation called $λ$-Steiner symmetrization, which includes Steiner symmetrization and shaking as special cases. We establish abstract criteria for almost sure convergence and divergence of such processes, obtaining criteria for many other symmetrization operations from convex geometry as a byproduct. Based on a joint characterization of ellipses and triangles, we give a full resolution to our question in the planar case.
Godbersen's long-standing conjecture states that the mixed volumes of any convex body $K \subset \R^n$ satisfy $V(K[k], -K[n-k])\le \binom{n}{k} \vol(K)$ for any $k \in \{1, \dots, n - 1\}$, with equality if and only if $K$ is an $n$-simplex. Kotrbatý and Mouamine recently proved the inequality in full generality, and showed that if $K$ is a (full-dimensional) polytope attaining equality, it must be a simplex. We complete the characterization of the equality case : if $K \subset \R^n$ is a convex body for which $V(K[k], -K[n-k]) = \binom{n}{k} \vol(K)$ for some $k \in \{1, \dots, n -1\}$, then $K$ is an $n$-simplex.
In this paper we introduce a geometrically constrained optimal transport problem on Riemannian manifolds endowed with a Borel foliation, in which mass is transported only within individual leaves. We characterize the existence of foliated transport plans through the equality of the transverse projections of the marginals and show that the corresponding quadratic transport cost decomposes into a measurable family of leafwise optimal transport problems. We also formulate the problem as a classical Kantorovich problem with an extended-valued leafwise cost. Finally, we introduce a foliated continuity equation and establish a Benamou-Brenier formula relating the static and dynamical foliated formulations.
In this series of articles, we study two graph classes and their various geometric representations. The first class consists of strongly involutive self-dual graphs (SISD graphs); the second consists of non-bipartite quadrangulations of the projective plane (NBQP graphs). These classes naturally arise in many geometric problems. For example, NBQP graphs are connected to diameter graphs in $\mathbb{R}^3$, tangency graphs of families of pairwise intersecting circles and pseudocircles, generalized thrackles, and graphs formed by the main diagonals of negatively self-polar polytopes. On the other hand, SISD graphs correspond to the skeletons of negatively self-polar polytopes, self-dual cones, and extremal ball-polytopes. In Part I we show a natural one-to-one correspondence between non-bipartite quadrangulations of the projective plane and 2-connected strongly involutive self-dual maps. In particular, we show that the reduced vertex-face incidence structure of a 2-connected strongly involutive self-dual map is a non-bipartite quadrangulation of the projective plane, and every non-bipartite quadrangulation of the projective plane arises that way. This allows us to translate natural properties from one class to the other. These results lay the foundation for later parts of the series.
A unit-distance graph is a graph which admits a realisation in Euclidean space in which every edge has unit length. Imposing further geometric conditions on the non-edges gives a family of natural subclasses. Requiring that no two vertices lie at distance less than one gives penny and marble graphs: the contact graphs of collections of equal radii $d$-dimensional spheres with non-overlapping interiors for $d=2,3$. Requiring instead that the straight-line drawing in the plane be non-crossing gives matchstick graphs. Since any motion of a realisation must preserve these extra conditions, the rigidity and flexibility properties of the resulting frameworks differ from those of classical bar-joint rigidity theory. In this note we analyse various rigidity problems for penny and marble graphs, matchstick graphs and unit-distance graphs. In particular we answer a recent open problem on penny and marble graph rigidity and establish a link between penny graphs and the concept of NAC-colourings.
We introduce temporal metric spaces, a framework for formalizing metric and topological structures on continuously evolving domains. Rather than defining a single metric on a fixed space, we construct a family of interval-dependent metrics on an associated trajectory space, enabling distances to be measured between continuous trajectories over finite time intervals. We establish the fundamental topology of the trajectory space, prove that it inherits completeness from the underlying metric space, and develop the corresponding temporal hyperspace together with its completeness. Finally, we develop a theory of iterated function systems acting on these evolving spaces, proving that their attractors evolve coherently with the underlying dynamics and remain stable even when the evolving geometry causes the generating mappings to lose their classical contraction property.
Together with Bourgain's slicing problem and the variance conjecture, the Kannan-Lovász-Simonovits (KLS) conjecture has been a driving force for mathematical developments in high dimensional geometry in recent decades. We present here a proof of this conjecture. The crucial step in the proof is the very recent criterion from Song and Zhang involving high-order derivatives of tilt averages.
We study three affine variational quantities built on the affine $L^p$ energy of Lutwak, Yang and Zhang: the affine Poincaré--Sobolev constants $Λ^{\mathcal{A}}_{p,q}(Ω)$ of a bounded open set, the associated affine torsional rigidity, and the affine $p$-capacity of a compact set. We show that ellipsoids are the only extremal sets in their corresponding isoperimetric inequalities, and that the affine capacity of a compact set of positive volume is attained by a potential solving the affine $p$-Laplace equation. We also prove an affine Kohler-Jobin inequality: among sets with prescribed affine torsional rigidity, only ellipsoids minimize $Λ^{\mathcal{A}}_{p,q}$. Following the approach of Haddad, Jiménez and Montenegro to affine Sobolev inequalities, our methods rest on the $L_p$ Busemann--Petty centroid inequality. Proving a stability version of it, we obtain quantitative forms of the isoperimetric inequalities for $Λ^{\mathcal{A}}_{p,q}$, the affine torsional rigidity and the affine $p$-capacity, together with a stability result for the affine Kohler-Jobin inequality on convex sets.
We construct smooth collapsing sequences with sectional curvature at least $-1$ whose limits are topological manifolds with nonzero Kirby--Siebenmann class. For every $n\geq6$, the source and limit are simply connected, have dimensions $n+3$ and $n$, and the metrics have a common positive Ricci lower bound. The limits are homeomorphic to the product of the Chern four-manifold with $S^{n-4}$. We also obtain spin examples and five-dimensional lens-space homotopy types, the latter from finite quotients of one fixed $2$-connected eight-manifold. Finally, we realize aspherical manifolds with no closed PL representatives of their homotopy types as collapsing limits with scalar curvatures tending uniformly to $+\infty$, and establish an obstruction to their approximation with almost nonnegative Ricci curvature.
We provide a necessary condition for integral polytopes to satisfy subspace concentration type inequalities, by mean of a convex geometric interpretation of the Bogomolov--Gieseker inequality.
We develop a theory of orientability for metric manifolds and singular metric spaces using locally integral currents. For topological $n$-manifolds with locally finite Hausdorff measure, we introduce local degree and measure-theoretic conditions under which topological orientations correspond canonically to boundaryless, locally integer rectifiable $n$-currents of multiplicity one on the rectifiable part. We extend these currents to a class of singular spaces whose manifold part is dense and of full measure, and establish constancy and top-dimensional homology results under local uniqueness of orientation. For orientable non-collapsed $\RCD(κ,n)$ spaces, we prove a current-theoretic Stokes theorem: the boundary of the orientation current is the induced orientation current of the geometric boundary, with multiplicity one. In particular, its mass measure is precisely the $(n-1)$-dimensional Hausdorff measure on that boundary. For purely $n$-dimensional, locally geodesically complete spaces with local upper curvature bounds, we show that local uniqueness of orientation excludes codimension-one branching and implies a local $1$-Poincaré inequality. The latter result applies beyond homology manifolds and extends the connection between quantitative topology and Poincaré inequalities to this class of singular spaces.
We propose a computationally inexpensive algorithm to determine whether an opaque spherical body eclipses a luminous one, using only classical geometrical tools. We apply this method to the Sun-Earth-Moon system and predict solar eclipses, including their type, beginning, and duration, using the three-body problem. For predictions over a one-year period, the resulting errors are in the order of minutes.