Convex-body characterization of Lorentzian projection volumes

Let d3d\geq 3, and let (pij)(p_{ij}) be a real symmetric d×dd\times d matrix with nonnegative off-diagonal entries and zero diagonal entries. For iji\ne j, let πij:RdRd2\pi_{ij}:\mathbb{R}^d\to\mathbb{R}^{d-2} be the coordinate projection orthogonal to the standard basis vectors ei\mathbf e_i and ej\mathbf e_j. A matrix is Lorentzian when it has the Lorentzian property used in the paper. Projection-volume conjecture. The following conditions are equivalent: there is a convex body ARdA\subseteq\mathbb{R}^d such that

pij=vol(πij(A))for all ij,p_{ij}=\operatorname{vol}(\pi_{ij}(A))\qquad\text{for all }i\ne j,

and the matrix (pij)(p_{ij}) is Lorentzian. The conjecture extends the known implication from projection volumes to Lorentzian matrices in every dimension; the converse is established when d=4d=4, while the general case remains open.

Sources & referencesView supporting material

Primary source

Daoji Huang, June Huh, Mateusz Michałek, Botong Wang and Shouda Wang, “Realizations of homology classes and projection areas”, arXiv:2505.08881 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.