Arakelov Inequalities for a Family of Surfaces Fibered by Curves

: The numerical invariants of a variation of Hodge structure over a smooth quasi-projective variety are a measure of complexity for the global twisting of the limit-mixed Hodge structure when it degenerates. These invariants appear in formulas that may have correction terms called Arakelov inequalities. We investigate numerical Arakelov-type equalities for a family of surfaces fibered by curves. Our method uses Arakelov identities in weight-one and weight-two variations of Hodge structure in a commutative triangle of two-step fibrations. Our results also involve the Fujita decomposition of Hodge bundles in these fibrations. We prove various identities and relationships between Hodge numbers and degrees of the Hodge bundles in a two-step fibration of surfaces by curves.


Introduction
In this paper, we consider identities involving numerical data associated with a geometric fibration of projective varieties and their Hodge structure.When families of algebraic manifolds come up in algebraic geometry, they usually have some singular fibers.We should distinguish between an abstract variation of Hodge structure and the case when the VHS arises from a geometric family f : X S. We refer to the latter as the geometric case, and we are particularly interested in understanding which results hold in the general (abstract) case or can only be established in the geometric case.We are interested in establishing identities involving Hodge numbers, degrees of the Hodge bundles, and any other algebraic geometric invariant associated with the fibration defined by f .These identities are considered in both cases: when there is a lack of singularities and when the singularities appear.This consideration is important in the analysis of them.They are useful in understanding or answering various geometric questions.
One of the important invariants of a variation of Hodge structure (VHS) that measure the complexity of their twist are the Chern classes of their Hodge bundles when they degenerate.A question in this line is how the degeneration of VHS affects these Chern classes.The numerical data of a geometric variation of Hodge structure also provide tools to study the iso-triviality of the family.A family X S is isotrivial if it becomes a product over a Zariski open set of a branched covering of S. Arakelov inequalities also give bounds to determine global invariants associated with the singularities of the fibrations.For example, one can answer simple questions on fibrations in low dimensions, such as whether they must have singular fibers and even some bounds for the number of singular points.The Arakelov identities involve the degrees of the Hodge bundles in a VHS given by geometric fibration.The vanishing of the degrees of all the Hodge bundles gives a criterion to say whether the fibration is iso-trivial.These equalities have been systematically studied in low dimensions 1, 2, 3, and 4, cf.[1,2].
The Arakelov identities allow us to answer questions such as: Does a non-isotrivial VHS of weight n with specific Hodge numbers necessarily have degeneracies?For example, in the n = 1 with h 1,0 = 1 case, it is not hard to deduce that a VHS without degeneracies is isotrivial.We call a variation of Hodge structure to be isotrivial if it becomes trivial on a finite branched covering of S. Equivalently, the global monodromy group is finite.Another example, in the case n = 3 and h 3,0 = 1, of the type of VHS that arises from a family of Calabi-Yau threefolds, one may ask the same question.For instance, one can show that if there is a family of Calabi-Yau threefolds without singular fibers, then h 2,1 > h 1,1 + 12, see [1].
Assume we have a fibration f : X S of smooth projective varieties with S being of dimension 1.For each k it defines a variation of Hodge structure (H (k) = R k f * C, F p , ∇) of weight k over S which is the Deligne extension of that over the smooth locus of the fibration.The graded sheaves (H p,q = F p /F p−1 , θ q := Gr p F ∇) define a Higgs bundle.Following [1], in a weight-one VHS H /S obtained from the fibration by curves, we have the following exact sequence of sheaves where H e is the extended Hodge bundle and H 1,0 0,e := ker(H 1,0 e Ȟ1,0 e ⊗ Ω 1 S ).We denote the rank of its generic fiber by h 1,0 0 .The map θ is induced by the Gauss-Manin connection and is called the Kodaira-Spencer map.A calculation of the degree δ = deg(H 1,0 ), (see [1]) gives the following general formula where δ 0 = deg(H 1,0 0,e ), and ν s ( θ) := dim coker H 1,0 e /H 1,0 0,e θ − (H 1,0 e /H 1,0 0,e ) ⊥ ⊗ Ω 1 S .The terms ν s (θ) are nonzero only if s ∈ S is a critical value.Therefore, the last sum in (2) is a measure of degeneracies.For instance, forgetting the last term on the right side, one can say that δ is not bigger than the rest of the left side.In this form, we can also interpret (2) as an inequality.Similar identities can be obtained in higher weights by considering analogous short exact sequences (see Section 3 below).The above kinds of identities are called Arakelov identities.The Arakelov identities measure the complexity of the global twist of the VHS, according to the existence of the degeneracies; see [1] for details.
Another approach to VHS and Arakelov identities is through the Fujita decomposition of the Hodge bundle, [2][3][4][5][6][7].Let us sketch this.Assume we have the fibration f : X S as before (see Section 4 for exact setup).Fujita decomposition is a splitting of the Hodge bundle of a VHS into an ample and a flat unitary subbundle.In general, the Fujita decomposition is of the form where ω X/S is the bundle of holomorphic differential forms Ω dim X X , and A is an ample vector bundle, U = O q f S U ′ is a flat unitary vector bundle [see Section 4 for complete settings].U ′ is also flat but has no sections.The Gauss-Manin connection on H e ⊗ O S induces a connection ∇ U : U U ⊗ Ω 1 S .It is known by construction that U ⊂ ker(θ).Assume the fibration f : X S has a weight n, Hodge structure in the middle cohomology.Set be the Griffiths-Yukawa coupling, i.e the composition of the n successive KS-maps.The Griffiths-Yukawa coupling is said to be maximal, if H n,0 ̸ = 0 and if κ n,0 is an isomorphism, (cf.[2,8]).Similar to before we set H p,q 0 = ker θ p : H p,q H p−1,q+1 ⊗ Ω 1 S (log E) , and h p,q 0 = rankH p,q 0 , with the same notation as previous section.We have the Arakelov inequality with equality if the Higgs field of H is maximal.Moreover if In particular, if S = P 1 then ♯E ≥ 3. The Fujita decomposition f * ω X/S = A U where A is an ample sheaf and U is a flat unitary subsheaf, satisfies deg(H n,0 ) = deg(A).Moreover, the Higgs field of A is strictly maximal, and U is a variation of polarized complex Hodge structure that is zero in the bidegree (n, 0), [see [8] Lemma 4].

