Representability for small and big triangulated categories

George Ciprian Modoi

2024-05-10

Abstract:In this note we give a variant for a Brown representability type theorem in the spirit of Rouquier and Neeman. The main advantage of our arguments are that they can be dualized.

Category Theory

What problem does this paper attempt to address?

Fully Triangulated Categories

Husniyah Alzubaidi,Antony Maciocia

2023-12-12

Abstract:We modify the axioms of triangulated categories to include both higher triangles and distinguished maps of higher triangles. The distinguished maps are specializations of Neeman's ``good'' maps of $2$-triangles. The axioms both simplify Neeman's axioms in his 1991 paper and generalize them to higher triangles in the way proposed by Balmer et al. We provide a geometric formulation via directed truncated simplices to enable a more concrete approach. The axioms are modelled by homotopy and derived categories. We look at a number of key theorems including the fact that sums of maps of $2$-triangles are distinguished if and only if the maps are distinguished and a strong version of the $3$x$3$ lemma. These illustrate some key proof methods. We also show that maps of faces of distinguished triangles are distinguished. We construct some useful distinguished $5$-triangles.

Category Theory,Algebraic Geometry,Algebraic Topology
A Representability Theorem for Stacks in Derived Geometry Contexts

Rhiannon Savage

2024-05-14

Abstract:The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and Kremnizer, a new theory of derived analytic geometry has been proposed as geometry relative to the $(\infty,1)$-category of simplicial commutative Ind-Banach $R$-modules, for $R$ a Banach ring. In this paper, we prove a representability theorem which holds in a very general context, which we call a representability context, encompassing both the derived algebraic geometry context of Toën and Vezzosi and these new derived analytic geometry contexts. The representability theorem gives natural and easily verifiable conditions for checking that derived stacks in these contexts are $n$-geometric, such as having an $n$-geometric truncation, being nilcomplete, and having an obstruction theory. Future work will explore representability of certain moduli stacks arising in derived analytic geometry, for example moduli stacks of Galois representations.

Algebraic Geometry,Algebraic Topology,Category Theory
Proxy-small objects present compactly generated categories

Benjamin Briggs,Srikanth B. Iyengar,Greg Stevenson

2024-11-12

