Boy's surface

Last updated December 09, 2024

In geometry, Boy's surface is an immersion of the real projective plane in three-dimensional space. It was discovered in 1901 by the German mathematician Werner Boy, who had been tasked by his doctoral thesis advisor David Hilbert to prove that the projective plane could not be immersed in three-dimensional space.

Parametrization

Boy's surface can be parametrized in several ways. One parametrization, discovered by Rob Kusner and Robert Bryant,^[4] is the following: given a complex number w whose magnitude is less than or equal to one ( $\|w\|\leq 1$ ), let

{\begin{aligned}g_{1}&=-{3 \over 2}\operatorname {Im} \left[{w\left(1-w^{4}\right) \over w^{6}+{\sqrt {5}}w^{3}-1}\right]\\[4pt]g_{2}&=-{3 \over 2}\operatorname {Re} \left[{w\left(1+w^{4}\right) \over w^{6}+{\sqrt {5}}w^{3}-1}\right]\\[4pt]g_{3}&=\operatorname {Im} \left[{1+w^{6} \over w^{6}+{\sqrt {5}}w^{3}-1}\right]-{1 \over 2}\\\end{aligned}}

and then set

{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\frac {1}{g_{1}^{2}+g_{2}^{2}+g_{3}^{2}}}{\begin{pmatrix}g_{1}\\g_{2}\\g_{3}\end{pmatrix}}

we then obtain the Cartesian coordinates x, y, and z of a point on the Boy's surface.

