Harder-Narasimhan polygons and Laws of Large Numbers

We build on the recent techniques of Codogni and Patakfalvi, from \cite{Codogni:Patakfalvi:2021}, which were used to establish theorems about semi-positivity of the Chow Mumford line bundles for families of $\K$-semistable Fano varieties. Here we apply the Central Limit Theorem to ascertain the asymptotic probabilistic nature of the vertices of the \emph{Harder and Narasimhan polygons}. As an application of our main result, we use it to establish a filtered vector space analogue of the main technical result of \cite{Codogni:Patakfalvi:2021}. In doing so, we expand upon the slope stability theory, for filtered vector spaces, that was initiated by Faltings and W\"{u}stholz \cite{Faltings:Wustholz}. One source of inspiration for our abstract study of \emph{Harder and Narasimhan data}, which is a concept that we define here, is the lattice reduction methods of Grayson \cite{Grayson:1984}. Another is the work of Faltings and W\"{u}stholz, \cite{Faltings:Wustholz}, and Evertse and Ferretti, \cite{Evertse:Ferretti:2013}, which is within the context of Diophantine approximation for projective varieties.


Introduction
Our purpose here, is to continue our work which is at the intersection of K-stability and Diophantine approximation for projective varieties ( [11], [12], [13], [14], [15], [16] and [17]).In more specific terms, we expand upon the theory Harder and Narasimhan filtrations for holomorphic vector bundles on compact Riemann surfaces.Especially, we define and study asymptotic probabilistic features of Harder and Narasimhan data.(See Section 4 and Theorems 1.4 and 1.5.) Recall, that Harder and Narasimhan's theory is now classical.It was conceived in [18].Recently, a significant application of this theory, building on earlier work of Viehweg, has been given by Codogni and Patafalvi [4].Among other results, in [4], the theory of Harder and Narasimhan filtrations is applied to obtain results for the Chow-Mumford line bundles that arise within the context of families of Kstable klt Fano varieties.
For example, the concept of Harder and Narasimhan filtration is a key, more technical, tool, which is used in [4], to establish the following result.
Theorem 1.1 ([4, Theorem 1.1 (a)]).Fixing an integer n > 0 and a rational number v > 0, let M K−ss n,v be the moduli stack of those Ksemistable dimension n Fano varieties, which have anti-canonical volume equal to v.Over M K−ss n,v , let λ be the Chow-Mumford line bundle.Then λ and its descent along the good moduli space morphism are numerically effective.
In terms of Harder and Narasimhan filtrations and Diophantine approximation, the main result is the theorem of Faltings and Wüstholz, from [8], and the refinement which was established by Evertse and Ferretti in [6].Here, in Theorem 1.2 below, we state a version of that result.McKinnon and Roth formulated a corresponding statement for linear systems [20].
Investigations and expansions of Schmidt's Subspace Theorem, from the viewpoint of linear systems, is another topic of continued recent and ongoing interest ( [23], [22], [19], [12], [15]).Finally, recall, as explained in [6], that Schmidt's Subspace Theorem can be deduced from the inequalities of Faltings and Wüstholz.Conversely, Schmidt's Subspace Theorem can be used to imply the inequalities of Faltings and Wüstholz.In particular, the following form of the celebrated theorem of Faltings and Wüstholz is stated in [6, p. 514].
Theorem 1.2 ([8], [20], [6]).Let K be a number field M K its set of places and S ⊆ M K a finite subset.For each v ∈ M K fix normalized absolute values | • | v so that the product theorem holds true with multiplicities equal to one.For each v ∈ S, fix linearly independent linear forms ℓ 0v (x), . . ., ℓ nv (x) ∈ K[x 0 , . . ., x n ]. together with nonnegative weights d iv ∈ R 0 which have the property that

