Abstract
In this paper, we construct extensions of mixed Hodge structure coming from the mixed Hodge structure on the graded quotients of the group ring of the fundamental group of a smooth projective pointed curve which correspond to the regulators of certain motivic cohomology cycles on the Jacobian of the curve essentially constructed by Bloch and Beilinson. This leads to a new iterated integral expression for the regulator. This is a generalisation of a theorem of Colombo (J. Algebr. Geom. 11(4) (2002) 761–790) where she constructed the extension corresponding to Collino’s cycles in the Jacobian of a hyperelliptic curve.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A formula, usually called Beilinson’s formula – though independently due to Deligne as well – describes the motivic cohomology group of a smooth projective variety X over a number field as the group of extensions in a conjectured category of mixed motives, \({\mathcal {MM}}_{{\mathbb {Q}}}\). If i and n are two integers, then [19]
Hence, if one had a way of constructing extensions in the category of mixed motives by some other method, it would provide a way of constructing motivic cycles.
One way of doing so is by considering the group ring of the fundamental group of the algebraic variety \({\mathbb {Z}}[\pi _1(X,P)]\). If \(J_P\) is the augmentation ideal – the kernel of the map from \({\mathbb {Z}}[\pi _1(X,P)] \rightarrow {\mathbb {Z}}\) – then the graded pieces \(J_P^a/J_P^b\) with \(a<b\) are expected to have a motivic structure. These give rise to natural extensions of motives – so one could hope that these extensions could be used to construct natural motivic cycles.
Understanding the motivic structure on the fundamental group is complicated. However, the Hodge structure on the fundamental group is well understood [9]. The regulator of a motivic cohomology cycle can be thought of as the realisation of the corresponding extension of motives as an extension in the category of mixed Hodge structures. So while we may not be able to construct motivic cycles as extensions of motives coming from the fundamental group – we can hope to construct their regulators as extensions of mixed Hodge structures (MHS) coming from the fundamental group.
The aim of this paper is to describe this construction in the case of the motivic cohomology group of the Jacobian of a curve. The first work in this direction is due to Harris [10] and Pulte [9, 16]. They showed that the Abel–Jacobi image of the modified diagonal cycle on the triple product of a pointed curve (C, P), or alternatively the Ceresa cycle in the Jacobian J(C) of the curve, is the same as an extension class coming from \(J_P/J_P^3\), where \(J_P\) is the augmentation ideal in the group ring of the fundamental group of C based at P.
In [6], Colombo extended this theorem to show that the regulator of a cycle in the motivic cohomology of a Jacobian of a hyperelliptic curve, discovered by Collino [5], can be realised as an extension class coming from \(J_P/J_P^4\), where here \(J_P\) is the augmentation ideal of a related curve.
In this paper, we extend Colombo’s result to more general curves. If C is a smooth projective curve of genus g with a function f with divisor \({\text {div}}(f)=NQ-NR\) for some points Q and R and some integer N and such that \(f(P)=1\) for some other point P, there is a motivic cohomology cycle \(Z_{QR,P}\) in \(H^{2g-1}_{{{\mathcal {M}}}}(J(C),{\mathbb {Z}}(g))\) discovered by Bloch [2]. We show that the regulator of this cycle can be expressed in terms of extensions coming from \(J_P/J_P^4\). When C is hyperelliptic and Q and R are ramification points of the canonical map to \({\mathbb {P}}^1\), this is Colombo’s result.
A crucial step in Colombo’s work is to use the fact that the modified diagonal cycle is torsion in the Chow group \(CH^2_{\hom }(C^3)\) when C is a hyperelliptic curve. This means the extension coming from \(J_P/J_P^3\) splits and hence does not depend on the base point P. This allows her to consider the extension for \(J_P/J_P^4\). In general, that is not true—in fact the known examples of non-torsion modified diagonal cycles come from the curves we consider – namely modular and Fermat curves. Our main contribution is to use an idea of Rabi [18] to show that Colombo’s arguments can be extended to work in our case as well. As a result, we have a more general situation—which has some arithmetical applications.
In Colombo’s paper, there were errors in Propositions 3.2 and 3.3 which were pointed out by a referee of an earlier version of this paper. Hence we had to make some revisions. As it turned out the statement of the main result still holds under some restricted conditions and much of the revisions we made were to understand these conditions. Unfortunately, this has made the paper a little long.
We have the following theorem (Theorem (4.14)).
Theorem 1.1
Let C be a smooth projective curve of genus g over \({\mathbb {C}}\). Let P, Q and R be three distinct points such that there is a function \(f_{QR}\) with \({\text {div}}(f_{QR})=NQ-NR\) for some N and \(f_{QR}(P)=1\). Let \(Z_{QR}=Z_{QR,P}\) be the element of the motivic cohomology group \(H^{2g-1}_{{{\mathcal {M}}}}(J(C), {\mathbb {Z}}(g))\) constructed below in Section 2.3. There exists an extension class \(\epsilon ^4_{QR,P}\) in \({\text {Ext}}^1_{MHS}({\mathbb {Z}}(-2),\wedge ^2 H^1(C))\) constructed from the mixed Hodge structures associated to the fundamental groups \(\pi _1(C\backslash Q,P)\) and \(\pi _1(C \backslash R,P)\) such that \(\epsilon ^4_{QR,P}=(2g+1)N {\text {reg}}_{{\mathbb {Z}}}(Z_{QR})\, \hbox {in}\, {\text {Ext}}^1_{MHS}({\mathbb {Z}}(-2),\wedge ^2 H^1(C )).\)
In other words, our theorem states that the regulator of a natural cycle in the motivic cohomology group of the Jacobian of curves, being thought of as an extension class, is the same as the extension class of a natural extension of mixed Hodge structures coming from the fundamental group of the curve.
The outline of the proof is as follows. In section 2, we introduce background material on iterated integrals, regulators, motivic cycles and extensions. We then describe the cycle \(Z_{QR,P}\) and give a formula for its regulator. In section 3, we construct an extension coming from the MHS on the fundamental group that we expect to be related to the regulator of our explicit cycle. Finally, we prove that is indeed the case. This is the place where there was an error in the paper of Colombo [6]. One has to restrict to a certain subspace of \(H_1(C {\setminus } \{Q,R\})\) which is isomorphic to \(H_1(C)\). There is no canonical way in which to choose this in general, but in our case the function \(f_{QR}\) determines such as space.
As a result of this, we have a new iterated integral formula for the regulator which is more amenable to computation. In a subsequent paper, we apply this in the case of Fermat curves to get an explicit expression for the regulator in terms of hypergeometric functions—analogous to the works of Otsubo [14, 15]. As the primary requirement is a nice basis for the homology and the cohomology of the curve, we expect this will also work in the case of modular curve, though that case is quite well understood.
Darmon et al. [7] used the modified diagonal cycle to construct points on Jacobians of the curves and used the iterated integral approach to find a formula for the Abel–Jacobi image of these points. Starting with Bloch [2] and later Collino [5] and Colombo [6], it has been known that these null homologous cycles degenerate to higher Chow cycles on related varieties. Recently, Iyer and Müller-Stach [12] showed that the modified diagonal cycle degenerates to the kind of cycles we consider in some special cases. This degeneration can be understood from the point of view of extensions and in fact the iterated integral expression we have for the regulator show that in a rather natural way in terms of the holomorphic forms degenerating to logarithmic forms.
2 Iterated integrals, cycles, extensions and regulators
2.1 Iterated integrals
Let X be a smooth projective variety over \({\mathbb {C}}\). Let \(\alpha :[0,1] \rightarrow X\) be a path and \(\omega _1,\omega _2,\dots ,\omega _n\) be 1-forms on X. Suppose \(\alpha ^*(\omega _i)=f_i(t) dt\). The iterated integral of length n of \({\omega }_1,{\omega }_2 \dots {\omega }_n\) is defined to be
An iterated integral of length \(\le n\) is a linear combination of integrals of the form above with lengths \(\le n\). It is said to be a homotopy functional if it only depends on the homotopy class of the path \(\alpha \). A homotopy functional gives a functional on the group ring of the fundamental group or path space.
Iterated integrals can be thought of as integrals on simplices and satisfy the following basic properties. Here we have only stated the results for length two iterated integrals, since that is the only type we will encounter in this paper.
Lemma 2.1
(Basic properties). Let \(\omega _1\) and \(\omega _2\) be smooth 1-forms on X and \(\alpha \) and \(\beta \) piecewise smooth paths on X with \(\alpha (1)=\beta (0)\). Then
-
(1)
\({\int _{\alpha \cdot \beta } \omega _1 \omega _2=\int _{\alpha } \omega _1\omega _2 + \int _{\beta } \omega _1 \omega _2 + \int _{\alpha } \omega _1 \int _{\beta } \omega _2}\),
-
(2)
\({\int _{\alpha } \omega _1 \omega _2 + \int _{\alpha } \omega _2 \omega _1 = \int _{\alpha } \omega _1 \int _{\alpha } \omega _2}\),
-
(3)
\( {\int _{\alpha } df \omega _1 = \int _{\alpha } f \omega _1 - f(\alpha (0)) \int _{\alpha } \omega _1}\),
-
(4)
\({\int _{\alpha } \omega _1 df = f(\alpha (1))\int _{\alpha } \omega _1 -\int _{\alpha } f\omega _1}\).
Proof
This can be found in any article on iterated integrals, for instance, Hain’s excellent article [9]. \(\square \)
2.2 Motivic cohomology cycles
Let X be a smooth projective algebraic variety of dimension g defined over \({\mathbb {C}}\). The motivic cohomology group \(H^{2g-1}_{{{\mathcal {M}}}}(X,{\mathbb {Z}}(g))\) has the following presentation: Generators are represented by finite sums
where \(C_i\) are curves on X and \(f_i:C_i \longrightarrow {\mathbb {P}}^1\) are functions on them subject to the co-cycle condition
Relations in this group are defined as follows: If Y is a surface on X and f and g are functions on Y, one has the Steinberg element \(\{f,g\}\) in \(K_2({\mathbb {C}}(Y))\), where \({\mathbb {C}}(Y)\) is the function field of Y. To such an element one can consider the sum, called the tame symbol of \(\{f,g\}\),
where \(Y^{(1)}\) is the collection of curves on Y. This is a finite sum and satisfies the co-cycle condition, hence lies in the above group. An element is said to be 0 in \(H^{2g-1}_{{{\mathcal {M}}}}(X,{\mathbb {Z}}(g))\) if it lies in the image of the free abelian group generated by the tame symbols of elements of \(K_2({\mathbb {C}}(Y))\) for some surface \(Y \subset X\). The group \(H^{2g-1}_{{{\mathcal {M}}}}(X,{\mathbb {Z}}(g)) \otimes {\mathbb {Q}}\) is the same as the higher Chow group \(CH^g(X,1) \otimes {\mathbb {Q}}\).
In the group \(H^{2g-1}_{{{\mathcal {M}}}}(X,{\mathbb {Z}}(g))\), there are certain decomposable cycles coming from the product
This is simply \(CH^1(X) \times {\mathbb {C}}^*\). The group of indecomposable cycles is defined as the quotient
In general, it is not easy to find non trivial elements in this group.
2.3 The cycle \(Z_{QR,P}\) on J(C)
In this section, we construct a motivic cohomology cycle on J(C), where C is a smooth projective curve over \({\mathbb {C}}\). This was first constructed by Bloch [2] in the case when C is the modular curve \(X_0(37)\). The cycle is similar, in fact, generalises, the cycle constructed by Collino [5]. This section generalises the work of Colombo [6] on constructing the extension corresponding to the Collino cycle and hence many of the arguments are adapted from her paper.
Let C be a smooth projective curve defined over \({\mathbb {C}}\). Let Q and R be two distinct points on C such that there is a function \(f=f_{QR}\) with divisor
for some \(N \in {\mathbb {N}}\). To determine the function precisely, we choose a distinct third point P and assume \(f_{QR}(P)=1\).
There exist notable examples of curves where such functions can easily be found. For instance, modular curves with Q and R being cusps, Fermat curves with the two points being among the ‘trivial’ solutions of Fermat’s last theorem, namely the points with one of the coordinates being 0, and hyperelliptic curves with the two points being Weierstrass points.
Let \(C^Q\) denote the image of C under the map \(C \rightarrow J(C)\) given by \(x \rightarrow x-Q\). Similarly, let \(_RC\) denote the image of C under the map \(x \rightarrow R-x\) and let \(f^Q\) and \(_Rf\) denote the function f being considered as a function on \(C^Q\) and \(_RC\) respectively.
Consider the cycle in J(C) given by
We have
Hence the cycle \(Z_{QR,P}\) gives an element of \(H^{2g-1}_{{{\mathcal {M}}}}(J(C),{\mathbb {Z}}(g))\).
2.4 Regulators
Let X be a smooth projective variety of dimension g over \({\mathbb {C}}\). The regulator map of Beilinson is a map from the motivic cohomology group to the Deligne cohomology group.
where \(*\) denotes the \({\mathbb {C}}\)-linear dual and \(F^{\bullet }\) denotes the Hodge filtration. The group \(H^{2g-1}_{{{\mathcal {D}}}}(X,{\mathbb {Z}}(g))\) is a generalised torus.
The map is defined as follows [5]: Let \(Z=\sum _i (C_i,f_i)\) be a cycle in \(H^{2g-1}_{{{\mathcal {M}}}} (X,{\mathbb {Z}}(g))\), so \(C_i\) are curves on X and \(f_i\) are functions on them satisfying the cocycle condition. Let \([0,\infty ]\) denote the positive real axis in \({\mathbb {P}}^1\) and \(\gamma _i=f_i^{-1}([0,\infty ])\). Then \(\sum _i {\text {div}}(f_i)=0\) implies that the 1-chain \(\sum _i \gamma _i\) is closed and in fact torsion. If \(H_1(X,{\mathbb {Z}})\) has no torsion – as is in the case of the Jacobian of curves, it is exact. Assuming that we have
for some 2-chain D, for a closed 2-form \(\omega \) whose cohomology class lies in \(F^1H_{DR}^2(X,{\mathbb {C}})\),
Here \(C_i{\setminus } \gamma _i\) is the Riemann surface with boundary obtained as follows: Let \(n_{\epsilon }(\gamma _i)\) be an open tubular neighbourhood of \(\gamma _i\) in \(C_i\) which is homeomorphic to \((-\epsilon ,\epsilon ) \times \gamma _i\). \(C_i\backslash n_{\epsilon }(\gamma _i)\) is a closed subset of \(C_i\) with the structure of a manifold with boundary. The boundary \(\partial (C_i {\setminus } n_{\epsilon }(\gamma _i))\) is made up of two copies of \(\gamma _i\) with opposite orientation as well as \((-\epsilon ,\epsilon ) \times \gamma _i(0)\) and \((-\epsilon ,\epsilon ) \times \gamma _i(1)\) with opposite orientations. \(C_i {\setminus } \gamma _i\) is the manifold obtained by letting \(\epsilon \rightarrow 0\). For a decomposable element (C, a), where \(a \in {\mathbb {C}}^*\), the regulator is particularly simple as follows:
2.5 The regulator of \(Z_{QR,P}\)
Let \(Z_{QR,P}\) be the motivic cohomology cycle in \(H^{2g-1}_{{{\mathcal {M}}}}(J(C), {\mathbb {Z}}(g))\). We now obtain a formula for its regulator. The regulator is a current on forms in \(F^1(H^2(J(C)_{{\mathbb {C}}}))\). Since \(H^2(J(C))=\wedge ^2 H^1(C)\) elements are of the form \(\phi \wedge \psi \) where \(\phi \) and \(\psi \) are closed 1-forms on C and one of \(\phi \) or \(\psi \) is of type (1, 0). We have the following theorem.
Theorem 2.2
Let \(Z_{QR,P}\) be the motivic cohomology cycle in \(H^{2g-1}_{{{\mathcal {M}}}}(J(C),{\mathbb {Z}}(g))\), \(\phi \) and \(\psi \) two closed harmonic 1-forms in \(H^1(J(C))=H^1(C)\) with \(\psi \) holomorphic. Then
Proof
Recall that \(f=f_{QR}\) is a function on C with divisor \(NQ-NR\) for some N. Let \(\omega =\phi \wedge \psi \) and \(\gamma =f^{-1}([0,\infty ])\). As f is of degree N, \(\gamma \) is the union of N paths each lying on a different sheet with only the points Q and R in common. We will denote them by \(\gamma ^i\), \(1\le i \le N\). Each \(\gamma ^i\) is a path from Q to R. Let \(\gamma ^Q\) and \(_R\gamma \) denote the path \(\gamma \) on \(C^Q\), \(_RC\) respectively and similarly for the components \(\gamma ^i\). Then from the co-cycle condition one has
where D is a 2-chain on J(C).
From equation (1), one has
Our aim is to find a more explicit expression for \({\text {reg}}_{{\mathbb {Z}}}(Z_{QR,P})\). For this we need an explicit description of D. This was done in Lemma 1.2 of [6].
Lemma 2.3
Let \(a(s,t)=t\) and \(b(s,t)=\frac{t(1-s)}{1-s(1-t)}.\) Define \(F_i:[0,1] \times [0,1] \longrightarrow J(C)\) by \(F_i(s,t)=\gamma ^i(a(s,t)) - \gamma ^i(b(s,t))\) for \(1 \le i \le N\) and let \(D_i={\text {Im}}(F_i).\) Then, orienting counterclockwise, \(\partial (D_i)= \gamma ^{i,Q} \cdot _R\gamma ^{i}\). In particular, if \(D=\cup _{i=1}^{N} D_i\), then \(\partial (D)= \gamma ^Q \cdot _R\gamma \).
Proof
The proof is essentially identical to Colombo’s Lemma 1.2 – the only change is that she does it for \(N=2\) – so we do not repeat it here. \(\square \)
We can compute the last integral as an iterated integral as follows.
Lemma 2.4
Let \(\phi \) and \(\psi \) be closed harmonic 1-forms on C and let \(D_i\) be a disc as in the above lemma. Then
Proof
This again is a slightly modified version of Lemma 1.3 of [6]. \(\square \)
This completes the proof of Theorem 2.2.
3 Extensions
As stated in the Introduction, conjecturally, there is a canonical description of the motivic cohomology group as an extension in the category of mixed motives. From now on, \({\text {Ext}}\) will denote \({\text {Ext}}^1\). Further, we will use \(H^*(X)\) to denote the group \(H^*(X({\mathbb {C}}),{\mathbb {Z}})\), the singular (Betti) cohomology group with integral coefficients and \(H^*(X)_A\) to denote \(H^*(X)\otimes _{{\mathbb {Z}}} A\), where A is typically \({\mathbb {Q}}, {\mathbb {R}}\) or \({\mathbb {C}}\).
In our case, if one has a suitable category of mixed motives over \({\mathbb {Q}}\), \({\mathcal {MM}}_{{\mathbb {Q}}}\), one expects for a variety X [19] and i, n non-negative numbers with \(i<2n-1\),
where \({\mathbb {Q}}(-n)\) denotes the twist of the Tate motive and \(h^i(X)\) denotes the motive whose Hodge realisation is \(H^i(X)\).
One knows that the Deligne cohomology can be considered as an extension in the category of integral mixed Hodge structures,
Assuming (3) holds at the level of integer coefficients, the regulator map above then has a canonical description as the map induced by the realisation map from the category of mixed motives to the category of mixed Hodge structures
3.1 Extensions of mixed Hodge structures coming from the fundamental group
The key point of this paper is that, in some cases, one can also obtain extensions of mixed Hodge structures in other ways. For instance, if (X, P) is a pointed algebraic variety, it was shown by Hain [9] that the graded quotients \(J_P^a/J_P^b\) with \(a\le b\), where \(J_P\) is the augmentation ideal of the group ring of the fundamental group \({\mathbb {Z}}[\pi _1(X,P)]\), carry mixed Hodge structures. Hence natural exact sequences involving them lead to extensions of mixed Hodge structures.
Our aim is to first construct some natural motivic cohomology cycles in the case when \(X=J(C)\), the Jacobian of a curve of genus g. Their regulators will give rise to extensions of mixed Hodge structures. We will show that there are natural extensions of mixed Hodge structures coming from the Hodge structure on the graded pieces of \({\mathbb {Z}}[\pi _1(C,P)]\) for some suitable point P which give the same extensions. In particular, since the constructions can be carried out at the level of mixed motives, if we had a good category of mixed motives the cycle itself would be an extension in the conjectured category of mixed motives coming from the fundamental group.
3.2 The mixed Hodge structure on the fundamental group
Let C be a smooth projective curve over \({\mathbb {C}}\) and P, Q and R be three distinct points on C. Consider the open curve \(C_Q=C -\{Q\}\). Let \({\mathbb {Z}}[\pi _1(C_Q,P)]\) be the group ring of the fundamental group of \(C_Q\) based at P. Let \(J_{Q,P}:=J_{C_Q,P}\) denote the augmentation ideal
Let \(H^0({{\mathcal {B}}}_r(C_Q;P))\) denote the F-vector space, where F is \({\mathbb {R}}\) or \({\mathbb {C}}\), of homotopy invariant iterated integrals of length \(\le r\). Chen [4] showed that
under the map
Using this, Hain [9] was able to put a natural mixed Hodge structure on the graded pieces \(J_{Q,P}/J_{Q,P}^r\).
3.3 The extension \(E^3_{Q,P}\)
From this point on, we will use the following notation. For an extension E of mixed Hodge structures,
we use m to denote its class in \({\text {Ext}}^1_{MHS}(A,B)\) and H to denote the middle term. We will also use the notation \(N\cdot E\) to denote N times the extension with respect to the Baer sum, use \(N \cdot m\) to denote its class of this extension in the \({\text {Ext}}\) group and \(N\cdot H\) to denote its middle term .
For \(r\ge 3\), one can consider the extensions of mixed Hodge structures
where for a module M, \(M^*={\text {Hom}}(M,{\mathbb {Z}})\).
The simplest non-trivial case is when \(r=3\). In this case, \((J_{Q,P}/J_{Q,P}^2)^* \simeq H^1(C_{Q})\simeq H^1(C)\) and \((J_{Q,P}^2/J_{Q,P}^3)^* \simeq \otimes ^2 H^1(C)\) and the exact sequence becomes
Hence \(E^3_{Q,P}\) gives an element \(m^3_{Q,P}\) in \({\text {Ext}}(\otimes ^2 H^1(C),H^1(C))\). A similar construction with R in place of Q gives us the extension \(E^3_{R,P}\), which also lies in the same \({\text {Ext}}\) group.
There is a surjection \(\cup :\otimes ^2 H^1(C) \longrightarrow H^2(C) \simeq {\mathbb {Z}}(-1)\) coming from the cup product. Let K be the kernel of this map. The exact sequence of Hodge structures
splits over \({\mathbb {Q}}\) but not over \({\mathbb {Z}}\). This happens as follows: There is a bilinear form [13]
defined by
Let S denote the orthogonal complement of K in \(\otimes ^2 H^1(C)\) with respect to this bilinear form. Then, under the cup product S projects to \(2g {\mathbb {Z}}(-1)\) where \(g_C\) is the genus of C and
Let \(\bar{m}^3_{Q,P}\) denote the class in \({\text {Ext}}_{MHS}(S,H^1(C))\) corresponding to the extension
obtained by restricting \(E^3_{Q,P}\) to the extension of S by \(H^1(C)\). From Kaenders [13], one knows there is a covering map of complex tori,
It is well known that \({\text {Ext}}(S,H^1(C))={\text {Ext}}({\mathbb {Z}}(-1),H^1(C))\simeq {\text {Pic}}^0(C)\). To understand the other term, from the work of Hain [9], Pulte [16], Kaenders [13] and Rabi [18] one has the following theorem.
Theorem 3.1
The image of the class \(m^3_{Q,P}\) of \(E^3_{Q,P}\) in \({\text {Ext}}(\otimes ^2 H^1(C) ,H^1(C))\) is given by \(\phi (m^3_{Q,P})=(m^3_P, \bar{m}^3_{Q,P})\), where \(m^3_P \in {\text {Ext}}(K,H^1(C))\) depends only on P and \(\bar{m}^3_{Q,P}\) is given by \(2 g_C Q - 2P -\kappa _C \in {\text {Pic}}^0(C)\), where \(\kappa _C\) is the canonical divisor of C and \(g_C\) is the genus of C.
Recall that in the group \({\text {Ext}}\), addition is given by the Baer sum. We will denote this by \(\oplus _B\) (or \(\ominus _B\) if we are taking differences). Let \(m^3_{QR,P}\) denote the Baer difference \(m^3_{Q,P} \ominus _{B} m^3_{R,P}\).
Lemma 3.2
Under the hypothesis that there is a function with divisor \({\text {div}}(f_{QR})=NQ-NR\), the extension class \(m^3_{QR,P}\) is torsion in \({\text {Ext}}(H^1C) \otimes H^1(C),H^1(C))\). Precisely,
where by \(N\cdot H^3_{QR,P}\) we mean the middle term of the exact sequence obtained by adding the sequence \(E^3_{QR,P}\) to itself N-times using the Baer sum.
Proof
This follows from Theorem 2.5 of [13] which states that the map
given by
is well defined and injective. Hence, since \(N(Q-R)=0\) in \({\text {Pic}}^0(C)\), \(N(m^3_{Q,P}-m^3_{R,P})=N(m^3_{QR,P})=0\) in \({\text {Ext}}( H^1(C) \otimes H^1(C),H^1(C))\). \(\square \)
A consequence of this is that there is a morphism of integral mixed Hodge structures
given by the projection.
Remark 3.3
This extension represents the class \(Q-R\), at least up to an integral multiple, and is hence the first example of the theme of this paper – namely the Abel–Jacobi image of a null-homologous cycle is described in terms of extensions coming from the fundamental group.
\(\square \)
3.4 The extensions \(E^4_{Q,P}\) and \(E^4_{R,P}\)
We know from some of the works that the class \(m^3_P\) in \({\text {Ext}}(K,H^1(C))\) corresponds to the extension of mixed Hodge structures determined by the Ceresa cycle in J(C), or alternately, the modified diagonal cycle in \(C^3\). We would like to construct a similar class corresponding to the motivic cohomology cycle \(Z_{QR,P}\). To that end, we now consider, with C, P, Q and R as before, the extension corresponding to \(r=4\),
We have that \((J_{Q,P}^3/J_{Q,P}^4)^*\simeq \otimes ^3 H^1(C)\) and this does not depend on P, Q or R. However, from Theorem 3.1, \((J_{Q.P}/J_{Q,P}^3)^*\) depends on Q and P. Similarly \((J_{R.P}/J_{R,P}^3)^*\) depends on R and P. Hence we get classes in \({\text {Ext}}(\otimes ^3 H^1(C),(J_{Q.P}/J_{Q,P}^3)^*)\) and \({\text {Ext}}(\otimes ^3 H^1(C),(J_{R.P}/J_{R,P}^3)^*)\) – which are different groups – hence we cannot take their difference.
When C is hyperelliptic and Q, R and P are Weierstrass points, the extension classes \(m^3_{Q,P}\) and \(m^3_{R,P}\) are 2-torsion in \({\text {Ext}}(\otimes ^2 H^1(C),H^1(C))\). Hence one gets two classes
and one can project to get two classes \(e^4_{Q,P}\) and \(e^4_{R,P}\) in \({\text {Ext}}(\otimes ^3 H^1(C), H^1(C))\). Colombo [6] showed that the class
corresponds to the extension determined by the cycle \(Z_{QR, P}\)—after pulling back and pushing forward with some standard maps.
Unfortunately, in general, the extension classes \(m^3_{Q,P}\) and \(m^3_{R,P}\) are not torsion in the \({\text {Ext}}\) group. They correspond to the instances where the Ceresa cycle is non-torsion—which is the generic case. In fact, the instances where it is known that the cycles are non-torsion are precisely the cases we have in mind—modular curves and Fermat curves [1, 10]. Hence we cannot use this argument immediately. However, since we know from Lemma 3.2 that their difference \(m^3_{QR,P}\) is torsion, we would like to get an extension of the form
where “\(H^4_{QR,P}\)” is the middle term of a sort of generalised Baer difference of the two extensions \(E^4_{Q,P}\) and \(E^4_{R,P}\). We could then push-forward this extension using the splitting to get a class in \({\text {Ext}}(\otimes ^3 H^1(C)_{{\mathbb {Q}}},H^1(C)_{{\mathbb {Q}}})\). We cannot simply consider \(E^4_{QR,P}=E^4_{Q,P} \ominus _{B} E^4_{R,P}\) as the two extensions lie in different \({\text {Ext}}\) groups. So we have to consider a generalisation of Baer sums to not necessarily exact sequences which we came across in a paper of Rabi [18].
3.5 The Baer sum
This is well known but we recall it to fix notation in order to describe Rabi’s work. Recall that if we have two exact sequences of modules
for \(j \in \{1,2\}\), the Baer difference \(E_1 \ominus _B E_2\) is constructed as follows: We have
Let \(\psi : B_1\oplus B_2 \longrightarrow C\) be the map
and let \(H={\text {Ker}}(\psi )=\{(b_1,b_2)| \; p_1(b_1)=p_2(b_2)\}\). Let D be the image of \(\tilde{f}: A \longrightarrow A \oplus A \longrightarrow H\),
Let \(B=H/D\). The map \(f: A \oplus A \longrightarrow B\) given by
factors through \((A \oplus A)/A \simeq A\) and so one has a map \(\bar{f}:A \longrightarrow B\),
and an exact sequence
The class of this exact sequence in \({\text {Ext}}(C,A)\) is the Baer difference \(E_1 \ominus _B E_2\). The Baer sum \(E_1 \oplus _B E_2\) is the sequence obtained when one of the maps \(f_2\) or \(p_2\) is replaced by its negative. The Baer sum is essentially the push-out over A in the category of modules.
3.6 Rabi’s generalisation
Now suppose we have diagrams of the following type:
where the vertical and horizontal sequences are exact for \(j\in \{1,2\}\). Let \(E_j\) denote the horizontal exact sequences:
We would like to take the Baer difference of the \(E_j\)—but since they do not lie in the same \({\text {Ext}}\) group we cannot quite do that. However, we can still salvage something.
One gets two types of extension classes in \({\text {Ext}}\) groups which do not depend on j. The vertical exact sequences give classes in \({\text {Ext}}(C_1,A_1)\). We can form their Baer difference to get an exact sequence
The horizontal exact sequences give extensions in \({\text {Ext}}(B_3,B_1^j)\). These depend on j but their push forward under \(\pi _j\) give classes \({{\mathbf {f}}}_{B_2^j}\) in \({\text {Ext}}(B_3,C_1)\).
Define \({{\mathbf {B}}}_2\) as follows: Let \(H_2={\text {Ker}}(\psi )\), where \(\psi \) is the ‘difference’ map
Let \(D_2\) be the image of the map
Define \({{\mathbf {B}}}_2=H_2/D_2\). We call this the generalised Baer difference of \(E_1\) and \(E_2\) and denote it by \({\tilde{\ominus }}_B\). Observe that this is almost the Baer difference of \(E_1\) and \(E_2\) in the sense that if \(B_1=B_1^1=B_1^2\), then we could take the difference in \({\text {Ext}}(B_3,B_1)\). Since that is not the case, we do the best we can—we take the difference of the inexact sequences
As a result of this, one has a complex
However, this complex is not exact since \({\text {Ker}}(p_1)\) is larger than \((f_1\oplus f_2)({{\mathbf {B}}}_1)\). The next lemma describes this difference.
Lemma 3.4
[18]. Let \({{\mathbf {F}}}={{\mathbf {F}}}_{B^1_2 {\tilde{\ominus }}_B B^2_2} = {{\mathbf {B}}}_2/{{\mathbf {B}}}_1\). Then one has the following diagram, in which the horizontal and vertical sequences are exact:
Proof
(Appendix B of [17]). We repeat the proof here as it is unpublished. The horizontal sequence is exact by definition. To show that the vertical sequence is exact we have to first describe map \(\phi \). It is defined as follows. One has maps \(\pi _j:B_1^{j} \longrightarrow C_1\). Consider the natural map
where \(\Delta _{A_1}=\{(i_1(a),i_2(a))| a \in A_1\}\). \(\phi \) gives a well defined map
where \(\Delta _{C_1}=\{(c,-c) | c \in C_1\}\) is the anti-diagonal. This is well defined as if \((b_1,b_2)\) and \((b'_1,b'_2)\) are in \((\pi _1^{-1}(c_1),\pi _2^{-1}(c_2))\), we have to show
or
From exactness, we have \(b_1-b'_1=i_1(a_1)\) and \(b_2-b'_2=i_2(a_2)\) with \(a_i \in A_1\). The image of \(\Delta _{C_1}\) under \((\pi _1^{-1},\pi _2^{-1})\) consists of \((b,b')\) such that \(\pi _1(b)=\pi _2(b')\). \((i_1(a_1),i_2(a_2))\) lie in this image, hence
Note that the pre-image \((\pi _1^{-1},\pi _2^{-1})(\Delta _{C_1})\) in \((B_1^1 \oplus B_1^2)/\Delta _{A_1}\) is the Baer difference \({{\mathbf {B}}}_1\). Further, \((C_1\oplus C_1)/\Delta _{C_1}) \simeq C_1\). Hence one has a map \(\phi : C_1 \rightarrow {{\mathbf {F}}}={{\mathbf {B}}}_2/{{\mathbf {B}}}_1\) and we get an exact sequence
This sequence is exact as if \(b=(b^1_2,b^2_2)\) is in \({{\mathbf {F}}}_{B^1_2 {\tilde{\ominus }}_B B^2_2}\) and \(\bar{p}(b)=0\), then \(p_1(b^1_2)=p_2(b^2_2)=0\). So \(b^1_2\) and \(b^2_2\) lie in the image of \(B_1^1\oplus B_1^2\) – say \(b_2^1=f_1(b_1^1)\) and \(b_2^2=f_2(b_1^2)\). Let \(c_i=\pi _1(b_1^1)\) and \(c_2=\pi _2(b_1^2)\). Then
so it lies in the image of \(\phi \). \(\square \)
In general, for any \({\mathbb {Z}}\)-linear combination \(m \cdot B^1_2 {\tilde{\ominus }}_B \;n \cdot B^2_2\) of \(B_2^1\) and \(B_2^2\), we get an extension class \({{\mathbf {f}}}_{m\cdot B^1_2 {\tilde{\ominus }}_B \;n \cdot B^2_2}\) in \({\text {Ext}}(B_3,C_1)\) corresponding to \({{\mathbf {F}}}_{m \cdot B^1_2 {\tilde{\ominus }}_B \;n \cdot B^2_2}\). The relation between this and the extension classes constructed above is given as follows.
COROLLARY 3.5
Let \({{\mathbf {f}}}_{B_2^j}\) and \({{\mathbf {f}}}_{m \cdot B_2^1 {\tilde{\ominus }}_B \; n \cdot B^2_2}\) be the extensions in \({\text {Ext}}(B_3,C_1)\) described above. Then
Proof
This follows from the construction of the map \(\phi \). \(\square \)
In the next section, we apply these constructions in our particular case to get the extension class we want.
3.7 The extension \(e^4_{QR,P}\)
In this section, we construct an extension \(e^4_{QR,P}\) in \({\text {Ext}}(\otimes ^3 H^1(C),H^1(C))\) which generalises the element \(e^4_{Q,P} \ominus _B e^4_{R,P}\) constructed by Colombo [6]. Recall that we have an exact sequence
and a similar one \(E^3_{R,P}\). Also, we have the exact sequence
and a similar \(E^4_{R,P}\). This gives us diagrams as in Lemma 3.4, with \(B_1^1=(J_{Q,P}/J_{Q,P}^3)^*\), \(B_1^2= (J_{R,P}/J_{R,P}^3)^* \), \(B_2^1= (J_{Q,P}/J_{Q,P}^4)^* \), \(B_2^2= (J_{R,P}/J_{R,P}^4)^*\) and \(A_1=H^1(C)\), \(B_3=\otimes ^2 H^1(C)\) and finally \(C_1=\otimes ^2 H^1(C)\).
Let \({{\mathbf {f}}}_Q\), \({{\mathbf {f}}}_R\) and \({{\mathbf {f}}}_{QR}\) denote the classes in \({\text {Ext}}(\otimes ^3 H^1(C),\otimes ^2 H^1(C))\) with middle terms \(H^{23}_{Q,P}, H^{23}_{R,P}\) and \(H^{23}_{QR,P}\) corresponding to the diagrams for Q, R and their generalised Baer difference. \({{\mathbf {f}}}_Q\) and \({{\mathbf {f}}}_R\) are the push-forwards of \(m^4_{Q,P}\) and \(m^4_{R,P}\) respectively. From Corollary 3.5, one has
Lemma 3.6
\({{\mathbf {f}}}_{QR}\) is N-torsion in \({\text {Ext}}(\otimes ^3 H^1(C),\otimes ^2 H^1(C))\). Namely,
Proof
From Corollary 3.3 of [18], one has that the class \(H^{23}_{Q,P}\) in \({\text {Ext}}(\otimes ^3 H^1(C),\otimes ^2 H^1(C))\) is given by
Similarly,
Taking their difference gives
From Lemma 3.2, we have \(E^{3}_{R,P}-E^{3}_{Q,P}=(0, 2g(Q-R)) \in {\text {Ext}}_{MHS}(\otimes ^{2}H^{1}(C),H^{1}(C))\). As \(Q-R\) is N-torsion, we have
\(\square \)
We also know from Lemma 3.2 that \(m^3_{QR,P}\) is N-torsion. Hence from Lemma 3.4, we get an exact sequence
which gives a class in \({\text {Ext}}( \otimes ^3 H^1(C) \oplus \otimes ^2 H^1(C), \otimes ^2 H^1(C) \oplus H^1(C))\).
From the Künneth theorem,
Define
to be the projection onto that component. Note that if C is hyperelliptic, this class \(e^4_{QR,P}\) is precisely the class \(e^4_{QR,P}=e^4_{Q,P} \ominus _B e^4_{R,P}\) constructed by Colombo.
3.8 Statement of the main theorem
Armed with the class \(e^4_{QR,P} \in {\text {Ext}}(\otimes ^3 H^1(C), H^1(C)),\) we can proceed as in Colombo [6].
Let \(\Omega \) denote the pullback of the polarisation on J(C) in \(H^2(J(C))(1)\) to \(\otimes ^2 H^1(C)(1)\). There is an injection obtained by tensoring with \(\Omega \),
We first pull back the class using the map \(J_{\Omega }\) to get a class in
Tensoring with \(H^1(C),\) we get a class
Once again pulling back using the map \(\beta :{\mathbb {Z}}(-1) \rightarrow \otimes ^2 H^1(C)\) gives us a class
Our main theorem is as follows.
Theorem 3.7
Let C be a smooth projective curve of genus g and P, Q and R be three distinct points. Let \(Z_{QR,P}\) be the element of the motivic cohomology group \(H^3_{{{\mathcal {M}}}}(J(C), {\mathbb {Z}}(2))\) constructed above. Let \(\epsilon ^4_{QR,P}\) be the extension in \({\text {Ext}}_{MHS}({\mathbb {Z}}(-2),\wedge ^2 H^1(C))\) constructed above. Then
in \({\text {Ext}}_{MHS}({\mathbb {Z}}(-2),\wedge ^2 H^1(C ))\).
In other words, our theorem states that the regulator of a natural cycle in the motivic cohomology group of a product of curves, being thought of as an extension class is the same as that as a natural extension of MHS coming from the fundamental group of the curve. In fact, it is an extension of pure Hodge structures.
Remark 3.8
(Dependence on P). This is not so serious. If we do not normalise \(f_{QR}\) with the condition that \(f_{QR}(P)=1\), then one has to add an expression of the form \(\log (f_{QR}(P)) \int _{C} \cdot \) to the term—and this corresponds to adding a decomposable element of the form \((\Delta _C,\log (f_{QR}(P)))\) to our element \(Z_{QR}\).
4 Carlson’s representatives
The proof of the main theorem will follow by showing that both the algebraic cycle constructed earlier and the extension class constructed above induce the same current. For that we have to understand how an extension class induces a current. This comes from understanding the Carlson representative. In this section, we once again follow Colombo [6] and adapt her arguments to our situation.
If V is a MHS all of whose weights are negative, then the intermediate Jacobian of V is defined to be
This is a generalised torus – namely a group of the form \({\mathbb {C}}^a/{\mathbb {Z}}^b \simeq ({\mathbb {C}}^*)^{b} \times ({\mathbb {C}})^{a-b}\) for some a and b.
An extension of mixed Hodge structures
is called separated if the lowest non-zero weight of B is greater than the largest non-zero weight of A. This implies that \({\text {Hom}}_{MHS}(B,A)\) has negative weights. Carlson [3] showed that
This is defined as follows: As an extension of Abelian groups, the extension splits. So one has a map \(r_{{\mathbb {Z}}}:H \rightarrow A\) which is a retraction, \(r_{{\mathbb {Z}}}\circ \iota =id\). Let \(s_F\) be a section in \({\text {Hom}}(B_{{\mathbb {C}}},H_{{\mathbb {C}}})\) preserving the Hodge filtration. Then the Carlson representative of an extension is defined to be the class of
We now describe explicitly the Carlson representative of the extension \(\epsilon ^4_{QR,P}\) constructed in the previous section. This is done in a few steps, first we describe the representative for \(e^4_{QR,P}\) and then for its various pullbacks and push forwards to obtain that for \(\epsilon ^4_{QR,P}\).
4.1 Preliminaries
As before, let C be a smooth projective curve of genus g. We first describe the Carlson representative of the extension
From the above discussion, this is an element of
so explicitly, given an element of \(\otimes ^3 H^1(C)_{{\mathbb {C}}}\) we get an element of \(H^1(C)_{{\mathbb {C}}}\) which we can think of as a functional on \(H_1(C)_{{\mathbb {C}}}\).
Let \(C_{QR}\) denote the open curve \(C {\setminus } \{Q,R\}\). In fact, we will describe the functional as an iterated integral made up of forms in \(H^1(C_{QR})_{{\mathbb {C}}}\) and will naturally be a functional on \(H_1(C_{QR})\). We have a natural inclusion
which induces \(i_*\) on homology and \(i^*\) on cohomology. In order to consider the iterated integral as a functional on \(H_1(C)\), we have to make a choice of an embedding \(H_1(C) \hookrightarrow H_1(C_{QR})\) which splits the map \(i_*\). There are many ways of doing this, but for our formula to work, we need to make a particular choice. In this section, we first construct a ‘natural’ splitting of the map \(i_*\) – namely a subgroup of \(H_1(C _{QR})\) which maps isomorphically to \(H_1(C)\) under \(i_*\).
Consider the group \(\pi _1(C_{QR};P)\). This is a free group on \(2g+1\) generators. The generators have the following description. The fundamental polygon of C is a 4g-sided polygon with the edges \(e_i\) and \(e_{i+g}\) identified. The end points of the edges are identified and so they give 2g loops \(\alpha '_i\) in \(C_{QR}\) which we consider as loops based at P. Let \(\beta _Q\) be a small simple loop around Q based at P. Then \(\pi _1(C_{QR};P)=\langle \alpha '_1,\dots ,\alpha '_{2g},\beta _Q\rangle \).
The map \(f:C \rightarrow {\mathbb {P}}^1\) restricts to give \(f:C_{QR} \rightarrow {\mathbb {P}}^1-\{0,\infty \}\) and this induces
One knows \(\pi _1({\mathbb {P}}^{1}-\{0,\infty \}) \simeq {\mathbb {Z}}\). Let \(\beta _0\) denote the generator. Let \(H={\text {Ker}}(f_*)\). Then \(f_*(\pi _1(C_{QR};P))\) is a subgroup of \({\mathbb {Z}}\). In a deleted neighbourhood of 0 the map looks like \(z \rightarrow z^N\), where N is the degree. Hence loop \(\beta _Q\) is taken to \(\beta _0^N\). Let \(f_*(\alpha '_i)= \beta _0^{m_i}\) for some \(m_i \in {\mathbb {Z}}\). Then \(\alpha _i={\alpha '_i}^N \beta _Q^{-m_i}\) satisfies \(f_*(\alpha _i)=0\). Let G denote the subgroup of \(H={\text {Ker}}(f_*)\) generated by the \(\{\alpha _i\}\).
The inclusion map i also induces \(i_*\) on the fundamental groups. Since \(i_*(\beta _Q)=0\), \(i_*(\alpha _i)=i_*(\alpha '_i)^N\). The fundamental group of C is \(\pi _1(C;P)=\{\langle i_*(\alpha '_1),\dots ,i_*(\alpha '_{2g})\rangle /\prod [i_*(\alpha '_i),i_*(\alpha '_{i+g})]=0\}\). Hence one has a map \(G \rightarrow \pi _1(C;P)\) whose image is the subgroup generated by the N-th powers of \(\alpha '_i\).
Lemma 4.1
The abelianization of G is isomorphic to the subgroup of index \(N^{2g}\) of the abelianization of \(\pi _1(C;P)\),
where \(N\cdot \) denotes multiplication by N.
Proof
Let \(\alpha =\prod \alpha _{a_i}^{b_i}\) be a word in G. For a generator \(\alpha _i\) of G, define
namely, the number of times \(\alpha _i\) appears in the word. Define
Let \(K=\ker (\Psi )\). Clearly \([G,G] \subset K\). Further, the map \(\Psi \) factors through \(i_*\) and is surjective. We claim \(K=[G,G]\). To see this, observe that if \(a,b \in G\),
By repeatedly applying this, one can see that any word
In particular, if \({\text {ord}}_{\alpha _i}(\alpha )=0\) for all i, \(\alpha \in [G,G]\). Hence \(K=[G,G]\). Hence
The map \(i_*\) takes \(\alpha _i\) to \({\alpha '}_i^N\). One has a similar map \(\Psi ':\pi _1(C;P) \rightarrow {\mathbb {Z}}^{2g}\) using \(\alpha '_i\) instead of \(\alpha _i\) which shows that the abelianization of \(\pi _1(C;P)\) is \({\mathbb {Z}}^{2g}\) as well. However, under this map \(\Psi '(\alpha _i)=N\) and hence G/[G, G] is carried to the subgroup \(N \cdot {\mathbb {Z}}^{2g}\). Multiplication by N is an isomorphism so the map
is an isomorphism between the two abelianizations. \(\square \)
Let \(V=G/[G,G]\). The abelianization of the fundamental group of \(C_{QR}\) is \(H_1(C_{QR})\) and so V is a subgroup of \(H_1(C_{QR})\). The abelianization of \(\pi _1(C)\) is \(H_1(C)\). Hence the map \(i_N\) is an isomorphism between V and \(H_1(C)\). Let \(j_N:H_1(C) \longrightarrow V\) be the inverse isomorphism. This gives an embedding of \(H_1(C)\) in \(H_1(C_{QR})\). As discussed above, the Carlson representative is a functional on \(H_1(C)\). However, we will obtain a functional on \(H_1(C_{QR})\) which will be the Carlson representative of the extension when considered as a functional on V.
Let \([\alpha ]\) denote the homology class of a loop \(\alpha \). The collection \(\{[\alpha _i']\}\) has the property that their images \(\{[i_*(\alpha '_i)]\}\) in \(H_1(C)\) form a symplectic basis. Since \(i_*([\beta _Q])=0\), \(i_*([\alpha _i])=N i_*([\alpha '_i])\). Hence under the isomorphism, \(i_N([\alpha _i])=[i_*(\alpha '_i)]\). Let \(\{dx_i\}\) be the dual basis of harmonic forms in \(H^1(C,{\mathbb {C}})\) satisfying
where \(\delta _{ij}\) is the Kronecker delta function. With this choice of \(\{[\alpha '_i]\}s\) and \(\{dx_i\}s\), the volume form on \(H^2(C)\) can be expressed as follows: Let
and \(\sigma (i)=i+c(i)g\). The volume form is
From that one gets that a Poincaré dual of \(c(i)dx_{\sigma (i)}\) is \([i_*(\alpha _i')]\).
The group V is a subgroup of \(H_1(C_{QR})\). Recall that for the non-compact manifold \(C_{QR}\), Poincaré duality states that
where \(H^1_c(C_{QR})\) is the cohomology with compact support of \(C_{QR}\). This group has a mixed Hodge structure determined by identifying it with the relative cohomology group \(H^1(C_{QR},\{Q,R\})\). Unlike \(H^1(C_{QR})\) which has nontrivial weight 1 and weight 2 pieces, cohomology with compact support has weight 0 and weight 1 pieces and is covariant. However, we have an isomorphism of the weight 1 graded pieces,
Here the first isomorphism is induced by \(id_*\), the identity map and the second by \(i^*\).
The space V determines a splitting of the Hodge structure on \(H_1(C_{QR})\). The space \(V^*\) of Poincaré duals of element of V is a subspace of \(H^1_c(C_{QR})\) which determines a splitting of the Hodge structure on \(H^1_c(C_{QR})\). Further, \(V^*\) is isomorphic to \(H^1(C)\). Hence if \(\eta \) is a form in \(H^1(C)\) it is cohomologous in \(C_{QR}\) to a compactly supported form in \(V^* \subset H^1_c(C_{QR})\). One has
where \(\omega _Q\) is a Poincaré dual of \(\beta _Q\). Thus \({\mathbb {Q}}\cdot \omega _Q \simeq {\mathbb {Q}}(0)\). Note that
since \(i_*(\beta _Q)=0\). Further
Hence the dual of \([\alpha _i]\) is \(\frac{i^*(dx_i)}{N}\) and under the dual map \(dx_i\) is taken to be \(\frac{dx_i}{N}\) in \(V^*={\text {Hom}}(V,{\mathbb {Z}})\). Further, note that
since \([\alpha _i] \in {\text {Ker}}(f_*)\).
We now construct a cover of \(C_{QR}\) which has the property that its first homology group is G/[G, G] and the form \(\frac{df}{f}\) is exact. Further, the loops \(\alpha _i\) lift to loops on this cover. We do that as follows: Let \(u:X \rightarrow C_{QR}\) denote the universal cover of \(C_{QR}\). The group G acts on X as a group of deck transformations. Let \(\tilde{C}=X/G\) denote the quotient and \(q:\tilde{C} \rightarrow C_{QR}\) denote the covering map. This is a cover
such that \(\pi _1(\tilde{C};\tilde{P}) = G\), where \(\tilde{P}\) is a point in \(q^{-1}(P)\). Now by homotopy lifting ([11], Proposition 1.31), loops based at P whose homotopy class lie in \(G\subset \pi _1(C_{QR,P})\) will lift to loops in \(\tilde{C}\) based at \(\tilde{P}\). Thus \(\alpha _i \in G\) will lift to a unique up to homotopy loop \({\tilde{\alpha }}_i\) based at \(\tilde{P}\) such that \(q_*({\tilde{\alpha }}_i)=\alpha _i\).
PROPOSITION 4.2
\(q^*(\frac{df}{f}) = 0\) in \(H^1(\tilde{C})\). Hence there is a function which we call \(\log (q^*(f))\), defined on \(\tilde{C}\) such that \(d\log (q^*(f))=q^*(\frac{df}{f})\).
Proof
From Lemma 4.1,
By the de Rham isomorphism, \(H^1(\tilde{C}) \simeq H^1(C)\).
The maps \(q^*\) and \(q_*\) are adjoint with respect to the de Rham pairing – namely, if \(\sigma \in H_1(\tilde{C})\) and \(\omega \in H^1(C_{QR},{\mathbb {C}}),\) then
Further, \(q^*(\omega )\) is 0 in \(H^1(\tilde{C})\) if and only if \(\int _{q_*(\sigma )} \omega =0\) for all \(\sigma \in H_1(\tilde{C})\). Applying this to \(\omega =\frac{df}{f}\) and using the fact that \([{\tilde{\alpha }}_i], 1 \le i \le 2g\) give a basis for \(H_1(\tilde{C})\), we have
The map f induces
The form \(\frac{df}{f}=f^*(\frac{dz}{z})\). Hence, one has
However, since \(\alpha _i \in G\) and by choice \(G \subset {\text {Ker}}(f_*)\), we have \(f_*(\alpha _i)=0\), so \(f_*([\alpha _i])=0\) and finally
Hence \(q^*(\frac{df}{f})=0 \in H^1(\tilde{C})\). Therefore, integration of \(\frac{df}{f}\) is path independent and we have a well defined function
on \(\tilde{C}\). Note that \(\log (q^*(f)(\tilde{P}))=0\). \(\square \)
Hence the space V can be understood as the homology of the space \(\tilde{C}\) and the map \(q_*\) gives a rational splitting of the map \(i_*\). We also have the following description of \(V_{{\mathbb {Q}}}\).
Lemma 4.3
Let \(f:C_{QR} \longrightarrow {\mathbb {P}}^1-\{0,\infty \}\) be the map with divisor \({\text {div}}(f)=NQ-NR\) and \(f(P)=1\) and \(V=G/[G,G]\) as above. Let \(W_{{\mathbb {Q}}}={\text {Ker}}(f_*:H_1(C_{QR})_{{\mathbb {Q}}} \longrightarrow H_1({\mathbb {P}}^1-\{0,\infty \}_Q))\). Then \(V_{{\mathbb {Q}}}=W_{{\mathbb {Q}}}\).
Proof
Since \(V \subset {\text {Ker}}(f_*)\), \(V_{{\mathbb {Q}}} \subset W_{{\mathbb {Q}}}\). However, both \(V_{{\mathbb {Q}}}\) and \(W_{{\mathbb {Q}}}\) are subspaces of codimension 1 in \(H_1(C_{QR})_{{\mathbb {Q}}}\). Hence they are isomorphic. \(\square \)
Note that it does not appear to be true that \(V={\text {Ker}}(f_*)\) as \({\mathbb {Z}}\)-modules. Intrinsically, the reason why there is such a V is the following. If C and \(C_{QR}\) are as above, there is an exact sequence of mixed Hodge structures
induced by the inclusion map. Hence \(H_1(C_{QR})\) determines a class in \({\text {Ext}}(H_1(C),{\mathbb {Z}}(1))\). From the Carlson isomorphism one knows
and the class determined by \(H_1(C_{QR})\) is nothing but the class of \(Q-R\) in \(CH^1_\mathrm{hom}(C)\). Since there exists a function f with \({\text {div}}(f)=NQ-NR\), it implies that this sequence splits rationally. Hence there is a map
which splits the exact sequence. This map can be seen to be
and if \(V_{{\mathbb {Q}}}\) is the kernel, then \(V_{{\mathbb {Q}}} \simeq H_1(C)_{{\mathbb {Q}}}\). Clearly, \(\sigma \in {\text {Ker}}(p) \Leftrightarrow \sigma \in {\text {Ker}}(f_*)\). Hence \({\text {Ker}}(f_*)\) is isomorphic to \(H_1(C)_{{\mathbb {Q}}}\). The V defined above is only contained in \({\text {Ker}}(f_*)\) but is a subgroup of the integral homology \(H_1(C)\) – so has a little more information.
4.2 The Carlson representative of \(e^4_{QR,P}\)
The Carlson representative of \(e^4_{QR,P}\) is given by \( p_1 \circ r_{{\mathbb {Z}}} \circ s_F \circ i_3, \) where
-
\(p_1\) is the projection of \(N \cdot H^3_{QR,P} \simeq H^1(C) \oplus \otimes ^2 H^1(C) {\mathop {\longrightarrow }\limits ^{p_1}} H^1(C)\),
-
\(i_3\) is the inclusion map \(\otimes ^3 H^1(C) {\mathop {\hookrightarrow }\limits ^{i_3}} \otimes ^3 H^1(C) \oplus \otimes ^2 H^1(C)\).
To describe \(s_F\), we need a little more. Let \(C_{\bullet }=C-\{\bullet \}\) for \(\bullet \in \{Q,R\}\). The inclusion map
induces isomorphisms on the first homology and cohomology groups – and in what follows, we will identify elements of \(H_1(C_{\bullet })\) with their images in \(H_1(C)\) and similarly elements of \(H^1(C)\) with their images in \(H^1(C_{\bullet })\).
Recall \({\tilde{\ominus }}_B\) denotes the generalised Baer difference. Let
be the section preserving the Hodge filtration given by
Here \(I^{ijk}_{\bullet } \in (J_{\bullet ,P}/J_{\bullet ,P}^4)^*\) for \(\bullet \in \{Q,R\}\) are iterated integrals with
where \(\mu _{ij,\bullet }\), \(\mu _{jk,\bullet }\) and \(\mu _{ijk,\bullet }\) are smooth, logarithmic 1-forms on \(C_{\bullet }\) such that
-
(1)
\(d\mu _{jk,\bullet }+dx_j \wedge dx_k=0\),
-
(2)
\(d\mu _{ij,\bullet }+dx_i \wedge dx_{j}=0\),
-
(3)
\(dx_i \wedge \mu _{jk,\bullet } + \mu _{ij,\bullet }\wedge dx_k +d\mu _{ijk,\bullet }=0.\)
There are inclusion maps of \(C_{QR}\) into \(C_{Q}\) and \(C_{R}\) and we can pull back the forms \(dx_i\), \(\mu _{ij,\bullet }\) and \(\mu _{ijk,\bullet }\) to \(C_{QR}\) and consider all the forms as forms on \(C_{QR}\). To compute the element of \({\text {Hom}}(\otimes ^3 H^1(C)_{{\mathbb {C}}}, H^1(C)_{{\mathbb {C}}})\) obtained as the projection under \(p_1\), we describe it as an element of \(H_1(C)_{{\mathbb {C}}}^*={\text {Hom}}(H_1(C),{\mathbb {C}})=H^1(C,{\mathbb {C}})\). The integrands \(I^{ijk}_{\bullet }\) are made up of forms on \(C_{QR}\) and so to compute it on elements of \(H_1(C)\), we have to choose an embedding of \(H_1(C)\) in \(H_1(C_{QR})\). This is precisely what the subgroup V gives us.
Hence from now on, if \(\alpha \) is a homology class in \(H_1(C)\), we think of it as an element of \(H_1(C_{QR})\) by identifying it with its image in \(V=q_*(H_1(\tilde{C}))\). Let \(V^*\) denote its dual in \(H^1_c(C_{QR})\). The Poincaré dual of an element of V also lies in \(V^*\).
The map from
is given by
Further, if \(\alpha \) is a loop based at P on \(C_{QR}\), the class in \(H_1(C)=J_{\bullet ,P}/J_{\bullet ,P}^{2}\) corresponding to it is \(1-\alpha \). So one has \(p_1 \circ r_{{\mathbb {Z}}} \circ s_F \circ i_3 \in {\text {Hom}}(\otimes ^3 H^1(C)_{{\mathbb {C}}},H^1(C)_{{\mathbb {C}}})\). As an integral, it is
where the first \(1-\alpha \) is the class in \(H_1(C_Q)\) and the second is the class in \(H_1(C_R)\). They are both carried to the same class in V under the isomorphism, so we can take the difference of the integrals when we consider \(\alpha \) as a loop in \(C_{QR}\) whose corresponding homology class lies in V. This resulting expression is
We can choose the logarithmic forms \(\mu _{ij,\bullet }\) and \(\mu _{ijk,\bullet }\) for \(\bullet \in \{Q,R\}\), satisfying the following:
-
\(\mu _{ij,\bullet }=-\mu _{ji,\bullet }\).
-
For \(|i-j|\ne g\), \(\mu _{ij,\bullet }\) is smooth on C, as \(d\mu _{ij,\bullet }=dx_j \wedge dx_i=0\). As \(H^2(C_{QR},{\mathbb {Z}})=0\) and \(\mu _{ij,\bullet }\) is smooth, it is orthogonal to all closed forms, that is, \(\mu _{ij,\bullet }\wedge dx_k\) is exact.
-
\(\mu _{i\sigma (i),\bullet }\) has a logarithmic singularity at \(\bullet \) with residue c(i).
-
\(\mu _{ij,Q}-\mu _{ij,R}=0\) if \(|i-j| \ne g\) as forms on \(C_{QR}\).
-
\(\mu _{i\sigma (i),Q}-\mu _{i\sigma (i),R}=\frac{c(i)}{N}\frac{df}{f}\), where \(f=f_{QR}\) is a function such that \({\text {div}}(f_{QR})=NQ-NR\). We can normalise \(f_{QR}\) once again by requiring that \(f_{QR}(P)=1\).
In terms of our basis of forms of \(H^1(C)\), \(\Omega \in \otimes ^2 H^1(C)\) is
With these choices of \(\mu _{ij,\bullet }\) and \(\mu _{ijk,\bullet }\), we have the following theorem.
Theorem 4.4
Let \(\mathbf{G}_{QR,P} \in {\text {Hom}}(H^1(C)(-1)_{{\mathbb {C}}},H^1(C)_{{\mathbb {C}}})\) be the Carlson representative corresponding to the extension class \(J_{\Omega }^*(e^4_{QR,P})\). It is given by
in \(J({\text {Hom}}(H^1(C)(-1),H^1(C)))\), where
is a 1-form on \(C_{QR}\) which satisfies
Proof
Let \(S_F\) denote the map \(S_F=s_F \circ i_3 \circ J_{\Omega }:H^1(C)(-1) \rightarrow N \cdot H^4_{QR,P}\). This is given by
From (7), one has
Evaluating on a loop \(\alpha _j\) based at P using the maps described above, this is
From the choice of the forms \(\mu _{ij,\bullet }\) and \(\mu _{ijk,\bullet }\) above, the leading terms and several of the lower order terms cancel out and
and
Since \(c(i)^2=1\), what remains is
Let
Since integration over a point, which corresponds to the constant loop 1 is 0 and \(\int _{\alpha _j} \frac{df}{f}=0\), by choice of \(\alpha _j\), using Lemma 2.1(2), the integral becomes
Now consider
From the choice of \(\mu _{ijk,\bullet }\), one has
So the sum becomes
In the second sum, only one term survives and one has
We have computed the Carlson representative \(\mathbf{{G}}_{QR,P}\) of our class in \({\text {Ext}}(H^1(C)(-1),H^1(C))\). We now tensor with \(H^1(C)\) and pull back using the map \(\otimes \Omega :{\mathbb {Z}}(-1)\longrightarrow \otimes ^2 H^1(C)\). This gives us an element of \({\text {Ext}}({\mathbb {Z}}(-2), \otimes ^2 H^1(C))\). We denote its Carlson representative by \(\mathbf{F}_{QR,P}\).
Lemma 4.5
The Carlson representative of the class in \({\text {Ext}}({\mathbb {Z}}(-2),\otimes ^2 H^1(C))\) is given by
in \((\otimes ^2 H^1(C)_{{\mathbb {C}}})^*\). On an element \(\alpha _j \otimes \alpha _k\), it is given by
Proof
Recall that \(\Omega =\sum _1^{2g} c(i)dx_i \otimes dx_{\sigma (i)}.\)
From above, we have
From the choice of \(\alpha _k\), one has
Hence, in the sum above, precisely one term survives at \(i=\sigma (k)\). Therefore,
In particular,
\(\square \)
We now use Proposition 4.2 to convert the iterated integral into an ordinary integral. The iterated integral term of length 2 in (8) is
which we can evaluate using Lemma 2.1(3) if \(\frac{df}{f}\) is exact. However, \(\frac{df}{f}\) is not exact on \(C_{QR}\) but it is exact on \(\tilde{C}\), using Proposition 4.2. So we do the integration on \(\tilde{C}\). Precisely, we do that as follows.
Let \(\alpha \) be a loop such that \([\alpha ] \in q_*(H_1(\tilde{C}))\), where \(q:\tilde{C} \longrightarrow C_{QR}\) is the cover. Let \(\alpha =q_*({\tilde{\alpha }})\), where \({\tilde{\alpha }}\) is a loop based at \(\tilde{P}\) lying over the base point P of \(\alpha \). Let \(\psi \) be another closed 1-form on \(C_{QR}\).
We have
From Proposition 4.2, \(q^*(\frac{df}{f})\) is exact on \({\tilde{\alpha }}\). In other words, \(q^*(\frac{df}{f})=d\log (q^*(f))\). Choose a primitive \(\log (q^*(f))\) such that \(\log (q^*(f)(\tilde{P}))=0\). Using Lemma 2.1(3) and the fact that we have chosen \(\log (q^*(f))\) with \(\log (q^*(f)(\tilde{P}))=0\),
Hence we have
Applying this to the case at hand, we have
We have made a choice of \(\tilde{\alpha _j}\). If we chose a different base point, the value of \(\log (q^*(f))\) will change by \(2 \pi i M\) for some \(M \in {\mathbb {Z}}\). This will change the integral by \(2 \pi i M \int _{\alpha _j} dx_{\sigma (k)}\). This does not affect the class in the intermediate Jacobian.
We would like to connect the expression above, which is the Carlson representative of the extension class \(\epsilon ^4_{QR,P}\), to the regulator of an explicit cycle on the Jacobian of the curve. This is done by the following revised version of Colombo’s Proposition 3.3. Recall that by \(C{\setminus } \gamma \), we mean
where \({n_{\epsilon }(\gamma )}\) is an open tubular neighbourhood of \(\gamma \) homeomorphic to \((-\epsilon ,\epsilon ) \times \gamma \).
PROPOSITION 4.6
(Colombo Proposition 3.3)
Let \(f=f_{QR}\) be as before and \(\psi \) a closed 1-form on \(C_{QR}\). Let \(W(\psi )\) be a 1-form such that \(dW(\psi )=\psi \wedge \frac{df}{f}\). Hence \(\Theta =\log (f)\psi +W(\psi )\) is a closed 1 form on \(C_{QR} {\setminus } \gamma \). Let \(\alpha \) be a loop in \(C_{QR}\) such that \([\alpha ] \in V\) and let \(\eta _{\alpha } \in H^1_c(C_{QR})\) be the Poincaré dual of \([\alpha ]\) constructed below. Then we have the iterated integral
Proof
We first need the following useful lemma.
Lemma 4.7
Let \(\Theta \) and \(\psi \) be as above. Then
Proof
Let \(C {\setminus } {n_{\epsilon }(\gamma )}\) be the manifold with boundary as before. This is a closed set so the form \(\Theta \) is closed and compactly supported on \(C {\setminus } {n_{\epsilon }(\gamma )}\). The boundary
where \(\gamma _1\) and \(\gamma _2\) are copies of \(\gamma \). Applying Stokes theorem to \(d\Theta \), we get
Recall \(\Theta =\log (f) \psi + W(\psi )\). The function \(\log (f)\) differs by \(2 \pi i \) on \(\gamma _1\) and \(\gamma _2\). The form \(W(\psi )\) is defined on all of \(C_{QR}\) so the integrals over \(\gamma _1\) and \(\gamma _2\) cancel. Keeping track of orientations, we have
As \(\epsilon \rightarrow 0\), it shows that \( -2 \pi i \int _{\gamma } \psi =0.\) \(\square \)
The subgroup V is generated by the classes of \(\alpha _i={\alpha '}_i^N \beta _Q^{-m_i}\), where \(\alpha '_i\) is one of the ‘standard’ generators of \(\pi _1(C)\) coming from the edges of the fundamental polygon and \(\beta _Q\) is a small simple loop around Q. These loops satisfy \(f_*(\alpha _i)=0\).
It suffices to prove the theorem for \(\alpha _i\) and extend linearly, so from this point on, we let \(\alpha =\alpha _i\), \(\alpha '=\alpha '_i\). Let \(\eta _{\alpha }\) be the compactly supported Poincaré dual of \([\alpha ]\) constructed as in [8] as follows: Suppose \(\delta \) is a simple loop in \(C_{QR}\). Let \(D=D_{\delta }\) be a tubular neighbourhood of \(\delta \). We can write \(D_{\delta }-\delta =D_{\delta }^+ \cup D_{\delta }^-\) with \(D_{\delta }^{-}\) to the left and \(D_{\delta }^{+}\) to the right of \(\delta \). Let \(D_0\) be a sub-tubular neighbourhood of \(\delta \) in D and \(D_0^{\pm }=D_0 \cap D_{\delta }^{\pm }\). Let \(G_{\delta }\) be a function such that it is smooth on \(C_{QR}-\delta \) and
Define
so the support \({\text {Supp}}(\eta _{\delta }) \subset D_{\delta }^-\). One can then see that if \(\psi \) is a closed 1-form on \(C_{QR}\),
since \(G_{\delta } \equiv 1\) on \(\delta \) and with this choice of orientation \(\partial (D_{\delta }^-)=\delta \).
In our case, in general, \(\alpha =\alpha _i={\alpha '}^N \beta _Q^{-m_i}\) is not a simple loop. However, \(\alpha '\) and \(\beta _Q\) are. Let \(D_{\alpha }^-=D_{\alpha '}^- \cup D_{\beta _Q}^-\). Define
\(\eta _{\alpha }\) is supported in \(D_{\alpha }^-\) and is a Poincaré dual of \([\alpha ]\) and as for a 1-form \(\psi \),
Let \({\tilde{\Theta }}=q^*(\Theta )=\log (q^*(f))q^*(\psi ) +q^*(W(\psi )) \). From the discussion above,
where \({\tilde{\alpha }}\) is a lifting of \(\alpha \) to a loop in \(\tilde{C}\) such that it is based at \(\tilde{P}\) and \(\log (q^*(f))\) is chosen such that \(\log (q^*(f)(\tilde{P})=0.\) We would like to compute this integral.
Let \({n_{\epsilon }(\gamma )}\) be as above and \(C {\setminus } {n_{\epsilon }(\gamma )}\) be as before. Choosing \(\epsilon \) and the tubular neighbourhoods carefully, we can assume, without loss of generality that \(\alpha '\) and \(\beta _Q\) do not pass through the points Q and R and that the tubular neighbourhoods \(D_{\alpha '}\) and \(D_{\beta _Q}\) do not intersect \((-\epsilon ,\epsilon ) \times Q\) and \((-\epsilon ,\epsilon ) \times R\).
We have \(\alpha =\alpha '^N \beta _Q^{-m_i}\). Let \({\tilde{\alpha }}'\) be the lift of \(\alpha '\) and \({\tilde{\beta }}_Q\) the lift of \(\beta _Q\). The restriction \(\alpha '|_{C_{QR} {\setminus } {n_{\epsilon }(\gamma )}}=\bigcup _j \alpha '^j\) is a union of a finite number of paths \(\alpha '^j\). The covering map q induces a homeomorphism from each \(\alpha '^j\) to a path \({\tilde{\alpha }}'^j\) such that \(\bigcup {\tilde{\alpha }}'^j={\tilde{\alpha }}'|_{\tilde{C} {\setminus } q^{-1}({n_{\epsilon }(\gamma )})}\). Let \(D_{\alpha '^j}\), and similarly, \(D_{\alpha '^j}^{-}\) denote the restriction of the tubular neighbourhood \(D_{\alpha '}\) of \(\alpha '\) to a tubular neighbourhood of the path \(\alpha '^j\). We have
Hence we have
The boundary of the tubular neighbourhood \(D_{\alpha '^j}^-\) is
Applying Stokes’ theorem, we get
Summing up over j, we have
as \(G_{\alpha '}\) is supported in \(D_{\alpha '}^-\). Recall that the value of \(\log (f)\) on \(\gamma _1\) and \(\gamma _2\) differ by \(-2\pi i\). The value of \(G_{\alpha '} W(\psi )\) is the same on both \(\gamma _1\) and \(\gamma _2\), hence \(\int _{\gamma _1} G_{\alpha '} W(\psi )-\int _{\gamma _2} G_{\alpha '} W(\psi )=0\). Hence we get
Lemmas 4.7 and 2.1(3) shows that the integral simplifies to
So we get
We can make a similar argument for \(\beta _Q\).
Combining the two we get
Finally, since \(\eta _{\alpha }\) is compactly supported in \(C_{QR}\), we can replace \(C_{QR} {\setminus } {n_{\epsilon }(\gamma )}\) with \(C{\setminus } {n_{\epsilon }(\gamma )}\) to get
To link this to the integral over \({\tilde{\alpha }}\), we observe the following. The loop \(\alpha '^N\) lifts to a path in \(\widetilde{\alpha '^N}\) in \(\tilde{C}\) which is made up of copies of \({\tilde{\alpha }}'\). Let \({\tilde{\alpha }}'_k\) denote the lift of the k-th copy of \(\alpha '\), so \({\tilde{\alpha }}'_k(1)={\tilde{\alpha }}'_{k+1}(0)\). We can choose the homeomorphisms between \(\alpha '^j\) and \({\tilde{\alpha }}'^j\) such that the k-th copy of \(\alpha '^j\) is homeomorphic to a path \({\tilde{\alpha }}'^j_k\) in \({\tilde{\alpha }}'_k\). So we have homeomorphisms
A similar situation holds for \(\beta _Q\). Via these homeomorphisms
which is
Finally, as \(\epsilon \rightarrow 0\), the set \({\tilde{\alpha }} \cap \partial (\tilde{C} {\setminus } q^{-1}({n_{\epsilon }(\gamma )}))\) becomes a set of measure 0, so we have
We have made a choice of a lifting \({\tilde{\alpha }}\) of \(\alpha \). A different choice of base point \(\tilde{P}'\) would change the value of \(\log (q^*(f))\) by \(2 \pi i M\) for some \(M \in {\mathbb {Z}}\). This would change the integral by \(2 \pi i M \int _{\alpha } \psi \). Hence this equality holds only up to \(2 \pi i \int _{\alpha } \psi {\mathbb {Z}}\). \(\square \)
We have the following useful corollary to the above proposition, which says that in fact, we can replace \(\eta _{\alpha }\) by any form on C which is cohomologous to \(i_*([\eta _{\alpha }])\).
COROLLARY 4.8
Let f, \(\psi \) and \(W(\psi )\) be as above and \(\phi _{\alpha }\) a closed 1 form on C which is cohomologous in \(H^1(C)\) to \(i_*([\eta _{\alpha }])\) for some \(\alpha \) in V. Then
Proof
Let \(\phi _{\alpha }\) denote such a form. Both \(\phi _{\alpha }\) and \(\eta _{\alpha }\) are Poincaré duals of the same homology class, so \(\phi _{\alpha }-\eta _{\alpha }=dg\). Let \({n_{\epsilon }(\gamma )}\) be as before. One has
So it suffices to compute the two terms separately.
Any closed form \(\phi \) on C is compactly supported on the manifold with boundary \(C {\setminus } {n_{\epsilon }(\gamma )}\) as \(C {\setminus } {n_{\epsilon }(\gamma )}\) is a closed subset of C and C is compact. Further, by choice of V, it will be cohomologous to \([i_*(\eta _{\alpha })]\) for some \(\alpha \in V\). In particular, we know that \([c(i)\frac{dx_{\sigma (i)}}{N}]\) is cohomologous to a Poincaré dual of \([\alpha _i]\).
Since both \(\phi _{\alpha }\) and \(\eta _{\alpha }\) are compactly supported on \(C {\setminus } {n_{\epsilon }(\gamma )}\), so is dg and hence g and \(dg \wedge \Theta \) are compactly supported as well. From Stokes’ theorem, we get
If we choose a different function h such that \(dh=dg\), then \(h-g=c\) for some constant c. Hence, from Lemma 4.7, we see
so it does not depend on the choice of primitive.
An argument similar to Lemma 4.7 with \(g\Theta \) in place of \(\Theta \) shows that
Lemma 4.7 along with Lemma 2.1(3) shows further that
Taking the limit as \(\epsilon \rightarrow 0\), one gets
From Proposition 4.6, we have
Since the integral of \(dg \wedge \Theta \) cancels the iterated integral term, we have
\(\square \)
Remark 4.9
We will apply this to compute the Carlson representative of an extension class. This is an element of the intermediate Jacobian associated to the extension, hence the two expressions, while they possibly differ by and element of \((2 \pi i \int _{\alpha } \psi ){\mathbb {Z}}\) will have the same class in \({\text {Hom}}_{{\mathbb {Z}}} ({\mathbb {Z}}(-2),\otimes ^2 H^1(C))\) keeping in mind isomorphism of \(H_1(C)\) with \(q_*(H_1(\tilde{C})) \subset H_1(C_{QR})\). We will use \(\equiv \) to keep in mind the fact that all equalities hold only in the intermediate Jacobian.
We now apply this in the case of interest to us.
COROLLARY 4.10
Let \(\alpha _j\) be as above. Then
Proof
This is a straightforward application of Corollary 4.8 to the expression in Lemma 4.5. \(\square \)
\(\mathbf{F}_{QR,P}(\Omega )\) determines an element of the intermediate Jacobian of \((\otimes ^2 V_{{\mathbb {C}}})^*\),
so to determine \(\mathbf{F}_{QR,P}(\Omega )\), it suffices to evaluate it on elements of \(F^1(\otimes ^2 V_{{\mathbb {C}}})^*\). From the above Corollary, we can compute it on \(F^1(\otimes ^2 H^1(C))\).
Let \(\{dz_i\}\) be a basis of the holomorphic 1-forms on C such that
where \(\{\alpha _i\}\) is the basis V.
coming from the fact that \(c(j)\frac{dx_{\sigma (j)}}{N}\) is dual to \(\alpha _j\). This expression continues to hold when we consider them as forms in \(C_{QR}\).
Let \(\zeta _{j}=c(\sigma (j)) \alpha _{\sigma (j)}+\sum _{1\le i \le g} A_{ji} c(i) \alpha _{i},\) where \(j\le g\). Then \(dz_j\) is cohomologous in \(H^1(C_{QR})\) to a Poincaré dual of \(\zeta _j\). We have the following proposition.
PROPOSITION 4.11
The map \(\mathbf{F}_{QR,P}(\Omega )\) evaluated on elements of the form \(\zeta _i \otimes \alpha _j\) is
In other words,
Proof
This is Proposition 3.4 of [6]. The point is that \(W(dx_j)\) and \(dz_i\) are both of type (1, 0), hence \(dz_i \wedge W(dx_j)=0\). \(\square \)
In fact, the theorem holds for the other term as well.
PROPOSITION 4.12
For a suitable choice of \(\mu _{ijk,Q}\) and \(\mu _{ijk,R}\), one has
Proof
It follows from Lemma 3.1 of [6]. \(\square \)
Hence we have as follows.
PROPOSITION 4.13
Comparing this with the regulator term in Theorem 2.2, we get the following.
Theorem 4.14
Let \(Z_{QR}\) be the motivic cohomology cycle constructed above and \(\epsilon _{QR,P}^4\) the extension in \({\text {Ext}}_{MHS}({\mathbb {Z}}(-2),\wedge ^2 H^1(C))\). We use \(\epsilon ^4_{QR,P}\) to denote its Carlson representative as well. Then one has
where \(\omega \in F^1\wedge ^2 H^1(C)\).
Proof
It suffices to check this on \(dz_i \wedge dx_j=dz_i \otimes dx_j-dx_j \otimes dz_i\). The result then follows by comparing the formula for the Carlson representative \(\mathbf{F}_{QR,P}\) in Lemma 4.5 with the expression for the regulator in Theorem 2.2 using Proposition 4.11.
From Theorem 4.13 and Lemma 4.5, we have
On the other hand, from Proposition 4.13, one has
Therefore, we get
On the other hand, from Theorem 2.2,
\(\square \)
Recall that we have assumed in both cases that \(f_{QR}(P)=1\). If we do not make that assumption, then one has a term corresponding to a decomposable element that one has to account for. However, if we work modulo the decomposable cycles we can ignore that term.
As a result of this theorem, we get the following expression of the regulator as an iterated integral over a loop – which is more amenable to computation.
COROLLARY 4.15
Let \(Z_{QR,P}\) be the element of \(H^{2g-1}_{{{\mathcal {M}}}}({ J}(C),{\mathbb {Z}}(g))\) and let \(\eta \) and \(\omega \) be two closed 1 forms on C with \(\omega \) holomorphic. Let \(\alpha \) be a loop in \(C_{QR}\) based at P such that \([\alpha ] \in V\) and a Poincaré dual of \([\alpha ]\) is homologous to \(\eta \) in \(H^1(C_{QR})\). Then
Proof
It suffices to check this for \(\eta =dx_j\) and \(\omega =dz_i\). From Theorem 4.14, one has
From Lemma 2.1, we have
From Lemma 4.7, one has \(\int _{\gamma } dz_i = 0\). Hence
Therefore, we can simplify the regulator expression to get
Using Corollary 4.8, this becomes
Remark 4.16
Darmol et al. [7] and Otsubo [15] have a similar formula for the regulator of the modified diagonal cycle. Their expression is an iterated integral of two holomorphic forms over the dual of a third form – but none of the forms are logarithmic. Similarly, the regulator of an element of \(K_2\) can be expressed as the iterated integral of two logarithmic forms over the dual of a third holomorphic form.
References
Bloch S, Algebraic cycles and values of \(L\)-functions, J. Reine Angew. Math. 350 (1984) 94–108
Bloch S J, Higher Regulators, Algebraic \(K\)-Theory, and Zeta Functions of Elliptic Curves, Volume 11 of CRM Monograph Series (American Mathematical Society, Providence, RI, 2000)
Carlson J A, Extensions of mixed Hodge structures, Journées de Géometrie Algébrique d’Angers, Juillet 1979/Algebraic Geometry, Angers, 1979 (Sijthoff & Noordhoff, Alphen aan den Rijn, 1980), pp. 107–127
Chen K T, Iterated path integrals, Bull. Am. Math. Soc. 83(5) (1977) 831–879
Collino A, Griffiths’ infinitesimal invariant and higher \(K\)-theory on hyperelliptic Jacobians, J. Algebr. Geom.6(3) (1997) 393–415
Colombo E, The mixed Hodge structure on the fundamental group of hyperelliptic curves and higher cycles, J. Algebr. Geom. 11(4) (2002) 761–790
Darmon H, Rotger V and Sols I, Iterated integrals, diagonal cycles and rational points on elliptic curves, Publications mathématiques de Besançon. Algèbre et théorie des nombres, 2012/2, volume 2012/ of Publ. Math. Besançon Algèbre Théorie Nr. (Presses Univ. Franche-Comté, Besançon, 2012), pp. 19–46
Farkas H M and Kra I, Riemann Surfaces, Volume 71 of Graduate Texts in Mathematics, second edition (Springer, New York, 1992)
Hain R M, The geometry of the mixed Hodge structure on the fundamental group, Algebraic Geometry, Bowdoin, 1985 (Brunswick, Maine, 1985), Volume 46 of Proc. Sympos. Pure Math. (Amer. Math. Soc., Providence, RI, 1987), pp. 247–282
Harris B, Homological versus algebraic equivalence in a Jacobian, Proc. Natl. Acad. Sci. USA, 80(4 i.) (1983) 1157–1158
Hatcher A, Algebraic Topology (Cambridge University Press, Cambridge, 2002)
Iyer J N and Müller-Stach S, Degeneration of the modified diagonal cycle. ArXiv e-prints (January 2014)
Kaenders R H, The mixed Hodge structure on the fundamental group of a punctured Riemann surface, Proc. Am. Math. Soc. 129(5) (2001) 1271–1281
Otsubo N, On the regulator of Fermat motives and generalized hypergeometric functions, J. Reine Angew. Math. 660 (2011) 27–82
Otsubo N, On the Abel–Jacobi maps of Fermat Jacobians, Math. Z. 270(1–2) (2012) 423–444
Pulte M J, The fundamental group of a Riemann surface: mixed Hodge structures and algebraic cycles. Duke Math. J. 57(3) (1988) 721–760
Rabi R, A note on the Hodge theory of curves and periods of integrals. preprint, pp. 1–71 (1996)
Rabi R, Some variants of the logarithm, Manuscripta Math. 105(4) (2001) 425–469
Scholl A J, Extensions of motives, higher Chow groups and special values of \(L\)-functions, Séminaire de Théorie des Nombres, Paris, 1991–92, Volume 116 of Progr. Math. (Birkhäuser Boston, Boston, MA, 1993), pp. 279–292
Acknowledgements
This work constitutes part of the Ph.D. thesis of the first author. The authors would like to thank Najmuddin Fakhruddin, Noriyuki Otsubo, Satoshi Kondo, Elisabetta Colombo, Jishnu Biswas, Manish Kumar, Ronnie Sebastian, Ranier Kaenders, Harish Seshadri, Arvind Nair, Shreedhar Inamdar and Suresh Nayak for their comments and suggestions. They would also like to thank the referee of an earlier version of this manuscript for pointing out numerous errors and specifically for pointing out the error in Colombo’s paper which we had to rectify and the referee of this version for their comments and suggestions. Finally, the authors take great pleasure in thanking the Indian Statistical Institute, Bangalore for their support while this work was being done. The first author would also like to thank TIFR for their hospitality while these revisions were being made.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicating Editor: B Sury
Rights and permissions
About this article
Cite this article
Sarkar, S., Sreekantan, R. The fundamental group and extensions of motives of Jacobians of curves. Proc Math Sci 130, 18 (2020). https://doi.org/10.1007/s12044-019-0539-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12044-019-0539-z
Keywords
- Algebraic cycles
- mixed Hodge structures
- extensions
- regulators
- curves
- Jacobians
- higher Chow cycles
- motivic cycles