Strange duality and the Hitchin/WZW connection (Q841580): Difference between revisions

For \(X\) a smooth projective curve of genus \(g\geq 2\) over \(\mathbb C\) let \(SU_X(r)\) be the moduli space of semi-stable vector bundles of rank \(r\) (\(r\not =2\) if \(g=2\)) with trivial determinant. Let \(\mathcal L\) be the line bundle on \(SU_X(r)\) associated to the theta Cartier divisor \(\Theta _L=\{ E\in SU_X(r), h^0(E\otimes L)\geq 1\}\), for a line bundle \(L\) of degree \(g-1\) on \(X\); \(\mathcal L\) does not depend upon \(L\). By [\textit{J. M. Drezet} and \textit{M. S. Narasimhan}, Invent. Math. 97, No.1, 53-94 (1989; Zbl 0689.14012)], \(\mathcal L\) generates \(\text{Pic}(SU_X(r))\). Let \(U^\ast _X(k)\) be the moduli space of semistable rank \(k\) and degree \(k(g-1)\) bundles on \(X\). If \(\Theta _k:=\{ F \in U^\ast _X(k), h^0(X,F)\not =0\}\) is the canonical nonzero theta divisor, define \({\mathcal M}:={\mathcal O}(\Theta _k)\). There is a well defined map (up to scalars): \(SD:H^0(SU_X(r),{\mathcal L}^k)^\ast \rightarrow H^0(U^\ast _X(k),{\mathcal M}^r)\). For an affine scheme \(S\), and \({\mathcal X} \to S\) a relative (smooth) curve, the spaces \(H^0(SU_{X_s}(r),{\mathcal L}^k)\), \(H^0(U^\ast _{X_s}(k),{\mathcal M}^r)\) (\(s \in S\)) produce respectively vector bundles \(\mathcal V\) and \(\mathcal W\) over \(S\).The above map \(SD\) gives a map of sheaves over \(S\). The main result of the paper asserts that \(SD:{\mathcal V}^\ast \rightarrow {\mathcal W}\) is a projectively flat map of vector bundles on \(S\). Note that the map \(SD\) is is known to be an an isomorphism, cf. the references given in the paper under review.