To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We prove that there exist finitely generated, stably finite algebras which are not linear sofic. This was left open by Arzhantseva and Păunescu in 2017.
Let $\textsf{T}$ be a triangulated category with shift functor $\Sigma \colon \textsf{T} \to \textsf{T}$. Suppose $(\textsf{A},\textsf{B})$ is a co-t-structure with coheart $\textsf{S} = \Sigma \textsf{A} \cap \textsf{B}$ and extended coheart $\textsf{C} = \Sigma^2 \textsf{A} \cap \textsf{B} = \textsf{S}* \Sigma \textsf{S}$, which is an extriangulated category. We show that there is a bijection between co-t-structures $(\textsf{A}^{\prime},\textsf{B}^{\prime})$ in $\textsf{T}$ such that $\textsf{A} \subseteq \textsf{A}^{\prime} \subseteq \Sigma \textsf{A}$ and complete cotorsion pairs in the extended coheart $\textsf{C}$. In the case that $\textsf{T}$ is Hom-finite, $\textbf{k}$-linear and Krull–Schmidt, we show further that there is a bijection between complete cotorsion pairs in $\textsf{C}$ and functorially finite torsion classes in $\textsf{mod}\, \textsf{S}$.
We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by “spread modules,” which are sometimes called “interval modules” in the persistence theory literature. We show that both the dimension vector and rank invariant are equivalent to homological invariants taking values in groups generated by spread modules. We also show that the free abelian group generated by the “single-source” spread modules gives rise to a new invariant which is finer than the rank invariant.
We establish a Hirzebruch–Riemann–Roch-type theorem and a Grothendieck–Riemann–Roch-type theorem for matrix factorizations on quotient Deligne–Mumford stacks. For this, we first construct a Hochschild–Kostant–Rosenberg-type isomorphism explicit enough to yield a categorical Chern character formula. Then, we find an expression of the canonical pairing of Shklyarov under the isomorphism.
This paper gives a description of the full space of Bridgeland stability conditions on the bounded derived category of a contraction algebra associated to a $3$-fold flop. The main result is that the stability manifold is the universal cover of a naturally associated hyperplane arrangement, which is known to be simplicial and in special cases is an ADE root system. There are four main corollaries: (1) a short proof of the faithfulness of pure braid group actions in both algebraic and geometric settings, the first that avoid normal forms; (2) a classification of tilting complexes in the derived category of a contraction algebra; (3) contractibility of the stability space associated to the flop; and (4) a new proof of the $K(\unicode{x3c0} \,,1)$-theorem in various finite settings, which includes ADE braid groups.
We present a framework for the computation of the Hopf 2-cocycles involved in the deformations of Nichols algebras over semisimple Hopf algebras. We write down a recurrence formula and investigate the extent of the connection with invariant Hochschild cohomology in terms of exponentials. As an example, we present detailed computations leading to the explicit description of the Hopf 2-cocycles involved in the deformations of a Nichols algebra of Cartan type $A_2$ with $q=-1$, a.k.a. the positive part of the small quantum group $\mathfrak{u}^+_{\sqrt{-\text{1}}}(\mathfrak{sl}_3)$. We show that these cocycles are generically pure, that is they are not cohomologous to exponentials of Hochschild 2-cocycles.
Given a negatively graded Calabi-Yau algebra, we regard it as a DG algebra with vanishing differentials and study its cluster category. We show that this DG algebra is sign-twisted Calabi-Yau and realise its cluster category as a triangulated hull of an orbit category of a derived category and as the singularity category of a finite-dimensional Iwanaga-Gorenstein algebra. Along the way, we give two results that stand on their own. First, we show that the derived category of coherent sheaves over a Calabi-Yau algebra has a natural cluster tilting subcategory whose dimension is determined by the Calabi-Yau dimension and the a-invariant of the algebra. Second, we prove that two DG orbit categories obtained from a DG endofunctor and its homotopy inverse are quasi-equivalent. As an application, we show that the higher cluster category of a higher representation infinite algebra is triangle equivalent to the singularity category of an Iwanaga-Gorenstein algebra, which is explicitly described. Also, we demonstrate that our results generalise the context of Keller–Murfet–Van den Bergh on the derived orbit category involving a square root of the AR translation.
For a not-necessarily commutative ring $R$ we define an abelian group $W(R;M)$ of Witt vectors with coefficients in an $R$-bimodule $M$. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous formal properties and structure. One main result is that $W(R) := W(R;R)$ is Morita invariant in $R$. For an $R$-linear endomorphism $f$ of a finitely generated projective $R$-module we define a characteristic element $\chi _f \in W(R)$. This element is a non-commutative analogue of the classical characteristic polynomial and we show that it has similar properties. The assignment $f \mapsto \chi _f$ induces an isomorphism between a suitable completion of cyclic $K$-theory $K_0^{\mathrm {cyc}}(R)$ and $W(R)$.
Skew-gentle algebras are a generalisation of the well-known class of gentle algebras with which they share many common properties. In this work, using non-commutative Gröbner basis theory, we show that these algebras are strong Koszul and that the Koszul dual is again skew-gentle. We give a geometric model of their bounded derived categories in terms of polygonal dissections of surfaces with orbifold points, establishing a correspondence between curves in the orbifold and indecomposable objects. Moreover, we show that the orbifold dissections encode homological properties of skew-gentle algebras such as their singularity categories, their Gorenstein dimensions and derived invariants such as the determinant of their q-Cartan matrices.
We introduce an infinite variant of hypersurface support for finite-dimensional, noncommutative complete intersections. We show that hypersurface support defines a support theory for the big singularity category $\operatorname {Sing}(R)$, and that the support of an object in $\operatorname {Sing}(R)$ vanishes if and only if the object itself vanishes. Our work is inspired by Avramov and Buchweitz’ support theory for (commutative) local complete intersections. In the companion piece [27], we employ hypersurface support for infinite-dimensional modules, and the results of the present paper, to classify thick ideals in stable categories for a number of families of finite-dimensional Hopf algebras.
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.
We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain subcategories. We also exhibit some connections between cut cotorsion pairs and Auslander–Buchweitz approximation theory, by considering relative analogs for Frobenius pairs and Auslander–Buchweitz contexts. Several applications are given in the settings of relative Gorenstein homological algebra, chain complexes, and quasi-coherent sheaves, as well as to characterize some important results on the Finitistic Dimension Conjecture, the existence of right adjoints of quotient functors by Serre subcategories, and the description of cotorsion pairs in triangulated categories as co-t-structures.
Let $G$ be a finite group with cyclic Sylow $p$-subgroups, and let $k$ be a field of characteristic $p$. Then $H^{*}(BG;k)$ and $H_*(\Omega BG{{}^{{}^{\wedge }}_p};k)$ are $A_\infty$ algebras whose structure we determine up to quasi-isomorphism.
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.
We give counterexamples to the degeneration of the Hochschild-Kostant-Rosenberg spectral sequence in characteristic p, both in the untwisted and twisted settings. We also prove that the de Rham-HP and crystalline-TP spectral sequences need not degenerate.
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.
This is a general study of twisted Calabi–Yau algebras that are $\mathbb {N}$-graded and locally finite-dimensional, with the following major results. We prove that a locally finite graded algebra is twisted Calabi–Yau if and only if it is separable modulo its graded radical and satisfies one of several suitable generalizations of the Artin–Schelter regularity property, adapted from the work of Martinez-Villa as well as Minamoto and Mori. We characterize twisted Calabi–Yau algebras of dimension 0 as separable k-algebras, and we similarly characterize graded twisted Calabi–Yau algebras of dimension 1 as tensor algebras of certain invertible bimodules over separable algebras. Finally, we prove that a graded twisted Calabi–Yau algebra of dimension 2 is noetherian if and only if it has finite GK dimension.
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.
Let R be a semiprime ring with extended centroid C and let$I(x)$ denote the set of all inner inverses of a regular element x in R. Given two regular elements$a, b$ in R, we characterise the existence of some$c\in R$ such that$I(a)+I(b)=I(c)$. Precisely, if$a, b, a+b$ are regular elements of R and a and b are parallel summable with the parallel sum${\cal P}(a, b)$, then$I(a)+I(b)=I({\cal P}(a, b))$. Conversely, if$I(a)+I(b)=I(c)$ for some$c\in R$, then$\mathrm {E}[c]a(a+b)^{-}b$ is invariant for all$(a+b)^{-}\in I(a+b)$, where$\mathrm {E}[c]$ is the smallest idempotent in C satisfying$c=\mathrm {E}[c]c$. This extends earlier work of Mitra and Odell for matrix rings over a field and Hartwig for prime regular rings with unity and some recent results proved by Alahmadi et al. [‘Invariance and parallel sums’, Bull. Math. Sci.10(1) (2020), 2050001, 8 pages] concerning the parallel summability of unital prime rings and abelian regular rings.
Generalizing von Neumann’s result on type II$_1$ von Neumann algebras, I characterise lattice isomorphisms between projection lattices of arbitrary von Neumann algebras by means of ring isomorphisms between the algebras of locally measurable operators. Moreover, I give a complete description of ring isomorphisms of locally measurable operator algebras when the von Neumann algebras are without type II direct summands.