Cayley plane

Last updated

In mathematics, the Cayley plane (or octonionic projective plane) P2(O) is a projective plane over the octonions. [1]

Contents

The Cayley plane was discovered in 1933 by Ruth Moufang, and is named after Arthur Cayley for his 1845 paper describing the octonions.

Properties

In the Cayley plane, lines and points may be defined in a natural way so that it becomes a 2-dimensional projective space, that is, a projective plane. It is a non-Desarguesian plane, where Desargues' theorem does not hold.

More precisely, as of 2005, there are two objects called Cayley planes, namely the real and the complex Cayley plane. The real Cayley plane is the symmetric space F4/Spin(9), where F4 is a compact form of an exceptional Lie group and Spin(9) is the spin group of nine-dimensional Euclidean space (realized in F4). It admits a cell decomposition into three cells, of dimensions 0, 8 and 16. [2]

The complex Cayley plane is a homogeneous space under the complexification of the group E6 by a parabolic subgroup P1. It is the closed orbit in the projectivization of the minimal complex representation of E6. The complex Cayley plane consists of two complex F4-orbits: the closed orbit is a quotient of the complexified F4 by a parabolic subgroup, the open orbit is the complexification of the real Cayley plane, [3] retracting to it.


See also

Notes

  1. Baez (2002).
  2. Iliev and Manivel (2005).
  3. Ahiezer (1983).

Related Research Articles

In mathematics, the octonions are a normed division algebra over the real numbers, a kind of hypercomplex number system. The octonions are usually represented by the capital letter O, using boldface O or blackboard bold . Octonions have eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension. They are noncommutative and nonassociative, but satisfy a weaker form of associativity; namely, they are alternative. They are also power associative.

In mathematics, hypercomplex number is a traditional term for an element of a finite-dimensional unital algebra over the field of real numbers. The study of hypercomplex numbers in the late 19th century forms the basis of modern group representation theory.

<span class="mw-page-title-main">John C. Baez</span> American mathematician

John Carlos Baez is an American mathematical physicist and a professor of mathematics at the University of California, Riverside (UCR) in Riverside, California. He has worked on spin foams in loop quantum gravity, applications of higher categories to physics, and applied category theory.

In mathematics, the Cayley–Dickson construction, named after Arthur Cayley and Leonard Eugene Dickson, produces a sequence of algebras over the field of real numbers, each with twice the dimension of the previous one. The algebras produced by this process are known as Cayley–Dickson algebras, for example complex numbers, quaternions, and octonions. These examples are useful composition algebras frequently applied in mathematical physics.

<span class="mw-page-title-main">Simple Lie group</span> Connected non-abelian Lie group lacking nontrivial connected normal subgroups

In mathematics, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces.

G<sub>2</sub> (mathematics) Simple Lie group; the automorphism group of the octonions

In mathematics, G2 is the name of three simple Lie groups (a complex form, a compact real form and a split real form), their Lie algebras as well as some algebraic groups. They are the smallest of the five exceptional simple Lie groups. G2 has rank 2 and dimension 14. It has two fundamental representations, with dimension 7 and 14.

<span class="mw-page-title-main">Fano plane</span> Geometry with 7 points and 7 lines

In finite geometry, the Fano plane is a finite projective plane with the smallest possible number of points and lines: 7 points and 7 lines, with 3 points on every line and 3 lines through every point. These points and lines cannot exist with this pattern of incidences in Euclidean geometry, but they can be given coordinates using the finite field with two elements. The standard notation for this plane, as a member of a family of projective spaces, is PG(2, 2). Here PG stands for "projective geometry", the first parameter is the geometric dimension and the second parameter is the order.

E<sub>8</sub> (mathematics) 248-dimensional exceptional simple Lie group

In mathematics, E8 is any of several closely related exceptional simple Lie groups, linear algebraic groups or Lie algebras of dimension 248; the same notation is used for the corresponding root lattice, which has rank 8. The designation E8 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled An, Bn, Cn, Dn, and five exceptional cases labeled G2, F4, E6, E7, and E8. The E8 algebra is the largest and most complicated of these exceptional cases.

