STABLE RATIONALITY OF QUADRIC SURFACE BUNDLES OVER SURFACES
|
|
- Edwina Campbell
- 6 years ago
- Views:
Transcription
1 STABLE RATIONALITY OF QUADRIC SURFACE BUNDLES OVER SURFACES BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL Abstract. We study rationality properties of quadric surface bundles over the projective plane. We exhibit families of smooth projective complex fourfolds of this type over connected bases, containing both rational and non-rational fibers. 1. Introduction Is a deformation of a smooth rational (or irrational) projective variety still rational (or irrational)? The main goal of this paper is to show that rationality is not deformation invariant for families of smooth complex projective varieties of dimension four. Examples along these lines are known when singular fibers are allowed, e.g., smooth cubic threefolds (which are irrational) may specialize to cubic threefolds with ordinary double points (which are rational), while smooth cubic surfaces (which are rational) may specialize to cones over elliptic curves. Totaro shows that specializations of rational varieties need not be rational in higher dimensions if mild singularities are allowed [Tot16b]. However, de Fernex and Fusi [dff13] show that the locus of rational fibers in a smooth family of projective complex threefolds is a countable union of closed subsets on the base. Let S be a smooth projective rational surface over the complex numbers with function field K = C(S). A quadric surface bundle consists of a fourfold X and a flat projective morphism π : X S such that the generic fiber Q/K of π is a smooth quadric surface. We assume that π factors through the projectivization of a rank four vector bundle on S such that the fibers are (possibly singular) quadric surfaces; see Section 3 for relevant background. Theorem 1. There exist smooth families of complex projective fourfolds φ : X B over connected varieties B, such that for every b B Date: May 3,
2 2 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL the fiber X b = φ 1 (b) is a quadric surface bundle over P 2, and satisfying: (1) for very general b B the fiber X b is not stably rational; (2) the set of points b B such that X b is rational is dense in B for the Euclidean topology. Concretely, we consider smooth hypersurfaces X P 2 P 3 of bidegree (2, 2); projection onto the first factor gives the quadric surface bundle. Our approach has two key elements. First, we apply the technique of the decomposition of the diagonal [Voi15b, CTP16b, CTP16a, Tot16a] to show that very general X P 2 P 3 of bidegree (2, 2) fail to be stably rational. The point is to identify a degenerate quadric surface fibration, with non-trivial second unramified cohomology and mild singularities. The analogous degenerate conic bundles over P 2 are the Artin-Mumford examples; deforming these allows one to show that very general conic bundles over P 2 with large degeneracy divisor fail to be stably rational [HKT15]. Second, quadric surface bundles are rational over the base whenever they admit a section, indeed, whenever they admit a multisection of odd degree. If the base is rational then the total space is rational as well; this can be achieved over a dense set of the moduli space [Has99, Voi15a]. This technique also yields rationality for a dense family of cubic fourfolds containing a plane; no cubic fourfolds have been shown not to be stably rational. Theorem 1 is proven in Section 7, which may serve as roadmap for the steps of our argument. This paper is inspired by the approach of Voisin [Voi15a], who also considers fourfolds birational to quadric surface bundles. While our proof of rationality is similar, the analysis of unramified cohomology relies on work of Pirutka [Pir16] and Colliot-Thélène and Ojanguren [CTO89]. Acknowledgments: The first author was partially supported through NSF grant We are grateful to Jean-Louis Colliot-Thélène and Burt Totaro for helpful comments on drafts of this manuscript. Our paper benefited greatly from the careful reading by the referees.
3 STABLE RATIONALITY 3 2. The specialization method We recall implications of the integral decomposition of the diagonal and specialization method, following [Voi15b] [CTP16b], and [Pir16]. A projective variety X over a field k is universally CH 0 -trivial if for all field extensions k /k the natural degree homomorphism from the Chow group of zero-cycles CH 0 (X k ) Z is an isomorphism. Examples include smooth k-rational varieties. More complicated examples arise as follows: Example 2. [CTP16a, Lemma 2.3, Lemma 2.4] Let X = i X i be a projective, reduced, geometrically connected variety over a field k such that: Each irreducible component X i is geometrically irreducible and k-rational, with isolated singularities. Each intersection X i X j is either empty or has a zero-cycle of degree 1. Then X is universally CH 0 -trivial. A projective morphism β : X X of k-varieties is universally CH 0 -trivial if for all extensions k /k the push-forward homomorphism is an isomorphism. β : CH 0 ( X k ) CH 0 (X k ) Proposition 3. [CTP16b, Proposition 1.8] Let β : X X be a projective morphism such that for every schematic point x of X, the fiber β 1 (x), considered as a variety over the residue field κ(x), is universally CH 0 -trivial. Then β is universally CH 0 -trivial. For example, if X is a smooth projective variety and β : Bl Z (X) X is a blowup of a smooth subvariety Z X, then β is a universally CH 0 - trivial morphism, since all fibers over (schematic) points are projective spaces. More interesting examples arise as resolutions of singularities of certain singular projective varieties.
4 4 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL Examples of failure of universal CH 0 -triviality are given by smooth projective varieties X with nontrivial Brauer group Br(X), or more generally, by varieties with nontrivial higher unramified cohomology [CTP16b, Section 1]. The following specialization argument is the key to recent advances in investigations of stable rationality: Theorem 4. [Voi15b, Theorem 2.1], [CTP16b, Theorem 2.3] Let φ : X B be a flat projective morphism of complex varieties with smooth generic fiber. Assume that there exists a point b B such that the fiber X := φ 1 (b) satisfies the following conditions: the group H 2 nr(c(x)/c, Z/2) is nontrivial; X admits a desingularization β : X X such that the morphism β is universally CH 0 -trivial. Then a very general fiber of φ is not stably rational. 3. Quadric surface bundles Let S be a smooth projective variety over C. Suppose that π : X S is a quadric surface bundle, i.e., a flat projective morphism from a variety such that the generic fiber Q is a smooth quadric surface. We assume it admits a factorization X P(V ) S, where V S is a rank four vector bundle and the fibers of π are expressed as quadric surfaces in the fibers of P(V ) S. There is a well-defined degeneracy divisor D S corresponding to where the associated quadratic form drops rank. Trivializing V over an open cover of S, X may be expressed using a symmetric 4 4 matrix (a ij ): aij x i x j = 0. The local equation for D is the determinant det((a ij )). Note that D has multiplicity 2 where the rank of fibers is less than three. Indeed, the hypersurface {det(a ij ) = 0} P 9 (a ij ) is singular precisely where all the 3 3 minors vanish.
5 STABLE RATIONALITY Rationality of quadric bundles. It is well known that Q is rational over K = C(S) if and only if Q(K), i.e., when π admits a rational section. A theorem of Springer [Spr52] implies that Q(K) provided Q(K ) for some extension K /K of odd degree, i.e., when π admits a rational multisection of odd degree. Thus we obtain Proposition 5. Let π : X S be a quadric surface bundle as above, with S rational. Then X is rational provided π admits a multisection of odd degree. Our next step is to recast this in Hodge-theoretic terms: Proposition 6. Let π : X S be a quadric surface bundle as above, with X smooth and S rational. Then X is rational if it admits an integral (2, 2)-class meeting the fibers of π in odd degree. Remark 7. See [CTV12, Cor. 8.2] for results on the integral Hodge conjecture for quadric bundles over surfaces; these suffice for our application to quadric surface bundles over P 2. Proof. Let F 1 (X/S) S denote the relative variety of lines of π. Let S S denote the largest open subset such that S D is smooth and X = X S S. Then F 1 (X /S ) S factors F 1 (X /S ) p T S, where the second morphism is a double cover branched along S D and the first morphism is an étale P 1 -bundle. In particular F 1 (X /S ) is non-singular. Let α Br(T )[2] denote the Brauer class arising from p. Let F be a resolution of the closure of F 1 (X /S ) in F 1 (X/S) obtained by blowing up over the complement of S. The incidence correspondence between X and F 1 (X/S) Γ X S F 1 (X/S) induces a correspondence Γ between X and F and a homomorphism Γ : CH 2 (X) Pic(F ). Let η denote the generic point of S; there is a quadratic map given by Ξ : Pic(F η ) CH 2 (X η ) Ξ( a i x i ) = 1 2 ( a i l(x i )) 2
6 6 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL where l(x i ) X η is the line which corresponds to the point x i F η. In geometric terms, consider Z F η a finite reduced subscheme with support on each component of F η, e.g., a choice of n lines from each ruling. Take the union of the corresponding rulings in X η and set Ξ(Z) X η to be the n 2 points where the rulings cross. This is compatible with rational equivalence and yields the desired mapping. Thus a divisor with odd degree on each geometric component of F η gives rise to a rational multisection of odd degree. The correspondence Γ and mapping Ξ guarantee the following conditions are equivalent: α = 0; F admits a divisor intersecting the generic fiber F η with odd degree on each component; X admits a rational multisection of odd degree. As the correspondence Γ also acts at the level of Hodge classes we obtain: If X admits an integral (2, 2)-class intersecting the fibers of π with odd degree then F admits an integral (1, 1)- class intersecting the generic fiber F η with odd degree on each component. Applying the Lefschetz (1, 1) Theorem to F and Proposition 5 we obtain the result A key example. The generic fiber of π is a quadric surface, hence admits a diagonal form (3.1) Q =< 1, a, b, abd >, i.e., is given by the equation s 2 + at 2 + bu 2 + abdv 2 = 0 where a, b, d K and (s, t, u, v) are homogeneous coordinates in P 3. Note that since k := C K, this form is equivalent to the form < 1, a, b, abd >. Theorem 3.17 in [Pir16] gives a general formula for the unramified H 2 of the field K(Q), in terms of the divisor of rational functions a, b, d K, under the assumption that d is not a square. In Section 4 we will analyze the following special case: Example 8. Consider the fourfold X P 2 P 3 given by (3.2) yzs 2 + xzt 2 + xyu 2 + F (x, y, z)v 2 = 0,
7 where STABLE RATIONALITY 7 F (x, y, z) = x 2 + y 2 + z 2 2(xy + xz + yz). Dehomogenize by setting z = 1 to obtain a quadric surface over k(p 2 ): ys 2 + xt 2 + xyu 2 + F (x, y, 1)v 2 = 0. Multiplying through by xy and absorbing squares into the variables yields xs 2 + yt 2 + U 2 + xyf (x, y, 1)V 2 = 0, which is of the form (3.1). We compute the divisor D P 2 parametrizing singular fibers of π : X P 2. This is reducible, consisting of the coordinate lines (with multiplicty two) and a conic tangent to each of the lines: D = {x 2 y 2 z 2 (x 2 + y 2 + z 2 2(xy + xz + yz)) = 0}. Remark 9. Hypersurfaces of bidegree (2, 2) in P 2 P 3 may also be regarded as conic bundles over the second factor. The degeneracy surface in P 3 has degree six and at least eight nodes, corresponding to rank-one fibers. As a byproduct of the proof of Theorem 1, we obtain failure of stable rationality for very general conic bundles of this type. 4. The Brauer group of the special fiber We refer the reader to [CTO89, Sect. 1] and [CT95] for basic properties of unramified cohomology. Let K be a field. We write H n (K) = H n (K, Z/2) for its n-th Galois cohomology with constant coefficients Z/2. Let K = k(x) be the function field of an algebraic variety X over k = C, and let ν be a rank one discrete valuation of K, trivial on k. For n 1, we have a natural homomorphism n ν : H n (K) H n 1 (κ(ν)), where κ(ν) is the residue field of ν. The group H n nr(k/k) := ν Ker( n ν ) is called the n-th unramified cohomology of K. It is a stable birational invariant [CTO89, Prop. 1.2] and vanishes if X is stably rational [CTO89, Cor ]. Recall that for a smooth projective X we have Br(X)[2] = H 2 nr(k(x)/k).
8 8 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL The following proposition is similar to the examples in [Pir16, Section 3.5]. Proposition 10. Let K = k(x, y) = k(p 2 ), X P 2 surface bundle defined in Example 8, the quadric α = (x, y) Br(K)[2], and α its image in H 2 (k(x)). Then α is contained in H 2 nr(k(x)/k) and is nontrivial; in particular, H 2 nr(k(x)/k) 0. Proof. Let Q be the generic fiber of the natural projection π : X P 2. Since the discriminant of Q is not a square, the homomorphism H 2 (K) H 2 (K(Q)) is injective [Ara75, p. 469], [Kah08, ]. Note that α 0 as the conic xs 2 + yt 2 = U 2 has no rational points over k(x, y); it follows that α is also nontrivial. It remains to show that for every rank one discrete valuation ν on K(Q) that is trivial on k, we have ν (α ) = 0. (For simplicity, we write ν for 2 ν.) We use standard coordinates x and y (resp. y and z, resp. x and z) for the open charts of the projective plane. Let us first investigate the ramification of α on P 2 ; from the definition, we only have the following nontrivial residues: x (α) = y at the line L x : x = 0, where we write y for its class in the residue field k(y) modulo squares; y (α) = x at the line L y : y = 0; z (α) = z (z, zy) = y at the line L z : z = 0, in coordinates y and z on P 2. Let o ν be the valuation ring of ν in K(Q) and consider the center of ν in P 2. If o ν K then the ν (α ) = 0; hence there are two cases to consider: The center is the generic point of a curve C ν P 2 ; we denote the corresponding residue map Cν : H 2 (K) H 1 (κ(c ν )). The center is a closed point p ν P 2.
9 STABLE RATIONALITY 9 Codimension 1. The inclusion of discrete valuation rings o P 2,C ν induces a commutative diagram [CTO89, p. 143]: o ν (4.1) H 2 (K(Q)) ν H 1 (κ(ν)) H 2 (K) Cν H 1 (κ(c ν )) The right vertical arrow need not be the functorial homomorphism induced by inclusion of the residue fields when there is ramification. Hence we have the following cases: (1) C ν is different from L x, L y, or L z. Then Cν (α) = 0, so that ν (α ) is zero from the diagram above. (2) C ν is one of the lines L x, L y or L z. Note that modulo the equation of C ν, the element d := F (x, y, z) is a nonzero square, so that [Pir16, Cor. 3.12] gives ν (α ) = 0. We deduce that for any valuation ν of K(Q) with center a codimension 1 point in P 2 C the residue ν(α ) vanishes. Codimension 2. Let p ν be the center of ν on P 2. We have an inclusion of local rings o P 2,p ν o ν inducing the inclusion of corresponding completions Ô P 2,p ν ô ν with quotient fields K pν K(Q) ν respectively. We have three possibilities: (1) If p ν / L x L y L z, then α is a cup product of units in O P 2,p ν, hence units in o v, so that ν (α ) = 0. (2) If p ν lies on one curve, e.g., p ν L x \ (p y p z ), where p y = (0, 1, 0) and p z = (0, 0, 1), then the image of y in κ(p ν ) is a nonzero complex number, hence a square in Ô P 2,p ν, and y is also a square in ô ν. (We are using Hensel s Lemma.) Thus α = (x, y) = 0 in H 2 (K(Q) ν, Z/2), and ν (α ) = 0. (3) If p ν lies on two curves, e.g., p ν = L x L y, then the image of F (x, y, 1) in κ(p ν ) is a nonzero complex number, hence a square. By [Pir16, Corollary 3.12], we have ν (α ) = Singularities of the special fiber In this section we analyze the singularities of the fourfold introduced in Example 8 and studied in Section 4. Our main result is:
10 10 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL Proposition 11. The fourfold X P 2 P 3, with coordinates (x, y, z) and (s, t, u, v), respectively, given by (5.1) yzs 2 + xzt 2 + xyu 2 + F (x, y, z)v 2 = 0, with (5.2) F (x, y, z) = x 2 + y 2 + z 2 2(xy + xz + yz), admits a universally CH 0 -trivial resolution of singularities. We proceed as follows: identify the singular locus of X; construct a resolution of singularities β : X X; verify universal CH 0 -triviality of β The singular locus. Here we describe the singularities explicitly using affine charts on P 2 P 3. The equations (5.1) and (5.2) are symmetric with respect to compatible permutations of {x, y, z} and {s, t, u}. In addition, there is the symmetry (s, t, u, v) (±s, ±t, ±u, v) so altogether we have an action by the semidirect product (Z/2Z) 3 S 3. Analysis in local charts. Let L x, L y, L z P 2 be the coordinate lines given by x = 0, y = 0, z = 0, respectively, and p x := (1, 0, 0), p y := (0, 1, 0), p z := (0, 0, 1) their intersections. The quadrics in the family (5.1) drop rank over coordinate lines L x, L y, L z and over the conic C P 2, with equation (5.2) F (x, y, z) = 0. This conic is tangent to the coordinate lines in the points respectively. r x := (0, 1, 1), r y := (1, 0, 1), r z := (1, 1, 0), By symmetry, and since no singular point satisfies s = t = u = 0, it suffices to consider just two affine charts:
11 STABLE RATIONALITY 11 Chart 1: z = u = 1. Equation (5.1) takes the form (5.3) ys 2 + xt 2 + xy + F (x, y, 1)v 2 = 0. Derivatives with respect to s, t, v give (5.4) ys = 0, xt = 0, vf (x, y, 1) = 0. Hence xy = 0, from (5.3). Derivatives with respect to y, x give (5.5) s 2 + x + (2y 2x 2)v 2 = 0, t 2 + y + (2x 2y 2)v 2 = 0. Since xy = 0, we have two cases, modulo symmetries: Case 1: y = 0; Case 2: x = 0, y 0. We analyze each of these cases: Case 1: y = 0. Then vf (x, y, 1) = 0 (from (5.4)) implies v(x 1) 2 = 0. So either v = 0 or x = 1. If v = 0, from (5.5) we obtain s 2 + x = t = 0. Hence we obtain the following equations for the singular locus: (5.6) y = v = t = s 2 + x = 0. If x = 1 then (5.4) implies t = 0, and the remaining equation from (5.5) gives s v 2 = 0. Hence we obtain the following equations: (5.7) x 1 = y = t = s v 2 = 0. Case 2: x = 0, y 0. From (5.4) the condition ys = 0 implies s = 0. There are two more cases: v = 0 or v 0. If v = 0 the remaining equation (5.5) gives t 2 + y = 0. Hence we obtain equations for the singularity: (5.8) x = v = s = t 2 + y = 0. If v 0, then F (0, y, 1) = (y 1) 2 = 0 from (5.4), hence y = 1. The remaining equation from (5.5) gives t 2 + y + (2x 2y 2)v 2 = t v 2 = 0. So we obtain equations for the singular locus: (5.9) x = y 1 = s = t v 2 = 0.
12 12 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL Chart 2: z = s = 1. The equation of the quadric bundle is y + xt 2 + xyu 2 + F (x, y, 1)v 2 = 0. As above, derivatives with respect to t, u, v give (5.10) xt = 0, xyu = 0, vf (x, y, 1) = 0. Thus y = 0 from the equation. The conditions above and derivatives with respect to y and x yield (5.11) xt = v(x 1) 2 = 1 + xu 2 + ( 2x 2)v 2 = t 2 + (2x 2)v 2 = 0. The second equation implies that either x = 1 or v = 0. If x = 1, we obtain: (5.12) x 1 = y = t = 1 + u 2 4v 2 = 0. If v = 0, we obtain: (5.13) y = t = v = 1 + xu 2 = 0. Collecting these computations, we obtain the following singularities: (1) In Chart 1: (2) In Chart 2: y = v = t = s 2 + x = 0 x 1 = y = t = s v 2 = 0 x = v = s = t 2 + y = 0 x = y 1 = s = t v 2 = 0 x 1 = y = t = 1 + u 2 4v 2 = 0 y = t = v = 1 + xu 2 = 0 Enumeration of strata. Using the symmetries, we deduce that the singular locus of X is a union of 6 conics. We distinguish between Horizontal conics C x, C y, C z X: these project onto the coordinate lines L x, L y, L z P 2. We express them using our standard coordinates on P 2 P 3 : C y ={y = t = v = 0, zs 2 + xu 2 = 0} C x ={x = s = v = 0, zt 2 + yu 2 = 0} C z ={z = u = v = 0, xt 2 + ys 2 = 0}
13 STABLE RATIONALITY 13 The conics intersect transversally over p z, p x, p y P 2, respectively: C x C y =q z := (0, 0, 1) (0, 0, 1, 0), C y C z =q x := (1, 0, 0) (1, 0, 0, 0), C x C z =q y := (0, 1, 0) (0, 1, 0, 0), Vertical conics R y, R x, R z r y, r x, r z P 2 : π(q z ) = p z π(q x ) = p x π(q y ) = p y X: these project to the points R y ={x z = y = t = 0, s 2 + u 2 4v 2 = 0} R x ={y z = x = s = 0, t 2 + u 2 4v 2 = 0} R z ={x y = z = u = 0, s 2 + t 2 4v 2 = 0} Vertical conics intersect the corresponding horizontal conics transversally in two points: R y C y ={r y+, r y } = (1, 0, 1) (±i, 0, 1, 0) R x C x ={r x+, r x } = (0, 1, 1) (0, 1, ±i, 0) R z C z ={r z+, r z } = (1, 1, 0) (1, ±i, 0, 0) Local étale description of the singularities. The structural properties of the resolution become clearer after identifying étale normal forms for the singularities. We now provide a local-étale description of the neighborhood of q z. Equation (5.3) takes the form ys 2 + xt 2 + xy + F (x, y, 1)v 2 = 0. At q z we have F (x, y, 1) 0, so we can set to obtain v 0 = F (x, y, 1)v ys 2 + xt 2 + xy + v 2 0 = 0. Set x = m n and y = m + n to get or Then let (m + n)s 2 + (m n)t 2 + m 2 n 2 + v 2 0 = 0 m(s 2 + t 2 ) + n(s 2 t 2 ) + m 2 n 2 + v 2 0 = 0. m = m 0 (s 2 + t 2 )/2 and n = n 0 + (s 2 t 2 )/2
14 14 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL to obtain (5.14) m 2 0 n v 2 0 = ((s 2 + t 2 ) 2 (s 2 t 2 ) 2 )/4 = s 2 t 2. We do a similar analysis in an étale-local neighborhood of either of the points r y±. The singular strata for C y and R y are given in (5.6) and (5.7): {y = t = v = s 2 + x = 0}, {y = t = x 1 = s v 2 = 0}. We first introduce a new coordinate w = x 1. Thus the singular stratum is the intersection of the monomial equations y = t = vw = 0 and the hypersurface s 2 + w + 1 4v 2. We regard this as a local coordinate near r y±. Equation (5.3) transforms to ys 2 + wt 2 + t 2 + wy + y + v 2 ( 4y + (w y) 2 ) = 0. Regroup terms to obtain y(s 2 + w + 1 4v 2 ) + t 2 (1 + w) = v 2 (w y) 2. Note that w 1 because x 0 near r y±. Let t 0 = t 1 + w, s 0 = s 2 + w + 1 4v 2, and w 0 = w y we obtain (5.15) ys 0 + t 2 0 = v 2 w 2 0. The normal forms (5.14) and (5.15) are both equivalent to a a a 2 3 = (b 1 b 2 ) 2, with ordinary threefold double points along the lines l 1 = {a 1 = a 2 = a 3 = b 1 = 0}, l 2 = {a 1 = a 2 = a 3 = b 2 = 0}. A direct computation which will be presented in Section 5.2 shows this is resolved by blowing up l 1 and l 2 in either order. The exceptional fibers over the generic points of l 1 and l 2 are smooth quadric surfaces, isomorphic to the Hirzebruch surface F 0 P 1 P 1. Over the origin, we obtain a copy F 0 Σ F 2 where Σ P 1 is the ( 2)-curve on F 2 and has self-intersection 2 on F 0. By symmetry, this analysis is valid at all nine special points q x, q y, q z, r x±, r y±, r z±
15 STABLE RATIONALITY 15 where components of the singular locus (the horizontal and vertical conics) intersect. This explains why we can blow these conics up in any order Resolution of singularities. What we need to compute. We propose blowing up as follows: (1) blow up C y ; (2) blow up the proper transform of C x ; (3) blow up the proper transform of C z ; (4) blow up the union of the proper transforms of R x, R y, and R z, which are disjoint. Taking into account the symmetry, after the first step we must understand: What are the singularities along the proper transform of C x? What are the singularities along the proper transform of R y? Of course, answering the first questions clarifies the behavior along the proper transform of C z. And R x and R z behave the exactly the same as R y. Let X 1 denote the blow up of C y and E 1,y the resulting exceptional divisor. We shall see that E 1,y is smooth, except where it meets the proper transforms of C x, C z, R y. Since E 1,y X 1 is Cartier, X 1 is also smooth at any point of E 1,y, except where E 1,y meets the proper transforms of C x, C z, R y. The fibers of E 1,y C y are smooth quadric surfaces away from q x, q z, r y±, over which the fibers are quadric cones. Since the quadric bundle E 1,y C y admits sections, E 1,y is rational over the function field of C y and all fibers of E 1,y C y are rational as well. First blow up local charts. We describe the blow up of C y in charts. We start in Chart 1, where z = u = 1. Local equations for the center are given in (5.6) and we have a local chart for each defining equation. Chart associated with y: Equations for the blow up of the ambient space take the form v = yv 1, t = yt 1, s 2 + x = yw 1. The equation of the proper transform of the quadric bundle is w 1 + xt F (x, y, 1)v 2 1 = 0, s 2 + x = yw 1.
16 16 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL The exceptional divisor E 1,y is given by y = 0, i.e., w 1 + xt (x 1) 2 v 2 1 = 0, s 2 + x = 0. The blow up is smooth at any point of the exceptional divisor in this chart, as the derivative of the first equation with respect to w 1 is 1 and the derivative of the second equation with respect to w 1 (resp. x) is 0 (resp. 1). (The proper transforms of R y and C x do not appear in this chart.) We analyze E 1,y C y : for any field κ/c and a κ, the fiber above s = a, x = a 2, y = v = t = 0, is given by (5.16) w 1 a 2 t (1 + a 2 ) 2 v 2 1 = 0, which is smooth in this chart. Equation (5.16) makes clear that the exceptional divisor is rational and admits a section over the center. Chart associated with s 2 + x: Equations for the blow up of the ambient space take the form y = (s 2 + x)y 1, v = (s 2 + x)v 1, t = (s 2 + x)t 1. The proper transform of the quadric bundle has equation y 1 + xt F (x, (s 2 + x)y 1, 1)v 2 1 = 0. The exceptional divisor E 1,y satisfies y 1 + xt (x 1) 2 v 2 1 = 0, s 2 + x = 0. The blow up is smooth at any point of the exceptional divisor in this chart. (Again, the proper transforms of R y and C x do not appear in this chart.) The fiber above s = a, x = a 2, y = v = t = 0, is given by (5.17) y 1 a 2 t (1 + a 2 ) 2 v 2 1 = 0, which is smooth and rational in this chart. Chart associated with t: Equations for the blow up of the ambient space are y = ty 1, v = tv 1, s 2 + x = tw 1 and the proper transform of the quadric bundle satisfies y 1 w 1 + x + F (x, ty 1, 1)v 2 1 = 0, s 2 + x = tw 1. The exceptional divisor is given by t = 0, i.e. y 1 w 1 + x + (x 1) 2 v 2 1 = 0, s 2 + x = 0.
17 STABLE RATIONALITY 17 The blow up is smooth along the exceptional divisor, except at the point t = v 1 = y 1 = s = w 1 = x = 0, which lies over the point q z. Thus the only singularity is along the proper transform of C x. The fiber above s = a, x = a 2, y = v = t = 0, is given by (5.18) y 1 w 1 a 2 + (1 + a 2 ) 2 v 2 = 0, which is smooth in this chart unless a = 0. Chart associated with v: The equations are and y = vy 1, t = vt 1, s 2 + x = vw 1 y 1 w 1 + xt F (x, vy 1, 1) = 0, s 2 + x = vw 1. The exceptional divisor is given by v = 0, i.e. y 1 w 1 + xt (x 1) 2 = 0, s 2 + x = 0. The blow up is smooth at any point of the exceptional divisor except for y 1 = v = w 1 = t 1 = 0, x = 1, s = ±i. Thus the only singularities are along the proper transform of r y. The fiber above s = a, x = a 2, y = v = t = 0, is given by (5.19) y 1 w 1 a 2 t (1 + a 2 ) 2 = 0, which is smooth in this chart unless a = ±i. What is missed on restricting to Chart 1? For C y, we omit only (1, 0, 0) (1, 0, 0, 0) = q x = C y C z but the symmetry exchanging x and z (and s and u) takes this to q z, which lies over Chart 1. For R y, we omit the locus x z = y = t = u = s 2 4v 2 = 0 which equals (1, 0, 1) (±2, 0, 0, 1). However, the same symmetry takes these to (1, 0, 1) (0, 0, ±2, 1), which is over Chart 1. Thus modulo symmetries computations over Chart 1 cover these points as well.
18 18 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL Singularities above p z. Our goal is to show explicitly that the singularity of the blow up in the exceptional divisor E 1,y over (x, y, z) = (0, 0, 1) = p z is resolved on blowing up the proper transform of C x. It suffices to examine the chart associated with t, where we have equations i.e., y 1 w 1 + x + F (x, ty 1, 1)v 2 1 = 0, s 2 + x = tw 1, (5.20) (y 1 + t)w 1 s 2 + F ( s 2 + tw 1, ty 1, 1)v 2 1 = 0, s 2 + x = tw 1, and the proper transform of C x satisfies y 1 + t = 0, w 1 = s = v 1 = 0. If we compute the singular locus for the equation (5.20) above, at the points of the exceptional divisor t = 0 and above x = 0, we recover the equations for the proper transform of C x in this chart. We analyze X 2, the blowup along the proper transform of C x. In any chart above y 1 = t = 0 we have F = 1 so étale locally we can introduce a new variable v 2 = F v 1 to obtain (y 1 + t)w 1 s 2 + v 2 2 = 0. After the change of variables y 2 = y 1 + t: y 2 w 1 s 2 + v 2 1 = 0, the singular locus is y 2 = s = w 1 = v 2 = 0. Here t is a free variable corresponding to an A 1 -factor. This is the product of an ordinary threefold double point with a curve, thus is resolved on blowing up the singular locus. Note the exceptional divisor is a smooth quadric surface bundle over the proper transform of C x, over this chart. (There is a singular fiber over the point where it meets the proper transform of C z.) Singularities above r y = (1, 0, 1) P 2. By the analysis above, we have only to consider the chart of the first blowup associated with v. Recall that it is obtained by setting with equation y = vy 1, t = vt 1, s 2 + x = vw 1 y 1 w 1 + xt F (x, vy 1, 1) = 0. The exceptional divisor is given by v = 0. The proper transform R y of the conic R y : x 1 = y = t = 0, s v 2 = 0
19 is then STABLE RATIONALITY 19 (5.21) x 1 = y 1 = t 1 = 0, w 1 4v = 0, s v 2 = 0. We obtain these equations by inverting the local equation for the exceptional divisor. Eliminating x from the equation of X 1 yields an equation that can be put in the form y 1 (w 1 4v) + ( s 2 + vw 1 )t (s 2 vw 1 + vy 1 + 1) 2 = 0. Writing w 2 = w 1 4v we obtain y 1 w 2 + ( s 2 + vw 2 + 4v 2 )t (s 2 vw 2 4v 2 + vy 1 + 1) 2 = 0. The curve R y may be expressed as a complete intersection y 1 = w 2 = t 1 = 0, σ := (s 2 4v 2 + 1) + v(y 1 w 2 ) = 0; the coefficient c := s 2 + vw 2 + 4v 2 is non-vanishing along R y in this chart so we may introduce an étale local coordinate t 2 = ct 1. Then our equation takes the form y 1 w 2 + t σ 2 = 0. In other words, we have ordinary threefold double points along each point of R y. Blowing up R y resolves the singularity, and the exceptional divisor over R y is fibered in smooth quadric surfaces CH 0 -triviality of the resolution. Let E 1,y denote the exceptional divisor after blowing up C y. We ve seen that the projection E 1,y C y is a quadric surface bundle. The fibers are smooth away from q x, q z, and r y± ; over these points the fibers are quadric cones. Let E 1,x denote the exceptional divisor after blowing up the proper transform C x of C x. The fibration E 1,x C x is also a quadric surface bundle. The fibers are smooth away from q y and r x±, where the fibers are quadric cones. Let E 1,z denote the exceptional divisor on blowing up the proper transform C z of C z, after the first two blow ups. Again E 1,z C z is a quadric surface bundle, smooth away from r z± ; the fibers over these points are quadric cones. Finally, we blow up the proper transforms R x, R y, R z of the disjoint vertical conics. The local computations above show that the resulting fourfold X is smooth and the exceptional divisors E 2,x R x, E 2,y R y, E 2,z R z, are smooth quadric surface bundles with sections.
20 20 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL To summarize, fibers of β : X X are one of the following: if x is not contained in any of the conics, β 1 (x) is a point; if x is contained in exactly one of the conics, β 1 (x) is a smooth quadric surface isomorphic to F 0 ; when x is a generic point of one of the conics, then β 1 (x) is rational over the residue field of x; if x is contained in two of the conics, β 1 (x) = F 0 Σ F 2, where F 2 is the proper transform of a quadric cone appearing as a degenerate fiber, Σ F 2 is the ( 2) curve, and Σ F 0 has self-intersection 2. By Proposition 3 and Example 2, we conclude that β is universally CH 0 -trivial. 6. Analysis of Hodge classes Our approach follows Section 2 of [Voi15a]. As explained in Proposition 6, a quadric surface bundle over a rational surface π : X S is rational provided X admits an integral class of type (2, 2) meeting the fibers of π in odd degree. Here we analyze how these classes occur. We start by reviewing the Hodge-theoretic inputs. Let Y B be the family of all smooth hypersurfaces in P 2 P 3 of bidegree (2, 2), i.e., B is the complement of the discriminant in P(Γ(O P 2 P3(2, 2))). For each b B, let Y b denote the fiber over b. The Lefschetz hyperplane theorem gives Betti/Hodge numbers b 2i+1 (Y b ) = 0 b 2 (Y b ) = h 1,1 (Y b ) = 2, b 6 (Y b ) = h 3,3 (Y b ) = 2. We compute b 4 (Y b ) by analyzing Y b P 2 ; its degeneracy divisor is an octic plane curve D b, of genus 21. Indeed, the fibers away from D b are smooth quadric surfaces and the fibers over D b are quadric cones, so we have χ(y b ) = χ(p 1 P 1 )χ(p 2 \ D b ) + χ(quadric cone)χ(d b ) = 4 (3 ( 40)) + 3 ( 40) = 52. It follows that b 4 (Y b ) = 46. We extract the remaining Hodge numbers using techniques of Griffiths for hypersurfaces in projective space, extended to the toric case by Batyrev and Cox. Let F be the defining equation of bidegree (2, 2) and consider the bigraded Jacobian ring: Jac(F ) = C[x, y, z; s, t, u, v]/i(f ),
21 STABLE RATIONALITY 21 where I(F ) is the ideal of partials of F. Note the partials satisfy the Euler relations: (6.1) x F x + y F y + z F z Consider the vanishing cohomology = 2F = s F s + t F t + u F u + v F v. H 4 (Y b ) van := H 4 (Y b )/H 4 (P 2 P 3 ), i.e., we quotient by h 2 1, h 1 h 2, h 2 2 where h 1 and h 2 are pull-backs of the hyperplane classes of P 2 and P 3 respectively. Then we have [BC94, Theorem 10.13]: H 4,0 (Y b ) = H 4,0 (Y b ) van = Jac(F ) ( 1, 2) = 0 H 3,1 (Y b ) = H 3,1 (Y b ) van Jac(F ) (1,0) = C[x, y, z] 1 C 3 H 2,2 (Y b ) van Jac(F ) (3,2) C 37 H 1,3 (Y b ) = H 1,3 (Y b ) van Jac(F ) (5,4) C 3. The first two dimension computations imply the others by the formula b 4 (Y b ) = h p,q (Y b ); p+q=4 or one may compute the Hilbert function of an ideal generated by three forms of degree (1, 2) and four forms of degree (2, 1), subject to the relations (6.1) but otherwise generic. We recall the technique of Green [CHM88, Sect. 5] and Voisin [Voi07, proof of 5.3.4], which applies as our variation of Hodge structures is effective of weight two after a suitable Tate twist. Proposition 12. Suppose there exists a b 0 B and γ H 2,2 (Y b0 ) van such that the infinitesimal period map evaluated at γ (γ) : T B,b0 H 1,3 (Y b0 ) is surjective. Then there exists a Zariski-dense set of b B such that for any simply connected Euclidean neighborhood B of b, the image of the natural map (composition of inclusion with local trivialization): τ b : H 2,2 R H4 (Y b, R) van contains an open subset V b H 4 (Y b, R) van. Here H 2,2 R is a vector bundle over B with fiber over u B. H 2,2 R,u = H4 (Y u, R) van F 2 H 4 (Y u, C) van
22 22 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL Note that the image is the set of real degree four vanishing classes that are of type (2, 2) for some b B. The infinitesimal condition is easy to check here. Since we may identify B P(Γ(O P 2 P3(2, 2))) T B,b0 = (C[x, y, z; s, t, u, v]/ F 0 ) (2,2), where F 0 is the defining equation of Y b0. The infinitesimal period map T B,b0 Hom(H 2,2 (Y b ), H 1,3 (Y b )) was interpreted by Carlson and Griffiths as a multiplication map (C[x, y, z; s, t, u, v]/ F 0 ) (2,2) Jac(F 0 ) (3,2) Jac(F 0 ) (5,4). For fixed γ Jac(F 0 ) (3,2), the differential in Voisin s hypothesis is computed by multiplying γ with the elements of bidegree (2, 2) [Voi07, Theorem 6.13]. Example 13. Consider the hypersurface Y b0 P 2 P 3 with equation F 0 = (u 2 + uv + ts)x 2 + ( t 2 + u 2 v 2 s 2 )xy + (t 2 + uv + ts)y 2 +( t 2 + u 2 v 2 s 2 )xz + (t 2 16tu u 2 + v 2 + s 2 )yz +( 3uv 3ts + s 2 )z 2. We computed the Jacobian ring using Macaulay2 [GS]. In particular, we verified that Jac(F 0 ) (m1,m 2 ) = 0 for (m 1, m 2 ) (13, 2), (7, 3), (3, 5), so in particular Y b0 is smooth; the monomials {xz 4 v 4, yz 4 v 4, z 5 v 4 } form a basis for Jac(F 0 ) (5,4). Setting γ = z 3 v 2, the multiples of γ generate Jac(F 0 ) (5,4). Hence this example satisfies Voisin s hypothesis on the differential of the period map. Proposition 14. Consider the Noether-Lefschetz loci {b B : Y b admits an integral class of type (2, 2) meeting the fibers of Y b P 2 in odd degree}. These are dense in the Euclidean topology on B.
23 STABLE RATIONALITY 23 Proof. We retain the set-up of Proposition 12. The intersection of the Noether-Lefschetz loci with B may be expressed as {u B : H 2,2 R,u τ 1 b H 4 (Y b, Q) van 0}. The density of the Noether-Lefschetz loci reflects the fact that H 4 (Y b, Q) van H 4 (Y b, R) van is dense. However, we are interested in vectors of H 4 (Y b, Q) van that are rational multiples of those associated with odd degree multisections M of Y b P 2. Such multisections exist because we can write a bidegree (2, 2) hypersurface containing a constant section of P 2 P 3 P 2. The parity condition corresponds to a congruence on the image of M in H 4 (Y b, Z) van : Indeed, write Λ = H 4 (Y b, Z) and consider the natural inclusions and homomorphisms Λ h 2 1, h 1 h 2, h 2 2 Λ/ h 2 1, h 1 h 2, h 2 2 = H 4 (Y b, Z) van ; the cokernel of the middle arrow is the discriminant group of the lattice h 2 1, h 1 h 2, h 2 2, a finite abelian group. The class M yields an element of this group and the parity condition translates into M h mod 2. Rational multiples of the elements satisfying this condition remain dense in H 4 (Y b, R) van, so Proposition 12 gives the desired result. The Noether-Lefschetz loci produced by this argument have codimension at most three in moduli; each is an algebraic subvariety of B P(Γ(O P 2 P 3(2, 2))) P59 [CDK95]. Any projective threefold in P 59 will meet the closures of infinitely many of these loci. 7. Proof of Theorem 1 We assemble the various ingredients developed above: (1) Theorem 4 guarantees that a very general hypersurface of bidegree (2, 2) in P 2 P 3 fails to be stably rational, provided we can find a special X satisfying its hypotheses. (2) The candidate example is introduced in Example 8. (3) In Section 4, we show that X has non-trivial unramified second cohomology. This verifies the first hypothesis of Theorem 4. (4) In Section 5, we analyze the singularities of X, checking that it admits a resolution with universally CH 0 -trivial fibers.
24 24 BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL (5) Proposition 6 gives a cohomological sufficient condition for rationality of (2, 2) hypersurfaces in P 2 P 3 ; Proposition 14 shows this condition is satisfied over a dense subset of the moduli space. Consider a family φ : X B of smooth (2, 2) hypersurfaces in P 2 P 3 over a connected base B. If the base meets both the locus parametrizing non-stably rational varieties and the Noether-Lefschetz loci then φ has both rational and irrational fibers. Remark 15. Concrete examples of rational hypersurfaces X rat P 2 P 3 of bidegree (2, 2) are easy to produce, e.g., those containing a constant section of the first projection. Any very general pencil containing X rat will have both rational and irrational fibers. References [Ara75] Jón Kr. Arason. Cohomologische invarianten quadratischer Formen. J. Algebra, 36(3): , [BC94] Victor V. Batyrev and David A. Cox. On the Hodge structure of projective hypersurfaces in toric varieties. Duke Math. J., 75(2): , [CDK95] Eduardo Cattani, Pierre Deligne, and Aroldo Kaplan. On the locus of Hodge classes. J. Amer. Math. Soc., 8(2): , [CHM88] Ciro Ciliberto, Joe Harris, and Rick Miranda. General components of the Noether-Lefschetz locus and their density in the space of all surfaces. Math. Ann., 282(4): , [CT95] Jean-Louis Colliot-Thélène. Birational invariants, purity and the Gersten conjecture. In K-theory and algebraic geometry: connections with quadratic forms and division algebras (Santa Barbara, CA, 1992), volume 58 of Proc. Sympos. Pure Math., pages Amer. Math. Soc., Providence, RI, [CTO89] Jean-Louis Colliot-Thélène and Manuel Ojanguren. Variétés unirationnelles non rationnelles: au-delà de l exemple d Artin et Mumford. Invent. Math., 97(1): , [CTP16a] Jean-Louis Colliot-Thélène and Alena Pirutka. Cyclic covers that are not stably rational. Izvestiya RAN, Ser. Math., 80(4):35 47, [CTP16b] Jean-Louis Colliot-Thélène and Alena Pirutka. Hypersurfaces quartiques de dimension 3 : non rationalité stable. Ann. Sci. Éc. Norm. Supér. (4), 49(2): , [CTV12] Jean-Louis Colliot-Thélène and Claire Voisin. Cohomologie non ramifiée et conjecture de Hodge entière. Duke Math. J., 161(5): , [dff13] Tommaso de Fernex and Davide Fusi. Rationality in families of threefolds. Rend. Circ. Mat. Palermo (2), 62(1): , 2013.
25 STABLE RATIONALITY 25 [GS] Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at uiuc.edu/macaulay2/. [Has99] Brendan Hassett. Some rational cubic fourfolds. J. Algebraic Geom., 8(1): , [HKT15] Brendan Hassett, Andrew Kresch, and Yuri Tschinkel. Stable rationality and conic bundles. Math. Annalen, to appear, arxiv: [Kah08] Bruno Kahn. Formes quadratiques sur un corps, volume 15 of Cours Spécialisés [Specialized Courses]. Société Mathématique de France, Paris, [Pir16] Alena Pirutka. Varieties that are not stably rational, zero-cycles and unramified cohomology, arxiv: [Spr52] Tonny Albert Springer. Sur les formes quadratiques d indice zéro. C. R. Acad. Sci. Paris, 234: , [Tot16a] Burt Totaro. Hypersurfaces that are not stably rational. J. Amer. Math. Soc., 29(3): , [Tot16b] Burt Totaro. Rationality does not specialize among terminal varieties. [Voi07] Math. Proc. Cambridge Philos. Soc., 161(1):13 15, Claire Voisin. Hodge theory and complex algebraic geometry. II, volume 77 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, english edition, Translated from the French by Leila Schneps. [Voi15a] Claire Voisin. (Stable) rationality is not deformation invariant, arxiv: [Voi15b] Claire Voisin. Unirational threefolds with no universal codimension 2 cycle. Invent. Math., 201(1): , Department of Mathematics, Brown University, Box Thayer Street Providence, RI 02912, USA address: bhassett@math.brown.edu Courant Institute, New York University, New York, NY 10012, USA address: pirutka@cims.nyu.edu Courant Institute, New York University, New York, NY 10012, USA address: tschinkel@cims.nyu.edu Simons Foundation, 160 Fifth Avenue, New York, NY 10010, USA
A VERY GENERAL QUARTIC DOUBLE FOURFOLD IS NOT STABLY RATIONAL
A VERY GENERAL QUARTIC DOUBLE FOURFOLD IS NOT STABLY RATIONAL BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL Abstract. We prove that a very general double cover of the projective four-space, ramified
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationHypersurfaces that are not stably rational
Hypersurfaces that are not stably rational Burt Totaro A fundamental problem of algebraic geometry is to determine which varieties are rational, that is, isomorphic to projective space after removing lower-dimensional
More informationUnirational threefolds with no universal codimension 2 cycle
Unirational threefolds with no universal codimension 2 cycle Claire Voisin CNRS and École Polytechnique Abstract We prove that the general quartic double solid with k 7 nodes does not admit a Chow theoretic
More informationVARIETIES THAT ARE NOT STABLY RATIONAL, ZERO-CYCLES AND UNRAMIFIED COHOMOLOGY
VARIETIES THAT ARE NOT STABLY RATIONAL, ZERO-CYCLES AND UNRAMIFIED COHOMOLOGY ALENA PIRUTKA Abstract. This is a survey of recent examples of varieties that are not stably rational. We review the specialization
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationLECTURE 6: THE ARTIN-MUMFORD EXAMPLE
LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As
More informationDensity of rational points on Enriques surfaces
Density of rational points on Enriques surfaces F. A. Bogomolov Courant Institute of Mathematical Sciences, N.Y.U. 251 Mercer str. New York, (NY) 10012, U.S.A. e-mail: bogomolo@cims.nyu.edu and Yu. Tschinkel
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More information14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski
14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as
More informationR-EQUIVALENCE ON DEL PEZZO SURFACES OF DEGREE 4 AND CUBIC SURFACES. Zhiyu Tian 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 19, No. 6, pp. 1603-1612, December 2015 DOI: 10.11650/tjm.19.2015.5351 This paper is available online at http://journal.taiwanmathsoc.org.tw R-EQUIVALENCE ON DEL PEZZO
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More informationThe Grothendieck Ring of Varieties
The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define
More informationHYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS
HYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS LJUDMILA KAMENOVA Abstract. Every fibration of a projective hyper-kähler fourfold has fibers which are Abelian surfaces. In case the Abelian surface
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationTHE SET OF NONSQUARES IN A NUMBER FIELD IS DIOPHANTINE
THE SET OF NONSQUARES IN A NUMBER FIELD IS DIOPHANTINE BJORN POONEN Abstract. Fix a number field k. We prove that k k 2 is diophantine over k. This is deduced from a theorem that for a nonconstant separable
More informationGeometric Chevalley-Warning conjecture
Geometric Chevalley-Warning conjecture June Huh University of Michigan at Ann Arbor June 23, 2013 June Huh Geometric Chevalley-Warning conjecture 1 / 54 1. Chevalley-Warning type theorems June Huh Geometric
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space
More informationSTABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES
STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Contents 1. Introduction 1 2. Preliminary definitions and background 3 3. Degree two maps to Grassmannians 4 4.
More informationALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv: v2 [math.ag] 18 Apr INTRODUCTION
ALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv:1609.05627v2 [math.ag] 18 Apr 2018 KALYAN BANERJEE ABSTRACT. In this text we prove that if a smooth cubic in P 5 has its Fano variety
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
More informationRIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1743 K3 SURFACES OF GENUS SIXTEEN By Shigeru MUKAI February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan K3 SURFACES OF GENUS SIXTEEN SHIGERU MUKAI Abstract. The
More informationFANO VARIETIES AND EPW SEXTICS
FNO VRIETIES ND EPW SEXTICS OLIVIER DEBRRE bstract. We explore a connection between smooth projective varieties X of dimension n with an ample divisor H such that H n = 10 and K X = (n 2)H and a class
More informationUNEXPECTED ISOMORPHISMS BETWEEN HYPERKÄHLER FOURFOLDS
UNEXPECTED ISOMORPHISMS BETWEEN HYPERKÄHLER FOURFOLDS OLIVIER DEBARRE Abstract. Using Verbitsky s Torelli theorem, we show the existence of various isomorphisms between certain hyperkähler fourfolds. This
More informationSTABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES
STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Abstract. In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree
More informationDiagonal Arithmetics. An introduction : Chow groups.
Diagonal Arithmetics. An introduction : Chow groups. May 25, 2015, IMPA, Rio de Janeiro Objects of interest k a field, X /k of finite type, equidimensional, d = dim(x ). Objects of interest k a field,
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationCUBIC FOURFOLDS FIBERED IN SEXTIC DEL PEZZO SURFACES
CUBIC FOURFOLDS FIBERED IN SEXTIC DEL PEZZO SURFACES NICOLAS ADDINGTON, BRENDAN HASSETT, YURI TSCHINKEL, AND ANTHONY VÁRILLY-ALVARADO Abstract. We exhibit new examples of rational cubic fourfolds. Our
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationAnother way to proceed is to prove that the function field is purely transcendental. Now the coordinate ring is
3. Rational Varieties Definition 3.1. A rational function is a rational map to A 1. The set of all rational functions, denoted K(X), is called the function field. Lemma 3.2. Let X be an irreducible variety.
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety
More informationSTABLE RATIONALITY IN SMOOTH FAMILIES OF THREEFOLDS
STABLE RATIONALITY IN SMOOTH FAMILIES OF THREEFOLDS BRENDAN HASSETT, ANDREW KRESCH, AND YURI TSCHINKEL Abstract. We exhibit families of smooth projective threefolds with both stably rational and non stably
More informationFields of cohomological dimension 1 versus C 1 -fields
Fields of cohomological dimension 1 versus C 1 -fields J.-L. Colliot-Thélène Abstract. Ax gave examples of fields of cohomological dimension 1 which are not C 1 -fields. Kato and Kuzumaki asked whether
More informationThen the blow up of V along a line is a rational conic bundle over P 2. Definition A k-rational point of a scheme X over S is any point which
16. Cubics II It turns out that the question of which varieties are rational is one of the subtlest geometric problems one can ask. Since the problem of determining whether a variety is rational or not
More informationSTABLE RATIONALITY AND CONIC BUNDLES
STABLE RATIONALITY AND CONIC BUNDLES BRENDAN HASSETT, ANDREW KRESCH, AND YURI TSCHINKEL Abstract. We study stable rationality properties of conic bundles over rational surfaces. 1. Introduction Let k be
More informationON NODAL PRIME FANO THREEFOLDS OF DEGREE 10
ON NODAL PRIME FANO THREEFOLDS OF DEGREE 10 OLIVIER DEBARRE, ATANAS ILIEV, AND LAURENT MANIVEL Abstract. We study the geometry and the period map of nodal complex prime Fano threefolds with index 1 and
More informationBirational geometry and arithmetic. July 2012
Birational geometry and arithmetic July 2012 Basic questions Let F be a field and X a smooth projective algebraic variety over F. Introduction Basic questions Let F be a field and X a smooth projective
More informationEXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES
EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationOFER GABBER, QING LIU, AND DINO LORENZINI
PERIOD, INDEX, AND AN INVARIANT OF GROTHENDIECK FOR RELATIVE CURVES OFER GABBER, QING LIU, AND DINO LORENZINI 1. An invariant of Grothendieck for relative curves Let S be a noetherian regular connected
More informationTHE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES
6 September 2004 THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES Abstract. We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations
More informationThe density of rational points on non-singular hypersurfaces, I
The density of rational points on non-singular hypersurfaces, I T.D. Browning 1 and D.R. Heath-Brown 2 1 School of Mathematics, Bristol University, Bristol BS8 1TW 2 Mathematical Institute,24 29 St. Giles,Oxford
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationChow Groups. Murre. June 28, 2010
Chow Groups Murre June 28, 2010 1 Murre 1 - Chow Groups Conventions: k is an algebraically closed field, X, Y,... are varieties over k, which are projetive (at worst, quasi-projective), irreducible and
More informationQUARTIC DEL PEZZO SURFACES OVER FUNCTION FIELDS OF CURVES
QUARTIC DEL PEZZO SURFACES OVER FUNCTION FIELDS OF CURVES BRENDAN HASSETT AND YURI TSCHINKEL 1. Introduction The geometry of spaces of rational curves of low degree on Fano threefolds is a very active
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
More informationExplicit Arithmetic on Algebraic Surfaces
Explicit Arithmetic on Algebraic Surfaces Anthony Várilly-Alvarado Rice University University of Alberta Colloquium January 30th, 2012 General goal Let X be an algebraic variety defined over Q. Assume
More informationRational Curves On K3 Surfaces
Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:
More informationarxiv:math/ v3 [math.ag] 27 Jan 2004
arxiv:math/0303382v3 [math.ag] 27 Jan 2004 MORE ÉTALE COVERS OF AFFINE SPACES IN POSITIVE CHARACTERISTIC KIRAN S. KEDLAYA Abstract. We prove that every geometrically reduced projective variety of pure
More informationA TOOL FOR STABLE REDUCTION OF CURVES ON SURFACES
A TOOL FOR STABLE REDUCTION OF CURVES ON SURFACES RAVI VAKIL Abstract. In the study of the geometry of curves on surfaces, the following question often arises: given a one-parameter family of divisors
More informationEXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION
EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION JAN CHRISTIAN ROHDE Introduction By string theoretical considerations one is interested in Calabi-Yau manifolds since Calabi-Yau 3-manifolds
More informationThe generalized Hodge and Bloch conjectures are equivalent for general complete intersections
The generalized Hodge and Bloch conjectures are equivalent for general complete intersections Claire Voisin CNRS, Institut de mathématiques de Jussieu 0 Introduction Recall first that a weight k Hodge
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationOn the characteristic cycle of an étale sheaf
On the characteristic cycle of an étale sheaf Takeshi Saito 25-26 septembre 2014, à l IHES Abstract For an étale sheaf on a smooth variety over a perfect field of positive characteristic, the characteristic
More informationDavid Eklund. May 12, 2017
KTH Stockholm May 12, 2017 1 / 44 Isolated roots of polynomial systems Let f 1,..., f n C[x 0,..., x n ] be homogeneous and consider the subscheme X P n defined by the ideal (f 1,..., f n ). 2 / 44 Isolated
More informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationOn conjugacy classes of the Klein simple group in Cremona group
Loughborough University Institutional Repository On conjugacy classes of the Klein simple group in Cremona group This item was submitted to Loughborough University's Institutional Repository by the/an
More informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationCONIC BUNDLES WITH NONTRIVIAL UNRAMIFIED BRAUER GROUP OVER THREEFOLDS
CONIC BUNDLES WITH NONTRIVIAL UNRAMIFIED BRAUER GROUP OVER THREEFOLDS ASHER AUEL, CHRISTIAN BÖHNING, HANS-CHRISTIAN GRAF VON BOTHMER, AND ALENA PIRUTKA Abstract. We derive a formula for the unramified
More informationNon-injectivity of the map from the Witt group of a variety to the Witt group of its function field
Non-injectivity of the map from the Witt group of a variety to the Witt group of its function field Burt Totaro For a regular noetherian scheme X with 2 invertible in X, let W (X) denote the Witt group
More informationOUTLINE AND REFERENCES FOR PROJECT: HASSE PRINCIPLE FOR RATIONAL FUNCTION FIELDS, AWS 2009
OUTLINE AND REFERENCES FOR PROJECT: HASSE PRINCIPLE FOR RATIONAL FUNCTION FIELDS, AWS 2009 R. PARIMALA 1. Introduction Hasse-Minkowski s theorem asserts that a quadratic form over a number field k admits
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationarxiv: v1 [math.ag] 20 Mar 2016
GENUS THREE CURVES AND 56 NODAL SEXTIC SURFACES BERT VAN GEEMEN, YAN ZHAO arxiv:1603.06247v1 [math.ag] 20 Mar 2016 Abstract. Catanese and Tonoli showed that the maximal cardinality for an even set of nodes
More informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationQuotients of E n by a n+1 and Calabi-Yau manifolds
Quotients of E n by a n+1 and Calabi-Yau manifolds Kapil Paranjape and Dinakar Ramakrishnan Abstract. We give a simple construction, for n 2, of an n- dimensional Calabi-Yau variety of Kummer type by studying
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More informationASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp , March THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN
ASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp. 095 100, March 2002 005 THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN HASSETT y, HUI-WEN LIN z, AND CHIN-LUNG WANG x 1.
More informationABEL-JACOBI MAPS ASSOCIATED TO SMOOTH CUBIC THREEFOLDS. Contents. 1. Introduction
ABEL-JACOBI MAPS ASSOCIATED TO SMOOTH CUBIC THREEFOLDS JOE HARRIS, MIKE ROTH, AND JASON STARR Contents 1. Introduction 1 2. Review of the Abel-Jacobi Map 3 3. Lines, Conics and Plane Cubics 4 4. Twisted
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Scheme-theoretic closure, and scheme-theoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationCycle groups for Artin stacks
Cycle groups for Artin stacks arxiv:math/9810166v1 [math.ag] 28 Oct 1998 Contents Andrew Kresch 1 28 October 1998 1 Introduction 2 2 Definition and first properties 3 2.1 The homology functor..........................
More informationOn Maps Taking Lines to Plane Curves
Arnold Math J. (2016) 2:1 20 DOI 10.1007/s40598-015-0027-1 RESEARCH CONTRIBUTION On Maps Taking Lines to Plane Curves Vsevolod Petrushchenko 1 Vladlen Timorin 1 Received: 24 March 2015 / Accepted: 16 October
More informationALGORITHMS FOR ALGEBRAIC CURVES
ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite
More informationThe Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves
The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves Krishna Dasaratha dasaratha@college.harvard.edu Advisor: Joe Harris Submitted to the Department of Mathematics in partial
More informationRational curves on general type hypersurfaces
Rational curves on general type hypersurfaces Eric Riedl and David Yang May 5, 01 Abstract We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an
More informationThe Brauer group and beyond : a survey
The Brauer group and beyond : a survey Jean-Louis Colliot-Thélène (CNRS et Université Paris-Sud, Paris-Saclay) Summer School Quadratic Forms in Chile 2018 First part : Quadratic forms over function fields
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationROST S DEGREE FORMULA
ROST S DEGREE FORMULA ALEXANDER MERKURJEV Some parts of algebraic quadratic form theory and theory of simple algebras with involutions) can be translated into the language of algebraic geometry. Example
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationCorollary. Let X Y be a dominant map of varieties, with general fiber F. If Y and F are rationally connected, then X is.
1 Theorem. Let π : X B be a proper morphism of varieties, with B a smooth curve. If the general fiber F of f is rationally connected, then f has a section. Corollary. Let X Y be a dominant map of varieties,
More information