Cohomologies of Unipotent Harmonic Bundles over Noncompact Curves
Juergen Jost,Yi-Hu Yang,Kang Zuo
DOI: https://doi.org/10.1515/crelle.2007.062
2007-01-01
Journal für die reine und angewandte Mathematik (Crelles Journal)
Abstract:Let S be a compact Riemann surface (holomorphic curve) of genus g. Let p1; p2; . . . ; ps be s > 0 points on it; these points define a divisor, and we denote the open Riemann surface Snfp1; . . . ; psg by S. When 3g 3 þ s > 0, it carries a complete hyperbolic metric of finite volume, the so-called Poincaré metric; the points p1; p2; . . . ; ps then become cusps at infinity. Even in the remaining cases, that is, for a once or twice punctured sphere, we can equip S with a metric that is hyperbolic in the vicinity of the cusp(s), and for our purposes, the behavior of the metric there is all what counts, and we call such a metric Poincaré-like. In any case, our metric on S is denoted by o. Denote the inclusion map of S in S by j. Let r : p1ðSÞ ! Glðn;CÞ be a semisimple linear representation of p1ðSÞ which is unipotent near the cusps (for the precise definition, cf. §2.4). Corresponding to such a representation r, one has a local system Lr over S and a r-equivariant harmonic map h : S ! Glðn;CÞ=UðnÞ with a certain special growth condition near the divisor, which is especially of finite energy (for details, see §2.4). For the present case of complex dimension 1, this is actually elementary; it also follows from the general result of [11]. We also remark that if not imposing any growth condition, r-equivariant harmonic maps are not unique in general, even of infinite energy (cf. [13]). In order to see explicitly the behavior at the cusps of the harmonic map h used in this note, we explicitly construct an initial map, which has the required asymptotic behavior, and show why it has finite energy. Then the existence of the harmonic map h and its behavior are obtained in a standard manner presently. It should be pointed out that the construction here is essentially the same as that in [11]; but the target manifolds of [11] are very general, so the construction there was getting very complicated. The idea of the explicit construction here will also be used in the case of higher dimension. The harmonic map h obtained above can be considered as a Hermitian metric on Lr—harmonic metric—so that we have a so-called harmonic bundle ðLr; hÞ [23]. Such a bundle carries interesting structures, e.g. a Higgs bundle structure ðE; yÞ, where y 1⁄4 qh, and it has a log-singularity at the divisor.