Minima, slopes and tensor algebra (Q375676): Difference between revisions

An adelic Hermitian bundle \(\overline{E}\) of dimension \(n\) over a number field \(k\) is roughly a pair \((E,(\|.\|\;)_{v})\) constituted by a vector space \(E\) of dimension \(n\) over \(k\) and a collection of norms \(\|.\|_{v}\) on \(E\) for all the places \(v\) of \(k\) (denoted by \(V(k)\)) (see definition 2.1 of the article for the precise definition of the adelic Hermitian bundle and its adelic matrix \(a=(a_v)_{v\in V(k)}\)). The height of a nonzero element of \(E\) is the product of the norms for all the places. The author considers the infimum of the heights of all the nonzero elements of \(E\otimes \overline{\mathbb Q}\) denoted by \(\Lambda(\overline{E},\overline{Q})\). Let \(\overline{E}\) be a Hermitian bundle on \(k\) given by an adelic matrix \(a=(a_v)_{v\in V(k)}\), the normalized slope \(\hat{\mu}(\overline{ E})\) of \(\overline{E}\) is the real number given by \(\hat{\mu}(\overline{E}):= -\frac{1}{\dim E}\sum_{v\in V(k)}\frac{[k_v:\mathbb Q_v]}{[k:\mathbb Q]}\log |\det a_v|_v\). The maximal slope \(\hat{\mu}_{\max}(\overline{E})\) of \(\overline{E}\) is the maximum of the slopes \(\hat{\mu}(\overline{F})\) when \(F\) spans all the nonzero vector subspaces of \(E\) with the metric induced by these on \(\overline{E}\). A deep result of \textit{S. Zhang} [J. Am. Math. Soc. 8, No. 1, 187--221 (1995; Zbl 0861.14018); Compos. Math. 104, No. 1, 77--105 (1996; Zbl 0924.11055)] states : For any adelic Hermitian bundle \(\overline{E}\) of dimension \(n\geq 1\) over a number field, one has \(1\leq \Lambda(\overline{E},\overline{\mathbb Q})e^{\hat{\mu}_{\max}(\overline{E})}\leq\sqrt{n}\). The authors complete this result by an absolute \textit{Minkowski-Hlawka type} theorem: {Theorem.} For every \(n\geq 1\) there exists an adelic Hermitian bundle of dimension \(n\) over a number field with \(\Lambda(\overline{E},\overline{\mathbb Q})e^{\hat{\mu}_{\max}(\overline{E})}\geq \sqrt{\frac{n}{e}}\). The behaviour of this result for the tensor product is given by {Théorèm 1.3}: For two Hermitian bundles \(\overline{E}\) and \(\overline{F}\) over a number field, we have \[ \Lambda(\overline{E},\overline{\mathbb Q})e^{-\hat{\mu}_{\max}(\overline{F})}\leq \Lambda(\overline{E}\otimes \overline{F}, \overline{\mathbb Q}). \] The authors generalize this result to several bundles in their {Corollary:} Let \(N\geq 1\) be an integer and \(\overline{E}_1,\dots \overline{E}_N\) Hermitian adelic bundles over a number field. The following inequalities hold \[ \begin{split} &1\leq \Lambda\Big(\otimes_{i=1}^N \overline{E}_i,\overline{\mathbb Q}\Big)^{-1}\prod_{i=1}^N \Lambda(\overline{E}_i,\overline{\mathbb Q})\leq \Big(\prod_{i=2}^N \dim E_i\Big)^{1/2},\\ & 0\leq \hat{\mu}_{\max} \Big(\otimes _{i=1}^N\overline{E}_i\Big) -\sum_{i=1}^N \hat{\mu}_{\max}(\overline{E}_i)\leq \frac{1}{2} \sum_{i=1}^N\log \dim E_i.\\ \end{split} \] In the second inequality, the authors improve the upper bound: \(\frac{1}{2} \sum_{i=1}^N\log \dim E_i\) instead of \(\sum_{i=1}^N\log \dim E_i\) obtained in [\textit{H. Chen}, J. Algebr. Geom. 18, No. 3, 575--603 (2009; Zbl 1170.14013)].