Table of Contents
Fetching ...

Computing the Roots of Twisting Sheaves over the Projective Line arising from Monodromy Representations

Diego Yépez

TL;DR

The work analyzes how monodromy representations of the punctured projective line give rise to vector bundles with logarithmic connections on $\mathbb{P}^1$ and aims to determine their Birkhoff–Grothendieck decompositions into twisting sheaves, i.e., the roots. It develops an algebraic framework based on Ohtsuki's formula for the first Chern class and introduces a Serre-like derivative via an auxiliary connection, called the monodromy derivative, to handle irreducible representations and compute explicit root data. The main contributions provide explicit root decompositions for all finite-dimensional representations when $m=2$ and for representations with $\dim\rho<3$ when $m=3$, including a two-dimensional irreducible case that yields precise splitting patterns; the modular-group example demonstrates a concrete outcome with $c_1(\mathcal{V}_{Log(\rho)})=-2$ and $\mathcal{V}_{Log(\rho)}\cong \mathcal{O}(-1)^{\oplus 2}$. By connecting monodromy representations, parabolic-bundle perspectives, and explicit construction of the monodromy derivative, the paper provides concrete, computable decompositions of these logarithmic connection-induced bundles into twisting components, advancing the explicit understanding of roots in this geometric setting.

Abstract

Given a monodromy representation $ρ$ of the projective line minus $m$ points, one can extend the resulting vector bundle with connection map canonically to a vector bundle with logarithmic connection map over all of the projective line. Now, since vector bundles split as twisting sheaves over the projective line, the focus of this work regards knowing the exact decomposition; i.e. computing the roots. Particularly, we compute the roots for all finite-dimensional $ρ$ when $m = 2$ and for all $ρ$ of dimension less than $3$ when $m = 3$.

Computing the Roots of Twisting Sheaves over the Projective Line arising from Monodromy Representations

TL;DR

The work analyzes how monodromy representations of the punctured projective line give rise to vector bundles with logarithmic connections on and aims to determine their Birkhoff–Grothendieck decompositions into twisting sheaves, i.e., the roots. It develops an algebraic framework based on Ohtsuki's formula for the first Chern class and introduces a Serre-like derivative via an auxiliary connection, called the monodromy derivative, to handle irreducible representations and compute explicit root data. The main contributions provide explicit root decompositions for all finite-dimensional representations when and for representations with when , including a two-dimensional irreducible case that yields precise splitting patterns; the modular-group example demonstrates a concrete outcome with and . By connecting monodromy representations, parabolic-bundle perspectives, and explicit construction of the monodromy derivative, the paper provides concrete, computable decompositions of these logarithmic connection-induced bundles into twisting components, advancing the explicit understanding of roots in this geometric setting.

Abstract

Given a monodromy representation of the projective line minus points, one can extend the resulting vector bundle with connection map canonically to a vector bundle with logarithmic connection map over all of the projective line. Now, since vector bundles split as twisting sheaves over the projective line, the focus of this work regards knowing the exact decomposition; i.e. computing the roots. Particularly, we compute the roots for all finite-dimensional when and for all of dimension less than when .
Paper Structure (10 sections, 17 theorems, 59 equations)

This paper contains 10 sections, 17 theorems, 59 equations.

Key Result

Theorem A

Let $\rho: \mathbb{Z} \rightarrow \text{GL}_{n}(\mathbb{C})$ be an $n$-dimensional monodromy representation of $\textbf{Y}_{(0,\infty)}$ with $(\mathcal{V}_{Log(\rho)}, \nabla_{Log(\rho)})$ the associated extended logarithmic connection. Allow $\zeta = c_{1}(\mathcal{V}_{\text{Log}(\rho)})$.

Theorems & Definitions (36)

  • Theorem A: \ref{['RootGen']}
  • Theorem B: \ref{['NeedDer']}
  • Theorem C: \ref{['even-odd']}
  • Definition 2.1
  • Definition 2.2
  • Theorem 2.3
  • Lemma 2.4
  • Definition 2.5
  • Definition 2.6
  • Lemma 2.7
  • ...and 26 more