Algebraic Cycles and Higher Abel-Jacobi map

点击翻译按钮获取中文摘要

Motivic cohomology is one of the most significant objects to study in arithmetic and algebraic geometry. For example, let K be a number field and O_K be its ring of integers. Then the ideal class group of K and the group of units in O_K are motivic cohomology of the scheme Spec(O_K).An important conjecture in arithmetic geometry is finiteness of motivic cohomology of arithmetic schemes. This is a natural generalization of the finiteness result for the above examples, which is a fundamental fact in classical number theory. There have been very few results on the problem so far except the case of Spec(O_K) or a curve over a finite field.In our research we have proved a new finiteness result for motivic cohomology. To state a result, let X be either regular projective flat over Spec(O_K) (arithmetic case) or a projective smooth variety over a finite field F (geometric case). The first crucial observation is that the finiteness of a certain motivic cohomology of X follows from a conjecture of Kato on the vanishing of KH_q(X) for integers q〓1. Here KH_q(X) is a certain arithmetic invariant attached to X. The Kato conjecture in case X=Spec(O_K) is equivalent to a fundamental fact in number theory concerning the Brauer group of K, which implies the Hasse principle for central simple algebras over K.We have shown the Kato conjecture in geometric case under the assumption of resolution of singu-larities. To be more precise we have obtain the following:Theorem Let X be a projective smooth variety over a finite field. Let γ〓1 be an integer. Assume resolution of singularities for subvarieties of dimension〓_K embedded in a smooth variety over F. Then KH_q(X)=0 for 1〓q〓γ+2.We have also succeeded to show the resolution of singularities in the above sense in case γ=2. Thus we get KH_q(X)=0 for 1〓q〓4 unconditionally and it gives rise to a new finiteness result for motivic cohomology of X.