Related papers: Additive cycle complex and coherent duality
We show that the multivariate additive higher Chow groups of a smooth affine $k$-scheme $\Spec (R)$ essentially of finite type over a perfect field $k$ of characteristic $\not = 2$ form a differential graded module over the big de Rham-Witt…
Let K be a complete discretely valued field with residue field k of characteristic p>0. There is a duality theory for cohomology with coefficients in commutative finite K-group schemes in the following cases : char(K)=0 and k finite (Tate),…
For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules…
We construct an algebraic-cycle based model for the motivic cohomology on the category of schemes of finite type over a field, where schemes may admit arbitrary singularities and may be non-reduced. We show that our theory is functorial on…
We study the Chow group of zero-cycles of smooth projective varieties over local and strictly local fields. We prove in particular the injectivity of the cycle class map to integral l-adic cohomology for a large class of surfaces with…
A main theme of the paper is a conjecture of Bloch-Kato on the image of $p$-adic regulator maps for a proper smooth variety $X$ over an algebraic number field $k$. The conjecture for a regulator map of particular degree and weight is…
We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…
The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a…
As an attempt to understand motives over $k[x]/(x^m)$, we define the cubical additive higher Chow groups with modulus for all dimensions extending the works of S. Bloch, H. Esnault and K. R\"ulling on 0-dimensional cycles. We give an…
Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…
For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered…
We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important…
Let X be a smooth variety over a field k and D an effective divisor whose support has simple normal crossings. We construct an explicit cycle map from the r-th Nisnevich motivic complex of the pair (X,D) to a shift of the r-th relative…
Let p be an odd prime number. We show that there exists a finite group of order p^{p+3} whose the mod p cycle map from the mod p Chow ring of its classifying space to its ordinary mod p cohomology is not injective.
Jannsen asked whether the rational cycle class map in continuous $\ell$-adic cohomology is injective, in every codimension for all smooth projective varieties over a field of finite type over the prime field. As recently pointed out by…
Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent…
This is the second part of the article [math.KT/0408094]. In the first paper, we used the underlying coalgebra structure to develop a cyclic theory. In this paper we define a dual theory by using the algebra structure. We define a cyclic…
Let X be a smooth variety over a field k, and l be a prime number invertible in k. We study the (\'etale) unramified H^3 of X with coefficients Q_l/Z_l(2) in the style of Colliot-Th\'el\`ene and Voisin. If k is separably closed, finite or…
Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural $p$-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of $\mathrm{SL}_2(\mathbb{Z}[1/p])$ which…
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…