Abstract
We investigate aspects of holomorphic connections on holomorphic principal bundles over a Riemann surface.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Holomorphic connections, introduced by Atiyah [2], arise in innumerable contexts in mathematics (see [5, 9, 11, 14, 16] and references therein). Their importance can hardly be overemphasized. In this mostly expository work, we consider holomorphic connections, and also logarithmic connections, on holomorphic principal bundles over compact Riemann surfaces.
A famous theorem of Atiyah and Weil says that a holomorphic vector bundle E over a compact Riemann surface M admits a holomorphic connection if and only if the degree of every holomorphic direct summand of E is zero. We recall that in the context of a compact Riemann surface, the degree of a complex vector bundle coincides with its first Chern class; in particular, the degree of a complex vector bundle coincides with the degree of the complex line bundle given by its top exterior product. In [3], this result was extended to holomorphic principal G-bundles on M, where G is a connected reductive complex algebraic group. More precisely, the following was proved in [3]:
Theorem 1.1
Let G be a connected reductive affine algebraic group defined over \({\mathbb {C}}\). A holomorphic principal G-bundle \(E_G\) over a compact connected Riemann surface M admits a holomorphic connection if and only if for every triple of the form \((H,\, E_H,\, \lambda )\), where
-
(1)
H is a Levi subgroup of G,
-
(2)
\(E_H\,\subset \, E_G\) is a holomorphic reduction of structure group to H, and
-
(3)
\(\lambda \) is a holomorphic character of H,
the associated line bundle \(E_H(\lambda )\, =\, (E_H\times {{\mathbb {C}}})/H\) over M is of degree zero.
The assumption Theorem 1.1 that G is reductive is rather essential; see Sect. 4.
In the final section, we consider logarithmic connections on a compact Riemann surface. The following theorem was proved in [4]:
Theorem 1.2
Take a holomorphic vector bundle E on M. Fix a finite subset
For each point \(x\, \in \, D\), fix
such that \(\phi (x)\circ T_x \,=\, T_x\circ \phi (x)\) for every holomorphic automorphism \(\phi \) of the holomorphic vector bundle E. There is a logarithmic connection \(\theta \) on E singular over D such that the residue
if and only if
When \(D\, =\ 0\), Theorem 1.2 coincides with the above-mentioned criterion of Atiyah and Weil for the existence of a holomorphic connection on a holomorphic vector bundle over M.
2 Holomorphic connection on principal bundles
Let X be a compact connected complex manifold. Let G be a complex Lie group. A holomorphic principal G-bundle over X consists of
-
a complex manifold \(E_G\),
-
a surjective holomorphic map \(f\, :\, E_G\, \longrightarrow \, X\), and
-
a holomorphic right action \(\varphi \, :\, E_G\times G\, \longrightarrow \, E_G\) of G on \(E_G\),
such that the following two conditions hold:
-
(1)
\(f\circ \varphi \,=\, f\circ p_1\), where \(p_1\, :\, E_G\times G\, \longrightarrow \, E_G\) is the natural projection, and
-
(2)
the map to the fiber product
$$\begin{aligned} E_G\times G\, \longrightarrow \, E_G\times _X E_G\, , \ \ (z,\, g)\, \longmapsto \, (z,\, \varphi (z,g)) \end{aligned}$$is a biholomorphism.
Note that the first condition implies that \((z,\, \varphi (z,g))\,\in \, E_G\times _X E_G\).
For notational convenience, \(\varphi (z,g)\), where \(z\, \in \, E_G\) and \(g\, \in \, G\), will be denoted by zg.
The holomorphic tangent (respectively, cotangent) bundle of a complex manifold Y will be denoted by TY (respectively, \(\Omega ^1_Y\)).
The Lie algebra of G will be denoted by \({\mathfrak {g}}\). Let
be a holomorphic principal G-bundle over X. Consider the holomorphic right action of G on the holomorphic tangent bundle \(TE_G\) induced by the right action of G on E. The quotient
is a complex manifold; in fact, it is a holomorphic vector bundle over \(E_G/G\,=\, X\). This holomorphic vector bundle \(\text {At}(E_G)\) over X is called the Atiyah bundle for \(E_G\) [2]. The differential
of the projection f is evidently G-equivariant for the natural action of G on \(f^*TX\) that lifts the action of G on \(E_G\). The action of G on \(E_G\) produces a holomorphic homomorphism from the trivial holomorphic bundle \(E_G\times {{\mathfrak {g}}}\, \longrightarrow \, E_G\) with fiber \({\mathfrak {g}}\)
which is in fact an isomorphism. From this it follows that we have a short exact sequence of holomorphic vector bundles on \(E_G\)
all the homomorphisms in (2.3) are G-equivariant. The quotient \(\text {kernel}(df)/G\) is called the adjoint vector bundle, and it is denoted by \(\text {ad}(E_G)\). This holomorphic vector bundle \(\text {ad}(E_G)\) over X is identified with the holomorphic vector bundle \(E_G({{\mathfrak {g}}})\) associated to \(E_G\) for the adjoint action of G on the Lie algebra \({\mathfrak {g}}\); this identification is produced by the isomorphism in (2.2).
Taking quotient of the holomorphic vector bundles in (2.3), by the actions of G, the following short exact sequence of holomorphic vector bundles on X is obtained:
where \(d'f\) is the descent of the homomorphism df (see [2]). The short exact sequence in (2.4) is known as the Atiyah exact sequence for \(E_G\).
A holomorphic connection on \(E_G\) is a holomorphic homomorphism of vector bundles
such that
where \(d'f\) is the projection in (2.4) (see [2]). Therefore, \(E_G\) admits a holomorphic connection if and only if the Atiyah exact sequence in (2.4) splits holomorphically.
Giving a holomorphic connection on \(E_G\) is equivalent to giving a \({\mathfrak {g}}\)-valued holomorphic 1-form
on \(E_G\) such that the following two conditions hold:
-
the homomorphism
$$\begin{aligned} \omega \, :\, TE_G\, \longrightarrow \, {\mathfrak {g}} \end{aligned}$$is G-equivariant for the adjoint action of G on \({{\mathfrak {g}}}\) and the action of G on \(TE_G\) given by the right action of G on \(E_G\), and
-
the restriction of \(\omega \) to any fiber of f coincides with the Maurer–Cartan form, equivalently, the restriction of \(\omega \) to any fiber of f coincides with the inverse of the isomorphism in (2.2).
For a form \(\omega \) as in (2.5) giving a holomorphic connection on \(E_G\), let
be the kernel of the homomorphism \(TE_G\, \longrightarrow \, E_G\times {\mathfrak {g}}\) given by \(\omega \). The action of G on \(TE_G\) preserves this holomorphic subbundle \(\text {kernel} (\omega )\). Consequently,
is a holomorphic subbundle. There is a unique holomorphic homomorphism
such that
-
\({{\mathcal {D}}}(TX)\, \subset \, \text {kernel}(\omega )/G\), and
-
\((d'f)\circ {{\mathcal {D}}}\,=\, \text {Id}_{TX}\), where \(d'f\) is the homomorphism in (2.4).
Therefore, \({\mathcal {D}}\) defines a holomorphic connection on \(E_G\).
Conversely, given a holomorphic homomorphism
such that \((d'f)\circ {{\mathcal {D}}}\,=\, \text {Id}_{TX}\), let
be the inverse image of \({{\mathcal {D}}}(TX)\, \subset \, \text {At}(E_G)\) under the quotient map
Then there is a unique holomorphic 1-form \(\omega \,\in \, H^0(E_G,\, \Omega ^1_{E_G}\otimes _{{\mathbb {C}}}{{\mathfrak {g}}})\) such that
-
the kernel of the homomorphism \(TE_G\, \longrightarrow \, E_G\times {\mathfrak {g}}\) given by \(\omega \) coincides with the subbundle \(V\, \subset \, TE_G\) in (2.6), and
-
the restriction of \(\omega \) to any fiber of f coincides with the Maurer–Cartan form.
The above homomorphism \(\omega \, :\, TE_G\, \longrightarrow \, {\mathfrak {g}}\) is G-equivariant, and hence we conclude that \(\omega \) defines a holomorphic connection on \(E_G\).
For a complex manifold Z, the Lie bracket operation of locally defined holomorphic vector fields on Z makes the coherent analytic sheaf TZ a sheaf of Lie algebras. Note that the Lie bracket operation on locally defined holomorphic vector fields on Z is not \({{\mathcal {O}}}_Z\)-linear.
The Lie bracket of two G-invariant vector fields on \(E_G\vert _U\), where \(U\, \subset \, X\) is an open subset, is again G-invariant. Consequently, the Lie algebra structure on the coherent analytic sheaf \(TE_G\) makes the coherent analytic sheaf \(\text {At}(E_G)\) a sheaf of Lie algebras. Take a holomorphic connection
on \(E_G\). The curvature of \({{\mathcal {D}}}\) is the obstruction for the homomorphism \({{\mathcal {D}}}\) to be compatible with the Lie algebra structures on the sheaves \(\text {At}(E_G)\) and TX. More precisely, given holomorphic vector fields \(s,\, t\) defined on an open subset \(U\, \subset \, X\), consider
Since the projection \(d'f\) in (2.4) is Lie algebra structure preserving, it follows that
Furthermore, we have
and
for all \(\phi \, \in \, H^0(U,\, {{\mathcal {O}}}_U)\). These properties together imply that
This \(\text {ad}(E_G)\)-valued holomorphic 2-form \({{\mathcal {K}}}({{\mathcal {D}}})\) on X is the curvature of D.
The connection D is called flat (or integrable) if \({{\mathcal {K}}}({{\mathcal {D}}})\,=\, 0\). A connection D is flat if and only if the distribution on \(E_G\) given by the subbundle \(V\, \subset \, TE_G\) in (2.6) corresponding to \({{\mathcal {D}}}\) is integrable [15, p. 78, Corollary 5.3], [10].
If \(\dim _{{\mathbb {C}}} X\,=\, 1\), then \(\Omega ^2_X\,=\, 0\). Therefore, any holomorphic connection on a holomorphic principal G-bundle over a Riemann surface is automatically flat.
3 Holomorphic connections on bundles over a Riemann surface
In this section we will consider holomorphic principal G-bundles on compact Riemann surfaces and holomorphic connections on them.
Let M be a compact connected Riemann surface. As before, G is a complex Lie group. Given a holomorphic principal G-bundle \(E_G\) on M, it is natural to ask whether \(E_G\) admits a holomorphic connection. A well-known theorem of Atiyah and Weil answers this question when \(G\,=\, \text {GL}(r,{{\mathbb {C}}})\) [2, 17]. This result of [2, 17] will be recalled below.
Using the standard representation of \(\text {GL}(r,{{\mathbb {C}}})\), holomorphic principal \(\text {GL}(r,{{\mathbb {C}}})\)-bundles on M are identified with holomorphic vector bundles on M of rank r.
A holomorphic vector bundle W on a compact connected complex manifold X is called decomposable if
where \(W_1\) and \(W_2\) are holomorphic vector bundles of positive rank. A holomorphic vector bundle W on X is called indecomposable if it is not decomposable. Every holomorphic vector bundle on X is holomorphically isomorphic to a direct sum of indecomposable holomorphic vector bundles.
The following very important theorem was proved by Atiyah.
Theorem 3.1
([1, p. 315, Theorem 3]) Let W be a holomorphic vector bundle over a compact connected complex manifold X. If W is holomorphically isomorphic to both \(\bigoplus _{i=1}^m V_i\) and \(\bigoplus _{j=1}^n W_j\), where \(V_i\), \(1\, \le \, i\, \le \, m\), and \(W_j\), \(1\, \le \, j\, \le \, n\), are all indecomposable vector bundles on X, then
-
(1)
\(m\,=\, n\), and
-
(2)
there is a permutation \(\sigma \) of \(\{1,\, \ldots ,\, m\}\) such that \(V_i\) is holomorphically isomorphic to \(W_{\sigma (i)}\) for all \(1\, \le \, i\, \le \, m\).
The above-mentioned theorem of [2, 17] says that a holomorphic vector bundle E over a compact connected Riemann surface M admits a holomorphic connection if and only if each direct summand of E is of degree zero. Let
be a decomposition of E into a direct sum of indecomposable vector bundles (as in Theorem 3.1). Then E admits a holomorphic connection if and only if
for all \(1\, \le \, i\, \le \, m\).
We shall now describe a generalization of the above theorem of [2] and [17] to the context of principal bundles.
Let G be a connected reductive affine algebraic group defined over \({\mathbb {C}}\). A Zariski closed connected subgroup \(P\, \subset \, G\) is called a parabolic subgroup if G/P is a projective variety [8, 11.2], [13]. The unipotent radical of a parabolic subgroup \(P\, \subset \, G\) will be denoted by \(R_u(P)\). The quotient group \(P/R_u(P)\) is called the Levi quotient of P. A Levi factor of P is a Zariski closed connected subgroup \(L\, \subset \, P\) such that the composition
is an isomorphism [13, p. 184]. We note that P admits Levi factors, and any two Levi factors of P are conjugate by an element of \(R_u(P)\) [13, § 30.2, p. 185, Theorem]. A Levi factor \(L\, \subset \, P\) satisfies the following condition: L contains a maximal torus of P, and moreover L is a maximal reductive subgroup of P (see [8, 13]).
Given a holomorphic principal G-bundle \(E_G\) on M and a complex Lie subgroup \(H\, \subset \, G\), a holomorphic reduction of \(E_G\) to H is given by a holomorphic section of the holomorphic fiber bundle \(E_G/H\) over M. Let
be the quotient map. If \(\nu \, :\, M\, \longrightarrow \, E_G/H\) is a holomorphic section of the fiber bundle \(E_G/H\,\longrightarrow \,M\), then note that
is a holomorphic principal H-bundle on M. Conversely, if a complex submanifold \(E_H\, \subset \, E_G\) is preserved by the action of H on \(E_G\), and \(E_H\) is a principal H-bundle for the action of H, then the natural map
is a holomorphic section of the projection \(E_G/H\,\longrightarrow \, M\).
If \(E_H\) is a holomorphic principal H-bundle on M, and \(\chi \) is a holomorphic character of H, then the associated holomorphic line bundle
is the quotient of \(E_H\times {{\mathbb {C}}}\), where \((z_1,\, c_1),\, (z_2,\, c_2)\, \in \, E_H\times {\mathbb {C}}\) are identified if there is an element \(g\,\in \, H\) such that
-
\(z_2\,=\, z_1g\), and
-
\(c_2\,=\, \frac{c_1}{\lambda (g)}\).
The following theorem is proved in [3] (see [3, Theorem 4.1]).
Theorem 3.2
Let G be a connected reductive affine algebraic group defined over \({\mathbb {C}}\). A holomorphic principal G-bundle \(E_G\) over a compact connected Riemann surface M admits a holomorphic connection if and only if for every triple of the form \((H,\, E_H,\, \lambda )\), where
- (1):
-
H is a Levi subgroup of G,
- (2):
-
\(E_H\,\subset \, E_G\) is a holomorphic reduction of structure group to H, and
- (3):
-
\(\lambda \) is a holomorphic character of H,
the associated line bundle \(E_H(\lambda )\, =\, (E_H\times {{\mathbb {C}}})/H\) (see (3.1)) over M is of degree zero.
Note that if we set \(G\, =\, \text {GL}(n, {{\mathbb {C}}})\) in Theorem 3.2, then it coincides with the mentioned criterion of Atiyah and Weil for the existence of a holomorphic connection on a holomorphic vector bundle over M.
A sketch of the proof of Theorem 3.2 will be given below.
Let \(E_G\) be a holomorphic principal G-bundle over M equipped with a holomorphic connection \(\nabla \). Take any triple \((H,\, E_H,\, \lambda )\) as in Theorem 3.2. We will first show that a holomorphic connection \(\nabla \) on \(E_G\) produces a holomorphic connection on the principal H-bundle \(E_H\).
Let \({\mathfrak {g}}\) and \({\mathfrak {h}}\) denote the Lie algebras of G and H respectively. The group H has adjoint actions on both \({\mathfrak {h}}\) and \({\mathfrak {g}}\). To construct the connection on \(E_H\), fix a splitting of the injective homomorphism of H-modules
Let
be the chosen splitting. Since a holomorphic connection on \(E_G\) is a given by a holomorphic splitting of the Atiyah exact sequence for \(E_G\), a holomorphic connection \(\nabla \) on \(E_G\) produces a \({\mathfrak {g}}\)-valued holomorphic 1-form \(\omega \) on \(E_G\) satisfying the following two conditions:
-
\(\omega \) is G-equivariant (G acts on \({\mathfrak {g}}\) by inner automorphism), and
-
the restriction of \(\omega \) to any fiber of \(E_G\) is the Maurer–Cartan form on the fiber.
Using the chosen splitting homomorphism
the connection form \(\omega \) on \(E_G\) defines a \({\mathfrak {h}}\)-valued holomorphic one–form \(\omega '\) on \(E_G\). The restriction of \(\omega '\) to the complex submanifold \(E_H\, \subset \, E_G\) satisfies the two conditions needed for a holomorphic \({\mathfrak {h}}\)-valued 1-form on \(E_H\) to define a holomorphic connection on \(E_H\).
Therefore, \(E_H\) admits a holomorphic connection. A holomorphic connection on \(E_H\) induces a holomorphic connection on the associated line bundle \(E_H(\lambda )\). Any line bundle admitting a holomorphic connection must be of degree zero [2]. Therefore, if \(E_G\) admits a holomorphic connection then we know that the degree of \(E_H(\lambda )\) is zero.
To prove the converse, let \(E_G\) be a holomorphic principal G-bundle over M such that
for all triples \((H,\, E_H,\, \lambda )\) of the above type. We need to show that the Atiyah exact sequence for \(E_G\) (see (2.4)) splits holomorphically.
As the first step for it, in [3] the following is proved: it is enough to prove that the Atiyah exact sequence for \(E_G\) splits holomorphically under the assumption that \(E_G\) does not admit any holomorphic reduction of structure group to any proper Levi subgroup of G. Therefore, we assume that \(E_G\) does not admit any holomorphic reduction of structure group to any proper Levi subgroup of G.
Let \(K_M\) denote the holomorphic cotangent bundle of M. The obstruction for splitting of the Atiyah exact sequence for \(E_G\) is an element
We note that
Indeed, the Lie algebra \({\mathfrak {g}}\) admits a G-invariant symmetric nondegenerate bilinear form. Such a form on \({\mathfrak {g}}\) produces an isomorphism of \(\text {ad}(E_G)\) with \(\text {ad}(E_G)^*\). Consequently, by Serre duality,
So we have
Any homomorphic section \(\phi \) of the adjoint bundle \(\text {ad}(E_G)\) has a Jordan decomposition
where \(f_s\) is pointwise semisimple and \(f_n\) is pointwise nilpotent. From the assumption that \(E_G\) does not admit any holomorphic reduction of structure group to any proper Levi subgroup of G it can be deduced that the semisimple section \(f_s\) is given by some element of the center of \({\mathfrak {g}}\). Indeed, the conjugacy class of \(f_s(x)\) is independent of \(x\, \in \, M\); this follows from the fact that there is no nonconstant holomorphic map from M to the affine variety that parametrizes the conjugacy classes of semisimple elements in \({\mathfrak {g}}\). Fix an element \(z_0\, \in \, {\mathfrak {g}}\) in the conjugacy class determined by \(f_s(x)\). Then the centralizer of \(z_0\) in G is a Levi subgroup \(L(z_0)\) of some parabolic subgroup of G. Note that for any \(y\, \in \, E_G\) and \(z'\,\in \, {\mathfrak {g}}\), the pair \((y,\, z')\) represents an element of \(\text {ad}(E_G)\). It is straightforward to check that
is a holomorphic reduction of structure group of \(E_G\) to the subgroup \(L(z_0)\) of G. Now from the given assumption that \(E_G\) does not admit any holomorphic reduction of structure group to any proper Levi subgroup of G we conclude that \(L(z_0)\,=\, G\). Consequently, the semisimple section \(f_s\) is given by some element of the center of \({\mathfrak {g}}\).
Since the semisimple section \(f_s\) is given by some element of the center of \({\mathfrak {g}}\), from the given condition on \(E_G\) it can be deduced that
where \(\tau (E_G)\) is the element in (3.3).
The nilpotent section \(f_n\) of \(\text {ad}(E_G)\) gives a holomorphic reduction of structure group
of \(E_G\) to a proper parabolic subgroup P of G. This reduction \(E_P\) has the property that \(f_n\) lies in the image
where \(\text {ad}(E_P)\) is the adjoint bundle of \(E_P\), and
is the nilpotent radical bundle of \(\text {ad}(E_P)\). On the other hand, the cohomology class \(\tau (E_G)\, \in \, H^1(M,\, K_M\otimes \text {ad}(E_G))\) in (3.2) lies in the image of the homomorphism
induced by the inclusion map \(\text {ad}(E_P)\, \hookrightarrow \, \text {ad}(E_G)\).
next we observe the following. Let \({\mathfrak {p}}\) be the Lie algebra of P, and let \({{\mathcal {R}}}({{\mathfrak {p}}})\, \subset \, {{\mathfrak {p}}}\) be the nilpotent radical of \({{\mathfrak {p}}}\). Then for any G-invariant symmetric bilinear form B on \({\mathfrak {g}}\), we have
This, and the above observations that
-
\(f_n\) lies in the image
$$\begin{aligned} H^0(M,\, {{\mathcal {R}}}(\text {ad}(E_P)))\, \hookrightarrow \, H^0(M,\, \text {ad}(E_G)) \end{aligned}$$and
-
\(\tau (E_G)\, \in \, H^1(M,\, K_M\otimes \text {ad}(E_G))\) lies in the image of the homomorphism
$$\begin{aligned} H^1(M,\, K_M\otimes \text {ad}(E_P))\, \longrightarrow \, H^1(M,\, K_M\otimes \text {ad}(E_G))\, , \end{aligned}$$
combine together to imply that \(\tau (E_G)(f_n)\, =\, 0\).
Hence \(\tau (E_G)(\phi )\, =\, 0\) for all \(\phi \,\in \, H^0(M,\, \text {ad}(E_G))\), which implies that \(\tau (E_G)\, =\, 0\). Therefore, the Atiyah exact sequence for \(E_G\) splits holomorphically, implying that the holomorphic principal G-bundle \(E_G\) admits a holomorphic connection.
3.1 Non-reductive algebraic groups
Now let G be a unipotent affine algebraic group defined over \({\mathbb {C}}\). It is know that any holomorphic principal G-bundle over a compact connected Riemann surface M admits a holomorphic connection [7, p. 4015, Corollary 3.8].
Let G be a connected affine algebraic group defined over \({\mathbb {C}}\). The unipotent radical of G will be denoted by \(R_u(G)\). Let
be the reductive quotient. Let \(E_G\) be a holomorphic principal G-bundle over a compact connected Riemann surface M. Assume that the holomorphic principal L(G)-bundle \(E_G/R_u(G)\) admits a holomorphic connection. The following is a natural question to ask:
Does the holomorphic principal G-bundle \(E_G\) admit a holomorphic connection?
We will show in Sect. 4 that the above question has a negative answer.
4 A construction
This section is an exposition of [6].
Let M be a compact connected Riemann surface of genus g, with \(g\, \ge \,2\). Denote by \(K_M\) the holomorphic cotangent bundle of M. The linear equivalence class of \(K_M\) can be expressed as
where \(P\, \in \, M\) is a single point and D is an effective divisor of degree \(2g-3\) such that P is disjoint from the support of D. We note that this can be deduced from the fact that the linear system \(K_M\) is globally generated and
Indeed, let
be the map corresponding to \(K_M\). Take a hyperplane \({{\mathbb {H}}}\, \subset \, {{\mathbb {P}}}(H^0(M,\,K_M))\) such that there is a point \(z\, \in \, {{\mathbb {H}}}\bigcap f(M)\) satisfying the following two conditions:
-
(1)
\({{\mathbb {H}}}\) and f(M) intersects transversally at z, and
-
(2)
f is unramified over z.
Now take \(P\, \in \, f^{-1}(z)\) and \(D\,=\, f^{-1}({{\mathbb {H}}}){\setminus }\{P\}\).
Fix P and D as in (4.1). Let us now split the divisor D into two parts, namely
where \(D_Q\) and \(D_R\) are effective divisors with
By Serre duality,
In particular, we can choose a nonzero element (which is actually unique up to multiplication by a scalar)
Since
the cohomology class \(\theta \) in (4.5) produces a short exact sequence of holomorphic vector bundles
on M. This exact sequence does not split holomorphically because \(\theta \,\ne \,0\). From (4.3), it follows that \(\mathrm{degree}(V)\,=\, -1\). Consider the holomorphic vector bundle
on M of rank three and degree zero. We have
because \({{\mathcal {O}}}_M(D_Q)\, \subset \, V\) (see (4.6)). Let \(s^P\) (respectively, \(s^Q\)) be the holomorphic section of \({{\mathcal {O}}}_M(P)\) (respectively, \({{\mathcal {O}}}_M(D_Q)\)) given by the constant function 1 on M. So \(s^P\) (respectively, \(s^Q\)) vanishes over P (respectively, the support of \(D_Q\)) of order one, and is nonzero everywhere else. Now consider the holomorphic section
defined by \(x\, \longmapsto \, (s^P(x)\, ,s^Q(x))\). Note that \(\sigma _1\) does not vanish anywhere because P is disjoint from the support of \(D_Q\) according to (4.1) and (4.2). Let \(\sigma \) be the composition
(see (4.8)). Since \(\sigma \) is nowhere vanishing, we get a short exact sequence of holomorphic vector bundles on M
By construction, \({{\mathcal {O}}}_M(P)\) is a direct summand of E. Since \(\mathrm{degree}({{\mathcal {O}}}_M(P))\, \not =\, 0\), from the criterion of Atiyah–Weil we conclude that E does not admit a holomorphic connection.
We will now prove that both F and \({\mathcal {Q}}\) in (4.11) admit a holomorphic connection.
Of course, \(F\,:=\, {{\mathcal {O}}}_M\) admits the trivial holomorphic connection. So we need to show that \({\mathcal {Q}}\) in (4.11) admits a holomorphic connection. The following lemma would be needed for that.
Lemma 4.1
The holomorphic vector bundle \({\mathcal {Q}}\) in (4.11) is a nontrivial extension of the line bundle \({{\mathcal {O}}}_M(-D_R)\) by \({{\mathcal {O}}}_M(P+D_Q)\).
Proof
On the one hand, we have
On the other hand,
(see (4.9)). It follows that
The inclusion of \({{\mathcal {O}}}_M(P)\oplus {{\mathcal {O}}}_M(D_Q)\) in E (see (4.10)) produces an inclusion of the quotient \(({{\mathcal {O}}}_M(P) \oplus {{\mathcal {O}}}_M(D_Q))/\sigma _1({{\mathcal {O}}}_M)\) in \(E/\sigma (F)\,=\, {\mathcal {Q}}\) (see (4.11)). Therefore, from (4.12), we have
as a subbundle. Using (4.6), (4.7) we have
Note that its degree is zero (4.3). Therefore, from (4.13),
So, \({\mathcal {Q}}/{{\mathcal {O}}}_M(P+D_Q)\,=\, {{\mathcal {O}}}_M(-D_R)\). Consequently, from (4.13), we get a short exact sequence of vector bundles
To complete the proof of the lemma, we need to show that the short exact sequence in (4.14) does not split. Let
be the extension class for the exact sequence in (4.14). We will now compute \(\omega \).
From (4.6) and (4.7) we have the short exact sequence
of holomorphic vector bundles on M. Let
be the cohomology class for this exact sequence. Evidently, \(\theta '\) coincides with
where \(\theta \) is the class in (4.5).
Next, consider the homomorphism \(\gamma \) defined by the composition
(see (4.12)), where the homomorphism
is the inclusion of the second factor. Clearly, this composition \(\gamma \) coincides with the natural inclusion of the coherent sheaf \({{\mathcal {O}}}_M(D_Q)\) in \({{\mathcal {O}}}_M(P+D_Q))\). Therefore, the cohomology classes \(\omega \) and \(\theta \) (constructed in (4.15) and (4.5)) satisfy the equation
where
is the homomorphism induced by the natural inclusion map
of coherent analytic sheaves. Consider the short exact sequence of coherent sheaves
where \({{\mathcal {O}}}_M(P+D_Q+D_R)_P\) is the torsion sheaf supported at P with its stalk being the fiber of the line bundle \({{\mathcal {O}}}_M(P+D_Q+D_R)\) over P. Let
be the long exact sequence of cohomologies associated with it. We have
and, by Riemann–Roch and (4.4),
These imply that \(\alpha _1\) in (4.17) is surjective. Therefore, \(\alpha _2\) in (4.17) is the zero homomorphism. This implies that \(\rho \) in (4.17) is injective.
Since \(\rho \) is injective, from (4.16) it follows that \(\omega \,\not =\, 0\), because \(\theta \,\not =\, 0\) (see (4.5)). The exact sequence in (4.14) does not split because \(\omega \,\not =\, 0\). \(\square \)
Proposition 4.2
The holomorphic vector bundle \({\mathcal {Q}}\) in (4.14) admits a holomorphic connection.
Proof
Assume that \({\mathcal {Q}}\) does not admit any holomorphic connection. Since \(\text {degree}({\mathcal {Q}}) \,=\, 0\), and \({\mathcal {Q}}\) does not admit any holomorphic connection, the criterion of Atiyah–Weil says that \({\mathcal {Q}}\) holomorphically decomposes as
where \(\text {degree}(L)\,=\, -\text {degree}({{\mathcal {M}}})\, >\, 0\). Let \( p_{{\mathcal {M}}}\, :\, {\mathcal {Q}}\, \longrightarrow \, {{\mathcal {M}}} \) be the projection given by the decomposition in (4.18). Let \(\beta \) denote the composition
where the inclusion is constructed in (4.13). Since
there is no nonzero homomorphism from \({{\mathcal {O}}}_M(P+D_Q)\) to \({{\mathcal {M}}}\). In particular, \(\beta \, =\, 0\).
We have \({{\mathcal {O}}}_M(P+D_Q)\,\subset \, L\) because \(\beta \,=\, 0\). Since both \({{\mathcal {O}}}_M(P+D_Q)\) and L are line subbundles on \({\mathcal {Q}}\), this implies that the two subbundles \({{\mathcal {O}}}_M(P+D_Q)\) and L coincide. Hence,
(see Lemma 4.1). Therefore, the decomposition \({\mathcal {Q}}\,=\,L\oplus {{\mathcal {M}}}\) in (4.18) produces a splitting of the short exact sequence in (4.14). But we know from Lemma 4.1 that the short exact sequence in (4.14) does not split. In view of the above contradiction, we conclude that \({\mathcal {Q}}\) admits a holomorphic connection. \(\square \)
As we have seen, E does not admit a holomorphic connection. On the other hand, consider the short exact sequence in (4.11). The trivial holomorphic line bundle \(F\,=\,{{\mathcal {O}}}_M\) admits the trivial holomorphic connection. The quotient bundle \({\mathcal {Q}}\) is flat by Proposition 4.2.
Therefore, the question in Sect. 3.1 has a negative answer.
5 Logarithmic connections on a Riemann surface
The multiplicative group \({{\mathbb {C}}}{\setminus }\{0\}\) will be denoted by \({{\mathbb {G}}}_m\). A torus is a product of copies of \({{\mathbb {G}}}_m\). Any two maximal tori in a complex algebraic group are conjugate [8, p. 158, Proposition 11.23(ii)].
By a homomorphism between algebraic groups or by a character we will always mean a holomorphic homomorphism or a holomorphic character.
Let M be a compact connected Riemann surface. Fix a finite subset
The reduced effective divisor \(x_1+\cdots + x_n\) will also be denoted by D. The subsheaf \(TM\otimes {{\mathcal {O}}}_M(-D)\) of TM will be denoted by \(TM(-D)\).
Let G be a complex Lie group.
be a holomorphic principal G-bundle over M. Consider the Atiyah exact sequence in (2.4). Now define
where \(d'f\) is the projection in (2.4). So from (2.4) we have the exact sequence of vector bundles on M
where \(\sigma \) is the restriction of \(d'f\) to \(\text {At}(E_G,\,D)\, \subset \, \text {At}(E_G)\). The exact sequence in (5.1) will be called the logarithmic Atiyah exact sequence for \(E_G\).
A logarithmic connection on \(E_G\) singular over D is a holomorphic homomorphism
such that \(\sigma \circ \theta \,=\, \text {Id}_{TM(-D)}\), where \(\sigma \) is the homomorphism in (5.1). Note that giving such a homomorphism \(\theta \) is equivalent to giving a homomorphism
such that \(\varpi \circ i_0\,=\, \text {Id}_{\text {ad}(E_H)}\), where \(i_0\) is the homomorphism in (5.1).
So, a holomorphic principal G-bundle admits a logarithmic connection singular over D if and only if the logarithmic Atiyah exact sequence in (5.1) splits holomorphically.
5.1 Residue of a logarithmic connection
Given a vector bundle W on M, the fiber of W over any point \(x\, \in \, M\) will be denoted by \(W_x\). For any \({{\mathcal {O}}}_M\)-linear homomorphism \(f\, :\, W\,\longrightarrow \, V\) of holomorphic vector bundles, its restriction \(W_x\, \longrightarrow \, V_x\) will be denoted by f(x).
From (2.4) and (5.1), we have the commutative diagram of homomorphisms
on M. So for any point \(x\, \in \, M\), we have
Note that \(\iota (x)\,=\, 0\) if \(x\, \in \, D\); therefore, in that case \(\mathrm {d}'f (x)\circ j(x)\,=\, 0\). Consequently, for every \(x\, \in \, D\) there is a homomorphism
uniquely defined by the identity \(i(x)\circ R_x(v)\,=\, j(x)(v)\) for all \(v\, \in \, \text {At}(E_G,\,D)_x\). Note that
where \(i_0\) is the homomorphism in (5.3). Therefore, from (5.1), we have
note that the composition of homomorphisms
is an isomorphism.
For any \(x\,\in \, D\), the fiber \(TM(-D)_x\) is identified with \({\mathbb {C}}\) using the Poincaré adjunction formula [12, p. 146]. Indeed, for any holomorphic coordinate z around x with \(z(x)\,=\, 0\), the image of \(z\frac{\partial }{\partial z}\) in \(TM(-D)_x\) is independent of the choice of the coordinate function z; the above-mentioned identification between \(TM(-D)_x\) and \({\mathbb {C}}\) sends this independent image to \(1\,\in \, {\mathbb {C}}\). Therefore, from (5.5), we have
for all \(x\, \in \, D\).
For a logarithmic connection \(\theta \, :\, TM(-D)\, \longrightarrow \, \text {At}(E_G,\, D)\) as in (5.2), and any \(x\, \in \, D\), define
where \(R_x\) is the homomorphism in (5.4); in the above definition 1 is considered as an element of \(TM(-D)_x\) using the identification of \({\mathbb {C}}\) with \(TM(-D)_x\) mentioned earlier.
The element \(\text {Res}(\theta ,\, x)\) in (5.7) is called the residue, at x, of the logarithmic connection \(\theta \).
Let S be a complex affine algebraic group and
a homomorphism. As before, \(E_G\) is a holomorphic principal G-bundle on M. Let
be the holomorphic principal S-bundle obtained by extending the structure group of \(E_G\) using \(\rho \). So \(E_S\) is the quotient of \(E_G\times S\) obtained by identifying \((y,\, m)\) and \((yh^{-1},\,\rho (h)m)\), where y, m and h run over \(E_G\), S and G, respectively. Therefore, we have a morphism
where \(\widetilde{(y,\, e_S)}\) is the equivalence class of \((y,\, e_S)\) with \(e_S\) being the identity element of S. The homomorphism of Lie algebras \(d\rho \,:\,{{\mathfrak {g}}}\, \longrightarrow \, {{\mathfrak {s}}}\, :=\, \text {Lie}(S)\) associated with \(\rho \) produces a homomorphism of vector bundles
The maps \({\widehat{\rho }}\) and \(d\rho \) together produce a homomorphism of vector bundles
This map \({\widetilde{A}}\) produces a homomorphism
which fits in the following commutative diagram of homomorphisms
where the top exact sequence is the one in (5.1) and the bottom one is the corresponding sequence for \(E_S\).
If \(\theta \, :\, TM(-D)\, \longrightarrow \, \text {At}(E_G,\, D)\) is a logarithmic connection on \(E_G\) as in (5.2), then
is a logarithmic connection on \(E_S\) singular over D. From the definition of residue in (5.7) it follows immediately that
for all \(x\, \in \, D\). This proves the following:
Lemma 5.1
With the above notation, if \(E_G\) admits a logarithmic connection \(\theta \) singular over D with residue \(w_x \,\in \, \mathrm{ad}(E_G)_x\) at each \(x \,\in \, D\), then \(E_S\) admits a logarithmic connection \(\theta '\, =\, A\circ \theta \) singular over D with residue \(\alpha (w_x)\) at each \(x \,\in \,D\).
Now we set \(G\,=\, \text {GL}(r, {{\mathbb {C}}})\).
Take a holomorphic vector bundle E on M. The group of all holomorphic automorphisms of E will be denoted by \(\text {Aut}(E)\). Let
be an endomorphism such that \(\phi (x)\circ T \,=\, T\circ \phi (x)\) for all \(\phi \, \in \, \text {Aut}(E)\).
Lemma 5.2
Let \(V\, \subset \, E\) be a holomorphic subbundle which is a holomorphic direct summand. Then \(T(V_x)\, \subset \, V_x\).
Proof
Take a holomorphic subbundle \(W\, \subset \, E\) such that \(E\,=\, V\bigoplus W\). For nonzero complex numbers \(a,\, b\), we have the automorphism \(A(a, b)\, \in \, \text {Aut}(E)\) which acts on V (respectively, W) as multiplication by a (respectively, b). Since T commutes with A(a, b)(x) for all \(a,\, b\, \in \, {{\mathbb {C}}}{\setminus }\{0\}\), it follows that \(T(V_x)\, \subset \, V_x\). \(\square \)
Take a holomorphic vector bundle E on M. Fix a finite subset
For each point \(x\, \in \, D\), fix
such that \(\phi (x)\circ T_x \,=\, T_x\circ \phi (x)\) for all \(\phi \, \in \, \text {Aut}(E)\).
The following theorem is proved in [4]:
Theorem 5.3
There is a logarithmic connection \(\theta \) on E singular over D such that
if and only if
Note that when \(D\, =\ 0\), then Theorem 5.3 reduces to the criterion of Atiyah and Weil mentioned in Sect. 3.
References
Atiyah, M.F.: On the Krull-Schmidt theorem with application to sheaves. Bull. Soc. Math. Fr. 84, 307–317 (1956)
Atiyah, M.F.: Complex analytic connections in fibre bundles. Trans. Am. Math. Soc. 85, 181–207 (1957)
Azad, H.; Biswas, I.: On holomorphic principal bundles over a compact Riemann surface admitting a flat connection. Math. Ann. 322, 333–346 (2002)
Biswas, I.; Dan, A.; Paul, A.: Criterion for logarithmic connections with prescribed residues. Manuscripta Math. 155, 77–88 (2018)
Biswas, I.; Dumitrescu, S.: Branched holomorphic Cartan geometries and Calabi-Yau manifolds. Int. Math. Res. Not. 7428–7458, 2019
Biswas, I.; Heu, V.: Non-flat extension of flat vector bundles, Int. J. Math. 26 (2015), no. 14, 1550114.
Biswas, I.; Subramanian, S.: Flat holomorphic connections on principal bundles over a projective manifold. Trans. Am. Math. Soc. 356, 3995–4018 (2004)
Borel, A.: Linear algebraic groups. Second edition, Graduate Texts in Mathematics, 126. Springer-Verlag, New York, 1991.
Druel, S.: A decomposition theorem for singular spaces with trivial canonical class of dimension at most five. Invent. Math. 211, 245–296 (2018)
Ehresmann, C.: Sur les espaces localement homogènes. L’Enseign. Math. 35, 317–333 (1936)
Fassarella, T.; Loray, F.: Flat parabolic vector bundles on elliptic curves. J. Reine Angew. Math. 761, 81–122 (2020)
Griffiths, P.; Harris, J.: Principles of algebraic geometry. Pure and Applied Mathematics. Wiley-Interscience, New York (1978)
Humphreys, J. E.: Linear algebraic groups. Graduate Texts in Mathematics, No. 21, Springer-Verlag, New York-Heidelberg, 1975
Jahnke, P.; Radloff, I.: Projective uniformization, extremal Chern classes and quaternionic Shimura curves. Math. Ann. 363, 753–776 (2015)
Kobayashi, S.; Nomizu, K.: Foundations of differential geometry. Vol I, Interscience Publishers, a division of John Wiley & Sons, New York-London, 1963
Simpson, C.T.: Higgs bundles and local systems. Inst. Hautes Études Sci. Publ. Math. 75, 5–95 (1992)
Weil, A.: Généralisation des fonctions abéliennes. J. Math. Pures Appl. 17, 47–87 (1938)
Acknowledgements
We thank the two referees for going through the paper carefully. The second-named author is partially supported by a J. C. Bose Fellowship.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Azad, H., Biswas, I. Holomorphic connections on holomorphic bundles on Riemann surfaces. Arab. J. Math. 10, 285–299 (2021). https://doi.org/10.1007/s40065-021-00319-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-021-00319-z