Abstract:We develop a correspondence between presentations of compactly generated triangulated categories as localizations of derived categories of ring spectra and proxy-small objects, and explore some consequences. In addition, we give a characterization of proxy-smallness in terms of coproduct preservation of the associated corepresentable functor `up to base change'.

Category Theory,K-Theory and Homology
Triangulated Categories of Big Motives via Enriched Functors

Peter Bonart

DOI: https://doi.org/10.48550/arXiv.2310.17349

2023-10-26

Abstract:Based on homological algebra of Grothendieck categories of enriched functors, two models for Voevodsky's category of big motives with reasonable correspondences are given in this paper.

Algebraic Geometry,Category Theory,K-Theory and Homology
Gluing Approximable Triangulated Categories

Jesse Burke,Amnon Neeman,Bregje Pauwels

DOI: https://doi.org/10.1017/fms.2023.97

2023-12-19

Abstract:Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful. Recently, a modified version of this was introduced in triangulated categories other than the derived category of a ring. A triangulated category is approximable if this modified procedure is possible. Not surprisingly this has proved a powerful tool. For example: the fact that the derived category of a quasi compact, separated scheme is approximable has led to major improvements on old theorems due to Bondal, Van den Bergh and Rouquier. In this article we prove that, under weak hypotheses, the recollement of two approximable triangulated categories is approximable. In particular, this shows many of the triangulated categories that arise in noncommutative algebraic geometry are approximable. Furthermore, the lemmas and techniques developed in this article form a powerful toolbox which has interesting applications in existing and forthcoming work by the authors.

Category Theory,K-Theory and Homology
Representable diagrammatic sets as a model of weak higher categories

Amar Hadzihasanovic

DOI: https://doi.org/10.48550/arXiv.1909.07639

2019-09-17

Abstract:Developing an idea of Kapranov and Voevodsky, we introduce a model of weak omega-categories based on directed complexes, combinatorial presentations of pasting diagrams. We propose this as a convenient framework for higher-dimensional rewriting. We define diagrammatic sets to be presheaves on a category of directed complexes presenting pasting diagrams with spherical boundaries. Diagrammatic sets have structural face and degeneracy operations, but no structural composition. We define a notion of equivalence cell in a diagrammatic set, and say that a diagrammatic set is representable if all pasting diagrams with spherical boundaries are connected to individual cells -- their weak composites -- by a higher-dimensional equivalence cell. We develop the basic theory of representable diagrammatic sets (RDSs), and prove that equivalence cells satisfy the expected properties in an RDS. We study nerves of strict omega-categories as RDSs and prove that 2-truncated RDSs are equivalent to bicategories. Finally, we connect the combinatorics of diagrammatic sets and simplicial sets, and prove a version of the homotopy hypothesis for "groupoidal" RDSs: there exists a geometric realisation functor for diagrammatic sets, inducing isomorphisms between combinatorial and classical homotopy groups, which has a homotopical right inverse.

Category Theory
Weakly approximable triangulated categories and enhancements: a survey

Alberto Canonaco,Amnon Neeman,Paolo Stellari

2024-07-08

Abstract:This paper surveys some recent results, concerning the intrinsicness of natural subcategories of weakly approximable triangulated subcategories. We also review the results about uniqueness of enhancements of triangulated categories, with the aim of showing the fruitful interplay. In particular, we show how this leads to a vast generalization of a result by Rickard about derived invariance for schemes and rings.

Algebraic Geometry,Category Theory,Representation Theory
A finite approach to representable multicategories and related structures

Gabriele Lobbia

2023-12-11

Abstract:It is known that monoidal categories have a finite definition, whereas multicategories have an infinite (albeit finitary) definition. Since monoidal categories correspond to representable multicategories, it goes without saying that representable multicategories should also admit a finite description. With this in mind, we give a new finite definition of a structure called a short multicategory, which only has multimaps of dimension at most four, and show that under certain representability conditions short multicategories correspond to various flavours of representable multicategories. This is done in both the classical and skew settings.

Category Theory
Realization functors in algebraic triangulated categories

Janina C. Letz,Julia Sauter

2024-12-10

Abstract:Let $\mathcal{T}$ be an algebraic triangulated category and $\mathcal{C}$ an extension-closed subcategory with $\operatorname{Hom}(\mathcal{C}, \Sigma^{<0} \mathcal{C})=0$. Then $\mathcal{C}$ has an exact structure induced from exact triangles in $\mathcal{T}$. Keller and Vossieck say that there exists a triangle functor $\operatorname{D}^b(\mathcal{C}) \to \mathcal{T}$ extending the inclusion $\mathcal{C} \subseteq \mathcal{T}$. We provide the missing details for a complete proof.

Representation Theory
The passage among the subcategories of weakly approximable triangulated categories

Alberto Canonaco,Christian Haesemeyer,Amnon Neeman,Paolo Stellari

2024-02-07

Abstract:In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This extends all the existing results about subcategories of weakly approximable triangulated categories. Together with a forthcoming paper about uniqueness of enhancements, our result allows us to generalize a celebrated theorem by Rickard which asserts that if $R$ and $S$ are left coherent rings, then a derived equivalence of $R$ and $S$ is "independent of the decorations". That is, if $D^?(R\text{-}\square)$ and $D^?(S\text{-}\square)$ are equivalent as triangulated categories for some choice of decorations $?$ and $\square$, then they are equivalent for every choice of decorations. But our theorem is much more general, and applies also to quasi-compact and quasi-separated schemes -- even to the relative version, in which the derived categories consist of complexes with cohomology supported on a given closed subscheme with quasi-compact complement.

Algebraic Geometry,Category Theory,Representation Theory
Duality pairs, phantom maps, and definability in triangulated categories

Isaac Bird,Jordan Williamson

DOI: https://doi.org/10.1017/prm.2024.73

2024-09-13

Abstract:We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure quotients and pure extensions, as well as providing a way to show the existence of approximations. One key ingredient is a new characterisation of phantom maps. We then introduce an axiomatic form of Auslander-Gruson-Jensen duality, from which we define dual definable categories, and show that these coincide with symmetric coproduct closed duality pairs. This framework is ubiquitous, encompassing both algebraic triangulated categories and stable homotopy theories. Accordingly, we provide many applications in both settings, with a particular emphasis on silting theory and stratified tensor-triangulated categories.

Category Theory,Commutative Algebra,Algebraic Topology,Representation Theory
Representability theorem in derived analytic geometry

Mauro Porta,Tony Yue Yu

DOI: https://doi.org/10.48550/arXiv.1704.01683

2022-03-17

Abstract:We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived non-archimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and practical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor. So the theorem confirms that the notion of derived analytic space is natural and sufficiently general. On the other hand, the conditions are easy to verify in practice. So the theorem enables us to enhance various classical moduli spaces with derived structures, thus provides plenty of down-to-earth examples of derived analytic spaces. For the purpose of proof, we study analytification, square-zero extensions, analytic modules and cotangent complexes in the context of derived analytic geometry. We will explore applications of the representability theorem in our subsequent works. In particular, we will establish the existence of derived mapping stacks via the representability theorem.

Algebraic Geometry,Algebraic Topology,Complex Variables
Notes on Triangulated Categories

Tobias Fritz

DOI: https://doi.org/10.48550/arXiv.1407.3765

2014-07-14

K-Theory and Homology

Abstract:We give an elementary introduction to the theory of triangulated categories covering their axioms, homological algebra in triangulated categories, triangulated subcategories, and Verdier localization. We try to use a minimal set of axioms for triangulated categories and derive all other statements from these, including the existence of biproducts. We conclude with a list of examples.
Single-Set Cubical Categories and Their Formalisation with a Proof Assistant

Philippe Malbos,Tanguy Massacrier,Georg Struth

DOI: https://doi.org/10.1007/s10817-024-09710-9

2024-09-13

Journal of Automated Reasoning

Abstract:We introduce a single-set axiomatisation of cubical -categories, including connections and inverses. We justify these axioms by establishing a series of equivalences between the category of single-set cubical -categories, and their variants with connections and inverses, and the corresponding cubical -categories. We also report on the formalisation of cubical -categories with the Isabelle/HOL proof assistant, which has been instrumental in developing the single-set axiomatisation.

computer science, artificial intelligence
The Restricted Picard Functor

Zev Rosengarten

2024-04-13

Abstract:We prove in significant generality the (almost-)representability of the Picard functor when restricted to smooth test schemes. The novelty lies in the fact that we prove such (almost-)representability beyond the proper setting.

Algebraic Geometry
Simple transitive $2$-representations of some $2$-categories of projective functors

Jakob Zimmermann

DOI: https://doi.org/10.48550/arXiv.1705.01149

2017-05-03

Abstract:We show that every simple transitive $2$-representation of the $2$-category of projective functors for a certain quotient of the quadratic dual of the preprojective algebra associated with a tree is equivalent to a cell $2$-representation.

Representation Theory
Single-set cubical categories and their formalisation with a proof assistant (extended version)

Philippe Malbos,Tanguy Massacrier,Georg Struth

2024-07-05

Abstract:We introduce a single-set axiomatisation of cubical $\omega$-categories, including connections and inverses. We justify these axioms by establishing a series of equivalences between the category of single-set cubical $\omega$-categories, and their variants with connections and inverses, and the corresponding cubical $\omega$-categories. We also report on the formalisation of cubical $\omega$-categories with the Isabelle/HOL proof assistant, which has been instrumental in developing the single-set axiomatisation.

Logic in Computer Science,Category Theory
Categorical Krull-Remak-Schmidt for triangulated categories

Tony J. Puthenpurakal

2024-04-29

Abstract:Let $R$ be a commutative ring If $\mathcal{C}_1$ and $\mathcal{C}_2$ are $R$-linear triangulated categories then we can give an obvious triangulated structure on $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $Hom_\mathcal{C}(U, V) = 0$ if $U \in \mathcal{C}_i$ and $V \in \mathcal{C}_j$ with $i \neq j$. We say a $R$-linear triangulated category $\mathcal{C}$ is disconnected if $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $\mathcal{C}_i$ are non-zero triangulated subcategories of $\mathcal{C}$. Let $\mathcal{C}_i$ and $\mathcal{D}_j$ be connected triangulated $R$ categories with $i \in \Gamma$ and $j \in \Lambda$. Suppose there is an equivalence of triangulated $R$-categories \[ \Phi \colon \bigoplus_{i \in \Gamma}\mathcal{C}_i \xrightarrow{\cong} \bigoplus_{j \in \Lambda}\mathcal{D}_j \] Then we show that there is a bijective function $\pi \colon \Gamma \rightarrow \Lambda$ such that we have an equivalence $\mathcal{C}_i \cong \mathcal{D}_{\pi(i)} $ for all $i \in \Gamma$. We give several examples of connected triangulated categories and also of triangulated subcategories which decompose into utmost finitely many components.

Commutative Algebra,Algebraic Geometry,Representation Theory
Representations over diagrams of abelian categories II: Abelian model structures

Zhenxing Di,Liping Li,Li Liang,Nina Yu

2023-08-06

Abstract:This is the second one of the serial papers studying representations over diagrams of abelian categories. We show that under certain conditions a compatible family of abelian model categories indexed by a small category can amalgamate to an abelian model structure on the category of representations. Our strategy to realize this goal is to consider classes of morphisms rather than cotorsion pairs of objects. Moreover, we give an explicit description of cofibrant objects in this abelian model category. As applications, we construct Gorenstein injective and Gorenstein flat model structures on the category of presheaves of modules for a few special index categories, and give characterizations of Gorenstein homological objects in this category.

Category Theory,Representation Theory

Representability for small and big triangulated categories

Fully Triangulated Categories

A Representability Theorem for Stacks in Derived Geometry Contexts

Proxy-small objects present compactly generated categories

Triangulated Categories of Big Motives via Enriched Functors

Gluing Approximable Triangulated Categories

Representable diagrammatic sets as a model of weak higher categories

Weakly approximable triangulated categories and enhancements: a survey

A finite approach to representable multicategories and related structures

Realization functors in algebraic triangulated categories

The passage among the subcategories of weakly approximable triangulated categories

Duality pairs, phantom maps, and definability in triangulated categories

Representability theorem in derived analytic geometry

Notes on Triangulated Categories

Single-Set Cubical Categories and Their Formalisation with a Proof Assistant

The Restricted Picard Functor

Simple transitive $2$-representations of some $2$-categories of projective functors

Single-set cubical categories and their formalisation with a proof assistant (extended version)

Categorical Krull-Remak-Schmidt for triangulated categories

Representations over diagrams of abelian categories II: Abelian model structures