On the finite dimensionality of a K3 surface

For a smooth projective surface X the finite dimensionality of the Chow motive h(X), as conjectured by Kimura, has several geometric consequences. For a complex surface of general type with p _g = 0 it is equivalent to Bloch’s conjecture. The conjecture is still open for a K3 surface X which is not a Kummer surface. In this paper we prove some results on Kimura’s conjecture for complex K3 surfaces. If X has a large Picard number ρ = ρ(X), i.e. ρ = 19,20, then the motive of X is finite dimensional. If X has a non-symplectic group acting trivially on algebraic cycles then the motive of X is finite dimensional. If X has a symplectic involution i, i.e. a Nikulin involution, then the finite dimensionality of h(X) implies ${h(X) \simeq h(Y)}$ , where Y is a desingularization of the quotient surface ${X/\langle i \rangle }$ . We give several examples of K3 surfaces with a Nikulin involution such that the isomorphism ${h(X) \simeq h(Y)}$ holds, so giving some evidence to Kimura’s conjecture in this case.     

?*-extensions of tori, higher chow groups and applications to incidence equivalence relations for algebraic cycles

LetX be a smooth projective variety over an algebraically closed fieldk. We repeat Bloch's construction of aG _m -biextension (torseur)E over CH _hom ^p (X)×CH _hom ^q (X) forp+q=dim(X)+1. First we show that in characteristic zeroE comes via pullback from the Poincaré biextension over the corresponding product of intermediate Jacobians which has been conjectured by Bloch and Murre. Then the relations betweenE and various equivalence relations for algebraic cycles are studied. In particular we reprove Murre's theorem stating that Griffiths' conjecture holds for codimension 2 cycles, i.e. every 2-codimensional cycle which is algebraically and incidence equivalent to zero has torsion Abel-Jacobi invariant.     

The Chow Motive of a K3 Surface

In this note we present some results on the Chow motive h(X) of an algebraic surface X and relate them to the conjectures of Bloch, Beilinson and Murre. In particular we illustrate the relations between the finite-dimensionality of h(X) and the geometric properties of the surface. Then we focus on the case, where the conjectures are still open, of a complex K3 surface and prove some results which give some evidence to the finite-dimensionality of h(X).     

Chow groups are finite dimensional,in some sense

When S is a surface with p_g(S)>0, Mumford proved that its Chow group A_*S is not finite dimensional in some sense. In this paper, we propose another definition of finite dimensionality for the Chow groups. Using this new definition, at least the Chow group of some surface S with p_g(S)>0 (for example, the product of two curves) becomes finite dimensional. The finite dimensionality of the Chow groups follows from the finite dimensionality of the Chow motives. It turns out that the finite dimensionality of the Chow motives is a very strong property. For example, we can prove Blochs conjecture (representability of the Chow groups of surfaces with p_g(S)=0) under the assumption that the Chow motive of S is finite dimensional.Mathematics Subject Classification (2000): 14C     

Chow group of 1-cycles on the moduli space of vector bundles of rank 2 over a curve

Let X be a non-singular complex projective curve of genus ≥3. Choose a point x ∈ X. Let M_x be the moduli space of stable bundles of rank 2 with determinant We prove that the Chow group CH^Q₁(M_x) of 1-cycles on M_x with rational coefficients is isomorphic to CH^Q₀(X). By studying the rational curves on M_x, it is not difficult to see that there exits a natural homomorphism CH₀(J)→CH₁(M_x) where J denotes the Jacobian of X. The crucial point is to show that this homomorphism induces a homomorphism CH₀(X)→CH₁(M_x), namely, to go from the infinite dimensional object CH₀(J) to the finite dimensional object CH₀(X). This is proved by relating the degeneration of Hecke curves on M_x to the second term I^*2 of Bloch's filtration on CH₀(J). Insong Choe was supported by KOSEF (R01-2003-000-11634-0).     

McCoy modules and related modules over commutative rings

Let M be a left R-module. Then M is a McCoy (resp., dual McCoy) module if for nonzero f(X)∈R[X] and m(X)∈M[X], f(X)m(X) = 0 implies there exists a nonzero r∈R (resp., m∈M) with rm(X) = 0 (resp., f(X)m = 0). We show that for R commutative every R-module is dual McCoy, but give an example of a non-McCoy module. A number of other results concerning (dual) McCoy modules as well as arithmetical, Gaussian, and Armendariz modules are given.     