<span class="mw-page-title-main">Yuri Manin</span> Russian mathematician

Yuri Ivanovich Manin is a Russian mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical logic to theoretical physics. Moreover, Manin was one of the first to propose the idea of a quantum computer in 1980 with his book Computable and Uncomputable.

<span class="mw-page-title-main">David Eisenbud</span> American mathematician

David Eisenbud is an American mathematician. He is a professor of mathematics at the University of California, Berkeley and Director of the Mathematical Sciences Research Institute (MSRI); he previously served as Director of MSRI from 1997 to 2007.

In Riemannian geometry, the sphere theorem, also known as the quarter-pinched sphere theorem, strongly restricts the topology of manifolds admitting metrics with a particular curvature bound. The precise statement of the theorem is as follows. If M is a complete, simply-connected, n-dimensional Riemannian manifold with sectional curvature taking values in the interval then M is homeomorphic to the n-sphere. Another way of stating the result is that if M is not homeomorphic to the sphere, then it is impossible to put a metric on M with quarter-pinched curvature.

<span class="mw-page-title-main">Bitangents of a quartic</span>

In the theory of algebraic plane curves, a general quartic plane curve has 28 bitangent lines, lines that are tangent to the curve in two places. These lines exist in the complex projective plane, but it is possible to define quartic curves for which all 28 of these lines have real numbers as their coordinates and therefore belong to the Euclidean plane.

<span class="mw-page-title-main">Exceptional object</span>

Many branches of mathematics study objects of a given type and prove a classification theorem. A common theme is that the classification results in a number of series of objects and a finite number of exceptions — often with desirable properties — that do not fit into any series. These are known as exceptional objects. In many cases, these exceptional objects play a further and important role in the subject. Furthermore, the exceptional objects in one branch of mathematics often relate to the exceptional objects in others.

In mathematics, the Freudenthal magic square is a construction relating several Lie algebras. It is named after Hans Freudenthal and Jacques Tits, who developed the idea independently. It associates a Lie algebra to a pair of division algebras A, B. The resulting Lie algebras have Dynkin diagrams according to the table at right. The "magic" of the Freudenthal magic square is that the constructed Lie algebra is symmetric in A and B, despite the original construction not being symmetric, though Vinberg's symmetric method gives a symmetric construction.

<span class="mw-page-title-main">History of quaternions</span> Aspect of history

In mathematics, quaternions are a non-commutative number system that extends the complex numbers. Quaternions and their applications to rotations were first described in print by Olinde Rodrigues in all but name in 1840, but independently discovered by Irish mathematician Sir William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. They find uses in both theoretical and applied mathematics, in particular for calculations involving three-dimensional rotations.

<span class="mw-page-title-main">Robert Bryant (mathematician)</span> American mathematician

Robert Leamon Bryant is an American mathematician. He works at Duke University and specializes in differential geometry.

The Levi L. Conant Prize is a mathematics prize of the American Mathematical Society, which has been awarded since 2000 for outstanding expository papers published in the Bulletin of the American Mathematical Society or the Notices of the American Mathematical Society in the past five years. The award is worth $1,000 and is awarded annually.

<span class="mw-page-title-main">Scott A. Wolpert</span> American mathematician

Scott A. Wolpert is an American mathematician specializing in geometry. He is a professor at the University of Maryland.

Ravindra Shripad Kulkarni is an Indian mathematician, specializing in differential geometry. He is known for the Kulkarni–Nomizu product.

<i>The Geometry of the Octonions</i>

The Geometry of the Octonions is a mathematics book on the octonions, a system of numbers generalizing the complex numbers and quaternions, presenting its material at a level suitable for undergraduate mathematics students. It was written by Tevian Dray and Corinne Manogue, and published in 2015 by World Scientific. The Basic Library List Committee of the Mathematical Association of America has suggested its inclusion in undergraduate mathematics libraries.

References