K
(1) (•) be the multiplicative height function on projective n-space P n K with respect to the tautological line bundle O P n K (1).Let ǫ > 0.
Then, with this notation and hypothesis, there exists a single, effectively computable proper linear subspace for v ∈ S and i = 0, . . ., n, admits at most a finite number of solutions Finally, we mention our recent result, from [13], which is at the intersection of K-stability and Diophantine approximation.It establishes, in particular, that the concept of K-instability for Fano varieties has implications for instances of Vojta's Main Conjecture.
Theorem 1.3 ([13, Theorem 1.1]).Let K be a number field and fix a finite set of places S of K. Suppose that X is a Q-Fano variety with canonical singularities, defined over K, and which is not K-stable.Then over X there exists a nonzero, irreducible and reduced effective Cartier divisor E, which is defined over some finite extension field F/K, with K ⊆ F ⊆ K, for which the inequalities predicted by Vojta's Main Conjecture hold true in the following sense.Let E be the birational divisor that is determined by E. Let be a birational divisor over X that has the two properties that: (i) the traces of each of the D i are linearly equivalent to the trace of E on some fixed normal proper model X ′ of X, defined over F; and (ii) the traces of each of these divisors D i , for i = 1, . . ., q, intersect properly on this model X ′ .Let B be a big line bundle on X and let ǫ > 0. Then the inequality is valid for all K-rational points x ∈ X(K) \ Z(K) and Z X some proper Zariski closed subset defined over K.
In (1.1), λ D,v (•) is the birational Weil function of D with respect to the place v ∈ S. (We refer to [22,Section 4] and [13, Section 3] for more details.) Here, our main result builds on the techniques from [4] and establishes, in particular, a Central Limit Theorem for the vertices of the Harder-Narasimhan polygons.(See Theorem 1.4 and Sections 4 and 6 for precise details.) To place matters into perspective, note that an essential feature to the work of Faltings and Wüstholz, [8], is their theory of slope semistability for filtered vector spaces.Over the years, this theory has been developed and has produced significant applications.(See, for example, [7], [24], [9], [3] and the references therein.) Our main results here, Theorems 1.4 and 1.5 below, are natural extensions to this circle of ideas.Aside from being of an intrinsic interest in their own right, they provide continued evidence for the existence of fruitful, and yet to be discovered, interactions amongst the areas of K-stability, positivity questions for polarized projective varieties and Diophantine arithmetic geometry.
Let us now formulate Theorem 1.4.In Section 6, see Theorem 6.1, we state a slight variant, which is phrased in terms of our concept of Harder and Narasimhan data.In our formulation of Theorem 1.4, we define this concept in passing.
Theorem 1.4.Fix a rank vector − → r := (r 1 , . . ., r ℓ ), that consists of positive integers r i , for i = 1, . . ., ℓ, fix a collection of strictly decreasing collection of rational numbers µ 1 > • • • > µ ℓ and let − → d := (d 1 , . . ., d ℓ ) be the resulting degree vector, which is determined by the condition that d i := µ i r i , for i = 1, . . ., ℓ. Assume that such Harder and Narasimhan data is positive in the sense that Let p i := r i /r, for i = 1, . . ., ℓ, and let Y := Y ([ℓ], p 1 , . . ., p ℓ ) be the discrete probability space on the set [ℓ] := {1, . . ., ℓ} and having probability measures p 1 , . . ., p ℓ .Let Y j := Y j ( − → µ ) be a sequence of independent, identically distributed random variables of Y that take value µ i := d i /r i on i.Then, within this context, given a nonnegative integer z 0, it holds true that We prove Theorem 1.4 in Section 6.As one application, it implies a filtered vector space analogue of [4,Theorem 5.11].This is the content of Theorem 1.5, whose formulation is more technical.
To get a flavour, consider a filtered vector space Then, by the theory of Faltings and Wüstholz, [8, Section 4], it admits a canonical Harder and Narasimhan filtration Here The intuition for Theorem 1.5, is that, fixing m 0, we want to study, inside of V ⊗m , the collection of those subspaces that are spanned by m-fold tensor products of the Harder and Narasimhan subspaces V i , which appear in the Harder and Narasimhan filtration (1.3).
In more detail, for each and fixing a nonnegative integer z 0, set Finally, writing the elements of [ℓ] m in decreasing order with respect to v − → µ (•), denoted as Having fixed some notation and context, our filtered vector space analogue of [4,Theorem 5.11] is formulated in the following way.It is an application of Theorem 1.4 and is proved in Section 7.
Theorem 1.5.Suppose that a filtered vector space V has positive Harder and Narasimhan data HN( − → µ , − → r ).Fixing a nonnegative integer z 0, for each nonnegative integer m 0, let H #Sm,z( − → µ ) be the subspace of V ⊗m that is given by (1.4).Then, with this notation and hypothesis, it holds true that As some additional context and motivation for our abstract formulation of [4,Theorem 5.11], see Theorems 1.4 and 1.5, we mention that a concept of Harder and Narasimhan Polygons emerged as a tool for expanding upon Harder and Narasimhan's theory of filtrations for vector bundles on curves.This was popularized by Grayson in his work on lattice reduction theory [10].We refer to [2] for an exposition.Here, our point of departure is to associate a polygon to Harder and Narasimhan data.This is made precise in Section 4.
Our results also give impetus for further investigation.As some examples, the concept of Harder and Narasimhan data, see Definitions 4.1, raise the question of explicit and robust construction thereof, and especially with applications in geometric and arithmetic contexts.
In the direction of Theorem 1.4, there is the question of the rate in which the limit that appears in its conclusion is actually achieved.Further, it remains interesting to understand the extent to which Theorems 1.4 and 1.5, or variants thereof, will have applications for geometric and arithmetic aspects of filtered linear series.Such results would complement those of our recent work [16] (among others).
In Section 2, we discuss the Laws of Large Numbers and state the Central Limit Theorem for independent and identically distributed random variables.In Section 3, we recall the classical theory of Harder and Narasimhan and state the main result from [18].(See Theorem 3.1.)In Section 5, we discuss a key motivational example from [4].It also provides additional context and motivation for Theorem 1.5.Again, the concept of Harder and Narasimhan data is made precise in Section 4. Respectively, Theorems 1.4 and 1.5 are established in Sections 6 and 7.
Throughout this article, unless explicitly stated otherwise, all schemes, stacks and vector spaces are defined over a fixed algebraically closed characteristic zero base field k.

