Search arXivSearch

arXiv · 2401.13583

On the functoriality of universal abelian factorizations

Abstract

In this note, we discuss several aspects of the functoriality of universal abelian factorizations associated to representations of quivers into abelian categories. After recalling the general construction of universal abelian factorizations, we review the canonical lifting procedures for exact functors and natural transformations thereof (already studied by F. Ivorra in a slightly different axiomatic framework) and we describe how these interact with general categorical constructions; for sake of simplicity, we mostly focus on the case where the quivers and representations considered are defined by actual (additive) categories and (additive) functors. We then extend these known results in two directions which have not been explored explicitly in the existing literature: on the one side, to the setting of multi-linear functors; on the other side, to the setting of abelian fibered categories. Combining these two extensions, we are able to discuss the case of monoidal structures on abelian fibered categories; the latter case has been successfully applied in the author's construction of the tensor structure on perverse Nori motives.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Luca Terenzi. 2024-01-24. On the functoriality of universal abelian factorizations. https://arxiv.org/abs/2401.13583

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hochschild cohomology of the second kind: Koszul duality and Morita invariance

We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in the twisted derived category. The Hochschild cohomology of the second kind of a curved or curved algebra $A$ is then equivalent to the classical Hochschild cohomology of the twisted derived dg category of $A$, which is often geometrically meaningful. Examples include the category of $\infty$-local systems on a topological space, the bounded derived category of a complex manifold and the category of matrix factorizations. We also show that Hochschild cohomology of the second kind is preserved under (nonconilpotent) Koszul duality and weak equivalences of curved algebras. The main technical ingredient is a new bimodule version of Koszul duality.

math.CT

Localization of lax symmetric monoidal categories

In this note, we explain in some detail how one can fiberwise localize a (co)lax symmetric monoidal infinity-category. This construction was tacitly used in Section 5 of our recent paper "On the equivalence of the Lurie's infinity-operads and dendroidal infinity-operads". Version 2: A stronger version of the result is proven. Given a locally cocartesian fibration $f:X\to B$ and a collection of marked arrows $X^\circ\subset f^{-1}(B^{eq})$ in $X$ closed under locally cocartesian liftings, we prove that the localization $\mathcal{L}(X,X^\circ)\to B$ is also a locally cocartesian fibration whose fibers are localizations of the fibers of $f$. This result is applied to the description of localizations of lax symmetric monoidal categories.

math.CT

Cocompactness and Presentability

We give a short proof that $κ$-cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable $\infty$-categories. A consequence is that an $\infty$-category $\mathcal{C}$ such that both $\mathcal{C}$ and $\mathcal{C}^\mathsf{op}$ are presentable is a small complete lattice, extending a classical theorem of Gabriel-Ulmer. Along the way, we prove a nilpotence result for phantom maps in general pointed presentable $\infty$-categories. Additionally, we show that a strengthening of our main result is equivalent to the existence of a proper class of measurable cardinals.

math.CT