On some natural torsors over moduli spaces of parabolic bundles (Q6162843)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7701655
Language Label Description Also known as
default for all languages
No label defined
    English
    On some natural torsors over moduli spaces of parabolic bundles
    scientific article; zbMATH DE number 7701655

      Statements

      On some natural torsors over moduli spaces of parabolic bundles (English)
      0 references
      0 references
      26 June 2023
      0 references
      The article under review deals with isomorphism between two natural torsors over moduli spaces of stable parabolic bundles. Let \(X\) be a compact connected Riemann surface and \(S\) a finite subset. For a rank \(r\) vector bundle we fix parabolic data on \(S\) such that the total parabolic weight for entire \(S\) is an integer. Let \(\mathcal{N}_P(r)\) denote the moduli space of stable parabolic bundles of rank \(r\) and parabolic degree zero with parabolic structure of the given type over the points of \(S\). Given any stable parabolic bundle \(E_{\ast} \in \mathcal{N}_P(r)\) there is a unique parabolic connection on \(E_{\ast}\) such that the corresponding monodromy homomorphism \(\pi_1 (X \setminus S, x_0 ) \to GL_r(\mathbb{C})\) has its image contained in \(U(r)\) (due to Mehta and Seshadri). The construction of this unitary connection is not algebro-geometric/complex-analytic. Let \(\mathcal{N}C_P(r)\) be the moduli space of pairs of the form \((E_{\ast}, D_E )\), where \(E_{\ast} \in \mathcal{N}_P(r)\) and \(D_E\) is a parabolic connection on \(E_{\ast}\). The projection map defined by \((E_{\ast}, D_E) \mapsto E_{\ast}\) makes \(\mathcal{N}C_P(r)\) a holomorphic torsor over \(\mathcal{N}_P(r)\) for \(T^{\ast}\mathcal{N}_P(r)\). Assigning to every \(E_{\ast} \in \mathcal{N}_P(r)\) the unique parabolic connection \(D_E\) on \(E_{\ast}\) with unitary monodromy, we obtain a section \(\tau_{U P} : \mathcal{N}_P(r) \to \mathcal{N}C_{P}(r)\). This section \( \tau_{U P}\) is not holomorphic. Let \(\Theta\) be the theta line bundle on \(\mathcal{N}_P(r)\) and let \(\mathcal{U}_P \to \mathcal{N}_P(r)\) be the algebraic fiber bundle defined by the sheaf of holomorphic connections on \(\Theta\). This \(\mathcal{U}_P\) is a holomorphic torsor over \(\mathcal{N}_P(r)\) for \(T^{\ast}\mathcal{N}_P(r)\). We have a Hermitian structure on the line bundle \(\Theta\) due to a construction of Quillen. The corresponding Chern connection on \(\Theta\) defines a \(C^{\infty}\) section \(\tau_{QP} : \mathcal{N}_P(r) \to \mathcal{U}_P\). This section \(\tau_{QP}\) is not holomorphic. The main result of the article is that there is a natural holomorphic isomorphism between the two \(T^{\ast}\mathcal{N}_P(r)\)-torsors \(\mathcal{N}C_{P}(r)\) and \(\mathcal{U}_P\) that takes the section \(\tau_{U P}\) to the section \(\tau_{QP}\). It is deduced that this isomorphism is in fact algebraic. This result is a parabolic analog of results for vector bundles (see [\textit{I. Biswas} and \textit{J. Hurtubise}, Adv. Math. 389, Article ID 107918, 29 p. (2021; Zbl 1472.14038)]).
      0 references
      parabolic bundle
      0 references
      moduli space
      0 references
      theta bundle
      0 references
      connections
      0 references
      Quillen connection
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers