--- abstract: | We study the semistability of the tensor product of hermitian vector bundles by using the $\varepsilon$-tensor product and the geometric (semi)stability of vector subspaces in the tensor product of two vector spaces. Notably, for any number field $K$ and any hermitian vector bundles $\olE$ and $\olF$ over $\operatorname{Spec}\OK$, we show that the maximal slopes of $\olE,$ $\olF$, and $\olE \otimes \olF$ satisfy the following inequality : $$\hat{\mu}_{\max}(\overline E\otimes\overline F) \leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F)+\frac 12\min\big(\log (\operatorname{rk}E),\log(\operatorname{rk}F) \big).$$ We also prove that, for any $\OK$-submodule $V$ of $E \otimes F$ of rank $\leqslant 4,$ the slope of $\olV$ satisfies: $$\hat{\mu}(\overline V)\leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F).$$ This shows that, if $\overline E$ and $\overline F$ are semistable and if $\operatorname{rk}E. \operatorname{rk}F \leqslant 9$, then $\overline E\otimes\overline F$ also is semistable. address: - 'Université Paris Sud – Orsay, Département de Mathématiques' - 'Institut de Mathématiques de Jussieu, Université Paris Diderot and BICMR, Peking University' author: - 'Jean-Benoît Bost' - Huayi Chen bibliography: - 'chen.bib' - 'complJBB.bib' title: | Concerning the semistability of\ tensor products in Arakelov geometry --- Nous étudions la semi-stabilité du produit tensoriel de fibrés vectoriels hermitiens en utlisant le produit $\varepsilon$-tensoriel et la (semi-)stabilité géométrique des sous-espaces vectoriels dans le produit tensoriel de deux espaces vectoriels. En particulier, si $K$ désigne un corps de nombres et si $\olE$ et $\olF$ sont deux fibrés vectoriels hermitiens sur $\operatorname{Spec}\OK$, nous montrons que les pentes maximales de $\olE,$ $\olF$ et $\olE \otimes \olF$ satisfont à l'inégalité : $$\hat{\mu}_{\max}(\overline E\otimes\overline F) \leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F)+\frac 12\min\big(\log (\operatorname{rk}E),\log(\operatorname{rk}F)\big).$$ Nous prouvons aussi que, pour tout sous $\OK$-module $V$ de $E \otimes F$ de rang $\leqslant 4,$ la pente de $\olV$ vérifie: $$\hat{\mu}(\overline V)\leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F).$$ Cela entraîne que, si $\operatorname{rk}E. \operatorname{rk}F \leqslant 9$ et que $\overline E$ et $\overline F$ sont semistables, le produit tensoriel $\overline E\otimes\overline F$ l'est aussi. Introduction ============ {#debut} This article is devoted to problems in Arakelov geometry motivated by classical results in the theory of vector bundles on a projective curve over a field. Notably we investigate the arithmetic analogue of the following: \[Thm:NS\] Let $k$ be a field of characteristic $0$, and let $E$ and $F$ be two vector bundles on a smooth projective integral curve $C$ over $k$. If $E$ and $F$ are semistable, then $E\otimes F$ also is semistable. When $k= \C,$ Theorem \[Thm:NS\] is a straightforward consequence of the existence, first established by Narasimhan and Seshadri @Nara_Se65, of projectively flat metrics on stable vector bundles (see also @Donaldson83 and @Siu87, notably Chapter I, Appendix A). This entails Theorem \[Thm:NS\] for an arbitrary base field $k$ of characteristic zero, by considering a subfield $k_0$ of $k$ of finite type over $\Q$ over which $C$ and $E,$ and $F$ are defined, and a field embedding of $k_0$ in $\C$ (see for instance @HuybrechtsLehn2010, Section 1.3, for the relevant invariance property of semistability under extension of the base field). Algebraic proofs of Theorem \[Thm:NS\] that do not rely on the "analytic crutch" of special hermitian metrics have been devised by several authors. Notably such as an algebraic proof may be easily derived from Bogomolov's work on stable vector bundles (@Bogomolov78; see also @Raynaud81). Actually the fact that, over curves, Bogomolov's notion of semistable vector bundles (the so-called tensorial semistability) is equivalent to the classical one (in terms of slopes of subbundles) directly implies Theorem \[Thm:NS\]. An extension of Theorem \[Thm:NS\], concerning semistable $G$-bundles for $G$ an arbitrary reductive group, has been established by Ramanan and Ramanathan @Ramanan_Ramanathan. Their technique of proof, which like Bogomolov's one relies on geometric invariant theory, turned out to be crucial in the study of the preservation of semistability by tensor products in various contexts (see notably @Totaro96), in particular in Arakelov geometry (@Chen_pm). Besides, Theorem \[Thm:NS\] may be derived from the basic theory of ample and nef line bundles on projective schemes over fields, as pointed out for instance in @Miyaoka87 (see *loc. cit.*, Section 3, completed by a reference to @Hart2, Corollary 5.3; see also @Gieseker79, and the discussion in @LazarsfeldII, Chapter 6). We shall discuss related arguments in more details in paragraph \[geotens\] below. {#section} Recall that Arakelov geometry is concerned with analogues in an arithmetic context of projective varieties over some base field $k$, of vector bundles $F$ over them, and of their $\Z$-valued invariants defined by means of characteristic classes and intersection theory. The objects of interest in Arakelov geometry are projective flat schemes $\cX$ over $\Z$, say regular for simplicity, and *hermitian vector bundles* over them: by definition, a hermitian vector bundle over $\cX$ is a pair $\olE := (E, \Vert.\Vert)$ consisting of some vector bundle $E$ over $\cX$ and of some $C^\infty$ hermitian metric $\Vert.\Vert$, invariant under complex conjugation, on the analytic vector bundle $E^{an}_\C$ over the complex manifold $\cX(\C)$, that is deduced from $E$ by the base change $\Z \hookrightarrow \C$ and analytification. Arakelov geometric invariants attached to such data are real numbers. The simplest instance of schemes $\cX$ as above are "arithmetic curves" $\operatorname{Spec}\OK$, defined by the ring of integers $\OK$ of some number field $K$. A hermitian vector bundle $\olE$ over $\operatorname{Spec}\OK$ is precisely the data of some finitely generated projective $\OK$-module $E$, and of a family of hermitian norms $(\Vert.\Vert_\sigma)_{\sigma: K\hookrightarrow \C}$ on the finite dimensional $\C$-vector spaces $E_\sigma:= E\otimes_{\OK, \sigma}\C$, invariant under complex conjugation. Basic operations, such as $\oplus,$ $\otimes,$ $\Lambda^\bullet,$ may be defined on hermitian vector bundles in an obvious way. Moreover, if $f: \cX' \rightarrow \cX$ is a morphism between $\Z$-schemes as above, and $\olE$ some hermitian vector bundle over $\cX,$ we may form its pull-back $$f^\ast\olE:= (f^\ast E, f_\C^{an \ast}\Vert.\Vert),$$ which is a hermitian vector bundle over $\cX'.$ When $K\hookrightarrow K'$ is an extension of number fields and when $f$ is the morphism $$\label{deff} f: \operatorname{Spec}\cO_{K'} \longrightarrow \operatorname{Spec}\OK$$ defined by the inclusion $\OK \hookrightarrow \cO_{K'},$ this pull-back construction maps the hermitian vector bundle $$\olE:= (E, (\Vert.\Vert_\sigma)_{\sigma: K\hookrightarrow \C})$$ to $$f^\ast\olE := (E', (\Vert.\Vert'_{\sigma'})_{\sigma': K'\hookrightarrow \C}),$$ where $E':=E\otimes_{\OK}\cO_{K'}$ and, for any $\sigma': K'\hookrightarrow \C$ of restriction $\sigma:=\sigma'_{\mid K},$ we let $$\Vert.\Vert'_{\sigma'} := \Vert.\Vert_\sigma \mbox{ on } E'_{\sigma'} \simeq E_\sigma.$$ The *Arakelov degree* of the hermitian vector bundle $\olE$ over $\operatorname{Spec}\OK$ is defined as the real number $$\operatorname{\widehat{\deg}}\olE := \log \vert E/\OK s\vert - \sum_{\sigma: K \hookrightarrow \C} \log \Vert s\Vert_\sigma$$ when $\operatorname{rk}E =1,$ where $s$ denotes any element of $E\setminus\{0\},$ and as $$\operatorname{\widehat{\deg}}\olE := \operatorname{\widehat{\deg}}\Lambda^{\operatorname{rk}E} \olE$$ in general. It turns out to be convenient to introduce also the *normalized* Arakelov degree : $$\operatorname{\widehat{\deg}_{\mathrm{n}}}\olE := \frac{1}{[K:\Q]} \operatorname{\widehat{\deg}}\olE.$$ It is indeed invariant by extension of the base field $K$. Namely, for any extension of number fields $K \hookrightarrow K',$ we have $$\label{ndeginv} \operatorname{\widehat{\deg}_{\mathrm{n}}}\pi^\ast \olE = \operatorname{\widehat{\deg}_{\mathrm{n}}}\olE$$ where $$\pi: \operatorname{Spec}\cO_{K'} \longrightarrow \operatorname{Spec}\OK$$ denotes the morphism defined by the inclusion $\OK \hookrightarrow \cO_{K'}.$ As pointed out by Stuhler (when $\OK = \Z$) and Grayson, the Arakelov degree satisfies formal properties similar to the ones of the degree of vector bundles on smooth projective curves over some base field $k$. This allowed them to define some arithmetic analogues of *semistability*, of *successive slopes*, and of the *Harder-Narasimhan filtration*, concerning hermitian vector bundles over arithmetic curves (@Stuhler76, @Grayson84. We refer to @Andre09 and @Chen_hn for general discussions of the formalisms of slopes and associated filtrations). Indeed, if $\olE$ is an arithmetic vector bundle over $\operatorname{Spec}\OK,$ of positive rank $\operatorname{rk}E,$ its *slope* is defined as the quotient $$\mua(\olE) := \frac{\operatorname{\widehat{\deg}_{\mathrm{n}}}\olE}{\operatorname{rk}E}.$$ The hermitian vector bundle $\olE := (E, \Vert.\Vert_{\sigma: K \hookrightarrow \C})$ is said to be *semistable* if, for every non-zero $\OK$-submodule $F$ of $E,$ the hermitian vector bundle $\olF$ (defined by $F$ equipped with the restriction to $F_\sigma$ of the hermitian metric $\Vert.\Vert_\sigma$) satisfies $$\mua(\olF) \leqslant \mua (\olE).$$ To define the successive slopes and the Harder-Narasimhan filtration of $\olE$, we consider the set of points in $\R^2$ of the form $(\operatorname{rk}F,\operatorname{\widehat{\deg}_{\mathrm{n}}}\olF),$ where $F$ varies over the $\OK$-submodules of $E.$ The closed convex hull of this set may be also described as $$\mathcal{C}_{\olE} := \{ (x,y) \in [0, \operatorname{rk}E] \times \R \mid y \leqslant P_{\olE}(x) \}$$ for some (uniquely determined) concave function $$P_{\olE} : [0,\operatorname{rk}E] \longrightarrow \R,$$ which is affine on every interval $[i-1,i],$ $i \in \{1,\ldots,\operatorname{rk}E\}.$ The *$i$-th slope* $\mua_i(\olE)$ of $\olE$ is the derivative of $P_{\olE}$ on this interval. These slopes satisfy $$\mua_1(\olE) \geqslant \mua_2(\olE) \geqslant \ldots \geqslant \mua_{\operatorname{rk}E}(\olE),$$ and $$\sum_{i=1}^{\operatorname{rk}E} \mua_i(\olE) = \operatorname{\widehat{\deg}_{\mathrm{n}}}\olE.$$ Any vertex of the so-called canonical polygon $\mathcal{C}_{\olE}$ — that is, any point $(i, P_{\olE}(i))$ where $i$ is either $0,$ $\operatorname{rk}E,$ or an integer in $]0,\operatorname{rk}E[$ such that $\mua_i(\olE) > \mua_{i+1}(\olE)$ — is of the form $(\operatorname{rk}F, \operatorname{\widehat{\deg}_{\mathrm{n}}}\olF)$ for some uniquely determined $\OK$-submodule $F$ of $E.$ Moreover these submodules are saturated (a $ \mathcal O_K$-submodule $F$ of $E$ is said to be saturated if $E/F$ is torsion-free) and fit into a filtration $$0 = E_0 \subsetneq E_1 \subsetneq \ldots \subsetneq E_N = E,$$ the so-called *Harder-Narasimhan*, or *canonical, filtration* of $\olE.$ It is straightforward that $$\begin{split} \mua_{\max} (\olE) & := \mua_1 (\olE) \\ & = \max_{0 \neq F \subset E} \mua (\olF), \end{split}$$ and that $\olE$ is semistable iff $\mua_{\max} (\olE) = \mua (\olE)$, or equivalently iff $P_{\olE}$ is linear, or iff the Harder-Narasimhan filtration of $E$ is trivial (that is : $E_0 =E,$ $E_1=E$). It is natural to consider the joint data of the Harder-Narasimhan filtration $(E_k)_{0 \leqslant k \leqslant N}$ and of the successive slopes $$\mua (\overline{E_k/E_{k-1}}) = \mua_i(\olE) \mbox{ for } \operatorname{rk}E_{k-1} < i \leqslant \operatorname{rk}E_k.$$ They define the weighted Harder-Narasimhan filtration, an instance of weighted filtration, or weighted flag, in the $K$-vector space $E_K$ (in the sense of Section \[SubSec:weighted\] *infra*), or equivalently, of a point in the real vectorial building $I(\mathrm{GL}(E_K))$ attached to the reductive group $\mathrm{GL}(E_K)$ over $K$ (see @Rousseau81a). {#section-1} The successive slopes $(\mua_i(\olE))_{1\leqslant i \leqslant \operatorname{rk}E}$ of a hermitian vector bundle $\olE$ satisfy remarkable formal properties. For instance, from the basic properties of the Arakelov degree, one easily derives the following relations between the slopes of some hermitian vector bundle $\olE$ over $\operatorname{Spec}\OK$ and of its dual $\olE^\vee$ : $$\label{transfer} \mua_i(\olE^\vee) = - \mua_{\operatorname{rk}E + 1 -i} (\olE).$$ Besides, the invariance of the normalized Arakelov degree under number field extensions (\[ndeginv\]) and the canonical character of the Harder-Narasimhan filtration, together with a simple Galois descent argument, imply (@BostBour96, Proposition A.2; compare @HuybrechtsLehn2010, Lemma 3.2.2) : \[arpullback\] Let $K$ denote a number field, $K'$ a finite extension of $K$, and $$\pi : \operatorname{Spec}\cO_{K'} \longrightarrow \operatorname{Spec}\OK$$ the scheme morphism defined by the inclusion $\OK \hookrightarrow \cO_{K'}.$ If $\olE$ is a hermitian vector bundle over $\operatorname{Spec}\OK$, and if $(E_i)_{0\leqslant i \leqslant N}$ denotes its Harder-Narasimhan filtration, then the Harder-Narasimhan filtration of $\pi^\ast \olE$ is $(\pi^\ast E_i)_{0\leqslant i \leqslant N}$ $(:= (E_i \otimes_{\OK} \cO_{K'}))$. Consequently, for any $i \in \{1, \ldots, \operatorname{rk}E\},$ $$\label{arpullbackslopes} \mua_i(\pi^\ast \olE) = \mua_i (\olE),$$ and $\pi^\ast \olE$ is semistable if (and only if) $\olE$ is semistable. A hermitian vector bundle $\olE := (E, \Vert. \Vert)$ over $\operatorname{Spec}\Z$ is nothing else than a Euclidean lattice. Its Arakelov degree may be expressed in terms of its covolume ${\rm covol}\, \olE$: $$\widehat{\deg}\, \olE = - \log {\rm covol}\, \olE,$$ and its successive slopes are related to its successive minima, classically defined in geometry of numbers (@Cassels97, Chapter VIII). For instance, if we consider the first of those : $$\lambda_1(\olE) := \min_{v \in E \setminus \{0\}} \Vert v \Vert,$$ Minkowski's First Theorem easily implies (see @Borek05, or @Bost_Kunnemann, 3.2 and 3.3) : $$\label{compfirstmax} 0 \leqslant \mua_{\max} (\olE) - \log \lambda_1(\olE)^{-1} \leqslant \frac{1}{2} \log \operatorname{rk}E.$$ In brief, successive slopes may be seen as variants of the classical successive minima of Euclidean lattices which make sense for hermitian vector bundles, not only over $\operatorname{Spec}\Z,$ but over arbitrary arithmetic curves, and are compatible with extensions of number fields. Moreover they appear to be "better behaved" than the classical successive minima. For instance relations (\[transfer\]) may be seen as an avatar of the "transference theorems" relating successive minima of some euclidean lattice and of its dual lattice (cf. @Cassels97, VIII.5, and @Banaszczyk93). However these theorems are not equalities, but involve error terms depending on the rank of the lattice, whereas the slope relations (\[transfer\]) are exact equalities. These properties of the slopes of hermitian vector bundles make them especially useful when using Diophantine approximation techniques in the framework of Arakelov geometry : working with slopes turns out to be an alternative to the classical use of Siegel's Lemma; their "good behavior" — notably their invariance under number fields extensions — make them a particularly flexible tool, leading to technical simplifications in diverse Diophantine geometry proofs (see for instance @BostBour96 and @Bost2001, and @BostICM for references). {#section-2} Let $K$ be a number field and let $\olE$ and $\olF$ be two hermitian vector bundles of positive rank over $\operatorname{Spec}\OK.$ Recall that we have : $$\mua(\olE \otimes \olF) = \mua(\olE)+ \mua(\olF).$$ Applied to submodules of $E$ and $F$, this implies the inequality: $$\mua_{\max} (\olE \otimes \olF) \geqslant \mua_{\max}(\olE) + \mua_{\max}(\olF)$$ (see for instance @Chen_pm, Proposition 2.4). In this article, we study the following: <span>Problem</span>\[mumaxconj\] Let $K$ be a number field and let $\olE$ and $\olF$ be two hermitian vector bundles of positive rank over $\operatorname{Spec}\OK.$ Does the equality $$\label{equamax} \mua_{\max} (\olE \otimes \olF) = \mua_{\max}(\olE) + \mua_{\max}(\olF)$$ hold ? In other words, is it true that, for any $\OK$-submodule $V$ of positive rank in $E\otimes F,$ the following inequality $$\label{equamaxbis} \mua (\olV) \leqslant \mua_{\max}(\olE) + \mua_{\max}(\olF)$$ holds ? This problem is easily seen to admit the following equivalent formulation: <span>Problem</span>\[semistableconj\] Does the semistability of $\olE$ and $\olF$ imply the one of $\olE \otimes \olF$ ? and the following one as well: <span>Problem</span>\[HNtens\] Does the weighted Harder-Narasimhan filtration of $\olE \otimes \olF$ coincide with the tensor product[^1] of the ones of $\olE$ and $\olF$ ? {#geotens} To put these problems in perspective, we present a simple proof showing that their geometric counterparts, concerning vector bundles on smooth projective curves over a field of characteristic zero, have a positive answer. This will demonstrate how Theorem 1.1 may be derived from the basic theory of ample line bundles on projective varieties. (Our argument is in the spirit of the arguments in @Miyaoka87 and @Hart2 alluded to in \[debut\], *supra*. However it avoids to resort to the representation theory of the linear group. We refer the reader to @HuybrechtsLehn2010, sections 3.1-2, and @LazarsfeldII, Chapter 6, for related results and references.)[^2] Let $C$ be a smooth projective integral curve over some base field $k$, that we shall assume algebraically closed for simplicity. The analogue of the invariant $\log \lambda_1(\olE)^{-1}$ (attached to some Euclidean lattice $\olE$) for a vector bundle $E$ of positive rank over $C$ is its *upper degree*[^3]: $$\operatorname{\mathrm{udeg}}E := \max_{L \hookrightarrow E, \operatorname{rk}L = 1} \deg L.$$ Recall that, if $C'$ is another smooth projective integral curve over $k$ and $\pi: C' \rightarrow C$ a dominant (and consequently surjective and finite) $k$-morphism, then for any vector bundle $E$ over $C$, we have: $$\deg \pi^\ast E = \deg \pi . \deg E,$$ where $\deg \pi$ denotes the degree of the field extension $\pi^\ast : k(C) \rightarrow k(C').$ Consequently the slope of vector bundles, defined as $$\mu(E) := \frac{\deg E}{\operatorname{rk}E},$$ satisfies $$\mu(\pi^\ast E) = \deg \pi. \mu(E)$$ and therefore the maximal slope, defined as $$\mu_{\max}(E):=\max_{0 \neq F \hookrightarrow E} \mu(F),$$ satisfies $$\mu_{\max}(\pi^\ast E) \geqslant \deg \pi. \mu_{\max}(E).$$ In general, when the characteristic of $k$ is positive, this inequality may be strict (@Hart4, @Gieseker73). However, when $k$ is a field of characteristic zero or, more generally, when $\pi$ is generically separable, a Galois descent argument establishes the equality $$\label{pullbackmumax} \mu_{\max}(\pi^\ast E) = \deg \pi. \mu_{\max}(E).$$ (See for instance @HuybrechtsLehn2010, Lemma 3.2.2. It is the geometric counterpart of Proposition \[arpullback\]. The occurrence of the factor $\deg \pi$ in (\[pullbackmumax\]), that does not appear in the arithmetic analogue (\[arpullbackslopes\]), comes from the use of the *normalized* degree in the arithmetic case.) Similarly we have : $$\operatorname{\mathrm{udeg}}\pi^\ast E \geqslant \deg \pi. \operatorname{\mathrm{udeg}}E.$$ Here the inequality may be strict even in the characteristic zero case[^4]. However the *stable upper degree* of $E$, $$\operatorname{\mathrm{sudeg}}E := \sup_{\pi : C' \twoheadrightarrow C} \frac{1}{\deg \pi} \operatorname{\mathrm{udeg}}\pi^\ast E,$$ defined by considering all the finite coverings $\pi : C' \twoheadrightarrow C$ as above, becomes compatible with finite coverings by its very definition. Namely, for every finite covering $\pi : C' \twoheadrightarrow C$, we have: $$\operatorname{\mathrm{sudeg}}\pi^\ast E = \deg \pi.\operatorname{\mathrm{sudeg}}E.$$ The following result is well-known (compare @LazarsfeldII, Section 6.4), but does not seem to be explicitly stated in the literature. \[mumsudegg\] If $k$ has characteristic zero, then, for any vector bundle of positive rank over $C$, we have: $$\label{sumax} \operatorname{\mathrm{sudeg}}E = \mu_{\max}(E).$$ Let us briefly recall how this Proposition follows from the basic properties of nef line bundles over projective varieties[^5]. \[Proof of Proposition \[mumsudegg\]\] Together with the invariance of the maximum slope by pull-back (\[pullbackmumax\]), the trivial inequality $$\operatorname{\mathrm{udeg}}E \leqslant \mu_{\max} (E)$$ applied over finite coverings of $C$ shows that: $$\operatorname{\mathrm{sudeg}}E \leqslant \mu_{\max}(E).$$ To establish the opposite inequality, consider the projective bundle $$\PP_{\rm sub} (E) = \PP(E^\vee) := \mathbf{Proj} ({\rm Sym}(E^\vee)),$$ its structural morphism $$p: \PP_{\rm sub} (E)\longrightarrow C,$$ and the canonical quotient line bundle over $\PP_{\rm sub} (E)$ $$p^\ast E^\vee \stackrel{q}{\longrightarrow} \cO_{E^\vee}(1).$$ Consider also a point $c$ in $C(k)$. The line bundle $\cO_{E^\vee}(1)$ is ample relatively to $p$, and $\cO(c)$ is ample over $C$. Consequently the set of rational numbers $$\left\{ \delta \in \Q \mid \cO_{E^\vee}(1) \otimes p^\ast \cO (\delta.c) \mbox{ is nef} \right \}$$ is of the form $\Q \cap [\lambda, + \infty[$ for some (uniquely defined) real number $\lambda.$ We claim that $$\label{lambdasud} \lambda = \operatorname{\mathrm{sudeg}}E.$$ Indeed, for any smooth projective integral curve $C'$ over $k$, the datum of a $k$-morphism $$\nu : C' \longrightarrow \PP_{\rm sub}(E)$$ is equivalent to the data of a $k$-morphism $$\pi : C' \longrightarrow C$$ and of a quotient line bundle over $C'$ of $\pi^\ast E^\vee$: $$\label{Mq} \pi^\ast E^\vee \longrightarrow M.$$ (This follows from the very definition of $\PP_{\rm sub}(E) \simeq \PP(E^\vee).$ To $\nu$ is attached the morphism $\pi := p\circ \nu$ and the quotient line bundle $$\pi^\ast E^\vee \simeq \nu^\ast p^\ast E^\vee \stackrel{\nu^\ast q}{\longrightarrow} M:= \nu^\ast \cO_{\vee}(1).)$$ In turn, giving the quotient line bundle $\pi^*E^\vee\rightarrow M$ is equivalent to giving a (saturated) sub-line bundle: $$M^\vee \hookrightarrow \pi^\ast E.$$ Moreover, with the above notation, we have for every $\delta \in \Q$ : $$\begin{split} \deg_{C'} \nu^\ast (\cO_{E^\vee}(1) \otimes p^\ast \cO(\delta.c)) & = \deg_{C'} M + \deg_{C'} \pi^\ast \cO(\delta.c) \\ & = - \deg_{C'} M^\vee + \delta \deg \pi. \end{split}$$ This degree is always non-negative when $\pi$ is constant (then $\nu$ factorizes through a fiber of $p$, over which $\cO_{E^\vee}(1)$ is ample). Consequently it is non-negative for every $\nu: C' \rightarrow \PP_{\rm sub} (E)$ iff $\delta \geqslant \operatorname{\mathrm{sudeg}}E.$ This establishes (\[lambdasud\]). To complete the proof, we are left to show $$\label{maxlambda} \mu_{\rm max} (E) \leqslant \lambda.$$ Let $e:= \operatorname{rk}E.$ Recall that the direct image by $p$ of the class $c_1(\cO_{E^\vee}(1))^e$ in the Chow group $\mathrm{CH}^e (\PP_{\rm sub}(E))$ is the class $$p_\ast c_1(\cO_{E^\vee}(1))^e = - c_1(E)$$ in $\mathrm{CH}^1(C)$ and that $$p_\ast c_1(\cO_{E^\vee}(1))^{e-1} = [C]$$ in $\mathrm{CH}^0(C)$ (see for instance @Fulton, Section 3.2). Consequently $$\begin{split} c_1(\cO_{E^\vee}(1)\otimes p^\ast \cO(\delta.c))^e.[\PP_{\rm sub}(E)] & = p_\ast(c_1(\cO_{E^\vee}(1)\otimes p^\ast \cO(\delta.c))^e).[C] \\ & = \sum_{0\leqslant i \leqslant e} \binom{e}{i} p_\ast(c_1(\cO_{E^\vee}(1))^i) c_1(\cO(\delta.c))^{e-i}. [C]\\ & = (-c_1(E) + e \delta c_1(\cO(c)). [C]\\ & = - \deg E + e \delta \\ & = e (\delta - \mu(E)). \end{split}$$ More generally, for any (saturated) subvector bundle $F$ of $E$, of positive rank $f$, the projective bundle $\PP_{\rm sub}(F)$ embeds canonically into $\PP_{\rm sub}(E)$ and the restriction of $\cO_{E^\vee}(1)$ to $\PP_{\rm sub}(F)$ may be identified with $\cO_{F^\vee}(1),$ and we get : $$c_1(\cO_{E^\vee}(1)\otimes p^\ast \cO(\delta.c))^f.[\PP_{\rm sub}(F)] = f (\delta - \mu(F)).$$ When $\cO_{E^\vee}(1)\otimes p^\ast \cO(\delta.c)$ is nef, this intersection number is non-negative. This establishes the required inequality (\[maxlambda\]). Proposition \[mumsudegg\] will allow us to derive Theorem \[Thm:NS\] in the equivalent form: \[Thm:NS'\] If $k$ has characteristic zero, then for any two vector bundles $E$ and $F$ of positive rank over $C,$ we have: $$\mu_{\max}(E\otimes F) = \mu_{\max}(E) + \mu_{\max}(F).$$ Observe that, as in the arithmetic case, the slope of vector bundles of positive rank over a curve is additive under tensor product: $$\mu(E\otimes F) = \mu(E) + \mu(F),$$ and that this immediately yields the inequality: $$\mu_{\max}(E\otimes F) \geqslant \mu_{\max}(E) + \mu_{\max}(F).$$ Our derivation of the opposite inequality will rely on the following observation (compare @Bost_Kunnemann, Prop. 3.4.1 and 3.8.1): \[Lemm:udegmax\] For any two vector bundles $E$ and $F$ of positive rank over $C$, we have $$\label{udegmax} \operatorname{\mathrm{udeg}}E \otimes F \leqslant \mu_{\max}(E) + \mu_{\max}(F).$$ Observe that the inequality (\[udegmax\]) holds even when the base field $k$ has positive characteristic. Let us denote $K:= k(C)$ the function field of $C$. Consider $L$ a line bundle in $E\otimes F$. By restriction to the generic point of $C$, it defines a one-dimensional vector subspace $L_K$ in the $K$-vector space $(E\otimes F)_K \simeq E_K \otimes_K F_K.$ Let $l$ be a non-zero element of $L_K$, and let $V_K$ and $W_K$ the minimal $K$-vector subspaces of $E_K$ and $F_K$ such that $l \in V_K \otimes_KW_K$ : the element $l$ of $E_K\otimes_K F_K$ may be identified with a $K$-linear map $T$ in $\operatorname{Hom}_K(E_K^\vee, F_K)$ (resp. with $^t T$ in $\operatorname{Hom}(F_K^\vee,E_K)$), and $W_K$ (resp. $V_K$) is the image of $T$ (resp. $^t T$). Moreover the $K$-linear map $\tilde{T}:V_K^\vee \rightarrow W_K$ defined by $l$ seen as an element of $V_K\otimes_K W_K$ is invertible. Clearly $V_K$ and $W_K$ do not depend of the choice of $l$ in $L_K\setminus\{0\}$, and if $V$ and $W$ denote the saturated coherent subsheaves of $E$ and $F$ whose restrictions to the generic point of $C$ are $V_K$ and $W_K$, then $L$ is included in $V\otimes W$, which is saturated in $E\otimes F$. Let $r$ denote the common rank of $V$ and $W$. Let us denote $${\rm{det}}_{L,K} := L_K^{\otimes r} \stackrel{\sim}{\longrightarrow} (\Lambda^r V \otimes \Lambda^r W)_K$$ the unique $K$-isomorphism (of one-dimensional $K$-vector spaces) that maps $l^{\otimes r}$ to $\det \tilde{T}$, which is an element of $$\operatorname{Hom}_K( \Lambda^r V_K^\vee, \Lambda^r W_K) \simeq (\Lambda^r V \otimes \Lambda^r W)_K.$$ Observe that, if $L$, $V$, and $W$ may be trivialized over some open subscheme $U$ of $C$, and if $l$ is a regular section of $L$ over $U,$ then $\det \tilde{T}$ defines a morphism of line bundles over $U$, from $\Lambda^r V_U^\vee$ to $\Lambda^r W_U$. This shows that ${\rm{det}}_{L,K}$ is the restriction to the generic point of $C$ of a morphism of line bundles over $C$: $${\rm{det}}_L : L^{\otimes r} \longrightarrow \Lambda^r V \otimes \Lambda^r W.$$ Since ${\rm{det}}_{L,K}\neq 0,$ we obtain : $$\deg L^{\otimes r} \leqslant \deg (\Lambda^r V \otimes \Lambda^r W),$$ or equivalently: $$\deg L \leqslant \mu(V) +\mu(W).$$ This shows that $$\deg L \leqslant \mu_{\max}(E) + \mu_{\max}(F).$$ \[Proof of Theorem \[Thm:NS'\]\] For any finite covering $\pi : C' \rightarrow C,$ we may apply Lemma \[Lemm:udegmax\] to $\pi^\ast E$ and $\pi^\ast F$. So we have : $$\frac{1}{\deg \pi} \operatorname{\mathrm{udeg}}\pi^\ast(E\otimes F) \leqslant \frac{1}{\deg \pi} \mu_{\max} (\pi^\ast E) + \frac{1}{\deg \pi} \mu_{\max}(\pi^\ast F).$$ When $k$ is a field of characteristic zero, we may use the "invariance" of the maximal slope under finite coverings (\[pullbackmumax\]), and we obtain $$\label{sudeggmax} \operatorname{\mathrm{sudeg}}E\otimes F \leqslant \mu_{\max}(E) +\mu_{\max}(F).$$ Together with Proposition \[mumsudegg\], this establishes the inequality $$\mu_{\max}(E \otimes F) \leqslant \mu_{\max}(E) +\mu_{\max}(F).$$ {#Subsec:sudegree} In the arithmetic situation, we may attach analogues of the upper and stable upper degree to hermitian vector bundles over arbitrary arithmetic curves. Namely, if $K$ is a number field and $\olE$ a hermitian vector bundle of positive rank over $\operatorname{Spec}\OK$, we define its *upper arithmetic degree* $\operatorname{\mathrm{u}\widehat{\deg}_{\mathrm{n}}}\olE$ as the maximum of the (normalized) Arakelov degree $\operatorname{\widehat{\deg}_{\mathrm{n}}}\olL$ of a $\OK$-submodule $L$ of rank $1$ in $E$ equipped with the hermitian structure induced by the one of $\olE$ (@Bost_Kunnemann, 3.3), and its *stable upper arithmetic degree* as $$\operatorname{\mathrm{su}\widehat{\deg}_{\mathrm{n}}}\olE := \sup_{K'} \operatorname{\mathrm{u}\widehat{\deg}_{\mathrm{n}}}\pi^\ast \olE,$$ where $K'$ varies over all finite extensions of $K,$ and $\pi: \operatorname{Spec}\cO_{K'} \rightarrow \operatorname{Spec}\OK$ denotes the associated morphism. The analogue of Lemma \[Lemm:udegmax\] still holds in this context. In other words, the conjectural estimate (\[equamaxbis\]) is true when $\operatorname{rk}V = 1.$ (@Bost_Kunnemann, Prop. 3.4.1). Together with the invariance of arithmetic slopes under extensions of number fields (Proposition \[arpullback\]), this establishes: \[sudegtens\] For any two hermitian vector bundles of positive rank $\olE$ and $\olF$ over $\operatorname{Spec}\OK,$ $$\operatorname{\mathrm{su}\widehat{\deg}_{\mathrm{n}}}\olE \otimes \olF \leqslant \mua_{\max}(\olE) + \mua_{\max}(\olF).$$ To establish the additivity of maximal slopes under tensor product for hermitian vector bundles (\[equamax\]), it would be enough to know that, as in the geometric case dealt with in Proposition \[mumsudegg\], the stable upper degree and the maximal slope of a hermitain vector bundle coincide. Unfortunately, this is *not* the case. More specifically, the trivial inequality $$\operatorname{\mathrm{u}\widehat{\deg}_{\mathrm{n}}}\olE \leqslant \mua_{\max} (\olE),$$ together with Proposition \[arpullback\] show that $$\operatorname{\mathrm{su}\widehat{\deg}_{\mathrm{n}}}\olE \leqslant \mua_{\max} (\olE).$$ Hermitian vector bundles for which this inequality is strict are easily found[^6]: \[propA2\] Let $A_2$ be the euclidean lattice $\Z^3 \cap A_{2,\R}$ in the hyperplane $$A_{2,\R} := \left\{(x_1,x_2,x_3) \in \R^3 \mid x_1 +x_2 +x_3 =0\right\}$$ of $\R^3$ equipped with the standard euclidean norm. Then, seen as a hermitian vector bundle over $\operatorname{Spec}\Z,$ $A_2$ is semi-stable and satisfies $$\label{Aprems} \mua_{\max}(A_2) = \mua(A_2) = -\frac{1}{4} \log 3$$ and $$\label{Abis} \operatorname{\mathrm{su}\widehat{\deg}_{\mathrm{n}}}(A_2) = -\frac{1}{2} \log 2.$$ The semistability of $A_2$ follows from the fact that the natural representation by permutation of the coordinates of the symmetric group $\frak{S}_3$ on $A_{2,\R}$ is (absolutely) irreducible and preserves $A_2$ (@BostBour96, Proposition A.3, and Proposition \[PropirredAut\] *infra*). The covolume of $A_2$ is $\sqrt{3}$, and consequently $$\operatorname{\widehat{\deg}}A_2 = - \log \sqrt{3}.$$ Together with the semistability of $A_2$, this establish (\[Aprems\]). To derive (\[Abis\]), firstly we observe that, for any $i \in \{1,2,3\}$, the $\Z$-submodule $L_i$ of rank 1 in $A_2$ defined by the equation $X_i = 0$, satisfies $$\operatorname{\widehat{\deg}}\olL_i = -\frac{1}{2} \log 2.$$ (The line $X_1 =0$, for instance, admits as $\Z$-basis the vector $(0,1-1)$, of euclidean norm $\sqrt{2}$.) Beside we claim that, *for any number field $K$ and any $\OK$-submodule $L$ of rank $1$ in $\pi^\ast A_2 := A_2 \otimes_\Z \OK$ distinct from the three modules $\pi^\ast L_i,$ we have :* $$\label{Ater} \operatorname{\widehat{\deg}_{\mathrm{n}}}\olL \leqslant -\frac{1}{2} \log 3.$$ This will complete the proof of (\[Abis\]) (actually, of a more precise result). Observe also that (\[Ater\]) may be an equality : consider a number field $K$ containing a primitive third root of unity $\zeta_3$, and $L:= \OK (1, \zeta_3, \zeta_3^2).$ To establish the upper bound (\[Ater\]), consider the $\OK-$linear morphisms $$X_{i\mid L} : L \longrightarrow \cO_K, \,\,\,\, i\in\{1,2,3\}.$$ By hypothesis they are non-zero, and therefore the following inequalities hold, as straightforward consequences of the definition of the Arakelov degree : $$\operatorname{\widehat{\deg}_{\mathrm{n}}}\olL \leqslant -\frac{1}{[K:\Q]} \sum_{\sigma : K \hookrightarrow \C} \log \Vert X_{i \mid L}\Vert_\sigma.$$ This implies : $$3 \operatorname{\widehat{\deg}_{\mathrm{n}}}\olL \leqslant -\frac{1}{[K:\Q]} \sum_{\sigma : K \hookrightarrow \C} \log \prod_{1\leqslant i \leqslant 3}\Vert X_{i \mid L}\Vert_\sigma.$$ To conclude, observe that, for any $(z_1, z_2, z_3)$ in $A_{2,\C}$, we have $$\vert z_1 z_2 z_3 \vert \leqslant 3^{-3/2} (\vert z_1 \vert^2 + \vert z_2\vert^2+\vert z_3\vert^2)^{3/2},$$ and therefore, for every embedding $\sigma : K \hookrightarrow \C,$ $$\log \prod_{1\leqslant i \leqslant 3}\Vert X_{i \mid L}\Vert_\sigma \leqslant -\frac{3}{2} \log 3.$$ Proposition \[propA2\] and its proof may be extended to higher dimensions. We leave as an exercise for the reader the proof of the following : \[propAn\] Let $n$ be a positive integer, and let $A_n$ be the euclidean lattice $\Z^{n+1} \cap A_{n,\R}$ in the hyperplane $$A_{n,\R} := \left\{(x_0,\ldots, x_n) \in \R^{n+1} \mid x_0 +\ldots +x_n =0\right\}$$ of $\R^{n+1}$ equipped with the standard euclidean norm. The hermitian vector bundle $A_n$ over $\operatorname{Spec}\Z$ is semi-stable and its (maximal) slope is $$\mua(A_n) = -\frac{1}{2n} \log (n+1).$$ Moreover, $$\operatorname{\mathrm{su}\widehat{\deg}_{\mathrm{n}}}(A_2) = -\frac{1}{2} \log 2.$$ More precisely, for any number field $K$ and any $\OK$-submodule $L$ of rank 1 in $\pi^\ast A_n := A_n \otimes_\Z \OK,$ we have $$\operatorname{\widehat{\deg}_{\mathrm{n}}}\olL \leqslant -\frac{1}{2} \log \alpha(L),$$ where $\alpha(L)$ denotes the integer $\geqslant 2$ defined as the cardinality of $$\left\{ i \in \{0,\ldots,n\} \mid X_{i,L} \neq 0 \right\}.$$ Although the stable upper arithmetic degree and the maximal slope of a hermitian vector bundle $\olE$ over $\operatorname{Spec}\OK$ may not not coincide, they differ by some additive error bounded in terms of $\operatorname{rk}E$ only: \[absMink\] For any positive integer $r$, there exists $C(r)$ in $\R_+$ such that, for any number field $K$ and any hermitian vector bundle $\olE$ over $\operatorname{Spec}\OK$, $$\label{eq:absMink} \mua_{\max} (\olE) \leqslant \operatorname{\mathrm{su}\widehat{\deg}_{\mathrm{n}}}(\olE) + C(r).$$ As pointed out in @BostBour96, Appendix, this follows from Zhang's theory of ample hermitian line bundles in Arakelov geometry (@Zhang95) applied to projective spaces, and actually appears as an arithmetic analogue of the above derivation of Proposition \[mumsudegg\] from the classical theory of ample and nef line bundles applied to projective bundles over curves. Proposition \[absMink\] has been independently established by Roy and Thunder @RoyThunder96, who used direct arguments of geometry of numbers. Their proof shows that Proposition \[absMink\] holds with $$\label{RT} C(r) = \frac{\log 2}{2} (r-1).$$ Actually, by using Zhang's theory carefully, one obtains that it actually holds with $$C(r) = \frac{1}{2}\ell(r),$$ where $$\ell(r) := \sum_{2\leqslant i \leqslant r} \frac{1}{i}$$ (see for instance @DavidPhilippon99, section 4.2, or @Gaudron_Remond, section 3.2). This improves on (\[RT\]), since $\ell(r) \leqslant \log r$, and is actually optimal, up to some bounded error term, as shown by Gaudron and Rémond in @Gaudron_Remond. Observe that, from Propositions \[sudegtens\] and \[absMink\], we immediately derive: \[tenserr\] For any two hermitian vector bundles $\olE$ and $\olF$ over some arithmetic curve $\operatorname{Spec}\OK,$ we have: $$\label{eq:tenserr} \mua_{\max} (\olE \otimes \olF) \leqslant \mua_{\max} (\olE) + \mua_{\max}(\olF) + C(\operatorname{rk}E . \operatorname{rk}F).$$ Here $C(\operatorname{rk}E . \operatorname{rk}F)$ denotes the value of the constant $C(r)$ occurring in Proposition \[absMink\] when $r = \operatorname{rk}E . \operatorname{rk}F.$ According to the above discussion of the possible value of $C(r)$, we obtain (see also @Andre10, Theorem 0.5): $$\label{eq:tenserrbis} \begin{split} \mua_{\max} (\olE \otimes \olF) & \leqslant \mua_{\max} (\olE) + \mua_{\max}(\olF) + \ell(\operatorname{rk}E . \operatorname{rk}F) \\ & \leqslant \mua_{\max} (\olE) + \mua_{\max}(\olF) + \frac{1}{2} \log\operatorname{rk}E + \frac{1}{2}\log \operatorname{rk}F. \end{split}$$ {#section-3} In 1997, the first author discussed Problems \[mumaxconj\]–\[HNtens\] above during a conference in Oberwolfach (@Bost97Bis), and presented some evidence for a *positive* answer to these problems, namely (i) the upper bound in Proposition \[sudegtens\] and the consequent validity of (\[equamax\]) up to an error term stated in Corollary \[tenserr\] above, (ii) a positive answer to Problem \[semistableconj\] when $\olE$ or $\olF$ possesses an automorphism group acting irreducibly (Proposition \[PropirredAut\] *infra*), and (iii) when $\olE$ and $\olF$ have rank two (paragraph \[rk2\] below). He also discussed the geometric approach in Section \[geotens\] and the examples in Propositions \[propA2\] and \[propAn\] showing that $\operatorname{\mathrm{su}\widehat{\deg}_{\mathrm{n}}}\olE$ can be smaller than $\mua_{\max}(\olE)$. This discussion, showing that, concerning vector bundles and projective bundles over curves, the analogy between number fields and function fields is not complete[^7], made especially intriguing the available evidence for the "good behavior" under tensor product of slopes of hermitian vector bundles. In the next two paragraphs, we briefly discuss the positive evidence for this preservation mentioned in points (ii) and (iii) above. {#irredAut} If $\olE := (E, \Vert.\Vert)$ is a hermitian vector bundle over $\operatorname{Spec}\OK$, we shall denote $\operatorname{Aut}\olE$ its automorphism group, namely the finite subgroup of $\mathrm{GL}_{\OK}(E)$ consisting of elements the image of which in $\mathrm{GL}_\C (E_\sigma)$ is unitary with respect to $\Vert.\Vert_\sigma$ for every embedding $\sigma: K \hookrightarrow \C$. Observe that, if $\olF$ denotes another hermitian vector bundle over $\operatorname{Spec}\OK,$ of positive rank, there is a natural injection of automorphism groups: $$\begin{array}{rcl} \operatorname{Aut}\olE & \longrightarrow & \operatorname{Aut}(\olE \otimes \olF) \\ \phi & \longmapsto & \phi \otimes \mathrm{Id}_F. \end{array}$$ The following Proposition is a straightforward consequence of the invariance of Harder-Narasimhan filtrations under automorphism groups (compare @BostBour96, Proposition A.3): \[PropirredAut\] Let $\olE$ be a hermitian vector bundle of positive rank over $\operatorname{Spec}\OK$ over such that the natural representation $$\operatorname{Aut}\olE \hookrightarrow \mathrm{GL}_{\OK} (E) \hookrightarrow \mathrm{GL}_K (E_K)$$ of $\operatorname{Aut}\olE$ in $E_K$ is absolutely irreducible. For any hermitian vector bundle of positive rank $\olF$ over $\operatorname{Spec}\OK,$ of canonical filtration $(F_i)_{0\leqslant i \leqslant N}$, the canonical filtration of $\olE \otimes \olF$ is $(E \otimes F_i)_{0\leqslant i \leqslant N}$. In particular $\olE$ is semistable, and for any semistable hermitian vector bundle $\olF$ over $\operatorname{Spec}\OK$, $\olE \otimes \olF$ is semistable. Hermitian vector bundles $\olE$ such that the natural representation of $\operatorname{Aut}\olE$ in $E_K$ is absolutely irreducible naturally arise. For instance, diverse remarkable classical euclidean lattices — seen as hermitian vector bundles over $\operatorname{Spec}\Z$ — satisfy this condition, for instance the root lattices and the Leech lattice (@ConwaySloane99). Other examples of such hermitian vector bundles are given by the hermitian vector bundles defined by sections of ample line bundles over (semi-)abelian schemes over $\operatorname{Spec}\OK$ (@BostBour96, @Pazuki09). {#rk2} We now turn to Problems \[mumaxconj\]–\[HNtens\] for rank two vector bundles. We want to explain why, in this case, they have positive answers — that is, explicitly: \[proprk2\]Let $K$ be a number field and let $\olE$ and $\olF$ be two hermitian vector bundles of rank two over $\operatorname{Spec}\OK$. For any $\OK$-submodule of $E\otimes F$ of positive rank, we have: $$\label{murk2} \mua(\olV) \leqslant \mua_{\max}(\olE) + \mua_{\max}(\olF).$$ This result is actually contained in the more general results established in the sequel. However some basic, but important, geometric ideas are already displayed in the proof of this simple case, that avoids the intricacies of the more general situations considered below. We need to establish (\[murk2\]) for $V$ saturated of rank 1, 2, or 3. The case $\operatorname{rk}V = 1$ has been dealt with in Proposition \[sudegtens\]). The case $\operatorname{rk}V = 3$ reduces to the case $\operatorname{rk}V=1$ by means of the following simple duality result applied to $\olG = \olE \otimes \olF,$ together with the isomorphism $(\olE \otimes \olF)^\vee \simeq \olE^\vee \otimes \olF^\vee$ (compare @deShalit_Parzan, section 1.5): \[Lem:dualite\] Let $\olG := (G, \Vert.\Vert)$ be a hermitian vector bundle over some arithmetic curve $\operatorname{Spec}\OK$, and let $\olG^\vee := (G^\vee, \Vert. \Vert^\vee)$ denote its dual. Let $V$ be some saturated $\OK$-submodule of $G,$ and let $V^\perp$ its orthogonal (saturated) submodule in $G^\vee$: $$V^\perp := \left\{ \xi \in G^\vee \mid \xi_{\mid V} = 0\right\}.$$ Equipped with the restrictions of $\Vert.\Vert$ and $\Vert.\Vert^\vee$, they define hermitian vector bundles $\olV$ and $\olV^\perp$ that fit into a natural short exact sequence which is compatible with metrics : $$0 \longrightarrow \olV^\perp \longrightarrow \olG^\vee \longrightarrow \olV^\vee \longrightarrow 0.$$ Consequently $$\operatorname{\widehat{\deg}}\olV^\perp = \operatorname{\widehat{\deg}}\olV - \operatorname{\widehat{\deg}}\olG,$$ and, if $\operatorname{rk}V$ (and consequently $\operatorname{rk}V^\perp$) is $\neq 0$ or $\operatorname{rk}G$, $$\mua (\olV) \leqslant \mua(\olG) \mbox{ iff } \mua(\olV^\perp) \leqslant \mua(\olG^\vee).$$ To handle the case $\operatorname{rk}V =2,$ we consider the quadratic form $\det_{E,F}$ on $E\otimes F$ with values in the line $\Lambda^2 E \otimes \Lambda^2 F$ — that is the element of $S^2(E\otimes F)^\vee \otimes \Lambda^2 E \otimes \Lambda^2 F$ which maps an element $\phi$ of $E \otimes F \simeq \operatorname{Hom}(E^\vee, F)$ to its determinant $\det \phi$ in $\operatorname{Hom}(\Lambda^2 E^\vee, \Lambda^2 F)\simeq \Lambda^2 E \otimes \Lambda^2 F$ — and the relative position of the projective line $\PP_{\rm sub}(V)$ and of the quadric $\cQ$ of equation $\det_{E,F} = 0,$ that parametrizes "simple tensors" in $E \otimes F$, in the projective space $\PP_{\rm sub}(E \otimes F)$. One easily checks that $\PP_{\rm sub}(V)$ is contained in $\cQ$ precisely when $V$ is of the form $V = L \otimes F$ for some saturated $\OK$–submodule $L$ of rank 1 in $E$, or of the form $V = E \otimes M$ for some saturated $\OK$–submodule $M$ of rank 1 in $F$. When this holds, we have : $$\mua(\olV) = \mua(\olL) + \mua(\olF) \leqslant \mua_{\max}(\olE) + \mua (\olF)$$ or $$\mua(\olV) = \mua(\olF) + \mua(\olM) \leqslant \mua(\olE) + \mua_{\max}(\olF).$$ Suppose now that $\PP_{\rm sub}(V)$ is not contained in $\cQ$. There exists some $\overline{K}$-rational point in the intersection of the line $\PP_{\rm sub}(V)$ and of the hypersurface $\cQ$ (the scheme $(\PP_{\rm sub}(V)\cap\cQ)_K$ is actually a zero dimensional scheme of length 2 over $K$). After possibly replacing the field $K$ by some finite extension — which is allowed according to the invariance of slopes under extension of the base field — we may assume that there exist some rational point $P$ in this intersection. The saturated $\OK$-submodule of $V$ defined by the $K$-line attached to $P$ is of the form $L \otimes M$ where $L$ (resp. $M$) denotes a saturated $\OK$-submodule of rank 1 in $E$ (resp. in $F$). The composite morphism $$p : V \hookrightarrow E \otimes F \twoheadrightarrow E/L \otimes F$$ is non-zero (indeed $V \not\subset L \otimes F,$ since $\PP_{\rm sub}(V) \not\subset \cQ$) and its kernel contains $L\otimes M$. Consequently its image ${\rm im\,} p$ is a $\OK$-submodule of rank 1 in $E/L \otimes F$ and its kernel $\ker p$ is $L\otimes M.$ Moreover $p : \olV \rightarrow \overline{E/L} \otimes \olF$ is of archimedean norms $\leqslant 1$. This implies: $$\operatorname{\widehat{\deg}_{\mathrm{n}}}\overline{{\rm im\,} p} \leqslant \mua_{\max}(\overline{E/L}\otimes \olF) = \operatorname{\widehat{\deg}_{\mathrm{n}}}\overline{E/L} + \mua_{\max} (\olF)$$ and $$\operatorname{\widehat{\deg}_{\mathrm{n}}}\olV \leqslant \operatorname{\widehat{\deg}_{\mathrm{n}}}\olL \otimes \olM + \operatorname{\widehat{\deg}_{\mathrm{n}}}\overline{{\rm im\,}p}.$$ As $\operatorname{\widehat{\deg}_{\mathrm{n}}}\olL \otimes \olM = \operatorname{\widehat{\deg}_{\mathrm{n}}}\olL + \operatorname{\widehat{\deg}_{\mathrm{n}}}\olM$ and $\operatorname{\widehat{\deg}_{\mathrm{n}}}\overline{E/L} = \operatorname{\widehat{\deg}_{\mathrm{n}}}\overline{E} - \operatorname{\widehat{\deg}_{\mathrm{n}}}\overline{L},$ we finally obtain: $$\operatorname{\widehat{\deg}_{\mathrm{n}}}\olV \leqslant \operatorname{\widehat{\deg}_{\mathrm{n}}}\olM + \mua_{\max}(F) \leqslant \mua_{\max}(\olE) + \mua_{\max}(\olF).$$ This completes the proof of (\[murk2\]) and of Proposition \[proprk2\]. Observe that, even if one wants to establishes the upper bound (\[murk2\]) for euclidean lattices only (that is, when $K=\Q$), the above arguments uses the formalism of hermitian vector bundles over $\operatorname{Spec}\OK$ for larger number fields : the introduction of the point $P$ requires in general to introduce a quadratic extension of the initial base field $K$. It is also worth noting that a refinement of these arguments shows that, when $(\PP_{\rm sub}(V)\cap\cQ)_K$ is a *reduced* zero-dimensional scheme — or equivalently when *the line $\PP_{\rm sub}(V)$ and the quadric $\cQ$ meet in precisely two points over* $\overline{K}$, or when the *Plücker points* $\Lambda^2 V_{\olK}\setminus \{0\}$ of $V_{\olK}$ in $\Lambda^2(E\otimes F)_{\olK}$ are *semi-stable* with respect to the action of $\mathrm{SL}(E_{\olK}) \times \mathrm{SL}(F_{\olK})$ in the sense of geometric invariant theory — then the following stronger inequality holds: $$\label{2stable} \operatorname{\widehat{\deg}_{\mathrm{n}}}\olV \leqslant \mua(\olE) + \mua(\olF).$$ Indeed, in this situation there exists a ${\olK}$-basis $(e_1,e_2)$ (resp. $(f_1,f_2)$) of $E_{\olK}$ (resp. $F_{\olK}$) such that $(e_1\otimes f_1, e_2 \otimes f_2)$ is a $\olK$-basis of $V_{\olK}$. Actually this holds precisely when $$\left\{[e_1\otimes f_1], [e_2\otimes f_2]\right\} = (\PP_{\rm sub}(V)\cap\cQ)(\olK).$$ After a possible finite extension of $K$, we may assume that $(e_1,e_2)$ and $(f_1,f_2)$) are actually $K$-bases of $E_{K}$ and $F_{K}$. Then the inequality (\[2stable\]) is a consequence of the following local inequalities, valid with obvious notations for every place $v$ of $K$, $p$-adic or archimedean: $$\label{rk2loc} \Vert e_1\otimes f_1 \wedge e_2 \otimes f_2 \Vert_v \geqslant \Vert e_1 \wedge e_2\Vert_v . \Vert f_1 \otimes f_2\Vert_v.$$ To establish (\[rk2loc\]), by homogeneity, we may assume that $\Vert e_1 \Vert_v = \Vert f_1 \Vert_v =1$ and choose linear forms of norm $1$, $$\eta : E_{K_v} \longrightarrow K_v \mbox{ and } \phi :E_{K_v} \longrightarrow K_v$$ such that $$\eta(e_1) = \phi(f_1) = 0.$$ Then $$\label{rk2encore} \vert \eta(e_2)\vert_v = \Vert e_1 \wedge e_2\Vert_v \mbox{ and } \vert \phi(f_2) \vert_v = \Vert f_1 \otimes f_2\Vert_v.$$ Moreover $\eta \otimes \phi$ is a linear form of norm $1$ on $(E\otimes F)_{K_v}$ and vanishes on the vector $e_1 \otimes f_1$, which satisfies $\Vert e_1 \otimes f_1 \Vert_v = 1.$ Consequently the restriction of $\eta \otimes \phi$ to $V_{K_v}$ has norm $\leqslant 1$, and $$\label{rk2enfin} \vert (\eta \otimes \phi) (e_2 \otimes f_2 )\vert_v \leqslant \Vert e_1\otimes f_1 \wedge e_2\otimes f_2\Vert_v.$$ Finally (\[rk2loc\]) follows from (\[rk2encore\]) and (\[rk2enfin\]). {#ElsdSP} Additional positive evidence for a positive answer to Problems Problems \[mumaxconj\]–\[HNtens\] has been obtained by Elsenhans (in his Göttingen Diplomarbeit @Elsenhans01 under the supervision of U. Stuhler) and by de Shalit and Parzanchevski (@deShalit_Parzan). They show that the inequality $$\label{Basic} \mua(\olV) \leqslant \mua_{\max}(\olE) + \mua_{\max}(\olF)$$ holds for any sublattice $V$ in the tensor product of two euclidean lattices $\olE$ and $\olF$ under the following conditions on their ranks : $\operatorname{rk}E =2$ and $\operatorname{rk}V \leqslant 4$ (@Elsenhans01), or $\operatorname{rk}V \leqslant 3$ (@deShalit_Parzan). The arguments in @Elsenhans01 and @deShalit_Parzan rely on some specific features of the theory of euclidean lattices and of their reduction theory in low ranks, and consequently do not generalize to hermitian vector bundles over general arithmetic curves $\operatorname{Spec}\OK$. Besides, these arguments make conspicuous the role of the *tensorial rank* of elements of $E\otimes F$ when investigating the inequality (\[Basic\]). (The tensorial rank of a vector $\alpha$ in $E\otimes F$ is defined as the minimal integer $m\geqslant 0$ such that $\alpha$ can be written in the form $x_1\otimes y_1+\cdots+x_m\otimes y_m$ with $x_1,\ldots,x_m\in E$ and $y_1,\ldots,y_m\in F$. It is also the rank of $\alpha$ considered as a homomorphism of $\mathbb Z$-modules from $E^\vee$ to $F$. Note that split tensor vectors — namely tensor vectors of tensorial rank $1$ — have also been considered by Kitaoka to study the first minimum of tensor product lattices; see @Kitaoka93 for a survey.) {#approx} Concerning the "approximate validity" of the additivity of maximal slopes under tensor product (that is, of equality (\[equamax\]) in Problem \[mumaxconj\]) established by means of Zhang's version of the "absolute Siegel's Lemma" stated in Proposition \[absMink\], the best result available in the literature seems to be the one in @Gaudron_Remond: $$\label{Equ:Gaudron-Remond}\hat{\mu}_{\max}(\overline E_1\otimes\cdots\otimes\overline E_n)\leqslant\sum_{i=1}^n\Big(\hat{\mu}_{\max}(\overline E_i)+\frac 12\log(\operatorname{rk}(E_i))\Big).$$ (Observe that does not follow formally from the special case when $n=2$; a similar observation applies to *infra*.) Another method for establishing that type of inequality has been developed by the second author (@Chen_pm). This method, which involves the geometric invariant theory of (the geometric generic fibers of ) subbundles in tensor products, may be considered as an analogue in Arakelov geometry of the method of Ramanan and Ramanathan @Ramanan_Ramanathan (based on previous results of Kempf @Kempf78), and of its elaboration by Totaro in @Totaro96. It is directly related to the study of geometric invariant theory in the context of Arakelov geometry and of related height inequalities by Burnol @Burnol92, Bost @Bost94, Zhang @Zhang96, and Gasbarri @Gasbarri00. The key point of the method consists of estimating the Arakelov degree of some hermitian line subbundle of a tensor product under some additional geometric semistability condition. By using the classical theory of invariants (cf. @Weyl [Ch. III] and @Atiyah_Bott_Patodi [Appendix 1]) to make "explicit" the geometric semistabiltiy condition, one derives an upper bound for the Arakelov degree of the given hermitian line subbundle. The general case can be reduced to the former one (where some geometric semistability condition is satisfied) by means of Kempf's instability flag. By this technique, the upper bound $$\label{Equ:Chen}\hat{\mu}_{\max}(\overline E_1\otimes\cdots\otimes\overline E_n)\leqslant\sum_{i=1}^n\Big(\hat{\mu}_{\max}(\overline E_i)+\log(\operatorname{rk}(E_i))\Big)$$ has been proved in @Chen_pm for any family hermitian vector bundles $(\overline E_i)_{i=1}^n$ of positive rank over an arbitrary arithmetic curve $\operatorname{Spec}\OK$. Beside avoiding the use of higher dimensional Arakelov geometry, implicit via Zhang's version of the "absolute Siegel's Lemma" in the previous approach, this method also shows that a positive answer to Problems \[mumaxconj\]-\[HNtens\] is equivalent to a positive answer to: <span>Problem</span>\[mustableconj\] Let $K$ be a number field and $(\overline E_i)_{i=1}^n$ a family of hermitian vector bundles of positive rank over $\operatorname{Spec}\OK.$ Is it true that, for any $\OK$-submodule $V$ of positive rank in $E_1\otimes\cdots\otimes E_n$ such that the Plücker point of $V_{\olK}$ is semistable under the action of $\mathrm{SL}(E_{1,\olK})\times\cdots\times \mathrm{SL}(E_{n,\olK})$, the inequality $$\label{equamustableconj} \mua (\olV) \leqslant\sum_{i=1}^n\hat{\mu}(\overline E_i)$$ hold ? {#section-4} The three lines of approach to the behavior of slopes of hermitian vector bundles discussed in paragraphs \[approx\] and \[ElsdSP\] may seem to be rather distinct at first sight. They are however closely related. For instance the first two approaches rely on some version of reduction theory and of Minkowski's first theorem. The tensorial rank, essential in the arguments of @Elsenhans01 and @deShalit_Parzan, occurs naturally in the geometric invariant theory of tensor products, as it precisely distinguishes the orbits of $\mathrm{SL}(E_{\olK})\times \mathrm{SL}(F_{\olK})$ acting on $E_{\olK} \otimes F_{\olK}$ . It also appears in the proof of (\[2stable\]) above and in in @Gaudron_Remond [§5.2]. Moreover, as we show in the sequel, a suitable combination of these approaches leads to new evidences for a positive answer to Problems \[mumaxconj\]-\[HNtens\] and \[mustableconj\], encompassing previously known results. It also provides new insights on possible refinements of the conjectural slopes inequalities formulated in these problems. Our results may be summarized as follows: <span>Theorem A</span> For any two hermitian vector bundles of positive rank $\overline E$ and $\overline F$ over some arithmetic curve $\operatorname{Spec}\OK$, we have : $$\hat{\mu}_{\max}(\overline E\otimes\overline F) \leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F)+\frac 12\min\big(\ell(\operatorname{rk}(E)),\ell(\operatorname{rk}(F))\big).$$ (Recall that, for any integer $r\geqslant 1$, $\ell(r):= \sum_{2\leqslant j\leqslant r} \frac{1}{j} \leqslant \log r$.) <span>Theorem B</span> Let $\overline E$ and $\overline F$ be two hermitian vector bundles of positive rank over some arithmetic curve $\operatorname{Spec}\OK$. For any hermitian vector subbundle $\overline V$ of $\overline E\otimes\overline F$ such that $\operatorname{rk}(V)\leqslant 4$, one has $$\hat{\mu}(\overline V)\leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F).$$ Moreover, if $\overline E$ and $\overline F$ are semistable and if $\operatorname{rk}(E)\operatorname{rk}(F)\leqslant 9$, then $\overline E\otimes\overline F$ also issemistable. Theorem A implies (by induction on $n$) that the following inequality $$\hat{\mu}_{\max}(\overline E_1\otimes\cdots\otimes\overline E_n) \leqslant\sum_{i=1}^n\hat{\mu}_{\max}(\overline E_i)+\sum_{i=2}^n\frac 12\log\operatorname{rk}(E_i)$$ holds for any finite collection $(\overline E_i)_{i=1}^n$ of hermitian vector bundles of positive ranks on $\operatorname{Spec}\mathcal O_K$. This result has been announced in 2007 (cf. @Bost07Bis), together with the related upper bound for the Arakelov degree of line subbundles in the tensor product of several normed vector bundles stated to Corollary \[Cor:tensor\] <span>*infra*</span>. The proof of these results (and the actual formulation of Corollary \[Cor:tensor\]) uses $\varepsilon$-tensor products of hermitian vector bundles. For any two hermitian vector bundles $\overline E$ and $\overline F$, the $\varepsilon$-tensor product $\overline E\otimes_{\varepsilon}\overline F$ is an adelic vector bundle (in the sense of Gaudron @Gaudron07). Its construction is similar to the one of the usual hermitian tensor product $\overline E\otimes\overline F$, except that, at archimedean places, the hermitian tensor product norms (or equivalently, the Hilbert-Schmidt norms when we identify $E\otimes F$ to $\operatorname{Hom}(E^\vee,F)$) are replaced by the $\varepsilon$-tensor product norms (that is, the operator norms on $E\otimes F \simeq \operatorname{Hom}(E^\vee,F)$). It happens that various slope inequalities, already known for hermitian tensor products, still hold for $\varepsilon$-tensor product. For example, for any hermitian line subbundle $\overline M$ of $\overline E\otimes_{\varepsilon}\overline F$, we have the following variant of the inequality in Proposition \[sudegtens\]. $$\label{Equ:rg1}\operatorname{\widehat{\deg}_{\mathrm{n}}}(\overline M)\leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F).$$ This formula can actually be considered as a slope inequality, concerning morphisms between hermitian vector bundles (see the proof of Proposition \[Pro:upp2\]). Moreover it is stronger than the initial version in Proposition \[sudegtens\] (where $\overline M$ would be replaced by the hermitian line subbundle of $\overline E\otimes\overline F$ with the same underlying $\OK$-module $M$) since the operator (or $\varepsilon$-) norm is not larger than the Hilbert-Schmidt (hermitian) norm. A refinement of the inequality (\[Equ:rg1\]) leads to a short proof of Theorem A. As explained above, the inequality implies a particular case of Theorem B where the rank of $V$ is $1$. It seems delicate to study the slope of hermitian vector subbundles of a tensor product by using the technic of $\varepsilon$-tensor products, since a vector subbundle of rank $\geqslant 2$ of an $\varepsilon$-tensor product is not necessarily hermitian. Note however that the ratio of the Hilbert-Schmidt (hermitian) norm and the operator ($\varepsilon$-) norm of a vector in a tensor product of two Hermitian spaces is controlled by the tensorial rank of the vector. Based on this observation, we introduce a version of the inequality concerning again the hermitian tensor product, stronger than what would be *a priori* expected from the conjectural estimates in Problems \[mumaxconj\]-\[HNtens\]. Namely we show that, for any hermitian line subbundle $\overline M$ of $\overline E\otimes\overline F$, one has $$\label{Equ:lM} \operatorname{\widehat{\deg}_{\mathrm{n}}}(\overline M)\leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F)-\frac 12\log\rho(M),$$ where $\rho(M)$ is the tensorial rank of any non-zero vector in $M$. Actually in the "extreme case" where $\rho(M)=\operatorname{rk}(E)=\operatorname{rk}(F)$ — this condition is easily seen to be equivalent to the semistability of $M_{\olK}$ under the action of $\mathrm{SL}(E_{\olK}) \times\mathrm{SL}(F_{\olK})$ in the sense of the geometric invariant theory — we prove that $$\operatorname{\widehat{\deg}_{\mathrm{n}}}(\overline M)\leqslant\hat{\mu}(\overline E)+\hat{\mu}(\overline F)-\frac 12\log\rho(M).$$ This observation suggests that a geometric semistability condition could lead to stronger upper bounds for the slopes of hermitian vector subbundles in the tensor product of hermitian vector bundles than the ones conjectured in Problem \[mustableconj\]. As emphasized in Totaro @Totaro96, geometric semistability conditions (for general linear groups and their products) may be interpreted by means of auxiliary filtrations in a purely numerical way, without explicit mention of group actions. This interpretation becomes even clearer from a probabilistic point of view. Given a non-zero finite dimensional vector space $W$ equipped with a decreasing $\mathbb R$-filtration $\mathcal F$, we define a random variable $Z_{\mathcal F}$ on the probability space $\{1,\ldots,\operatorname{rk}(W)\}$ (equipped with the equidistributed probability measure) as $$Z_{\mathcal F}(i)=\sup\{t\in\mathbb R\,|\,\operatorname{rk}(\mathcal F^tW)\geqslant i\}.$$ The expectation of $\mathcal F$, denoted $\mathbb E[\mathcal F]$, is then defined as the expectation of the random variable $Z_{\mathcal F}$. If $E$ and $F$ are two vector spaces and if $V$ is a non-zero vector subspace of $E\otimes F$, we say that $V$ is *both-sided semistable* if for any filtration $\mathcal F$ of $E$ and any filtration $\mathcal G$ of $F$, one has $\mathbb E[(\mathcal F\otimes\mathcal G)|_V]\leqslant \mathbb E[\mathcal F]+\mathbb E[\mathcal G]$, where $(\mathcal F\otimes\mathcal G)|_V$ is the filtration of $V$ such that $$(\mathcal F\otimes\mathcal G)|_V^t(V)=V\cap\sum_{a+b=t}\mathcal F^a(E)\otimes\mathcal G^b(F).$$ The conjectural slope inequality (\[equamaxbis\]) implies that, if $\overline E$ and $\overline F$ are two hermitian vector bundles and if $\overline V$ is a non-zero hermitian vector subbundle of $\overline E\otimes\overline F$ such that $V$ is both-sided semistable, then: $$\hat{\mu}(\overline V)\leqslant\hat{\mu}(\overline E)+\hat{\mu}(\overline F).$$ Actually a refinement of this implication where we only assume that the conjecture holds "up to $\operatorname{rk}(V)$" is established in Theorem \[Thm:semi\]. The idea is similar to that in previous works such as @Bost94 [@Zhang96; @Gasbarri00]. However, the proof relies on Harder-Narasimhan filtrations indiced by $\mathbb R$ and is elementary, in the sense that it does not involve explicitly geometric invariant theory. By using Kempf's instability flag in this context, we show that, in order to establish the inequality $$\hat{\mu}(\overline V)\leqslant\hat{\mu}_{\max}(\overline E)+\hat{\mu}_{\max}(\overline F),$$ it suffices to prove the same inequality under the supplementary conditions that $\overline E$ and $\overline F$ are stable and that $V$
{'source': 'arXiv_out/1203'}