Zero cycles on conic fibrations and a conjecture of Bloch

Let X be a smooth projective surface over a number field k. Let (CH₀(X)) denote the Chow group of zero-cyles modulo rational equivalence on X. Let CH₀(X) be the subgroup of CH ₀(X) consisting of classes which vanish when going over to an arbitrary completion of k. Bloch put forward a conjecture asserting that this group is isomorphic to the Tate-Shafarevich group of a certain Galois module atttached to X. In this paper, we disprove this general conjecture. We produce a conic bundle X over an elliptic curve, for which the group (CH₀(X) is not zero, but the Galois-theoretic Tate-Shafarevich group vanishes.     

The multiplication map for global sections of line bundles and rank 1 torsion free sheaves on curves

LetX be an integral projective curve andL ∃ Pic^a(X),M ∃ Pic^b (X) with h¹(X, L)= h¹(X, M) = 0 andL, M general. Here we study the rank of the multiplication map μ _L,M :H ⁰(X,L)⊗H ⁰(X,M)→H ⁰(X,L⊗M). We also study the same problem whenL andM are rank 1 torsion free sheaves onX. Most of our results are forX with only nodes as singularities.     

Spaces of lower semicontinuous set-valued maps II

We introduce a lower semicontinuous analog, L ⁻(X), of the well-studied space of upper semicontinuous set-valued maps with nonempty compact interval images. Because the elements of L ⁻(X) contain continuous selections, the space C(X) of real-valued continuous functions on X can be used to establish properties of L ⁻(X), such as the two interrelated main theorems. The first of these theorems, the Extension Theorem, is proved in this Part I. The Extension Theorem says that for binormal spaces X and Y, every bimonotone homeomorphism between C(X) and C(Y) can be extended to an ordered homeomorphism between L ⁻(X) and L ⁻(Y). The second main theorem, the Factorization Theorem, is proved in Part II. The Factorization Theorem says that for binormal spaces X and Y, every ordered homeomorphism between L ⁻(X) and L ⁻(Y) can be characterized by a unique factorization.     

A Characterization of a Certain Class of Compact Metric Spaces

Compact metric spaces χ of such a kind, that ??_f =??(X), are characterized, ??(X) is the σ-field of BOREL sets and ??_f(X) is the field generated by all open subset of X. Our main result is Theorem 5: If χ is a compact metric space, then the following conditions are equivalent:

• 1 ??_f(X) =??(X).
• 2 card (X) ≦x₀ and there are k, m?N such that card (X^(k)) = m.
• 3 There are k, m?N such that χ is homeomorphic to ω^k · m + 1.

     

On a motivic interpretation of primitive,variable and fixed cohomology

If M is a smooth projective variety whose motive is Kimura finite‐dimensional and for which the standard Lefschetz Conjecture B holds, then the motive of M splits off a primitive motive whose cohomology is the primitive cohomology. Under the same hypotheses on M, let X be a smooth complete intersection of ample divisors within M. Then the motive of X is the sum of a variable and a fixed motive inducing the corresponding splitting in cohomology. I also give variants with group actions.     

Poisson Traces and D-Modules on Poisson Varieties

To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e. distributions invariant under Hamiltonian flow. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. More generally, to any morphism ${\phi : X \to Y}To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e. distributions invariant under Hamiltonian flow. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. More generally, to any morphism f: X ? Y{\phi : X \to Y} and any quasicoherent sheaf of Poisson modules N on X, we attach a right D-module M_f(X,N){M_\phi(X,N)} on X, and prove that it is holonomic if X has finitely many symplectic leaves, f{\phi} is finite, and N is coherent.     

Group-theoretical generalization of necklace polynomials

Let G be a group, U a subgroup of G of finite index, X a finite alphabet and q an indeterminate. In this paper, we study symmetric polynomials M _G (X,U) and M_G^q(X,U)M_{G}^{q}(X,U) which were introduced as a group-theoretical generalization of necklace polynomials. Main results are to generalize identities satisfied by necklace polynomials due to Metropolis and Rota in a bijective way, and to express M_G^q(X,U)M_{G}^{q}(X,U) in terms of M _G (X,V)’s, where [V] ranges over a set of conjugacy classes of subgroups to which U is subconjugate. As a byproduct, we provide the explicit form of the GL _m (ℂ)-module whose character is M_\mathbbZ^q(X,n\mathbbZ)M_{\mathbb{Z}}^{q}(X,n\mathbb{Z}), where m is the cardinality of X.     

Groupe de Chow de codimension deux des variétés définies sur un corps de nombres: un théorème de finitude pour la torsion

Summary LetX be a smooth, projective variety defined over a number field and let CH² (X) denote the Chow group of codimension two cycles modulo rational equivalence. We show that if the cohomology groupH ²(X,O_x) vanishes then the torsion subgroup of CH² (X) is a finite group. This result covers all previous results in this direction. The hypothesisH ²(X,O_x)=0 is used to lift line bundles.

---

---

Oblatum 17-IX-1990     

A Filtration on the Chow Groups of a Complex Projective Variety

Let X/ _C be a projective algebraic manifold, and further let CH ^k (X) _Q be the Chow group of codimension k algebraic cycles on X, modulo rational equivalence. By considering Q-spreads of cycles on X and the corresponding cycle map into absolute Hodge cohomology, we construct a filtration {F ^l}_{l 0} on CH ^k (X) _Q of Bloch-Beilinson type. In the event that a certain conjecture of Jannsen holds (related to the Bloch-Beilinson conjecture on the injectivity, modulo torsion, of the Abel–Jacobi map for smooth proper varieties over Q), this filtration truncates. In particular, his conjecture implies that F ^k+1 = 0.     

Algebraic cycles and EPW cubes

Let X be a hyperkähler variety with an anti‐symplectic involution ι. According to Beauville's conjectural “splitting property”, the Chow groups of X should split in a finite number of pieces such that the Chow ring has a bigrading. The Bloch–Beilinson conjectures predict how ι should act on certain of these pieces of the Chow groups. We verify part of this conjecture for a 19‐dimensional family of hyperkähler sixfolds that are “double EPW cubes” (in the sense of Iliev–Kapustka–Kapustka–Ranestad). This has interesting consequences for the Chow ring of the quotient , which is an “EPW cube” (in the sense of Iliev–Kapustka–Kapustka–Ranestad).     

A note on skew differential operators on commutative rings

Let A be a commutative integral domain that is a finitely generated algebra over a field k of characteristic 0 and let ø be a k-algebra automorphism of A of finite order m. In this note we study the ring D(A;ø of differential operators introduced by A.D. Bell. We prove that if A is a free module over the fixed sub-ring A ^ø, with a basis containing 1, then D(A;ø) is isomorphic to the matrix ring M_m(D(A ^ø). It follows from Grothendieck's Generic Flatness Theorem that for an arbitrary A there is an element c?Asuch that D(A[c^-1];ø)?M _m(D(A[c^-1]^ø)). As an application, we consider the structure of D(A;ø)when A is a polynomial or Laurent polynomial ring over k and ø is a diagonalizable linear automorphism.     

Algebraic geometry of topological spaces I

We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parameterized version of a theorem by Joseph Gubeladze; we show that if M is a countable, abelian, cancellative, torsion-free, semi-normal monoid, and X is contractible, then every finitely generated projective module over C(X)[M] is free. The particular case gives a parameterized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case . We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C ^*-algebras, and for a homology theory of commutative algebras to vanish on C ^*-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil K-theory implies that commutative C ^*-algebras are K-regular. As another application, we show that the familiar formulas of Hochschild–Kostant–Rosenberg and Loday–Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of C(X). Applications to the conjectures of Beĭlinson-Soulé and Farrell–Jones are also given.     

Vector measure Maurey–Rosenthal-type factorizations and -sums of -spaces

Consider a vector measure of bounded variation m with values in a Banach space and an operator T:XL¹(m), where L¹(m) is the space of integrable functions with respect to m. We characterize when T can be factorized through the space L²(m) by means of a multiplication operator given by a function of L²(|m|), where |m| is the variation of m, extending in this way the Maurey–Rosenthal Theorem. We use this result to obtain information about the structure of the space L¹(m) when m is a sequential vector measure. In this case the space L¹(m) is an ℓ-sum of L¹-spaces.     

On the Dilogarithmic Cycle Class Map

For a smooth projective surface X over C, we construct uncountably many non-torsion cycles in CH²(X) which die in the dilogarithmic cohomology of S. Bloch whenever there is an Abelian variety A and a correspondence δ in CH²(X × A) which induces non-zero map on the spaces of global 2-forms. In case X = E × E with E an elliptic curve, all of albanese kernel dies in any such analytic cohomology. Similar results are obtained for higher dimensional varieties under the condition of existence of non-trivial decomposable 2-forms.