We apply the machinery of relative tensor triangular Chow groups to the action of the derived category of quasi-coherent sheaves on a noetherian scheme $X$ on the derived category of quasi-coherent $\mathcal{A}$-modules, where $\mathcal{A}$ is a (not necessarily commutative) quasi-coherent $\mathcal{O}_X$-algebra. When $\mathcal{A}$ is commutative and coherent, we recover the tensor triangular Chow groups of the relative Spec of $\mathcal{A}$. We also obtain concrete descriptions for integral group algebras and hereditary orders over curves, and we investigate the relation of these invariants to the classical ideal class group of an order. An important tool for these computations is a new description of relative tensor triangular Chow groups as the image of a map in the K-theoretic localization sequence associated to a certain Verdier localization.
We extend the scope of Balmer's tensor triangular Chow groups to compactly generated triangulated categories $\mathcal{K}$ that only admit an action by a compactly-rigidly generated tensor triangulated category $\mathcal{T}$ as opposed to having a compatible monoidal structure themselves. The additional flexibility allows us to recover the Chow groups of a possibly singular algebraic variety $X$ from the homotopy category of quasi-coherent injective sheaves on $X$. We are also able to construct localization sequences associated to restricting to an open subset of $\mathrm{Spc}(\mathcal{T}^c)$,…
We show that under favorable circumstances, one can construct an intersection product on the Chow groups of a tensor triangulated category $\mathcal{T}$ (as defined by Balmer) which generalizes the usual intersection product on a non-singular algebraic variety. Our construction depends on the choice of an algebraic model for $\mathcal{T}$ (a tensor Frobenius pair), which has to satisfy a $\mathrm{K}$-theoretic regularity condition analogous to the Gersten conjecture from algebraic geometry. In this situation, we are able to prove an analogue of the Bloch formula and use it to define an interse…
We recall P. Balmer's definition of tensor triangular Chow group for a tensor triangulated category $\mathcal{K}$ and explore some of its properties. We give a proof that for a suitably nice scheme $X$ it recovers the usual notion of Chow group from algebraic geometry when we put $\mathcal{K} = \mathrm{D^{perf}}(X)$. Furthermore, we identify a class of functors for which tensor triangular Chow groups behave functorially and show that (for suitably nice schemes) proper push-forward and flat pull-back of algebraic cycles can be interpreted as being induced by the derived inverse and direct image…
Using determinant functor, we describe a natural transformation from local Hilbert functor to K-theoretic cycle groups of codimension one, which were variants of Balmer's tensor triangular Chow groups. This enables us to answers a question of Bloch on infinitesimal deformation of Chow groups of divisors.
Based on Balmer's tensor triangular Chow group, we propose K-theoretic Chow groups of derived categories of noetherian schemes and their Milnor variants for regular schemes and their thickenings. We discuss functoriality and show that our Chow groups agree with the classical ones for regular schemes. Moreover, we also define tangent spaces to our Chow groups as usually and identify them with cohomology groups of differentials. As an application, we extend Bloch-Quillen identification and soule's variant from regular schemes to their thickenings. This gives a positive answer to a question by Gr…
Finding coherent relations to define non Abelian cohomology is a thriller which entertains the mathematical community since fifty one years. The purpose of this paper is to simplify the attempt to beat it defined by the author which used the notion of sequences of fibred categories and to apply the resulting theory to higher divisors and Chow theory.
The paper discusses four approaches to the biextension of Chow groups and their equivalences. These are the following: an explicit construction given by S.Bloch, a construction in terms of the Poincare biextension of dual intermediate Jacobians, a construction in terms of K-cohomology, and a construction in terms of determinant of cohomology of coherent sheaves. A new approach to J.Franke's Chow categories is given. An explicit formula for the Weil pairing of algebraic cycles is obtained.
In this paper, we prove a decomposition result for the Chow groups of projectivizations of coherent sheaves of homological dimension $\le 1$. In this process, we establish the decomposition of Chow groups for the cases of Cayley's trick and standard flips. Moreover, we apply these results to study the Chow groups of symmetric powers of curves, nested Hilbert schemes of surfaces, and the varieties resolving Voisin maps for cubic fourfolds.
Based on Balmer's tensor triangular Chow group [2], we propose (Milnor)K-theoretic Chow groups of derived categories of schemes. These Milnor K-theoretic Chow groups recover the classical ones [6] for smooth projective varieties and can detect nilpotent, while the classical ones can't do. As an application, we extend Soulé's variant of Bloch-Quilled identification from smooth projective varieties to their trivial infinitesimal thickenings. This answers affirmatively a question by Green-Griffiths for trivial deformations, see Question 1.1 below.
We apply the machinery developed by the first-named author to the K-theory of coherent G-sheaves on a finite type G-scheme X over a field, where G is a finite group. This leads to a definition of G-equivariant higher Chow groups (different from the Chow groups of classifying spaces constructed by Totaro and generalized to arbitrary X by Edidin-Graham) and an Atiyah-Hirzebruch spectral sequence from the G-equivariant higher Chow groups to the higher K-theory of coherent G-sheaves on X. This spectral sequence generalizes the spectral sequence from motivic cohomology to K-theory constructed by Bl…
We prove analogs of Whitehead's theorem (from algebraic topology) for both the Chow groups and for the Grothendieck group of coherent sheaves: a morphism between smooth projective varieties whose pushforward is an isomorphism on the Chow groups, or on the Grothendieck group of coherent sheaves, is an isomorphism. As a corollary, we show that there are no nontrivial naive $\mathbb{A}^1$-homotopy equivalences between smooth projective varieties.
A theorem of Esnault, Srinivas and Viehweg asserts that if the Chow group of 0-cycles of a smooth complete complex variety decomposes, then the top-degree coherent cohomology group decomposes similarly. In this note, we prove a similar statement for Chow groups of arbitrary codimension, provided the variety satisfies the Lefschetz standard conjecture.
We study the operational bivariant theory associated to the covariant theory of Grothendieck groups of coherent sheaves, and prove that it has many geometric properties analogous to those of operational Chow theory. This operational K-theory agrees with Grothendieck groups of vector bundles on smooth varieties, admits a natural map from the Grothendieck group of perfect complexes on general varieties, satisfies descent for Chow envelopes, and is A^1-homotopy invariant. Furthermore, we show that the operational K-theory of a complete linear variety is dual to the Grothendieck group of coherent …
In this paper we develop an equivariant intersection theory for actions of algebraic groups on algebraic schemes. The theory is based on our construction of equivariant Chow groups. They are algebraic analogues of equivariant cohomology groups which satsify the formal properties of ordinary Chow groups. In addition, they enjoy many of the properties of equivariant cohomology. The principal results are: (1) We prove the existence of canonical intersection products on the Chow groups of geometric quotients of smooth varieties- even when the stabilizers of geometric points are non-reduced. (2) We…
A theorem of Esnault, Srinivas and Viehweg asserts that if the Chow group of 0-cycles of a smooth complete complex variety decomposes, then the top-degree coherent cohomology group decomposes similarly. In this note, we prove that (a weak version of) the converse holds for varieties of dimension at most 5 that have finite-dimensional motive and satisfy the Lefschetz standard conjecture. The proof is based on Vial's construction of a refined Chow-Kunneth decomposition for these varieties.
The paper is concerned with cohomology of the small quantum group at a root of unity, and of its upper triangular subalgebra, with coefficients in a tilting module. We relate it to a certain t-structure on the derived category of equivariant coherent sheaves on the Springer resolution, and to equivariant coherent IC sheaves on the nil-cone. The support of these cohomology is described in terms of cells in affine Weyl groups, and the basis in the Grothendieck group they provide is related to the Kazhdan-Lusztig basis, as predicted by J. Humphreys and V. Ostrik. The proof is based on earlier res…
