Connections on parahoric torsors over curves (Q1681121): Difference between revisions

Let \(X\) be a smooth projective curve over the complex numbers \(\mathbb{C}\). The authors study parahoric torsors \((\mathcal{E},\Theta) \) with respect to Bruhat--Tits group schemes \(\mathcal{G}=\mathcal{G}_{\Omega,X}\) over \(X\), with a fixed set of closed points \(D=\{x_1,\ldots,x_m\}\). This is a vast generalization of vector bundles with parabolic structures, where the \(x_j\in D\) play the role of parabolic points. In this setting, \(\mathcal{G}=\mathcal{G}_\Omega\) is a certain affine flat group scheme over \(X\) of finite type. Its restriction to the open set \(X\smallsetminus D\) comes from a simple and simply connected linear algebraic group \(G\). For the latter, one has fixed a maximal torus \(T\subset G\). On the spectra \(D_j=\text{Spec}(\mathcal{O}_{X,x_j}^\wedge)\), the group scheme \(\mathcal{G}\) restricts to some \(\mathcal{G}_{\Omega_j}\) over the complete discrete valuation ring \(A=\mathbb{C}[[t]]\simeq \mathcal{O}_{X,x_j}^\wedge\), which is defined in terms of a parahoric subgroup \(\mathscr{P}_{\Omega_j}\subset G(K)\), \(K=\text{Frac}(A)=\mathbb{C}((t))\) and depends on some facet \(\Omega_j\) of the standard affine apartment \(\mathcal{A}_T\), identified with the real vector space \(Y(T)\otimes_{\mathbb{Z}}\mathbb{R}\) of one-parameter subgroups \(\mathbb{G}_m\rightarrow T\). Moreover, the \(\Theta=\{\theta_1,\ldots,\theta_m\}\) consists of elements \(\theta_i\in Y(T)\otimes\mathbb{R}\) in the interior of the facets \(\Omega_i\). These play the role of weights. The authors develop various notations of stability as well as connections for such parahoric torsors. The main result is a generalization of the Theorem of \textit{M. S. Narasimhan} and \textit{C. S. Seshadri} [Ann. Math. (2) 82, 540--567 (1965; Zbl 0171.04803)]. Namely, for every set of \(\theta=\{\theta_1,\ldots,\theta_m\}\) of real weights \(\theta_i\in Y(T)\otimes\mathbb{R}\), a parahoric \(\mathcal{G}_{\theta,X}\)-torsor \((\mathcal{E},\theta)\) is polystable if and only if comes from a representation of the fundamental group \( \pi_1(X\smallsetminus D)\) into the maximal compact subgroup \(K_G\subset G\).