Laws of Large Numbers
In this section we state the three main Laws of Large Numbers.Our approach mostly follows [1], [5] and [21].
First of all, in heuristic terms, the Weak Law of Large Numbers says that if n is large, then there is only a small chance that the fraction of heads in n tosses will be far from 1/2.In more precise terms, it is formulated in the following way.
Theorem 2.1 (Weak Law of Large Numbers, cf.[1, p. 86], [5, Theorem 2.2.12]).Let X 1 , X 2 , . . .be a sequence of independent identically distributed simple random variables with identical expected values Suppose that y > 0. Then Turning to the Strong Law of Large Numbers, recall that it expands upon the Weak Law (Theorem 2.1).

It then holds true that
Prob lim Finally, we state the Central Limit Theorem.It also extends the Weak Law of Large Numbers.An attractive self contained proof via the theory of Fourier transforms is given in [21,Section 3.15].[21,Theorem 3.16]).Let Φ be a standard normal random variable and so, in particular, having probability density function Let X 1 , X 2 , . . .be a sequence of independent random variables having the same distribution with mean µ and positive finite variance σ 2 .Let It then holds true that Further

The theory of Harder and Narasimhan
Here, we recall, from [18], the theory of Harder and Narasimhan.In what follows, C denotes a non-singular projective algebraic curve over an arbitrary characteristic algebraically closed base field.By abuse of terminology, we fail to distinguish amongst the concept of finite rank locally free O C -modules and total spaces of vector bundles.On the other hand, if E is a vector bundle on C and F a locally free submodule, then F is called a subvector bundle if the quotient E/F is locally free.
If E is a nonzero vector bundle on C, then its slope is Here is the determinant line bundle.
If a nonzero vector bundle E on C has the property that for all nonzero proper subbundles F , then it is called semistable.By [18, Lemma 1.3.7],if a nonzero vector bundle E is not semistable, then it admits a unique non-zero subbundle F which stongly contradicts semistability in the following sense (i) F is semi-stable; and (ii) if G is a subbundle of E which contains F as a subbundle, then The concept of subbundles which strongly contradict semistability is a key technical point in establishing the existence and uniqueness of the Harder and Narasimhan (canonical) filtrations.This fundamental result of [18] is formulated in the following way.
Theorem 3.1 ([18, Section 1.3]).Let C denote a non-singular projective algebraic curve over an arbitrary characteristic algebraically closed base field.Let E be a nonzero vector bundle on C. Then E admits a uniquely determined flag of subvector bundles which has the two properties that (i) the successive quotients E i /E i−1 are semistable for i = 1, . . ., ℓ; and (ii) the slopes of the successive quotients are strictly decreasing in the sense that In working with the Harder and Narasimhan filtrations (3.1), in what follows we find it useful to put µ i := µ(E i /E i−1 ) and r i := rank(E i /E i−1 ), for i = 1, . . ., ℓ.By this notation r i > 0, for all i = 1, . . ., ℓ, Finally, we refer to the bundles E i , for i = 1, . . ., ℓ, which arise in the filtration (3.1), as the Harder and Narasimhan subbundles of E.

The Harder and Narasimhan polygons and their vertices
A concept of Harder and Narasimhan Polygons emerged as a tool for expanding upon Harder and Narasimhan's theory of filtrations for vector bundles on curves.This was popularized by Grayson in his work on lattice reduction theory [10].We refer to the article [2], by Casselman, for an exposition.Here, our viewpoint is to associate a polygon to Harder and Narasimhan data.We make this precise in Definitions 4.1.
Another context in which a fruitful theory of Narasimhan Polygons has emerged is that of filtered vector spaces.Such developments have been made possible by work of Faltings and Wüstholz [8], Chen [3] and others.In Example 4.2, below, and because of its relevance to Theorem 1.5, we indicate how our notion of Harder and Narasimhan data fits within the framework of the Harder and Narasimhan filtration that is associated to each filtered vector space.
Within the context of Diophantine approximation, the theory of Harder and Narasimham filtrations for vector spaces is an important aspect of the work of Faltings and Wüstholz [8].Similar filtrations together with a theory of polygons arise, more recently, in the work of Evertse and Ferretti (see [6,Section 15]).
Of interest, for our purposes here, is the asymptotic probabilistic nature of such Harder and Narasimhan Polygons.Exactly what is meant by this is made precise below.As in [8, Section 4], Let V be a finite dimensional kvector space and consider, given a collection of real numbers The filtered vector space (4.1) is called semistable if it holds true that for each proper nonzero subspace In (4.2), the slope of V ′ is calculated with respect to the induced filtration.
As noted by Faltings and Wüstholz, each such filtered vector space (4.1) admits a canonical Harder and Narasimhan filtration.In more specific terms, there exists a flag of vector spaces which have the property that each successive quotient V i /V i−1 , for i = 1, . . ., ℓ, is semistable (which respect to the induced filtration), and furthermore, the slopes µ(V i /V i−1 ) of the successive quotients are strictly decreasing.
Within this context, putting

