Skip to main content
1 of 5
José Hdz. Stgo.
  • 8.8k
  • 4
  • 68
  • 106

Intuition behind the proof of key step in Minkowski's second inequality on successive minima

I recently knew of this note in which Prof. M. Henk presents a proof of Minkowski's second inequality on successive minima which is (purportedly) based on ideas in Minkowski's original proof. Let me remind you that, for a centrally symmetric convex body $\mathcal{K} \subseteq \mathbb{R}^{n}$ and a lattice $\Lambda \subseteq \mathbb{R}^{n}$, the said inequality is the assertion that

$$(\lambda_{1} \cdots \lambda_{n}) \mathrm{vol}(\mathcal{K}) \leq 2^{n}\mathrm{det}(\Lambda)$$

where $\lambda_{i}$ is the $i$-th successive minimum of the body $\mathcal{K}$ with respect to the lattice $\Lambda$.

At the outset of the proof, Prof. Henk makes $K_{i} := \frac{\lambda_{i}}{2}\mathcal{K}$ for every $i \in \{1, \ldots,n \}$ and picks up $z^{1}, \ldots, z^{n} \in \mathbb{Z}^{n}$ in such a way that $z^{1} \in \lambda_{1}\mathcal{K}, \ldots, z^{n} \in \lambda_{n}\mathcal{K}$ and the set $\{z^{1}, \ldots, z^{n}\}$ is linearly independent. Moreover, he notes that the $z^{i}$ can be chosen so as to satisfy $$\mathbf{span}(z^{1}, \ldots, z^{i})=\mathbf{span}(e_{1}, \ldots, e_{i})=:L_{i}$$ where $\{e_{1}, \ldots, e_{n}\}$ is the standard basis of $\mathbb{R}^{n}$. Then, after defining $M_{q}^{n}$ as the set $\{u \in \mathbb{Z}^{n} \colon |u_{i}|\leq q, \, 1\leq i \leq n\}$ and $M_{q}^{i}$ as the intersection $M_{q}^{n} \cap L_{i}$, it is effortlessly established that $$\mathrm{vol}(M_{q}^{n}+K_{n}) \leq (2q+\gamma)^{n}$$ (for some positive constant $\gamma$) and that $$\mathrm{vol}(M_{q}^{n}+K_{1}) =(2q+1)^{n}\mathrm{vol}(K_{1}).$$ Then, it comes the important observation according to which the desired inequality would easily follow from what has just been proven and from the inequalities $$\mathrm{vol}(M_{q}^{n}+K_{i+1}) \geq \left(\frac{\lambda_{i+1}}{\lambda_{i}}\right)^{n-i} \mathrm{vol}(M_{q}^{n}+K_{i}) \qquad \qquad ... (*)$$ In my opinion, it is the verification of the inequalities in $(*)$ one of the key steps in Prof. Henk's proof of Minkowski's second inequality on successive minima. Unfortunately, even when it is possible to validate (or try at least) line by line the proof he provides, I must confess it is not clear to me what the overall idea behind it is... In case you have studied it through and through once, would you be so kind as to motivate and/or explain, in plain English, Henk's proof of the inequalities $(*)$ below?

Please, let me thank you in advance for your insightful replies.

José Hdz. Stgo.
  • 8.8k
  • 4
  • 68
  • 106