Subsheaves of a hermitian torsion free coherent sheaf on an arithmetic   variety
  In this paper, we consider a finiteness problem of saturated subsheaves of a hermitian locally free sheaf on an arithmetic variety. As an application, we could prove the unique existence of an arithmetic Harder-Narasimham filtration. 
Atsushi Moriwaki