<p>The last two decades, since the seminal work of Selig [<CitationRef CitationID="CR18">18</CitationRef>], has seen projective geometric algebra (PGA) gain popularity as a modern coordinate-free framework for doing classical Euclidean geometry and other Cayley-Klein geometries. This framework is based upon a degenerate Clifford algebra, and it is the purpose of this paper to delve deeper into its internal algebraic structure and extract meaningful information for the purposes of PGA. This includes exploiting the split extension structure to realise the natural decomposition of elements of this Clifford algebra into Euclidean and ideal parts. This leads to a beautiful demonstration of how Playfair’s axiom for affine geometry arises from the ambient degenerate quadratic space. The highlighted split extension property of the Clifford algebra also corresponds to a splitting of the group of units and the Lie algebra of bivectors. Central to these results is that the degenerate Clifford algebra <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="6_2025_1392_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{Cl}\,}}(V)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Cl</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is isomorphic to the twisted trivial extension <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="6_2025_1392_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="184" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{Cl}\,}}(V/\mathbb {F}{e_{0}})\ltimes _\alpha {{\,\textrm{Cl}\,}}(V/\mathbb {F}{e_{0}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Cl</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">/</mo> <mi mathvariant="double-struck">F</mi> <msub> <mi>e</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> <msub> <mo>⋉</mo> <mi>α</mi> </msub> <mrow> <mspace width="0.166667em" /> <mtext>Cl</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">/</mo> <mi mathvariant="double-struck">F</mi> <msub> <mi>e</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="6_2025_1392_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\({e_{0}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>e</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> is a degenerate vector and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="6_2025_1392_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> is the grade-involution.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Exploiting Degeneracy in Projective Geometric Algebra

  • John Bamberg,
  • Jeff Saunders

摘要

The last two decades, since the seminal work of Selig [18], has seen projective geometric algebra (PGA) gain popularity as a modern coordinate-free framework for doing classical Euclidean geometry and other Cayley-Klein geometries. This framework is based upon a degenerate Clifford algebra, and it is the purpose of this paper to delve deeper into its internal algebraic structure and extract meaningful information for the purposes of PGA. This includes exploiting the split extension structure to realise the natural decomposition of elements of this Clifford algebra into Euclidean and ideal parts. This leads to a beautiful demonstration of how Playfair’s axiom for affine geometry arises from the ambient degenerate quadratic space. The highlighted split extension property of the Clifford algebra also corresponds to a splitting of the group of units and the Lie algebra of bivectors. Central to these results is that the degenerate Clifford algebra \({{\,\textrm{Cl}\,}}(V)\) Cl ( V ) is isomorphic to the twisted trivial extension \({{\,\textrm{Cl}\,}}(V/\mathbb {F}{e_{0}})\ltimes _\alpha {{\,\textrm{Cl}\,}}(V/\mathbb {F}{e_{0}})\) Cl ( V / F e 0 ) α Cl ( V / F e 0 ) , where \({e_{0}}\) e 0 is a degenerate vector and \(\alpha \) α is the grade-involution.