Nonsimplicial toric Nullstellensatz and stacky GKZ theory

Abstract

We introduce a variant of the Cox ring using $\mathbb{Q}$-Cartier divisors and use this to remedy various deficiencies of nonsimplicial toric varieties. Our main applications are: Cox's ideal-variety correspondence, an explicit classification of subschemes and sheaves in terms of multigraded modules, an associated toric Deligne-Mumford stack, and a stacky extension of the GKZ/Mori theory of toric varieties.