Iso edge domains (Q2670663): Difference between revisions

Denote by \(S^n_{>0}\) the set of all positive definite quadratic forms of \(n\) variables. Voronoï introduced the so-called secondary cone of Delaunay subdivision in [\textit{G. Voronoï}, J. Reine Angew. Math. 133, 97--178 (1908; JFM 38.0261.01)] and proved that the set of all secondary cones is an open polyhedral subdivision of \(S^n_{>0}\) (viewed as the set of all positive definite symmetric matrices) on which the group \(\mathrm{GL}_n(\mathbb{Z})\) acts by conjugation. The iso-edge domain introduced in [\textit{S. S. Ryshkov} and \textit{E. P. Baranovskii}, Proc. Steklov Inst. Math. 137, 140 p. (1976; Zbl 0419.10031); translation from Tr. Mat. Inst. Steklov 137, 131 p. (1976); translation from Tr. Mat. Inst. Steklov 137, 131 p. (1976)] is a coarser subdivision of \(S^n_{>0}\). Following the methodology developed in [\textit{M. Dutour Sikirić} et al., J. Pure Appl. Algebra 220, No. 7, 2564--2589 (2016; Zbl 1408.11051)] the authors prove the mass formula (Theorem 4.1). Theorem 4.1. Let us take \(n\geq 3\). Let us take the set \(\mathcal{S}\) of all iso-edge domains which contain a positive definite matrix. The group \(\mathrm{GL}_n(\mathbb{Z})\) acts on \(\mathcal{S}\) and for any \(S\in \mathcal{S}\) we denote by \(\mathrm{Stab}(S)\) its stabilizer. Then we have the formula \[ \sum_{S\in \mathcal{S}} \frac{(-1)^{\mathrm{dim}\, S}}{\mathrm{Stab}(S)}=0. \] Furthermore, they prove the Conway-Sloane conjecture about vonorms (see [\textit{J. H. Conway} and \textit{N. J. A. Sloane}, Proc. R. Soc. Lond., Ser. A 436, No. 1896, 55--68 (1992; Zbl 0747.11027)]) in dimension \(5\) (Theorem 5.3). For \(n\in \{4,5\}\), the authors showed that the Fourier transform of the vonorm functional is non-negative if and only if \(A\in S^n_{>0}\) lies in the matroidal locus (Theorems 6.4 and 6.5).