A geometric construction of Moufang planes
type: Item
instance of: scholarly article
title: A geometric construction of Moufang planes
zbMATH Open document ID: 0679.51010
DOI: 10.1007/BF00182114
author: John R. Faulkner
published in: Geometriae Dedicata
publication date: 1989-01-01T00:00:00Z
review text: Let \(X=(X_+,X_-)\) be a pair of finite-dimensional vector spaces over a field F, let \(N=(N_+,N_-)\) be a pair of cubic forms \((N_+: X_+\to F\), \(N_-: X_-\to F)\) and let T: \(X_+\times X_-\to F\) be a nondegenerated bilinear pairing. The author defines a map {\#}: (X\({}_+,X_-)\to (X_-,X_+)\) and says that (X,N,T) satisfies the adjoint identities if \((x^{\#})^{\#}=N(x)\cdot x\) for \(x\in X_+\) or \(x\in X_-\). For this case some properties are proved and a plane \({\mathcal P}={\mathcal P}(X,N,T)\) is introduced with the point set \(\{x_*=Fx|\) \(x\in X_+\setminus \{0\}:\) \(x^{\#}=0\}\), the line set \(\{y^*=Fy|\) \(y\in X_-\setminus \{0\}:\) \(y^{\#}=0\}\), the incidence \(x_*| y^*:\) \(\Leftrightarrow\) \(x\in \{(y+z)^{\#}- y^{\#}-z^{\#}|\) \(z\in X_-\}\) and the neighbouring \(x_*\approx y^*:\) \(\Leftrightarrow\) \(T(x,y)=0.\) He shows that such examples can be obtained from certain Jordan algebras. In particular he considers Jordan algebras derived from composition algebras A. Then the corresponding plane is a Barbilian plane; and a projective plane if and only if A is a division ring. For \(A={\mathbb{R}}\), \({\mathbb{C}}\) or \({\mathbb{H}}\) the author gives the following geometric construction of these planes: Let \((A^ 4,h)\) with \(h(x,y)=x_ 1\bar y_ 1+x_ 2\bar y_ 2+x_ 3\bar y_ 3+\epsilon x_ 4\bar y_ 4\), \(\epsilon\in \{1,-1\}\) be a unitary space and (\({\mathcal P}_ 3,{\mathcal L})\) the corresponding projective space (\({\mathcal L} = set\) of lines) with the polarity \(\pi\) : \(W\to W^{\perp}\). Let \(Q:=\{x\in P_ 3\), \(x\in \pi (x)\}\) be the corresponding quadratic surface and \({\mathcal S}:=\{\{L,\pi (L)\}|\) \(L\in {\mathcal L}:\) \(L\cap \pi (L)=\emptyset \}\). Then \((P_{\epsilon},{\mathcal S}_{\epsilon})\) with \(P_{\epsilon}:={\mathcal G}_{\epsilon}:=Q\cup {\mathcal G}\) and the incidence \(p| q:\) \(\Leftrightarrow\) \(p=q\) for \(p,q\in Q\); \(p| \{L,\pi (L)\}:\) \(\Leftrightarrow\) \(\{\) L,\(\pi\) (L)\(\}\) \(| p:\) \(\Leftrigh…
Mathematics Subject Classification ID: 51C05
Mathematics Subject Classification ID: 51A30
Mathematics Subject Classification ID: 17C50
zbMATH DE Number: 4113401
zbMATH Keywords: Jordan algebra
zbMATH Keywords: Barbilian plane
zbMATH Keywords: projective plane
zbMATH Keywords: Moufang plane
reviewed by: Helmut Karzel
MaRDI profile type: Publication
Recommended article: A Geometric Characterization of the Hjelmslev–Moufang Planes
Recommended article: A new construction for Minkowski planes
Recommended article: On the constructive geometry of Euclidean planes
Recommended article: A new generalization of Moulton affine planes
Recommended article: Q4014468
Recommended article: Q2969952
Recommended article: Q3726890
Recommended article: Q3319330
Recommended article: On a new class of Moufang–Klingenberg planes
Recommended article: An affine characterization of Moufang projective Klingenberg planes
description: scientific article; zbMATH DE number 4113401