We introduce the notions of quasi-Laurent and Laurent families of simple modules over quiver Hecke algebras of arbitrary symmetrizable types. We prove that such a family plays a similar role of a cluster in quantum cluster algebra theory and exhibits a quantum Laurent positivity phenomenon similar to the basis of the quantum unipotent coordinate ring $\mathcal {A}_q(\mathfrak {n}(w))$, coming from the categorification. Then we show that the families of simple modules categorifying Geiß–Leclerc–Schröer (GLS) clusters are Laurent families by using the Poincaré–Birkhoff–Witt (PBW) decomposition vector of a simple module $X$ and categorical interpretation of (co)degree of $[X]$. As applications of such $\mathbb {Z}\mspace {1mu}$-vectors, we define several skew-symmetric pairings on arbitrary pairs of simple modules, and investigate the relationships among the pairings and $\Lambda$-invariants of $R$-matrices in the quiver Hecke algebra theory.

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.

If E is a graph and K is a field, we consider an ideal I of the Leavitt path algebra $L_K(E)$ of E over K. We describe the admissible pair corresponding to the smallest graded ideal which contains I where the grading in question is the natural grading of $L_K(E)$ by ${\mathbb {Z}}$. Using this description, we show that the right and the left annihilators of I are equal (which may be somewhat surprising given that I may not be self-adjoint). In particular, we establish that both annihilators correspond to the same admissible pair and its description produces the characterisation from the title. Then, we turn to the property that the right (equivalently left) annihilator of any ideal is a direct summand and recall that a unital ring with this property is said to be quasi-Baer. We exhibit a condition on E which is equivalent to unital $L_K(E)$ having this property.

The algebraic K-theory of Lawvere theories is a conceptual device to elucidate the stable homology of the symmetry groups of algebraic structures such as the permutation groups and the automorphism groups of free groups. In this paper, we fully address the question of how Morita equivalence classes of Lawvere theories interact with algebraic K-theory. On the one hand, we show that the higher algebraic K-theory is invariant under passage to matrix theories. On the other hand, we show that the higher algebraic K-theory is not fully Morita invariant because of the behavior of idempotents in non-additive contexts: We compute the K-theory of all Lawvere theories Morita equivalent to the theory of Boolean algebras.

Motivated by a new conjecture on the behavior of bricks, we start a systematic study of minimal $\tau $ -tilting infinite (min- $\tau $ -infinite, for short) algebras. In particular, we treat min- $\tau $ -infinite algebras as a modern counterpart of minimal representation-infinite algebras and show some of the fundamental similarities and differences between these families. We then relate our studies to the classical tilting theory and observe that this modern approach can provide fresh impetus to the study of some old problems. We further show that in order to verify the conjecture, it is sufficient to treat those min- $\tau $ -infinite algebras where almost all bricks are faithful. Finally, we also prove that minimal extending bricks have open orbits, and consequently obtain a simple proof of the brick analogue of the first Brauer–Thrall conjecture, recently shown by Schroll and Treffinger using some different techniques.

For a Galois extension $K/F$ with $\text {char}(K)\neq 2$ and $\mathrm {Gal}(K/F) \simeq \mathbb {Z}/2\mathbb {Z}\oplus \mathbb {Z}/2\mathbb {Z}$ , we determine the $\mathbb {F}_{2}[\mathrm {Gal}(K/F)]$ -module structure of $K^{\times }/K^{\times 2}$ . Although there are an infinite number of (pairwise nonisomorphic) indecomposable $\mathbb {F}_{2}[\mathbb {Z}/2\mathbb {Z}\oplus \mathbb {Z}/2\mathbb {Z}]$ -modules, our decomposition includes at most nine indecomposable types. This paper marks the first time that the Galois module structure of power classes of a field has been fully determined when the modular representation theory allows for an infinite number of indecomposable types.

We characterize the generalized Auslander–Reiten duality on the category of finitely presented modules over some certain Hom-finite category. Examples include the category FI of finite sets with injections, and the one VI of finite-dimensional vector spaces with linear injections over a finite field.

