We construct moduli spaces of objects in an abelian category satisfying some finiteness hypotheses. Our approach is based on the work of Artin and Zhang [Algebr. Represent. Theory 4 (2001), 305–394] and the intrinsic construction of moduli spaces for stacks developed by Alper, Halpern-Leistner and Heinloth [Invent. Math. 234 (2023), 949–1038].

Let $\mathcal {D}$ be a Hom-finite, Krull-Schmidt, 2-Calabi-Yau triangulated category with a rigid object R. Let $\Lambda =\operatorname {End}_{\mathcal {D}}R$ be the endomorphism algebra of R. We introduce the notion of mutation of maximal rigid objects in the two-term subcategory $R\ast R[1]$ via exchange triangles, which is shown to be compatible with the mutation of support $\tau $-tilting $\Lambda $-modules. In the case that $\mathcal {D}$ is the cluster category arising from a punctured marked surface, it is shown that the graph of mutations of support $\tau $-tilting $\Lambda $-modules is isomorphic to the graph of flips of certain collections of tagged arcs on the surface, which is moreover proved to be connected. Consequently, the mutation graph of support $\tau $-tilting modules over a skew-gentle algebra is connected. This generalizes one main result in [49].

A dimer model is a quiver with faces embedded in a surface. We define and investigate notions of consistency for dimer models on general surfaces with boundary which restrict to well-studied consistency conditions in the disk and torus case. We define weak consistency in terms of the associated dimer algebra and show that it is equivalent to the absence of bad configurations on the strand diagram. In the disk and torus case, weakly consistent models are nondegenerate, meaning that every arrow is contained in a perfect matching; this is not true for general surfaces. Strong consistency is defined to require weak consistency as well as nondegeneracy. We prove that the completed as well as the noncompleted dimer algebra of a strongly consistent dimer model are bimodule internally 3-Calabi-Yau with respect to their boundary idempotents. As a consequence, the Gorenstein-projective module category of the completed boundary algebra of suitable dimer models categorifies the cluster algebra given by their underlying quiver. We provide additional consequences of weak and strong consistency, including that one may reduce a strongly consistent dimer model by removing digons and that consistency behaves well under taking dimer submodels.

Given a presilting object in a triangulated category, we find necessary and sufficient conditions for the existence of a complement. This is done both for classic (pre)silting objects and for large (pre)silting objects. The key technique is the study of associated co-t-structures. As a consequence of our techniques we recover some known cases of the existence of complements, including for derived categories of some hereditary abelian categories and for silting-discrete algebras. Moreover, we also show that a finite-dimensional algebra is silting discrete if and only if every bounded large silting complex is equivalent to a compact one.

In this paper, we establish homological Berglund–Hübsch mirror symmetry for curve singularities where the A–model incorporates equivariance, otherwise known as homological Berglund–Hübsch–Henningson mirror symmetry, including for certain deformations of categories. More precisely, we prove a conjecture of Futaki and Ueda which posits that the equivariance in the A–model can be incorporated by pulling back the superpotential to the total space of the corresponding crepant resolution. Along the way, we show that the B–model category of matrix factorisations has a tilting object whose length is the dimension of the state space of the Fan–Jarvis–Ruan–Witten (FJRW) A–model, a result which might be of independent interest for its implications in the Landau–Ginzburg analogue of Dubrovin’s conjecture.

We introduce a double framing construction for moduli spaces of quiver representations. This allows us to reduce certain sheaf cohomology computations involving the universal representation, to computations involving line bundles, making them amenable to methods from geometric invariant theory. We will use this to show that in many good situations the vector fields on the moduli space are isomorphic as vector spaces to the first Hochschild cohomology of the path algebra. We also show that considering the universal representation as a Fourier–Mukai kernel in the appropriate sense gives an admissible embedding of derived categories.

In an earlier work, we defined a “generalised Temperley–Lieb algebra” $TL_{r, 1, n}$ corresponding to the imprimitive reflection group G(r, 1, n) as a quotient of the cyclotomic Hecke algebra. In this work we introduce the generalised Temperley–Lieb algebra $TL_{r, p, n}$ which corresponds to the complex reflection group G(r, p, n). Our definition identifies $TL_{r, p, n}$ as the fixed-point subalgebra of $TL_{r, 1, n}$ under a certain automorphism $\sigma$. We prove the cellularity of $TL_{r, p, n}$ by proving that $\sigma$ induces a special shift automorphism with respect to the cellular structure of $TL_{r, 1, n}$. We also give a description of the cell modules of $TL_{r, p, n}$ and their decomposition numbers, and finally we point to how our algebras might be categorified and could lead to a diagrammatic theory.

