ﻻ يوجد ملخص باللغة العربية
The first goal of the present paper is to study the class groups of the edge rings of complete multipartite graphs, denoted by $Bbbk[K_{r_1,ldots,r_n}]$, where $1 leq r_1 leq cdots leq r_n$. More concretely, we prove that the class group of $Bbbk[K_{r_1,ldots,r_n}]$ is isomorphic to $mathbb{Z}^n$ if $n =3$ with $r_1 geq 2$ or $n geq 4$, while it turns out that the excluded cases can be deduced into Hibi rings. The second goal is to investigate the special class of divisorial ideals of $Bbbk[K_{r_1,ldots,r_n}]$, called conic divisorial ideals. We describe conic divisorial ideals for certain $K_{r_1,ldots,r_n}$ including all cases where $Bbbk[K_{r_1,ldots,r_n}]$ is Gorenstein. Finally, we give a non-commutative crepant resolution (NCCR) of $Bbbk[K_{r_1,ldots,r_n}]$ in the case where it is Gorenstein.
In this paper, we study divisorial ideals of a Hibi ring which is a toric ring arising from a partially ordered set. We especially characterize the special class of divisorial ideals called conic using the associated partially ordered set. Using our
We characterize the graphs $G$ for which their toric ideals $I_G$ are complete intersections. In particular we prove that for a connected graph $G$ such that $I_G$ is complete intersection all of its blocks are bipartite except of at most two. We pro
Levelness and almost Gorensteinness are well-studied properties on graded rings as a generalized notion of Gorensteinness. In the present paper, we study those properties for the edge rings of the complete multipartite graphs, denoted by $Bbbk[K_{r_1
In this paper, we study splitting (or toric) non-commutative crepant resolutions (= NCCRs) of some toric rings. In particular, we consider Hibi rings, which are toric rings arising from partially ordered sets, and show that Gorenstein Hibi rings with
A consistent dimer model gives a non-commutative crepant resolution (= NCCR) of a $3$-dimensional Gorenstein toric singularity. In particular, it is known that a consistent dimer model gives a nice class of NCCRs called steady if and only if it is ho