For a three-dimensional quantum polynomial algebra $A=\mathcal {A}(E,\sigma )$ , Artin, Tate, and Van den Bergh showed that A is finite over its center if and only if $|\sigma |<\infty $ . Moreover, Artin showed that if A is finite over its center and $E\neq \mathbb P^{2}$ , then A has a fat point module, which plays an important role in noncommutative algebraic geometry; however, the converse is not true in general. In this paper, we will show that if $E\neq \mathbb P^{2}$ , then A has a fat point module if and only if the quantum projective plane ${\sf Proj}_{\text {nc}} A$ is finite over its center in the sense of this paper if and only if $|\nu ^{*}\sigma ^{3}|<\infty $ where $\nu $ is the Nakayama automorphism of A. In particular, we will show that if the second Hessian of E is zero, then A has no fat point module.

Let $U_q'({\mathfrak {g}})$ be a quantum affine algebra with an indeterminate $q$, and let $\mathscr {C}_{\mathfrak {g}}$ be the category of finite-dimensional integrable $U_q'({\mathfrak {g}})$-modules. We write $\mathscr {C}_{\mathfrak {g}}^0$ for the monoidal subcategory of $\mathscr {C}_{\mathfrak {g}}$ introduced by Hernandez and Leclerc. In this paper, we associate a simply laced finite-type root system to each quantum affine algebra $U_q'({\mathfrak {g}})$ in a natural way and show that the block decompositions of $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$ are parameterized by the lattices associated with the root system. We first define a certain abelian group $\mathcal {W}$ (respectively $\mathcal {W} _0$) arising from simple modules of $\mathscr {C}_{\mathfrak {g}}$ (respectively $\mathscr {C}_{\mathfrak {g}}^0$) by using the invariant $\Lambda ^\infty$ introduced in previous work by the authors. The groups $\mathcal {W}$ and $\mathcal {W} _0$ have subsets $\Delta$ and $\Delta _0$ determined by the fundamental representations in $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$, respectively. We prove that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ is an irreducible simply laced root system of finite type and that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} , \Delta )$ is isomorphic to the direct sum of infinite copies of $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ as a root system.

Fisher [10] and Baur [6] showed independently in the seventies that if T is a complete first-order theory extending the theory of modules, then the class of models of T with pure embeddings is stable. In [25, 2.12], it is asked if the same is true for any abstract elementary class $(K, \leq _p)$ such that K is a class of modules and $\leq _p$ is the pure submodule relation. In this paper we give some instances where this is true:Theorem.

Assume R is an associative ring with unity. Let $(K, \leq _p)$ be an AEC such that $K \subseteq R\text {-Mod}$

and K is closed under finite direct sums, then:

• • If K is closed under pure-injective envelopes, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda \geq \operatorname {LS}(\mathbf {K})$ such that $\lambda ^{|R| + \aleph _0}= \lambda $ .

• • If K is closed under pure submodules and pure epimorphic images, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda $ such that $\lambda ^{|R| + \aleph _0}= \lambda $ .

• • Assume R is Von Neumann regular. If $\mathbf {K}$ is closed under submodules and has arbitrarily large models, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda $ such that $\lambda ^{|R| + \aleph _0}= \lambda $ .

As an application of these results we give new characterizations of noetherian rings, pure-semisimple rings, Dedekind domains, and fields via superstability. Moreover, we show how these results can be used to show a link between being good in the stability hierarchy and being good in the axiomatizability hierarchy.

Another application is the existence of universal models with respect to pure embeddings in several classes of modules. Among them, the class of flat modules and the class of $\mathfrak {s}$ -torsion modules.

We show that every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra. It is known that a graded ideal I of a Leavitt path algebra is isomorphic to the Leavitt path algebra of a graph, known as the generalised hedgehog graph, which is defined based on certain sets of vertices uniquely determined by I. However, this isomorphism may not be graded. We show that replacing the short ‘spines’ of the generalised hedgehog graph with possibly fewer, but then necessarily longer spines, we obtain a graph (which we call the porcupine graph) whose Leavitt path algebra is graded isomorphic to I. Our proof can be adapted to show that, for every closed gauge-invariant ideal J of a graph $C^*$ -algebra, there is a gauge-invariant $*$ -isomorphism mapping the graph $C^*$ -algebra of the porcupine graph of J onto $J.$

