English

The toric ring of one dimensional simplicial complexes

Commutative Algebra 2023-06-09 v1

Abstract

Let Δ\Delta be a 1-dimensional simplicial complex. Then Δ\Delta may be identified with a finite simple graph GG. In this article, we investigate the toric ring RGR_G of GG. All graphs GG such that RGR_G is a normal domain are classified. For such a graph, we determine the set PG\mathcal{P}_G of height one monomial prime ideals of RGR_G. In the bipartite case, and in the case of whiskered cycles, this set is explicitly described. As a consequence, we determine the canonical class [ωRG][\omega_{R_G}] and characterize the Gorenstein property of RGR_G. For a bipartite graph GG, we show that RGR_G is Gorenstein if and only if GG is unmixed. For a subclass of non-bipartite graphs GG, which includes whiskered cycles, RGR_G is Gorenstein if and only if GG is unmixed and has an odd number of vertices. Finally, it is proved that RGR_G is a pseudo-Gorenstein ring if GG is an odd cycle.

Keywords

Cite

@article{arxiv.2306.05020,
  title  = {The toric ring of one dimensional simplicial complexes},
  author = {Antonino Ficarra and Jürgen Herzog and Dumitru I. Stamate},
  journal= {arXiv preprint arXiv:2306.05020},
  year   = {2023}
}
R2 v1 2026-06-28T10:59:44.387Z