Suppose that we have a complex manifold $X$, and a line bundle $L$ over $X$. It is known that the line bundles over $X$ are parametrized by their Chern class, the Chern class being the cohomology class of the curvature of a connection on $L$, which must be integral. Thus $L$ admits a connection with curvature $\omega$ iff $[\omega]$ is an integral cohomology class.
My question is this: what if we are interested instead in complex connections on $L$ (connections that are $\mathbb{C}$-linear instead of $\mathbb{R}$-linear)? Given a complex (2,0)-form $\omega$ on $X$, under what circumstances will $L$ admit a complex connection with curvature $\omega$?
Complex Manifolds – Line Bundles with Complex Connection
complex-manifoldsconnectionsdg.differential-geometryline-bundles
Related Solutions
At least when $M$ is compact, which I assume here, the standard reference for this subject is probably the book
- Algebraic Geometry, Griffiths & Harris
but the following books are excellent references as well :
- Differential analysis on complex manifolds, Wells
- Complex Analytic and Differential Geometry, Demailly
- Hodge Theory and Complex Algebraic Geometry, Voisin
A proof could run as follows:
- Hodge's theorem implies that there exists a complex line bundle $L$ on $M$ with first Chern class $c_1(L)=\omega$;
- Endow $L$ with an hermitian metric $(L,\|\cdot\|_0)$; its curvature form $c_1(L,\|\cdot\|_0)$ is a $(1,1)$-form cohomologous to $\omega$. By the $dd^c$-lemma, there exists a function $\phi$ such that $\omega= c_1(L,\|\cdot\|_0)+dd^c\phi$; then $\|\cdot\|=e^{-\phi}\|\cdot\|_0$ is a hermitian metric on $L$ with curvature form equal to $\omega$.
For an explicit construction of $L$: the standard proof of Hodge's theorem is cohomological, and uses a long exact sequence in cohomology. Tracing down the arguments gives an actual construction if one is given an open covering of $M$ by contractible open sets.
The arguments really require that $\omega$ be integral. A generic complex torus of dimension $>1$ carries no complex line bundle, but has many Kähler forms.
In the affine algebraic case there is always an algebraic connection: Let $A$ be a commutative unital ring and let $E$ be a finite rank projective $A$-module. There is the Atiyah sequence
$$ 0 \rightarrow \Omega^1_A \otimes E \rightarrow J^1(E) \rightarrow^{\pi} E \rightarrow 0$$
and since $E$ is projective and $\pi$ surjective, it follows $\pi$ has an $A$-linear split $s: E \rightarrow J^1(E)$.The splitting $s$ corresponds to a connection
$$\nabla: E \rightarrow \Omega^1_A \otimes E$$
and $\nabla$ is "seldom" a flat algebraic connection. There is an explicit formula for the curvature $R_{\nabla}$ of a connection/covariant derivative $\nabla$: Let
$$p: A^n \rightarrow E$$
be a surjection and let $u_1,..,u_n$ be a basis for $F:=A^n$ as $A$-module. Let $s$ be an $A$-linear splitting of $p$
Let $\phi:=s \circ p: F \rightarrow F$ be the idempotent of $E$ corresponding to $p,s$ and let $\phi:=(a_{ij})$ with $a_{ij}\in A$ be the matrix of $\phi$ in the basis $u_i$. Define for any pair $z,x\in \operatorname{Der}(A)$ the matrix
$$L1.\text{ }M:= [(z(a_{ij})), (x(a_{ij}))] \in A^{n \times n}\cong \operatorname{End}_A(F).$$
You may prove that $M $ induce a map $M^*\in \operatorname{End}_A(E)$ and the following formula holds:
Theorem 1: $R_{\nabla}(z,x):= M^* \in \operatorname{End}_A(E)$.
From formula L1 it follows $\nabla$ is seldom a flat connection. Hence in the affine situation it is easy to give explicit examples of non-flat algebraic connections: You must calculate a splitting $s$ of $p$ and the idempotent element $\phi$.
In the projective case it follows $E$ may not have a connection - there is always a cohomology class $a(E)$ which is zero iff $E$ has a connection. If $X$ is a complex projective algebraic manifold, there is a correspondence between flat connections on finite rank vector bundles on $X$ and finite dimensional complex representations of the topological fundamental group $\pi(X)$ of $X$. Given a flat algebraic connection $(E,\nabla)$ on $X$ it follows $E^{\nabla}$ is a local system of finite dimensional complex vector spaces on $X$, and to $E^{\nabla}$ you get a finite dimensional complex representation
$$\rho: \pi(X) \rightarrow GL(V).$$
This correspondence (the "Riemann-Hilbert correspondence") is an "equivalence of categories" in an appropriate sense (this is "vague"). Hence you consider the category of pairs $(E,\nabla)$ where $E$ is a finite rank vector bundle on $X$ with a flat connection $\nabla$, and "maps of connections". You also consider the category of finite dimensional complex representations of $\pi(X)$ and maps of representations. Hence there is "as many" flat connections as representations of the topological fundamental group. This is a well developed theory (originating in some papers of Weil I believe, many people have contributed to this study) from the 40s and 50s. In the below mentioned book you will find this further developed in the framework of "holonomic D-modules" - this is a well developed theory. The book also gives many references.
In the affine situation there is always a space
$$C:=\operatorname{Hom}_A(\operatorname{Der}(A), \operatorname{End}_A(E))$$
of connections, and if $\Omega^1_A$ is a finite rank projective $A$-module you get
$$ C\cong \Omega^1_A \otimes \operatorname{End}_A(E),$$
hence the "parameter-space of connections" is a finite rank vector bundle on $A$. Hence given a connection $\nabla$ with curvature given by Theorem 1, you may add a potential $\phi \in C$ to get a new connection $\overline{\nabla}:=\nabla + \phi$. Hence if you want to study the problem if $E$ has a flat algebraic connection you must study the "moduli space" $C$. Similar for $X$ - this again is a well devleoped theory - "moduli spaces of connections". If you consider the "set of potentials" $\phi \in C$ with the property that the curvature is zero
$$L2.\text{ }R_{\overline{\nabla}}=0$$
you get a subvariety $M^{fl}(E) \subseteq \mathbb{V}(C^*)$ parametrizing flat connections on $E$, and in high dimension and low rank, the system of equations defining $M^{fl}(E)$ will be "overdetermined". Hence it is not clear if $E$ has a flat algebraic connection in general. Hence in the affine algebraic situation there is always a connection which is non-flat in general by formula L1, and it is an open problem to determine if $E$ has a flat algebraic connection. You must study the subvariety you get from equation L2.
Example: If you let $n:=dim(A)\geq 10$ and $rk(E)=2$ you get an overdetermined system of equations defining $M^{fl}(E)$, hence in this case you may get an empty moduli space
$$M^{fl}(E)=\emptyset.$$
For such $E$ you always have a non-flat connection from equation L1 and Theorem 1. The system defining $M^{fl}(E)$ has $\binom{n}{2}$ equations and $rk(\Omega^1\otimes \operatorname{End}(E))=4n$. For $n>>0$ it follows this system does not "have a solution".
Question: "What about (1) ⟹ (2) and (3) ⟹ (4)?"
Answer: I believe it is an old conjecture that if $E$ has an algebraic/holomorphic connection, then $E$ has a flat algebraic /holomorphic connection, but I do not have a precise reference (maybe the paper of Atiyah from 1956 in TrAMS).
You'll find this statement
Citation: "Non-flat algebraic connections for bundles on complex projective manifolds are virtually non-existent (we know of none)"
in the introduction of
- Spencer Bloch, Hélène Esnault, Algebraic Chern Simons Theory, American Journal of Mathematics, 119 Number 4 (1997) pp. 903–952, doi:10.1353/ajm.1997.0021, arXiv:alg-geom/9602001.
Note 1: In Borel's book page 226 you find the following construction: If $X \subseteq \mathbb{P}^n_{\mathbb{C}}$ is a smooth quasi projective algebraic variety and if $\omega^1_X$ is the canonical bundle of $X$, it follows the Lie derivative induce a right $D_X$-module structure on $\omega^1_X$. This does not imply there is a flat algebraic connection
$$\nabla: \omega^1_X \rightarrow \Omega^1_{X}\otimes \omega^1_X.$$
Since $D_X$ is a sheaf of non-commutative rings, there is no obvious relation between left $D_X$-modules and right $D_X$-modules. From a right $D_X$-module $E$ we get a left $D_X$-module $\omega^{-1}_X \otimes E$ and to the canonical bundle $\omega^1_X$ we get the trivial bundle $\mathcal{O}_X$. To a left $D_X$-module we get canonically a flat connection.
Note 2: If $X$ is a complex projective manifold and $E$ is an indecomposable finite rank vector bundle on $X$, it follows $\Gamma(X,\operatorname{End}(E))$ is a finite dimensional algebra over $\mathbb{C}$.
Borel, A. Algebraic D-modules. Perspectives in Mathematics, Vol. 2, Boston etc.: Academic Press, Inc., Harcourt Brace Jovanovich, Publishers. xii, 355 p.; $ 29.95; £25.00 (1987).
Note 3: There is the following general result: If $(L,a)$ is a Lie-Rinehart algebra and $(E,\nabla)$ is a connection, there is a non-abelian extension (the non-abelian Atiyah extension)
$$N1.\text{ } 0 \rightarrow \operatorname{End}_A(E) \rightarrow L(E,\nabla) \rightarrow L \rightarrow 0 $$
of Lie-Rinehart algebras which splits iff $E$ has a flat connection. There is a "cohomology set" $\operatorname{Ext}^1(L,(E,\nabla))$ classifying such non-abelian extensions. By definition
$$L(E,\nabla):=\operatorname{End}_A(E)\oplus L$$
with the following Lie product:
$$[(\phi,x),(\psi,y)]:=([\nabla(x),\psi]-[\nabla(y), \phi]+R_{\nabla}(x,y),[x,y])$$
for all $\phi, \psi\in \operatorname{End}_A(E)$ and $x,y\in L$. You must check that the sequence $N1$ splits iff there is an $A$-linear map $P: L \rightarrow \operatorname{End}_A(E)$ such that $\overline{\nabla}:=\nabla+P$ is a flat connection. A similar construction exists globally.
Hence given a holomorphic vector bundle $E$ on a complex projective manifold $X$, there are two obstructions: The Atiyah class $a(E)$ which is zero iff $E$ has a holomorphic (or algebraic) connection. The extension class $n(E)$ given by sequence $N1$ is zero iff $E$ has a flat holomorphic connection. The sequence $N1$ exists whenever $E$ has a holomorphic (or algebraic) connection.
Example: If $\mathbb{P}^n_k$ is complex projective space and if $\mathcal{O}(d)$ is the invertible sheaf with $d \geq 1$, it follows the Atiyah sequence
$$0 \rightarrow \Omega^1 \otimes \mathcal{O}(d) \rightarrow J^1(\mathcal{O}(d)) \rightarrow \mathcal{O}(d) \rightarrow 0$$
does not split, hence $\mathcal{O}(d)$ does not have a holomorphic (or algebraic) connection.
Any finite rank projective $A$-module $E$ with a non-zero class in $\operatorname{H}^2_{DR}(A)$ will have an algebraic connection and no flat algebraic connection. Hence the Atiyah sequence splits, but the sequence $N1$ does not split. I belive there is an explicit example in Loday's book "Cyclic Homology".
Best Answer
If I understood this right, the answer to your original question is somewhat trivial. You may check that if a complex connection $\nabla$ on $L$ has curvature $\omega$, then the cohomologous $2$-form $\omega+d\alpha$ is the curvature of the connection $\nabla+\alpha$. Hence any closed $2$-form representing integral class can be the curvature form of a complex connection on a line bundle (which just means a $C^\infty$ vector bundle, not holomorphic one).
However, there is a version of your question which admits a non-trivial answer.
If you take $L$ to be a holomorphic line bundle and endow it with a Hermitian metric then there is an unique Hermitian $(1,0)$-connection called the Chern connection, its curvature form $\omega$ is a real-valued (1,1)-form (real-valued means that $\omega=\bar{\omega}$) representing an integral class.
A non-trivial result is that the converse is also true when $X$ is compact Kähler, i.e., any real-valued (1,1)-form representing an integral class is the curvature form of the Chern connection on a Hermitian holomorphic line bundle. This is a consequence of the $\partial\bar\partial$-lemma and the Lefschetz theorem on $(1,1)$-classes.