This articleis written like aresearch paper or scientific journal. Pleasehelp improve the article by rewriting it inencyclopedic style and simplifyoverly technical phrases.(March 2018) (Learn how and when to remove this message)

This article includes a list ofgeneral references, butit lacks sufficient correspondinginline citations. Please help toimprove this article byintroducing more precise citations.(March 2018) (Learn how and when to remove this message)

Inmathematics, theRoman surface orSteiner surface is a self-intersectingmapping of thereal projective plane intothree-dimensional space, with an unusually high degree ofsymmetry. This mapping is not animmersion of the projective plane; however, the figure resulting from removing sixsingular points is one. Its name arises because it was discovered byJakob Steiner when he was inRome in 1844.^[1]

The simplest construction is as the image of asphere centered at the origin under the map${\displaystyle f(x,y,z)=(yz,xz,xy).}$ This gives an implicitformula of

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

Also, taking a parametrization of the sphere in terms oflongitude (θ) andlatitude (φ), givesparametric equations for the Roman surface as follows:

${\displaystyle x=r^2\cos \theta \cos \phi \sin \phi }$

${\displaystyle y=r^2\sin \theta \cos \phi \sin \phi }$

${\displaystyle z=r^2\cos \theta \sin \theta {\cos }^2\phi }$

The origin is a triple point, and each of thexy-,yz-, andxz-planes are tangential to the surface there. The other places of self-intersection are double points, defining segments along each coordinate axis which terminate in six pinch points. The entire surface hastetrahedralsymmetry. It is a particular type (called type 1) of Steiner surface, that is, a 3-dimensionallinear projection of theVeronese surface.

For simplicity we consider only the caser = 1. Given the sphere defined by the points (x,y,z) such that

${\displaystyle x^2+y^2+z^2=1,}$

we apply to these points the transformationT defined by${\displaystyle T(x,y,z)=(yz,zx,xy)=(U,V,W),}$ say.

But then we have

and so${\displaystyle U^2{V}^2+V^2{W}^2+W^2{U}^2-UVW=0}$ as desired.

Conversely, suppose we are given (U,V,W) satisfying

(*)${\displaystyle U^2{V}^2+V^2{W}^2+W^2{U}^2-UVW=0.}$

We prove that there exists (x,y,z) such that

(**)${\displaystyle x^2+y^2+z^2=1,}$

for which${\displaystyle U=xy,V=yz,W=zx,}$

with one exception: In case 3.b. below, we show this cannot be proved.

1. In the case where none ofU,V,W is 0, we can set

${\displaystyle x=\sqrt{\frac{WU}{V}},y=\sqrt{\frac{UV}{W}},z=\sqrt{\frac{VW}{U}}.}$

(Note that (*) guarantees that either all three of U, V, W are positive, or else exactly two are negative. So these square roots are of positive numbers.)

It is easy to use (*) to confirm that (**) holds forx,y,z defined this way.

2. Suppose thatW is 0. From (*) this implies${\displaystyle U^2{V}^2=0}$

and hence at least one ofU,V must be 0 also. This shows that is it impossible for exactly one ofU,V,W to be 0.

3. Suppose that exactly two ofU,V,W are 0.Without loss of generality we assume

(***)${\displaystyle U\ne 0,V=W=0.}$

It follows that${\displaystyle z=0,}$

(since${\displaystyle z\ne 0,}$ implies that${\displaystyle x=y=0,}$ and hence${\displaystyle U=0,}$ contradicting (***).)

a. In the subcase where

${\displaystyle |U|\le \frac{1}{2},}$

if we determinex andy by

${\displaystyle x^2=\frac{1+\sqrt{1-4U^2}}{2}}$

and${\displaystyle y^2=\frac{1-\sqrt{1-4U^2}}{2},}$

this ensures that (*) holds. It is easy to verify that${\displaystyle x^2{y}^2=U^2,}$

and hence choosing the signs ofx andy appropriately will guarantee${\displaystyle xy=U.}$

Since also${\displaystyle yz=0=V\text{ and }zx=0=W,}$

this shows thatthis subcase leads to the desired converse.

b. In this remaining subcase of the case3., we have${\displaystyle |U|>\frac{1}{2}.}$

Since${\displaystyle x^2+y^2=1,}$

it is easy to check that${\displaystyle xy\le \frac{1}{2},}$

and thus in this case, where${\displaystyle |U|>1/2,V=W=0,}$

