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
    0 references
    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

    Identifiers