Surface romaine

La surface romaine ou surface de Steiner (ainsi appelée parce que Jakob Steiner était à Rome quand il l'a conçue) est une application auto-intersectante du plan projectif réel dans l'espace à trois dimensions, avec un haut degré de symétrie. Cette application est localement un plongement topologique, mais n'est pas une immersion (au sens différentiel) du plan projectif ; cependant elle en devient une lorsqu'on enlève de l'image six points singuliers^[1].

Elle s'obtient en prenant l'image de la sphère de rayon unité centrée à l'origine par l'application

${\displaystyle f:(x,y,z)\mapsto (yz,zx,xy)}$

Comme ${\displaystyle f(-x,-y,-z)=f(x,y,z)}$, ${\displaystyle f}$ passe au quotient et définit une application du plan projectif réeldans ${\displaystyle \mathbf {R} ^{3}}$.

La surface romaine apparaît ainsi comme la surface de ${\displaystyle \mathbf {R} ^{3}}$ d'équation implicite

${\displaystyle x^{2}y^{2}+y^{2}z^{2}+z^{2}x^{2}-xyz=0}$

privée des points des 3 axes de coordonnées dont la distanceà l'origine est supérieure à 1/2.Chacune de ces présentations permet de voir qu'elle est invariante par permutation des coordonnées, et doncqu'elle possède les symétries d'un tétraèdre régulier.

En partant d'une paramétrisation de la sphère en termes de longitude (θ) et latitude (φ), on obtient les équations paramétriques suivantes de la surface romaine  :

x = cos θ cos φ sin φ

y = sin θ cos φ sin φ

z = cos θ sin θ cos² φ

L'origine est un point triple et chacun des plans xy, yz, et xz est tangent à la surface. Les autres points d'auto-intersection sont des points doubles, définissant le long des trois axes des segments dont les extrémités sont des points cuspidaux (en)^{[réf. souhaitée]}. Cette surface possède la symétrie du tétraèdre. C'est un type particulier (le type 1) de surface de Steiner, qui est une projection linéaire sur ${\displaystyle \mathbf {R} ^{3}}$ d'une surface de Veronese dans ${\displaystyle \mathbf {R} ^{5}}$