<p>We prove the Voronoi conjecture for five-dimensional parallelohedra. Namely, we show that if a convex five-dimensional polytope <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1325_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>P</mi> </math></EquationSource> <EquationSource Format="TEX">$P$</EquationSource> </InlineEquation> tiles <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1325_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mn>5</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{R}^{5}$</EquationSource> </InlineEquation> with translations, then <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1325_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>P</mi> </math></EquationSource> <EquationSource Format="TEX">$P$</EquationSource> </InlineEquation> is an affine image of the Dirichlet-Voronoi polytope for a five-dimensional lattice. Our proof is based on an exhaustive combinatorial analysis of possible dual 3-cells and incident dual 4-cells encoding local structures around two-dimensional faces of five-dimensional parallelohedron <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1325_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>P</mi> </math></EquationSource> <EquationSource Format="TEX">$P$</EquationSource> </InlineEquation> and their edges. The analysis is aimed to prove existence of a free direction for <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1325_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>P</mi> </math></EquationSource> <EquationSource Format="TEX">$P$</EquationSource> </InlineEquation> and is paired with new properties established for parallelohedra (in any dimension) that have a free direction that guarantee the Voronoi conjecture for <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1325_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>P</mi> </math></EquationSource> <EquationSource Format="TEX">$P$</EquationSource> </InlineEquation>.</p>

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

Voronoi conjecture for five-dimensional parallelohedra

  • Alexey Garber

摘要

We prove the Voronoi conjecture for five-dimensional parallelohedra. Namely, we show that if a convex five-dimensional polytope P $P$ tiles R 5 $\mathbb{R}^{5}$ with translations, then P $P$ is an affine image of the Dirichlet-Voronoi polytope for a five-dimensional lattice. Our proof is based on an exhaustive combinatorial analysis of possible dual 3-cells and incident dual 4-cells encoding local structures around two-dimensional faces of five-dimensional parallelohedron P $P$ and their edges. The analysis is aimed to prove existence of a free direction for P $P$ and is paired with new properties established for parallelohedra (in any dimension) that have a free direction that guarantee the Voronoi conjecture for P $P$ .