Showing papers in "arXiv: K-Theory and Homology in 2020"

A^1-Euler classes: six functors formalisms, dualities, integrality and linear subspaces of complete intersections

Abstract: We equate various Euler classes of algebraic vector bundles, including those of [BM, KW, DJK], and one suggested by M.J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class, and give formulas for local indices at isolated zeros, both in terms of 6-functor formalism of coherent sheaves and as an explicit recipe in commutative algebra of Scheja and Storch. As an application, we compute the Euler classes associated to arithmetic counts of d-planes on complete intersections in P^n in terms of topological Euler numbers over R and C.

Descent and vanishing in chromatic algebraic $K$-theory via group actions

Abstract: We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with Ausoni-Rognes's redshift philosophy: in particular, we show that if $R$ is an $\mathbb{E}_\infty$-ring spectrum with $L_{T(n)}R=0$, then $L_{T(n+1)}K(R)=0$. Our key observation is that descent and vanishing are logically interrelated, permitting to establish them simultaneously by induction on the height.

On the Beilinson fiber square

Abstract: Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize results of Bloch-Esnault-Kerz and Beilinson on the $p$-adic deformations of $K$-theory classes. Furthermore, we prove structural results for the Bhatt-Morrow-Scholze filtration on $TC$ and identify the graded pieces with the syntomic cohomology of Fontaine-Messing.

Purity in chromatically localized algebraic $K$-theory

Abstract: We prove a purity property in telescopically localized algebraic $K$-theory of ring spectra: For $n\geq 1$, the $T(n)$-localization of $K(R)$ only depends on the $T(0)\oplus \dots \oplus T(n)$-localization of $R$. This complements a classical result of Waldhausen in rational $K$-theory. Combining our result with work of Clausen--Mathew--Naumann--Noel, one finds that $L_{T(n)}K(R)$ in fact only depends on the $T(n-1)\oplus T(n)$-localization of $R$, again for $n \geq 1$. As consequences, we deduce several vanishing results for telescopically localized $K$-theory, as well as an equivalence between $K(R)$ and $\mathrm{TC}(\tau_{\geq 0} R)$ after $T(n)$-localization for $n\geq 2$.

Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Abstract: We define Grothendieck-Witt spectra in the setting of Poincare $\infty$-categories and show that they fit into an extension with a L- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra.

Remarks on $K(1)$-local $K$-theory

Abstract: We prove two basic structural properties of the algebraic $K$-theory of rings after $K(1)$-localization at an implicit prime $p$. Our first result (also recently obtained by Land--Meier--Tamme by different methods) states that $L_{K(1)} K(R)$ is insensitive to inverting $p$ on $R$; we deduce this from recent advances in prismatic cohomology and $\mathrm{TC}$. Our second result yields a Kunneth formula in $K(1)$-local $K$-theory for adding $p$-power roots of unity to $R$.

$\eta$-periodic motivic stable homotopy theory over fields

Abstract: Over any field of characteristic not 2, we establish a 2-term resolution of the $\eta$-periodic, 2-local motivic sphere spectrum by shifts of the connective 2-local Witt K-theory spectrum. This is curiously similar to the resolution of the K(1)-local sphere in classical stable homotopy theory. As applications we determine the $\eta$-periodized motivic stable stems and the $\eta$-periodized algebraic symplectic and SL-cobordism groups. Along the way we construct Adams operations on the motivic spectrum representing Hermitian K-theory and establish new completeness results for certain motivic spectra over fields of finite virtual 2-cohomological dimension. In an appendix, we supply a new proof of the homotopy fixed point theorem for the Hermitian K-theory of fields.

Quantitative K-theory, positive scalar curvature, and band width

Abstract: We develop two connections between the quantitative framework of operator $K$-theory for geometric $C^*$-algebras and the problem of positive scalar curvature. First, we introduce a quantitative notion of higher index and use it to give a refinement of the well-known obstruction of Rosenberg to positive scalar curvature on closed spin manifolds coming from the higher index of the Dirac operator. We show that on a manifold with uniformly positive scalar curvature, the propagation at which the index of the Dirac operator vanishes is related inversely to the curvature lower bound. Second, we give an approach, using related techniques, to Gromov's band width conjecture, which has been the subject of recent work by Zeidler and Cecchini from a different point of view.

Hermitian K-theory for stable $\infty$-categories I: Foundations

