Concerning the semistability of tensor products in Arakelov geometry (Q387850): Difference between revisions
From MaRDI portal
Latest revision as of 04:41, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Concerning the semistability of tensor products in Arakelov geometry |
scientific article |
Statements
Concerning the semistability of tensor products in Arakelov geometry (English)
0 references
17 December 2013
0 references
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\), then it is well known that the semistabilities of \(E\) and \(F\) imply the semistability of \(E\otimes F\). The aim of the article under review is to investigate the arithmetic analogue of this result in the context of Arakelov geometry. Precisely, for any two Hermitian vector bundles \(\overline{E}\) and \(\overline{F}\) over an arithmetic curve \(\text{Spec}(\mathcal{O}_K)\) where \(\mathcal{O}_K\) is the ring of integers in a number field \(K\), the authors showed that the maximal slopes of \(\overline{E}\), \(\overline{F}\) and \(\overline{E}\otimes\overline{F}\) satisfy the inequality \[ \widehat{\mu}_{\text{max}}(\overline{E}\otimes\overline{F})\leq\widehat{\mu}_{\text{max}}(\overline{E})+\widehat{\mu}_{\text{max}}(\overline{F}) +\frac{1}{2}\text{min}(\log(\text{rk}E),\log(\text{rk}F)). \] They also proved that \(\widehat{\mu}(\overline{V})\leq\widehat{\mu}_{\text{max}}(\overline{E})+\widehat{\mu}_{\text{max}}(\overline{F})\) if \(V\) is an \(\mathcal{O}_K\)-submodule of \(E\otimes F\) of rank \(\leq 4\). This fact will imply that, if \(\overline{E}\) and \(\overline{F}\) are semistable and if \(\text{rk}E.\text{rk}F\leq 9\), then \(\overline{E}\otimes\overline{F}\) also is semistable.
0 references
Hermitian vector bundle
0 references
tensor product
0 references
semi-stability
0 references
0 references