English

Cartier modules on toric varieties

Algebraic Geometry 2012-04-16 v3 Commutative Algebra

Abstract

Assume that XX is an affine toric variety of characteristic p>0p > 0. Let Δ\Delta be an effective toric QQ-divisor such that KX+ΔK_X+\Delta is QQ-Cartier with index not divisible by pp and let ϕΔ:FeOXOX\phi_{\Delta}:F^e_* O_X \to O_X be the toric map corresponding to Δ\Delta. We identify all ideals II of OXO_X with ϕΔ(FeI)=I\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\ba, we identify all ideals II fixed by the Cartier algebra generated by ϕΔ\phi_{\Delta} and \ba\ba; this answers a question by Manuel Blickle in the toric setting.

Keywords

Cite

@article{arxiv.1011.0804,
  title  = {Cartier modules on toric varieties},
  author = {Jen-Chieh Hsiao and Karl Schwede and Wenliang Zhang},
  journal= {arXiv preprint arXiv:1011.0804},
  year   = {2012}
}

Comments

21 pages, minor changes, example 3.10 added. To appear in Transactions of the American Mathematical Society

R2 v1 2026-06-21T16:38:12.227Z