2023/10/25 by Indranil Biswas, Sorin Dumitrescu, Biswas, Indranil +7
Mathematics · #Algebraic Geometry and Number Theory #Complex Variables (math.CV) #Differential Geometry (math.DG) #FOS: Mathematics #Geometry and complex manifolds #Homotopy and Cohomology in Algebraic Topology
paper · doi:10.48550/arxiv.2310.16330
openalex publication_date 2023/10/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
First we survey and explain the strategy of some recent results that construct holomorphic sl(2, \mathbb C)-differential systems over some Riemann surfaces Σg of genus g≥ 2, satisfying the condition that the image of the associated monodromy homomorphism is (real) Fuchsian \citeBDHH or some cocompact Kleinian subgroup Γ⊂ SL(2, \mathbb C) as in \citeBDHH2. As a consequence, there exist holomorphic maps from Σg to the quotient space SL(2, \mathbb C)/ Γ, where Γ⊂ SL(2, \mathbb C) is a cocompact lattice, that do not factor through any elliptic curve \citeBDHH2. This answers positively a question of Ghys in \citeGh; the question was also raised by Huckleberry and Winkelmann in \citeHW. Then we prove that when M is a Riemann surface, a Torelli type theorem holds for the affine group scheme over \mathbb C obtained from the category of holomorphic connections on \it étale trivial holomorphic bundles. After that, we explain how to compute in a simple way the holonomy of a holomorphic connection on a free vector bundle. Finally, for a compact Kähler manifold M, we investigate the neutral Tannakian category given by the holomorphic connections on étale trivial holomorphic bundles over M. If \varpi (respectively, Θ) stands for the affine group scheme over \mathbb C obtained from the category of connections (respectively, connections on free (trivial) vector bundles), then the natural inclusion produces a morphism v:\mathcal O(Θ)\longrightarrow \mathcal O(\varpi) of Hopf algebras. We present a description of the transpose of v in terms of the iterated integrals.