Let Λ be an artin algebra and $\mathcal{M}$ be an n-cluster tilting subcategory of Λ-mod with $n \geq 2$. From the viewpoint of higher homological algebra, a question that naturally arose in Ebrahimi and Nasr-Isfahani (The completion of d-abelian categories. J. Algebra 645 (2024), 143–163) is when $\mathcal{M}$ induces an n-cluster tilting subcategory of Λ-Mod. In this article, we answer this question and explore its connection to Iyama’s question on the finiteness of n-cluster tilting subcategories of Λ-mod. In fact, our theorem reformulates Iyama’s question in terms of the vanishing of Ext and highlights its relation with the rigidity of filtered colimits of $\mathcal{M}$. Also, we show that ${\rm Add}(\mathcal{M})$ is an n-cluster tilting subcategory of Λ-Mod if and only if ${\rm Add}(\mathcal{M})$ is a maximal n-rigid subcategory of Λ-Mod if and only if $\lbrace X\in \Lambda-{\rm Mod}~|~ {\rm Ext}^i_{\Lambda}(\mathcal{M},X)=0 ~~~ {\rm for ~all}~ 0 \lt i \lt n \rbrace \subseteq {\rm Add}(\mathcal{M})$ if and only if $\mathcal{M}$ is of finite type if and only if ${\rm Ext}_{\Lambda}^1({\underrightarrow{\lim}}\mathcal{M}, {\underrightarrow{\lim}}\mathcal{M})=0$. Moreover, we present several equivalent conditions for Iyama’s question which shows the relation of Iyama’s question with different subjects in representation theory such as purity and covering theory.

In this paper, we investigate locally finitely presented pure semisimple (hereditary) Grothendieck categories. We show that every locally finitely presented pure semisimple (resp., hereditary) Grothendieck category $\mathscr {A}$ is equivalent to the category of left modules over a left pure semisimple (resp., left hereditary) ring when $\mathrm {Mod}(\mathrm {fp}(\mathscr {A}))$ is a QF-3 category, and every representable functor in $\mathrm {Mod}(\mathrm {fp}(\mathscr {A}))$ has finitely generated essential socle. In fact, we show that there exists a bijection between Morita equivalence classes of left pure semisimple (resp., left hereditary) rings $\Lambda $ and equivalence classes of locally finitely presented pure semisimple (resp., hereditary) Grothendieck categories $\mathscr {A}$ that $\mathrm {Mod}(\mathrm {fp}(\mathscr {A}))$ is a QF-3 category, and every representable functor in $\mathrm {Mod}(\mathrm {fp}(\mathscr {A}))$ has finitely generated essential socle. To prove this result, we study left pure semisimple rings by using Auslander’s ideas. We show that there exists, up to equivalence, a bijection between the class of left pure semisimple rings and the class of rings with nice homological properties. These results extend the Auslander and Ringel–Tachikawa correspondence to the class of left pure semisimple rings. As a consequence, we give several equivalent statements to the pure semisimplicity conjecture.

In this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module. Among the applications are precise connections between Ringel duality, split quasi-hereditary covers and double centralizer properties, constructions of split quasi-hereditary covers of quotients of Iwahori-Hecke algebras using Ringel duality of q-Schur algebras and a new proof for Ringel self-duality of the blocks of the Bernstein-Gelfand-Gelfand category $\mathcal {O}$. These homological invariants are studied over Noetherian algebras which are finitely generated and projective as a module over the ground ring. They are shown to behave nicely under change of rings techniques.

We propose a notion of multi-scale stability conditions with the goal of providing a smooth compactification of the quotient of the space of projectivized Bridgeland stability conditions by the group of autoequivalence. For the case of the 3CY category associated with the $A_n$-quiver, this goal is achieved by defining a topology and complex structure that relies on a plumbing construction.

We compare this compactification to the multi-scale compactification of quadratic differentials and briefly indicate why even for the Kronecker quiver, this notion needs refinement to provide a full compactification.

Tachikawa's second conjecture for symmetric algebras is shown to be equivalent to indecomposable symmetric algebras not having any nontrivial stratifying ideals. The conjecture is also shown to be equivalent to the supremum of stratified ratios being less than $1$, when taken over all indecomposable symmetric algebras. An explicit construction provides a series of counterexamples to Tachikawa's second conjecture from each (potentially existing) gendo-symmetric algebra that is a counterexample to Nakayama's conjecture. The results are based on establishing recollements of derived categories and on constructing new series of algebras.

Dualities of resolving subcategories of module categories over rings are introduced and characterized as dualities with respect to Wakamatsu tilting bimodules. By restriction of the dualities to smaller resolving subcategories, sufficient and necessary conditions for these bimodules to be tilting are provided. This leads to the Gorenstein version of both the Miyashita’s duality and Huisgen-Zimmermann’s correspondence. An application of resolving dualities is to show that higher algebraic K-groups and semi-derived Ringel–Hall algebras of finitely generated Gorenstein-projective modules over Artin algebras are preserved under tilting.

Given an algebra and a finite group acting on it via automorphisms, a natural object of study is the associated skew group algebra. In this article, we study the relationship between quasi-hereditary structures on the original algebra and on the corresponding skew group algebra. Assuming a natural compatibility condition on the partial order, we show that the skew group algebra is quasi-hereditary if and only if the original algebra is. Moreover, we show that in this setting an exact Borel subalgebra of the original algebra which is invariant as a set under the group action gives rise to an exact Borel subalgebra of the skew group algebra and that under this construction, properties such as normality and regularity of the exact Borel subalgebra are preserved.

