Strongly Projectively Flat Bundles

• Strongly projectively flat bundles are complex vector bundles whose curvature is proportional to the identity and split holomorphically as multiple copies of a line bundle.
• They play a crucial role in deformation theory, providing rigidity for holomorphic maps and establishing categorical equivalences with semi-stable Higgs bundles.
• Their applications extend to derived categories and twisted Riemann–Hilbert correspondences, informing modern complex geometry and higher-categorical structures.

A strongly projectively flat bundle is a geometric structure over a complex manifold exhibiting refined curvature properties: its curvature form is proportional to the identity with integer periods, and it splits holomorphically as multiple copies of a line bundle. This concept generalizes standard projectively flat bundles and links flatness conditions to categorical and representation-theoretic equivalences, especially in Kähler and twisted geometric contexts. Strongly projectively flat bundles play a critical role in the deformation theory of holomorphic maps, the equivalence of moduli spaces (notably semi-stable Higgs bundles), and curved Riemann–Hilbert correspondences.

1. Foundational Definitions

Let $M$ be a compact Kähler manifold with Kähler form $\omega_M$, and consider a holomorphic map

$f : M \longrightarrow G(r, \C^N)$

into the Grassmannian of $r$-planes in $\C^N$. The universal quotient bundle $Q \to G(r, \C^N)$ has rank $q=N-r$, and pulling back by $f$ yields a rank-$q$ holomorphic vector bundle $f^*Q \to M$ endowed with a Hermitian metric and Chern connection. The curvature criterion for projectively flatness is: $F_{\nabla_{f^*Q}} = \lambda \omega_M \otimes \Id_{f^*Q} \quad \text{for some } \lambda \in i\R.$ A bundle is projectively flat if its curvature fulfills this proportionality condition. The notion of strongly projectively flatness refines this: $f^*Q$ must split as

$f^*Q \cong L^{\oplus q}$

for a holomorphic Hermitian line bundle $L \to M$. Thus, the bundle’s curvature is not merely scalar but the bundle isomorphically decomposable as direct sums of copies of a single line bundle (Koga, 2015).

2. Structure and Rigidity Theorems

Strongly projectively flat maps form a rigid family under equivariant conditions. Consider $M = G/K$ a simply connected compact homogeneous Kähler manifold with isometry group $G$. A holomorphic, $G$-equivariant, full strongly projectively flat map

$f : M \to G(r, \C^N)$

must be congruent to the standard diagonal map defined by a unique homogeneous line bundle. Specifically,

$M \xrightarrow{(f_0,\dots,f_0)} (\CP^{N-1})^q \to G(r, \C^N)$

where $f_0$ is the Kodaira map from the global sections of $L$. No further nontrivial deformations are possible under these symmetries. This rigidity is proved by comparing endomorphism algebras via representation theory and confirming that all equivariant Hermitian endomorphisms must be scalar multiples of the identity (Koga, 2015).

3. Categorical Equivalences and Higgs Bundles

A central result is the categorical equivalence between semi-simple projectively flat bundles and poly-stable Higgs bundles with vanishing Chern numbers. Let $E \to X$ be a complex vector bundle of rank $r$ on a compact Kähler manifold $(X,\omega)$. The bundle $(E, D)$ is projectively flat if the connection $D$ satisfies

$i\,F_D = \alpha \otimes \Id_E, \quad [\alpha] = 2\pi c_1(E).$

Strongly projectively flat bundles are those admitting a Hermitian metric $H$ with vanishing non-scalar part of the curvature: $F_{D_H}^{1,1} - \frac{1}{r} \tr(F_{D_H}^{1,1}) \otimes \Id_E = 0.$ Pan–Zhang–Zhang establish an equivalence of categories between poly-stable Higgs bundles $(E, \overline{\partial}_E, \phi)$ with $\phi \wedge \phi = 0$ and special Chern vanishing, and semi-simple projectively flat bundles with suitable curvature (Pan et al., 2019). The functors between these categories respect Hermitian–Einstein metrics and Higgs field construction.