there isno (x,y,z) satisfying${\displaystyle U=xy,V=yz,W=zx.}$

Hence the solutions (U, 0, 0) of the equation (*) with${\displaystyle |U|>\frac{1}{2}}$

and likewise, (0,V, 0) with${\displaystyle |V|>\frac{1}{2}}$

and (0, 0,W) with${\displaystyle |W|>\frac{1}{2}}$

(each of which is a noncompact portion of a coordinate axis, in two pieces)do not correspond to any point on the Roman surface.

4. If (U,V,W) is the point (0, 0, 0), then if any two ofx,y,z are zero and the third one hasabsolute value 1, clearly${\displaystyle (xy,yz,zx)=(0,0,0)=(U,V,W)}$ as desired.

This covers all possible cases.

Let a sphere have radiusr, longitudeφ, and latitudeθ. Then its parametric equations are

${\displaystyle x=r\cos \theta \cos \varphi ,}$

${\displaystyle y=r\cos \theta \sin \varphi ,}$

${\displaystyle z=r\sin \theta .}$

Then, applying transformationT to all the points on this sphere yields

${\displaystyle x^{\prime }=yz=r^2\cos \theta \sin \theta \sin \varphi ,}$

${\displaystyle y^{\prime }=zx=r^2\cos \theta \sin \theta \cos \varphi ,}$

${\displaystyle z^{\prime }=xy=r^2{\cos }^2\theta \cos \varphi \sin \varphi ,}$

which are the points on the Roman surface. Letφ range from 0 to 2π, and letθ range from 0 toπ/2.

The sphere, before being transformed, is nothomeomorphic to the real projective plane,RP². But the sphere centered at the origin has this property, that if point(x,y,z) belongs to the sphere, then so does the antipodal point(-x,-y,-z) and these two points are different: they lie on opposite sides of the center of the sphere.

The transformationT converts both of these antipodal points into the same point,

${\displaystyle T:(x,y,z)\to (yz,zx,xy),}$

${\displaystyle T:(-x,-y,-z)\to ((-y)(-z),(-z)(-x),(-x)(-y))=(yz,zx,xy).}$

Since this is true of all points of S², then it is clear that the Roman surface is a continuous image of a "sphere modulo antipodes". Because some distinct pairs of antipodes are all taken to identical points in the Roman surface, it is not homeomorphic toRP², but is instead a quotient of the real projective planeRP² = S² / (x~-x). Furthermore, the map T (above) from S² to this quotient has the special property that it is locally injective away from six pairs of antipodal points. Or from RP² the resulting map making this an immersion of RP² — minus six points — into 3-space.

The Roman surface has four bulbous "lobes", each one on a different corner of a tetrahedron.

A Roman surface can be constructed by splicing together threehyperbolic paraboloids and then smoothing out the edges as necessary so that it will fit a desired shape (e.g. parametrization).

Let there be these three hyperbolic paraboloids:

• x =yz,
• y =zx,
• z =xy.

These three hyperbolic paraboloids intersect externally along the six edges of a tetrahedron and internally along the three axes. The internal intersections are loci of double points. The three loci of double points:x = 0,y = 0, andz = 0, intersect at a triple point at theorigin.

For example, givenx =yz andy =zx, the second paraboloid is equivalent tox =y/z. Then

${\displaystyle yz=\frac{y}{z}}$

and eithery = 0 orz² = 1 so thatz = ±1. Their two external intersections are

• x = y,z = 1;
• x = −y,z = −1.

Likewise, the other external intersections are

• x =z,y = 1;
• x = −z,y = −1;
• y =z,x = 1;
• y = −z,x = −1.

Let us see the pieces being put together. Join the paraboloidsy =xz andx =yz. The result is shown in Figure 1.

The paraboloidy = x z is shown in blue and orange. The paraboloidx = y z is shown in cyan and purple. In the image the paraboloids are seen to intersect along thez = 0 axis. If the paraboloids are extended, they should also be seen to intersect along the lines

• z = 1,y =x;
• z = −1,y = −x.

The two paraboloids together look like a pair oforchids joined back-to-back.

Now run the third hyperbolic paraboloid,z =xy, through them. The result is shown in Figure 2.

On the west-southwest and east-northeast directions in Figure 2 there are a pair of openings. These openings are lobes and need to be closed up. When the openings are closed up, the result is the Roman surface shown in Figure 3.

