We compute the $\mathbb{A}^1$-localization of several invariants of schemes namely, topological Hochschild homology ($\mathrm{THH}$), topological cyclic homology ($\mathrm{TC}$) and topological periodic cyclic homology ($\mathrm{TP}$). This procedure is quite brutal and kills the completed versions of most of these invariants. The main ingredient for the vanishing statements is the vanishing of $\mathbb{A}^1$-localization of de Rham cohomology (and, eventually, crystalline cohomology) in positive characteristics.
We introduce notions of unramified and totally ramified maps in great generality - for commutative rings, schemes, ring spectra, or derived schemes. We prove that the definition is equivalent to the classical definition in the case of rings of integers in number fields. The new definition leads directly (without computational techniques) to a calculation of topological Hochschild homology for rings of integers. We show that THH(R) is the homotopy cofiber of a map $R[ΩS^3]\otimes_RΩ^1_{R/\mathbb{Z}}\to R[ΩS^3\langle 3\rangle]$, so there is a long exact sequence $\cdots\to H_\ast(ΩS^3;Ω^1_{R/\ma…
We define twisted Hochschild homology for Green functors. This construction is the algebraic analogue of the relative topological Hochschild homology $THH_{C_n}(-)$, and it describes the $E_2$ term of the Künneth spectral sequence for relative $THH$. Applied to ordinary rings, we obtain new algebraic invariants. Extending Hesselholt's construction of the Witt vectors of noncommutative rings, we interpret our construction as providing Witt vectors for Green functors.
In this work we study the $E_{\infty}$-ring $\text{THH}(\mathbb{F}_p)$ as a graded spectrum. Following an identification at the level of $E_2$-algebras with $\mathbb{F}_p[ΩS^3]$, the group ring of the $E_1$-group $ΩS^3$ over $\mathbb{F}_p$, we show that the grading on $\text{THH}(\mathbb{F}_p)$ arises from decomposition on the cyclic bar construction of the pointed monoid $ΩS^3$. This allows us to use trace methods to compute the algebraic $K$-theory of $\text{THH}(\mathbb{F}_p)$. We also show that as an $E_2$ $H\mathbb{F}_p$-ring, $\text{THH}(\mathbb{F}_p)$ is uniquely determined by its homot…
In this paper we continue our study of logarithmic topological Hochschild homology. We show that the inclusion of the connective Adams summand into the p-local complex connective K-theory spectrum, equipped with suitable log structures, is a formally log THH-etale map, and compute the V(1)-homotopy of their logarithmic topological Hochschild homology spectra. As an application, we recover Ausoni's computation of the V(1)-homotopy of the ordinary THH of ku.
We flesh out the theory of "trace theories" and "trace functors" sketched in arXiv:1308.3743, extend it to a homotopical setting, and prove a reconstruction theorem claiming that a trace theory is completely determined by the associated trace functor. As an application, we consider Topological Hoshschild Homology $THH(A,M)$ of a algebra $A$ over a perfect field of positive characteristic, with coefficients in a bimodule $M$, and prove two comparison results. Firstly, we give a very simple algebraic model for THH in terms of Hochschild-Witt Homology WHH of arXiv:1604.01588 (and we also identify…
We calculate the topological Hochschild homology groups of a maximal order in a central algebra over the rationals. Since the positive-dimensional THH groups consist only of torsion, we do this one prime ideal at a time for all the nonzero prime ideals in the center of the maximal order. This allows us to reduce the problem to studying the THH groups of maximal orders A in simple algebras over Q_p. We show that the topological Hochschild homology of A/(p) splits as the tensor product of its Hochschild homology and the topological Hochschild homology of F_p. We use this result in Brun's spectra…
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.
Let $k$ be an algebraically closed field of exponential characteristic $p$. Given any prime $\ell\neq p$, we construct a stable étale realization functor $$\underline{\text{Ét}}_{\ell}:\text{Spt}(k)\rightarrow \text{Pro}(\text{Spt})^{H\mathbb{Z}/\ell}$$ from the stable $\infty$-category of motivic $\mathbb{P}^1$-spectra over $k$ to the stable $\infty$-category of $(H\mathbb{Z}/\ell)^*$-local pro-spectra (see section 3 for definition). This is induced by the étale topological realization functor á la Friedlander. The constant presheaf functor naturally induces the functor \[\text{SH}[1/p]\right…
Let $R$ be a perfectoid ring. Hesselholt and Bhatt-Morrow-Scholze have identified the Postnikov filtration on $\mathrm{THH}(R;\mathbb Z_p)$: it is concentrated in even degrees, generated by powers of the Bökstedt generator $σ$, generalizing classical Bökstedt periodicity for $R=\mathbb F_p$. We study an equivariant generalization of the Postnikov filtration, the *regular slice filtration*, on $\mathrm{THH}(R;\mathbb Z_p)$. The slice filtration is again concentrated in even degrees, generated by $RO(\mathbb T)$-graded classes which can loosely be thought of as the *norms* of $σ$. The slices are…
We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the category of motivic G-spaces with finite étale transfers over X at the trivial representation sphere. Along the way we obtain several results of independent interest, among them: we construct and study norms in the motivic homotopy theory of stacks, and we extend the homotopy t-structure to DM-stacks and establish some favorable properties.
If $f:S' \to S$ is a finite locally free morphism of schemes, we construct a symmetric monoidal "norm" functor $f_\otimes: \mathcal H_*(S') \to\mathcal H_*(S)$, where $\mathcal H_*(S)$ is the pointed unstable motivic homotopy category over $S$. If $f$ is finite étale, we show that it stabilizes to a functor $f_\otimes: \mathcal{SH}(S') \to \mathcal{SH}(S)$, where $\mathcal{SH}(S)$ is the $\mathbb P^1$-stable motivic homotopy category over $S$. Using these norm functors, we define the notion of a normed motivic spectrum, which is an enhancement of a motivic $E_\infty$-ring spectrum. The main co…
We study the semi-topologization functor of Friedlander-Walker from the perspective of motivic homotopy theory. We construct a triangulated endo-functor on the stable motivic homotopy category $\mathcal{SH}(\C)$, which we call \emph{homotopy semi-topologization}. As applications, we discuss the representability of several semi-topological cohomology theories in $\mathcal{SH}(\C)$, a construction of a semi-topological analogue of algebraic cobordism, and a construction of Atiyah-Hirzebruch type spectral sequences for this theory.
Let k be a field and denote by SH(k) the motivic stable homotopy category. Recall its full subcategory HI_0(k) of effective homotopy modules. Write NAlg(HI_0(k)) for the category of normed motivic spectra with underlying spectrum an effective homotopy module. In this article we provide an explicit description of NAlg(HI_0(k)) as the category of sheaves with generalized transfers and étale norms, and explain how this is closely related to the classical notion of Tambara functors.
We define a functorial spectrum-level filtration on the topological Hochschild homology of any commutative ring spectrum $R$, and more generally the factorization homology $R \otimes X$ for any space $X$, echoing algebraic constructions of Loday and Pirashvili. We investigate the properties of this filtration and show that it breaks THH up into common eigenspectra of the Adams operations.
Given a finite group $G$ acting on a ring $R$, Merling constructed an equivariant algebraic $K$-theory $G$-spectrum, and work of Malkiewich and Merling, as well as work of Barwick, provides an interpretation of this construction as a spectral Mackey functor. This construction is powerful, but highly categorical; as a result the Mackey functors comprising the homotopy are not obvious from the construction and have therefore not yet been calculated. In this work, we provide a computation of the homotopy Mackey functors of equivariant algebraic $K$-theory in terms of a purely algebraic constructi…
The dihedral homology functor $HD:A_\infty^{\rm inv}(K)\to GrM(K)$ from the category $A_\infty^{\rm inv}(K)$ of involutive $A_\infty$-algebras over any commutative unital ring $K$ to the category $GrM(K)$ of graded $K$-modules is constructed. Further, it is showed that this functor sends homotopy equivalences of involutive $A_\infty$-algebras into isomorphisms of graded modules.
In this paper we prove that Toen's derived enrichment of the model category of dg-categories defined by Tabuada, is computed by the dg-category of A-infinity functors. This approach was suggested by Kontsevich. We further put this construction into the framework of (infinity,2)-categories. Namely, we enhance the categories of dg and A-infinity categories, to (infinity,2)-categories. We prove that the (infinity,1)-truncation of to the (infinity,2)-category of dg-categories is a model for the simplicial localization at the model structure of Tabuada. As an application, we prove that the homotopy…
In the present paper the cyclic homology functor from the category of $A_\infty$-algebras over any commutative unital ring $K$ to the category of graded $K$-modules is constructed. Further, it is showed that this functor sends homotopy equivalences of $A_\infty$-algebras into isomorphisms of graded modules. As a corollary, it is obtained that the cyclic homology of an $A_\infty$-algebra over any field is isomorphic to the cyclic homology of the $A_\infty$-algebra of homologies for the source $A_\infty$-algebra.
Let $Q$ denote MacLane's $Q$-construction, and $\otimes$ denote the smash product of spectra. In this paper we construct an equivalence $Q(R)\simeq \mathbb Z\otimes R$ in the category of $A_\infty$ ring spectra for any ring $R$, thus proving a conjecture made by Fiedorowicz, Schwänzl, Vogt and Waldhausen in "MacLane homology and topological Hochschild homology". More precisely, we construct is a symmetric monoidal structure on $Q$ (in the $\infty$-categorical sense) extending the usual monoidal structure, for which we prove an equivalence $Q(-)\simeq \mathbb Z\otimes -$ as symmetric monoidal f…
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, …
The goal of the present paper is to compare, in a precise way, two notions of operads up to homotopy which appear in the literature. Namely, we construct a functor from the category of strict unital homotopy colored operads to the category of infinity-operads. The former notion, that we make precise, is the operadic generalization of the notion of A-infinity-categories and the latter notion was defined by Moerdijk--Weiss in order to generalize the simplicial notion of infinity-category of Joyal--Lurie. This functor extends in two directions the simplicial nerve of Faonte--Lurie for A-infinity-…
