The variety of positive superdivisors of a supercurve (supervortices) (Q689445)

This interesting paper treats about the relation between superdivisors of degree \(p\) on a supercurve \({\mathcal X}\) and unordered families of \(p\) points. Tiven a relative supermorphism \({\mathcal X} \times {\mathcal S} \to {\mathcal S}\), a positive relative superdivisor of degree \(p\) is a subsuperscheme \({\mathcal Z}\) of \({\mathcal X} \times {\mathcal S}\) of codimension (1,0) such that its reduction \({\mathcal Z} \times_{\mathcal X} X\) is a positive relative divisor of degree \(p\). The authors give a representability theorem for positive relative superdivisors of degree \(p\). The meaning of the main theorem is that positive relative superdivisors of degree \(p\) are the points of the supersymmetric product \(S^ p{\mathcal X}^ c\) of the supercurve \({\mathcal X}^ c\) of conjugated fermions. Given an ordinary supercurve \({\mathcal X}=(X,{\mathcal A})\) of dimension (1,1) (\(X\) being the underlying Riemann surface and \({\mathcal A}={\mathcal O}_ X \bigoplus {\mathcal L}\) for a line bundle \({\mathcal L}\) on \(X)\), the supercurve of conjugate fermions is \({\mathcal X}^ c=(X,{\mathcal A}^ c)\) where \({\mathcal A}^ c={\mathcal O}_ X\bigoplus(\kappa_ X\bigotimes{\mathcal L}^{-1})\) is the structure sheaf of supercommutative algebras of conjugate fermions. It is shown that only for SUSY-curves unordered families of \(p\) points (i.e. the points of \(S^ p{\mathcal X})\) are equivalent to superdivisors of degree \(p\) (the points of \(S^ p{\mathcal X}^ c)\).