math0702136/Delaunay05_V4_Analysis.texx
1:  Perfect affine quadratic lattice $\Aff(\Z^8,\cQ^8_{
2: 5}[x-\cc])$, where $\cQ^8_{5}$ is given by
3: \begin{equation*}
4: \setlength{\extrarowheight}{1pt} \cQ^8_{5}(\x)=\x^t\; \begin{array}{|c|c|c|c|c|c|c|c|}
5: \hline  15 & 11 & 11 & 11 & 11 & 11 & 11 & 11\\
6: \hline  11 & 9 & 8 & 8 & 8 & 8 & 8 & 8\\
7: \hline  11 & 8 & 9 & 8 & 8 & 8 & 8 & 8\\
8: \hline  11 & 8 & 8 & 9 & 8 & 8 & 8 & 8\\
9: \hline  11 & 8 & 8 & 8 & 9 & 8 & 8 & 8\\
10: \hline  11 & 8 & 8 & 8 & 8 & 9 & 8 & 8\\
11: \hline  11 & 8 & 8 & 8 & 8 & 8 & 9 & 8\\
12: \hline  11 & 8 & 8 & 8 & 8 & 8 & 8 & 9\\
13: \hline\end{array}
14: \;\x \quad \hbox{and}  \quad
15: \cc=\frac{1}{8}\;\begin{array}{|r|}
16: \hline -3\\
17: \hline -3\\
18: \hline -3\\
19: \hline -3\\
20: \hline -3\\
21: \hline -3\\
22: \hline -3\\
23: \hline -3\\
24: \hline\end{array}\;.
25: \end{equation*}
26: \begin{itemize}
27: \item $|O(\Z^8,\cQ^8_{5})|=\textrm{161280}$; $S_{8}<O(\Z^8,\cQ^8_{5})$
28: \vspace{-2.5mm} \item $s(\Z^8,\cQ^8_{5})=\textrm{56}$
29: \vspace{-2.5mm} \item $\dim \QuadInv[\Z^8,\cQ^8_{5}]=\textrm{2}$
30: \end{itemize}
31: Inequality $\cQ_{5}^8[\x-\cc] \le \frac{15}{8}$ defines the Delaunay ellipsoid for a perfect polytope $D^8_{5}\in Del(\Z^8,\cQ^8_{5})$, whose vertex set ($|\vertex D^8_{5}|=\textrm{72}$) is given below.
32: \begin{center}
33: \setlength{\extrarowheight}{4pt}
34: \begin{tabular}{|c|c|c|}
35: \hline$\sum x_i=-4$ &$\sum x_i=-3$ &$\sum x_i=-2$\\
36: \hline\hline$\mathbf{[2;-1^{6},0]}\times 7$ &$\mathbf{[-1^{3},0^{5}]}\times 56$ &$\mathbf{[-3;0^{6},1]}\times 7$\\
37: \cline{1-1}\cline{2-2}\cline{3-3}$\mathbf{[3;-1^{7}]} \times 1$ & &$\mathbf{[-2;0^{7}]} \times 1$\\
38: \hline
39: \end{tabular}
40: \end{center}
41: \begin{itemize}
42: \item $\Spec(D^8_{5})=\textrm{2, 3, 4, 5, 6}$
43: \vspace{-2.5mm}\item $|Iso(D^8_{5},\cQ^8_{5})|=\textrm{80640}$\vspace{-2.5mm}\item $l(D^8_{5})=\textrm{3}$
44: \vspace{-2.5mm}\item Antisymmetric
45: \vspace{-2.5mm}\item Maximally contained subpolytopes: $H(3)$, $\frac12 H(5)$, $J(8,5)$
46: \end{itemize}
47: