We study derived categories arising from quivers with potential associated to a decorated marked surface S_Delta, in the sense taken in a paper by Qiu. We prove two conjectures from Qiu’s paper in which, under a bijection between certain objects in these categories and certain arcs in S, the dimensions of morphisms between these objects equal the intersection numbers between the corresponding arcs.
We study cluster categories arising from marked surfaces (with punctures and nonempty boundaries). By constructing skewed-gentle algebras, we show that there is a bijection between tagged curves and string objects. Applications include interpreting
dimensions of Ext1 as intersection numbers of tagged curves and Auslander-Reiten translation as tagged rotation. An important consequence is that the cluster(-tilting) exchange graphs of such cluster categories are connected.
Homology theory relative to classes of objects other than those of projective or injective objects in abelian categories has been widely studied in the last years, giving a special relevance to Gorenstein homological algebra.
We prove the existence of Gorenstein flat precovers in any locally finitely presented Grothendieck category in which the class of flat objects is closed under extensions, the existence of Gorenstein injective preenvelopes in any locally noetherian Grothendieck category in which the class of all Gorenstein injective objects is closed under direct products, and the existence of special Gorenstein injective preenvelopes in locally noetherian Grothendieck categories with a generator lying in the left orthogonal class to that of Gorenstein injective objects.
Let V be a vertex operator algebra with a category C of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let A be a vertex operator (super)algebra extension of V. We employ tensor categories to study untwisted (also called local) A-modules in C, using results of Huang-Kirillov-Lepowsky showing that A is a (super)algebra object in C and that generalized A-modules in C correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a C-algebra and (under suitable conditions) of generalized A-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of V-modules to A-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular (1/2)ℤ-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and ℤ-graded components, respectively. Second, we analyze parafermionic cosets C=Com(V_L,V) where L is a positive definite even lattice and V is regular. If the category of either V-modules or C-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.