Tensor products of Harder and Narasimhan subbundles
To provide motivation for our construction with vertices of Harder and Narasimhan subbundles in Section 6, here we discuss a related construction of [4], which was the starting point for our investigation here.
These constructions from [4], build on Viehweg's fiber product approach from [25], for proving weak positivity results for direct images of tensor powers of relative canonical sheaves.
A representative example for the techniques of [4, Section 5], is explained in [4,Remark 5.6].We reproduce some of that discussion here.It provides motivation for our analogous results which apply to the context of filtered vector spaces.(See Theorem 1.5 and Example 4.2.) In particular, working over the projective line P 1 k , consider the case of a vector bundle E := With respect to the Harder and Narasimhan filtrations for E, the ith Harder and Narasimhan submodule is The ith subquotient slope is thus Now, fixing a positive integer m > 0, the idea is to study via probabilistic methods, inside of E ⊗m , the prevalence of those submodules which are obtained via the m-fold tensor products Here, a i ∈ {1, . . ., ℓ}, for i = 1, . . ., m, and for z ∈ Z 0 some given nonnegative integer.
In Section 6, we generalize this construction from [4], so as to treat the more general context of Harder and Narasimhan vertices.

Statement of Main Theorem and its proof
In order to state our main theorem (see Theorem 6.1 below), let us first consider the construction from Section 5 in a slightly more general context.
Let To this end, first note that Y is a finite metric space.Moreover, the independent and identically distributed random variables Y j have finite mean and variance.These quantities are independent of j.Denote them, respectively, by µ and σ.The Central Limit Theorem, for independent identically distributed random variables (Theorem 2.3), thus implies that the random variable Thus, fixing a real number y, there is a positive integer m y > 0 such that if m m y , then The above discussion implies, in particular, that This establishes the validity of the relation (6.3).
Remark 6.2.As mentioned in [4, Remark 5.12], the relation (6.3) may be established using the Chebyshev's inequality in place of the Central Limit Theorem.
7. Proof of Theorem 1.5 Finally, we indicate the manner in which Theorem 1.5 follows from Theorems 6.1 and 1.4.The key point to the proof is to adapt the proof of [4, Proposition 5.9] to the context of filtered vector spaces.Having done this, Theorem 1.5 follows from Theorem 6.1, essentially because of the relation (6.1).
Proof of Theorem 1.5.Consider the Harder and Narasimhan filtration (1.3) that is associated to the filtered vector space (1.2).Recall, respectively, the corresponding slopes, degrees and ranks For each a ∈ [ℓ] m , recall that we have put Moreover, we arrange the elements of [ℓ] m is decreasing order with respect to v − → mu (•).We write this as [ℓ] m := {a 1 = (a 11 , . . ., a m1 ), . . ., a ℓm = (a 1ℓm , . . ., a mℓm )}.Let us also mention that, with respect to the filtration on G i that is induced by the given filtration on V , the slope of G i is µ(G i ) = (We refer to [9, Section 1], for example, for more details about the behaviour of slopes under taking tensor products and quotients.) We next establish isomorphisms It remains to establish the isomorphisms (7.1), for each 1 i ℓm.To this end, we first make note the following vector space isomorphisms there is a naturally defined surjection

Z
m − mµ √ m converges weakly to a normal distribution Φ with expected value 0 and covariance σ 2 .In particular, for each real number y it holds true that lim m→∞ Prob Z m − mµ √ m y = Prob (Φ y) .Now, recall that the Harder and Narasimhan data HN ( − → µ , − → r ) has positive degree.It thus follows that µ = ℓ i=1 m z) Prob (Φ y) for all real numbers y.On the other hand, note that lim m z) 1, for all m, it holds true that lim m→∞ Prob (Z m z) = 1.

FF
a ji /F a ji −1 .Then dim(G i ) = m j=1 r a ji .