Moduli spaces of vector bundles on a curve and opers

Indranil Biswas,Jacques Hurtubise,Vladimir Roubtsov
2023-03-17
Abstract:Let $X$ be a compact connected Riemann surface of genus $g$, with $g\, \geq\,2$, and let $\xi$ be a holomorphic line bundle on $X$ with $\xi^{\otimes 2}\,=\, {\mathcal O}_X$. Fix a theta characteristic $\mathbb L$ on $X$. Let ${\mathcal M}_X(r,\xi)$ be the moduli space of stable vector bundles $E$ on $X$ of rank $r$ such that $\bigwedge^r E\,=\, \xi$ and $H^0(X,\, E\otimes{\mathbb L})\,=\, 0$. Consider the quotient of ${\mathcal M}_X(r,\xi)$ by the involution given by $E\, \longmapsto\, E^*$. We construct an algebraic morphism from this quotient to the moduli space of ${\rm SL}(r,{\mathbb C})$ opers on $X$. Since $\dim {\mathcal M}_X(r,\xi)$ coincides with the dimension of the moduli space of ${\rm SL}(r,{\mathbb C})$ opers, it is natural to ask about the injectivity and surjectivity of this map.
Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a mapping between the space of stable vector bundles and the space of a specific type of opers within a given mathematical framework, and to study the properties of this mapping, especially its injectivity and surjectivity. Specifically: 1. **Background and Motivation**: - The paper considers the moduli space \(M_X(r)\) of stable vector bundles \(E\) of rank \(r\) and degree zero on a compact connected Riemann surface \(X\), given a genus \(g\) (\(g\geq2\)) and a fixed theta - characteristic \(L\). - The author focuses on a subset \(M_X(r,\xi)\) of these stable vector bundles, where \(\xi\) is a holomorphic line bundle such that \(\xi^{\otimes2}=\mathcal{O}_X\) and \(\bigwedge^r E = \xi\). - Further, consider the quotient space \(M_X(r,\xi)/I\) of \(M_X(r,\xi)\) under the involution \(E\mapsto E^*\). 2. **Main Problem**: - Construct an algebraic homomorphism mapping from \(M_X(r,\xi)/I\) to the moduli space \(\text{Op}_X(r)\) of \(SL(r,\mathbb{C})\) opers. - Study the properties of this mapping, especially whether it is injective or surjective. 3. **Specific Goals**: - By constructing a specific mapping \(\Psi:M_X(r,\xi)/I\to\text{Op}_X(r)\), explore to what extent this mapping is close to being injective or surjective when \(n = r\). - Since \(\dim M_X(r,\xi)/I=(r^2 - 1)(g - 1)=\dim\text{Op}_X(r)\), this problem naturally raises the exploration of the injectivity and surjectivity of the mapping \(\Psi\). 4. **Key Questions**: - **Injectivity**: Does the mapping \(\Psi\) map different vector bundles to different opers? - **Surjectivity**: Can the mapping \(\Psi\) cover all \(SL(r,\mathbb{C})\) opers? 5. **Methods and Techniques**: - Use the stable conditions on vector bundles and the properties of theta - characteristics to construct a special section \(A_E\). - Use this section to construct an \(SL(r,\mathbb{C})\) oper. - Analyze the properties of the mapping \(\Psi\) by studying the properties of these opers, especially their traces and signs. In summary, the main purpose of this paper is to explore the injectivity and surjectivity of the mappings from stable vector bundles to opers by constructing and analyzing these mappings, thereby providing new insights into the relationships between these mathematical objects.