Subsheaves of a hermitian torsion free coherent sheaf on an arithmetic variety (Q952173)

The Harder-Narasimhan filtration of a vector bundle on a smooth projective curve is a classical topic in algebraic geometry. \textit{M. Maruyama} [Math. Ann. 255, 317--333 (1981; Zbl 0438.14015)] has generalized this construction for torsion free coherent sheaves on a normal polarized projective variety defined over a field of characteristic \(0\). In the article under review, the author has proved the analogue of Maruyama's result in Arakelov geometry. Let \(K\) be a number field and \(X\) be a normal and projective arithmetic variety of dimension \(d\) defined over \(K\). Given a family \(\overline H:=(\overline H_i)_{i=1}^d\) of nef and big \(C^\infty\)-Hermitian invertible sheaves on \(X\), the author has established that, for any \(C^\infty\)-Hermitian torsion free coherent sheaf \(\overline E\) on \(X\) and any real number \(c\), the set \[ \{\overline F\subset\overline E\mid F\text{ saturated in }E,\,\widehat{\deg}_{\overline H}(\overline F)\geqslant c\} \] is finite, where the Arakelov degree with respect to the polarization \(\overline H\) is defined as \[ \widehat{\deg}_{\overline H}(\overline F):=\widehat{\deg}\big(\widehat{c}_1(\overline H_1)\cdots \widehat{c}_1(\overline H_d)\cdot\widehat{c}_1(\overline F)\big). \] The method of proof is to consider the polarized Arakelov degree as a height function on a Grassmannian variety (with plüker coordinates) and then to apply Northcott's theorem. This result permits the author to obtain the existence of the maximal destabilizing Hermitian subsheaf. Namely, given an arbitrary \(C^\infty\)-Hermitian torsion free sheaf \(\overline E\) with rank \(\geqslant 1\), there exists a maximal Hermitian subsheaf \(\overline G\subset\overline E\) such that \(\widehat{\mu}_{\overline H}(\overline G)=\displaystyle\max_{0\neq\overline F\subset\overline E}\widehat{\mu}_{\overline H}(\overline F)\), where the slope function \(\widehat{\mu}_{\overline H}\) is defined as \(\widehat{\mu}_{\overline H}:=\widehat{\deg}_{\overline H}/\mathrm{rk}\). The author has then used this argument to prove the existence and the uniqueness of the Harder-Narasimhan filtration of \(\overline E\).