Projective classification of jets of surfaces in 4-space (Q2317157)

Roughly speaking, the authors classified jets of Monge forms of generic surfaces in \(4\)-space via projective transformations, which is an extension of Platonova's result for surfaces in \(3\)-space. In particular, let \(\mathbb P^4\) be the real projective space and \(M\) be a smooth surface embedded in \(\mathbb R^4\subset\mathbb P^4\) containing the origin of \(\mathbb R^4\). Two jets of surfaces at some points are said to be projectively equivalent if there is a projective transformation sending one to the other. The main result of the present paper is the following: Theorem. There is an open everywhere dense subset \(\mathcal O\) of the space of compact smooth surfaces \(M\) in \(\mathbb P^4\) such that the germ at each point on \(M\in \mathcal O\) is projectively equivalent to a germ with the \(4\)-jet of the Monge form in Table 1.