## Crochet Representation of the Lobachevskian Surface

Isabella Estrada Reyes † and Adriana Mejia Casta˜o n † , 1

## Abstract

Beginning the study of non-Euclidean geometries, physical models or representations, such as crochet ones, provide a tangible portrayal of these advanced mathematical concepts. However, their connection to local Euclidean surfaces still needs further investigation. This work aims to explore how the characteristics of crochet models relate to non-Euclidean concepts by providing a parametrization of such surfaces.

MSC : 51L20, 51M10

Keywords : Gaussian curvature, hyperbolic geometry, Lobachevskian surface, locally Euclidean surface, Mathematical visualization.

## 1 Introduction

The Lobachevskian surface emerges as a field of study that deviates from Euclidean geometry, challenging our intuition and traditional geometric understanding. Fundamental concepts in this surface are often characterized by their non-intuitive properties, owing to the constant negative curvature, as posited in [ C ]. Physical models, known as representation systems , have proven to be effective resources enabling a tangible and manipulable representation of abstract ideas [ CO ]. Crochet models (Figure 1), in particular, have garnered attention due to their ability to transform mathematical elements into attractive and concrete three-dimensional objects. However, it remains to be investigated to what extent and how these crochet models can contribute to understanding the mathematical concepts inherent in non-Euclidean geometries.

Figure 1: Crochet diagram (left) and knitted coral (right).

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00747v1-figure-6040bba9-65a9-4373-9e7e-b1123b82b784.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00747v1-figure-dccb9d47-a765-471b-a96c-5978a7ef897b.jpg)

This work aims to address the following issue: In what ways are the geometric characteristics of crochet models connected to the fundamental mathematical concepts of the Lobachevskian surface, and how can this relationship enhance understanding and intuition?

Acording to [ G ], the Lobachevskian surface is the surface of one sheet of the two-sheeted hyperboloid in the pseudo-Euclidean space. Various models within the literature facilitate the understanding and visualization of this surface. Among these, the most prominent are the Poincar´ e disk and semiplane, both of which are

1 Correspoding author

2-dimensional models.The Poincar´ disk is defined as the conformal projection of the Lobachevskian surface e onto the unitary circle. In this representation, the circumference symbolizes the infinite boundary of the Lobachevskian surface, with the interior corresponding to the Lobachevskian surface itself. Alternatively, an inversion transforms the Poincar´ disk into the Poincar´ semi-plane, also preserving angles. e e

Figure 2: Geodesics on Poincar´ disk (left) and semiplane (right). e

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00747v1-figure-26ec7fae-afdf-4d43-a06c-14dcf163aef3.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00747v1-figure-631d13b9-7c06-426e-af5b-ca70c6323b97.jpg)

In various models facilitating the comprehension of the Lobachevskian surface, such as the Poincar´ disk and e semiplane, geodesics manifest as curved lines, introducing a degree of counterintuitiveness. The Beltrami-Klein disk model addresses this by rendering geodesics as Euclidean lines, although angle measurement can be intricate.

In the realm of 3-dimensional models, consider the surface represented by x 2 + y 2 -z 2 = -k 2 , a hyperboloid of two sheets, and consider only one sheet, named the Weiertrass model. In a pseudo-Euclidean space, a geodesic is the intersection of this surface with a plane passing through the origin [ G ]. Another model is the hemisphere model, featuring geodesics in the form of semicircles orthogonal to the equator of the sphere.

The pseudosphere, introduced by Eugenio Beltrami, is obtained by rotating a tractrix around its asymptote, exhibiting a negative constant Gaussian curvature. Represented as two infinite horns attached at the wide parts, the pseudosphere allows the extension of geodesics in both directions. However, this modification results in a non-simply connected surface, and, according to David Hilbert, in 1901, it was proven that there exists no complete regular surface of constant negative curvature immersed in the three-dimensional Euclidean space, that is, the complete the Lobachevskian surface cannot be represented by a smooth surface with a constant curvature as proposed by Beltrami.

