Search arXivSearch

arXiv · 1304.6059

Non-commutative localizations of additive categories and weight structures; applications to birational motives

Abstract

In this paper we demonstrate that 'non-commutative localizations' of arbitrary additive categories (generalizing those defined by Cohn for rings) are closely (and naturally) related with weight structures. Localizing an arbitrary triangulated $C$ by a set $S$ of morphisms in the heart of a weight structure $w$ for it one obtains a triangulated category endowed with a weight structure $w'$. The heart of $w'$ is a certain idempotent completion of the non-commutative localization of the heart of $w$ by $S$. The latter is the natural categorical version of Cohn's localizations of rings i.e. the functor connecting hearts is universal among all the additive functors that make the elements of $S$ invertible. In particular, taking $C=K^b(A)$ for an additive $A$ we obtain a very efficient tool for computing the additive localization of $A$ by $S$; using it, we generalize the calculations of Gerasimov and Malcolmson. We apply our results to certain categories of birational motives over a base scheme $U$ (generalizing those defined by Kahn and Sujatha). When $U$ is the spectrum of a perfect field, the weight structure obtained is compatible with the Chow and Gersten weight structures defined by the first author in previous papers. For a general $U$ the result is completely new. We also consider the relation of weight structures with their adjacent t-structures (in localizations). In the 'motivic' setting mentioned this yields the natural generalization of the 'duality' between birational motives and birational sheaves with transfers established by Kahn and Sujatha.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mikhail V. Bondarko, Vladimir A. Sosnilo. 2014-09-15. Non-commutative localizations of additive categories and weight structures; applications to birational motives. https://doi.org/10.1017/s1474748016000207

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

KEEP EXPLORING

Related papers

Improved injective stability for relative $\mathrm{K_1Sp}$-groups

We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I\subset R$ such that $R/I$ is regular, where $R$ is a regular $k$-spot. We then introduce a relative version of the symplectic elementary Witt group and show that it fits into a relative version of the Karoubi periodicity sequence. Combining these results, we improve the existing injective stability bounds for relative linear and symplectic $\mathrm{K_1}$-groups of smooth affine algebras over various base fields. As an application, we give a necessary and sufficient condition for the freeness of stably free modules over smooth real $4$-folds with empty real locus.

math.KT

The Nil K-groups of finite groups

We show that for every finite group $G$ and every integer $n$, the Nil group $\mathrm{NK}_n(\mathbb{Z}[G])$ of the integral group ring of $G$ has finite exponent, and give a bound depending on n and the order $|G|$. This bound is explicit when every prime divisor of $|G|$ is at least $3+n/2$. More generally, our finite exponent result applies to $\mathrm{NK}_n(R[G])$ whenever $R$ is a regular, torsion-free, Noetherian commutative ring such that $R/p$ is regular for every prime $p$ that divides $|G|$. In the Appendix, M. Morrow provides an alternative approach and also shows that the Nil group $\mathrm{NK}_n(X)$ of an excellent Noetherian scheme $X$, with $X[1/p]$ regular, is annihilated by a finite power of $p$, provided $X$ admits a suitable resolution of singularities. By extending his argument to certain noncommutative rings, we also show that, for $R$ as above and $α$ any automorphism of $G$, the Farrell Nil groups $\mathrm{NK}_n(R[G],α)$ have finite exponent. As a consequence, for every virtually cyclic group $Γ$, the group $\mathrm{K}_n(\mathbb{Z}[Γ])$ is a direct sum of a finitely generated abelian group and an infinite countable direct sum of copies of a finite abelian group.

math.KT

Quantum CW-complexes in a Waldhausen category for unital C*-algebras

Using the ring structure of the K-groups of finite CW-complexes, Atiyah and Todd unravelled the K-theory of complex projective spaces $CP^n$. Herein, in the realm of noncommutative topology, we develop a new framework of finite quantum CW-complexes using the language of Waldhausen categories, which allows us to enrich the class of standard morphisms between unital C*-algebras by adding inverses of *-homomorphisms that are isomorphisms in K-theory. Our concept of quantum CW-complexes subsumes earlier constructions and enjoys a plethora of examples. Moreover, the framework allows us to reduce problems concerning the multipushout quantum complex projective space $CP^n_H$ to the much more approachable setting of the Vaksman-Soibelman quantum complex projective space $CP^n_q$ enjoying the availability of graph-algebraic methods. In particular, these methods permit us to transport the ring structure from $K^0(CP^n)$ to $K^0(CP_q^n)$. Finally, we adapt the formalism of Waldhausen categories to determine a natural set of free generators of $K^0(CP_H^n)$ from a natural set of free generators of $K^0(CP_q^n)$, and to transport the ring structure from $K^0(CP_q^n)$ to $K^0(CP_H^n)$.

math.KT