Using Dold–Puppe category approach to the duality in topology, we prove general duality theorem for the category of motives. As one of the applications of this general result we obtain, in particular, a generalization of Friedlander–Voevodsky’s duality to the case of arbitrary base field characteristic.
One sets \mathfrak M=\mathbf{DM^-(k)} and the functor \bf M to be the corresponding motive functor from [SV, Vo2]. Then \bf M happens to be a functor with transfers for projective morphisms and our list of axioms is fulfilled. The Cancelation axiom was checked in this context in [Vo1]. Construction of the transfer and verification of other axioms belong to the base properties of Voevodsky’s motives (see, for example [SV, Section 4]).
Changing, in our settings, \bf Sm/k with a category of CW-complexes and taking the derived homotopy category of singular complexes with \mathbb Z_2-coefficients as \mathfrak M, we obtain, as one can easily see, the standard definitions of singular (co-)homology. To make the indexes consistent, it suffices to put M(i)[j]:=M[j-i], where on the right-hand-side the usual triangulated category shift is employed. Alteratively, one can just rewrite all the constructions with a single index. The role of projective morphisms is played in this case by proper (in the topological sense) maps. The transfer construction can be found in almost any algebraic topology textbook. Direct verification shows that all the axioms hold in the considered case. As a result we obtain a proof of the classical Poincaré duality theorem in the spirit of Dold–Puppe’s paper [DP].
For every orientable theory of motives \bf M and arbitrary varieties X,Y\in\bf Sm/k with projective equidimensional X there is the canonical isomorphism of abelian groups:
contravariant with respect to Y. Here d=\dim X.
For an arbitrary smooth projective equidimensional variety X of dimension d there exists the canonical isomorphism:
Set Y=\operatorname{pt} in the theorem statement.
Let \bf M be the theory of motives considered above in Example 1. Then for every smooth projective equidimensional variety X the constructed duality morphism
is an isomorphism.
Complete the morphism \psi up to a distinguished triangle in the category \mathfrak M and denote the third vertex of the triangle by \text{\rm Cone}(\psi). As it follows from Theorem 3, the relation \operatorname{Hom}(M(Y)(p)[q],\text{\rm Cone}(\psi))=0 holds for every smooth irreducible variety Y and arbitrary integers p,q. Because the category \mathfrak M is weakly generated by motives of such a kind, one can see that the object \text{\rm Cone}(\psi) is isomorphic to the zero-object. Triangulated category axioms easily imply that the morphism with zero cone is an isomorphism.
In order to construct isomorphisms mentioned in the Theorem, one needs the following ingredients. First of all, denote by 1\in\mathrm{H\!M}^{0,0}(\operatorname{pt})=\mathrm{H\!M}_{0,0}(\operatorname{pt}) the element of (co-)homology group of the point, corresponding to the identity morphism \operatorname{id}\colon\operatorname{pt}\to\operatorname{pt}. Let us note that for a morphism of varieties f\colon X\to Y the morphism M(f) induces the natural maps f_*\colon\mathrm{H\!M}_{*,*}(X)\to\mathrm{H\!M}_{*,*}(Y) in motivic homology and f^*\colon\mathrm{H\!M}^{*,*}(Y)\to\mathrm{H\!M}^{*,*}(X) respectively, in cohomology. In case then f is projective of codimension d, motivic transfer map f^! induces corresponding transfers
in (co-)homology. For a variety X of dimension d consider the diagonal and projection morphisms:
and call the elements
and
fundamental and cofundamental classes of X, correspondingly. Let us also define slant-products
and
in the following way. For elements \alpha\in \mathrm{H\!M}^{i,j}(X\times Y) and a\in \mathrm{H\!M}_{m,n}(Y) set:
for the first product, and symmetrically:
for the second one, provided that b\in \mathrm{H\!M}_{m,n}(X\times Y) and \beta\in \mathrm{H\!M}^{i,j}(Y). (Here and below we implicitly use Cancelation axiom.) Set Poincaré Duality homomorphisms for the case of Corollary 4, letting:
and
verbatim as it was done in [PY].
Then, consider a natural extension of these homomorphisms to the general case of the theorem. Denote, for brevity, the motive M(Y)(i)[j] by \mathcal Y, and the index shift and twist (d)[2d] by \{d\}. Construct a map
as follows. For a morphism a\in \operatorname{Hom}(\mathcal Y,M(X)) give D_\bullet(a) by the formula:
The inverse map
is given for a morphism \alpha\in \operatorname{Hom}(\mathcal Y\otimes M(X),\mathbb Z\{d\}) as:
The constructed maps are obviously contravariant with respect to the variable \mathcal Y. Theorem 3 now results from the Cancelation axiom and commutativity of two diagrams below(In the consequent diagrams M(X)^{\otimes n} denotes n-fold tensor product and \Delta^i is a diagonal morphism applied to the i-th factor.): $$ YZM(X)_1p^!1[d]^id@=[dr]
[dr]|
For projective equidimensional varieties X,Y\in\bf Sm/k and a morphism f\colon X\to Y, one has:
Here \mathcal D_\bullet^X and \mathcal D_\bullet^Y denote Poincaré duality isomorphisms applied to varieties X and Y, respectively.
The first equality can be easily derived from the relation
which, in its row, yields from the commutativity of the diagram:
(Here all the shifts and twists are omitted for simplicity.) The square marked by \blacksquare is induced by the transversal graph diagram of the morphism f:
Hence, it is commutative. Commutativity in all other diagram parts is obvious. The second equality can be proven in a similar way.
The text on this page is from arXiv:0810.2160v1 by Ivan Panin and Serge Yagunov, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/0810/0810.2160.jsonl.