Atom spectra of graded rings and sheafification in toric geometry

TL;DR

This paper characterizes the atom spectrum of finitely presented graded modules over graded rings, revealing its structure as a union of the homogeneous spectrum and additional points, aiding in sheafification in toric geometry.

Contribution

It provides a detailed description of the atom spectrum for graded modules, connecting it to sheafification in toric geometry and introducing the concept of non-standard points.

Findings

Atom spectrum is a union of homogeneous spectrum and non-standard points.

Sheafification of graded modules is characterized by atom support conditions.

The description aids understanding of sheafification in toric varieties.

Abstract

We prove that the atom spectrum, which is a topological space associated to an arbitrary abelian category introduced by Kanda, of the category of finitely presented graded modules over a graded ring $R$ is given as a union of the homogeneous spectrum of $R$ with some additional points, which we call non-standard points. This description of the atom spectrum helps in understanding the sheafification process in toric geometry: if $S$ is the Cox ring of a normal toric variety $X$ without torus factors, then a finitely presented graded $S$-module sheafifies to zero if and only if its atom support consists only of points in the atom spectrum of $S$ which either lie in the vanishing locus of the irrelevant ideal of $X$ or are non-standard.