Another tangible 3D model is the crochet model, introduced by Daina Taimina [ T ]. This woven surface reveals escalating undulations as one moves away from the center. Taimina has proven various properties of this model, enhancing its manipulability, particularly beneficial in an introductory course on non-Euclidean geometry. In [ O ], the author makes relevant about Taimina's work that the important part is how crocheted model can elucidate mathematical ideas.

## 2 Crocheting a Lobachevskian Surface

The surface starts with a magic circle , which is an adjustable starting round used for crochet patterns that work in crochet rounds, containing a fix number of chains, represented in the middle of Figure 1 by 6 small circles. The subsequent rows follow a specific pattern, described as follows:

- 1. We begin with 14 chains to create a manipulable crochet, however, this number can be adjusted as needed.
- 2. Over each one of these chains, we knit 3 large chains until completing a row, except in the last one where we knit 4 large chains, obtaining 43 chains.
- 3. For the second row, we continue with the pattern 3332 over the first 40 chains, obtaining 110 chains; and for the remaining 3 chains, we knit the pattern 3, for a total of 119.
- 4. In the third row, we continue with a pattern 3332 over the first 116 chains, obtaining 319 chains; and for the remaining 3 chain we knit the pattern 2, for a total of 325.

This pattern is designed to create a Lobachevskian surface, taking into account the length of a circle l = 2 π sinh r as function of its radius. If the magic circle represents r = 1. In Table 1 we can see the quantity of chains in each row:

Table 1: Chains for the knitted surface.

|   r | l        |   quantity of chains |
|-----|----------|----------------------|
|   1 | 7 . 38   |                   14 |
|   2 | 22 . 78  |                   43 |
|   3 | 62 . 94  |                  119 |
|   4 | 171 . 46 |                  325 |

Following this pattern, we obtain the crochet surface in Figure 3, which by construction is a Lobachevskian surface.

Figure 3: Knitted coral for r = 3.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00747v1-figure-4759cca0-dbb6-4c17-ba14-962fbf5e1ffe.jpg)

## 3 Parametric Approximation

Let v ∈ [0 , 2 π , u ] ∈ [0 , 2] and n be a natural number. The first row ( r = 2) of the knitted coral forms a hyperbolic paraboloid, which has a known parametrization r = cos u v e 1 + u sin v e 2 -u 2 cos 2 v e 3 .

When cut, it yields what we denote as a lettuce , with parametrization (see Figure 4)

r = v e 1 + u e 2 -u 2 cos nv e 3 .

Figure 4: Geogebra graphics of lettuce (left) and hyperbolic paraboloid (right).

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00747v1-figure-ca3250d1-0ebc-4d7b-9e4c-a2c8d1f136cd.jpg)

Drawing upon these two parametrizations, we propose a local parametrization for the knitted coral for n = 4

r = cos u v e 1 + u sin v e 2 -u 2 cos nv e 3 .

(1)

It is worth mentioning that the 4-coral graphic serves as a good approximation of the crocheted coral (see Figure 1 and 5). Now, our next step is to calculate the curvature of the n -coral surface.

$$| | |;$$

$$\mathbf r _ { u } \cdot \mathbf r _ { u } = & 1 + 4 u ^ { 2 } \cos ^ { 2 } n v \\ \mathbf r _ { u } \cdot \mathbf r _ { v } = & - 2 n u ^ { 3 } \cos n v \sin n v \\ \mathbf r _ { v } \cdot \mathbf r _ { v } = & u ^ { 2 } ( 1 + n ^ { 2 } u ^ { 2 } \sin ^ { 2 } n v ).$$

$$r _ { u } \times r _ { v } = & ( u ^ { 2 } n \sin v \sin n v + 2 u ^ { 2 } \cos v \cos n v ) \, e _ { 1 } \\ & + ( 2 u ^ { 2 } \sin v \cos n v - u ^ { 2 } n \cos v \sin n v ) \, e _ { 2 } \\ & + u \, e _ { 3 } \\ \| r _ { u } \times r _ { v } \| = & u [ n ^ { 2 } u ^ { 2 } \sin ^ { 2 } n v + 4 u ^ { 2 } \cos ^ { 2 } n v + 1 ] ^ { 1 / 2 } \\ = & u A$$

