我们描述代数定义的上同调和同调Albanese和Picard 1-动机(或混合动机)的任何代数品种的特征为零,推广经典的Albanese和Picard品种。我们计算Hodge,l-adic和De Rham实现证明德利涅猜想有关的混合Hodge结构。研究了射影丛的函子性、普适性、同伦不变性和在射影丛形成下的不变性。我们比较我们的上同调和同调1-动机正常计划。对于适当的方案,我们得到了从零圈的(Levine-Weibel)Chow群到上同调Albanese 1-motive的Abel-Jacobi映射,其中Albanese 1-motive是半阿贝尔簇的泛正则同态.利用这个泛性质,我们得到了射影局部完全交态射的motivic Gysin映射.本文是我们的初步Comptes Rendus Note的扩展版本,Academie des Sciences,Paris,Vol.326,1998。
英文摘要:
We describe algebraically defined cohomological and homological Albanese and Picard 1-motives (or mixed motives) of any algebraic variety in characteristic zero, generalizing the classical Albanese and Picard varieties. We compute Hodge, l-adic and De Rham realizations proving Deligne's conjecture for the concerned mixed Hodge structures.
We investigate functoriality, universality, homotopical invariance and invariance under formation of projective bundles. We compare our cohomological and homological 1-motives for normal schemes. For proper schemes, we obtain an Abel-Jacobi map from the (Levine-Weibel) Chow group of zero cycles to our cohomological Albanese 1-motive which is the universal regular homomorphism to semi-abelian varieties. By using this universal property we get 'motivic' Gysin maps for projective local complete intersection morphisms.
This paper is an extended version of our preliminary Comptes Rendus Note, Academie des Sciences, Paris, Vol. 326, 1998.
本文用纯代数的方法定义了特征为零的代数闭域上任意代数模式$X$的1-基序$Alb^{+}(X)$,$Alb^{-}(X)$,$Pic^{+}(X)$和$Pic^{-}(X)$.对于$n$维的$X$ over $\C$,Hodge实现分别是$H^{2n-1}(X)(n)$、$H_{1}(X)$、$H^{1}(X)(1)$和$H_{2n-1}(X)(1-n)$。
Distinguished cycles on varieties with motive of abelian type and the Section Property
Peter O'Sullivan的一个显著结果是,从一个阿贝尔簇的有理Chow环到它的有理Chow环模数值等价的代数满射允许一个(典型)截面.受Beauville的分裂原理的启发,我们提出了一个代数截面性质,它预言了对于光滑的射影全纯辛簇,存在这样一个代数截面,它的像包含该簇的所有Chern类.在本文中,我们研究这个性质的(不一定是辛)簇的Chow动机的阿贝尔型。我们引入对称区分阿贝尔动机的概念,并使用它提供了一个充分条件,一个光滑的投射品种,承认这样的一节。然后,我们给出了一系列的例子品种,我们的理论工程。例如,我们证明了有限秩Chow群的簇的任意乘积,阿贝尔簇,超椭圆曲线,Fermat三次超曲面,阿贝尔曲面或Kummer曲面或Picard数至少为19的K3曲面上的点的Hilbert格式,以及广义Kummer簇的存在性.后者的情况下提供了证据的代数部分性质和咒语,动机的全纯辛簇应该表现为动机的阿贝尔簇,作为代数对象。