-
On purely generated $α$-smashing weight structures and weight-exact localizations
Authors:
Mikhail V. Bondarko,
Vladimir A. Sosnilo
Abstract:
This paper is dedicated to new methods of constructing weight structures and weight-exact localizations; our arguments generalize their bounded versions considered in previous papers of the authors. We start from a class of objects $P$ of triangulated category $C$ that satisfies a certain negativity condition (there are no $C$-extensions of positive degrees between elements of $P$; we actually nee…
▽ More
This paper is dedicated to new methods of constructing weight structures and weight-exact localizations; our arguments generalize their bounded versions considered in previous papers of the authors. We start from a class of objects $P$ of triangulated category $C$ that satisfies a certain negativity condition (there are no $C$-extensions of positive degrees between elements of $P$; we actually need a somewhat stronger condition of this sort) to obtain a weight structure both "halves" of which are closed either with respect to $C$-coproducts of less than $α$ objects (for $α$ being a fixed regular cardinal) or with respect to all coproducts (provided that $C$ is closed with respect to coproducts of this sort). This construction gives all "reasonable" weight structures satisfying the latter condition. In particular, we obtain certain weight structures on spectra (in $SH$) consisting of less than $α$ cells and on certain localizations of $SH$; these results are new.
△ Less
Submitted 29 June, 2019; v1 submitted 3 December, 2017;
originally announced December 2017.
-
On constructing weight structures and extending them to idempotent extensions
Authors:
Mikhail V. Bondarko,
Vladimir A. Sosnilo
Abstract:
We describe a new method for constructing a weight structure $w$ on a triangulated category $C$.
For a given $C$ and $w$ it allow us to give a fairly comprehensive (and new) description of those triangulated categories consisting of retracts of objects of $C$ (i.e., of subcategories of the Karoubi envelope of $C$ that contain $C$; we call them idempotent extensions of $C$) such that $w$ extends…
▽ More
We describe a new method for constructing a weight structure $w$ on a triangulated category $C$.
For a given $C$ and $w$ it allow us to give a fairly comprehensive (and new) description of those triangulated categories consisting of retracts of objects of $C$ (i.e., of subcategories of the Karoubi envelope of $C$ that contain $C$; we call them idempotent extensions of $C$) such that $w$ extends to them. In particular, any bounded above or below $w$ extends to any idempotent extension of $C$. We also discuss the applications of our results to certain triangulated categories of ("relative") motives.
△ Less
Submitted 23 January, 2017; v1 submitted 26 May, 2016;
originally announced May 2016.
-
A Nullstellensatz for triangulated categories
Authors:
Mikhail V. Bondarko,
Vladimir A. Sosnilo
Abstract:
The main goal of this paper is to prove the following: for a triangulated category $ \underline{C}$ and $E\subset \operatorname{Obj} \underline{C}$ there exists a cohomological functor $F$ (with values in some abelian category) such that $E$ is its set of zeros if (and only if) $E$ is closed with respect to retracts and extensions (so, we obtain a certain Nullstellensatz for functors of this type)…
▽ More
The main goal of this paper is to prove the following: for a triangulated category $ \underline{C}$ and $E\subset \operatorname{Obj} \underline{C}$ there exists a cohomological functor $F$ (with values in some abelian category) such that $E$ is its set of zeros if (and only if) $E$ is closed with respect to retracts and extensions (so, we obtain a certain Nullstellensatz for functors of this type). Moreover, for $ \underline{C}$ being an $R$-linear category (where $R$ is a commutative ring) this is also equivalent to the existence of an $R$-linear $F: \underline{C}^{op}\to R-\operatorname{mod}$ satisfying this property.
As a corollary, we prove that an object $Y$ belongs to the corresponding "envelope" of some $D\subset \operatorname{Obj} \underline{C}$ whenever the same is true for the images of $Y$ and $D$ in all the categories $ \underline{C}_p$ obtained from $ \underline{C}$ by means of "localizing the coefficients" at maximal ideals $p\triangleleft R$. Moreover, to prove our theorem we develop certain new methods for relating triangulated categories to their (non-full) countable triangulated subcategories.
The results of this paper can be applied to the study of weight structures and of triangulated categories of motives.
△ Less
Submitted 29 January, 2016; v1 submitted 18 August, 2015;
originally announced August 2015.
-
Detecting effectivity of motives, their weights, connectivity, and dimension via Chow-weight (co)homology: a "mixed motivic decomposition of the diagonal"
Authors:
Mikhail V. Bondarko,
Vladimir A. Sosnilo
Abstract:
We describe certain criteria for a motif $M$ to be $r$-effective, i.e., to belong to the $r$th Tate twist $Obj DM^{eff}_{gm,R}(r)=Obj DM^{eff}_{gm,R} \otimes L^{\otimes r}$ of effective Voevodsky motives (for $r\ge 1$; $R$ is the coefficient ring). In particular, $M$ is 1-effective if and only if a complex whose terms are certain Chow groups of zero-cycles is acyclic.
The dual to this statement…
▽ More
We describe certain criteria for a motif $M$ to be $r$-effective, i.e., to belong to the $r$th Tate twist $Obj DM^{eff}_{gm,R}(r)=Obj DM^{eff}_{gm,R} \otimes L^{\otimes r}$ of effective Voevodsky motives (for $r\ge 1$; $R$ is the coefficient ring). In particular, $M$ is 1-effective if and only if a complex whose terms are certain Chow groups of zero-cycles is acyclic.
The dual to this statement checks whether an effective motif $M$ belongs to the subcategory of $DM^{eff}_{gm,R}$ generated by motives of varieties of dimension $\le r$. These criteria are formulated in terms of the Chow-weight (co)homology of $M$. These (co)homology theories are introduced in the current paper and have several (other) remarkable properties: they yield a bound on the "weights" of $M$ (in the sense of the Chow weight structure defined by the first author) and detect the effectivity of "the lower weight pieces" of $M$. We also calculate the "connectivity" of $M$ (in the sense of Voevodsky's homotopy t-structure) and prove that the exponents of the higher motivic homology groups (of an "integral" motif) are bounded whenever these groups are torsion. These motivic properties of $M$ have important consequences for its cohomology. As a corollary, we prove that if Chow groups of an arbitrary variety $X$ vanish up to dimension $r-1$ then the highest Deligne weight factors of the (singular or étale) cohomology of $X$ with compact support are $r$-effective in the naturally defined sense.
Our results yield a vast generalization of the so-called "decomposition of the diagonal" statements.
△ Less
Submitted 11 October, 2019; v1 submitted 24 November, 2014;
originally announced November 2014.
-
Non-commutative localizations of additive categories and weight structures; applications to birational motives
Authors:
Mikhail V. Bondarko,
Vladimir A. Sosnilo
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 hea…
▽ More
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.
△ Less
Submitted 15 September, 2014; v1 submitted 22 April, 2013;
originally announced April 2013.
