Cartier modules on toric varieties
Abstract
Assume that $X$ is an affine toric variety of characteristic $p > 0$. Let $\Delta$ be an effective toric $Q$-divisor such that $K_X+\Delta$ is $Q$-Cartier with index not divisible by $p$ and let $\phi_{\Delta}:F^e_* O_X \to O_X$ be the toric map corresponding to $\Delta$. We identify all ideals $I$ of $O_X$ with $\phi_{\Delta}(F^e_* I)=I$ combinatorially and also in terms of a log resolution (giving us a version of these ideals which can be defined in characteristic zero). Moreover, given a toric ideal $\ba$, we identify all ideals $I$ fixed by the Cartier algebra generated by $\phi_{\Delta}$ and $\ba$; this answers a question by Manuel Blickle in the toric setting.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2010
- DOI:
- arXiv:
- arXiv:1011.0804
- Bibcode:
- 2010arXiv1011.0804H
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Commutative Algebra;
- 14M25;
- 13A35;
- 14F18;
- 14B05
- E-Print:
- 21 pages, minor changes, example 3.10 added. To appear in Transactions of the American Mathematical Society