Fourier-Mukai and autoduality for compactified Jacobians. I (Q2331057): Difference between revisions

The paper generalizes several known results for smooth curves and their Jacobians to the following setting: a curve \(X\), which is reduced, projective and with locally planar singularities. The Jacobian of the smooth curve is replaced by two objects: on the one hand, \(J(X)\), the generalized Jacobian, parametrizing line bundles on \(X\) that have degree zero on each irreducible component; on the other hand, a fine compactified Jacobian \(\overline J_X(\underline q)\), which depends on a stability condition \(\underline q\). The latter was constructed in this setting by \textit{E. Esteves} [Trans. Am. Math. Soc. 353, No. 8, 3045--3095 (2001; Zbl 0974.14009)], and the authors studied these compactifications already in [Trans. Am. Math. Soc. 369, No. 8, 5341--5402 (2017; Zbl 1364.14007)], the results of which serve as a basis for the current paper. The main goal is to show that the Fourier Mukai transform of \(\overline J_X(\underline q)\) is an autoequivalence of its bounded derived category, generalizing the celebrated result for smooth curves and their Jacobians established by \textit{S. Mukai} [Nagoya Math. J. 81, 153--175 (1981; Zbl 0417.14036)]. In the current paper, the authors show that the Fourier Mukai transform corresponding to a Poincaré line bundle on \(J(X) \times \overline J_X(\underline q)\) is fully faithful (Theorem A). This is then used in the subsequent paper by the same authors [Geom. Topol. 23, No. 5, 2335--2395 (2019; Zbl 1430.14009)] to establish the above described autoequivalence (in fact, more generally, the derived equivalence of any two fine compactified Jacobians). The authors give several additional applications of their result in the current paper: they calculate cohomology of line bundles on \(\overline J_X(\underline q)\) (Corollary B); show that \(\mathrm{Pic}^0(\overline J_X(\underline q)) \simeq J(X)\) as algebraic groups (Theorem C); and they show that line bundles on \(\overline J_X(\underline q)\) are algebraically equivalent to \(0\) if and only if they are numerically equivalent to \(0\) (Theorem D). Each of these again extend important results from the smooth case to that of reduced curves with locally planar singularities.