In noncommutative algebraic geometry an Artin–Schelter regular (AS-regular) algebra is one of the main interests, and every three-dimensional quadratic AS-regular algebra is a geometric algebra, introduced by Mori, whose point scheme is either $\mathbb {P}^{2}$ or a cubic curve in $\mathbb {P}^{2}$ by Artin et al. [‘Some algebras associated to automorphisms of elliptic curves’, in: The Grothendieck Festschrift, Vol. 1, Progress in Mathematics, 86 (Birkhäuser, Basel, 1990), 33–85]. In the preceding paper by the authors Itaba and Matsuno [‘Defining relations of 3-dimensional quadratic AS-regular algebras’, Math. J. Okayama Univ. 63 (2021), 61–86], we determined all possible defining relations for these geometric algebras. However, we did not check their AS-regularity. In this paper, by using twisted superpotentials and twists of superpotentials in the Mori–Smith sense, we check the AS-regularity of geometric algebras whose point schemes are not elliptic curves. For geometric algebras whose point schemes are elliptic curves, we give a simple condition for three-dimensional quadratic AS-regular algebras. As an application, we show that every three-dimensional quadratic AS-regular algebra is graded Morita equivalent to a Calabi–Yau AS-regular algebra.

Let K be a field of arbitrary characteristic, $${\cal A}$$ be a commutative K-algebra which is a domain of essentially finite type (e.g., the algebra of functions on an irreducible affine algebraic variety), $${a_r}$$ be its Jacobian ideal, and $${\cal D}\left( {\cal A} \right)$$ be the algebra of differential operators on the algebra $${\cal A}$$ . The aim of the paper is to give a simplicity criterion for the algebra $${\cal D}\left( {\cal A} \right)$$ : the algebra $${\cal D}\left( {\cal A} \right)$$ is simple iff $${\cal D}\left( {\cal A} \right)a_r^i{\cal D}\left( {\cal A} \right) = {\cal D}\left( {\cal A} \right)$$ for all i ≥ 1 provided the field K is a perfect field. Furthermore, a simplicity criterion is given for the algebra $${\cal D}\left( R \right)$$ of differential operators on an arbitrary commutative algebra R over an arbitrary field. This gives an answer to an old question to find a simplicity criterion for algebras of differential operators.

Given a compact Kähler manifold X, it is shown that pairs of the form $(E,\, D)$ , where E is a trivial holomorphic vector bundle on X, and D is an integrable holomorphic connection on E, produce a neutral Tannakian category. The corresponding pro-algebraic affine group scheme is studied. In particular, it is shown that this pro-algebraic affine group scheme for a compact Riemann surface determines uniquely the isomorphism class of the Riemann surface.

We prove that there is a natural plectic weight filtration on the cohomology of Hilbert modular varieties in the spirit of Nekovář and Scholl. This is achieved with the help of Morel’s work on weight t-structures and a detailed study of partial Frobenius. We prove in particular that the partial Frobenius extends to toroidal and minimal compactifications.

Let k be a finite field of characteristic p, and G a compact p-adic analytic group. Write kG for the completed group ring of G over k. In this paper, we describe the structure of the ring kG/P, where P is a minimal prime ideal of kG. We give an explicit isomorphism between kG/P and a matrix ring with coefficients in the ring ${(k'G')_\alpha }$ , where $k'/k$ is a finite field extension, $G'$ is a large subquotient of G with no finite normal subgroups, and (–)α is a “twisting” operation that preserves many desirable properties of the ring structure. We demonstrate the usefulness of this isomorphism by studying the correspondence induced between certain ideals of kG and those of ${(k'G')_\alpha }$ , and showing that this preserves many useful “group-theoretic” properties of ideals, in particular almost-faithfulness and control by a closed normal subgroup.

We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided multi-fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively two-, three- and four-dimensional framed local topological field theories. In particular, we produce a framed three-dimensional local topological field theory attached to the category of representations of a quantum group at any value of $q$.

For a finite dimensional algebra A, the bounded homotopy category of projective A-modules and the bounded derived category of A-modules are dual to each other via certain categories of locally-finite cohomological functors. We prove that the duality gives rise to a 2-categorical duality between certain strict 2-categories involving bounded homotopy categories and bounded derived categories, respectively. We apply the 2-categorical duality to the study of triangle autoequivalence groups.

Let R = K[x, σ] be the skew polynomial ring over a field K, where σ is an automorphism of K of finite order. We show that prime elements in R correspond to completely prime one-sided ideals – a notion introduced by Reyes in 2010. This extends the natural correspondence between prime elements and prime ideals in commutative polynomial rings.

We introduce and study the notion of Gorenstein silting complexes, which is a generalization of Gorenstein tilting modules in Gorenstein-derived categories. We give the equivalent characterization of Gorenstein silting complexes. We give a sufficient condition for a partial Gorenstein silting complex to have a complement.