Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn 2-representation infinite algebras arising from dimer models
191
0
0.0
(
0
)
Authors
Yusuke Nakajima
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
We study the behavior of blocks in flat families of finite-dimensional algebras. In a general setting we construct a finite directed graph encoding a stratification of the base scheme according to the block structures of the fibers. This graph can be explicitly obtained when the central characters of simple modules of the generic fiber are known. We show that the block structure of an arbitrary fiber is completely determined by atomic block structures living on the components of a Weil divisor. As a byproduct, we deduce that the number of blocks of fibers defines a lower semicontinuous function on the base scheme. We furthermore discuss how to obtain information about the simple modules in the blocks by generalizing and establishing several properties of decomposition matrices by Geck and Rouquier.
The polynomial ring $B_r:=mathbb{Q}[e_1,ldots,e_r]$ in $r$ indeterminates is a representation of the Lie algebra of all the endomorphism of $mathbb{Q}[X]$ vanishing at powers $X^j$ for all but finitely many $j$. We determine a $B_r$-valued formal power series in $r+2$ indeterminates which encode the images of all the basis elements of $B_r$ under the action of the generating function of elementary endomorphisms of $mathbb{Q}[X]$, which we call the structural series of the representation. The obtained expression implies (and improves) a formula by Gatto & Salehyan, which only computes, for one chosen basis element, the generating function of its images. For sake of completeness we construct in the last section the $B=B_infty$-valued structural formal power series which consists in the evaluation of the vertex operator describing the bosonic representation of $gl_{infty}(mathbb{Q})$ against the generating function of the standard Schur basis of $B$. This provide an alternative description of the bosonic representation of $gl_{infty}$ due to Date, Jimbo, Kashiwara and Miwa which does not involve explicitly exponential of differential operators.
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.
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.
In this paper, extending the idea presented by M. Takeuchi in [13], we introduce the notion of partial matched pair $(H,L)$ involving the concepts of partial action and partial coaction between two Hopf algebras $H$ and $L$. Furthermore, we present necessary conditions for the corresponding bismash product $L# H$ to generate a new Hopf algebra and, as illustration, a family of examples is provided.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
