Let $F:\; {\mathscr {C}} \to {\mathscr {E}} \ $ be a functor from a category $\mathscr {C} \ $ to a homological (Borceux–Bourn) or semi-abelian (Janelidze–Márki–Tholen) category $\mathscr {E}$. We investigate conditions under which the homology of an object $X$ in $\mathscr {C}$ with coefficients in the functor $F$, defined via projective resolutions in $\mathscr {C}$, remains independent of the chosen resolution. Consequently, the left derived functors of $F$ can be constructed analogously to the classical abelian case.

Our approach extends the concept of chain homotopy to a non-additive setting using the technique of imaginary morphisms. Specifically, we utilize the approximate subtractions of Bourn–Janelidze, originally introduced in the context of subtractive categories. This method is applicable when $\mathscr {C}$ is a pointed regular category with finite coproducts and enough projectives, provided the class of projectives is closed under protosplit subobjects, a new condition introduced in this article and naturally satisfied in the abelian context. We further assume that the functor $F$ meets certain exactness conditions: for instance, it may be protoadditive and preserve proper morphisms and binary coproducts—conditions that amount to additivity when $\mathscr {C}$ and $\mathscr {E}$ are abelian categories.

Within this framework, we develop a basic theory of derived functors, compare it with the simplicial approach, and provide several examples.

Given any toric subvariety Y of a smooth toric variety X of codimension k, we construct a length k resolution of ${\mathcal O}_Y$ by line bundles on X. Furthermore, these line bundles can all be chosen to be direct summands of the pushforward of ${\mathcal O}_X$ under the map of toric Frobenius. The resolutions are built from a stratification of a real torus that was introduced by Bondal and plays a role in homological mirror symmetry.

As a corollary, we obtain a virtual analogue of Hilbert’s syzygy theorem for smooth projective toric varieties conjectured by Berkesch, Erman and Smith. Additionally, we prove that the Rouquier dimension of the bounded derived category of coherent sheaves on a toric variety is equal to the dimension of the variety, settling a conjecture of Orlov for these examples. We also prove Bondal’s claim that the pushforward of the structure sheaf under toric Frobenius generates the derived category of a smooth toric variety and formulate a refinement of Uehara’s conjecture that this remains true for arbitrary line bundles.

We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk [A homology theory for étale groupoids. J. Reine Angew. Math. 521 (2000), 25–46], with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for principal groupoids whose orbits are copies of an Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

We give explicit combinatorial descriptions of three Schur functors arising in the theory of pre-Lie algebras. The first of them leads to a functorial description of the underlying vector space of the universal enveloping pre-Lie algebra of a given Lie algebra, strengthening the Poincaré-Birkhoff-Witt (PBW) theorem of Segal. The two other Schur functors provide functorial descriptions of the underlying vector spaces of the universal multiplicative enveloping algebra and of the module of Kähler differentials of a given pre-Lie algebra. An important consequence of such descriptions is an interpretation of the cohomology of a pre-Lie algebra with coefficients in a module as a derived functor for the category of modules over the universal multiplicative enveloping algebra.

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.

We describe an organizing framework for the study of infinitary combinatorics. This framework is Čech cohomology. It describes ZFC principles distinguishing among the ordinals of the form $\omega _n$ . More precisely, this framework correlates each $\omega _n$ with an $(n+1)$ -dimensional generalization of Todorcevic’s walks technique, and begins to account for that technique’s “unreasonable effectiveness” on $\omega _1$ .

We show in contrast that on higher cardinals $\kappa $ , the existence of these principles is frequently independent of the ZFC axioms. Finally, we detail implications of these phenomena for the computation of strong homology groups and higher derived limits, deriving independence results in algebraic topology and homological algebra, respectively, in the process.

Abstract prepared by Jeffrey Bergfalk.

E-mail: jeffrey.bergfalk@univie.ac.at

Extriangulated categories were introduced by Nakaoka and Palu to give a unification of properties in exact categories and extension-closed subcategories of triangulated categories. A notion of tilting pairs in an extriangulated category is introduced in this paper. We give a Bazzoni characterization of tilting pairs in this setting. We also obtain the Auslander–Reiten correspondence of tilting pairs which classifies finite $\mathcal {C}$-tilting subcategories for a certain self-orthogonal subcategory $\mathcal {C}$ with some assumptions. This generalizes the known results given by Wei and Xi for the categories of finitely generated modules over Artin algebras, thereby providing new insights in exact and triangulated categories.

Keller proved in 1999 that the Gerstenhaber algebra structure on the Hochschild cohomology of an algebra is an invariant of the derived category. In this paper, we adapt his approach to show that the Gerstenhaber algebra structure on the Tate–Hochschild cohomology of an algebra is preserved under singular equivalences of Morita type with level, a notion introduced by the author in previous work.

We establish a combinatorial model for the Boardman–Vogt tensor product of several absolutely free operads, that is, free symmetric operads that are also free as 𝕊-modules. Our results imply that such a tensor product is always a free 𝕊-module, in contrast with the results of Kock and Bremner–Madariaga on hidden commutativity for the Boardman–Vogt tensor square of the operad of non-unital associative algebras.

