Automorphism group of a moduli space of framed bundles over a curve (Q2664075)

The authors compute the automorphism group of the moduli space of framed vector bundles on a smooth complex projective curve \(X\). A framed vector bundle is a pair \((E,\alpha)\), consisting of a vector bundle \(E\) of rank \(r\geq 2\) and a nonzero linear map \(\alpha: E_x\rightarrow \mathbb C^r\) from a fiber over a fixed point \(x\in X\) to \(\mathbb C^r\), where the map \(\alpha\) is called a framing. Using the GIT to construct the moduli space of framed vector bundles, the \(\tau\)-stability of a framed vector bundle is introduced by Huybrechts and Lehn, where \(\tau>0\) is a real number. For a given real number \(\tau>0\), a frame bundle \((E,\alpha)\) is \(\tau\)-stable (resp. \(\tau\)-semistable) if for all proper subbundles \(0\subsetneq F\subsetneq E\), \[ \frac{\mathrm{degree}(F)-\epsilon(F,\alpha)\tau}{\mathrm{rank}(F)}<\frac{\mathrm{degree}(E)-\tau}{\mathrm{rank}(E)}\quad(\text{resp. }\leq) \] where \[ \epsilon(F,\alpha)=\begin{cases} 1&\text{if \(F_x\nsubseteq\mathrm{Ker}(\alpha)\)}\\ 0&\text{if \(F_x\subseteq\mathrm{Ker}(\alpha)\)}. \end{cases} \] Fix a line bundle \(\xi\) on \(X\). Let \(\mathcal F=\mathcal F(X,x,r,\xi,\tau)\) be the moduli space of \(\tau\)-semistable framed vector bundles \((E,\alpha)\) on \(X\) with rank \(r\geq 2\) and \(\mathrm{det}(E)\cong\xi\). In fact, it is a complex projective varieties. The stability parameter \(\tau\) is called generic if there do not exist strictly \(\tau\)-semistable framed vector bundles in \(\mathcal F\). If \(\tau\) is generic, the moduli space \(\mathcal F\) is smooth. There is a natural \(\mathrm{PGL}_r(\mathbb C)\)-action on a moduli space of framed vector bundles of rank \(r\). For \([G]\in \mathrm{PGL}_r(\mathbb C)\) with \(G\in \mathrm{GL}_r(\mathbb C)\), the action of \([G]\) on a frame vector bundle \((E,\alpha)\) is described by: \[ [G]\cdot(E,\alpha)=(E, G\circ\alpha). \] The main result of this paper is: For \(\tau\) and \(\tau^\prime\) are generic, if there is an isomorphism \(\Psi: \mathcal F(X,x,r,\xi,\tau)\rightarrow\mathcal F(X^\prime,x^\prime,r^\prime,\xi^\prime,\tau^\prime)\), where the genera of \(X\) and \(X^\prime\) satisfy \(g\geq\max\{2+\tau,4\}\) and \(g^\prime\geq\max\{2+\tau^\prime,4\}\), respectively. Then, \(r=r^\prime\) and there exists an isomorphism \(\sigma: X^\prime\rightarrow X\) such that \(\sigma(x^\prime)=x\), and the isomorphism \(\Psi\) is a combination of the following three types of transformations: \begin{enumerate} \item pullback with respect to the isomorphism \(\sigma\); \item tensorization with a line bundle \(L\) on \(X\); \item the natural action of \(PGL_r\), \end{enumerate} where \(\sigma\) and \(L\) satisfy the relation \(\sigma^*(\xi\otimes L^{\otimes r})\cong\xi^\prime\).