Remarks on Euclidean minima (Q2637451): Difference between revisions

In this paper, the authors prove several interesting results on Euclidean minima of number fields. Let \(K\) be a number field and \(\mathcal{O}_K\) be the ring of integers of \(K\). The Euclidean minimum of \(x \in K\) is defined as \(m_{K}(x) := \inf_{y \in x + \mathcal{O}_K}|N_{K}(y)|\) and the Euclidean minimum of \(K\) is defined to be \(M_{K} := \sup_{x \in K}m_{K}(x)\). The Euclidean spectrum of \(K\) is the image \(\{m_{K}(x)~:~x \in K\}\). A number field \(K\) is said to be norm-Euclidean if its ring of integers \(\mathcal{O}_K\) is a Euclidean domain with respect to the absolute value of \(N_{K}\). The Euclidean minimum of \(K\) is a numerical measure of whether \(K\) is norm-Euclidean or not. For instance, \(K\) is norm-Euclidean if \(M(K) > 1\) and is not norm-Euclidean if \(M(K) < 1\). When \(K\) is a non-CM field whose unit group has rank at least \(2\), \textit{J.-P. Cerri} [J. Reine Angew. Math. 592, 49--62 (2006; Zbl 1102.11057)] carried out a detailed study of Euclidean minima and spectra. Cerri's work used results of \textit{D. Berend} [Trans. Am. Math. Soc. 280, 509--532 (1983; Zbl 0532.10028)] on rigidity of high rank irreducible commutative actions by toral automorphisms. In the paper under review, the authors carry out the analogous study for CM fields whose unit group has rank at least \(3\). The main tool is a measure rigidity result for reducible commutative actions by total automorphisms due to \textit{E. Lindenstrauss} and \textit{Z. Wang} [Duke Math. J. 161, No. 7, 1305--1350 (2012; Zbl 1258.37031)]. Further, they use results of \textit{Z. Wang} [Ergodic Theory Dyn. Syst. 32, No. 5, 1752--1782 (2012; Zbl 1278.37007)] to obtain bounds on the computational complexity of an algorithm to compute \(M_K\). A non-effective algorithm was provided earlier by Cerri. The paper is very well written.