Isolated singularities of Toda equations and cyclic Higgs bundles
Abstract.
This paper is the second part of our study on the Toda equations and the cyclic Higgs bundles associated with -differentials over non-compact Riemann surfaces. We classify all the solutions up to boundedness around the isolated singularity of an -differential under the assumption that the -differential is meromorphic or has some type of essential singularity. As a result, for example, we classify all the solutions on if the -differential is a finite sum of the exponential of polynomials.
Key words and phrases:
Cyclic Higgs bundles, Toda equations, harmonic metrics, essential singularity2010 Mathematics Subject Classification:
53C07, 58E151. Introduction
1.1. Harmonic bundles and Toda equations
1.1.1. Higgs bundles associated with -differentials and harmonic metrics
Let be any Riemann surface. We fix a line bundle with an isomorphism . Let be a positive integer. We set . We define the actions of on by . They induce a -action on . For any -differential , let denote the Higgs field of induced by the identity map and . Note that is homogeneous with respect to the -action. It implies that if is a harmonic metric of then is again a harmonic metric of .
Let denote the set of -invariant harmonic metrics of such that . By the -invariance, the decomposition is orthogonal with respect to any , and hence we obtain the decomposition . Note that and are mutually dual. We say that is real if and are mutually dual. Let denote the subset of which are real.
Recall that if is compact then the classification of harmonic metrics of is well known. Indeed, if is hyperbolic, the Higgs bundle is stable for any . Hence, according to the Kobayashi-Hitchin correspondence for Higgs bundles due to Hitchin and Simpson ([19], [38]), has a unique harmonic metric such that . Moreover, as observed by Baraglia [1], the uniqueness implies that is -invariant and real. In other words, for a compact hyperbolic Riemann surface , consists of a unique element. If is an elliptic curve, it is easy to see that consists of a unique element if , and that is empty. If is , it is easy to see that there is no non-zero holomorphic -differential, and that is empty. Note that if is compact hyperbolic and if , as observed by Hitchin and Simpson, with the harmonic metric is naturally a polarized variation of Hodge structure, which particularly implies the -invariance.
If is non-compact, the uniqueness of harmonic metrics of the Higgs bundle does not necessarily hold, and a harmonic metric of unit determinant is not necessarily -invariant. But, if is the complement of a finite subset in a compact Riemann surface , and if is meromorphic on , we may still apply the Kobayashi-Hitchin correspondence for singular Higgs bundles due to Simpson [39] in the tame case and Biquard-Boalch [4] in the wild case. (See also [29] for the extension of a wild harmonic bundle to a filtered Higgs bundle.) Indeed, in [14, 15, 30, 31], was classified in the case with motivated by the relation with the -geometry [7], and the method in [30, 31] owes on the Kobayashi-Hitchin correspondence. (See [14, 15] for a different approach to the same issue.)
In this paper, as a continuation of [24], we investigate a classification of -invariant harmonic metrics on over a more general non-compact Riemann surface with a more general -differential , which is not covered by the theory of wild harmonic bundles. In particular, we shall closely study the case where has some type of essential singularity.
1.1.2. Toda equations associated with -differentials
Let be any Kähler metric of . It induces a -invariant Hermitian metric of . For any other -invariant Hermitian metric such that , we obtain a tuple of -valued functions such that by the relation
Then, is contained in if and only if the following type of Toda equation is satisfied:
(1) |
Here, denotes the adjoint of the multiplication of the associated Kähler form, and is the Gaussian curvature of . Let denote the set of solutions of (1) satisfying . A solution is called real if . Let denote the set of real solutions of (1). As explained, there is a natural bijection , which induces .
Remark 1.2.
Remark 1.3.
A solution of the Toda equation gives rise to an equivariant harmonic map from a universal covering of to the symmetric space such that except for is a nonzero constant multiple of . In lower rank, the Toda equation is encoded with much richer geometry. If , the Toda equation coincides with the Bochner equation for harmonic maps between surfaces for a given Hopf differential, e.g., see [37, 44, 45, 49]. For the study of solutions for given meromorphic quadratic differentials, one can check [17, 18, 50]. If , the Toda equation for a real solution coincides with Wang’s equation for hyperbolic affine spheres in for a given Pick differential, e.g., see [3, 20, 25, 46]. For the study of solutions for given meromorphic cubic differentials, one can check [2, 10, 26, 27, 35]. If , the Toda equation for a real solution coincides with the Gauss-Ricci equation for maximal surfaces in , e.g., see [8, 42].
1.1.3. Existence and uniqueness of complete solutions
A solution is called complete if the metrics are complete. In terms of harmonic metrics, it is equivalent to the condition that the Kähler metrics induced by are complete on , where we naturally identify the tangent bundle of with . The following fundamental theorem is proved in [24]. (See [24] for more detailed properties of complete solutions.)
Theorem 1.4 ([24]).
Let be a non-compact Riemann surface with a holomorphic -differential . Assume either (i) is hyperbolic, or (ii) is parabolic and . Here, we say that is hyperbolic (resp. parabolic) if a universal covering of is the upper half plane (resp. ). Then, there uniquely exists a complete solution . It is real, i.e., . Moreover, there exists a complete Kähler metric of such that are mutually bounded with , and that is bounded. ∎
When we emphasize the dependence on , we use the notation . Let denote the corresponding harmonic metric, which is independent of the choice of . We shall also use the notation when we emphasize the dependence on .
1.1.4. Uniqueness and non-uniqueness of general solutions
Suppose that has finitely many zeros. In this case, the results in [24] clarify whether general solutions of (1) are uniquely determined or not. Let be any relatively compact open neighbourhood of the zero set of . On , we obtain the Kähler metric . We proved the following proposition in [24] on the uniqueness. Note that such a uniqueness was first proved in [23] for with a polynomial -differential .
Proposition 1.5 ([24]).
If induces a complete distance on , then the equation (1) has a unique solution, i.e., and . ∎
Remark 1.6.
In fact, the condition induces a complete distance on is equivalent to that where is compact and is finite, is meromorphic on with poles at each point of of pole order at least . Here is a brief argument. Since has finitely many zeros, one can easily extend to a smooth metric on , which is obviously of finite total curvature. By using Huber’s theorem on complete surfaces with finite total curvature, we obtain where is compact and is finite. The rest is proven using a similar argument as in [35, Lemma B.3].
As for the non-uniqueness, the following proposition is proved in [24].
Proposition 1.7 ([24]).
If has finitely many zeros, there exists a solution such that outside a compact subset ,
In particular, solutions of (1) are not unique if does not induce a complete distance of . ∎
When the uniqueness does not hold, it is natural to study a classification of general solutions of (1) under a mild assumption for . For example, let and . According to [14, 15, 30, 31], for any , we obtain a tuple of real numbers determined by
The correspondence induces a bijection
(2) |
It is our purpose in this paper to pursue a similar classification of in a more general situation, which we shall explain in the following subsections.
1.1.5. Remark on the difference of the conventions for the induced Hermitian metrics
We use a different convention from [24] for the induced Hermitian metric on . For a Kähler metric , we set in this paper. (For example, see [13].) In [24], we used the norm . In particular, . Let denote the induced Hermitian metric of obtained by the latter convention. Then, for an -valued function , a Hermitian metric is a harmonic metric of if and only if the following equation is satisfied, which is studied in [24]:
(3) |
An -valued function satisfies (1) if and only if the tuple satisfies (3).
1.2. Isolated singularities
Let be a finite subset. Let us consider the case where is a holomorphic -differential on , which is not constantly . We shall study the classification of the behaviour of up to boundedness around each point of . Let denote a holomorphic coordinate neighbourhood around with . We set .
1.2.1. The case of poles
Let us recall that if is a pole of , a general theory of harmonic bundles [38, 29, 32] allows us to obtain the classification in terms of parabolic structure up to boundedness. We have the expression
where denotes an integer, and induces a holomorphic function on such that . If is sufficiently small, is nowhere vanishing.
If , we obtain the following estimate:
In particular, any and are mutually bounded around . (See §3.5.1 for more details.)
1.2.2. Holomorphic functions with multiple growth orders
To study more general cases, we introduce a reasonable subclass of essential singularities of holomorphic functions. Let denote a holomorphic function on .
Let denote the oriented real blowing up. Let . We fix a branch of around .
-
•
We say that is regularly bounded around if there exist a neighbourhood of in , non-zero complex numbers , and mutually distinct real numbers for which holds as in .
-
•
We say that has a single growth order at if there exists , and such that is regularly bounded around .
-
•
We say that has multiple growth orders at if is expressed as a finite sum of holomorphic functions with a single growth order at such that are mutually distinct.
-
•
We say that has multiple growth orders at if has multiple growth orders at any .
Remark 1.8.
If satisfies a linear differential equation
for meromorphic functions on , then has multiple growth orders at . (For example, see [28, §II.1].)
Note that when has single growth order at ,
induces a continuous function on a neighbourhood of . The function is also denoted by . As the value of the function at , we obtain a real number .
If has multiple growth orders at , there exists a finite subset such that the following holds at .
-
•
has a single growth order at .
-
•
,
Note that are identified with . An interval of is called special with respect to if there exists and such that the following holds.
-
•
The length of is .
-
•
For any , we obtain that
and that . Here, we assume that the branches of at are analytically continued along .
1.2.3. The case where is not meromorphic but has multiple growth orders
For , we have the expression , where is a holomorphic function on . We say that has multiple growth orders at , if has multiple growth orders at .
Assume that is not meromorphic but has multiple growth orders at . Let denote the (possibly empty) set of intervals in which are special with respect to . Let denote the set of such that
Theorem 1.9 (Theorem 6.1).
-
•
For any , there exist and such that the following estimates hold as on for any :
(6) -
•
If for any , there exists a relatively compact neighbourhood of such that and are mutually bounded on .
-
•
For any , there exists such that .
Let us explain rough ideas for the proof. Let . If has a single growth order at with
then should be close to a canonical harmonic metric around outside of some neighbourhoods of the zeroes of , which follows from variants of Simpson’s main estimate. (See Proposition 5.1. See §3.2.1 for .) Therefore, around such , we may apply the subharmonicity of the difference of two harmonic metrics (see §2.4) to obtain that two harmonic metrics are mutually bounded. Let be an interval of such that
for any . Assume that is maximal among such intervals. There exist and such that for any . Moreover, the length of is not strictly greater than . If the length of is strictly smaller than , we can apply Phragmén-Lindelöf theorem (Proposition 4.1) to obtain that any are mutually bounded around the closure of (Theorem 5.2). If the length of is , i.e., if is special, then the Nevanlinna formula (Proposition 4.4) says that there exists the tuple for any such that the estimate (6) holds. (See Theorem 5.3.) We can also apply Phragmén-Lindelöf theorem to obtain that any are mutually bounded around if .
For the construction of such that , we shall find a neighbourhood of , a -invariant Hermitian metric of with , and an increasing sequence of relatively compact open subsets of such that the following holds.
-
•
The estimate (6) holds for and each .
-
•
The boundary are smooth, and .
-
•
For such that , we obtain on , where and are independent of .
Note that there always exists such that by a theorem of Donaldson [9] (see Proposition 2.1). For any compact subset , there exists such that on for any such that . By taking a subsequence, we may assume that the sequence is convergent to . (See Proposition 3.15.) By the uniform estimate on , we obtain the estimate on , and hence .
1.3. Global classification in the case where has multiple growth orders
Suppose that has multiple growth orders at each point of . Let denote the set of such that is meromorphic at . We divide , where denotes the set of such that , and . For , let denote the set of satisfying the condition (4). We set . We set . Then, we obtain the map
(7) |
If is empty, denotes a set which consists of one element. Similarly, if is empty, denotes a set which consists of one element.
Let denote the set of such that . Let denote the set of such that . The map (7) induces the following:
(8) |
The following theorem is a special case of Theorem 1.12 below.
As a special case of Theorem 1.10, we obtain the following corollary in the meromorphic case.
Corollary 1.11.
Suppose that is compact, and that is meromorphic on . Then, there exists a natural bijection . If moreover at each , we obtain . ∎
If is not compact, it is reasonable to impose an additional boundary condition on the behaviour of harmonic metrics around the infinity of . Recall that is assumed to be finite. Let denote the set of such that for any relatively compact open neighbourhood of , the Kähler metrics are complete. (See §1.1.3 for .) It turns out that is contained in if and only if for any relatively compact open neighbourhood of , and are mutually bounded. We set .
We obtain the following map as the restriction of (7):
(9) |
Similarly, we obtain the following map as the restriction of (8):
(10) |
Let us explain rough ideas for the proof of Theorem 1.12. For the uniqueness, the argument in [24] is available even in this situation. According to [38, Lemma 3.1] (see §2.4), for any two , we obtain the inequality (128) on . If and , we obtain that and are mutually bounded, and hence [39, Lemma 2.2] implies that the inequality (128) weakly holds on . Then, as in [24], we may apply Omori-Yau maximum principle to obtain . Note that the argument can be simplified if is compact. Indeed, because is potential theoretically parabolic in this case, we obtain immediately from the mutual boundedness of and . (See Corollary 8.19 and Remark 8.20.)
As for the existence, for any and , we can construct a -invariant Hermitian metric of such that the following holds.
-
•
There exists a relatively compact neighbourhood of such that .
-
•
There exists a relatively compact neighbourhood such that and that
Note that there exists a compact subset such that . We develop a variant of Kobayashi-Hitchin correspondence for harmonic bundles (Proposition 2.11, Proposition 3.18), which allows us to obtain such that and are mutually bounded. We remark that if is compact, the argument can be simplified, again. Indeed, we immediately obtain the desired metric by applying a theorem of Simpson [38] to .
1.4. Comparison of the methods and the results
In [24] and this paper, we apply rather different two methods. The both methods have their own advantage. In fact, one of the goals of this work is to present readers as many as tools which can be useful in dealing with cyclic Higgs bundles over non-compact Riemann surfaces.
On one hand, the study in [24] is more p.d.e theoretic, and it is available in a quite general setting. The p.d.e tools like Omori-Yau and Cheng-Yau maximum principles work well for complete Riemann manifolds with bounded curvature. The method is particularly powerful in analyzing real solutions of (1), which allows us to obtain precise estimates of complete solutions. Therefore, we manage to use the maximum principles together with the method of super-subsolution to construct a complete solution for any Riemann surface and any holomorphic -differential.
On the other hand, the study in this paper heavily owes to the techniques and tools developed in the theory of Kobayashi-Hitchin correspondence for Higgs bundles, pioneered by Donaldson, Hitchin and Simpson. It is more efficient if the global information on is provided. In the case of , the Higgs field is generically regular semisimple, and the spectral curve is easily described as the set of -th roots of . It allows us to use efficiently variants of Simpson’s main estimate (see §3.3) in controlling the behaviour of harmonic metrics on around the isolated singularities by using the information of . Therefore, for instance, under the assumptions that is compact, that is finite, and that has at most multiple growth orders at each point of , we can classify the set of solutions of the Toda equation associated with .
In the case that both methods can be applied, we obtain different features of solutions from these two methods. Suppose that is compact, and that has multiple growth orders at each point of . Using Theorem 1.10, we obtain the full set of solutions , where satisfies
Suppose in addition that has finitely many zeros. ¿From Theorem 1.4 and Proposition 1.7, two special solutions are singled out. One is the complete solution in Theorem 1.4, which corresponds to
The other one is the real solution purely controlled by which corresponds to
1.5. A generalization
Assume that is non-compact, i.e., is non-compact, or is compact and is non-empty. (See Remark 7.12 for the case that is compact, i.e., is compact and is empty.) Let be holomorphic line bundles on . Let and be non-zero morphisms. We set . Let be the cyclic Higgs field of induced by .
We obtain a holomorphic section of , and a holomorphic section of . We assume the following.
-
•
The zero set of is finite.
-
•
is not constantly . Moreover, has multiple growth orders at each .
Let denote the set of such that is meromorphic at . We put . For , we describe , where is a nowhere vanishing holomorphic function on . Let denote the set of such that . We set .
Let be a flat metric of . For each , there exist a tuple of frames of and a real number such that and
Let be the set of such that
Remark 1.13.
If , we canonically choose
Because , we choose . Then, .
We consider the -action on by , which induces a -action on . Let denote the set of -invariant harmonic metrics of such that . We recall that is assumed to be a finite subset of .
Proposition 1.14 (Proposition 7.5, Proposition 7.6).
The following holds for any .
-
•
For any , there exists determined by the following condition.
-
•
For any and any , there exist and such that the following estimates hold as on for any :
(See §1.2.2 for and for a special interval .)
Moreover, if satisfy and , then and are mutually bounded on for any relatively compact neighbourhood of .
Let denote the zero set of , which is assumed to be finite. We set . Note that induce isomorphisms . Hence, for any , we obtain Kähler metrics induced by the restrictions of to and . Let
denote the set of such that for any relatively compact open neighbourhood of , the metrics are complete.
By Proposition 1.14, we obtain the map
(11) |
1.6. Examples on
Let be any non-zero polynomial. We set . It is easy to see that is the unique special interval with respect to in this case. Hence, we obtain the following proposition as a corollary of Theorem 1.9.
Proposition 1.16 (A special case of Proposition 6.12).
We have the bijection . ∎
More generally, let be non-zero polynomials. Let be mutually distinct complex numbers. We set .
Proposition 1.17 (A special case of Proposition 6.14).
If there exists a non-zero complex number such that , then there exists a bijection . Otherwise, . ∎
Corollary 1.18.
For any non-zero polynomial , we obtain that . ∎
We may apply Theorem 1.10 to the case in which is the product of a non-zero polynomial and a non-zero solution of a linear differential equation with polynomial coefficients. For instance, let be the Airy function given as in (129) below, which is a solution of the differential equation . Let be any non-zero polynomial. For the -differential , is the unique special interval in this case. (See (130). See [47, §23] for a more detailed asymptotic expansion of .) Hence, we obtain the following.
Proposition 1.19 (Proposition 6.16).
If , we have a bijection . ∎
1.7. Acknowledgement
This study starts from a discussion during the workshop “Higgs bundles and related topics” in University of Nice, in 2017. The first author is partially supported by the National Key RD Program of China No. 2022YFA1006600, the Fundamental Research Funds for the Central Universities and Nankai Zhide foundation. The second author is grateful to Martin Guest and Claus Hertling for discussions on harmonic bundles and Toda equations. The second author is partially supported by the Grant-in-Aid for Scientific Research (S) (No. 16H06335), the Grant-in-Aid for Scientific Research (S) (No. 17H06127), the Grant-in-Aid for Scientific Research (A) (No. 21H04429), the Grant-in-Aid for Scientific Research (A) (No. 22H00094), the Grant-in-Aid for Scientific Research (A) (No. 23H00083), the Grant-in-Aid for Scientific Research (C) (No. 15K04843), and the Grant-in-Aid for Scientific Research (C) (No. 20K03609), Japan Society for the Promotion of Science. The second author is also partially supported by the Research Institute for Mathematical Sciences, an International Joint Usage/Research Center located in Kyoto University.
2. Some existence results of harmonic metrics
2.1. Dirichlet problem
Let be any Riemann surface. Let be a Higgs bundle on . Let be a relatively compact connected open subset with smooth boundary . Assume that is non-empty. Let be any Hermitian metric of . The following proposition is essentially due to Donaldson [9].
Proposition 2.1 (Donaldson).
There exists a unique harmonic metric of such that .
Proof Donaldson proved this theorem in the case where is a disc in [9]. The general case is similar. We shall give a proof for the convenience of the readers. We may assume that is an open Riemann surface. According to [16], there exists a nowhere vanishing holomorphic -form om . Let be the automorphism of determined by . We consider the Kähler metric of .
Let be a lattice of and let be a real -dimensional torus obtained as . We set . We set with the projection . It is equipped with the flat Kähler metric induced by and . We set .
Let be the pull back of with the holomorphic structure . According to the dimensional reduction of Hitchin, a Hermitian metric of is a harmonic metric of if and only if . According to a theorem of Donaldson [9], there exists a unique Hermitian metric of such that and that . By the uniqueness, is -invariant. Hence, there uniquely exists a harmonic metric of which induces . It satisfies . ∎
Let be a Hermitian metric of . Assume that is flat.
Corollary 2.2.
There exists a unique harmonic metric of such that and that .
Proof There exists a unique harmonic metric such that . We obtain . Note that both and are flat. By the uniqueness in Proposition 2.1, we obtain . ∎
2.1.1. Homogeneous case
Let be a compact Lie group. Let be a character. Suppose that is equipped with a -action, which can be trivial. A Higgs bundle is called -homogeneous if is -equivariant, and for any .
Lemma 2.3.
If and are -invariant in Proposition 2.1, the harmonic metric is also -invariant.
Proof For any , is a harmonic metric of such that . Because , is also a harmonic metric of . By the uniqueness, we obtain . ∎
2.1.2. Donaldson functional
Let be the space of -Hermitian metrics of such that . For two metrics , let be the automorphism of which is self-adjoint with respect to both , determined by . Then, we define
Lemma 2.4.
Let be any element of . Let be the harmonic metric as in Proposition 2.1. Then, we obtain .
2.2. Convergence
Let be an open Riemann surface. Let be a compact Lie group acting on . Let be a character. Let be a -homogeneous Higgs bundle on . Let be any -invariant Hermitian metric of .
Definition 2.5.
An exhaustive family of a Riemann surface means an increasing sequence of relatively compact -invariant open subsets of such that . The family is called smooth if are smooth.
Let be a smooth exhaustive family of . The restriction is denoted by . Let be -invariant harmonic metrics of . Let be the automorphism of determined by . Let be an -valued function on such that each is bounded.
Proposition 2.6.
Assume that for any . Then, there exists a subsequence which is convergent to a -invariant automorphism of on any relatively compact subset of in the -sense. As a result, we obtain a -invariant harmonic metric of as the limit of the subsequence . Moreover, we obtain . In particular, if is bounded, and are mutually bounded.
Proof We explain an outline of the proof. Let be a Kähler metric of . According to a general formula (19) below, the following holds on any :
(12) |
Let be any compact subset of . Let be a relatively compact neighbourhood of in . Let be a -function such that (i) , (ii) , (iii) and on induces a -function on .
There exist such that is a relatively compact open subset of for any . We obtain the following:
(13) |
Note that , and that
(14) |
Note that there exists such that on for any . By (12), (13) and (14), there exist such that the following holds for any sufficiently large :
(15) |
Therefore, there exists such that the following holds for any sufficiently large :
We obtain the boundedness of the -norms of and on with respect to and . By a variant of Simpson’s main estimate (see [32, Proposition 2.1]), we obtain the boundedness of the sup norms of on with respect to and . By the Hitchin equation, we obtain the boundedness of the sup norms of on with respect to and . By using the elliptic regularity, we obtain that the -norms of on a relatively compact neighbourhood of are bounded for any . It follows that -norms of on a relatively compact neighbourhood of are bounded for any . Hence, a subsequence of is weakly convergent in on a relatively compact neighbourhood of . By the bootstrapping argument using a general formula (18) below, we obtain that the sequence is convergent on a relatively compact neighbourhood of in the -sense. By using the diagonal argument, we obtain that a subsequence of is weakly convergent in -sense on any compact subset. ∎
Let us give a complement to Proposition 2.6.
Proposition 2.7.
Suppose that and that is flat. Then, in Proposition 2.6, we obtain . Moreover, if , and if is bounded, then is , where denotes any Kähler metric of .
Proof Because , the first claim is clear. Let be any Kähler metric of . Note that . We obtain the following by using Green formula:
(16) |
We obtain the following from (12) and (16):
We obtain the claim of the corollary by Fatou’s lemma. ∎
Remark 2.8.
In [34] and [33], a Hermitian-Einstein metric of a holomorphic vector bundle on a Kähler manifold is constructed as a limit of Hermitian-Einstein metrics for an exhaustive family of . For the proof of Proposition 2.6, we may also apply an argument in [34] and [33, §2.8] by using the dimensional reduction.
2.3. A Kobayashi-Hitchin correspondence
Let be an open Riemann surface. Let be any Kähler metric of . Let be a -homogeneous Higgs bundle on . Let be a -invariant Hermitian metric of such that is flat.
Condition 2.9.
The support of is compact.
The condition clearly implies that is integrable on . For any Higgs subbundle of , let be the induced metric of , and we set
Recall the Chern-Weil formula [38, Lemma 3.2]:
where denote the orthogonal projection of onto . By Condition 2.9, is well defined in . Because is assumed to be flat, we obtain , and hence .
Definition 2.10.
is analytically stable with respect to the -action if for any proper -equivariant Higgs subbundle .
Proposition 2.11.
If is analytically stable with respect to the -action, there exists a -invariant harmonic metric of such that (i) and are mutually bounded, (ii) , (iii) is .
Proof Let be a relatively compact neighbourhood of the support of . Let be a relatively compact neighbourhood of . Let be a smooth exhaustive sequence of such that . We set .
There exists a harmonic metric of such that . Let be the automorphism of determined by . Note that . According to the inequality (21) below, we obtain
(17) |
Note that and that on . By (17), we obtain the following
Let denote the -norm of with respect to and . By using the argument in the proof of [38, Proposition 2.1] together with (17), we obtain depending only on such that
Let be the endomorphism of which is self-adjoint with respect to and determined by . There exists depending only on such that
Let denote the -norm of with respect to and . There exists , depending only on and such that
The rest is almost the same as the proof of [33, Theorem 2.5], particularly [33, Proposition 2.32] and [33, §2.7.4]. We explain only an outline.
Suppose that as . It implies . We set . They are endomorphisms of which are self adjoint with respect to and . We can prove the following lemma by using the argument in [38, Lemma 5.4].
Lemma 2.12.
There exists a -invariant -section of on such that the following holds.
-
•
.
-
•
A subsequence of is weakly convergent to in on any compact subset of .
- •
By applying Lemma 2.12 with the argument in the proof of [38, Lemma 5.5], we obtain that the eigenvalues of are constant. Let be the eigenvalues of . As the orthogonal projections onto the sum of the eigen spaces associated with , we obtain an -section of for which and . (See [38, §4] for more precise construction of .) According to the regularity of Higgs -subbundle [38, Proposition 5.8], there exists a Higgs subbundle such that the orthogonal projection onto is equal to . By the argument in the proof of [38, Proposition 5.3], we obtain for one of , which contradicts with the stability condition. Hence, there exists , which is independent of , such that . Then, the claim of Proposition 2.11 follows from Proposition 2.6. ∎
2.4. Appendix
We recall some fundamental formulas due to Simpson [38, Lemma 3.1] for the convenience of the readers. Let be a Higgs bundle on a Riemann surface . For a Hermitian metric of , we obtain the Chern connection of . The curvature of is denoted by . We also obtain the adjoint of with respect to . The curvature of is denoted by , i.e., .
Let be Hermitian metrics of . We obtain the automorphism of determined by . Let be a Kähler metric of , let denote the adjoint of the multiplication of the associated Kähler form. Then, according to [38, Lemma 3.1 (a)], we obtain the following on :
(18) |
By taking the trace, and by using [38, Lemma 3.1 (b)], we obtain
(19) |
Note that . Moreover, is a -form, and is a -form. Hence, (19) is also rewritten as follows:
(20) |
We also recall the following inequality [38, Lemma 3.1 (d)]:
(21) |
In particular, if both are harmonic, the functions and are subharmonic:
(22) |
3. Preliminaries for harmonic metrics of cyclic Higgs bundles
3.1. Cyclic Higgs bundles associated with -differentials
Let be any Riemann surface equipped with a line bundle and an isomorphism . We set . We set . We define the -actions on by . They induce a -action on .
For any holomorphic -differential on , Let be obtained as , where are induced by the identity, and is induced by the multiplication of . Let denote the set of -invariant harmonic metrics of such that . By the -invariance, the decomposition is orthogonal with respect to any , and hence we obtain the decomposition .
Note that and are mutually dual. We say that is real if and are mutually dual. Let denote the subset of which are real.
Note that is naturally isomorphic to the tangent bundle of . Hence,
(23) |
induce Kähler metrics of . If the metrics (23) induce complete distances on , is called complete.
3.2. Hermitian metrics on a vector space with a cyclic automorphism
Let be a positive integer. Let be an -dimensional -vector space with a base . Let be a non-zero complex number. Let be the automorphism of determined by and . We put . We consider the action of on determined by .
Let be the set of -invariant Hermitian metrics of such that . The -invariance is equivalent to the orthogonality .
We put . We set . Then, is a base of such that . Note that and . Let us remark the following well known lemma.
Lemma 3.2.
Let be a -invariant -subspace such that . Then, either or hold.
Proof Because , there is a subset such that . Because is -invariant, and because acts on in a cyclic way, we obtain or . ∎
Let . By the -invariance, is independent of . We obtain
(24) |
3.2.1. Canonical metric
Let be determined by
(25) |
Lemma 3.3.
is the unique Hermitian metric contained in such that the base is orthogonal with respect to .
Proof We can check the orthogonality of by a direct computation. Suppose that is orthogonal with respect to . By (24), we obtain
By the condition , we obtain , and hence . ∎
3.2.2. -orthogonality
Suppose , and let . Suppose that the following holds for a metric :
The second term in the right hand side of (24) is dominated by
Hence, we obtain the following description
where and . By the condition , we obtain
In particular, we obtain . Hence, we obtain
For , we set . If , we obtain . For such , we obtain
We also obtain
(26) |
3.2.3. Norm of the automorphism
For any , we obtain . Let be any positive number such that .
Lemma 3.4.
For any such that , we obtain
Proof Because , we obtain . We obtain . Because , we obtain
Because , we obtain , and hence . Then, we obtain . ∎
Corollary 3.5.
We obtain
Proof We obtain the second inequality from Lemma 3.4. By using the duality, we obtain the first inequality.
∎
Corollary 3.6.
For any such that , we obtain
∎
3.3. Harmonic metrics of a cyclic Higgs bundle on a disc
We shall recall variants of Simpson’s main estimate for harmonic bundles, which was pioneered in [39], and further developed in [29] and [32].
We set . We set . Let be a holomorphic function on . Let be the endomorphism of determined by and . We set . We set as in §3.2. We define the -action on by . Note that . Let denote the set of -invariant harmonic metrics of the Higgs bundle such that .
Proposition 3.7 ([32, Proposition 2.1]).
Fix . Then, there exist depending only on , , and such that
for any . ∎
Corollary 3.8.
Let be a -invariant Hermitian metric of such that . For , we obtain the automorphism of which is self-adjoint with respect to both and , determined by . Let and be constants as in Proposition 3.7. Let be a positive constant such that . We set
Then, the following holds at such that :
Suppose moreover that is nowhere vanishing on . We fix an -th root of , i.e., . We put . We set . We obtain the decomposition and .
Proposition 3.9 ([32, Corollary 2.6]).
Assume that on . Fix . Then, there exist and depending only on , , and such that the following holds on for any and for :
Note that by the -invariance of . ∎
Let be the -invariant Hermitian metric determined by
Then, the frame is orthogonal, and we have
Hence, the curvature of the Chern connection of is . Because , is a harmonic metric of the Higgs bundle .
Corollary 3.10.
Suppose that the assumption of Proposition 3.9 is satisfied. Moreover, we assume that
There exist and depending only on , , and such that the following holds for any on :
(27) |
(28) |
(29) |
Proof We obtain (27) from (26) and Proposition 3.9. Note that the Chern connection of the curvature of is , and that the decomposition is orthogonal with respect to and . Then, we obtain (29) from Proposition 3.7 and Proposition 3.9. We obtain (28) from (27) and (29) by using the elliptic regularity. ∎
3.3.1. Estimates near boundary
Let be an open subset in . Let denote the closure of in . Let such that extends to a continuous metric on .
Proposition 3.11.
Fix . There exists , depending only on , and , such that the following holds on :
Proof It follows from Proposition 3.13 below. ∎
Proposition 3.12.
Let be a -invariant Hermitian metric of such that . For , let be the automorphism of which is self-adjoint with respect to and , determined by . Let be as in Proposition 3.11, and let be a positive constant such that . We set
Then, the following holds at any such that :
3.3.2. Appendix: A variant of Simpson’s main estimate near boundary
Let be a Higgs bundle defined on a neighbourhood of in . Let be an open subset in . Let denote the closure of in . Let be a harmonic metric of which extends to a continuous metric of .
Let be the endomorphism of determined by . Let be a positive constant such that the following holds.
-
•
Let be any eigenvalue of for any . Then, .
Proposition 3.13.
Let . There exist positive constant , depending only on , and , such that the following holds on
Proof Recall the following inequality on :
For any , let be the eigenvalues of , and we set . There exists such that the following holds for any :
We obtain the following on :
If , then we obtain
(30) |
We consider the following function on :
Note that . Let be a constant such that . We set
Note that the following holds on :
Let be the set of such that . We assume that is non-empty, and we shall derive a contradiction. Note that on . We also note that is bounded around any point of , and that as . Hence, is a relatively compact open subset of , which implies on . For , we obtain , and hence (30) holds at . We obtain the following at :
(31) |
Together with on , we obtain on , which contradicts the construction of . Hence, we obtain that . ∎
3.4. Some existence results of harmonic metrics on cyclic Higgs bundles
Let be a Riemann surface. Let be a graded holomorphic vector bundle on . Let be a Higgs field of such that and . We assume that is not constantly . Assume that there exists a flat metric of . We consider the -action on given by , which induces a -action on . For any open subset , let denote the set of -invariant harmonic metrics of such that .
Remark 3.14.
For any -differential on , we obtain by definition.
3.4.1. Convergence
Let be a smooth exhaustive family of . Suppose that . Let be any -invariant Hermitian metric of such that . Let be the automorphism of determined by .
Proposition 3.15.
There exists a locally bounded function on such that for any . As a result, there exists a convergent subsequence of the sequence with the limit , and we obtain .
Proof Let denote the zero set of . It is discrete in . By Corollary 3.8, for any , there exists a relatively compact neighbourhood of in with a constant such that for any large . By using the subharmonicity of (see §2.4), we also obtain a similar estimate locally around any point of . Then, the claim follows from Proposition 2.6. ∎
Corollary 3.16.
Suppose that there exists a subset and an -valued locally bounded function on such that . Then, we obtain for in Proposition 3.15. ∎
3.4.2. Control of growth order
Let be any Kähler metric of . Let be a -invariant Hermitian metric of such that . Let be a smooth exhaustive family of . Let such that .
Let be an open subset of . Suppose the following.
-
•
There exists an -valued function on a neighbourhood of such that the following holds on :
-
•
There exists an -valued harmonic function on such that on .
Proposition 3.17.
There exists such that on .
3.4.3. Compact subsets
Proposition 3.18.
Let be a compact subset. For any , there exists such that and are mutually bounded for any relatively compact neighbourhood of in .
Proof Let be a -invariant Hermitian metric of such that and that for a relatively compact neighbourhood of . Note that is analytically stable with respect to the -action in the sense of §2.3 because there is no proper -invariant Higgs subbundle by Lemma 3.2. (Recall that is not constantly .) Then, the claim follows from Proposition 2.11. ∎
3.5. Asymptotic behaviour around poles
Let be a neighbourhood of in . We set . Let be a nowhere vanishing holomorphic -differential on which is meromorphic at . We have the expression , where induces a nowhere vanishing holomorphic function on .
3.5.1. The case
For a positive number , we set
There exists a relatively compact neighbourhood of in such that is nowhere vanishing on . Recall that there exists the canonical harmonic metric .
Proposition 3.19.
Any is mutually bounded with on . More strongly, there exist and such that the following holds on :
Proof We may assume that . Let be the map given by . We have the expression
There exists such that on .
Let us consider the case . For with , let given by . We set and . By Proposition 3.7 and Corollary 3.10, there exists and such that
It implies the desired estimate in the case .
3.5.2. The case
Let denote the set of satisfying
Let denote the subset of such that . We obtain the following proposition from [39] (see also [30]).
Proposition 3.21.
-
•
For any , there exist determined by the following condition around :
(32) If , then .
-
•
Let such that . Then, for any relatively compact neighbourhood of in , the restrictions and are mutually bounded.
Proof Let us explain an outline of the proof (see also [30, §3.1.2, §3.2.8]). Let , i.e., is a -invariant harmonic metric of such that . Let be the endomorphism of determined by . Because , the harmonic bundle is tame. For any , and for any open subset , let denote the space of sections of such that for any . For any open subset , let denote the space of holomorphic sections of . Thus, we obtain -modules . According to [39, Theorem 2], are locally free -modules, and for any . Because is -invariant, is naturally -equivariant. Hence, we obtain the decomposition
(33) |
Here, the locally free -modules are obtained from with as above.
Because , the eigenvalues of goes to as . Hence, according to Simpson’s main estimate [39, Theorem 1], we obtain .
We set . Then, we obtain , and hence . Because , we obtain
Hence, there exists such that is a section of . Because , we obtain . Therefore, there exists such that . We set
Then, by the norm estimate [39, §7] (Proposition 3.22 below), we obtain (32). Because and , we obtain and . We also remark the filtered bundle is uniquely determined by the numbers because of the decomposition (33).
Let such that . We obtain . Hence, according to [39, Corollary 4.3], and are mutually bounded. ∎
Let us refine the estimate (32). For , we introduce a non-negative integer and integers , as follows. If , we set , and . If , we obtain the numbers and determined by the following condition.
-
•
, , and .
Moreover, we set and . For , we obtain the number determined by . If , we set
(34) |
If , we define for such that by the same formula (34). If , we define for such that or as follows:
(35) |
Thus, we obtain . The following is a consequence of the norm estimate of Simpson in [39].
Proposition 3.22.
For , we set , where is given as in Proposition 3.21. Then, we obtain the following refined estimates for :
(36) |
Proof We explain an outline of the proof (see also [30]). We use the notation in the proof of Proposition 3.21. We set . For , we obtain the following finite dimensional complex vector space
Let denote the filtration on obtained as the monodromy weight filtration of the nilpotent endomorphism .
Let denote the integer determined by . We set . Then, is a section of . Let denote the induced element of . Then, the tuple is a base of .
We obtain the following for any :
(37) |
We also obtain the following:
Hence, we obtain
(38) |
According to the norm estimate for tame harmonic bundles [39, §7], there exists such that
Thus, we obtain (36). ∎
We also remark the following existence.
Proposition 3.23.
For any , there exist a neighbourhood of in and such that .
Proof We may assume that is nowhere vanishing on .
Lemma 3.24.
There exist a neighbourhood of and a holomorphic function on such that and that . The germ of at is unique.
Proof We set which is nowhere vanishing on . We have the Taylor expansion . First, let us prove that there exists a unique formal power series satisfying . The coefficient of in is described as the sum of and a polynomial of . Hence, are uniquely determined by an easy induction. It particularly implies that the germ of is uniquely determined. Moreover, if there exists such that unless , then we obtain unless .
Let us prove the existence of a convergent solution in the case where . Let be the holomorphic function on determined by the conditions and . For any , we take a path connecting and in , and we set
Then, is a holomorphic function on satisfying
Note that is holomorphic at , and . There exist a neighbourhood of in and a holomorphic function on such that and . Then, we obtain , which implies .
Let us study the existence in the general case. Let be determined by . We set . There exists a neighbourhood of in and a holomorphic function on such that
By the consideration in the first paragraph of this proof, we obtain that is a convergent power series of . Hence, there exists a holomorphic function on such that , for which holds.
∎
We obtain an embedding . Let be the standard coordinate on . We set . We obtain . According to [30], there exists such that . Then, we obtain which satisfies . ∎
3.6. Examples on
We introduce some examples as a preparation for the proof of Theorem 5.3. We shall see more examples later in §6.3.
3.6.1. Preliminary
Let denote the set of satisfying
For any , we introduce a non-negative integer and integers as follows. If , we set , and . If , we obtain positive integers and by the following condition.
-
•
, and .
Moreover, we set and . For , we obtain the number determined by . If , we set
(39) |
If , we define for such that by the same formula (39). If , we define for such that or by
(40) |
3.6.2. Examples
Let be the standard coordinate of . Let be the real coordinate system obtained as . We set , where is a non-zero complex number.
Proposition 3.25.
For any , there exists such that the following estimate holds on :
Proof We apply the Kobayashi-Hitchin correspondence on to construct such in [30]. Let be determined by . We obtain .
We consider the -differential on . For any , we define by the following relation:
Note that . According to [30], there exists such that
around . We set . Note that
Hence, we obtain the following estimates for as :
Because is invariant under the translation by , we obtain the desired estimate for . ∎
Remark 3.26.
Later in §6.3, we shall see that the harmonic metric is uniquely determined by the condition
on . Moreover, for any , there exists such that .
4. Preliminary from the classical analysis
4.1. Subharmonic functions on sectors
4.1.1. Phragmén-Lindelöf theorem for subharmonic functions
For any and , we set . Let denote the closure in .
Proposition 4.1 ([22, §7.3, Theorem 3]).
Let be a continuous function on which is subharmonic in . Assume that there exist , , and an exhaustive family of such that the following holds.
-
•
on .
-
•
on .
Then, on .
Proof There exists such that on . Because is assumed to be subharmonic, we obtain that on , and hence on . There exists such that on . Then, the claim follows from Phragmén-Lindelöf theorem for subharmonic functions (see [22, §7.3, Theorem 3]). ∎
Corollary 4.2.
Let be a subharmonic -function on a neighbourhood of . Assume the following.
-
•
is bounded from above on .
-
•
There exist , and an exhaustive family of such that on .
Then, is bounded from above on .
Proof There exists an -valued -function on a neighbourhood of such that on . Let be a -function on with compact support such that (i) , (ii) on . Note that on , where . There exists a continuous bounded function on such that and that . There exists such that on . There exists such that on . Because is subharmonic, we obtain that on , and hence on . Because is relatively compact, there exists such that on . By the Phragmén-Lindelöf theorem, we obtain the desired boundedness. ∎
Let us give a variant. Let , and be non-negative numbers such that .
Corollary 4.3.
Let be a subharmonic function on which extends to a continuous function on such that the following holds.
-
•
For any , there exists such that
on .
-
•
For any , there exists such that
on .
-
•
There exist an exhaustive family of and such that
on .
Then, there exists such that on .
Proof We explain the case . The other case can be discussed similarly. For any , we take a decreasing sequence in such that . We set . Then, is an exhaustive family of , and there exists such that on . Hence, by making larger, we may assume that from the beginning.
There exists such that on . Then, we obtain the claim of the corollary from Proposition 4.1. ∎
4.1.2. Nevanlinna formula
We set . For any , we set . Let and denote the closure of and , respectively. Let be the real coordinate system on determined by .
Let be an -valued -function on for some . Suppose that there exist , and such that the following conditions are satisfied.
-
•
is in , and . Here, .
-
•
There exists an exhaustive family of such that on .
Proposition 4.4.
There exist and a constant such that the following holds on :
If is bounded on , we obtain the following stronger estimate on for a positive constant :
If is bounded on , and if , then is bounded on .
Proof There exists a -function on such that on . There exists such that the following holds.
-
•
.
-
•
There exists an exhaustive family such that .
If is bounded on , then is bounded on . It is enough to obtain the estimate for . Therefore, we may assume from the beginning.
Let be a complex variable, and let be the real variables determined by . On , we consider the following function
By Lemma 4.5 below, the integral is convergent, and we obtain the estimate
Moreover, we obtain , and hence is a harmonic function on , and continuous on .
We set , where we consider the branch of such that for . It is a harmonic function, and there exists such that on . By the assumption, there exist such that on . Because is harmonic, we obtain on , and hence on . In particular, we obtain on , and on . Then, according to the Nevanlinna formula [22, §14, Theorem 1] (see also [22, Remark in page 101]), there exists a real number such that the following holds for :
Note that
We obtain
Note that on . We obtain that on . Then, we can easily obtain the claims of the proposition. ∎
In the proof, we have used the following lemma.
Lemma 4.5.
There exists a constant such that the following holds for any :
(41) |
For any , there exists a constant such that the following holds for any with :
(42) |
4.1.3. Holomorphic line bundles with a Hermitian metric on upper half plane
We state a consequence of the Nevanlinna formula (Proposition 4.4) on a holomorphic line bundle with a Hermitian metric on , which is fundamental in the classification of solutions of Toda equations in terms of parabolic structures. Let denote the curvature of the Chern connection associated with . By using the standard Euclidean metric , we assume the following condition.
-
•
.
Note that this condition is analogue to the acceptability condition in [38, 39].
Lemma 4.6.
Let be a global frame of . If there exist , , and an exhaustive family of such that on , then there exists such that on . If is bounded on , then we obtain on .
Proof Because , we obtain . Then, the claim follows from Proposition 4.4. ∎
Definition 4.7.
The number is called the parabolic order of with respect to .
4.2. Finite exponential sums and their perturbation
4.2.1. Finite exponential sums
Let be real numbers. Let be non-zero complex numbers. We consider the entire function
We set . It is easy to see that there exists such that any satisfies . For any , we set .
Proposition 4.8 ([21, 41, 48]).
If , we obtain
It particularly implies that the order of the zero of at any point is not larger than . ∎
Note that the proposition implies that . Hence, we obtain the following for any :
4.2.2. Perturbation
Let be a holomorphic function defined on such that
We set . For any closed subset and , let denote the Euclidean distance between and , i.e., .
Proposition 4.9.
Take .
-
•
There exist such that the following holds for any :
-
•
There exist and such that holds for any and any satisfying .
Proof We apply the argument in [48]. Let us prove the first claim in the case . Assume that there exists a sequence such that
Let
(47) |
be the isomorphism defined by . Going into a subsequence, we may assume that the sequence is convergent to , where are complex numbers such that . It implies that the sequence is convergent to . Then, we obtain the contradiction by Proposition 4.8 and Lemma 4.12 below. Hence, there exists a constant such that
for any .
Take any . We set . Then, we obtain
(48) |
Thus, we obtain the first claim.
To prove the second claim, we prepare the following lemma.
Lemma 4.10.
There exists such that the order of the zero of at any point of is not larger than .
Proof Suppose the contrary. Let such that the order of zero of at is strictly larger than . Let
(49) |
be the isomorphism determined by . We may assume that the sequence is convergent to a holomorphic function of the form , where are complex numbers such that . It particularly implies that is convergent to . We may also assume that is convergent to for some . Because the order of zero of at are strictly larger than , we obtain that the order of is strictly larger than . But, it contradicts Proposition 4.8. ∎
Let us prove the second claim. Suppose the contrary. There exist sequences , and satisfying , and . We shall deduce a contradiction.
Let us consider the case that the sequence contains a bounded sequence. By going to a subsequence, the sequence is convergent to . It is easy to observe that , and the order of zero at is strictly larger than . Hence, we obtain a contradiction by Lemma 4.10.
Let us consider the case that the sequence does not contain a bounded sequence. In particular, as . We consider the maps as in (49). We may assume that the sequence is convergent to a holomorphic function of the form , where are complex numbers such that . It particularly implies that is convergent to . Then, we obtain a contradiction by Proposition 4.8 and Lemma 4.13 below. Thus, we obtain the second claim of the proposition. ∎
Corollary 4.11.
For any , there exists such that we obtain for any satisfying . ∎
4.2.3. Appendix
Let be a connected open subset. Let be a relatively compact open subset of . Let be holomorphic functions which uniformly converge to a holomorphic function . Note that any derivatives converges to . Assume that is not constantly .
For , we set . Let denote the order of the zero of at .
Lemma 4.12.
There exists such that the following holds for any :
Proof We may assume that is simply connected. There exists a relatively compact open subset such that (i) is smooth, (ii) , (iii) . The condition (iii) implies that for any . There exists such that . There exists such that for any and . Then, the claim holds according to Rouché’s theorem. ∎
Let be a positive integer such that for any . For any closed subset , let denote the Euclidean distance between and . There exists such that . For any , we set .
Lemma 4.13.
There exist and such that we obtain on for any and any .
Proof Assume the contrary. Then, there exist a sequence of positive numbers , a sequence , positive numbers and such that and that . Going to a subsequence, we may assume that . We may assume . Going to a subsequence, we may assume that the sequence is convergent to . Because , we obtain , and hence . For any , there exists such that for any . Hence, we obtain . Going to a subsequence, we may assume that the sequence is decreasing.
Fix a relatively compact open neighbourhood of in such that . We set . Going to a subsequence, we may assume that is nowhere vanishing on for any . We set . We obtain . We set
which is nowhere vanishing on for any . Because the sequence is convergent to , the sequence is convergent to . The sequence is convergent to , which is also nowhere vanishing on .
By the assumption, for any . Hence, . Then, there exists such that the following holds for any :
Hence, we obtain . It implies , which is a contradiction. ∎
4.3. Holomorphic functions with multiple growth orders
4.3.1. Growth orders
Let be the oriented real blowing up at . We set . Let denote the natural inclusion. Let denote the standard coordinate of . We identify with by the polar decomposition of .
Notation 4.14.
Let . Let denote the stalk of the sheaf at . We fix a branch of around .
-
•
Let be the -linear subspace generated by , i.e., .
-
•
Note that for any , induces a continuous function on a neighbourhood of . The continuous function is also denoted by .
-
•
For any , we have the expression where . We set .
-
•
For , we say if or . It defines a partial order on .
Remark 4.15.
Note that the orders are opposite to the order used in [29].
4.3.2. Regularly bounded holomorphic functions
Definition 4.16.
We say that is regularly bounded if there exist a neighbourhood of in , non-zero complex numbers , and mutually distinct real numbers such that the following holds.
-
•
induces a holomorphic function on .
-
•
as in .
4.3.3. Holomorphic functions with single growth order
Definition 4.17.
We say that has a single growth order if there exist , , such that is regularly bounded.
Definition 4.18.
Suppose that has single growth order at .
-
•
We say that is simply positive (resp. negative) at if
-
•
If , then we say that is neutral at .
-
•
If but , we say that is turning at .
The following lemma is easy to see.
Lemma 4.19.
If has a single growth order, there exists a neighbourhood of such that (i) is connected, (ii) induces a holomorphic function on , (iii) has a single growth order at any point , (iv) . ∎
Note that (iv) implies that the conditions “simply positive”, “simply negative” and “neutral” are preserved if is sufficiently small. If is turning at , is positive on a connected component of and negative on the other connected component of .
Lemma 4.20.
Let be a section of on an open subset . Let be an interval. If has single growth order at each , then we obtain for any .
Proof It follows from Lemma 4.19. ∎
4.3.4. Holomorphic functions with multiple growth orders
Definition 4.21.
We say that has multiple growth orders if is expressed as a finite sum such that (i) each has a single growth order, (ii) .
Lemma 4.22.
Suppose that has multiple growth orders.
-
•
There exists a finite subset and an expression such that (i) for two distinct elements , neither nor holds, (ii) each has single growth order with . Such an expression is called reduced.
-
•
There exists a neighbourhood of such that (i) is connected, (ii) induces a holomorphic function on , (iii) has single growth order at any point , and is the unique maximal element of the partially ordered set .
Proof There exists an expression as in Definition 4.21. Let denote the set of the maximal elements in the partially ordered set with . There exists a decomposition
such that any satisfy . We set . We obtain the expression . It is easy to see that has a single growth order with , and the first claim is proved. The second claim is clear. ∎
Note that a reduced expression is not uniquely determined.
Notation 4.23.
Let be an open subset of . Let be a holomorphic function on which has multiple growth orders at any point of . Then, let denote the set of the points such that one of the following condition is satisfied.
-
•
does not have single growth order at .
-
•
has single growth order and turning at .
Note that is discrete in .
Remark 4.24.
Let be a neighbourhood of in . Suppose that a non-zero holomorphic function on satisfies a linear differential equation , where are meromorphic functions on . Then, has multiple growth orders at any point of , which is a consequence of the classical asymptotic analysis. (For example, see [28, §II.1].)
4.3.5. Coordinate change
Let be an open neighbourhood of in . Let be a holomorphic function such that and . It induces an automorphism of .
For any , we have the expansion
We define
It induces an injection . The following lemma is easy to see.
Lemma 4.25.
has a single growth order if and only if has a single growth order. In that case, we have . As a result has multiple growth orders if and only if has multiple growth orders. ∎
Let denote the set of with multiple growth orders. It is independent of the choice of a coordinate by Lemma 4.25.
4.3.6. Sheaf of holomorphic functions with multiple growth orders
Let be any Riemann surface with a discrete subset . Let denote the oriented real blowing up. Let denote the inclusion.
Notation 4.26.
Let denote the subsheaf determined as follows.
-
•
.
-
•
For any , we take a holomorphic embedding of a neighbourhood of in such that . Note that it induces the isomorphisms and for any . Then, holds.
If is a section of on an open subset , are also sections of on . But, even if are sections of on , is not necessarily a section of on . For example, we set and around . Then, are sections of , but is not.
4.3.7. Intervals with some properties
Let be a section of on an open subset .
Definition 4.27.
An open interval is called positive (resp. negative) with respect to if is simply positive (resp. negative) at each point of . It is called maximal if moreover there does not exist an interval such that (i) is positive (resp. negative) with respect to , (ii) .
Definition 4.28.
An open interval is called neutral with respect to if is neutral at each point of . It is called maximal if moreover there does not exist an interval such that (i) is neutral with respect to , (ii) .
Definition 4.29.
An open interval is called non-positive with respect to if is neutral or simply negative at each point of . It is called maximal if moreover there does not exist an interval such that (i) is non-positive with respect to , (ii) .
Lemma 4.30.
If an interval is non-positive with respect to , then is either negative or neutral with respect to . Moreover, if is neutral with respect to , then .
Proof Let be a non-positive interval. Let be the decomposition into the connected components. The numbering is given in the counter-clockwise way. If is negative (neutral) at a point , then is negative at any point of .
Let such that . There exists a reduced expression at as in Lemma 4.22. Take and . Suppose that is negative at and neutral at , and we shall deduce a contradiction. Note that and . We obtain . If is sufficiently close to , we obtain , i.e., . It contradicts . Therefore, if is negative at , then is negative at . If is neutral at , then is neutral at , and moreover we obtain . Then, we easily obtain the claim of the lemma. ∎
Lemma 4.31.
Suppose that is negative with respect to such that consists of one point . Choose and from the two connected components of . Let be a reduced expression at . Then, the following holds.
-
•
.
-
•
For any , we obtain . Moreover, .
Proof Note that . Let us prove
(50) |
Suppose , and we shall deduce a contradiction. If , we obtain , and hence holds, which contradicts . If , because , we obtain , which contradicts that is negative at . Thus, we obtain (50). Similarly, we obtain , and hence .
Take . Let us prove . Suppose . If , we obtain , which contradicts that the expression is reduced. If , then either or holds, which contradicts that is negative at . Suppose . Because , we obtain , which contradicts . In all, we obtain . ∎
Recall that we identify by the polar coordinate system. For any , we set . If , we may naturally regard it as an interval in .
Definition 4.32.
An open interval is called special with respect to if the following holds.
-
•
The length of is for . Namely, for some .
-
•
There exists such that (i) for any , (ii) on , which particularly implies that
Lemma 4.33.
Let be an interval which is negative with respect to . Note that is well defined. Then, either one of the following holds.
-
•
is special with respect to .
-
•
The length of is strictly smaller than .
Proof There exists an interval such that the map induces a diffeomorphism . Let be determined by . We set and . We set . We obtain the corresponding subsets . Choose . There exist such that . There exist intervals such that (i) , (ii) on .
For , we obtain . We also obtain
for any sufficiently small positive number . Therefore, we obtain . Moreover, if , there exists such that . Because , we obtain . Therefore, we obtain
Namely, we obtain . If , we obtain . ∎
We also obtain the following lemma.
Lemma 4.34.
Suppose that is a neighbourhood of , and that is non-positive at each point of . Then, is meromorphic at .
4.3.8. Estimates in a single case
For any and , we set . Let be the oriented real blowing up at . We regard as an open subset of . Let denote the closure of in . Let denote the point corresponding to , i.e., is the limit of any sequence of positive numbers in with . Let be given by for a positive number and a non-zero complex number . It induces .
Let be a section of on an open subset . Suppose that has a single growth order at . Let . By choosing , and appropriately, we obtain such that and . We obtain the holomorphic function on which induces a section of on . If is sufficiently small and is sufficiently large,
is regularly bounded on .
Lemma 4.35.
For any , there exist and subsets such that the following holds.
-
•
There exists such that
on .
-
•
Let be any connected component of such that
Then, is relatively compact in .
-
•
For any , we obtain .
Proof It is enough to prove the case where , and , i.e., is regularly bounded at .
For any and , we set . Let be given by . It induces for any . We set on . Let denote the zero set of . By Proposition 4.9, there exists such that the following holds for any :
Take
We set
There exists such that on by Corollary 4.11.
We set . Then, the first condition is satisfied. Take . For any , we have
Then, the third condition is satisfied. Take . Let be a connected component of such that . Then, there exists a subset such that is the union of . Let us observe that . Take . If , there exists such that . There exists a sequence such that for . There exists such that for and . Note that . Because of the choice of , we obtain . Thus, we arrive at a contradiction, and hence we obtain . Then, we obtain that is relatively compact in , and hence the second condition is satisfied. ∎
We set on for and . For any and , there exists such that
(51) |
Let denote the zero set of .
Lemma 4.36.
There exists such that the following holds for any :
Proof There exist and such that the following holds for any :
(52) |
Then, the claim follows from Proposition 4.9. ∎
Lemma 4.37.
For any and , there exist , and such that
for any such that .
Proof We have only to study the case where , and . We use the notation in the proof of Lemma 4.35.
For with , we have . Hence, there exists such that the following holds for any satisfying .
-
•
Take such that . Then, we obtain .
By Corollary 4.11, there exist constants such that the following holds for any satisfying :
Thus, we obtain the claim of the lemma. ∎
Lemma 4.38.
For any , and , there exist , and a subset such that the following holds:
-
•
There exist such that
(53) on .
-
•
Let be a connected component of such that
Then, is relatively compact in .
-
•
There exist an increasing sequence of positive numbers such that (i) , (ii) .
Proof We have only to study the case where , and . Let be as in Lemma 4.36. Take satisfying
(54) |
We set
For and for with and , we have
Let be as in Lemma 4.37. There exists such that the following holds for any with :
For satisfying satisfying , we obtain . Hence, by Lemma 4.37, there exist such that
(55) |
on . Because
is relatively compact, we obtain the first claim. Take . We can check the second claim by using the argument in the proof of Lemma 4.35. By Lemma 4.36, there exists an infinite sequence as desired. ∎
4.3.9. Estimates in a multiple case
Let be a section of on an open subset . Let .
Lemma 4.39.
There exist , positive constants and a neighbourhood of in such that
on . If has an expression such that each is simply negative, then we may assume .
Proof Let be an expression such that each has a single growth order at . There exists such that for any . There exists such that for any . (See Definition 4.17 for .) Then, there exist and a neighbourhood of in such that on for any . Then, we obtain the claim of the lemma. ∎
Let us state a lower bound of around outside an exceptional subset. We identify by the polar decomposition . We choose such that is expressed as . Suppose that is expressed as a sum on
where are holomorphic functions with a single growth order, and and are positive constants.
Lemma 4.40.
Take such that . There exist a neighbourhood of in and a subset such that the following holds.
-
•
There exists a subset with such that .
-
•
For any , there exists such that the following holds on :
Proof We may assume that . We set
We define the map by for some sufficiently large such that the image of is contained in . We obtain the expression
on . There exist such that
on . Take such that . There exists such that the following holds on :
(56) |
Hence, there exists such that
(57) |
Let be the zeroes of in . According to [22, §14.2, Theorem 2], we obtain
According to [22, §14.2, Theorem 3], we obtain the following description of :
(58) |
Here, is a real number, and are non-negative measures on such that
According to the Hayman theorem [22, §15, Theorem 1], there exist a sequence in and a sequence of positive numbers such that and that
(59) |
outside of . By (57), we obtain that , and hence outside of . We note that . Because , we have as , and there exists such that
Then, the claim of the lemma follows. ∎
5. Cyclic Higgs bundles with multiple growth orders on sectors
5.1. Statements
Let be a neighbourhood of in . Let be the oriented real blowing up. Let be an open subset of . Let be a section of on . We set .
5.1.1. Positive intervals
Let be a positive interval with respect to .
Proposition 5.1.
Let . For any relatively compact subset , there exists a neighbourhood of in such that and are mutually bounded on .
5.1.2. Maximal non-positive but non-special intervals
Suppose that there exists an interval in satisfying the following conditions.
-
•
is maximally non-positive but not special with respect to .
-
•
.
Theorem 5.2.
Let . There exists a neighbourhood of in such that and are mutually bounded on .
5.1.3. Special intervals
Suppose that there exists an interval in satisfying the following conditions.
-
•
.
-
•
is special with respect to .
There exist a non-zero complex number and such that for any . Let be the set of the tuples such that
Theorem 5.3.
-
•
For any , there exist and such that the following holds on for any :
The tuple is uniquely determined by the condition.
-
•
For such that , there exists a neighbourhood of in such that and are mutually bounded on .
-
•
For any , there exists such that .
We shall also prove the following auxiliary statement.
Proposition 5.4.
There exist relatively compact open neighbourhoods of in , an -valued harmonic function on , and a smooth exhaustive family of such that the following holds.
-
•
.
-
•
holds, and is smooth in .
-
•
There exists such that on .
-
•
Take and such that . Let be the automorphism of determined by . Then, we obtain
on .
5.2. Some estimates on sectors around infinity
5.2.1. Positive and negative cases
For any and , we set . Let be a holomorphic function on a sector . We set . Let denote the set of the zeroes of . Let be a positive number such that . Let be a non-zero complex number. Let and . We set
Let and . We impose the following condition on in this subsection.
Condition 5.5.
There exists such that the following holds on :
(60) |
Moreover, for any , there exist and subsets such that the following holds.
-
•
Let be any connected component of such that
Then, is relatively compact in .
-
•
For any , is contained in .
-
•
There exists such that the following holds on :
(61)
Lemma 5.6.
Suppose that for . Then, any are mutually bounded on for any and .
Proof Let be the automorphism of determined by . We set . We take such that . We take and as in Condition 5.5. Let . On , the estimates (60) and (61) hold, and we may apply Corollary 3.10. Hence, we obtain the boundedness of on . Let be a connected component of with . Then, it is relatively compact in . Recall that is subharmonic (see §2.4). By the maximum principle, we obtain that . Hence, we obtain the boundedness of on . For any , is relatively compact in . Hence, we obtain the boundedness of on . ∎
Lemma 5.7.
Suppose that for . Then, for any , and for any and , there exists such that the following holds on :
Proof Let denote the Higgs field of associated with . Take . There exist , and the map defined by .
For , we may assume that there exists . By Proposition 3.7, there exists , which is independent of , such that on . Hence, we obtain on .
For such that , is contained in . There exists the isomorphism given by . By applying Proposition 3.7 to , we obtain that there exists , which is independent of , such that on . Because , we obtain
with respect to on . Recall that denotes the curvature of the Chern connection of . The Hitchin equation implies on . It implies the following estimates with respect to on for any :
Take . Recall that denotes the curvature of the Chern connection of . By the previous consideration, and by , we obtain the estimates and with respect to on .
We set and take . Take and as in Condition 5.5. Note that with respect to on . At any point of , the estimate (61) holds. By Corollary 3.5, there exists such that the following holds for on :
Because on , we obtain the following estimate on :
Hence, by Lemma 4.5, we can prove that there exist functions on such that (i) the functions are harmonic, (ii) . There exists such that the following holds on :
(62) |
Let be any connected component of such that . Because it is relatively compact in , the inequalities (62) hold on . Hence, (62) holds on . Then, we can deduce the claim of the lemma easily. ∎
5.2.2. Neutral case
We set
Let be given by . It induces . Let and . We impose the following condition to .
Condition 5.8.
For any , there exist and subsets such that the following holds.
-
•
Let be any connected component of such that
Then, is relatively compact in .
-
•
For any , we obtain .
-
•
There exists such that the following holds on :
(63)
Lemma 5.9.
If Condition 5.8 is satisfied, the following holds.
-
•
If , any are mutually bounded on for any and .
-
•
Suppose . Then, for any , and for any and , there exists such that the following holds for on :
(64)
Proof Let us study the first claim. We note that . The inequalities (63) is rewritten as follows:
For , let be the automorphism of determined by . We set , and take . Let and as in Condition 5.8.
-
•
If , we obtain that is bounded on by Corollary 3.10.
-
•
If , we obtain the boundedness of on from Corollary 3.8.
By applying the argument in the proof of Lemma 5.6, we obtain that is bounded on . Then, we obtain the first claim immediately.
5.2.3. Estimates on sectors around infinity in the multiple case
Let us continue to use the notation in §5.2.1.
Lemma 5.10.
Suppose that satisfies the following conditions.
-
•
There exist and such that on .
-
•
There exist , , and a subset with , such that on .
Let . Let be the automorphism of determined by . Then, for any and , there exist such that on .
5.3. Proof of Proposition 5.1 and Theorem 5.2
5.3.1. Proof of Proposition 5.1
It is enough to prove the following claim for any .
-
•
There exists a relatively compact neighbourhood of in such that and are mutually bounded on .
If , the claim follows from Lemma 5.6. Let us study the case where . We may assume that . Let be determined by . We have already proved that for any there exists a neighbourhood in such that is bounded on . By Lemma 4.39, Lemma 4.40 and Lemma 5.10, there exist , a neighbourhood of of in , and a subset with such that on . Then, we obtain the boundedness of on by Corollary 4.3. ∎
5.3.2. Proof of Theorem 5.2
Let denote the points of . Let be a neighbourhood of in such that . Then, is simply positive at each point of .
Let us study the case where is negative with respect to . Then, there exists such that for any . Because is not special with respect to , the length of is strictly less than .
Let be the automorphism determined by . According to Proposition 5.1, is bounded around any point of . According to Lemma 5.7, we obtain around any point of . Moreover, according to Lemma 5.10, there exist , a neighbourhood of in , and a subset with , such that on . By Corollary 4.3, we obtain that on . Because the length of is strictly smaller than , the Phragmén-Lindelöf theorem (see Corollary 4.2) implies that is bounded. Thus, we obtain the claim of the proposition in the case where is negative with respect to .
5.4. Outline of the proof of Theorem 5.3 and Proposition 5.4
5.4.1. Setting in a simple case
Let denote the oriented real blow up at . We identify by the polar decomposition .
For and , we set
We regard as an open subset of . Let denote the closure of in .
For the proof of Theorem 5.3 and Proposition 5.4, we introduce the coordinate determined by , and we study harmonic metrics of the Higgs bundle associated with on such that for any .
In the following of this subsection, will denote positive constants.
As an outline of the proof of Theorem 5.3 and Proposition 5.4, we explain rather detail of our arguments by assuming that satisfies the following stronger condition.
-
•
There exist such that the following inequalities are satisfied on :
(66) (67) -
•
There exist such that
(68) on .
Note that the interval is special with respect to , and hence is simply positive at any points of .
5.4.2. Parabolic structure
Let us explain an outline of the proof of the first claim of Theorem 5.3 under the simplified setting in §5.4.1. (We shall study a general case in §5.6.1.)
Let . For any with , there exists an isomorphism
defined by . Note that . By (66), there exists , which is independent of such that the following holds on :
Hence, by Proposition 3.7, there exists , which is independent of , such that the following holds on :
Because , there exists such that the following holds on :
(69) |
By the Hitchin equation, there exists such that the following holds on :
(70) |
By (70), there exists such that the following holds on :
(71) |
By (67), (69) and Corollary 3.5, there exists such that
(72) |
By (71), (72) and the Nevanlinna formula (Proposition 4.4), there exists such that the following holds on :
(73) |
Because of (69) and , we obtain . By (67), (69), and the relation , we also obtain . In this way, we obtain the parabolic structure of .
5.4.3. Mutually boundedness
Let us explain an outline of the proof of the second claim of Theorem 5.3 under the simplified setting in §5.4.1. (We shall study a general case in §5.6.2.)
Suppose that satisfy . Let be the automorphism of determined by . By (21), is subharmonic.
Note that is simply positive at any points of . Hence, by Proposition 5.1, and are mutually bounded on for any and .
By the assumption , and by (73), we obtain
on . By (68) and Proposition 3.7, there exists such that the following holds on :
(74) |
By (68), (74) and Corollary 3.6, there exists such that the following holds on :
(75) |
By using Phragmén-Lindelöf theorem (Corollary 4.3) on small sectors around and , we obtain that there exists such that the following holds on :
By using Phragmén-Lindelöf theorem (Corollary 4.2) again, we obtain that is bounded on if is sufficiently small. Then, we obtain that is bounded on for any , i.e. and are mutually bounded on .
5.4.4. Auxiliary metrics
We introduce auxiliary metrics under the simplified setting in §5.4.1. (We shall study a general case in §5.6.3.)
We set on . For any , there exists such that . (See Proposition 3.25.) There exists such that the following holds on :
(76) |
Note that
for . We also note that
We obtain
Hence, there exists such that the following holds on :
(77) |
By the Hitchin equation for , there exists such that the following holds on :
We set . There exists such that the following holds on :
(78) |
5.4.5. Comparison with auxiliary metric
We explain how to obtain an estimate for the difference between a harmonic metric and an auxiliary metric. (We shall study a general case in §5.6.4.)
Let be a relatively compact open subset of such that is smooth, and that
(79) |
for some . According to Proposition 2.1, there exists such that . Let be the automorphism of determined by . In the following are positive constants which are independent of .
By Proposition 3.7 and (66), there exists such that the following holds on :
(80) |
Note that on . By Proposition 3.11, (66), and (77), there exists , such that the following holds on :
(81) |
By (67), (76), (80), (81) and Corollary 3.6, there exists such that the following holds on :
(82) |
There exists a complex number such that on . There exists such that the following holds on :
(83) |
By (21) and (78), there exists such that the following holds on :
Hence, there exists such that
(84) |
On , we obtain
(85) |
On , we obtain
(86) |
Hence, we obtain on . There exists such that the following holds on :
(87) |
5.4.6. Construction of harmonic metrics
5.4.7. Comparison with harmonic metrics
Let us explain an outline of the proof of Proposition 5.4 under the simplified setting in §5.4.1. (We shall study a general case in §5.6.6.)
Suppose that . Let be a relatively compact open subset of such that is smooth and that it satisfies (79). Let . Let such that . We obtain the automorphism determined by . In the following, constants are independent of and .
By (66), there exists such that the following holds on :
(88) |
Because , the following holds on :
(89) |
By Proposition 3.7 and (66), there exists such that the following holds on :
(90) |
By Proposition 3.11, (66) and (89), there exists such that the following holds on :
(91) |
By (67), (88), (90), (91), and Corollary 3.6, there exists such that the following holds on :
(92) |
Because is subharmonic by (21), we obtain the following on :
5.5. Preliminary for the proof of Theorem 5.3 and Proposition 5.4
5.5.1. Setting
Take and . Let be a holomorphic function on , which induces a section of on . We also assume the following.
-
•
.
-
•
For , is of the form:
Note that are constant on each connected component of .
For each , there exist a finite subset and a sector
such that is expressed as on , where has a single growth order , and and are positive numbers. We assume that the expression is reduced, i.e., for two distinct elements , neither nor holds. (See Lemma 4.22.)
Lemma 5.11.
If , we obtain for any . For each , the following holds.
-
•
We have . If , we obtain . If , we obtain .
For each , the following holds.
-
•
We have . If , we obtain
If , we obtain .
Proof Let and . We have the expression:
Take such that is sufficiently small. We have the expressions
If , we obtain from . It implies that
and hence we obtain , which contradicts that and that the expression is reduced. If , we obtain , which contradicts that and that the expression is reduced. Hence, we obtain . Because , we obtain . If , then either one of or holds. It contradicts . Therefore, we obtain the first claim .
Let us study the second claim. We have the expansion of :
Choose a sufficiently small . Note that
If , we obtain , which contradicts the choice of . Hence, we obtain . Because , we obtain . Note that . Hence, if , we obtain . If , we obtain . Therefore, satisfies the desired condition. We can check the third claim in a similar way. ∎
For each , we set , and we set
Note that is a finite subset of . We choose satisfying the following condition:
(93) |
5.5.2. Another coordinate and some estimates
Let be a complex number such that and . We put on . The following lemma is easy to see.
Lemma 5.12.
For any , there exist and an open subset
such that induces an isomorphism .
Proof We set . Let denote the closure of in . Note that induces a continuous map , which is also denoted by . For any , we obtain . Moreover, for the real coordinate systems , the map is around , and the derivative at is the identity. Then, the claim of the lemma follows from the inverse function theorem. ∎
Lemma 5.13.
There exist such that
on .
Lemma 5.14.
There exists such that induces a holomorphic isomorphism
Proof Take . There exist and an open subset such that induces an isomorphism . In particular, induces an injection on . There exists such that
We obtain . By Lemma 5.12, there exists such that . Then, any satisfies the desired condition. ∎
5.5.3. Some sectors
For any , and , we set
(94) |
(95) |
Let be a positive constant as in Lemma 5.14. By Lemma 5.13, there exists such that
(96) |
on . Let , and such that and
(97) |
(98) |
Lemma 5.15.
For any and , there exist and a subset such that the following holds.
-
•
There exist such that
on , where is sufficiently small.
-
•
Let be any connected component of such that
Then, is relatively compact in .
-
•
There exists an increasing sequence of positive numbers such that (i) , (ii) .
Proof Note that is contained in . Consider
According to Lemma 5.11, there exist the following three cases; (a) and , (b) and , (c) and .
According to the first claim of Lemma 5.19 below, if either (a) or (b) is satisfied, there exist , and such that holds on . Because (a) or (b) holds for any , there exist and such that holds on . Therefore, we obtain holds on .
In the case (c), by the third claim of Lemma 5.19, there exist , and such that either or holds on . Note that for by Lemma 4.20 and (98). Hence, holds, indeed. Moreover, because for , and because , there exist and such that holds on . Hence, we obtain on .
In all, there exist and such that
on for any . Hence, there exists such that
Then, we obtain the claim of the lemma by applying Lemma 4.38 with . ∎
The following lemma is similar to Lemma 5.15.
Lemma 5.16.
For any , and , there exist , and a subset such that the following holds.
-
•
There exists such that
on , where is sufficiently small.
-
•
Let be any connected component of such that
Then, is relatively compact in .
-
•
There exists an increasing sequence of positive numbers such that (i) , (ii) . ∎
5.5.4. Relatively compact open subsets
We introduce a condition for a relatively compact open subset in , which we shall use in §5.6.4–§5.6.7.
Let be a constant as in Lemma 5.14. We take , and as in §5.5.3. We set and , and let be as in Lemma 5.15 and Lemma 5.16. We take , , and such that
We also assume .
Condition 5.17.
-
•
The boundary is smooth.
-
•
There exists such that
-
•
There exists such that
-
•
.
5.5.5. Appendix: A choice of complex coordinate
Let and . Let be mutually distinct holomorphic functions on expressed as a finite sum
Let be holomorphic functions on expressed as a finite sum
where one of the following holds.
-
•
and .
-
•
and .
Let be holomorphic functions on expressed as a finite sum
where one of the following holds.
-
•
and .
-
•
and .
We set
Take such that for any two distinct elements .
Let be a complex number such that
We set on . In the proof of Lemma 5.14, we observed that there exists such that (i) , (ii) induces an isomorphism . According to Lemma 5.12, there exists such that .
Lemma 5.18.
There exist positive constants and such that the following conditions are satisfied:
-
•
for any on .
-
•
.
Proof Note that for . Because is finite, there exist and as in the first condition.
By our choice of , the set
(99) |
is connected. Clearly, we obtain . Because , the intersection
is empty. Hence, if is sufficiently large, we obtain . ∎
Lemma 5.19.
There exist positive constants , and such that the following holds:
-
•
for any and on
-
•
for any and on
-
•
For , we obtain on .
Proof We use the following estimate on for some :
(100) |
Let us study the first claim. To simplify the notation, we set . If , we obtain the following expression
By (100), there exists such that
By the assumption, there exists such that . We obtain
(101) |
There exists such that
on . Hence, there exist and such that
(102) |
on . If , there exists such that . We obtain
(103) |
By the same argument, we can prove that there exist , and such that (102) holds on with . Thus, we obtain the first claim. The second claim can be proved similarly.
Let us prove the third claim. For , we set . We obtain the following expression:
Here, . There exists such that the following holds:
(104) |
If , there exist and such that
(105) |
on . If , there exists such that . Note that
(106) |
Hence, there exist and
on . Then, we can easily deduce the third claim. ∎
5.6. Proof of Theorem 5.3 and Proposition 5.4
Take and . Let be a holomorphic function on as in §5.5.1. We set . We first study -invariant harmonic metrics of in §5.6.1–§5.6.6. Then, we shall derive Theorem 5.3 and Proposition 5.4 in §5.6.7.
5.6.1. The associated parabolic weights
Let be as in §5.5.1.
Proposition 5.20.
Let . Then, there exists satisfying the following estimate on any for any and :
(107) |
Proof For , and , let denote the following set:
(108) |
By using the function as in §5.5.2, from now on we use to refer to for simplicity. By the results in §5.5.2, the following condition is satisfied.
Condition 5.21.
There exists such that on . Moreover, there exist , , , and such that the following conditions are satisfied.
-
•
There exists such that
on .
-
•
Let be any connected component of such that
Then, is relatively compact in .
Let denote the Higgs field of associated with . For with , is contained in . There exists an isomorphism
given by . Note that there exists such that independently from . By applying Proposition 3.7 to , we obtain that the sup norm of with respect to on is dominated by a constant independently from . Because , we obtain on . By the Hitchin equation, we also obtain on .
Lemma 5.22.
The following estimates hold on for :
(109) |
Proof We obtain the estimate (109) on by the estimate , Condition 5.21 and Corollary 3.5. Because on , there exist functions on such that and are harmonic functions on . (See Lemma 4.5.) Then, by using Condition 5.21 again, we obtain the estimate (109) on . ∎
Lemma 5.23.
Let be any compact subset of , which we regard as a closed subset in . Then, there exists a neighbourhood of in such that the estimate (109) holds on .
Proof It is enough to study the case where consists of a point. If , we obtain the claim from Lemma 5.7. If , we obtain the claim from Lemma 5.10 and Corollary 4.3. (See the proof of Theorem 5.2 in §5.3.2 for a more detailed argument.) ∎
By Lemma 5.22 and Lemma 5.23, the estimate (109) holds on . We also have the following estimate on :
By Proposition 4.4, there exist such that
on . Because the above is referring to , it means
on . By Lemma 5.12, for any , there exists such that . Using and , we obtain
on . Because
and , we obtain . We also obtain by using
and the estimate of around any point of as in Condition 5.5. Thus, the proof of Proposition 5.20 is completed. ∎
5.6.2. Mutually boundedness
Proposition 5.24.
Let such that . Then, for any and , and are mutually bounded on .
Proof Take any and . It is enough to prove that there exists such that and are mutually bounded on because is compact.
Let be determined by . Because , we obtain . By Proposition 5.1, is bounded on for any .
By the assumption , the following estimate holds on for any :
By Lemma 5.10, there exist and a subset with such that
on for any . By Corollary 4.3, we obtain that
on . Similarly, we obtain
on . If is sufficiently small, we obtain that is bounded on by Corollary 4.2. Because is bounded on , we obtain that is bounded on . ∎
5.6.3. Auxiliary metrics
To introduce an auxiliary metric , we set on .
Lemma 5.25.
For any , there exists such that the following holds on :
We also obtain
on . Here, .
5.6.4. Comparison with auxiliary metrics
Let be as in Lemma 5.25. For any relatively compact open subset satisfying Condition 5.17, there uniquely exists such that , according to Proposition 2.1.
Lemma 5.26.
There exists which is independent of , such that the following holds on the region :
(110) |
Proof Because , there exists , which is independent of , such that the following holds on :
We set
(111) |
Take any such that
We set
(112) |
Note that . By applying Proposition 3.11 to , we obtain that there exists , which is independent of and as above, such that the following holds on :
Take any such that and that . We set . Then, is contained in the following set:
(113) |
Let be the isomorphism determined by . Note that there exists , which is independent of and as above, such that
There exists on such that on . By (96), there exists , which is independent of and as above, such that . We also obtain
such that on . By applying Proposition 3.11 to , we obtain that there exists , which is independent of and as above, such that the following holds on :
Hence, there exists , which is independent of and as above, such that the following holds on :
Take any such that . We set
Then, is contained in (113). Let be the isomorphism determined by . Note that there exists , which is independent of and such that
There exists on such that on . By (96), there exists , which is independent of and , such that . We also obtain such that on . By applying Proposition 3.11 to , we obtain that there exists , which is independent of and , such that the following holds on :
Hence, there exists which is independent of and such that the following holds on :
Note that there exists , such that on . Thus, we obtain the claim of Lemma 5.26. ∎
Lemma 5.27.
There exists an -valued harmonic function on such that the following holds.
-
•
.
-
•
For any satisfying Condition 5.17, let be the automorphism of determined by . Then, we obtain on .
Proof We recall that by Lemma 5.25. Hence, there exists an -valued function on such that (i) , (ii) .
By Corollary 3.6, Lemma 5.15 and Lemma 5.26, there exist , which are independent of , such that the following holds on :
(114) |
Here, is sufficiently small. There exists such that on . Then, there exist which are independent of , such that the following inequality holds on :
(115) |
Let be a connected component of such that
Then, is relatively compact in . Because is subharmonic on , the estimate (115) holds on . Hence, (115) holds on the closure of . Similarly, there exist which are independent of such that the following holds on the closure of :
(116) |
Here is sufficiently small.
As in Proposition 3.15, there exists which is independent of such that the following holds on :
(117) |
There exists such that on
There exists which is independent of such that the following holds on :
(118) |
By (115), (116), (117) and (118), there exist , which are independent of , such that the following holds on :
We obtain the following on :
Note that on , and hence
on . We also obtain
on . Hence, we obtain
on . Hence, we obtain on . Because , there exists such that on . Thus, we obtain Lemma 5.27. ∎
5.6.5. Construction of harmonic metrics
Proposition 5.28.
For any , there exists such that .
Proof For , we take an auxiliary metric as in Lemma 5.25. Let be a smooth exhaustive family of satisfying Condition 5.17. According to Proposition 2.1, we obtain a sequence such that . According to Proposition 2.6, by taking a subsequence, we may assume that the sequence is convergent to . Lemma 5.25 and Lemma 5.27 imply . Thus, the proof of Proposition 5.28 is completed. ∎
5.6.6. Comparison with harmonic metrics
Proposition 5.29.
There exist a harmonic function on such that the following holds:
-
•
.
-
•
Let . Let be a relatively compact subset of satisfying Condition 5.17. Suppose that satisfies
Let be the automorphism of determined by . Then, we obtain on .
Proof In this proof, constants are independent of and . Let , and be as in the statement. By Proposition 3.7, there exists a constant such that the following holds on :
By the same argument as the proof of Lemma 5.26, we can prove that there exists a constant such that the following inequality holds on :
By Corollary 3.5 and Lemma 5.15, there exist constants such that the following inequality holds on :
(119) |
Here, is sufficiently small, and is a complex number such that on . Note that is subharmonic by (21). Hence, the inequality (119) holds on the closure of . Similarly, there exist constants such that the following holds on the closure of :
(120) |
Here, is sufficiently small. As in Proposition 3.15, there exists a constant such that on . Therefore, there exist positive constants such that the following holds on :
Here is a complex number such that on .
We set . Note that is a subharmonic function. By the construction, we obtain on , and hence on . Thus, we obtain Proposition 5.29. ∎
5.6.7. Proof of Theorem 5.3 and Proposition 5.4
We consider the map defined by . If is sufficiently large and is sufficiently small, we obtain , and it is a holomorphic embedding. By applying Proposition 5.20 and Proposition 5.24 to , we obtain the first two claims of Theorem 5.3.
Let . By Proposition 5.28, there exists such that . It induces . We extend it to a -invariant Hermitian metric of such that . Let be a smooth exhaustive family of such that each satisfies Condition 5.17. Let such that . According to Proposition 3.15, we may assume that the sequence is convergent, and we obtain as the limit of a subsequence of . By Proposition 5.29, satisfies . Thus, we obtain the first claim of Theorem 5.3.
5.7. Refined estimate in an easy case
Let be a section of on . Let be an interval of such that and that is special with respect to . We assume the following.
Condition 5.30.
There exist a neighbourhood of in , a finite sum , , and such that for on .
Recall . We set and
Let . We obtain as in Theorem 5.3. In this easier case, we can obtain the estimate on the behaviour of up to boundedness. Let be the tuple of integers obtained from as in §3.6.1. We shall prove the following proposition in §5.7.1–5.7.2.
Proposition 5.31.
The following estimates holds as :
(121) |
5.7.1. Normalization
Let denote an open neighbourhood of . We define the map by
Let denote the oriented real blowing up at . We regard as an open subset of . Let denote the standard coordinate system on . By using the polar decomposition of , we identify with .
Lemma 5.32.
There exist a neighbourhood of in and a neighbourhood of in such that induces a homeomorphism .
Proof It is easy to see that extends to a continuous map , which is also denoted by . Moreover, we can easily check that induces a homeomorphism of a neighbourhood of in and a neighbourhood of in .
We set . On a neighbourhood of , we use the real coordinate system given by . On a neighbourhood of , we use the real coordinate system given by . Then, it is easy to check that is of -class, and the tangent map at each point of is an isomorphism. Then, the claim follows from the inverse function theorem. ∎
Then, is expressed as follows:
Here, is a holomorphic function satisfying for some , and is a non-zero complex number.
5.7.2. Comparison with the model metric
Let and . Let be a nowhere vanishing holomorphic function on such that . We set . According to Theorem 5.3, for any , there exist and such that the following estimates hold on for any :
Note that on for any in this case. By Corollary 3.8, we obtain that is bounded on for any . By Proposition 4.4, we obtain the following estimate on :
Let be a holomorphic function on such that there exist and such that
We obtain . We set . Similarly, for , there exists such that the following estimate holds on :
Proposition 5.33.
Suppose that there exist and such that . Then, and are mutually bounded on .
Proof We set for . Note that , and . Because , there exists such that . Hence, on , we obtain and . Because , we obtain
Let be the automorphism of determined by . By (21), we obtain the following on :
Note that is bounded on . By Proposition 4.4, there exists such that is bounded on . Because , we obtain , which implies the boundedness of . ∎
Let be a holomorphic function on such that . Let be a non-zero complex number. We set . Let . We obtain and a tuple of integers as in §3.6.1.
Corollary 5.34.
We obtain the following estimates for on :
6. Global results
6.1. Holomorphic -differentials with multiple growth orders on a punctured disc
6.1.1. General case
Let be a neighbourhood of in . Let denote the oriented real blowing up. Let be a section of on . Let denote the set of the intervals which are special with respect to . For any , we fix a branch of around . Then, and are determined as
for . We set . We set . Let be a relatively compact neighbourhood of in . We set and .
Theorem 6.1.
-
•
For any and for any , there exist and such that the following estimates hold as on for any :
-
•
If satisfy for any , then and are mutually bounded on .
-
•
For any , there exists such that .
Proof We obtain the first claims from Theorem 5.3. We obtain the second claim from Proposition 5.1, Theorem 5.2 and Theorem 5.3.
Let us prove the third claim. Let . For each , let be a relatively compact neighbourhood of in . There exist relatively compact neighbourhoods , a function , and a smooth exhaustive family , as in Proposition 5.4. By Theorem 5.3, there exists a -invariant Hermitian metric of such that and that with for . Let be a smooth exhaustive family for such that (i) , (ii) for any . We obtain such that . We may assume that the sequence is convergent, and we obtain as the limit. By Proposition 5.4, we obtain for . ∎
6.1.2. Refined estimate in the nowhere vanishing case
Let us state a refined result in the case where is nowhere vanishing.
Lemma 6.2.
Let be a holomorphic -differential with multiple growth orders on . If is nowhere vanishing, then there exist an integer and a meromorphic function on such that .
Proof We describe as for a holomorphic function . There exists an integer such that is well defined as a single-valued holomorphic function on . Because induces a section of , we obtain for some . Because is harmonic, there exists such that and , where is the real coordinate system induced by . By the Cauchy-Riemann equation, we obtain that and . Hence, there exists such that . Thus, we obtain that is meromorphic at . ∎
For the description , we obtain the integer such that is holomorphic at , and . We set . We also set
Note that special intervals with respect to are for .
Proposition 6.3.
Let . For any , we obtain the tuple of real numbers
determined by the following estimates for as on :
(122) |
¿From , we determine the integers as in §3.6.1. Then, we obtain the following estimates as on :
(123) |
Proof It follows from Proposition 5.31. ∎
6.2. The case of punctured Riemann surfaces
6.2.1. Statement
Let be a Riemann surface. Let be a finite subset of . For each , let be a holomorphic coordinate neighbourhood such that . Set . Let denote the oriented blow up along .
Let be an -differential on . We obtain the expression . Let be the points of such that are meromorphic at . Let denote the set of such that is holomorphic at and that . We set .
For each , we have the description , where is holomorphic at such that . Let denote the set of satisfying
We set . We assume that for any , is a section of . At each , we obtain the set of the intervals in which are special with respect to .
Let . For any and , we obtain as in Theorem 6.1. For any , we obtain as in Proposition 3.21. Thus, we obtain the map
(124) |
We introduce a boundary condition at infinity of when is non-compact. Because , the restrictions of and induce a Kähler metric of .
Definition 6.4.
We say that is complete at infinity of if there exists a relatively compact open neighbourhood of such that are complete. Let denote the set of which is complete at infinity of .
Lemma 6.5.
Let be any relatively compact open neighbourhood of in .
-
•
For any , are complete. Moreover, are mutually bounded, and are bounded.
-
•
Any are mutually bounded on .
Proof The first claim follows from [24, Proposition 3.27]. The second follows from [24, Proposition 3.29]. ∎
We obtain the map
(125) |
We set . Let denote the set of such that . Let denote the set of such that . As the restriction of (124) and (125), we obtain the following maps:
(126) |
(127) |
Theorem 6.6.
Remark 6.7.
If the zero set of is finite, we obtain a refined estimate around each as in Proposition 6.3.
6.2.2. Uniqueness
We set .
Lemma 6.8.
Suppose that satisfy for any and for . Then, we obtain .
Proof As in Theorem 1.4, there uniquely exists such that are complete on . Recall that are mutually bounded, and that the Gaussian curvature of are bounded from below [24, Lemma 3.15].
Let be a Kähler metric of such that (i) the Gaussian curvature is bounded from below, (ii) the following condition is satisfied for a relatively compact neighbourhood of .
Condition 6.9.
is mutually bounded with the metrics .
Let be the automorphism of determined by . Let denote the adjoint of the multiplication of the Kähler form associated with . By (20), we obtain the following on :
(128) |
By Proposition 3.19, Proposition 3.21, Theorem 6.1, and Lemma 6.5, we obtain the boundedness of . Hence, the inequality (128) holds across . (See [39, Lemma 2.2].) It particularly implies that is subharmonic on .
Let be a relatively compact neighbourhood of . If
the maximum principle for subharmonic functions implies that is constant on , and hence on . Together with , we obtain .
Let us study the case . By Omori-Yau maximum principle [24, Lemma 3.2], there exists a sequence such that
By (128), there exists such that the following holds for any :
Let be a holomorphic coordinate around such that . By Condition 6.9, there exists such that for any . Hence, by [24, Lemma 3.9] there exists and such that for any . Hence, we obtain . Because , we obtain for any . Therefore, is constantly , and we obtain . ∎
Lemma 6.10.
Suppose that satisfies for any and for any . Then, we obtain .
Proof We obtain as the dual of by using the natural identification of with its dual. Clearly, is also complete at infinity of . Because and , we obtain and . By Lemma 6.8, we obtain . ∎
6.2.3. Existence
Lemma 6.11.
For any and , there exists such that for any and that for any .
Proof Let be as in the proof of Lemma 6.8. For any and , by Proposition 3.23 and Theorem 6.1, there exists a -invariant Hermitian metric of such that the following holds.
-
•
There exists a relatively compact neighbourhood of such that .
-
•
There exists a relatively compact neighbourhood of such that with for , and for .
-
•
.
Then, according to Proposition 3.18, there exists which is mutually bounded with . Thus, we obtain Lemma 6.11, and the proof of Theorem 6.6 is completed. ∎
6.3. Examples on
Let be the oriented real blow up at . We identify with by the polar decomposition .
6.3.1. Classification in the case of
Let be a positive integer. Let be a non-zero complex number. Let denote the set of the connected components of
Note that . Let be a polynomial of the form
Let be a non-zero polynomial. We set . Clearly, is the set of the intervals special with respect to . For any , we obtain . The following proposition is a special case of Theorem 6.6.
Proposition 6.12.
The map is bijective. ∎
Remark 6.13.
We can obtain a refined estimate around as in Proposition 6.3.
6.3.2. The case of
Let . Let be mutually distinct polynomials such that . If , we set , and let denote the coefficients of the top term of , i.e.,
If , we set and . Let be non-zero polynomials. We set . The following proposition is a special case of Theorem 6.6.
Proposition 6.14.
-
•
Suppose that there exist and such that and for any . Then, is the set of the intervals which are special with respect to . Hence, for any , we obtain , which induces a bijection .
-
•
Otherwise, we obtain .
Proof Let us prove the first claim. We set and . Let be the entire function determined by . We set . Let . There exists such that (See Definition 4.17 for .) Note that . If , we obtain . If , we obtain . Then, the first claim is clear.
Let us prove the second claim. Note that is not meromorphic at under the assumption that . Suppose that there exists a special interval with respect to . There exists such that the length of is . Because there exists such that , is a positive integer. Suppose that there exists such that . Then, there exists such that . It contradicts that is negative. Suppose that there exists . For any , there exists such that and . But, we obtain for any sufficiently large , which contradicts . Therefore, we obtain for any . There exists such that for any we obtain . Suppose that there exists such that . Then, there exists such that . It contradicts that is negative. Hence, we obtain for any . ∎
Corollary 6.15.
Let be any non-zero polynomial. and let be any non-constant polynomial. We set , , and . Because , we obtain . Similarly, we obtain , and . ∎
6.3.3. Airy function
Let be a continuous map such that for and for . Recall that an Airy function is defined as
(129) |
(For example, see [47, §22].) It is an entire function. Recall that it is a solution of the linear differential equation , and hence it induces a section of . On , it satisfies the following estimate (for example, see [47, §23]):
(130) |
Let be any non-zero polynomial. We set . Because of (130), the special interval with respect to is . We obtain the following proposition from Theorem 6.6.
Proposition 6.16.
For any , we obtain , which induces a bijection . ∎
7. A generalization
7.1. Preliminary
7.1.1. Meromorphic extensions
Let be a Riemann surface with a discrete subset . Let denote the sheaf of meromorphic functions on which may have poles along . Let denote the inclusion. For any locally free -module , we obtain the -module .
Definition 7.1.
A meromorphic extension of on is a locally free -submodule such that .
7.1.2. Meromorphic extensions of cyclic Higgs bundles on a punctured disc
Let be a neighbourhood of in . We set . Let be locally free -modules of rank one. Let and be -morphisms. We obtain a holomorphic section of . We assume the following.
-
•
The zero set of is finite.
We set . Let be the Higgs field of induced by .
Proposition 7.2.
For any meromorphic extension of on , there uniquely exist meromorphic extensions of on such that (i) , (ii) , where .
Proof By shrinking , we may assume that is nowhere vanishing on . We obtain the morphisms by .
Because is Stein, there exists a global frame of . We set on for . We obtain the meromorphic extensions of .
Let be a frame of . Let be the holomorphic function on determined by . There exist an integer and a holomorphic function on such that . We set and we obtain meromorphic extensions . We set . Then, by the construction, we obtain for , and .
Let be meromorphic extensions of such that (i) , (ii) , where . There exist frames of such that for .
Let be the holomorphic function on determined by . Then, we obtain for . Because both and are sections of , is meromorphic at . Hence, we obtain that is meromorphic, i.e., . ∎
7.2. Cyclic Higgs bundles
Let be a Riemann surface with a finite subset . Assume that is an open Riemann surface, i.e., is open, or is compact and . (See Remark 7.12.) For each , let be a holomorphic coordinate neighbourhood such that . Set .
Let . Let be holomorphic line bundles on . Let and be non-zero morphisms. We set . Let be the cyclic Higgs field of induced by .
We obtain the holomorphic section of , and the holomorphic section of . We assume the following.
-
•
The zero set of is finite.
-
•
is not constantly .
-
•
Let be holomorphic functions on obtained as . Then, have multiple growth orders at .
Let denote the set of such that is meromorphic at . We put . For , we describe , where is a nowhere vanishing holomorphic function on . Let denote the set of such that . We set .
7.2.1. Flat metrics on the determinant and local frames
Let be a Hermitian metric of such that the Chern connection of is flat. Note that such a metric exists because under the assumption that is non-compact. (For example, see [12, Theorem 30.3].)
Lemma 7.3.
For each , there exist frames of and a real number such that the following condition is satisfied.
-
•
for .
-
•
We set . Then, we obtain .
Proof There exists a frame of such that for a real number . By Proposition 7.2, there exists a frame of such that for , and for an integer and a nowhere vanishing holomorphic function on . By fixing an -th root of , and by setting , we obtain the claim of the lemma. ∎
For , let denote the set of satisfying the following conditions:
Remark 7.4.
If for an -differential , we usually choose and
for which we obtain .
7.2.2. Harmonic metrics and the associated parabolic weights
We consider the -action on by , which induces a -action on . For any open subset , let denote the set of -invariant harmonic metrics of such that .
Proposition 7.5.
Let .
-
•
For any , there exists determined by the following condition.
-
•
For any and any , there exist and such that the following estimates hold as on for any :
Here, and are determined for and as in §6.1.1.
Proof It is enough to study the case and . There exists a holomorphic line bundle on with an isomorphism
(131) |
There exists a flat metric of such that under the isomorphism (131). By using the frames and , we obtain an isomorphism . Then, the claims of the proposition are reduced to Proposition 3.21 and Theorem 6.1. ∎
Proposition 7.6.
Suppose that satisfy for any and for any . Then, for any relatively compact neighbourhood of in , and are mutually bounded on .
7.2.3. Completeness at infinity
Let denote the zero set of , which is assumed to be finite. We set . Note that induce isomorphisms . Hence, for any , the Hermitian metric on induce Kähler metrics on .
Definition 7.7.
is called complete at infinity of if there exists a relatively compact open subset of such that are complete. Let denote the set of which are complete at infinity of .
Because is an open Riemann surface, there exists an isomorphism . Hence, there exists a holomorphic line bundle on with an isomorphism . We say that such and are isomorphic if there exists an isomorphism such that .
Lemma 7.8.
If we choose appropriately, there exist isomorphisms such that the following conditions are satisfied:
-
•
The following diagram is commutative.
-
•
The induced morphism
is equal to .
Such is unique up to isomorphisms. Such an isomorphism is unique up to the multiplication of an -th root of .
Proof We take a holomorphic line bundle with an isomorphism . There exists an isomorphism of holomorphic line bundles . We obtain the holomorphic isomorphisms such that the following diagram is commutative:
The induced isomorphism is equal to , where is a nowhere vanishing holomorphic function.
Let be a locally finite covering by simply connected open subsets . There exists an -th root of . If , then induces a locally constant function . We obtain . If , then . We obtain a holomorphic line bundle on by gluing holomorphic line bundles on via the relation on . Because , we obtain an isomorphism by .
For each , we obtain an isomorphism . By the construction, the morphisms determine an isomorphism . By setting , we obtain the claim of the lemma. ∎
In the following, we choose as in Lemma 7.8. Let be the flat metric of determined by . We obtain the bijection
determined by under the isomorphism in Lemma 7.8.
Proposition 7.9.
Let be any relatively compact open neighbourhood of in .
-
•
For any , the restrictions and are mutually bounded.
-
•
For any , the metrics are mutually bounded, and are bounded.
Proof We may assume that the boundary of in is smooth and compact. We obtain the first claim by applying [24, Proposition 3.29] to . For any , we obtain . Hence, we obtain the second claim from [24, Proposition 3.27]. ∎
Note that we may naturally regard as real sections of . Note that . The second claim of Proposition 7.9 is reworded as follows.
Corollary 7.10.
Let . For any relatively compact open neighbourhood of in , the metrics are mutually bounded, and are bounded. ∎
7.2.4. Existence and uniqueness
By Proposition 7.5, we obtain the following map:
(132) |
We obtain the following map as the restriction of (132):
(133) |
Theorem 7.11.
Proof Suppose that satisfy for any and for any . By Proposition 7.6 and Proposition 7.9, we obtain that and are mutually bounded. By applying the argument in the proof of Theorem 6.6, we obtain .
Let and . Let be a relatively compact open neighbourhood of in . By using the argument in the proof of Proposition 7.5, we can construct
such that for and for . Let be a relatively compact neighbourhood of in . Let be a relatively compact neighbourhood of . We set , where denotes the unique complete metric in . (See §7.2.3 for .) Then, there exists a -invariant Hermitian metric of such that (i) , (ii) , (iii) . By Proposition 3.18, we obtain which is mutually bounded with , which satisfies and . ∎
Remark 7.12.
This type of classification is well known in the case where is compact and is empty. Indeed, under the assumption that , is stable with respect to the -action. Hence, for a prescribed Hermitian metric of , there uniquely exists a -invariant Hermitian metric of such that (i) is Hermitian-Einstein in the sense that the trace-free part of is , (ii) . If moreover , we may choose a flat metric of , then such is a harmonic metric.
Theorem 7.13.
Suppose is empty. Let be a relatively compact open set containing all zeros of . There uniquely exists a metric such that the metrics are complete on . Moreover, on , are mutually bounded, and are bounded. ∎
7.2.5. Boundedness at infinity
Let be a complete Kähler metric of . Let be a relatively compact open neighbourhood of . We say that is bounded at infinity of with respect to if there exists such that on
(134) |
In other words, are mutually bounded with on .
Lemma 7.14.
Suppose that there exists which is bounded at infinity of . Then, is complete at infinity of . Moreover, is bounded on , and hence is bounded on .
Proof The first claim is clear by definition. The boundedness of on follows from Proposition 7.9. ∎
We obtain the following uniqueness up to boundedness.
Corollary 7.15.
Suppose that are bounded at infinity of . Then, and are mutually bounded on . If moreover is empty, we obtain on .
Proof The first claim follows from Proposition 7.9 and Lemma 7.14. The second claim follows from Theorem 7.13 and Lemma 7.14. ∎
A bounded solution does not necessarily exist for a prescribed complete Kähler metric.
Corollary 7.16.
Let be another complete Kähler metric of . If there exist such that (resp. ) is bounded at infinity of with respect to (resp. ), then and are mutually bounded on .
Proof By Proposition 7.9 and Lemma 7.14, and are mutually bounded on . It implies that are mutually bounded with and on . Hence, we obtain that and are mutually bounded on . ∎
Proposition 7.17.
Let be a complete hyperbolic metric of . Assume that is bounded on . Then, is bounded at infinity of with respect to if and only if is complete at infinity.
Proof The “only if” part of the claim is clear by definition. Let us prove that the “if” part of the claim. Let be a compact neighbourhood of in with smooth boundary. Note that is hyperbolic.
Lemma 7.18.
Let be a complete hyperbolic metric of .
-
•
on .
-
•
and are mutually bounded on .
Proof We may assume that the Gaussian curvature of and are constantly . Recall that they correspond to complete solutions of the Toda equation (1) with and on and , respectively. (See also §1.1.5.) The first claim follows from [24, Theorem 1.7]. The second claim of the lemma follows from [24, Proposition 3.29]. ∎
Because is bounded on , is bounded. Let be the complete solution on . According to [24, Theorem 1.8], are mutually bounded with . Hence, are mutually bounded with .
Suppose that is complete at infinity. By [24, Proposition 3.29], and are mutually bounded. (See §7.2.3 for .) Hence, are mutually bounded with , i.e., is bounded at infinity with respect to . ∎
Theorem 7.19.
Suppose that is empty. Let be a complete hyperbolic metric of . If is bounded with respect to , there uniquely exists a bounded solution . Conversely, if there exists such a bounded solution , is bounded with respect to . ∎
8. Appendix
8.1. The case of trivial -differentials
8.1.1. Rank case
Let be a Riemann surface with a finite subset . Suppose that has a Kähler metric with infinite volume such that the Gaussian curvature of the Riemannian metric is constantly .
Proposition 8.1.
For any , there exists a Kähler metric of whose Gaussian curvature is constantly , such that the following holds.
-
•
For any neighbourhood of , and are mutually bounded.
-
•
Let be a coordinate neighbourhood around such that . If , then is mutually bounded with around . If , then is mutually bounded with around .
Proof It is enough to study the case where . Recall that in this paper, for a Kähler metric on , we use the Hermitian metric on denoted as , determined as follows.
-
•
If for a local holomorphic coordinate , then .
Let denote the associated Kähler form, which is locally .
We set . Let denote the quadratic differential on which is constantly . It induces the Higgs field of . We consider the action of on given by , which induces a -action on . A Kähler metric of induces a Hermitian metric .
Lemma 8.2.
is a harmonic metric if and only if the Gaussian curvature of is constantly .
Proof Let denote the curvature of the Chern connection of . Then, by a direct calculation, we can check that is harmonic if and only if , which implies that the Gaussian curvature of is . ∎
Let denote the set of -invariant harmonic metrics of such that . Note that is decomposed as , and it is equal to for a Kähler metric of whose Gaussian curvature is .
Let us give some preliminaries on hyperbolic metrics on . We may assume that . It is well known and easy to check that is a hyperbolic metric of normalized as . For , we set as follows on :
Because is locally obtained as the pull back of by the map , it is a hyperbolic metric on normalized as . We also set
It is easy to check .
Lemma 8.3.
Let be any hyperbolic metric of normalized as .
-
•
There exists such that and are mutually bounded around .
-
•
Let be a relatively compact neighbourhood of in . Then, the volume of is finite with respect to .
Proof Let . Because is nilpotent, the harmonic bundle is tame. As in the proof of Proposition 3.21, we obtain the locally free -modules
and we can prove that there exists such that and are sections of . We obtain the numbers
Because is nilpotent, we obtain
with respect to , according to [39]. Because , we obtain . Because , we obtain . Moreover, according to the norm estimate of Simpson [39], if satisfy then and are mutually bounded.
For a hyperbolic metric of normalized as , we obtain induced by . For any such that and , there exists such that and . Then, we can directly check that . Then, we obtain the first claim. The second claim can be checked in the case of . ∎
Take any . We obtain corresponding to . Let on corresponding to the hyperbolic metric . Let be relatively compact neighbourhoods of in . There exists a -invariant Hermitian metric such that (i) on , (ii) on , (iii) . Note that the support of is compact. We also note that is the unique proper Higgs subbundle of .
Let denote the Hermitian metric of induced by . Because , we obtain . Let us prove that
(135) |
Let denote the Hermitian metric of induced by the hyperbolic metric . By the assumption, we have
By the construction, holds on . By Lemma 8.3, the volume of is finite with respect to . We obtain
Because are induced by , we obtain
Because is compact, we obtain
In all, we obtain (135). As a result, is analytically stable. By Proposition 2.11, there exists such that and are mutually bounded on . The Kähler metric on induced by satisfies the desired conditions. ∎
Remark 8.4.
If there exists a complete Kähler metric of with finite volume, then there exist a compact Riemann surface and an open embedding whose complement is a finite subset. (For example, see [11, 40], where much more general results are proved.) Therefore, we may apply the theory of tame harmonic bundles [39] due to Simpson to study a problem as in Proposition 8.1. The stability condition provides us with a constraint on .
8.1.2. Rank case
Let be a positive integer larger than . Let denote the -differential on which is constantly . Let . Because is nilpotent, the harmonic bundle is tame. As in the proof of Proposition 3.21, from , we obtain the locally free -modules , and we can prove that there exists such that are sections of . For , we obtain the numbers
Let denote the tuple . Because is nilpotent, we obtain with respect to . Because
for , we obtain . Because , we obtain .
For simplicity, we assume that the Gaussian curvature of is . Note that is isomorphic to the -th symmetric product of . Let denote the harmonic metric induced by .
Proposition 8.5.
Suppose that satisfy
Then, there exists such that (i) , (ii) For any neighbourhood of , and are mutually bounded on .
Proof Let us explain an outline of the proof.
Lemma 8.6.
There exists such that .
Proof Let be a compact Riemann surface whose genus is larger than . Let be a point of . Let be a holomorphic coordinate neighbourhood of in such that . For any , denote the locally free -module obtained as follows:
Here, for , denotes . From and , we obtain locally free -modules . Thus, we obtain a filtered bundle on . We can easily check . We obtain
For any , we obtain the following:
(136) |
Hence, for any , we obtain
If a non-zero subbundle satisfies , then there exists such that . Therefore, the regular filtered Higgs bundle is stable. According to [39], there uniquely exists a harmonic metric of such that and that with induces . By the uniqueness, we obtain that is -invariant.
We embed into by using and . Then, we can construct as the pull back of . ∎
Let be a -invariant Hermitian metric of satisfying the following conditions.
-
•
on .
-
•
There exist relatively compact neighbourhoods in such that on .
-
•
.
Note that the support of is compact.
Lemma 8.7.
is analytically stable with respect to the -action.
Proof For a -invariant Hermitian metric of , let denote the induced Hermitian metric of . Because the volume of with respect to is infinite, we obtain the following for :
(137) |
By Lemma 8.3, and by , we obtain
(138) |
On , holds by the construction. Because is harmonic, we obtain . Let denote the projection of onto . It is the orthogonal projection with respect to . By the Chern-Weil formula [38, Lemma 3.2], we obtain
(139) |
Because is relatively compact, we obtain
(140) |
By (138), (139) and (140), we obtain
If a non-zero subbundle of satisfies , there exists such that . Therefore, is analytically stable with respect to the -action.
∎
By Proposition 2.11, there exists such that and are mutually bounded. Then, satisfies the desired conditions. ∎
8.2. Existence of harmonic metrics in the potential theoretically hyperbolic case
8.2.1. Solvability of the Poisson equation and the existence of harmonic metrics
Let be a compact Lie group with a character . Let be an open Riemann surface equipped with a -action. Let be any -invariant Kähler metric of . Let denote the adjoint of the multiplication of the Kähler form associated with . Let be a -homogeneous Higgs bundle on . Let be a -invariant Hermitian metric of .
A function on is called locally bounded if its restriction to any compact set is bounded.
Condition 8.8.
Assume that there exists a -invariant -valued locally bounded function on such that
in the sense of distributions. Note that this condition is independent of the choice of .
Proposition 8.9.
There exists a -invariant harmonic metric of the Higgs bundle such that
(141) |
Proof Let be a smooth exhaustive sequence of . Let be a harmonic metric of such that . Let be the automorphism of determined by . By (21), we obtain
By the condition, we obtain the following on :
Note that . Hence, we obtain
Similarly, we obtain
Then, we obtain the claim of the proposition. ∎
Corollary 8.10.
If is flat, there exists a -invariant harmonic metric of satisfying (141) and . Moreover, if is bounded, and if , then is . ∎
8.2.2. Potential theoretically hyperbolic Riemann surfaces
Let be a potential theoretically hyperbolic Riemann surface, i.e., there exists a non-constant non-positive subharmonic function on . It is well known that there exists a Green function characterized as follows (see [43, §7]):
-
•
is harmonic on .
-
•
Let be a holomorphic coordinate neighbourhood such that . Then, is harmonic on .
-
•
If is any other subharmonic function satisfying the above two conditions, then .
Recall that for any compact support -form on we obtain
Lemma 8.12.
Let be any Kähler metric of . The volume form is denoted by . For a function , suppose that is integrable on for any . Then, by setting , we obtain and . ∎
The following is clear by the construction of the Green function (see [43, §7]).
Lemma 8.13.
Let be any compact subset of . Let be any relatively compact neighbourhood of in . Then, is bounded on . ∎
Corollary 8.14.
Let be a compact support -form on . Then, there exists a bounded function on such that . ∎
Let be a -homogeneous Higgs bundle on . Let be a -invariant Hermitian metric of . Suppose that
for any .
Proposition 8.15.
There exists a -invariant harmonic metric of such that
If is flat, also satisfies . ∎
Corollary 8.16.
Suppose that the support of is compact. Then, there exists a -invariant harmonic metric of such that and are mutually bounded. If is flat, it also satisfies (i) , (ii) is . ∎
8.2.3. Upper half plane
Let us state a consequence in the case . Let be the real coordinate system determined by .
Proposition 8.17.
Let be a -invariant Hermitian metric of such that . Then, there exists a -invariant harmonic metric of such that
If is flat, we obtain . If for a positive constant , then and are mutually bounded.
8.3. Uniqueness of harmonic metrics in the potential theoretically parabolic case
Let be a potential theoretically parabolic Riemann surface, i.e., is non-compact, and any non-positive subharmonic function on is constant. Let be a Higgs bundle on .
Proposition 8.18.
Let be harmonic metrics of the Higgs bundle which are mutually bounded. Then, there exists a decomposition
such that (i) the decomposition is orthogonal with respect to both and , (ii) there exist positive numbers such that .
Proof Let be the automorphism of determined by . Then, is a bounded subharmonic function on . Because is assumed to be potential theoretically parabolic, is constant. According to (19), it implies that , and hence we obtain the desired decomposition. ∎
Corollary 8.19.
Let be the complement of a finite subset of a compact Riemann surface . Then, the claim of Proposition 8.18 holds.
Proof Let be an -valued subharmonic function on . According to [36, Theorem 3.3.25], it uniquely extends to a subharmonic function on . By the maximum principle, we obtain that is constant, i.e., is potential theoretically parabolic. ∎
References
- [1] D. Baraglia, Cyclic Higgs bundles and the affine Toda equations, Geom. Dedicata 174 (2015), 25–42.
- [2] Y. Benoist and D. Hulin, Cubic differentials and finite volume convex projective surfaces, Geom. Topol. 17 (2013), 595–620.
- [3] Y. Benoist and D. Hulin, Cubic differentials and hyperbolic convex sets, J. Differential Geom. 98 (2014), 1–19.
- [4] O. Biquard and P. Boalch, Wild nonabelian Hodge theory on curves, Compositio Math. 140 (2004) 179–204.
- [5] J. Bolton, F. Pedit and L. Woodward, Minimal surfaces and the affine Toda field model, J. Reine Angew. Math. 459 (1995), 119–150.
- [6] F. E. Burstall and F. Pedit, Harmonic maps via Adler-Kostant-Symes theory, Harmonic Maps and Integrable Systems, eds. A. P. Fordy and J. C. Wood, Aspects of Math. E23, Vieweg, 1994, 221–272.
- [7] S. Cecotti and C. Vafa, Topological—anti-topological fusion, Nuclear Phys. B 367 (1991), 359–461.
- [8] B. Collier, N. Tholozan and J. Toulisse, The geometry of maximal representations of surface groups in , Duke Math. J., 168, 2873–2949, 2019.
- [9] S. K. Donaldson, Boundary value problems for Yang-Mills fields, J. Geom. Phys. 8 (1992), 89–122.
- [10] D. Dumas and M. Wolf, Polynomial cubic differentials and convex polygons in the projective plane, Geom. Funct. Anal. 25 (2015), 1734–1798.
- [11] P. Eberlein, Lattices in spaces of nonpositive curvature, Ann. of Math. (2) 111 (1980), 435–476.
- [12] O. Forster, Lectures on Riemann surfaces, Graduate Texts in Mathematics, 81. Springer-Verlag, New York-Berlin, 1981.
- [13] P. Griffiths, J. Harris, Principles of algebraic geometry, Wiley-Interscience [John Wiley & Sons], New York, 1978.
- [14] M. A. Guest, A. Its and C. S. Lin, Isomonodromy aspects of the equations of Cecotti and Vafa I. Stokes data, Int. Math. Res. Notices 2015 (2015), 11745–11784.
- [15] M. A. Guest and C. S. Lin, Nonlinear PDE aspects of the equations of Cecotti and Vafa, J. reine angew. Math. 689 (2014) 1–32.
- [16] R. C. Gunning and R. Narasimhan, Immersion of open Riemann surfaces, Math. Ann. 174 (1967), 103–108.
- [17] S. Gupta, Harmonic maps and wild Teichmüller spaces, J. Topol. Anal.13 (2021), 349–393.
- [18] Z. Han, L. T. Tam, A. Treibergs, and T. A. Wan, Harmonic maps from the complex plane into surfaces with nonpositive curvature, Comm. Anal. Geom. 3 (1995), 85–114.
- [19] N. J. Hitchin, The self-duality equations on a Riemann surface, Proc. London Math. Soc. (3) 55 (1987), 59–126.
- [20] F. Labourie, Flat projective structures on surfaces and cubic holomorphic differentials, Pure Appl. Math. Q. 3 (2007), 1057–1099.
- [21] R. E. Langer, On the zeros of exponential sums and integrals, Bull. Amer. Math. Soc. 37 (1931), 213–239.
- [22] Y. B. Levin, Yu. Lyubarskii, M. Sodin and V. Tkachenko, Lectures on entire functions, Translations of Mathematical Monographs, 150, American Mathematical Society, Providence, RI, 1996.
- [23] Q. Li, On the uniqueness of vortex equations and its geometric applications, J. Geom. Anal. 29 (2019), 105–120.
- [24] Q. Li and T. Mochizuki, Complete solutions of Toda equations and cyclic Higgs bundles over non-compact surfaces, arXiv:2010.05401, 2020.
- [25] J. Loftin, Affine spheres and convex -manifolds, Amer. J. Math. 123 (2001), 255–274.
- [26] J. Loftin, The compactification of the moduli space of convex surfaces. I, J. Differential Geom. 68 (2004), 223–276.
- [27] J. Loftin, Convex structures and cubic differentials under neck separation, J. Differential Geom. 113 (2019), 315–383.
- [28] H. Majima, Asymptotic analysis for integrable connections with irregular singular points, Lecture Notes in Mathematics, 1075, Springer-Verlag, Berlin, 1984.
- [29] T. Mochizuki, Wild harmonic bundles and wild pure twistor -modules, Astérisque 340, Société Mathématique de France, Paris, 2011.
- [30] T. Mochizuki, Harmonic bundles and Toda lattices with opposite sign I, to appear in RIMS Kôkyûroku Bessatsu (essentially the part I of arXiv:1301.1718)
- [31] T. Mochizuki, Harmonic bundles and Toda lattices with opposite sign II, Comm. Math. Phys. 328 (2014), 1159–1198.
- [32] T. Mochizuki, Asymptotic behaviour of certain families of harmonic bundles on Riemann surfaces, J. Topol. 9 (2016), 1021–1073.
- [33] T. Mochizuki, Kobayashi-Hitchin correspondence for analytically stable bundles. Trans. Amer. Math. Soc. 373 (2020), 551–596.
- [34] L. Ni, The Poisson equation and Hermitian-Einstein metrics on holomorphic vector bundles over complete noncompact Kähler manifolds, Indiana Univ. Math. J. 51 (2002), 679–704.
- [35] X. Nie, Poles of cubic differentials and ends of convex surfaces, J. Differential Geom. 123 (2023), 67–140.
- [36] J. Noguchi and T. Ochiai, Geometric function theory in several complex variables, Translated from the Japanese by Noguchi. Translations of Mathematical Monographs, 80. American Mathematical Society, Providence, RI, 1990.
- [37] R. Schoen and S. T. Yau, Existence of incompressible minimal surfaces and the topology of three-dimensional manifolds with nonnegative scalar curvature, Ann. of Math. (2) 110 (1979), 127–142.
- [38] C. Simpson, Constructing variations of Hodge structure using Yang-Mills theory and application to uniformization, J. Amer. Math. Soc. 1 (1988), 867–918.
- [39] C. Simpson, Harmonic bundles on non-compact curves, J. Amer. Math. Soc. 3 (1990), 713–770.
- [40] Y. T. Siu and S. T. Yau, Compactification of negatively curved complete Kähler manifolds of finite volume, Seminar on Differential Geometry, pp. 363–380, Ann. of Math. Stud., 102, Princeton Univ. Press, Princeton, N.J., 1982.
- [41] J. Tamarkin, Some general problems of the theory of ordinary linear differential equations and expansion of an arbitrary function in series of fundamental functions, Math. Z. 27 (1928), 1–54.
- [42] A. Tamburelli and M. Wolf, Planar minimal surfaces with polynomial growth in the -symmetric space, arXiv:2002.07295, 2020.
- [43] D. Varolin, Riemann surfaces by way of complex analytic geometry, Graduate Studies in Mathematics, 125. American Mathematical Society, Providence, RI, 2011. xviii+236.
- [44] T. Y.-H. Wan, Constant mean curvature surface, harmonic maps, and universal Teichmüller space, J. Differential Geom. 35 (1992), 643–657.
- [45] T. Y.-H. Wan and T. K.-H. Au, Parabolic constant mean curvature spacelike surfaces, Proc. Amer. Math. Soc. 120 (1994), 559–564.
- [46] C. P. Wang, Some examples of complete hyperbolic affine 2-spheres in , Global differential geometry and global analysis (Berlin, 1990), Lecture Notes in Math.,1481, Springer, Berlin, 1991, 271–280.
- [47] W. Wasow, Asymptotic expansions for ordinary differential equations, Reprint of the 1976 edition. Dover Publications, Inc., New York, 1987.
- [48] C. E. Wilder, Expansion problems of ordinary linear differential equations with auxiliary conditions at more than two points, Trans. Amer. Math. Soc. 18 (1917), 415–442.
- [49] M. Wolf, The Teichmüller theory of harmonic maps, J. Differential Geom. 29 (1989) 449–479.
- [50] M. Wolf, Infinite energy harmonic maps and degeneration of hyperbolic surfaces in moduli space, J. Differential Geom. 33 (1991), 487–539.