Problem Setup
Assume we have a VHS for surfaces f : X S fibered by curves, i.e., a commutative triangle fibration We call such a commutative triangle, a family of surfaces in X fibered over a family of curves in Y. Let H, H(1) and H(2) be the associated local systems of H 1 of fibers in the triangle for f , g and h, respectively.Then, to each of the VHS H and H(2), we can associate an Arakelov identity similar to (2).Here, the situation for the fibration h is more delicate because the base of h: X Y is two-dimensional.The point is that the fibers of f are also twisted along the fiber of g.It is natural to expect that the three weight-one Arakelov identities (2) for the three fibrations f , g, and h are globally related.Moreover, how are the weight-one identities related to the weight-two Arakelov identity of f : X S? Thus, we pose the following problem.To analyze the Problem 1, one needs to study the Kodaira-Spencer maps θ, θ 1 and θ 2 of the three fibrations f , g and h (resp.)simultaneously and in a commutative diagram of short exact sequences similar to (1).

Contributions
Toward a solution of Problem 1, our first result, namely Proposition 1 and Theorem 1, which compares the relative de Rham complexes for the three fibrations f : X S, g : Y S and h: X Y. Proposition 1 is a simple form of Theorem 1 in the absence of degeneracies (singularities).In Theorem 1, we prove the commutativity of the following diagram of sheaves and Kodaira-Spencer maps θ, θ 1 , g * θ 1 , where log we mean logarithmic sheaves with appropriate normal crossing divisors (assumed to be compatible with the fibration), see Appendix B. We denote the suffix θ Y , θ X/Y to distinguish the KS-maps.The exactness of the rows in (7) is by the Grothendieck 5-term sequence, cf.Appendix B. The vertical maps (sequences) are induced from the relative sheaves of differentials.
To be able to compare the KS-maps of the three fibrations, we prove an auxiliary result, namely Lemma 1, which is a modification of a similar argument in ( [9], p. 286).We show, there is a decomposition H = H fix H var into fixed and variable parts where , and H fix is identified with the image.Then g * θ 2 (H var ) = 0. We need this result because the fibers in X are also twisted over fibers in Y in the commutative triangle (35).The Lemma 1 together with Proposition 1 and Theorem 1 allow us to compare the Fujita decomposition for the Hodge bundles of VHS over Y and S. We compare the degrees δ, δ 1 , and δ 2 , and prove various relationships between them, in Proposition 2. The identities appearing in Proposition 2 are mainly a consequence of the Fujita decomposition and the fact that the commutative diagram induced from (7) on the corresponding local systems is split exact.
A crucial task toward a solution of Problem 1 is to connect the Kodaira-Spencer maps of the VHS in different degrees for (35).Our main result toward this is the Proposition 3.
Here, the Kodaira-Spencer maps are induced by the Gauss-Manin connections.The proof of Proposition 3 uses a local product structure of the fibrations and the commutative diagram, which is a modified analog of a commutative diagram in [9].The proposition deduces the existence of an induced map ϑ 2,0 : which is injective.We use the existence of this map to obtain an interesting Arakelov-type inequality in a two-step fibration.
The numerical relationships we obtain are as follows. 1.
The first Arakelov inequality for the commutative triangle ( 35) is the following, It appears as Theorem 2. The relationship (9) follows from the structure of the map (8) computing the degrees of the different components in an exact sequence.In the way to prove (9), we prove several structural results associated with the VHS obtained from the fibrations in the triangle (6).They appear as Proposition 1, Theorem 1, and Proposition 2, which in their own are interesting from an algebraic geometric point of view.