A pair of lobes can be seen in the West and East directions of Figure 3. Another pair of lobes are hidden underneath the third (z =xy) paraboloid and lie in the North and South directions.

If the three intersecting hyperbolic paraboloids are drawn far enough that they intersect along the edges of a tetrahedron, then the result is as shown in Figure 4.

One of the lobes is seen frontally—head on—in Figure 4. The lobe can be seen to be one of the four corners of the tetrahedron.

If the continuous surface in Figure 4 has its sharp edges rounded out—smoothed out—then the result is the Roman surface in Figure 5.

One of the lobes of the Roman surface is seen frontally in Figure 5, and itsbulbous – balloon-like—shape is evident.

If the surface in Figure 5 is turned around 180 degrees and then turned upside down, the result is as shown in Figure 6.

Figure 6 shows three lobes seen sideways. Between each pair of lobes there is a locus of double points corresponding to a coordinate axis. The three loci intersect at a triple point at the origin. The fourth lobe is hidden and points in the direction directly opposite from the viewer. The Roman surface shown at the top of this article also has three lobes in sideways view.

The Roman surface is non-orientable, i.e. one-sided. This is not quite obvious. To see this, look again at Figure 3.

Imagine anant on top of the "third"hyperbolic paraboloid,z = x y. Let this ant move North. As it moves, it will pass through the other two paraboloids, like a ghost passing through a wall. These other paraboloids only seem like obstacles due to the self-intersecting nature of the immersion. Let the ant ignore all double and triple points and pass right through them. So the ant moves to the North and falls off the edge of the world, so to speak. It now finds itself on the northern lobe, hidden underneath the third paraboloid of Figure 3. The ant is standing upside-down, on the "outside" of the Roman surface.

Let the ant move towards the Southwest. It will climb a slope (upside-down) until it finds itself "inside" the Western lobe. Now let the ant move in a Southeastern direction along the inside of the Western lobe towards thez = 0 axis, always above thex-y plane. As soon as it passes through thez = 0 axis the ant will be on the "outside" of the Eastern lobe, standing rightside-up.

Then let it move Northwards, over "the hill", then towards the Northwest so that it starts sliding down towards thex = 0 axis. As soon as the ant crosses this axis it will find itself "inside" the Northern lobe, standing right side up. Now let the ant walk towards the North. It will climb up the wall, then along the "roof" of the Northern lobe. The ant is back on the third hyperbolic paraboloid, but this time under it and standing upside-down. (Compare withKlein bottle.)

The Roman surface has four "lobes". The boundaries of each lobe are a set of three lines of double points. Between each pair of lobes there is a line of double points. The surface has a total of three lines of double points, which lie (in the parametrization given earlier) on the coordinate axes. The three lines of double points intersect at a triple point which lies on the origin. The triple point cuts the lines of double points into a pair of half-lines, and each half-line lies between a pair of lobes. One might expect from the preceding statements that there could be up to eight lobes, one in each octant of space which has been divided by the coordinate planes. But the lobes occupy alternating octants: four octants are empty and four are occupied by lobes.

If the Roman surface were to be inscribed inside the tetrahedron with least possible volume, one would find that each edge of the tetrahedron is tangent to the Roman surface at a point, and that each of these six points happens to be aWhitneysingularity. These singularities, or pinching points, all lie at the edges of the three lines of double points, and they are defined by this property: that there is no planetangent to any surface at the singularity.

• Boy's surface – animmersion of the projective plane without cross-caps.
• Tetrahemihexahedron – apolyhedron very similar to the Roman surface.

• A. Coffman, A. Schwartz, and C. Stanton:The Algebra and Geometry of Steiner and other Quadratically Parametrizable Surfaces. InComputer Aided Geometric Design (3) 13 (April 1996), p. 257-286
• Bert Jüttler, Ragni Piene:Geometric Modeling and Algebraic Geometry. Springer 2008,ISBN 978-3-540-72184-0, p. 30 (restricted online copy, p. 30, atGoogle Books)

• A. Coffman, "Steiner Surfaces"
• Weisstein, Eric W."Roman Surface".MathWorld.
• Roman Surfaces at theNational Curve Bank (website of the California State University)
• Ashay Dharwadker, Heptahedron and Roman Surface, Electronic Geometry Models, 2004.

• Surfaces

• Articles with short description
• Short description is different from Wikidata
• Wikipedia articles with style issues from March 2018
• All articles with style issues
• Articles lacking in-text citations from March 2018
• All articles lacking in-text citations