4. Derived and Higher-Categorical Generalizations

Recent work (Antweiler, 2024) extends the theory into the context of dg-categories and curved $\infty$-local systems. For a smooth manifold $M$ and a closed 2-form $\omega$, one considers the dg-category of Z-graded vector bundles with projectively flat connections: $F_\nabla = \omega \otimes \Id_{E^*}, \quad d\omega = 0.$ It is shown that:

• The dg-category of curved $\infty$-local systems,
• The dg-category of graded projectively flat bundles,
• The dg-category of curved representations of the loop-space dg-monoid,

are all $A_\infty$-quasi-equivalent. In the ungraded case, this recovers the classical correspondence between projectively flat bundles and projective representations of $\pi_1(M)$ with group 2-cocycle classes and associated vanishing results for certain cohomological obstructions. The dg-enhancements describe derived categories of twisted sheaves whose cohomology sheaves are locally constant and of finite dimension.

“Strongly projectively flat” in this setting requires the curvature form $\omega$ to have integral periods in $2\pi i H^2(X, \Z)$, ensuring the untwisting of local systems or gerbes on a suitable cover and finite-order monodromy in $PGL$ (Antweiler, 2024).

5. Characteristic Classes and Vanishing Theorems

A consequence of the strongly projectively flat curvature condition is the vanishing of real Kamber–Tondeur classes: $v_{2j+1}(E, D) = \left[(2\pi i)^{-j} \,\tr(\theta_H^{2j+1}) \right] \in H^{2j+1}_{dR}(X),$ with $\theta_H = \tfrac12(D-D^*)$ (Pan et al., 2019). The vanishing theorem holds universally for every $j \geq 1$ under strong projective flatness conditions. These cohomological constraints signal a rigidity in the topology and geometry of such bundles and their associated categories.

6. Examples, Classification, and Further Generalizations

• In rank one, strongly projectively flat bundles reduce to holomorphic line bundles with homogeneous curvature, recovering Calabi’s rigidity for isometric immersions.
• For higher rank, the structure is always

$f^*Q \cong L^{\oplus q}$

for a uniquely determined line bundle $L$, with all higher Chern classes factoring through those of $L$.

• The representation-theoretic decomposition $H^0(M, L^{\oplus q}) \cong H^0(M, L)^{\oplus q}$ is irreducible under group action, implying no finer splittings or decompositions in the homogeneous case (Koga, 2015).
• Non-Kähler analogues exist for complex manifolds with astheno-Kähler or Gauduchon metrics admitting a global $dd^c$-lemma, yielding families of projectively flat bundles and their Higgs counterparts (Pan et al., 2019).

7. Twisted Sheaves, Riemann–Hilbert Correspondence, and Global Gerbes

Strongly projectively flat bundles underpin twisted versions of the Riemann–Hilbert correspondence in both de Rham and Dolbeault settings. For a central closed 2-form $\omega$ with integral periods, the homotopy category of strongly projectively flat objects is equivalent to the bounded perfect derived category of twisted local systems or sheaves,

$$H^0(\P(M)^\infty[h]) \simeq D^B_{perf}(\mathbb R)^{\check h}$$

where $\check h \in \check H^2(X, \R^\times)$ lifts to $\omega$. In the holomorphic context, this recovers Block’s twisted Riemann–Hilbert theorem for possibly noncompact complex manifolds

$H^0((\Omega^{0,*}(X), h)-\Mod^{coh}) \simeq D^B_{\coh}(X)^{\check h}.$

This framework positions strongly projectively flat bundles as central to modern developments in homotopy-theoretic, representation-theoretic, and categorical geometry (Antweiler, 2024).

---

Strongly projectively flat bundles are characterized by a confluence of geometric, categorical, and representation-theoretic conditions determined by curvature, stability, and symmetry. Their rigidity, classification, and categorical correspondences underpin a broad swath of modern complex geometry and higher categorical topology.