2.
The second Arakelov inequality is which appears in Theorem 3. The proof of (10) uses the context of middle convolution for VHS, [10].Here, the VHS of the middle cohomology of the fibration Y S appears as a middle convolution of the one for X S, [10].The inequality (10) follows from a degree calculation in a middle convolution, followed by some standard Arakelov formulas.

3.
The third Arakelov relationship is a generalization of a result in [10] on a calculation of degrees in the left exact sequence of a Gauss-Manin connection followed by an application of the Riemann-Roch formula.In case we assume, the local system The result in identity (11) appears in 4. The proof of the identity ( 11) is a result of mixing the techniques in this paper with those of [10].
All contributions appear in Section 3. -

Related works:
An extensive explanation of the Arakelov inequalities can be found in [1].In this case, we have used the results in [1] on numerical identities in algebraic geometry and Hodge theory and some Hodge theory techniques from [9].In [1], the Arakelov inequalities have been studied in a single-step fibration in low weights.Our task in this work was to apply them in a double or two-step fibration.Some techniques of middle convolutions are presented in [10,11].Other related works are [2,7,8,12,13]. -

Hodge-Arakelov Numerical Data
The reference for this section is [1,20].Assume f : X S is a fibration of smooth projective varieties over C. Hodge theory studies the variation of Hodge structure (VHS) constructed from the cohomologies of the smooth fibers X s = f −1 (s).The variation of Hodge structure (VHS) associated with the k-th cohomology of the fibers forms a local system H /S * of vector spaces over Q.Its complexification has a decreasing Hodge filtration (F p ) 0≤p≤k and a decomposition H C = p+q=k H p,q , H p,q := F p ∩ F q where H p,q ⊗ O S * is a C ∞ -bundle called Hodge bundle and is defined over the smooth locus S * ⊂ S. By the Hironaka resolution of singularities, one may assume the degeneracy locus E = S \ S * is a normal crossing divisor.When dim S = 1, this locus is a finite number of points.The classical Hodge theory guarantees the existence of a canonical extension H e whose sections have, at worst, logarithmic poles along the normal crossing divisor E. A major task in Hodge theory is to study the degeneration of the Hodge structure near the singular points.Assume D = f −1 (E) is also a normal crossing.We may draw the picture of our fibration as follows: such that its residue is nilpotent, [16,[18][19][20]22,23].Moreover, there are isomorphisms Among the invariants associated with VHS,s are the degrees of the Hodge bundles The better the quantity δ = δ 0 + δ 1 + ... + δ p ≥ 0 which measures how far the VHS is from trivial.Over the smooth locus, the Hodge bundles H p,q are equipped with the Hodge metric induced from the polarization form.The invariants δ p may be calculated from the curvature of the associated metric connection.The curvature can be written as where θ q = Gr p F ∇ are the Kodaira-Spencer maps and " t " is the Hermitian adjoint.Here, we understand that q = n − p.The cohomology classes (16) are integrable closed (1,1)-forms and determine the Chern classes of the extended Hodge bundle; H p,q e .In the weight-one VHS, as obtained from the fibration by curves, we have the following exact sequence of sheaves where H 1,0 0,e := ker(H 1,0 e Ȟ1,0 e ⊗ Ω 1 S ).We denote the rank of its generic fiber by h 1,0 0 .Please note that B is probably not a vector bundle; i.e., it may have torsion.It is also probable that the meromorphic h 1,0 × h 1,0 -matrix θ drops rank at non-singular values s.Because the degree map is additive on exact sequences, one can calculate the δ = deg(H p,q ) in terms of the other terms.For the map on the stalks, we have One considers a set of points where this inclusion is strict.This may also happen at nonsingular points.The calculation of the curvature gives where δ 0 = deg(H 1,0 0,e ), ν s (θ) := dim(coker(θ)) and θ : H 1,0 e /H 1,0 0,e − (H 1,0 e /H 1,0 0,e ) ∨ ⊗ Ω 1 S .Alternatively, (19) can be written as where N i = Res s i ∇ are the logarithms of the monodromies at the degeneracy point s i and Ni : F 1 e,s i /F 1 0,e,s i − F 1 e,s i /F 1 0,e,s i ∨ are the induced map.The matrices A i are defined via the matrix of the map θs i by where B ′ is the nonzero component of the matrix of θ s i , [1].
In the weight-two case, in the absence of degeneracy, we have the two short exact sequence 0 H 2,0 0,e which are dual of one another.The Equation ( 19) is replaced by the following: where θ2,0 : When there are degeneracies, the formula modifies as follows: where we have set Ĥi = Gr q (LMHS) s i and ĥp,q i are their Hodge numbers, cf.
Example 1 ([1,11]).We consider family of elliptic curves where g 2 and g 3 are polynomials of degrees at most 4 and 6, respectively.Set ∆ = g 3 2 − 27g 2 3 , J = g 3 2 /∆ where g 2 , g 3 , ∆, J are Weierestrass coefficients, discriminant and J-function.The Picard-Fuchs equation for the family is given by d dt where ω = γ dx y , η = γ xdx y and γ being a 1-cycle, [11].The Equation (25) defines a fibration π : X P 1 , X t t where the local system H = R 1 π * C has a two-step Hodge filtration F 0 = H 1 (X t , C) ⊃ F 1 .In this case, the monodromy near s i can be written in terms of a canonical basis α, β of H 1 (X t , C) as A multi-valued section of H e is of the form Then, the action of the Gauss-Manin connection can be written as therefore N i = Res s i ∇ = 0 n i 0 0 .An easy calculation (cf.[1] loc cit.) gives If we calculate N in the above formula we obtain N = 2δ + 1 + ∑ i ν s i (θ) ≥ 3. It follows that a non-trivial elliptic fibration over P 1 has at least three singular fibers.
Let us consider a family of K3 surfaces defined by where G 2 , G 3 are polynomials of degree at most 8, 12 in the affine coordinate s and such that they are also polynomials in t.The periods are calculated via the integral γ ds ∧ dx y and the local systems In this case, one still has deg( f * (w X/S )) = deg J t,s where J is the J-function of the fibers, cf.[1].We have H var = 0, H fix = H.In both fibrations, the matrix of θ on the graded piece of middle cohomology is of the form (21).We observe that By what was said, any family of elliptic curves parametrized by a complete curve must have at least 3 singular fibers.An illustration of the second family is One can apply the Riemann-Hurwitz ramification formula to obtain the interpretation of δ in terms of ramification numbers of the fibration [see [1] for details].One may proceed inductively to 3-dimensional fibrations over surfaces, etc. Remark 1. F. Catanese [32][33][34] generalizes a theorem of Castelnuouvo-de Franchis for surfaces, so that; "if dim X = n and there are one forms Then X is fibered over a k-dimensional variety Y".This criterion can be used to extract certain inequalities involving Hodge numbers of fibrations and regularity (see also [35][36][37]).

