Clifford torus

Clifford torus
Clifford-torus.gif

In geometric topology, the Clifford torus is a special kind of torus sitting inside R4. Alternatively, it can be seen as a torus sitting inside C2 since C2 is topologically the same space as R4. Furthermore, every point of the Clifford torus lies at a fixed distance from the origin; therefore, it can also be viewed as sitting inside a 3-sphere.

The Clifford torus is also known as a square torus, because it is isometric to a square with side length 2π and with opposite sides identified.

Contents

Formal definition

The unit circle S1 in R2 can be parameterized by an angle coordinate:

S^1 = \{ ( \cos{\theta}, \sin{\theta} ) \, | \, 0 \leq \theta < 2\pi \}.

In another copy of R2, take another copy of the unit circle

S^1 = \{ ( \cos{\phi}, \sin{\phi} ) \, | \, 0 \leq \phi < 2\pi \}.

Then the Clifford torus is

S^1 \times S^1 = \{ ( \cos{\theta}, \sin{\theta}, \cos{\phi}, \sin{\phi} ) \, | \, 0 \leq \theta < 2\pi, 0 \leq \phi < 2\pi \}.

Since each copy of S1 is an embedded submanifold of R2, the Clifford torus is an embedded torus in R2 × R2 = R4.

If R4 is given by coordinates (x1, y1, x2, y2), then the Clifford torus is given by

x_1^2 + y_1^2 = 1 = x_2^2 + y_2^2. \,

Alternate definitions

It is also common to consider the Clifford torus as an embedded torus in C2. In two copies of C, we have the following unit circles (still parametrized by an angle coordinate):

S^1 = \{ e^{i\theta} \, | \, 0 \leq \theta < 2\pi \}

and

S^1 = \{ e^{i\phi} \, | \, 0 \leq \phi < 2\pi \}.

Now the Clifford torus appears as

S^1 \times S^1 = \{ ( e^{i\theta}, e^{i\phi} ) \, | \, 0 \leq \theta < 2\pi, 0 \leq \phi < 2\pi \}.

As before, this is an embedded submanifold, in this case of C2.

If C2 is given by coordinates (z1, z2), then the Clifford torus is given by

\left| z_{1} \right|^{2} = 1 = \left| z_{2} \right|^{2}.

In the Clifford torus as defined above, the distance of any point of the Clifford torus to the origin of C2 is

\sqrt{ \left| e^{i\theta} \right|^2 + \left| e^{i\phi} \right|^2 } = \sqrt{2}.

The set of all points at a distance of √2 from the origin of C2 is a 3-sphere, and so the Clifford torus sits inside this 3-sphere. In fact, the Clifford torus divides this 3-sphere into two congruent solid tori. (See Heegaard splitting.)

Instead of defining the Clifford torus as the product of two unit circles, it is also common to use two circles of radius 1/√2. (For example, Paul Norbury uses this convention when describing the Lawson Conjecture.[1]) With the alternate radius of 1/√2, the Clifford torus instead sits in the unit 3-sphere S3.

Since O(4) acts on R4 by orthogonal transformations, we can move the "standard" Clifford torus defined above to other equivalent tori via rigid rotations. The six-dimensional group O(4) acts transitively on the space of all such Clifford tori sitting inside the 3-sphere. However, this action has a two-dimensional stabilizer (see group action) since rotation in the meridional and longitudinal directions of a torus preserves the torus (as opposed to moving it to a different torus). So there is actually a four-dimensional space of Clifford tori.[1]

Uses in mathematics

In symplectic geometry, the Clifford torus gives an example of an embedded Lagrangian submanifold of C2 with the standard symplectic structure. (Of course, any product of embedded circles in C gives a Lagrangian torus of C2, so these need not be Clifford tori.)

The Lawson (or Hsiang–Lawson) conjecture states that every minimally embedded torus in the 3-sphere with the round metric must be a Clifford torus.

See also

References

  1. ^ a b Norbury, Paul (September, 2005). "The 12th problem" (PDF). The Australian Mathematical Society Gazette 32 (4): 244–246. http://www.austms.org.au/Publ/Gazette/2005/Sep05/millennium.pdf. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Clifford — is both a given name and a surname of Old English origin that applies to a number of individuals or places. It simply means ford by a cliff .[1] Clifford was a common surname mainly in the 18th century but lost its prominence over the years.… …   Wikipedia

  • Torus — Not to be confused with Taurus (disambiguation). This article is about the surface and mathematical concept of a torus. For other uses, see Torus (disambiguation). A torus As the distance to th …   Wikipedia

  • Clifford parallel — A Clifford parallel is a line which lies at a constant distance from some base line but, unlike an ordinary parallel line, does not lie in the same plane. Such lines do not exist in ordinary Euclidean space, but only in certain others such as… …   Wikipedia

  • Toro de Clifford — En la topología geométrica , el toro de Clifford es un tipo especial de toro sentado dentro de R 4 . Alternativamente, puede ser visto como un toro sentado dentro de C 2 desde C 2 es topológicamente el mismo espacio que R 4 . Además, cada punto… …   Wikipedia Español

  • Heegaard splitting — In the mathematical field of geometric topology, a Heegaard splitting is a decomposition of a compact oriented 3 manifold that results from dividing it into two handlebodies. The importance of Heegaard splittings has grown in recent years as more …   Wikipedia

  • Duocylinder — Stereographic projection of the Duocylinder s ridge (see below). The ridge is rotating on XW plane. The duocylinder, or double cylinder, is a geometric object embedded in 4 dimensional Euclidean space, defined as the Cartesian product of two… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Developable surface — In mathematics, a developable surface is a surface with zero Gaussian curvature. That is, it is a surface that can be flattened onto a plane without distortion (i.e. stretching or compressing ). Conversely, it is a surface which can be made by… …   Wikipedia

  • Alexander duality — In mathematics, Alexander duality refers to a duality theory presaged by a result of 1915 by J. W. Alexander, and subsequently further developed, particularly by P. S. Alexandrov and Lev Pontryagin. It applies to the homology theory properties of …   Wikipedia

  • 3-sphere — Stereographic projection of the hypersphere s parallels (red), meridians (blue) and hypermeridians (green). Because this projection is conformal, the curves intersect each other orthogonally (in the yellow points) as in 4D. All curves are circles …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”