On some polynomials allegedly related to the abc conjecture
We show in detail that the category of general Roth systems or the category of semi-stable systems of linear inequalities of slope zero is a neutral Tannakian category. On the way, we present a new proof of the semi-stability of the tensor product of semi-stable systems. The proof is based on a numerical criterion for a system of linear inequalities to be semi-stable.
We consider a short sequence of hermitian vector bundles on some arithmetic variety. Assuming that this sequence is exact on the generic fiber we prove that the alternated sum of the arithmetic Chern characters of these bundles is the sum of two terms, namely the secondary Bott Chern class of the sequence and its Chern character with support on the finite fibers.Next, we compute these classes in the situation encountered by the second author when proving a “Kodaira vanishing theorem” for arithmetic...