Abstract: This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible. In this article we lay the foundations of our approach by considering Lurie's notion of a Poincare $\infty$-category, which permits an abstract counterpart of unimodular forms called Poincare objects. We analyse the special cases of hyperbolic and metabolic Poincare objects, and establish a version of Ranicki's algebraic Thom construction. For derived $\infty$-categories of rings, we classify all Poincare structures and study in detail the process of deriving them from classical input, thereby locating the usual setting of forms over rings within our framework. We also develop the example of visible Poincare structures on $\infty$-categories of parametrised spectra, recovering the visible signature of a Poincare duality space. We conduct a thorough investigation of the global structural properties of Poincare $\infty$-categories, showing in particular that they form a bicomplete, closed symmetric monoidal $\infty$-category. We also study the process of tensoring and cotensoring a Poincare $\infty$-category over a finite simplicial complex, a construction featuring prominently in the definition of the L- and Grothendieck-Witt spectra that we consider in the next instalment. Finally, we define already here the 0-th Grothendieck-Witt group of a Poincare $\infty$-category using generators and relations. We extract its basic properties, relating it in particular to the 0-th L- and algebraic K-groups, a relation upgraded in the second instalment to a fibre sequence of spectra which plays a key role in our applications.

Hermitian K-theory for stable $\infty$-categories III: Grothendieck-Witt groups of rings

Abstract: We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind rings whose fraction field is a number field, calculate the various flavours of Grothendieck-Witt groups of $\mathbb{Z}$, show that the Grothendieck-Witt groups of rings of integers in number fields are finitely generated, and that the comparison map from quadratic to symmetric Grothendieck-Witt theory of Noetherian rings of global dimension $d$ is an equivalence in degrees $\geq d+3$. As an important tool, we establish the hermitian analogue of Quillen's localisation-devissage sequence for Dedekind rings and use it to solve a conjecture of Berrick-Karoubi.

Stable motivic invariants are eventually étale local

Abstract: In this paper we prove a Thomason-style descent theorem for the $\rho$-complete sphere spectrum. In particular, we deduce a very general etale descent result for torsion, $\rho$-complete motivic spectra. To this end, we prove a new convergence result for slice spectral sequence in the $\rho$-complete motivic category, following Levine's work. This generalizes and extends previous etale descent results for motivic cohomology theories which, combined with etale rigidity results, gives a complete, structural description of the etale motivic stable category.

The Chow $t$-structure on the $\infty$-category of motivic spectra

Abstract: We define the Chow $t$-structure on the $\infty$-category of motivic spectra $SH(k)$ over an arbitrary base field $k$. We identify the heart of this $t$-structure $SH(k)^{c\heartsuit}$ when the exponential characteristic of $k$ is inverted. Restricting to the cellular subcategory, we identify the Chow heart $SH(k)^{cell, c\heartsuit}$ as the category of even graded $MU_{2*}MU$-comodules. Furthermore, we show that the $\infty$-category of modules over the Chow truncated sphere spectrum is algebraic. Our results generalize the ones in Gheorghe--Wang--Xu in three aspects: To integral results; To all base fields other than just $C$; To the entire $\infty$-category of motivic spectra $SH(k)$, rather than a subcategory containing only certain cellular objects. We also discuss a strategy for computing motivic stable homotopy groups of (p-completed) spheres over an arbitrary base field $k$ using the Postnikov tower associated to the Chow $t$-structure and the motivic Adams spectral sequences over $k$.

Surgery operations to fold maps to increase connected components of singular sets by two

Abstract: In geometry, understanding the topologies and the differentiable structures of manifolds in constructive ways is fundamental and important. It is in general difficult, especially for higher dimensional manifolds. The author is interested in this and trying to understand manifolds via construction of explicit fold maps: differentiable maps locally represented as product maps of Morse functions and identity maps on open balls. Fold maps have been fundamental and useful in investigating the manifolds by observing (the sets of) singular points and values and preimages as Thom and Whitney's pioneering studies and recent studies of Kobayashi, Saeki, Sakuma, and so on, show. Here, construction of explicit fold maps on explicit manifolds is difficult. The author constructed several explicit families of fold maps and investigated the manifolds admitting the maps. Main fundamental methods are surgery operations (bubbling operations), the author recently introduced motivated by Kobayashi and Saeki's studies such as operations to deform generic differentiable maps whose codimensions are negative into the plane preserving the differentiable structure of the manifold in 1996 and so on. We remove a neighborhood of a (an immersed) submanifold consisting of regular values in the target space, attach a new map and obtain a new fold map such that the number of connected components of the set consisting of singular points increases. In this paper, we investigate cases where the numbers increase by two and obtain cases of a new type.

$\eta$-periodic motivic stable homotopy theory over Dedekind domains

