We prove that the space of smooth rational curves of degree $e$ on a general complete intersection of multidegree $(d_1, \ldots , d_m)$ in $\mathbb {P}^n$ is irreducible of the expected dimension if $\sum _{i=1}^m d_i \lt (2n+m+1)/3$ and $n$ is sufficiently large. This generalizes a result of Harris, Roth and Starr [Rational curves on hypersurfaces of low degree, J. Reine Angew. Math. 571 (2004), 73–106], and is achieved by proving that the space of conics passing through any point of a general complete intersection has constant dimension if $\sum _{i=1}^m d_i$ is small compared to $n$.

We determine the structure of the Hodge ring, a natural object encoding the Hodge numbers of all compact Kähler manifolds. As a consequence of this structure, there are no unexpected relations among the Hodge numbers, and no essential differences between the Hodge numbers of smooth complex projective varieties and those of arbitrary Kähler manifolds. The consideration of certain natural ideals in the Hodge ring allows us to determine exactly which linear combinations of Hodge numbers are birationally invariant, and which are topological invariants. Combining the Hodge and unitary bordism rings, we are also able to treat linear combinations of Hodge and Chern numbers. In particular, this leads to a complete solution of a classical problem of Hirzebruch’s.

We prove the standard conjectures for complex projective varieties that are deformations of the Hilbert scheme of points on a K3 surface. The proof involves Verbitsky’s theory of hyperholomorphic sheaves and a study of the cohomology algebra of Hilbert schemes of K3 surfaces.

We give a necessary and sufficient condition in order for a hyperplane arrangement to be of Torelli type, namely that it is recovered as the set of unstable hyperplanes of its Dolgachev sheaf of logarithmic differentials. Decompositions and semistability of non-Torelli arrangements are investigated.

We present an improved algorithm for the computation of Zariski chambers on algebraic surfaces. The new algorithm significantly outperforms the currently available method and therefore allows us to treat surfaces of high Picard number, where huge numbers of chambers occur. As an application, we efficiently compute the number of chambers supported by the lines on the Segre–Schur quartic.

In the present paper we introduce and study the twisted γ-filtration on K0(Gs), where Gs is a split simple linear algebraic group over a field k of characteristic prime to the order of the center of Gs. We apply this filtration to construct nontrivial torsion elements in γ-rings of twisted flag varieties.

We test R. van Luijk’s method for computing the Picard group of a K3 surface. The examples considered are the resolutions of Kummer quartics in ℙ3. Using the theory of abelian varieties, the Picard group may be computed directly in this case. Our experiments show that the upper bounds provided by van Luijk’s method are sharp when sufficiently many primes are used. In fact, there are a lot of primes that yield a value close to the exact one. However, for many but not all Kummer surfaces V of Picard rank 18, we have for a set of primes of density at least 1/2.

A recent paper of Totaro developed a theory of q-ample bundles in characteristic 0. Specifically, a line bundle L on X is q-ample if for every coherent sheaf ℱ on X, there exists an integer m0 such that m≥m0 implies Hi (X,ℱ⊗𝒪(mL))=0for i>q. We show that a line bundle L on a complex projective scheme X is q-ample if and only if the restriction of L to its augmented base locus is q-ample. In particular, when X is a variety and L is big but fails to be q-ample, then there exists a codimension-one subscheme D of X such that the restriction of L to D is not q-ample.

For a perfect field k, we use the techniques of Bondal-Kapranov and Hanamura to construct a tensor triangulated category of mixed motives over the truncated polynomial ring k[t]/(tm+1). The extension groups in this category are given by Bloch's higher Chow groups and the additive higher Chow groups. The main new ingredient is the moving lemma for additive higher Chow groups by the authors and its refinements.

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective nor embeddable into toric varieties. Our methods extend to arbitrary two-dimensional schemes that are proper over an excellent ring.

Let (R,m) be a Noetherian local ring and UR=Spec(R)−{m} be the punctured spectrum of R. Gabber conjectured that if R is a complete intersection of dimension three, then the abelian group Pic(UR) is torsion-free. In this note we prove Gabber’s statement for the hypersurface case. We also point out certain connections between Gabber’s conjecture, Van den Bergh’s notion of non-commutative crepant resolutions and some well-studied questions in homological algebra over local rings.

We study the cones of pseudoeffective and nef cycles of higher codimension on the self product of an elliptic curve with complex multiplication, and on the product of a very general abelian surface with itself. In both cases, we find for instance the existence of nef classes that are not pseudoeffective, answering in the negative a question raised by Grothendieck in correspondence with Mumford. We also discuss several problems and questions for further investigation.