If one performs an inversion of this parametrization centered on the triple point, one obtains a complete minimal surface with three ends (that's how this parametrization was discovered naturally). This implies that the Bryant–Kusner parametrization of Boy's surfaces is "optimal" in the sense that it is the "least bent" immersion of a projective plane into three-space.

Property of Bryant–Kusner parametrization

If w is replaced by the negative reciprocal of its complex conjugate, ${\textstyle -{1 \over w^{\star }},}$ then the functions g₁, g₂, and g₃ of w are left unchanged.

By replacing $w$ in terms of its real and imaginary parts $w = s + it$ , and expanding resulting parameterization, one may obtain a parameterization of Boy's surface in terms of rational functions of $s$ and $t$ . This shows that Boy's surface is not only an algebraic surface, but even a rational surface. The remark of the preceding paragraph shows that the generic fiber of this parameterization consists of two points (that is that almost every point of Boy's surface may be obtained by two parameters values).

Relation to the real projective plane

Let $P(w)=(x(w),y(w),z(w))$ be the Bryant–Kusner parametrization of Boy's surface. Then

P(w)=P\left(-{1 \over w^{\star }}\right).

This explains the condition $\left\|w\right\|\leq 1$ on the parameter: if $\left\|w\right\|<1,$ then ${\textstyle \left\|-{1 \over w^{\star }}\right\|>1.}$ However, things are slightly more complicated for $\left\|w\right\|=1.$ In this case, one has ${\textstyle -{1 \over w^{\star }}=-w.}$ This means that, if $\left\|w\right\|=1,$ the point of the Boy's surface is obtained from two parameter values: $P(w)=P(-w).$ In other words, the Boy's surface has been parametrized by a disk such that pairs of diametrically opposite points on the perimeter of the disk are equivalent. This shows that the Boy's surface is the image of the real projective plane, RP² by a smooth map. That is, the parametrization of the Boy's surface is an immersion of the real projective plane into the Euclidean space.

Symmetries

Boy's surface has 3-fold symmetry. This means that it has an axis of discrete rotational symmetry: any 120° turn about this axis will leave the surface looking exactly the same. The Boy's surface can be cut into three mutually congruent pieces.

Applications

Boy's surface can be used in sphere eversion, as a half-way model. A half-way model is an immersion of the sphere with the property that a rotation interchanges inside and outside, and so can be employed to evert (turn inside-out) a sphere. Boy's (the case p = 3) and Morin's (the case p = 2) surfaces begin a sequence of half-way models with higher symmetry first proposed by George Francis, indexed by the even integers 2p (for p odd, these immersions can be factored through a projective plane). Kusner's parametrization yields all these.

Models

Model of a Boy's surface in Oberwolfach Research Institute for Mathematics Boyflaeche.JPG — Model of a Boy's surface in Oberwolfach Research Institute for Mathematics

Model at Oberwolfach

The Oberwolfach Research Institute for Mathematics has a large model of a Boy's surface outside the entrance, constructed and donated by Mercedes-Benz in January 1991. This model has 3-fold rotational symmetry and minimizes the Willmore energy of the surface. It consists of steel strips which represent the image of a polar coordinate grid under a parameterization given by Robert Bryant and Rob Kusner. The meridians (rays) become ordinary Möbius strips, i.e. twisted by 180 degrees. All but one of the strips corresponding to circles of latitude (radial circles around the origin) are untwisted, while the one corresponding to the boundary of the unit circle is a Möbius strip twisted by three times 180 degrees — as is the emblem of the institute ( Mathematisches Forschungsinstitut Oberwolfach 2011 ).

Model made for Clifford Stoll

A model was made in glass by glassblower Lucas Clarke, with the cooperation of Adam Savage, for presentation to Clifford Stoll, It was featured on Adam Savage's YouTube channel, Tested. All three appeared in the video discussing it.^[5]

Related Research Articles

In mathematics, the Klein bottle is an example of a non-orientable surface; that is, informally, a one-sided surface which, if traveled upon, could be followed back to the point of origin while flipping the traveler upside down. More formally, the Klein bottle is a two-dimensional manifold on which one cannot define a normal vector at each point that varies continuously over the whole manifold. Other related non-orientable surfaces include the Möbius strip and the real projective plane. While a Möbius strip is a surface with a boundary, a Klein bottle has no boundary. For comparison, a sphere is an orientable surface with no boundary.

In geometry, a pseudosphere is a surface with constant negative Gaussian curvature.

<span class="mw-page-title-main">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or surface is contained in a larger space, curvature can be defined extrinsically relative to the ambient space. Curvature of Riemannian manifolds of dimension at least two can be defined intrinsically without reference to a larger space.

In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut.

<span class="mw-page-title-main">Hyperboloid</span> Unbounded quadric surface

In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by deforming it by means of directional scalings, or more generally, of an affine transformation.

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.

<span class="mw-page-title-main">Anti-de Sitter space</span> Maximally symmetric Lorentzian manifold with a negative cosmological constant

In mathematics and physics, n-dimensional anti-de Sitter space (AdS_n) is a maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and de Sitter space are named after Willem de Sitter (1872–1934), professor of astronomy at Leiden University and director of the Leiden Observatory. Willem de Sitter and Albert Einstein worked together closely in Leiden in the 1920s on the spacetime structure of the universe. Paul Dirac was the first person to rigorously explore anti-de Sitter space, doing so in 1963.

Rotation in mathematics is a concept originating in geometry. Any rotation is a motion of a certain space that preserves at least one point. It can describe, for example, the motion of a rigid body around a fixed point. Rotation can have a sign (as in the sign of an angle): a clockwise rotation is a negative magnitude so a counterclockwise turn has a positive magnitude. A rotation is different from other types of motions: translations, which have no fixed points, and (hyperplane) reflections, each of them having an entire $(n - 1)$ -dimensional flat of fixed points in a $n$ -dimensional space.

<span class="mw-page-title-main">Real projective plane</span> Compact non-orientable two-dimensional manifold

In mathematics, the real projective plane, denoted ⁠ $⁠$ or ⁠ $⁠$ , is a two-dimensional projective space, similar to the familiar Euclidean plane in many respects but without the concepts of distance, circles, angle measure, or parallelism. It is the setting for planar projective geometry, in which the relationships between objects are not considered to change under projective transformations. The name projective comes from perspective drawing: projecting an image from one plane onto another as viewed from a point outside either plane, for example by photographing a flat painting from an oblique angle, is a projective transformation.

In number theory and algebraic geometry, a modular curveY(Γ) is a Riemann surface, or the corresponding algebraic curve, constructed as a quotient of the complex upper half-plane H by the action of a congruence subgroup Γ of the modular group of integral 2×2 matrices SL(2, Z). The term modular curve can also be used to refer to the compactified modular curvesX(Γ) which are compactifications obtained by adding finitely many points to this quotient. The points of a modular curve parametrize isomorphism classes of elliptic curves, together with some additional structure depending on the group Γ. This interpretation allows one to give a purely algebraic definition of modular curves, without reference to complex numbers, and, moreover, prove that modular curves are defined either over the field of rational numbers Q or a cyclotomic field Q(ζ_n). The latter fact and its generalizations are of fundamental importance in number theory.

In nuclear physics, the chiral model, introduced by Feza Gürsey in 1960, is a phenomenological model describing effective interactions of mesons in the chiral limit (where the masses of the quarks go to zero), but without necessarily mentioning quarks at all. It is a nonlinear sigma model with the principal homogeneous space of a Lie group $as its target manifold. When the model was originally introduced, this Lie group was the SU(N), where N is the number of quark flavors. The Riemannian metric of the target manifold is given by a positive constant multiplied by the Killing form acting upon the Maurer-Cartan form of SU(N).$

In abstract algebra, the split-quaternions or coquaternions form an algebraic structure introduced by James Cockle in 1849 under the latter name. They form an associative algebra of dimension four over the real numbers.

In geometry, a three-dimensional space is a mathematical space in which three values (coordinates) are required to determine the position of a point. Most commonly, it is the three-dimensional Euclidean space, that is, the Euclidean space of dimension three, which models physical space. More general three-dimensional spaces are called 3-manifolds. The term may also refer colloquially to a subset of space, a three-dimensional region, a solid figure.

In mathematics, a surface is a mathematical model of the common concept of a surface. It is a generalization of a plane, but, unlike a plane, it may be curved; this is analogous to a curve generalizing a straight line.

<span class="mw-page-title-main">Hyperboloid model</span> Model of n-dimensional hyperbolic geometry

In geometry, the hyperboloid model, also known as the Minkowski model after Hermann Minkowski, is a model of n-dimensional hyperbolic geometry in which points are represented by points on the forward sheet S⁺ of a two-sheeted hyperboloid in (n+1)-dimensional Minkowski space or by the displacement vectors from the origin to those points, and m-planes are represented by the intersections of (m+1)-planes passing through the origin in Minkowski space with S⁺ or by wedge products of m vectors. Hyperbolic space is embedded isometrically in Minkowski space; that is, the hyperbolic distance function is inherited from Minkowski space, analogous to the way spherical distance is inherited from Euclidean distance when the n-sphere is embedded in (n+1)-dimensional Euclidean space.

<span class="mw-page-title-main">Scherk surface</span>

In mathematics, a Scherk surface is an example of a minimal surface. Scherk described two complete embedded minimal surfaces in 1834; his first surface is a doubly periodic surface, his second surface is singly periodic. They were the third non-trivial examples of minimal surfaces. The two surfaces are conjugates of each other.

In geometry, minimax eversions are a class of sphere eversions, constructed by using half-way models.

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric.

<span class="mw-page-title-main">Riemann sphere</span> Model of the extended complex plane plus a point at infinity

In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane : the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value $for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.$

<span class="mw-page-title-main">Constant-mean-curvature surface</span>

In differential geometry, constant-mean-curvature (CMC) surfaces are surfaces with constant mean curvature. This includes minimal surfaces as a subset, but typically they are treated as special case.

References

Citations

↑ Morin, Bernard (13 November 1978). "Équations du retournement de la sphère" [Equations of the eversion of the sphere](PDF). Comptes Rendus de l'Académie des Sciences. Série A (in French). 287: 879–882.
↑ Kusner, Rob (1987). "Conformal geometry and complete minimal surfaces" (PDF). Bulletin of the American Mathematical Society. New Series. 17 (2): 291–295. doi: 10.1090/S0273-0979-1987-15564-9 ..
↑ Goodman, Sue; Marek Kossowski (2009). "Immersions of the projective plane with one triple point". Differential Geometry and Its Applications. 27 (4): 527–542. doi: 10.1016/j.difgeo.2009.01.011 . ISSN 0926-2245.
↑ Raymond O'Neil Wells (1988). "Surfaces in conformal geometry (Robert Bryant)". The Mathematical Heritage of Hermann Weyl (May 12–16, 1987, Duke University, Durham, North Carolina). Proc. Sympos. Pure Math. Vol. 48. American Mathematical Soc. pp. 227–240. doi:10.1090/pspum/048/974338. ISBN 978-0-8218-1482-6.
↑ Adam, Savage (21 June 2023). "This Object Should've Been Impossible to Make". YouTube. Retrieved 22 June 2023.

Sources

Kirby, Rob (November 2007), "What is Boy's surface?" (PDF), Notices of the AMS, 54 (10): 1306–1307
This describes a piecewise linear model of Boy's surface.
- Casselman, Bill (November 2007), "Collapsing Boy's Umbrellas" (PDF), Notices of the AMS, 54 (10): 1356 Article on the cover illustration that accompanies the Rob Kirby article.
Mathematisches Forschungsinstitut Oberwolfach (2011), The Boy surface at Oberwolfach (PDF).
Sanderson, B. Boy's will be Boy's, (undated, 2006 or earlier).
Weisstein, Eric W. "Boy's Surface". MathWorld .

External links

Boy's surface at MathCurve; contains various visualizations, various equations, useful links and references
A planar unfolding of the Boy's surface – applet from Plus Magazine.
Boy's surface resources, including the original article, and an embedding of a topologist in the Oberwolfach Boy's surface.
A LEGO Boy's surface
A paper model of Boy's surface – pattern and instructions
A model of Boy's surface in Constructive Solid Geometry together with assembling instructions
Boy's surface visualization video from the Mathematical Institute of the Serbian Academy of the Arts and Sciences
This Object Should've Been Impossible to Make Adam Savage making a museum stand for a glass model of the surface

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Morin_1978-1] Morin, Bernard (13 November 1978). "Équations du retournement de la sphère" [Equations of the eversion of the sphere](PDF). Comptes Rendus de l'Académie des Sciences. Série A (in French). 287: 879–882.

[Kusner_1987-2] Kusner, Rob (1987). "Conformal geometry and complete minimal surfaces" (PDF). Bulletin of the American Mathematical Society. New Series. 17 (2): 291–295. doi: 10.1090/S0273-0979-1987-15564-9 ..

[Goodman2009-3] Goodman, Sue; Marek Kossowski (2009). "Immersions of the projective plane with one triple point". Differential Geometry and Its Applications. 27 (4): 527–542. doi: 10.1016/j.difgeo.2009.01.011 . ISSN 0926-2245.

[Wells1988-4] Raymond O'Neil Wells (1988). "Surfaces in conformal geometry (Robert Bryant)". The Mathematical Heritage of Hermann Weyl (May 12–16, 1987, Duke University, Durham, North Carolina). Proc. Sympos. Pure Math. Vol. 48. American Mathematical Soc. pp. 227–240. doi:10.1090/pspum/048/974338. ISBN 978-0-8218-1482-6.

[5] Adam, Savage (21 June 2023). "This Object Should've Been Impossible to Make". YouTube. Retrieved 22 June 2023.

[1]

[2]

[3]

[4]

[5]