Abstract
Let X be a projective algebraic manifold of dimension n (over C), CH^1^(X) the Chow group of algebraic cycles of codimension l on X, modulo rational equivalence, and A^1^(X) β CH^1^(X) the subgroup of cycles algebraically equivalent to zero. We say that A^1^(X) is finite dimensional if there exists a (possibly reducible) smooth curve T and a cycle zβCH^1^(Ξ Γ X) such that z~*~:A^1^(Ξ)βA^1^(X) is surjective. There is the well known AbelβJacobi map Ξ»~1~:A^1^(X)βJ(X), where J(X) is the __l__th Lieberman Jacobian. It is easy to show that A^1^(X)βJ(X)
equation image
A^1^(X) finite dimensional. Now set
equation image
with corresponding map A^*^(X)βJ(X). Also define Level
equation image
. In a recent book by the author, there was stated the following conjecture:
equation image
where it was also shown that (βΉ) in (**) is a consequence of the General Hodge Conjecture (GHC). In this present paper, we prove A^*^(X) finite dimensional βοΈ Level (H^*^(X)) β€ 1 for a special (albeit significant) class of smooth hypersurfaces. We make use of the family of kβplanes on X, where
equation image
([β¦] = greatest integer function) and d = deg X; moreover the essential technical ingredients are the Lefschetz theorems for cohomology and an analogue for Chow groups of hypersurfaces. These ingredients in turn imply very special cases of the GHC for our choice of hypersurfaces X. Some applications to the Griffiths group, vanishing results, and (universal) algebraic representatives for certain Chow groups are given.