On the direct images of parabolic vector bundles and parabolic connections (Q1757072)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the direct images of parabolic vector bundles and parabolic connections |
scientific article |
Statements
On the direct images of parabolic vector bundles and parabolic connections (English)
0 references
28 December 2018
0 references
Let \(E\) be a vector bundle over a smooth curve \(X\). In [\textit{I. Biswas} et al., Beitr. Algebra Geom. 60, No. 1, 137--156 (2019; Zbl 1420.14036)], it is shown that realisations of \(E\) as a direct image under an étale map are in bijection with torus subgroup-schemes of the bundle \(\mathrm{Ad} (E)\) of invertible endomorphisms of \(E\). In the present paper, the authors generalise this result to the parabolic setting. We quote the main results of the paper: {Theorem 6.3.} Let \(E_*\) be a parabolic vector bundle on a connected smooth complex projective curve \(X\) with parabolic divisor \(S\) and rational parabolic weights. Then there is a natural equivalence between the following two classes: {\parindent=6mm \begin{itemize}\item[(1)] Triples \(( Y, \varphi, V_* )\), where \(\varphi : Y \to X\) is a ramified covering map [\(Y\) not necessarily being connected], and \(V_*\) is a parabolic vector bundle on \(Y\), such that \(\varphi_* V_* = E_*\). \item[(2)] Ramified torus bundles for \(E_*\). \end{itemize}} [A \textit{ramified torus subbundle for \(E_*\)} is a torus subbundle of \(\mathrm{Ad} (E)\) satisfying certain conditions at the points of the parabolic divisor of \(E_*\).] {Theorem 6.6.} The equivalence in Theorem 6.3 takes a connection on the parabolic vector bundle \(V_*\) on \(Y\) to a connection on \(E_*\) that preserves the ramified torus sub-bundle for \(E_*\) corresponding to \((Y, \varphi, V_*)\). Conversely, a connection on \(E_*\) preserving a ramified torus sub-bundle \({\mathcal T}\) for \(E_*\) is taken to a connection on the parabolic vector bundle \(V_*\) on \(Y\), where \((Y, \varphi, V_* )\) corresponds to \({\mathcal T}\).
0 references
parabolic bundle
0 references
parabolic connection
0 references
ramified torus bundle
0 references
parabolic direct image
0 references