The main goal of this paper is to deduce (from a recent resolution of singularities result of Gabber) the following fact: (effective) Chow motives with ℤ[1/p]-coefficients over a perfect field k of characteristic p generate the category DMeffgm[1/p] (of effective geometric Voevodsky’s motives with ℤ[1/p]-coefficients). It follows that DMeffgm[1/p] can be endowed with a Chow weight structure wChow whose heart is Choweff[1/p] (weight structures were introduced in a preceding paper, where the existence of wChow for DMeffgmℚ was also proved). As shown in previous papers, this statement immediately yields the existence of a conservative weight complex functor DMeffgm[1/p]→Kb (Choweff [1/p])(which induces an isomorphism on K0-groups), as well as the existence of canonical and functorial (Chow)-weight spectral sequences and weight filtrations for any cohomology theory on DMeffgm[1/p] . We also mention a certain Chow t-structure for DMeff−[1/p]and relate it with unramified cohomology.

Green’s conjecture predicts than one can read off special linear series on an algebraic curve, by looking at the syzygies of its canonical embedding. We extend Voisin’s results on syzygies of K3 sections, to the case of K3 surfaces with arbitrary Picard lattice. This, coupled with results of Voisin and Hirschowitz–Ramanan, provides a complete solution to Green’s conjecture for smooth curves on arbitrary K3 surfaces.

We compare two known definitions for a relative family of effective zero cycles: one based on traces of functions and one based on norms of functions. In characteristic zero we show that both definitions agree. In the general setting we show that the norm map on functions can be expanded to a norm functor between certain categories of line bundles, thereby giving a third approach to families of zero cycles.

We study the slice filtration for the K-theory of a sheaf of Azumaya algebras A, and for the motive of a Severi-Brauer variety, the latter in the case of a central simple algebra of prime degree over a field. Using the Beilinson–Lichtenbaum conjecture, we apply our results to show the vanishing of SK2(A) for a central simple algebra A of square-free index (prime to the characteristic). This proves a conjecture of Merkurjev.

We study Cox rings of K3 surfaces. A first result is that a K3 surface has a finitely generated Cox ring if and only if its effective cone is rational polyhedral. Moreover, we investigate degrees of generators and relations for Cox rings of K3 surfaces of Picard number two, and explicitly compute the Cox rings of generic K3 surfaces with a non-symplectic involution that have Picard number 2 to 5 or occur as double covers of del Pezzo surfaces.

Using the middle convolution functor MCχ introduced by N. Katz, we prove the existence of rigid local systems whose monodromy is dense in the simple algebraic group G2. We derive the existence of motives for motivated cycles which have a motivic Galois group of type G2. Granting Grothendieck’s standard conjectures, the existence of motives with motivic Galois group of type G2 can be deduced, giving a partial answer to a question of Serre.

Let C be a family of curves over a non-singular variety S. We study algebraic cycles on the relative symmetric powers C[n] and on the relative Jacobian J. We consider the Chow homology CH*(C[∙]/S) := ⊕n CH*(C[n]/S) as a ring using the Pontryagin product. We prove that CH*(C[∙]/S) is isomorphic to CH*(J/S)[t]〈u〉, the PD-polynomial algebra (variable: u) over the usual polynomial ring (variable: t) over CH*(J/S). We give two such isomorphisms that over a general base are different. Further we give precise results on how CH*(J/S) sits embedded in CH*(C[∙]/S) and we give an explicit geometric description of how the operators and ∂u act. This builds upon the study of certain geometrically defined operators Pi,j (a) that was undertaken by one of us.

Our results give rise to a new grading on CH*(J/S). The associated descending filtration is stable under all operators [N]*, and [N]* acts on as multiplication by Nm. Hence, after − ⊗ ℚ this filtration coincides with the one coming from Beauville's decomposition. The grading we obtain is in general different from Beauville's.

Finally, we give a version of our main result for tautological classes, and we show how our methods give a simple geometric proof of some relations obtained by Herbaut and van der Geer–Kouvidakis, as later refined by one of us.

We show that the limit of a one-parameter admissible normal function with no singularities lies in a non-classical sub-object of the limiting intermediate Jacobian. Using this, we construct a Hausdorff slit analytic space, with complex Lie group fibres, which ‘graphs’ such normal functions. For singular normal functions, an extension of the sub-object by a finite group leads to the Néron models. When the normal function comes from geometry, that is, a family of algebraic cycles on a semistably degenerating family of varieties, its limit may be interpreted via the Abel–Jacobi map on motivic cohomology of the singular fibre, hence via regulators on K-groups of its substrata. Two examples are worked out in detail, for families of 1-cycles on CY and abelian 3-folds, where this produces interesting arithmetic constraints on such limits. We also show how to compute the finite ‘singularity group’ in the geometric setting.