Slopes of Euclidean lattices, tensor product and group actions (Q2303678)

The slope \( \mu(L)\) (minimal slope \(\mu_{\min}(L) \)) of a nonzero Euclidean lattice is defined to be \((\mathrm{vol}\ L)^{1/\dim L} \) (resp. the minimum of the slopes of all its nonzero sublattices). A nonzero Euclidean lattice is called semistable, if its slope and minimal slope coincide. Denote by \(\mathcal{O}_K\) the ring of integers in a number field \( K \). Let \(L\) be a \(\mathcal{O}_K\) lattice of rank \(l\) in the vector space \(V\) over \(K\). Then \(L\) admits a pseudobasis \((\mathfrak{a}_i, b_i)_{1\le i \le l}\), where \(\mathfrak{a}_1,\ldots,\mathfrak{a}_l\) are fractional ideals and \(\{b_1, \ldots, b_l\} \) is a basis of \(V\) such that \( L=\sum_{i=1}^{l} \mathfrak{a}_ib_i \) (Theorem 81:3 in [\textit{O. T. O'Meara}, Introduction to quadratic forms. Reprint Berlin: Springer (2000; Zbl 1034.11003)]). Each embedding \( \sigma\colon K\rightarrow \mathbb{C} \) induces the embedding \( V\rightarrow \mathbb{C}\otimes_K V =: V_\sigma\). Let \( V_\sigma \) be equipped with a hermitian form \( h_\sigma \). The volume of a \( \mathcal{O}_K \) lattice \( L \) is defined to be \[ \mathrm{vol}\ L = \mathrm{N}\left(\prod_{i=1}^{l} \mathfrak{a}_i\right) \prod_{\sigma}\det(h_\sigma(b_i,b_j))^{e_\sigma}, \] where \( e_\sigma = 1 \) if \( \sigma \) is real and \( e_\sigma =2 \) otherwise. It has been conjectured that for \(\mathcal{O}_K \) lattices \( L \) and \( M \) one has \( \mu_{\min}(L\otimes_{\mathcal{O}_K} M)=\mu_{\min}(L)\mu_{\min}(M) \). The authors proved the conjecture under the following assumptions: the number field \(K\) is either totally real or CM field, the \(\mathcal{O}_K\) lattices \(L\) and \(M\) acted multiplicity-free by their automorphism groups, and \(L\) or \(M\) has at most two irreducible components.