Abstract <p> At the end of his posthumous memoir, Voronoi defined a positive quadratic form, which he denoted by <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega(x)\)</EquationSource> </InlineEquation>. Voronoi proved that this form lies on an extreme ray of a simplicial <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> </InlineEquation>-domain adjacent along a facet to the principal <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\)</EquationSource> </InlineEquation>-domain. In this paper, it is shown that the form <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega\)</EquationSource> </InlineEquation> naturally arises as a metric form of the lattices <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq5.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{n+1}_{Z,D}(h_{n-1})\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="124" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_{n-1}^2=(n-2)/4\)</EquationSource> </InlineEquation>. These lattices are superpositions of layers of the cubic lattice <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(Z^n\)</EquationSource> </InlineEquation> and the root lattice <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_n\)</EquationSource> </InlineEquation>. In the case of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_n\)</EquationSource> </InlineEquation> of odd dimension <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq10.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\)</EquationSource> </InlineEquation>, the lattice <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{n+1}_D(h_{n-1})\)</EquationSource> </InlineEquation> has an extremal Delaunay polytope. For <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n=5\)</EquationSource> </InlineEquation>, the lattice <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq13.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^6_D(h_4)\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq14.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_4^2=3/4\)</EquationSource> </InlineEquation>, is isomorphic to the root lattice <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3011_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_6\)</EquationSource> </InlineEquation>. </p>

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

A Remarkable Quadratic Form of Voronoi

  • V. P. Grishukhin

摘要

Abstract

At the end of his posthumous memoir, Voronoi defined a positive quadratic form, which he denoted by \(\omega(x)\) . Voronoi proved that this form lies on an extreme ray of a simplicial \(L\) -domain adjacent along a facet to the principal \(L\) -domain. In this paper, it is shown that the form \(\omega\) naturally arises as a metric form of the lattices \(L^{n+1}_{Z,D}(h_{n-1})\) , where \(h_{n-1}^2=(n-2)/4\) . These lattices are superpositions of layers of the cubic lattice \(Z^n\) and the root lattice \(D_n\) . In the case of \(D_n\) of odd dimension \(n\) , the lattice \(L^{n+1}_D(h_{n-1})\) has an extremal Delaunay polytope. For \(n=5\) , the lattice \(L^6_D(h_4)\) , where \(h_4^2=3/4\) , is isomorphic to the root lattice \(E_6\) .