Family of Surfaces Fibered by Curves-Main Results
We consider a system of fibration of surfaces over families of greencurves as One recovers the Leray-Serre spectral sequence from above.Apply the Grothendieck spectral sequence (Proposition A1) to the following spectral sequence where Applying ⊗Ω 1 S we obtain the following 0 This sequence fits with the long exact cohomology sequence of and gives the following proposition.
Proposition 1.In the absence of singularities (degenerations), we have a commutative diagram.
Proof.We have the short exact sequence downstairs because R 2 g * O Y = 0 (Kodaira vanishing).The connecting homomorphism in the vertical directions is the Kodaira-Spencer map.The only thing that remains to be proved is that the third term in the horizontal row upstairs is well-defined and correct.Please note that assuming no singularity exists in the fibers of X S and Y S does not guarantee that the fibers of X s Y s are all nonsingular.In general, the exact sequence must be written in the form where D is a normal crossing.However, Ω 1 X/Y (log D) is a line bundle, i.e., of rank one.Therefore The stalks of the horizontal row upstairs are For the last term we have , where W t are relative fibers in X s Y s .The proposition follows.
When we have singular fibers we must modify Proposition 1 as follows.
Theorem 1.If we have degeneracies, then the aforementioned diagram is modified as where D is a union of curves or points.
Proof.We set the singular locus to be E, F, G in S, Y, X, respectively, and assume we have sufficiently blown up that all are normal crossings with no multiplicities.We shall assume all the monodromies are unipotent.We have the following exact sequence of logarithmic sheaves where We need the following lemma as proof of our next results.The lemma is a modification of a similar argument in ( [9], p. 286).Here, the difference is that the triangle fibration ( 35) is generally far from a self-product of a curve.For this, we have included a short proof.Lemma 1.There is a decomposition into fixed and variable parts where Proof.We can illustrate the decomposition For s ∈ S the VHS of H 1 (X s , C) is a sub-HS of the one for H 1 (X s , C).Then, by the semisimplicity of the monodromy, it has a complement that is also invariant by the monodromy action.Therefore, we have This proves the lemma.
We can apply Proposition 1 and Theorem 1 to the Fujita decompositions for the three fibrations involved in the triangle (35).Each of the three fibrations h, g, f produces a Fujita decomposition, cf.Theorems A1 and A2 in Appendix A. Thus, we have the three decompositions We have used a version of Theorems A1 and A2 over a higher-dimensional base in the third identity, cf.[5].We investigate the relationship between unitary sheaves U ′ f , U ′ g , U ′ h and their ranks.One has the existence of a decomposition where Because the component A is a maximal ample subbundle therefore, we must have A Y ⊂ A X , U ′ Y ⊂ U ′ X and similar for the last terms in the decompositions (50).We have the exact sequence which states that the third identity is a quotient of the first one.Again, this criterion applies componentwise.It follows that Remark 2. The proof of decomposition (51) is the same as the Lemma 1.
Remark 3. The proof of the Lemma 1 shows that g * θ 2 H fix = 0.
Using Theorem 1 and the Fujita decompositions (50), we can deduce various identities.
Proof.(Sketch) By Proposition 1 and Theorem 1 we have the following commutative diagram with short exact rows The above diagram of sheaves induces the following split short exact diagram on the graded part of the local systems The diagram (55) is split exactly for short exact sequences in rows.This proves that the kernels and cokernels also split, from which the identities in the lemma follow.
In the next proposition, we connect the different KS-maps in the commutative diagram (35).Proposition 3.There is an induced map by the Gauss-Manin connections in the triangle which is injective.
Proof.The proof uses a modification of an argument in ([9], p. 287, for product family).We will use the local variables x = (v, u, s) − y = (u, s) s for the maps in (35).If we take a small enough neighborhood of s ∈ S such that the two fibrations X and Y trivialize over, then locally we have X s = W s × F s , and F s ∼ = disc, as topological spaces, where W s are fibers of X Y, (here is different from [9], there the fibered surfaces X s are self-product of Y s ).Thus, U s = X s ⧹W s ∼ = tubular neighborhood of W s in X s .We have the standard exact sequence When s varies the whole sequence (57) varies to give VMHS's.This shows (cf.[9]) the existence of a GM-connection We can illustrate all the GM-maps in the triangle by the following commutative diagram with short exact columns, By [9] from the data of the above diagram and ∇ 2 log = 0, one can deduce the existence of the map ∇ log : from which we obtain the map (56).We can now express our first Arakelov-type inequality concerning the numerical invariants of the VHS in the commutative triangle (35).
Theorem 2. We have the following inequality on the degrees of the Hodge bundles in a family of surfaces fibered by curves Proof.The map produced in (56) can be written as a short exact sequence By the additivity of the degree function on the category of coherent sheaves, we obtain Calculating the degrees using the degree formula of the product gives the result (we are using the argument of [1] pages 505-506 on a calculation of degrees in a general exact sequence).
By substituting δ 2 var from Proposition 2 we obtain from which the inequality of the Theorem follows.
Remark 5. A triangle fibration can also be studied in higher-dimensional fibrations when a suitable configuration is settled.This case can be considered to be a further and future study in this direction.
To obtain stronger identities, we have compared our construction with the results in [10].The following is a sample result.Theorem 3. In a commutative triangle fibration of surfaces fibered by curves (35), we have Moreover we have δ 2,0 X ≥ δ 1,0 X/Y where the sub-indices denote the corresponding fibration.
Proof.We have X s Y s s ∈ S, where Y s is a curve and X s is a surface.The variety X s is also fibered over Y s .A generic fiber over a point p s ∈ Y s is a curve, namely W p s .Therefore, apart from a finite number of points of degeneracies on S we have X s = U s × W p s , s ∈ T ⊂ S, where U s is open in Y s .In both of the directions of s and Y s there are finitely many singular fibers.The local system H obtained from the middle cohomology of the fibration X S is given as Now we calculate the degrees of the associated Hodge bundles (denoted by the same symbols) from which (67) follows.Because deg(L) ≥ 0, it follows that δ 2,0 ≥ δ 1,0 (V ).
The operation of taking the tensor product of local systems in (68) is called the middle convolution.A systematic study of the behavior of numerical Hodge data in a middle convolution process is given in [10].The following theorem generalizes a result in [10] Then by our assumption its only nonzero cohomology H 1 (S, V ) is a HS of wt = 2, and We know that the spectral sequence degenerates at E 1 .Computing the Euler characteristics on Gr p F of (71), gives Applying the Riemann-Roch theorem, we obtain where we have used deg(Gr Remark 6.A version of Theorem 4 over P 1 for the tensor product of a (single) VHS is proved in [10].Formulating similar formulas for the fibrations X/S, Y/S separately is also possible.

Conclusions
The analysis of the degrees of the Hodge bundles in a two-step fibration by curves allows us to obtain Arakelov-type inequalities for the VHS associated with a commutative triangle (35).This process is required to relate the three relative logarithmic de Rham complexes in such a triangle and investigate how the different KS-maps of these families are related.In this process, we used standard Arakelov identities that appeared in [1] for weight-one VHS associated with each of the three fibrations.Further results are obtained by applying the technique of middle convolution borrowed from [10].finite type over an algebraically closed field of char = 0.In this case, the module of relative q-differentials of f on X is defined by the short exact sequence When you have three schemes f : X h Y g Z, respectively, then we have the following exact sequence 0 In case X or S is not to be regular or f fails to be smooth, the above definition is no longer valid.However, one still may define it when the singular locus is a normal crossing, called logarithmic differentials, [16,[18][19][20]22,23,30]. In this case, we replace our schemes with log-pairs (X, D) and (S, E), where D and E are smooth normal crossing schemes or varieties and f (D) = E.According to the Hironaka resolution of singularities theorem this is possible after blowing up the singularities of X, S along f enough times.Then, one can similarly take as the definition, [19,20,22,23,38].We shall consider three log-pairs f : (X, D) h (Y, F) g (S, E), We always assume they are compatible log-smooth pairs in the category of log-schemes.Then the sequence (20) is valid in the new category and, by definition, reads as In our case, we will be working with 1-forms and the global sections of these sheaves along fibers.In other words, when pushed forward by f * , we obtain Note that the varieties that the items in this exact sequence refer to are the appropriate fibers in our triangle, and the normal crossing divisors give normal crossing sections inside the fibers.Regarding the situation that how the relative singular fibers of the maps f , g, and h behave geometrically relative to each other, we hereby and later on are assuming that they are located one above another so that the relative log-pairs are compatible as mentioned above (cf.[19,20,22,23] loc.cit.).
Passing to the long exact cohomology sequence of the short exact sequence defining the relative differentials, we obtain 0 The connecting homomorphism κ is the Kodaira-Spencer map, i.e., wedge with the Kodaira-Spencer class.For the last term in the sequence, we have used the adjunction formula for suitable sheaves G, E .This phenomenon may be studied in a triangle fibration of smooth varieties or a compatible log-smooth triple.We use a basic property of Grothendieck spectral sequences, applied to a first quadrant spectral sequence E p,q for functors F : A B, G : B C between abelian categories.It is an exact sequence of terms of low degrees.

Proposition A1 (Grothendieck 5-term sequence). If E p,q
2 ⇒ H n (A) is a first quadrant spectral sequence, then there is an exact sequence where E 0,1 2 E 2,0 2 is the differential of the E 2 -term.
When we have two successive fibrations X Y S, we obtain the form of a 5-term sequence as 0 We will employ a twist of this sequence in computation with Kodaira-Spencer maps.

Problem 1 .
Describe the Arakelov identities of the three fibrations in (6) relevant to each other.How the weight-one Arakelov identities in the triangle (6) are connected to the weight-two Arakelov identity of f .
Working locally over s ∈ S, we can choose coordinates as x = (v, u, s) y = (u, s) s in the fibrations.Then p ∈ W t is singular if and only if the matrix drops rank, i.e., has rank ≤ 1.Thus, D is closed in X.Also, its image in Y is a closed proper subvariety, i.e., a union of curves and isolated points.