Let $X$ be a reduced scheme, so, generically regular; you may assume extra conditions like equidimensional and seminormal (though normal is stronger than I'd like, as is Gorenstein).

Is there a reasonable definition of "section of the anticanonical bundle" over $X$? At the very least I'd like to be able to restrict such a "section" to the regular locus and get an actual section. If $X$ is normal, then I'd like any (honest) anticanonical section over $X_{reg}$ to uniquely extend to one of these objects on $X$.

Note: a divisor and a section are not quite the same thing, in that the divisor of zeroes only determines the section up to a global invertible function (which need not even be constant). I really want a section, not just its divisor of zeroes.

The motivation comes from Frobenius splitting. If $X$ is defined over a perfect field of characteristic $p$, and $\sigma$ is a section of the anticanonical over $X_{reg}$ (not vanishing on any component), then away from $\sigma=0$ and the singularities we can define a morphism of sheaves $\varphi:\ F_* \mathcal O_X \to \mathcal O_X$ by $g \mapsto \mathcal C(g/\sigma) \sigma$ (here $F$ is the Frobenius and $\mathcal C$ is the Cartier operator on (top) forms). This extends over $X_{reg}$, and over all $X$ if $X$ is normal. Such maps $\varphi$ make sense even when $X$ is more singular, but I'd rather talk about an anticanonical section than about $\varphi$.

Feel free to add tags.