We show that the Schur multiplier of a Noetherian group need not be finitely generated. We prove that the non-abelian tensor product of a polycyclic (resp. polycyclic-by-finite) group and a Noetherian group is a polycyclic (resp. polycyclic-by-finite) group. We also prove new versions of Schur's theorem.

The algebraic EHP sequences, algebraic analogues of the EHP sequences in homotopy theory, are important tools in algebraic topology. This note will outline two new proofs of the existence of the algebraic EHP sequences. The first proof is derived from the minimal injective resolution of the reduced singular cohomology of spheres, and the second one follows Bousfield's idea using the loop functor of unstable modules.

Let $X$ be a quasi-compact and quasi-separated scheme. There are two fundamental and pervasive facts about the unbounded derived category of $X$: (1) $\mathsf{D}_{\text{qc}}(X)$ is compactly generated by perfect complexes and (2) if $X$ is noetherian or has affine diagonal, then the functor $\unicode[STIX]{x1D6F9}_{X}:\mathsf{D}(\mathsf{QCoh}(X))\rightarrow \mathsf{D}_{\text{qc}}(X)$ is an equivalence. Our main results are that for algebraic stacks in positive characteristic, the assertions (1) and (2) are typically false.

Given a complete hereditary cotorsion pair $(\mathcal{X}, \mathcal{Y})$, we introduce the concept of $(\mathcal{X}, \mathcal{X} \cap \mathcal{Y})$-Gorenstein projective modules and study its stability properties. As applications, we first get two model structures related to Gorenstein flat modules over a right coherent ring. Secondly, for any non-negative integer n, we construct a cofibrantly generated model structure on Mod(R) in which the class of fibrant objects are the modules of Gorenstein injective dimension ≤ n over a left Noetherian ring R. Similarly, if R is a left coherent ring in which all flat left R-modules have finite projective dimension, then there is a cofibrantly generated model structure on Mod(R) such that the cofibrant objects are the modules of Gorenstein projective dimension ≤ n. These structures have their analogous in the category of chain complexes.

We construct categorical braid group actions from 2-representations of a Heisenberg algebra. These actions are induced by certain complexes which generalize spherical (Seidel–Thomas) twists and are reminiscent of the Rickard complexes defined by Chuang–Rouquier. Conjecturally, one can relate our complexes to Rickard complexes using categorical vertex operators.

In this paper, we further study Tate cohomology of modules over a commutative ring with respect to semidualizing modules using the ideals of Sather-Wagstaff et al. [‘Tate cohomology with respect to semidualizing modules’, J. Algebra 324 (2010), 2336–2368]. In particular, we prove a balance result for the Tate cohomology ${\widehat{\mathrm{Ext} }}^{n} $ for any $n\in \mathbb{Z} $. This result complements the work of Sather-Wagstaff et al., who proved that the result holds for any $n\geq 1$. We also discuss some vanishing properties of Tate cohomology.

This is a report on recent work of Chałupnik and Touzé. We explain the Koszul duality for the category of strict polynomial functors and make explicit the underlying monoidal structure which seems to be of independent interest. Then we connect this to Ringel duality for Schur algebras and describe Serre duality for strict polynomial functors.

The purpose of this note is to show that the Betti realization of motives is compatible with Grothendieck's six operations and the nearby cycles functors, which in the motivic world, were previously studied by the author. We first review the construction of the Betti realization. Then, we establish some general criteria which, applied to the Betti realization, give the compatibilities we seek except for the one concerning the nearby cycles functors. The latter will be treated in a separate section.

We prove a structure theorem for triangulated Calabi–Yau categories: an algebraic 2-Calabi–Yau triangulated category over an algebraically closed field is a cluster category if and only if it contains a cluster-tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for higher cluster categories. As an application to commutative algebra, we show that the stable category of maximal Cohen–Macaulay modules over a certain isolated singularity of dimension 3 is a cluster category. This implies the classification of the rigid Cohen–Macaulay modules first obtained by Iyama and Yoshino. As an application to the combinatorics of quiver mutation, we prove the non-acyclicity of the quivers of endomorphism algebras of cluster-tilting objects in the stable categories of representation-infinite preprojective algebras. No direct combinatorial proof is known as yet. In the appendix, Michel Van den Bergh gives an alternative proof of the main theorem by appealing to the universal property of the triangulated orbit category.

For a ZG-lattice A, the nth partial free Euler characteristic εn(A) is defined as the infimum of all where F* varies over all free resolutions of A. It is shown that there exists a stably free resolution E* of A which realises εn(A) for all n≥0 and that the function n → εn(A) is ultimately polynomial no residue classes. The existence of E* is established with the help of new invariants σn(A) of A. These are elements in certain image groups of the projective class group of ZG. When ZG allows cancellation, E* is a minimal free resolution and is essentially unique. When A is periodic, E* is ultimately periodic of period a multiple of the projective period of A.

In this paper a generalization of the interpretation of Robinson of torsion products as homotopy groups is given. This generalization allows us to define right derived functors of a coproduct preserving functor defined on a small category with all finite colimits to the category of abelian groups. We show that when the category is additive the definition coincides with the definitions of the right derived functors of Cartan and Eilenberg.