The Space of Strictly-convex Real-projective structures on a closed manifold

Abstract

This is an expository proof that, if $M$ is a compact $n$-manifold with no boundary, then the set of holonomies of strictly-convex real-projective structures on $M$ is a subset of $\mathrm{Hom}({\pi }_{1}M,\mathrm{PGL}(n+1,\mathbb{R}))$ that is both open and closed.

arXiv commentPublication version. Improved exposition and figures