Abstract: We construct well-behaved extensions of the motivic spectra representing generalized motivic cohomology and connective Balmer--Witt K-theory (among others) to mixed characteristic Dedekind schemes on which 2 is invertible. As a consequence we lift the fundamental fiber sequence of $\eta$-periodic motivic stable homotopy theory established in [arXiv:2005.06778] from fields to arbitrary base schemes, and use this to determine (among other things) the $\eta$-periodized algebraic symplectic and SL-cobordism groups of mixed characteristic Dedekind schemes containing 1/2.

An equivariant Atiyah-Patodi-Singer index theorem for proper actions II: the $K$-theoretic index

Abstract: Consider a proper, isometric action by a unimodular locally compact group $G$ on a Riemannian manifold $M$ with boundary, such that $M/G$ is compact. Then an equivariant Dirac-type operator $D$ on $M$ under a suitable boundary condition has an equivariant index $\operatorname{index}_G(D)$ in the $K$-theory of the reduced group $C^*$-algebra $C^*_rG$ of $G$. This is a common generalisation of the Baum-Connes analytic assembly map and the (equivariant) Atiyah-Patodi-Singer index. In part I of this series, a numerical index $\operatorname{index}_g(D)$ was defined for an element $g \in G$, in terms of a parametrix of $D$ and a trace associated to $g$. An Atiyah-Patodi-Singer type index formula was obtained for this index. In this paper, we show that, under certain conditions, $\tau_g(\operatorname{index}_G(D)) = \operatorname{index}_g(D)$, for a trace $\tau_g$ defined by the orbital integral over the conjugacy class of $g$. This implies that the index theorem from part I yields information about the $K$-theoretic index $\operatorname{index}_G(D)$. It also shows that $\operatorname{index}_g(D)$ is a homotopy-invariant quantity.

Cancellation theorems for reciprocity sheaves

Abstract: We prove cancellation theorems for reciprocity sheaves and cube-invariant modulus sheaves with transfers of Kahn--Saito--Yamazaki, generalizing Voevodsky's cancellation theorem for $\mathbf{A}^1$-invariant sheaves with transfers. As an application, we get some new formulas for internal hom's of the sheaves $\Omega^i$ of absolute Kahler differentials.

Additive C*-categories and K-theory.

Abstract: We introduce and study the notion of an orthogonal sum of a (possibly infinite) family of objects in a $C^{*}$-category. Furthermore, we construct reduced crossed products of $C^{*}$-categories with groups. We axiomatize the basic properties of the $K$-theory for $C^{*}$-categories in the notion of a homological functor. We then study various rigidity properties of homological functors in general, and special additional features of the $K$-theory of $C^{*}$-categories. As an application we construct and study interesting functors on the orbit category of a group from $C^{*}$-categorical data.

An identification of the Baum-Connes and Davis-L\"uck assembly maps

Abstract: The Baum-Connes conjecture predicts that a certain assembly map is an isomorphism. We identify the homotopy theoretical construction of the assembly map by Davis and Luck with the category theoretical construction by Meyer and Nest. This extends the result of Hambleton and Pedersen to arbitrary coefficients. Our approach uses abstract properties rather than explicit constructions and is formally similar to Meyer's and Nest's identification of their assembly map with the original construction of the assembly map by Baum, Connes and Higson.

On nilpotent extensions of $\infty$-categories and the cyclotomic trace

