Table of Contents
Fetching ...

Lie algebroid connection and Harder-Narasimhan reduction

Ashima Bansal, Indranil Biswas, Pradip Kumar

TL;DR

This work proves that a holomorphic reduction $E_P$ of a principal $G$-bundle to a parabolic subgroup admits a holomorphic Lie algebroid connection for a given holomorphic Lie algebroid $(V,\phi)$ on a compact Riemann surface provided the anchor is not surjective and the reduction is infinitesimally rigid, i.e. $H^0(X,\mathrm{ad}(E_G)/\mathrm{ad}(E_P))=0$. The central mechanism is a splitting argument for an exact sequence associated with the Lie algebroid connection, leveraging the Levi quotient and the vanishing of the obstruction class via Serre duality. As a corollary, when $E_P$ is the Harder--Narasimhan reduction, one obtains a logarithmic connection nonsingular on $X\setminus\{x_0\}$ for any $x_0$, and more generally, a filtration-preserving connection for the Harder--Narasimhan filtration of a vector bundle. The results also show that unstable reductions cannot admit a holomorphic connection, and they extend to yield logarithmic and Lie algebroid connections that preserve filtrations in the corresponding vector bundle setting.

Abstract

Take a holomorphic Lie algebroid $(V,\, φ)$ on a compact connected Riemann surface $X$ such that the anchor map $φ$ is not surjective. Let $P$ be a parabolic subgroup of a complex reductive affine algebraic group $G$ and $E_P\, \subset\, E_G$ a holomorphic reduction of structure group, to $P$, of a holomorphic principal $G$--bundle $E_G$ on $X$. We prove that $E_P$ admits a holomorphic Lie algebroid connection for $(V,\,φ)$ if the reduction $E_P$ is infinitesimally rigid. If $E_P$ is the Harder--Narasimhan reduction of $E_G$, then it is shown that $E_P$ admits a holomorphic Lie algebroid connection for $(V,\,φ)$. In particular, for any point $x_0\,\in\, X$, the Harder--Narasimhan reduction $E_P$ admits a logarithmic connection that is nonsingular on the complement $X\setminus\{x_0\}$.

Lie algebroid connection and Harder-Narasimhan reduction

TL;DR

This work proves that a holomorphic reduction of a principal -bundle to a parabolic subgroup admits a holomorphic Lie algebroid connection for a given holomorphic Lie algebroid on a compact Riemann surface provided the anchor is not surjective and the reduction is infinitesimally rigid, i.e. . The central mechanism is a splitting argument for an exact sequence associated with the Lie algebroid connection, leveraging the Levi quotient and the vanishing of the obstruction class via Serre duality. As a corollary, when is the Harder--Narasimhan reduction, one obtains a logarithmic connection nonsingular on for any , and more generally, a filtration-preserving connection for the Harder--Narasimhan filtration of a vector bundle. The results also show that unstable reductions cannot admit a holomorphic connection, and they extend to yield logarithmic and Lie algebroid connections that preserve filtrations in the corresponding vector bundle setting.

Abstract

Take a holomorphic Lie algebroid on a compact connected Riemann surface such that the anchor map is not surjective. Let be a parabolic subgroup of a complex reductive affine algebraic group and a holomorphic reduction of structure group, to , of a holomorphic principal --bundle on . We prove that admits a holomorphic Lie algebroid connection for if the reduction is infinitesimally rigid. If is the Harder--Narasimhan reduction of , then it is shown that admits a holomorphic Lie algebroid connection for . In particular, for any point , the Harder--Narasimhan reduction admits a logarithmic connection that is nonsingular on the complement .
Paper Structure (6 sections, 10 theorems, 49 equations)

This paper contains 6 sections, 10 theorems, 49 equations.

Key Result

Theorem 1.1

Let $(V,\, \phi)$ be a holomorphic Lie algebroid over $X$ satisfying the condition that the anchor map $\phi$ is not surjective. Let $E_P\, \subset\, E_G$ be a holomorphic reduction of structure group which is infinitesimally rigid. Then the holomorphic principal $P$--bundle $E_P$ admits a holomorph

Theorems & Definitions (22)

  • Theorem 1.1
  • Corollary 1.2
  • Corollary 1.3
  • Definition 2.1
  • Lemma 2.2
  • proof
  • Definition 3.1
  • Remark 3.2
  • Example 3.3
  • Lemma 3.4
  • ...and 12 more