Leaves of Foliated Projective Structures (2304.01380v2)

Abstract: The $\text{PSL}(4,\mathbb{R})$ Hitchin component of a closed surface group $\pi_1(S)$ consists of holonomies of properly convex foliated projective structures on the unit tangent bundle of $S$. We prove that the leaves of the codimension-$1$ foliation of any such projective structure are all projectively equivalent if and only if its holonomy is Fuchsian. This implies constraints on the symmetries and shapes of these leaves. We also give an application to the topology of the non-${\rm T}_0$ space $\mathfrak{C}(\mathbb{RP}^n)$ of projective classes of properly convex domains in $\mathbb{RP}^n$. Namely, Benz\'ecri asked in 1960 if every closed subset of $\mathfrak{C}(\mathbb{RP}^n)$ that contains no proper nonempty closed subset is a point. Our results imply a negative resolution for $n \geq 2$.