{"id":"arxiv/2610.27523","url":"https://arxiv.org/abs/2610.27523","tags":["math.MG"],"score":0,"title":"An orthogonality inequality in $\\mathbb{RP}^{n-1}$ and the double-cap conjecture","domain":"math.MG","source":"arxiv","authors":["Allen Ibiapina","Carlos Gomes","Alan Pio","Samuel Belo","Ernandes Ferreira"],"reviews":0,"subject":"math.MG","summary":"The orthogonal neighborhood of a set in real projective space is the union of the hyperplanes perpendicular to its points. We prove that caps minimize neighborhood measure among measurable sets of fixed measure in $\\mathbb{RP}^{n-1}$, for $n \\geq 3$, with rigidity up to null sets. This yields the double-cap conjecture: a measurable subset of $S^{n-1}$ containing no orthogonal pair has measure at most that of two opposite open caps of radius $π/4$. The argument combines compactness of the Funk transform, rotation comparisons, and projective variations. We also obtain qualitative stability and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-20","reactions":{}}