The direct image of generalized divisors and the norm map between compactified Jacobians (Q2114359)

Let \(X\) be a curve, an embeddable noetherian scheme of pure dimension 1. First introduced by Hartshorne, the \textit{generalized divisors} are non-degenerate fractional ideals of \(\mathcal{O}_X\)-modules. Generalized divisors up to linear equivalence are equivalent to \textit{generalized line bundles}, i.e. pure coherent sheaves which are locally free of rank 1 at each generic point. Further generalization is the notion of \textit{torsion-free sheaves of rank 1}. Now, let \(\pi: X\rightarrow Y\) be a finite, flat morphism between noetherian curves. The goal of the paper under review is to define and study direct and inverse image for generalized divisors and for generalized line bundles on \( X \) and on \(Y\). Moreover, in the cases where \( X \) and \(Y\) are projective curves over a field (possibly reducible, non-reduced) and the codomain curve is smooth, the author discusses the same notions for families of effective generalized divisors, parametrized by the Hilbert scheme. The same assumptions are required to introduce the notion of compactified Jacobians parametrizing torsion-free rank-1 sheaves and to study the Norm and the inverse image maps between them. Finally, the author consider the fibers of the Norm map and introduces the Prym stack as the fiber over the trivial sheaf.