<p>Given a residually connected incidence geometry <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2024_134_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> that satisfies two conditions, denoted <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2024_134_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\((B_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2024_134_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\((B_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>B</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we construct a new geometry <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2024_134_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(H(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with properties similar to those of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2024_134_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>. This new geometry <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2024_134_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(H(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is inspired by a construction of Lefèvre-Percsy, Percsy and Leemans (Bull Belg Math Soc Simon Stevin 7(4):583–610, 2000). We show how <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2024_134_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(H(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> relates to the classical halving operation on polytopes, allowing us to generalize the halving operation to a broader class of geometries, that we call non-degenerate leaf hypertopes. Finally, we apply this generalization to cubic toroids in order to generate new examples of regular hypertopes.</p>

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

Constructing New Geometries: A Generalized Approach to Halving for Hypertopes

  • Claudio Alexandre Piedade,
  • Philippe Tranchida

摘要

Given a residually connected incidence geometry \(\Gamma \) Γ that satisfies two conditions, denoted \((B_1)\) ( B 1 ) and \((B_2)\) ( B 2 ) , we construct a new geometry \(H(\Gamma )\) H ( Γ ) with properties similar to those of \(\Gamma \) Γ . This new geometry \(H(\Gamma )\) H ( Γ ) is inspired by a construction of Lefèvre-Percsy, Percsy and Leemans (Bull Belg Math Soc Simon Stevin 7(4):583–610, 2000). We show how \(H(\Gamma )\) H ( Γ ) relates to the classical halving operation on polytopes, allowing us to generalize the halving operation to a broader class of geometries, that we call non-degenerate leaf hypertopes. Finally, we apply this generalization to cubic toroids in order to generate new examples of regular hypertopes.