Concerning the semistability of tensor products in Arakelov geometry (Q387850): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Shun Tang / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6238892 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hermitian vector bundle | |||
Property / zbMATH Keywords: Hermitian vector bundle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tensor product | |||
Property / zbMATH Keywords: tensor product / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semi-stability | |||
Property / zbMATH Keywords: semi-stability / rank | |||
Normal rank |
Revision as of 13:20, 29 June 2023
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