Fano varieties of cubic fourfolds containing a plane

We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to moduli spaces of twisted stable coherent sheaves on a K3 surface. The moduli spaces of complexes and of sheaves are related by wall-crossing in the derived category of twisted sheaves on the corresponding K3 surface.     

Generalized varieties of sums of powers

Let X ? P^N be an irreducible, non-degenerate variety. The generalized variety of sums of powers V S P_H^X(h) of X is the closure in the Hilbert scheme Hilb_h (X) of the locus parametrizing collections of points {x₁,..., x_h} such that the (h -1)-plane >x₁,..., x_h> passes through a fixed general point p ∈ P^N. When X = V_dⁿ is a Veronese variety we recover the classical variety of sums of powers V S P(F, h) parametrizing additive decompositions of a homogeneous polynomial as powers of linear forms. In this paper we study the birational behavior of V S P_H^X(h). In particular, we show how some birational properties, such as rationality, unirationalityand rational connectedness, of V S P_H^X(h) are inherited from the birational geometry of variety X itself.     

The Tate conjecture for powers of ordinary cubic fourfolds over finite fields

Recently, Levin proved the Tate conjecture for ordinary cubic fourfolds over finite fields. In this paper, we prove the Tate conjecture for self-products of ordinary cubic fourfolds. Our proof is based on properties of so-called polynomials of K3-type introduced by the author about 12 years ago.     

Modular forms and special cubic fourfolds

We study the degrees of special cubic divisors on moduli space of cubic fourfolds with at worst ADE singularities. In this paper, we show that the generating series of the degrees of such divisors is a level three modular form.     

Tensor product varieties and crystals: case

A geometric theory of tensor product for -crystals is described. In particular, the role of Spaltenstein varieties in the tensor product is explained, and thus a direct (non-combinatorial) proof of the fact that the number of irreducible components of a Spaltenstein variety is equal to a Littlewood-Richardson coefficient (i.e. certain tensor product multiplicity) is obtained.

     

Linear systems on abelian varieties of dimension

We show that polarisations of type on -dimensional abelian varieties are never very ample, if . This disproves a conjecture of Debarre, Hulek and Spandaw. We also give a criterion for non-embeddings of abelian varieties into -dimensional linear systems.

     

Algebraic cycles and very special cubic fourfolds

Informed by the Bloch–Beilinson conjectures, Voisin has made a conjecture about 0-cycles on self-products of Calabi–Yau varieties. In this note, we consider variant versions of Voisin’s conjecture for cubic fourfolds, and for hyperkähler varieties. We present examples for which these conjectures are verified, by considering certain very special cubic fourfolds and their Fano varieties of lines.     

On certain character sums over

Let be the finite field with elements and let denote the ring of polynomials in one variable with coefficients in . Let be a monic polynomial irreducible in . We obtain a bound for the least degree of a monic polynomial irreducible in ( odd) which is a quadratic non-residue modulo . We also find a bound for the least degree of a monic polynomial irreducible in which is a primitive root modulo .

     

On polarized surfaces

Let be a smooth projective surface over and an ample Cartier divisor on . If the Kodaira dimension or , the author proved , where . If , then the author studied with . In this paper, we study the polarized surface with , , and .

     

Hyperbolic surfaces in

We show a class of perturbations of the Fermat hypersurface such that any holomorphic curve from into is degenerate. Applying this result, we give explicit examples of hyperbolic surfaces in of arbitrary degree , and of curves of arbitrary degree in with hyperbolic complements.

     

Rational surfaces with

The main but not all of the results in this paper concern rational surfaces for which the self-intersection of the anticanonical class is positive. In particular, it is shown that no superabundant numerically effective divisor classes occur on any smooth rational projective surface with . As an application, it follows that any 8 or fewer (possibly infinitely near) points in the projective plane are in good position. This is not true for 9 points, and a characterization of the good position locus in this case is also given. Moreover, these results are put into the context of conjectures for generic blowings up of . All results are proven over an algebraically closed field of arbitrary characteristic.

     

The enumerative geometry of surfaces and modular forms

Let be a surface, and let be a holomorphic curve in representing a primitive homology class. We count the number of curves of geometric genus with nodes passing through generic points in in the linear system for any and satisfying .

When , this coincides with the enumerative problem studied by Yau and Zaslow who obtained a conjectural generating function for the numbers. Recently, Göttsche has generalized their conjecture to arbitrary in terms of quasi-modular forms. We prove these formulas using Gromov-Witten invariants for families, a degeneration argument, and an obstruction bundle computation. Our methods also apply to blown up at 9 points where we show that the ordinary Gromov-Witten invariants of genus constrained to points are also given in terms of quasi-modular forms.     

On sums of powers

Proceedings - Mathematical Sciences -     

Cuntz-Krieger algebras and endomorphisms of finite direct sums of type I factors

A correspondence between algebra endomorphisms of a finite sum of copies of the algebra of all bounded operators on a Hilbert space and representations of certain norm closed -subalgebras of bounded operators generated by a finite collection of partial isometries is introduced. Basic properties of this correspondence are investigated after developing some operations on bipartite graphs that usefully describe aspects of this relationship.

     

Tetragonal curves, scrolls and surfaces

In this paper we establish a theorem which determines the invariants of a general hyperplane section of a rational normal scroll of arbitrary dimension. We then construct a complete intersection surface on a four-dimensional scroll and prove it is regular with a trivial dualizing sheaf. We determine the invariants for which the surface is nonsingular, and hence a surface. A general hyperplane section of this surface is a tetragonal curve; we use the first theorem to determine for which tetragonal invariants such a construction is possible. In particular we show that for every genus there is a tetragonal curve of genus that is a hyperplane section of a surface. Conversely, if the tetragonal invariants are not sufficiently balanced, then the complete intersection must be singular. Finally we determine for which additional sets of invariants this construction gives a tetragonal curve as a hyperplane section of a singular canonically trivial surface, and discuss the connection with other recent results on canonically trivial surfaces.

     

On the Chow groups of certain cubic fourfolds

This note is about the Chow groups of a certain family of smooth cubic fourfolds. This family is characterized by the property that each cubic fourfold X in the family has an involution such that the induced involution on the Fano variety F of lines in X is symplectic and has a K3 surface S in the fixed locus. The main result establishes a relation between X and S on the level of Chow motives. As a consequence, we can prove finite-dimensionality of the motive of certain members of the family.