Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userConic divisorial ideals and non-commutative crepant resolutions of edge rings of complete multipartite graphs
120
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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 description of conic divisorial ideals, we also construct a module giving a non-commutative crepant resolution (= NCCR) of the Segre product of polynomial rings. Furthermore, applying the operation called mutation, we give other modules giving NCCRs of it.
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 prove that toric ideals of graphs which are complete intersections are circuit ideals. The generators of the toric ideal correspond to even cycles of $G$ except of at most one generator, which corresponds to two edge disjoint odd cycles joint at a vertex or with a path. We prove that the blocks of the graph satisfy the odd cycle condition. Finally we characterize all complete intersection toric ideals of graphs which are normal.
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,ldots,r_n}]$ with $1 leq r_1 leq cdots leq r_n$. We give the complete characterization of which $Bbbk[K_{r_1,ldots,r_n}]$ is level in terms of $n$ and $r_1,ldots,r_n$. Similarly, we also give the complete characterization of which $Bbbk[K_{r_1,ldots,r_n}]$ is almost Gorenstein in terms of $n$ and $r_1,ldots,r_n$.
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 class group $mathbb{Z}^2$ have a splitting NCCR. In the appendix, we also discuss Gorenstein toric rings with class group $mathbb{Z}$, in which case the existence of splitting NCCRs is already known. We especially observe the mutations of modules giving splitting NCCRs for the three dimensional case, and show the connectedness of the exchange graph.
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 homotopy equivalent to a regular hexagonal dimer model. Inspired by this result, we introduce the notion of semi-steady NCCRs, and show a consistent dimer model gives a semi-steady NCCR if and only if it is homotopy equivalent to a regular dimer model.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