Abstract: We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for suitable $\infty$-categories and furnish interesting examples such as categorical square-zero extensions, and (3) use (1) and (2) to extend the Dundas-Goodwillie-McCarthy theorem for stable $\infty$-categories which are not monogenically generated (such as the stable $\infty$-category of Voevodsky's motives or the stable $\infty$-category of perfect complexes on some algebraic stacks). The key input in our paper is Bondarko's notion of weight structures which provides a "ring-with-many-objects" analog of a connective $\mathbb{E}_1$-ring spectrum. As applications, we prove cdh descent results for truncating invariants of stacks extending the work of Hoyois-Krishna for homotopy $K$-theory, and establish new cases of Blanc's lattice conjecture.

On The Algebraic $K$-Theory of Double Points

Abstract: In this paper, we use trace methods to study the algebraic $K$-theory of rings of the form $R[x_1,\ldots, x_d]/(x_1,\ldots, x_d)^2$. We compute the relative $p$-adic $K$ groups for $R$ a perfectoid ring. In particular, we get the integral $K$ groups when $R$ is a finite field, and the integral relative $K$ groups $K_*(R[x_1,\ldots, x_d]/(x_1,\ldots, x_d)^2, (x_1,\ldots, x_d))$ when $R$ is a perfect $\mathbb{F}_p$-algebra. We conclude the paper with some other notable computations, including some rings which are not quite of the above form.

Bivariant Hermitian $K$-theory and Karoubi's fundamental theorem

Abstract: Let $\ell$ be a commutative ring with involution $*$ containing an element $\lambda$ such that $\lambda+\lambda^*=1$ and let $\operatorname{Alg}^*_\ell$ be the category of $\ell$-algebras equipped with a semilinear involution and involution preserving homomorphisms. We construct a triangulated category $kk^h$ and a functor $j^h:\operatorname{Alg}^*_\ell\to kk^h$ that is homotopy invariant, matricially and hermitian stable and excisive and is universal initial with these properties. We prove that a version of Karoubi's fundamental theorem holds in $kk^h$. By the universal property of the latter, this implies that any functor $H:\operatorname{Alg}^*_\ell\to\mathfrak{T}$ with values in a triangulated category which is homotopy invariant, matricially and hermitian stable and excisive satisfies the fundamental theorem. We also prove a bivariant version of Karoubi's $12$-term exact sequence.

The Projective Bundle Formula for Grothendieck-Witt spectra.

Abstract: Grothendieck-Witt spectra represent higher Grothendieck-Witt groups and higher Hermitian K-theory in particular. A description of the Grothendieck-Witt spectrum of a finite dimensional projective bundle $\mathbb{P}(\mathcal{E})$ over a base scheme $X$ is given in terms of the Grothendieck-Witt spectra of the base, using the dg category of strictly perfect complexes, provided that $X$ is a scheme over $\text{Spec }\mathbb{Z}[1/2]$ and satisfies the resolution property, e.g. if $X$ has an ample family of line bundles.

The zeroth P^1-stable homotopy sheaf of a motivic space

Abstract: We establish a kind of "degree zero Freudenthal Gm-suspension theorem" in motivic homotopy theory. From this we deduce results about the conservativity of the P^1-stabilization functor. In order to establish these results, we show how to compute certain pullbacks in the cohomology of a strictly homotopy invariant sheaf in terms of the Rost--Schmid complex. This establishes the main conjecture of [BY18], which easily implies the aforementioned results.

A counterexample to vanishing conjectures for negative $K$-theory

Abstract: In a 2006 article Schlichting conjectured that the negative {\it K--}theory of any abelian category must vanish This conjecture was generalized in a 2019 article by Antieau, Gepner and Heller, who hypothesized that the negative {\it K--}theory of any category with a bounded {\it t--}structure must vanish Both conjectures will be shown to be false

Topological equivariant coarse K-homology

Abstract: For a $C^{*}$-category with a strict $G$-action we construct examples of equivariant coarse homology theories. To this end we first introduce versions of Roe categories of objects in $C^{*}$-categories which are controlled over bornological coarse spaces, and then apply a homological functor. These equivariant coarse homology theories are then employed to verify that certain functors on the orbit category are CP-functors. This fact has consequences for the injectivity of assembly maps.

Homology and K-theory of dynamical systems. I. torsion-free ample groupoids

Abstract: Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture developed by Meyer and Nest. We also present a few applications to topological dynamics and discuss the HK conjecture of Matui.

Jacobi-Zariski long nearly exact sequences for associative algebras

Abstract: For an extension of associative algebras $B\subset A$ over a field and an $A$-bimodule $X$, we obtain a Jacobi-Zariski long nearly exact sequence relating the Hochschild homologies of $A$ and $B$, and the relative Hochschild homology, all of them with coefficients in $X$. This long sequence is exact twice in three. There is a spectral sequence which converges to the gap of exactness.

Algebraic K-theory and Grothendieck-Witt theory of monoid schemes

Abstract: We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$ in terms of its Picard group $\operatorname{Pic}(X)$ and pointed monoid of regular functions $\Gamma(X, \mathcal{O}_X)$ and a description of the Grothendieck-Witt space of $X$ in terms of an additional involution on $\operatorname{Pic}(X)$. We also prove space-level projective bundle formulae in both settings.

Trace theories, Bokstedt periodicity and Bott periodicity

Abstract: 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 $TP(A)$ with the periodic version $WHP(A)$ of WHH). Secondly, we prove that $THH(A)$ is identified with the zero term of the conjugate filtration on the co-periodic cyclic homology $\overline{HP}(A)$ of arXiv:1509.08784, and the isomorphism sends the Bokstedt periodicity generator to the Bott periodicity generator. We also give an independent proof of Bokstedt periodicity that is somewhat shorter than the usual ones.

Homology and $K$-Theory of Torsion-Free Ample Groupoids and Smale Spaces

Abstract: Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the groupoid C*-algebra when the groupoid has torsion-free stabilizers and satisfies the strong Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture by Meyer and Nest. For the unstable equivalence relation of a Smale space with totally disconnected stable sets, this spectral sequence shows Putnam's homology groups on the second sheet.