Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userRemarks on divisorial ideals arising from dimer models
169
0
0.0
(
0
)
Authors
Yusuke Nakajima
Ask ChatGPT about the research
No Arabic abstract
The Jacobian algebra $mathsf{A}$ arising from a consistent dimer model is derived equivalent to crepant resolutions of a $3$-dimensional Gorenstein toric singularity $R$, and it is also called a non-commutative crepant resolution of $R$. This algebra $mathsf{A}$ is a maximal Cohen-Macaulay (= MCM) module over $R$, and it is a finite direct sum of rank one MCM $R$-modules. In this paper, we observe a relationship between properties of a dimer model and those of MCM modules appearing in the decomposition of $mathsf{A}$ as an $R$-module. More precisely, we take notice of isoradial dimer models and divisorial ideals which are called conic. Especially, we investigate them for the case of $3$-dimensional Gorenstein toric singularities associated with reflexive polygons.
rate research
Read More
In this paper we study monomial ideals attached to posets, introduce generalized Hibi rings and investigate their algebraic and homological properties. The main tools to study these objects are Groebner basis theory, the concept of sortability due to Sturmfels and the theory of weakly polymatroidal ideals.
In the present paper, we consider the problem when the toric ring arising from an integral cyclic polytope is Cohen-Macaulay by discussing Serres condition and we give a complete characterization when that is Gorenstein. Moreover, we study the normality of the other semigroup ring arising from an integral cyclic polytope but generated only with its vertices.
The Jacobian algebra arising from a consistent dimer model is a bimodule $3$-Calabi-Yau algebra, and its center is a $3$-dimensional Gorenstein toric singularity. A perfect matching of a dimer model gives the degree making the Jacobian algebra $mathbb{Z}$-graded. It is known that if the degree zero part of such an algebra is finite dimensional, then it is a $2$-representation infinite algebra which is a generalization of a representation infinite hereditary algebra. In this paper, we show that internal perfect matchings, which correspond to toric exceptional divisors on a crepant resolution of a $3$-dimensional Gorenstein toric singularity, characterize the property that the degree zero part of the Jacobian algebra is finite dimensional. Moreover, combining this result with the theorems due to Amiot-Iyama-Reiten, we show that the stable category of graded maximal Cohen-Macaulay modules admits a tilting object for any $3$-dimensional Gorenstein toric isolated singularity. We then show that all internal perfect matchings corresponding to the same toric exceptional divisor are transformed into each other using the mutations of perfect matchings, and this induces derived equivalences of $2$-representation infinite algebras.
Let $K$ be a field and $S=K[x_1,...,x_n]$. In 1982, Stanley defined what is now called the Stanley depth of an $S$-module $M$, denoted $sdepth(M)$, and conjectured that $depth(M) le sdepth(M)$ for all finitely generated $S$-modules $M$. This conjecture remains open for most cases. However, Herzog, Vladoiu and Zheng recently proposed a method of attack in the case when $M = I / J$ with $J subset I$ being monomial $S$-ideals. Specifically, their method associates $M$ with a partially ordered set. In this paper we take advantage of this association by using combinatorial tools to analyze squarefree Veronese ideals in $S$. In particular, if $I_{n,d}$ is the squarefree Veronese ideal generated by all squarefree monomials of degree $d$, we show that if $1le dle n < 5d+4$, then $sdepth(I_{n,d})= floor{binom{n}{d+1}Big/binom{n}{d}}+d$, and if $dgeq 1$ and $nge 5d+4$, then $d+3le sdepth(I_{n,d}) le floor{binom{n}{d+1}Big/binom{n}{d}}+d$.
We study properties of the Stanley-Reisner rings of simplicial complexes with isolated singularities modulo two generic linear forms. Miller, Novik, and Swartz proved that if a complex has homologically isolated singularities, then its Stanley-Reisner ring modulo one generic linear form is Buchsbaum. Here we examine the case of non-homologically isolated singularities, providing many examples in which the Stanley-Reisner ring modulo two generic linear forms is a quasi-Buchsbaum but not Buchsbaum ring.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
