On the weak Harder-Narasimhan stratification on BdR⁺-affine Grassmannian

We consider the Harder-Narasimhan formalism on the category of normed isocrystals and show that the Harder-Narasimhan filtration is compatible with tensor products which generalizes a result of Cornut. As an application of this result, we are able to define a (weak) Harder-Narasimhan stratification on the BdR⁺-affine Grassmannian for arbitrary (G, b, μ). When μ is minuscule, it corresponds to the Harder-Narasimhan stratification on the flag varieties defined by Dat-Orlik-Rapoport. And when b is basic, it's studied by Nguyen-Viehmann and Shen. We study the basic geometric properties of the Harder-Narasimhan stratification, such as non-emptiness, dimension and its relation with other stratifications.