In this paper, we extend a result of Lafont and M{é}tayer and prove that the polygraphic homology of a small category, defined in terms of polygraphic resolutions in the category $ω$Cat of strict $ω$-categories, is naturally isomorphic to the homology of its nerve. Along the way, we prove some results on homotopy colimits with respect to the Folk model structure and deduce a theorem which formally resembles Quillen's Theorem A.
In this dissertation, we compare the "classical" homology of an $ω$-category (defined as the homology of its Street nerve) with its polygraphic homology. More precisely, we prove that both homologies generally do not coincide and call homologically coherent the particular strict $ω$-categories for which polygraphic homology and homology of the nerve do coincide. The goal pursued is to find abstract and concrete criteria to detect homologically coherent $ω$-categories. For example, we prove that all (small) categories, considered as strict $ω$-categories with unit cells above dimension 1, are h…
In this article we develop the cotangent complex and (co)homology theories for spectral categories. Along the way, we reproduce standard model structures on spectral categories. As applications, we show that the invariants to descend to stable $\infty$-categories and we prove a stabilization result for spectral categories.
Let $A$ be either a simplicial complex $K$ or a small category $\mathcal C$ with $V(A)$ as its set of vertices or objects. We define a twisted structure on $A$ with coefficients in a simplicial group $G$ as a function $$ δ\colon V(A)\longrightarrow \operatorname{End}(G), \quad v\mapsto δ_v $$ such that $δ_v\circ δ_w=δ_w\circ δ_v$ if there exists an edge in $A$ joining $v$ with $w$ or an arrow either from $v$ to $w$ or from $w$ to $v$. We give a canonical construction of twisted simplicial group as well as twisted homology for $A$ with a given twisted structure. Also we determine the homotopy t…
We define a topological Hochschild (THH) and cyclic (TC) homology theory for differential graded (dg) categories and construct several non-trivial natural transformations from algebraic K-theory to THH(-). In an intermediate step, we prove that the homotopy theory of dg categories is Quillen equivalent, through a four step zig-zag of Quillen equivalences, to the homotopy theory of Eilenberg-Mac Lane spectral categories. Finally, we show that over the rationals two dg categories are topological equivalent if and only if they are quasi-equivalent.
We give in this paper an isomorphism theorem between derived functors over categories of modules.There is a nice class of categories that gives examples in which this theorem applies for a special construction. This leads us to a new interpretation of a theorem of Pirashvili and Richter about cyclic homology and Hochschild homology.
Working in a semi-abelian context, we use Janelidze's theory of generalised satellites to study universal properties of the Everaert long exact homology sequence. This results in a new definition of homology which does not depend on the existence of projective objects. We explore the relations with other notions of homology, and thus prove a version of the higher Hopf formulae. We also work out some examples.
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,\infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories, which we call magnitude homology (in fact, it is a special sort of Hochschild homology), whose graded Euler characteristic is the magnitude. Magnitude homology of metric spaces generalizes the Hepworth--Willerton magnitude homology of graphs, and detects geometric information such as convexity.
In our paper "On D-module of categories I", we provide two different methods of constructing D-module structures on the complex computing periodic cyclic homology associated to a family of stable infinity categories. One is based on a canonical extension of factorization homology. Another method uses the pair of Hochschild cohomology and Hochschild homology, Kodaira-Spencer map for a family of stable infinity categories, Koszul dualities,and the relation between dg Lie algebras and pointed formal stacks. In this paper, we prove that two resulting structures coindice.
For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture more and more information according to the injective dimension of the images of the functor. The categories are obtained by proving the existence of truncated versions of resolution or $E_2$-model structures. Examples of functors fitting in our framework are given by every generalized homology theory represented by a ring spectrum satisfying the Adams-Atiyah …
We prove a conjecture of Hesselholt and Ausoni-Rognes, establishing localization cofiber sequences of spectra for THH(ku) and TC(ku). These sequences support Hesselholt's view of the map l to ku as a "tamely ramified" extension of ring spectra, and validate the hypotheses necessary for Ausoni's simplified computation of V(1)_* K(KU). In order to make sense of the relative term THH(ku|KU) in the cofiber sequence and prove these results, we develop a theory of THH and TC of Waldhausen categories and prove the analogues of Waldhausen's theorems for K-theory. We resolve the longstanding confusion …
These are notes from an informal mini-course on factorization homology, infinity-categories, and topological field theories. The target audience was imagined to be graduate students who are not homotopy theorists.
Let $M$ be an exact symplectic manifold with contact type boundary such that $c_1(M)=0$. In this paper we show that the cyclic cohomology of the Fukaya category of $M$ has the structure of an involutive Lie bialgebra. Inspired by a work of Cieliebak-Latschev we show that there is a Lie bialgebra homomorphism from the linearized contact homology of $M$ to the cyclic cohomology of the Fukaya category. Our study is also motivated by string topology and 2-dimensional topological conformal field theory.
This paper aims to answer the following question: Given an adjunction between two categories, how is Quillen (co)homology in one category related to that in the other? We identify the induced comparison diagram, giving necessary and sufficient conditions for it to arise, and describe the various comparison maps. Examples are given. Along the way, we clarify some categorical assumptions underlying Quillen (co)homology: cocomplete categories with a set of small projective generators provide a convenient setup.
Using factorization homology techniques, we give a simple proof of the action of Kontsevich and Soibelman operad on the pair consisting of Hochschild cohomology and Hochschild homology. The proof obviously extends to higher Hochschild cohomology and factorization (also called chiral) homology. Note that our result works in categories of chain complexes but also in categories of modules over a commutative ring spectrum.
We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our definition is motivated by the geometric definition of Thom spectra of May-Sigurdsson. For an associative ring spectrum $R$, we associate a Thom spectrum to a map of infinity categories from the infinity groupoid of a space $X$ to the infinity category of free rank one $R$-modules, which we show is a model for $BGL_1 R$; we show that $BGL_1 R$ classifies homotopy…
We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together with a coherent system of compatibilities of framings along links between strata. Our main result constructs labeling systems on disk-stratified vari-framed $n$-manifolds from $(\infty,n)$-categories. These $(\infty,n)$-categories, in contrast with the literature to date, are not required to have adjoints. This allows the following conceptual definition: the fa…
From a bimodule $M$ over an exact category $C$, we define an exact category $C\ltimes M$ with a projection down to $C$. This construction classifies certain split square zero extensions of exact categories. We show that the trace map induces an equivalence between the relative $K$-theory of $C\ltimes M$ and its relative topological cyclic homology. When applied to the bimodule $\hom(-,-\otimes_AM)$ on the category of finitely generated projective modules over a ring $A$ one recovers the classical Dundas-McCarthy theorem for split square zero extensions of rings.
Topological periodic cyclic homology (i.e., $\mathbb{T}$-Tate fixed points of $THH$) has the structure of a strong symmetric monoidal functor of smooth and proper dg categories over a perfect field of finite characteristic.
A lot of well-known functors such as group homology, cyclic homology of algebras can be described as limits of certain simply defined functors over categories of presentations. In this paper, we develop technique for the description of the higher limits over categories of presentations and show that certain homological functors can be described in this way. In particular, we give a description of Hochschild homology and the derived functors of tensor, symmetric and exterior powers in the sense of Dold and Puppe as higher limits.
In this note some recent developments in the study of homology in semi-abelian categories are briefly presented. In particular the role of protoadditive functors in the study of Hopf formulae for homology is explained.
Every homology or cohomology theory on a category of E-infinity ring spectra is Topological Andre-Quillen homology or cohomology with appropriate coefficients. Analogous results hold for the category of A-infinity ring spectra and for categories of algebras over many other operads.
We introduce cohomology and homology theories for small categories with general coefficient systems from simplex categories first studied by Thomason. These theories generalize at once Baues-Wirsching cohomology and homology and other more classical theories. We analyze naturality and functoriality properties of these theories and construct associated spectral sequences for functors between small categories.
We uncover several general phenomenas governing functor homology over additive categories. In particular, we generalize the strong comparison theorem of Franjou Friedlander Scorichenko and Suslin to the setting of Fp-linear additive categories. Our results have a strong impact in terms of explicit computations of functor homology, and they open the way to new applications to stable homology of groups or to K-theory. As an illustration, we prove comparison theorems between cohomologies of classical algebraic groups over infinite perfect fields, in the spirit of a celebrated result of Cline, Par…
We construct spectral sequences in the framework of Baues-Wirsching cohomology and homology for functors between small categories and analyze particular cases including Grothendieck fibrations. We also give applications to more classical cohomology and homology theories including Hochschild-Mitchell cohomology and those studied before by Watts, Roos, Quillen and others.
The strict globular $ω$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $ω$-category $\C$ three homology theories. The first one is called the globular homology. It contains the oriented loops of $\C$. The two other ones are called the negative (resp. positive) corner homology. They contain in a certain manner the branching areas of execution paths or negative corners (resp. the merging areas of execution paths or positive corners) of $\C$. Two natural linear maps called the negative (resp. the positive) Hurewic…
Let A be a DGA over a field and X a module over H_*(A). Fix an $A_\infty$-structure on H_*(A) making it quasi-isomorphic to A. We construct an equivalence of categories between A_{n+1}-module structures on X and length n Postnikov systems in the derived category of A-modules based on the bar resolution of X. This implies that quasi-isomorphism classes of A_n-structures on X are in bijective correspondence with weak equivalence classes of rigidifications of the first n terms of the bar resolution of X to a complex of A-modules. The above equivalences of categories are compatible for different v…
We give a new proof of the recent Künneth theorem for periodic topological cyclic homology (TP) of smooth and proper dg categories over perfect fields of characteristic p>0 due to Blumberg and Mandell. Our result is slightly stronger and implies a finiteness theorem for topological cyclic homology (TC) of such categories.
We construct localization cofiber sequences for the topological Hochschild homology (THH) and topological cyclic homology (TC) of spectral categories. Using a global construction of the THH and TC of a scheme in terms of the perfect complexes in a spectrally enriched version of the category of unbounded complexes, the sequences specialize to localization cofiber sequences associated to the inclusion of an open subscheme. These are the targets of the cyclotomic trace from the localization sequence of Thomason-Trobaugh in K-theory. We also deduce versions of Thomason's blow-up formula and the pr…
Extending constructions by Gabriel and Zisman, we develop a functorial framework for the cohomology and homology of simplicial sets with very general coefficient systems given by functors on simplex categories into abelian categories. Furthermore we construct Leray type spectral sequences for any map of simplicial sets. We also show that these constructions generalise and unify the various existing versions of cohomology and homology of small categories and as a bonus provide new insight into their functoriality.
We prove that the stable moduli space of $(n-1)$-connected, $n$-parallelizable, $(2n+1)$-dimensional manifolds is homology equivalent to an infinite loopspace for $n \geq 4, n \neq 7$. The main novel ingredient is a version of the cobordism category incorporating surgery data in the form of Lagrangian subspaces.
This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of topological CW-complexes (with continuous mappings). If the theory of the o-minimal expansion of a field is bounded, then these categories are equivalent to the homotopy category of weakly definable spaces. Similar facts hold for decreasing systems of spaces. As a result, generalized homology and cohomology theories on pointed weak polytopes uniquely correspo…
In this paper, we provide a conceptual new construction of the algebraic structure on the pair of the Hochschild cohomology spectrum (cochain complex) and Hochschild homology spectrum, which is analogous to the structure of calculus on a manifold. This algebraic structure is encoded by a two-colored operad introduced by Kontsevich and Soibelman. We prove that for a stable idempotent-complete infinity-category, the pair of its Hochschild cohomology and homology spectra naturally admits the structure of algebra over the operad. Moreover, we prove a generalization to the equivariant context.
Motivated by spectral gluing patterns in the Betti Langlands program, we show that for any reductive group $G$, a parabolic subgroup $P$, and a topological surface $M$, the (enhanced) spectral Eisenstein series category of $M$ is the factorization homology over $M$ of the $\mathrm{E}_2$-Hecke category $\mathrm{H}_{G, P} = \mathrm{IndCoh}(\mathrm{LS}_{G, P}(D^2, S^1))$, where $\mathrm{LS}_{G, P}(D^2, S^1)$ denotes the moduli stack of $G$-local systems on a disk together with a $P$-reduction on the boundary circle. More generally, for any pair of stacks $\mathcal{Y}\to \mathcal{Z}$ satisfying so…
The noncommutative stable homotopy category $\mathtt{NSH}$ is a triangulated category that is the universal receptacle for triangulated homology theories on separable $C^*$-algebras. We show that the triangulated category $\mathtt{NSH}$ is topological as defined by Schwede using the formalism of (stable) infinity categories. More precisely, we construct a stable presentable infinity category of noncommutative spectra and show that $\mathtt{NSH}^{op}$ sits inside its homotopy category as a full triangulated subcategory, from which the above result can be deduced. We also introduce a presentable…
We prove that topological Hochschild homology (THH) arises from a presheaf of circles on a certain combinatorial category, which gives a universal construction of THH for any enriched infinity category. Our results rely crucially on an elementary, model-independent framework for enriched higher category theory, which may be of independent interest.
Let A be a dg category, F:A->A a dg functor inducing an equivalence of categories in degree-zero cohomology, and A/F the associated dg orbit category. For every A1-homotopy invariant (e.g. homotopy K-theory, K-theory with coefficients, etale K-theory and periodic cyclic homology), we construct a distinguished triangle expressing E(A/F) as the cone of the endomorphism E(F)-Id of E(A). In the particular case where F is the identity dg functor, this triangle splits and gives rise to the fundamental theorem. As a first application, we compute the A1-homotopy invariants of cluster (dg) categories, …
In previous work we showed that the contact category algebra of a quadrangulated surface is isomorphic to the homology of a strand algebra from bordered sutured Floer theory. Being isomorphic to the homology of a differential graded algebra, this contact category algebra has an A-infinity structure, allowing us to combine contact structures not just by gluing, but also by higher-order operations. In this paper we investigate such A-infinity structures and higher order operations on contact structures. We give explicit constructions of such A-infinity structures, and establish some of their pro…
We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom classes. We also show that the stable $\mathbb{A}^1$-derived category does not admit Thom isomorphisms for oriented vector bundles and, more generally, for symplectic bundles. In order to do so we compute the first homology sheaves of the motivic sphere spectrum and show that the class in the coefficient ring of $\mathbb{A}^1$-homology corresponding to the seco…
We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a homotopy commutative algebra in $\mathscr{M}$ we show that $E$-nilpotent completion, $E$-localization, and a suitable formal completion agree on bounded below objects when $E$ satisfies some reasonable conditions.
Smooth and proper dg-algebras have an Euler class valued in the Hochschild homology of the algebra. This Euler class is worthy of this name since it satisfies many familiar properties including compatibility with the familiar pairing on the Hochschild homology of the algebra and that of its opposite. This compatibility is the Riemann-Roch theorems of Shklyarov and Petit. In this paper we prove a broad generalization of these Riemann-Roch theorems. We generalize from the bicategory of dg-algebras and their bimodules to monoidal bicategories and from Euler class to traces of non identity maps. O…
