Autoduality holds for a degenerating abelian variety (Q721971)

Let \((J_0, \Theta_0)\) be a principally polarized abelian variety, over a fixed based field, and \(\text{Pic}^{\underline{0}}(J_0) = J_0^t\) the identity component of its Picard scheme. Each base point \(x_0 \in J_0\), determines an isomorphism: \[ J_0 \text{Pic}^{\underline{0}}(J_0). \] In the present article, the author seeks to obtain an analogous autoduality result for stable semiabelic varieties, which are a class of degenerate abelian varieties that arise in work of \textit{V. Alexeev} and \textit{I. Nakamura} [Tohoku Math. J., II. Ser. 51, No. 3, 399--420 (1999; Zbl 0989.14003)]. A classification of such semiabelic varieties was obtained by \textit{V. Alexeev} [Ann. Math. (2) 155, No. 3, 611--708 (2002; Zbl 1052.14017)]. Precisely, Alexeev classified semiabelic varieties as pairs \((\overline{J}_0,J_0^{\underline{0}})\) consisting of a (possibly reducible) projective variety \(\overline{J}_0\) with an action of a semiabelian variety \(J^{\underline{0}}_0\) that satisfies the following four properties: (i) the dimension of each irreducible component of \(\overline{J}_0\) is equal to the dimension of \(J^{\underline{0}}_0\); (ii) there are only finitely many orbits for the \(J^{\underline{0}}_0\)-action; (iii) the stabilizer of each point of \(\overline{J}_0\) is connected, reduced and is contained in the maximal multiplicative torus of \(J^{\underline{0}}_0\); and (iv) \(\overline{J}_0\) is seminormal. In this context, the author's main result is that for such stable semiabelic pairs \((\overline{J}_0, J_0^{\underline{0}})\), there is an isomorphism: \[ J^{\underline{0}}_0 \rightarrow \text{Pic}^{\underline{0}}(\overline{J}_0) \] from the semiabelian variety \(J^{\underline{0}}_0\) to the identity component of the Picard scheme of \(\overline{J}_0\). In other words, the autoduality theorem holds for stable semiabelic varieties.