$$\mathbf n = \frac { 1 } { A } \begin{pmatrix} n u \sin v \sin n v + 2 u \cos v \cos n v \\ 2 u \sin v \cos n v - n u \cos v \sin n v \\ 1 \end{pmatrix}.$$

$$\mathbf r _ { u u } = - 2 \cos n v \, \mathbf e _ { 3 }$$

Figure 5: Geogebra graphic of coral.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00747v1-figure-b0140d09-e55a-4b2b-81e8-d552a2546659.jpg)

## 3.1 Curvature for n -coral

First, we calculate the first and second fundamental form of the surface S with local parametrization (1) with u ∈ [0 , 2], v ∈ [0 , 2 π ], and n ∈ N , n &gt; 1 a fixed value. Consider the basis { r u , r v } of T P ( S ) where

$$\mathbf r _ { u } & = \cos v \mathbf e _ { 1 } + \sin v \mathbf e _ { 2 } - 2 u \cos n v \mathbf e _ { 3 } \\ \mathbf r _ { v } & = - u \sin v \mathbf e _ { 1 } + u \cos v \mathbf e _ { 2 } + n u ^ { 2 } \sin n v \mathbf e _ { 3 }.$$

The matrix of the first fundamental form of S with respect to the previous basis is

$$I = \begin{pmatrix} { \mathbf r } _ { u } \cdot { \mathbf r } _ { u } & { \mathbf r } _ { u } \cdot { \mathbf r } _ { v } \\ { \mathbf r } _ { u } \cdot { \mathbf r } _ { v } & { \mathbf r } _ { v } \cdot { \mathbf r } _ { v } \end{pmatrix}$$

with

Since the unit vector field is

Moreover

$$r _ { u u } & = - 2 \cos n v \, e _ { 3 } \\ r _ { u v } & = - \sin v \, e _ { 1 } + \cos v \, e _ { 2 } + 2 n u \sin n v \, e _ { 3 } \\ r _ { v v } & = - u \cos v \, e _ { 1 } - u \sin v \, e _ { 2 } + n ^ { 2 } u ^ { 2 } \cos n v \, e _ { 3 } \\ r _ { u u } \cdot n & = - \frac { 2 } { A } \cos n v, r _ { u v } \cdot n = \frac { n u } { A } \sin n v, r _ { v v } \cdot n = \frac { ( n ^ { 2 } - 2 ) u ^ { 2 } } { A } \cos n v.$$

The matrix of the second fundamental form of S is

$$I I = \frac { 1 } { A } \begin{pmatrix} - 2 \cos n v & n u \sin n v \\ n u \sin n v & ( n ^ { 2 } - 2 ) u ^ { 2 } \cos n v \end{pmatrix}.$$

Since

$$I ^ { - 1 } & = \frac { 1 } { \det ( I ) } \begin{pmatrix} r _ { v } \cdot r _ { v } & - ( r _ { u } \cdot r _ { v } ) \\ - ( r _ { u } \cdot r _ { v } ) & r _ { u } \cdot r _ { u } \end{pmatrix} \\ & = \frac { 1 } { ( r _ { u } \cdot r _ { u } ) ( r _ { v } \cdot r _ { v } ) - ( r _ { u } \cdot r _ { v } ) ^ { 2 } } \begin{pmatrix} r _ { v } \cdot r _ { v } & - ( r _ { u } \cdot r _ { v } ) \\ - ( r _ { u } \cdot r _ { v } ) & r _ { u } \cdot r _ { u } \end{pmatrix} \\. &.$$

the Matrix of the Weingarten transformation is

$$& W _ { p } = I ^ { - 1 } I I \\ & = \frac { 1 } { \det ( I ) } \begin{pmatrix} ( r _ { u u } \cdot n ) ( r _ { v } \cdot r _ { v } ) - ( r _ { u v } \cdot n ) ( r _ { u } \cdot r _ { v } ) & - ( r _ { u u } \cdot n ) ( r _ { u } \cdot r _ { v } ) + ( r _ { u v } \cdot n ) ( r _ { u } \cdot r _ { u } ) \\ ( r _ { u v } \cdot n ) ( r _ { v } \cdot r _ { v } ) - ( r _ { v v } \cdot n ) ( r _ { u } \cdot r _ { v } ) & - ( r _ { u v } \cdot n ) ( r _ { u } \cdot r _ { v } ) + ( r _ { v v } \cdot n ) ( r _ { u } \cdot r _ { u } ) \end{pmatrix}.$$

