Related papers: Topological Koszulity for Category Algebras
Let G denote a connected, quasi-split reductive group over a field F that is complete with respect to a discrete valuation and that has a perfect residue field. Under mild hypotheses, we produce a subset of the Lie algebra g(F) that picks…
We study the homological algebra in the category $\mathcal{P}_p$ of strict polynomial functors of degree $p$ over a field of positive characteristic $p$. We determine the decomposition matrix of our category and we calculate the Ext-groups…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
Reflexive dg categories were introduced by Kuznetsov and Shinder to abstract the duality between bounded and perfect derived categories. In particular this duality relates their Hochschild cohomologies, autoequivalence groups, and…
We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories…
We identify a close relationship between stable sheaf cohomology for polynomial functors applied to the cotangent bundle on projective space, and Koszul--Ringel duality on the category of strict polynomial functors as described in the work…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
We discover a new connection between Koszul theory and representation theory. Let $\La$ be a quadratic algebra defined by a locally finite quiver with relations. Firstly, we give a combinatorial description of the local Koszul complexes and…
We define and study the derived categories of the first kind for curved DG and A-infinity algebras complete over a pro-Artinian local ring with the curvature elements divisible by the maximal ideal of the local ring. We develop the Koszul…
We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…
Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and…
We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to the broader setting of $t$-structured tensor triangulated $\infty$-categories ($ttt$-$\infty$-categories). Under a…
There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen's axioms for a homotopy model category. The…
We show that tree almost automorphism groups, including Neretin groups, satisfy the analogue of the $F_\infty$-finiteness condition in the world of totally disconnected groups: They possess a cellular action on a contractible cellular…
Several important cases of vector bundles with extra structure (such as Higgs bundles and triples) may be regarded as examples of twisted representations of a finite quiver in the category of sheaves of modules on a variety/manifold/ringed…
We find for each simple finitary Lie algebra $\mathfrak{g}$ a category $\mathbb{T}_\mathfrak{g}$ of integrable modules in which the tensor product of copies of the natural and conatural modules are injective. The objects in…
We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
We introduce a natural concept of positive definiteness for bundle maps between Fell bundles over (possibly different) discrete groups and describe several examples. Such maps induce completely positive maps between the associated full…
In this paper, we revisit the construction of the hairy graph complexes associated to a cyclic operad, by exploiting modules over the appropriate twisted linearization of the downward Brauer category (and working over a field of…