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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the semi - stability problem of the tensor product of two Hermitian vector bundles in Arakelov geometry. Specifically, the author explores the following problems:
### Problem Description
For a number field \(K\) and two Hermitian vector bundles \(E\) and \(F\) of positive rank on \(\text{Spec }O_K\), does the following equality hold:
\[
\hat{\mu}_{\max}(E \otimes F)=\hat{\mu}_{\max}(E)+\hat{\mu}_{\max}(F)
\]
In other words, for any \(O_K\)-submodule \(V\subset E\otimes F\) of positive rank, does the following inequality hold:
\[
\hat{\mu}(V)\leq\hat{\mu}_{\max}(E)+\hat{\mu}_{\max}(F)
\]
This problem can be equivalently stated as:
1. **Problem 1.4**: Does the semi - stability of \(E\) and \(F\) imply that \(E\otimes F\) is also semi - stable?
2. **Problem 1.5**: Is the weighted Harder - Narasimhan filtration of \(E\otimes F\) consistent with the tensor product of the weighted Harder - Narasimhan filtrations of \(E\) and \(F\)?
### Research Motivation
These problems stem from similar results in classical vector bundle theory. On a field of characteristic 0, if two vector bundles are semi - stable, then their tensor product is also semi - stable (Theorem 1.1). The author attempts to generalize this result to Arakelov geometry and study the arithmetic properties of Hermitian vector bundles.
### Main Contributions
The author studies the semi - stability of the tensor product of Hermitian vector bundles by introducing \(\varepsilon\)-tensor product and geometric (semi) - stability, and proves some important inequalities. For example, for any number field \(K\) and Hermitian vector bundles \(E\) and \(F\), they prove that the maximum slope satisfies the following inequality:
\[
\hat{\mu}_{\max}(E\otimes F)\leq\hat{\mu}_{\max}(E)+\hat{\mu}_{\max}(F)+\frac{1}{2}\min(\log(\text{rk }E),\log(\text{rk }F))
\]
Furthermore, they also prove that for any \(O_K\)-submodule \(V\subset E\otimes F\) with rank less than or equal to 4, its slope satisfies:
\[
\hat{\mu}(V)\leq\hat{\mu}_{\max}(E)+\hat{\mu}_{\max}(F)
\]
These results indicate that if \(E\) and \(F\) are semi - stable and \(\text{rk }E\cdot\text{rk }F\leq9\), then \(E\otimes F\) is also semi - stable.
### Summary
The main purpose of this paper is to study the semi - stability problem of the tensor product of Hermitian vector bundles. By introducing new tools and techniques, such as \(\varepsilon\)-tensor product and geometric (semi) - stability, it provides several important results and inequalities, promoting the development of this field in Arakelov geometry.