As a result we obtain the Gaussian curvature of a n -coral, which is

$$K = - \frac { 2 ( n ^ { 2 } - 2 ) \cos ^ { 2 } n v + n ^ { 2 } \sin ^ { 2 } n v } { ( n ^ { 2 } u ^ { 2 } \sin ^ { 2 } n v + 4 u ^ { 2 } \cos ^ { 2 } n v + 1 ) ^ { 3 / 2 } } \cdot$$

For the 2-coral the curvature is -4 (4 u 2 +1) 3 / 2 , which is constant over circunferences, that is, where u is fixed. As u increases, the curvature approaches zero. For the 4-coral is 12 sin 2 4 v -28 (12 u 2 sin 2 4 v +4 u 2 +1) 3 / 2 · In Table 2 we provide some values.

Table 2: Values of the curvature for some values of 4-coral.

| v   |   2 π |   2 π |   2 π |   2 π |   π/ 2 |   π/ 2 |   π/ 2 |   π/ 2 |
|-----|-------|-------|-------|-------|--------|--------|--------|--------|
| u   |  0.5  |   1   |  1.5  |  2    |   0.5  |    1   |   1.5  |   2    |
| κ   | -9.89 |  -2.5 | -0.88 | -0.39 |  -9.89 |   -2.5 |  -0.88 |  -0.39 |

As we obtain a non-constant negative curvature for the 4-coral, we only achieve an approximation of a Lobachevskian surface through the parametrization of the knitted coral.

## 4 Conclusions

In the literature, a key aspect of the Lobachevskian surface is the concept of curvature, which naively measures how much we deviate from being flat. Various articles, primarily authored by Daina Taimina and her collaborators, explore knitted surfaces to enhance understanding, particularly of the Lobachevskian surface. However, a gap exists regarding the calculation of curvature for these proposed crocheted surfaces.

To achieve this objective, we propose a parametrization of the knitted coral. The resulting object exhibits negative curvature, although it does not remain constant throughout, thus it cannot be deemed a faithful model. Nonetheless, it can be considered an approximation as it captures the deformation obtained through the crochet technique.

## References

- [1] Cannon J., Floyd W., Kenyon R. and Parry W., Hyperbolic geometry . MSRI publications. Berkeley, 1997.
- [2] Coulon R., Dorfsman-Hopkins G., Harriss E., Skrodzki M., Stange K. and Whitney G., On the Importance of Illustration for Mathematical Research. Notices of the American Mathematical Society 71.1 (2023) 108-110.

- [3] Gonz´ alez R., Treatise of Plane Geometry through Geometric Algebra , Cerdanyola del Vall`s, 2007. e
- [4] O'Brien K., Fluctuating, Intermediate Warp: A Micro-Ethnography and Synthetic Philosophy of Fibre Mathematics . Diss. Manchester Metropolitan University, 2023.
- [5] Taimina D., Crocheting Adventures with Hyperbolic Surfaces: Tactile Mathematics, Art and Craft for all to Explore , Boca Rat´ on, 2018.

First and second author's Address: km 5 via Puerto Colombia, Barranquilla,

Department of Mathematics and Statistic, Universidad del Norte, 080002,

Colombia.

First author email: estradaisabella@uninorte.edu.co

Second author email: mejiala@uninorte.edu.co
Isabella Estrada Reyes Adriana Mejia Castaño
Crochet representation of the Lobachevskian surface
Beginning the study of non-Euclidean geometries, physical models or
representations, such as crochet ones, provide a tangible portrayal of these
advanced mathematical concepts. However, their connection to local Euclidean
surfaces still needs further investigation. This work aims to explore how the
characteristics of crochet models relate to non-Euclidean concepts by providing
a parametrization of such surfaces.