We obtain a new interpretation of the cohomological Hall algebra $\mathcal {H}_Q$ of a symmetric quiver Q in the context of the theory of vertex algebras. Namely, we show that the graded dual of $\mathcal {H}_Q$ is naturally identified with the underlying vector space of the principal free vertex algebra associated to the Euler form of Q. Properties of that vertex algebra are shown to account for the key results about $\mathcal {H}_Q$. In particular, it has a natural structure of a vertex bialgebra, leading to a new interpretation of the product of $\mathcal {H}_Q$. Moreover, it is isomorphic to the universal enveloping vertex algebra of a certain vertex Lie algebra, which leads to a new interpretation of Donaldson–Thomas invariants of Q (and, in particular, re-proves their positivity). Finally, it is possible to use that vertex algebra to give a new interpretation of CoHA modules made of cohomologies of non-commutative Hilbert schemes.

Many connections and dualities in representation theory and Lie theory can be explained using quasi-hereditary covers in the sense of Rouquier. Recent work by the first-named author shows that relative dominant (and codominant) dimensions are natural tools to classify and distinguish distinct quasi-hereditary covers of a finite-dimensional algebra. In this paper, we prove that the relative dominant dimension of a quasi-hereditary algebra, possessing a simple preserving duality, with respect to a direct summand of the characteristic tilting module is always an even number or infinite and that this homological invariant controls the quality of quasi-hereditary covers that possess a simple preserving duality. To resolve the Temperley–Lieb algebras, we apply this result to the class of Schur algebras $S(2, d)$ and their $q$-analogues. Our second main result completely determines the relative dominant dimension of $S(2, d)$ with respect to $Q=V^{\otimes d}$, the $d$-th tensor power of the natural two-dimensional module. As a byproduct, we deduce that Ringel duals of $q$-Schur algebras $S(2,d)$ give rise to quasi-hereditary covers of Temperley–Lieb algebras. Further, we obtain precisely when the Temperley–Lieb algebra is Morita equivalent to the Ringel dual of the $q$-Schur algebra $S(2, d)$ and precisely how far these two algebras are from being Morita equivalent, when they are not. These results are compatible with the integral setup, and we use them to deduce that the Ringel dual of a $q$-Schur algebra over the ring of Laurent polynomials over the integers together with some projective module is the best quasi-hereditary cover of the integral Temperley–Lieb algebra.

For an action of a finite group on a finite EI quiver, we construct its ‘orbifold’ quotient EI quiver. The free EI category associated to the quotient EI quiver is equivalent to the skew group category with respect to the given group action. Specializing the result to a finite group action on a finite acyclic quiver, we prove that, under reasonable conditions, the skew group category of the path category is equivalent to a finite EI category of Cartan type. If the ground field is of characteristic $p$ and the acting group is a cyclic $p$-group, we prove that the skew group algebra of the path algebra is Morita equivalent to the algebra associated to a Cartan matrix, defined in [C. Geiss, B. Leclerc, and J. Schröer, Quivers with relations for symmetrizable Cartan matrices I: Foundations, Invent. Math. 209 (2017), 61–158]. We apply the Morita equivalence to construct a categorification of the folding projection between the root lattices with respect to a graph automorphism. In the Dynkin cases, the restriction of the categorification to indecomposable modules corresponds to the folding of positive roots.

We explore when the silting-discreteness is inherited. As a result, one obtains that taking idempotent truncations and homological epimorphisms of algebras transmit the silting-discreteness. We also study classification of silting-discrete simply-connected tensor algebras and silting-indiscrete self-injective Nakayama algebras. This paper contains two appendices; one states that every derived-discrete algebra is silting-discrete, and the other is about triangulated categories whose silting objects are tilting.

We prove an equality, predicted in the physical literature, between the Jeffrey–Kirwan residues of certain explicit meromorphic forms attached to a quiver without loops or oriented cycles and its Donaldson–Thomas type invariants.

In the special case of complete bipartite quivers we also show independently, using scattering diagrams and theta functions, that the same Jeffrey–Kirwan residues are determined by the the Gross–Hacking–Keel mirror family to a log Calabi–Yau surface.

We prove new results concerning the additive Galois module structure of wildly ramified non-abelian extensions $K/\mathbb{Q}$ with Galois group isomorphic to $A_4$, $S_4$, $A_5$, and dihedral groups of order $2p^n$ for certain prime powers $p^n$. In particular, when $K/\mathbb{Q}$ is a Galois extension with Galois group $G$ isomorphic to $A_4$, $S_4$ or $A_5$, we give necessary and sufficient conditions for the ring of integers $\mathcal{O}_{K}$ to be free over its associated order in the rational group algebra $\mathbb{Q}[G]$.