Explicit Arithmetic on Algebraic Surfaces
|
|
- Lee Hodge
- 5 years ago
- Views:
Transcription
1 Explicit Arithmetic on Algebraic Surfaces Anthony Várilly-Alvarado Rice University University of Alberta Colloquium January 30th, 2012
2 General goal Let X be an algebraic variety defined over Q. Assume that X is nice: smooth, projective, and geometrically integral. Example (Swinnerton-Dyer) X = {x 4 + 2y 4 z 4 4w 4 = 0} P 3 Q General goal: describe the set X (Q) of Q-valued points on X. In the example above, we have [1 : 0 : 1 : 0] X (Q). Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
3 General goal Let X be an algebraic variety defined over Q. Assume that X is nice: smooth, projective, and geometrically integral. Example (Swinnerton-Dyer) X = {x 4 + 2y 4 z 4 4w 4 = 0} P 3 Q General goal: describe the set X (Q) of Q-valued points on X. In the example above, we have [1 : 0 : 1 : 0] X (Q). Question Is X (Q) infinite? Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
4 General goal Let X be an algebraic variety defined over Q. Assume that X is nice: smooth, projective, and geometrically integral. Example (Swinnerton-Dyer) X = {x 4 + 2y 4 z 4 4w 4 = 0} P 3 Q General goal: describe the set X (Q) of Q-valued points on X. In the example above, we have [1 : 0 : 1 : 0] X (Q). Question Is X (Q) infinite? No one knows... Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
5 Qualitative Questions Is X (Q) nonempty? 1 YES. Is X (Q) finite or infinite? dense for the Zariski topology? dense for the adelic topology? 2 NO. Why not? Local obstructions? Cohomological obstructions? Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
6 Birational invariance The answers to most of these questions depend only on the birational class of X. Definition Two nice varieties X and Y over Q are birational if they contain open sets U and V that are isomorphic as varieties over Q. Example (Lang-Nishimura) Let X and Y be two birational nice varieties over Q. Then X (Q) Y (Q). This suggests we let classification results from birational geometry guide our choice of varieties on which to explore the above questions. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
7 Birational classification of Algebraic surfaces Let X be a smooth projective minimal algebraic surface over Q. Write κ(x ) for the Kodaira dimension of X. { κ(x ) = : in this case X is ruled or (incl. del Pezzo) rational an abelian surface, or κ(x ) = 0: in this case X is a K3 surface, or an Enriques surface, or a bielliptic surface. κ(x ) = 1: in this case X is a properly elliptic surface. κ(x ) = 2: in this case X is a surface of general type. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
8 Necessary local conditions for X (Q) Let Ω := {p N : p prime} { }. Let Q p be the field of p-adic numbers (completion of Q with respect to the p-adic absolute value). Write Q := R. Observation The embeddings Q Q p give inclusions X (Q) X (Q p ). Hence X (Q) = X (Q p ) for all p Ω. Write X (A) := p Ω X (Q p ) Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
9 Hasse principle and weak approximation Definition We say X satisfies the Hasse principle if X (A) = X (Q). Topologize X (A) by taking the product topology of the p-adic topologies of the X (Q p ). Since X is projective, we call this the adelic topology. Definition We say X satisfies weak approximation if X (A) and the image of X (Q) X (A) is dense for the adelic topology. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
10 Manin s obstruction sets In 1970, Manin observed that any subset S of the Brauer group Br(X ) gives rise to an intermediate obstruction set between X (Q) and X (A): X (Q) X (A) S X (A). The set X (A) S already contains the closure of X (Q) for the adelic topology: X (Q) X (A) S X (A). These sets often explain the failure of the Hasse principle and weak approximation on many kinds of varieties. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
11 Brauer-Manin obstructions Definition We say that X is a counter-example to the Hasse principle explained by a Brauer-Manin obstruction if for some S Br(X ). X (A) and X (A) S = Definition We say that X is a counter-example to weak approximation explained by a Brauer-Manin obstruction if for some S Br(X ). X (A) \ X (A) S Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
12 The Brauer group of a field Fix a field k. The Brauer group of k is Br(k) = {central simple algebras over k} / This is a group under tensor product. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
13 Examples of Brauer groups Br(C) = 0. More generally, Br(k) = 0. Br(R) = Z/2Z. The nontrivial class is represented by Hamilton s quaternions: R{1, i, j, k} where i 2 = j 2 = 1, k = ij = ji. Br(Q p ) = Q/Z via the invariant map inv p : Br(Q p ) Q/Z from local class field theory. Class field theory: 0 Br(Q) p Ω Br(Q p ) P p invp Q/Z 0. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
14 Quaternion algebras Quaternion algebras: Fix a field k. Let a, b k. Define the k-algebra k{1, i, j, k} where i 2 = a, j 2 = b, k = ij = ji. This algebra is usually denoted (a, b). When k = Q p, there are explicit formulas that allow us to evaluate the map inv p : Br(k) Q/Z on quaternion algebras. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
15 The Brauer group of a variety Informally, an Azumaya algebra A on X is an organized collection of central simple algebras over X. For a point x X, A gives a central simple algebra A (x) over the residue field k(x) of x. The Brauer group of X is Br(X ) = {Azumaya algebras over X } / This is a group under tensor product. The Brauer group is birationally invariant! Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
16 The Brauer group of a variety Theorem (Grothendieck; 1968) If X is a nice variety over a field k, then there is an injection Br(X ) Br(k(X )). Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
17 Brauer-Manin sets Fix a class A Br(X ). For a field K, there is an evaluation map ev A : X (K) Br K, x A x OX,x K. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
18 Brauer-Manin sets Fix a class A Br(X ). For a field K, there is an evaluation map ev A : X (K) Br K, x A x OX,x K. We obtain a commutative diagram X (Q) p Ω X (Q p) Q φ A ev A eva P 0 Br Q p Ω Br Q p invp p Q/Z 0 Commutativity implies that X (Q) φ 1 A (0) (!) Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
19 Brauer-Manin sets Definition Let S Br(X ). The Brauer-Manin obstruction set determined by S is As promised, we have inclusions X (A) S := A S φ 1 A (0). X (Q) X (A) S X (A). Recall: this means we obtain potential obstructions to the Hasse principle and weak approximation. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
20 Three kinds of Brauer elements Constant elements Br 0 X := im(br Q Br X ) No obstructions: X (A) {A} = X (A) for all A Br 0 X Algebraic elements Br 1 X := ker(br X Br X ) There is an isomorphism Br 1 X Br 0 X H 1( Gal(Q/Q), Pic X ) (Hochschild-Serre spectral sequence) If Pic X = Z then Br 1 X gives no obstructions Transcendental elements Br X \ Br 1 X. geometric: they survive base-change to an algebraic closure Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
21 Del Pezzo surfaces Definition A del Pezzo surface is a nice surface such that K X is ample. The degree of X is d := K 2 X. Del Pezzo surfaces are geometrically rational surfaces, and their degree lies in the range 1 d 9. Lower degree = more complicated geometry. Example A smooth cubic surface in P 3 Q is a del Pezzo surface (of degree 3). Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
22 Del Pezzo surfaces Hasse principle and weak approximation for del Pezzo surfaces: d 5 d = 4 d = 3 d = 2 d = 1 HP [BSD75] [CG66] [KT04] WA [CTSSD87] [SD62] [KT08]? (1) Check mark ( ) means: phenomenon holds. (2) A reference points to a counterexample in the literature. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
23 Del Pezzo surfaces Hasse principle and weak approximation for del Pezzo surfaces: d 5 d = 4 d = 3 d = 2 d = 1 HP [BSD75] [CG66] [KT04] WA [CTSSD87] [SD62] [KT08] [VA08] (1) Check mark ( ) means: phenomenon holds. (2) A reference points to a counterexample in the literature. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
24 Two ways to think about Del Pezzo surfaces of degree 1 The anticanonical model: X is isomorphic to a smooth sextic hypersurface in P Q (1, 1, 2, 3) := Proj(Q[x, y, z, w]), e.g., w 2 = z 3 + Ax 6 + By 6, A, B Q. Conversely, any smooth sextic in P Q (1, 1, 2, 3) is a dp1. The blow-up model: X is isomorphic to the blow-up of P 2 Q at 8 points in general position. In particular, Pic X = Z 9. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
25 Weak approximation fails for dp1s Theorem (V-A; 2008) Let p 5 be a rational prime number such that p 1 mod 12. Let X be the del Pezzo surface of degree 1 over Q given by w 2 = z 3 + p 3 x 6 + p 3 y 6 in P Q (1, 1, 2, 3). Then X is Q-minimal and there is a Brauer-Manin obstruction to weak approximation on X. Moreover, the obstruction arises from a quaternion algebra class in Br X / Br Q. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
26 Computing a Brauer-Manin obstruction To compute a Brauer-Manin obstruction, we need Br X / Br 0 (X ). For a del Pezzo surface, Br(X ) = Br 1 (X ), i.e., there are no transcendental classes in the Brauer group. Hence, the Hochschild-Serre spectral sequence gives an isomorphism Br X / Br 0 (X ) H 1( Gal(Q/Q), Pic X ), To compute the right hand side, we need the action of Gal(Q/Q) on Pic X explicitly. On a del Pezzo surface, Pic X is generated by the exceptional curves of X (C X with C 2 = K X C = 1). Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
27 Explicit exceptional curves on a dp1 Theorem (V-A; 2008) Let X be a del Pezzo surface of degree 1 over a field k, given as a smooth sextic hypersurface {f (x, y, z, w) = 0} in P k (1, 1, 2, 3). Let Γ : {z = Q(x, y), w = C(x, y)} P k (1, 1, 2, 3), where Q(x, y) and C(x, y) are homogenous forms of degrees 2 and 3, respectively, in k[x, y]. If Γ is a divisor on X k, then it is an exceptional curve of X. Conversely, every exceptional curve on X is a divisor of this form. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
28 Example: Exceptional curves on w 2 = z 3 + x 6 + y 6. Let Q(x, y) = ax 2 + bxy + cy 2, C(x, y) = rx 3 + sx 2 y + txy 2 + uy 3, Then the identity C(x, y) 2 = Q(x, y) 3 + x 6 + y 6 implies that u 2 c 3 1 = 0 2tu 3c 2 b = 0 2su + t 2 3ac 2 3cb 2 = 0 2ru + 2st 6acb b 3 = 0 2rt + s 2 3a 2 c 3ab 2 = 0 2rs 3a 2 b = 0 r 2 a 3 1 = 0 Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
29 Example: Exceptional curves on w 2 = z 3 + x 6 + y 6. Use Gröbner bases to solve this system of equations. Get 240 solutions, one for each exceptional curve of the surface. The Galois action can be read off from the coefficients of the equations of the exceptional curves. Sample exceptional curve: (s = 3 2, ζ = (1 + 3)/2) z = ( s 2 ζ + s 2 2s + 2ζ)x 2 + (2s 2 ζ 2s 2 + 3s 4ζ)xy + ( s 2 ζ + s 2 2s + 2ζ)y 2, w = (2s 2 ζ 4s 2 + 2sζ + 2s 6ζ + 3)x 3 + ( 5s 2 ζ + 10s 2 6sζ 6s + 16ζ 8)x 2 y + (5s 2 ζ 10s 2 + 6sζ + 6s 16ζ + 8)xy 2 + ( 2s 2 ζ + 4s 2 2sζ 2s + 6ζ 3)y 3. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
30 Brauer groups of diagonal dp1s Theorem (V-A; 2008) Let k be a field with char k 2, 3. Let X be a minimal del Pezzo surface of degree 1 over k of the form w 2 = z 3 + Ax 6 + By 6 for some A, B k. Then H 1 (Gal(k/k), Pic X ) is isomorphic to one of the following groups: {1}; (Z/2Z) i, i {1, 2, 3, 4, 6, 8}; (Z/3Z) j, j {1, 2, 3, 4}; (Z/6Z) k k {1, 2}; Z/2Z Z/6Z. Each group occurs for some field k. When k = Q only the following groups occur: {1}, Z/2Z, Z/2Z Z/2Z, Z/2Z Z/2Z Z/2Z, Z/3Z, Z/3Z Z/3Z, Z/6Z. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
31 Hardest step: inverting Br X / Br 0 (X ) H 1( Gal(k/k), Pic X ) Br X / Br 0 (X ) H 1( Gal(k/k), Pic X ) Br k(x )/ Br 0 (X ) H 1( Gal(K/k), Pic X K ) inf inf H 1( Gal(L/k), Pic X L ) Br cyc (X, L) ψ ker N L/k / im Br cyc (X, L) := { } classes [(L/k, f )] in the image of the map Br X / Br 0 (X ) Br k(x )/ Br 0 (X ) Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
32 Weak approximation fails for dp1s Theorem (V-A; 2008) Let p 5 be a rational prime number such that p 1 mod 12. Let X be the del Pezzo surface of degree 1 over Q given by w 2 = z 3 + p 3 x 6 + p 3 y 6 in P Q (1, 1, 2, 3). Then X is Q-minimal and there is a Brauer-Manin obstruction to weak approximation on X. Moreover, the obstruction arises from a quaternion algebra class in Br X / Br Q. For the surfaces X of the theorem, we have Br(X )/ Br 0 (X ) = Z/2Z Z/2Z. One of the nontrivial classes gives the quaternion algebra (p, f /g), where... Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
33 Weak approximation fails for dp1s f = 12z 6 72pz 5 y 2 192pz 5 yx 48pz 5 x p 2 z 4 y p 2 z 4 y 3 x + 576p 2 z 4 y 2 x p 2 z 4 yx p 2 z 4 x 4 288p 3 z 3 y 6 720p 3 z 3 y 5 x 888p 3 z 3 y 4 x 2 768p 3 z 3 y 3 x 3 756p 3 z 3 y 2 x 4 264p 3 z 3 yx 5 204p 3 z 3 x p 4 z 2 y p 4 z 2 y 7 x p 4 z 2 y 6 x p 4 z 2 y 5 x p 4 z 2 y 4 x p 4 z 2 y 3 x p 4 z 2 y 2 x p 4 z 2 yx 7 48p 4 z 2 x p 5 zy 10 48p 5 zy 9 x 720p 5 zy 8 x p 5 zy 7 x 3 600p 5 zy 6 x 4 216p 5 zy 5 x 5 240p 5 zy 4 x 6 480p 5 zy 3 x 7 504p 5 zy 2 x 8 24p 5 zyx p 5 zx p 6 y p 6 y 11 x + 192p 6 y 10 x p 6 y 9 x p 6 y 8 x p 6 y 7 x 5 192p 6 y 6 x 6 288p 6 y 5 x p 6 y 4 x p 6 y 3 x 9 48p 6 yx 11. g = z 6 6pz 5 y 2 24pz 5 yx 6pz 5 x p 2 z 4 y p 2 z 4 y 3 x + 132p 2 z 4 y 2 x p 2 z 4 yx p 2 z 4 x 4 + 8p 3 z 3 y 6 60p 3 z 3 y 5 x 168p 3 z 3 y 4 x 2 276p 3 z 3 y 3 x 3 168p 3 z 3 y 2 x 4 60p 3 z 3 yx 5 + 8p 3 z 3 x 6 24p 4 z 2 y 8 24p 4 z 2 y 7 x + 156p 4 z 2 y 6 x p 4 z 2 y 5 x p 4 z 2 y 4 x p 4 z 2 y 3 x p 4 z 2 y 2 x 6 24p 4 z 2 yx 7 24p 4 z 2 x p 5 zy 9 x + 24p 5 zy 8 x 2 120p 5 zy 7 x 3 324p 5 zy 6 x 4 432p 5 zy 5 x 5 324p 5 zy 4 x 6 120p 5 zy 3 x p 5 zy 2 x p 5 zyx p 6 y p 6 y 11 x + 48p 6 y 10 x p 6 y 9 x p 6 y 8 x p 6 y 7 x p 6 y 6 x p 6 y 5 x p 6 y 4 x p 6 y 3 x p 6 y 2 x p 6 yx p 6 x 12. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
34 Transcendental Brauer classes For curves we have Br(X ) = Br 1 (X ), i.e., curves carry have no transcendental Brauer classes. Theorem (Harari; 1996) There exist infinitely many explicit conic bundles V over P 2 with a transcendental Brauer-Manin obstruction to the Hasse principle. Question Are there nice algebraic surfaces that fail to satisfy the Hasse principle on account of a transcendental Brauer-Manin obstruction? Can we write down an example? Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
35 Transcendental Brauer classes For surfaces X of negative Kodaira dimension we also have Br(X ) = Br 1 (X ), i.e., these varieties carry have no transcendental Brauer classes. We start searching for transcendental classes by looking at surfaces of Kodaira dimension 0. Within this class, we consider K3 surfaces. Definition A K3 surface is a nice surface with trivial canonical bundle and h 1( X, O X ) = 0. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
36 Examples of K3 surfaces Double covers of P 2 ramified along a smooth sextic plane curve: {w 2 f (x 0, x 1, x 2 ) = 0} P(1, 1, 1, 3) = Proj Q[x 0, x 1, x 2, w], where f (x 0, x 1, x 2 ) Q[x 0, x 1, x 2 ] 6. Smooth quartic surfaces in P 3. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
37 Previous work Many authors have constructed explicit transcendental Brauer classes, including Artin Mumford (1969), Colliot-Thélène Ojanguren (1989), Harari (1996), Wittenberg (2004), Harari Skorobogatov (2005), Skorobogatov Swinnerton-Dyer (2005), Ieronymou (2009), Ieronymou Skorobogatov Zarhin (2009), Preu (2010). This body of work includes examples of transcendental Brauer-Manin obstructions to weak approximation on K3 surfaces. In all cases, the K3 surfaces considered are endowed with an elliptic fibration, which is used in an essential way to construct transcendental Brauer classes. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
38 Transcendental obstructions to the Hasse principle Theorem (Hassett, V-A; 2011) Let X be a K3 surface of degree 2 over a number field k, given as a sextic in P(1, 1, 1, 3) = Proj k[x 0, x 1, x 2, w] of the form ( ) w 2 = 1 2A B C 2 det B 2D E, (1) C E 2F where A,..., F k[x 0, x 1, x 2 ] are homogeneous quadratic polynomials. Then the class A of the quaternion algebra (B 2 4AD, A) in Br(k(X )) extends to an element of Br(X ). When k = Q, there exist particular polynomials A,..., F Z[x 0, x 1, x 2 ] such that X has geometric Picard rank 1 and A gives rise to a transcendental Brauer-Manin obstruction to the Hasse principle on X. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
39 Transcendental obstructions to the Hasse principle For the second part of the theorem, we can take A := 7x0 2 16x 0 x x 0 x 2 24x x 1 x 2 16x2 2, B := 3x x 0 x 2 + 2x1 2 4x 1 x 2 + 4x2 2, C := 10x x 0 x 1 + 4x 0 x 2 + 4x1 2 2x 1 x 2 + x2 2, D := 16x x 0 x 1 23x x 1 x 2 40x2 2, E := 4x0 2 4x 0 x x1 2 4x 1 x 2 + 6x2 2, F := 40x x 0 x 1 40x1 2 8x 1 x 2 23x2 2. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
40 Hodge theoretic motivation How did we know where to look for these examples? Let X be a complex projective K3 surface. Let T X := NS(X ) H 2 (X, Z) be the transcendental lattice of X. There is a one-to-one correspondence {α Br X of exact order n} 1 1 {surjections T X Z/nZ} Hence, to α as above, we may associate T α T X : T α = ker(α: T X Z/nZ). Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
41 Hodge theoretic motivation Theorem (van Geemen; 2005) Let X be a complex projective K3 surface of degree 2 with Pic X = Z, and let α (Br X )[2]. Then one of the following three things must happen: 1 There is a unique primitive embedding T α Λ K3. This gives a degree 8 K3 surface Y associated to the pair (X, α). 2 T α ( 1) = h 2, P H 4 (Z, Z), where Z is a cubic fourfold with a plane P (h is the hyperplane class). 3 T α ( 1) = h 2 1, h 1h 2, h 2 2 H 4 (Y, Z), where Y is a double cover of P 2 P 2 ramified along a type (2, 2) divisor (h 1, h 2 are the pullbacks to Y of the hyperplane classes of P 2 under the two projections P 2 P 2 P 2 ). Idea: go backwards and work over any field k of characteristic 2. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
42 Difficulties No elliptic fibrations: Our construction going backwards doesn t necessarily yield K3 surfaces for which Pic X = Z. We use recent work of Elsenhans and Jahnel certify this (requires intensive point counts over finite fields). Computing local invariants for Brauer-Manin sets: We show that if the singular locus at a place of bad reduction for X consists of at most 7 ordinary double points, then the local invariants of A are constant at this prime. We evaluate them by looking at a single p-adic point. Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
43 Difficulties Primes of bad reduction of X : A Groebner basis computation over Z shows these primes divide (346 digits!) Surprisingly, we use algebraic geometry to factor this integer! Anthony Várilly-Alvarado (Rice) Explicit Arithmetic on Algebraic Surfaces January 30th, / 39
Transcendental obstructions on K3 surfaces
Transcendental obstructions on K3 surfaces Anthony Várilly-Alvarado February 28, 2012 1 Introduction Let X be a smooth projective geometrically integral variety over Q. We have an inclusion φ : X(Q) p,
More informationCubic fourfolds and odd-torsion Brauer Manin obstructions on K3 surfaces
Cubic fourfolds and odd-torsion Brauer Manin obstructions on K3 surfaces Anthony Várilly-Alvarado Rice University Arithmetic Geometry, Number Theory and Computation August 22nd, 2018 We report on results
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 informationGood reduction of the Brauer Manin obstruction
Good reduction of the Brauer Manin obstruction A joint work in progress with J-L. Colliot-Thélène Imperial College London Schloss Thurnau, July 2010 Notation: k is a number field, k v is the completion
More informationGeometry dictates arithmetic
Geometry dictates arithmetic Ronald van Luijk February 21, 2013 Utrecht Curves Example. Circle given by x 2 + y 2 = 1 (or projective closure in P 2 ). Curves Example. Circle given by x 2 + y 2 = 1 (or
More informationReciprocity laws and integral solutions of polynomial equations
Reciprocity laws and integral solutions of polynomial equations Jean-Louis Colliot-Thélène CNRS, Université Paris-Sud Clay Mathematical Institute, MSRI Congruences, local fields Let f (x 1,, x n ) be a
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 informationMORPHISMS TO BRAUER SEVERI VARIETIES, WITH APPLICATIONS TO DEL PEZZO SURFACES
MORPHISMS TO BRAUER SEVERI VARIETIES, WITH APPLICATIONS TO DEL PEZZO SURFACES CHRISTIAN LIEDTKE Abstract. We classify morphisms from proper varieties to Brauer Severi varieties, which generalizes the classical
More informationRATIONAL POINTS ON SURFACES
RATIONAL POINTS ON SURFACES BIANCA VIRAY ASSISTANT: ARNE SMEETS ARIZONA WINTER SCHOOL 2015 The goal of these lectures is to serve as a user s guide to obstructions to the existence of k-points on smooth
More informationRATIONAL POINTS IN FAMILIES OF VARIETIES
RATIONAL POINTS IN FAMILIES OF VARIETIES MARTIN BRIGHT Contents 1. The Hasse principle 1 2. The Brauer Manin obstruction 4 3. Understanding Brauer groups 7 4. Local solubility in families 11 5. The Brauer
More informationThe Brauer-Manin Obstruction and Surfaces. Mckenzie West Emory University January 9, 2016
The Brauer-Manin Obstruction and Surfaces Mckenzie West Emory University January 9, 2016 1 The Brauer-Manin Obstruction and Cubic Surfaces Mckenzie West Emory University January 9, 2016 1 History Main
More informationTranscendental Brauer elements and descent. elliptic surfaces. Bianca Viray (Brown University)
on elliptic surfaces Bianca Viray Brown University 40 Years and Counting: AWM s Celebration of Women in Mathematics September 17, 2011 The Brauer group Let k be a field of characteristic 0. Definition
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,
More informationEFFECTIVITY OF BRAUER MANIN OBSTRUCTIONS ON SURFACES
EFFECTIVITY OF BRAUER MANIN OBSTRUCTIONS ON SURFACES ANDREW KRESCH AND YURI TSCHINKEL Abstract. We study Brauer Manin obstructions to the Hasse principle and to weak approximation on algebraic surfaces
More informationArithmetic of del Pezzo surfaces
Arithmetic of del Pezzo surfaces Anthony Várilly-Alvarado Department of Mathematics MS-136 Rice University Houston, TX 77005, USA varilly@rice.edu Introduction These notes were written to accompany a mini-course
More informationRational points on algebraic varieties : a survey
Rational points on algebraic varieties : a survey Jean-Louis Colliot-Thélène (CNRS et Université Paris-Sud, Paris-Saclay) Colloquium, Steklov Institute, Moscow October 6th, 2017 The aim of this talk is
More informationBRAUER MANIN OBSTRUCTIONS TO INTEGRAL POINTS
BRAUER MANIN OBSTRUCTIONS TO INTEGRAL POINTS ANDREW KRESCH AND YURI TSCHINKEL Abstract. We study Brauer Manin obstructions to integral points on open subsets of the projective plane. 1. Introduction Let
More informationDel Pezzo Surfaces and the Brauer-Manin Obstruction. Patrick Kenneth Corn. A.B. (Harvard University) 1998
Del Pezzo Surfaces and the Brauer-Manin Obstruction by Patrick Kenneth Corn A.B. (Harvard University) 1998 A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor
More informationPoint counting and real multiplication on K3 surfaces
Point counting and real multiplication on K3 surfaces Andreas-Stephan Elsenhans Universität Paderborn September 2016 Joint work with J. Jahnel. A.-S. Elsenhans (Universität Paderborn) K3 surfaces September
More informationHigher reciprocity laws and rational points
Higher reciprocity laws and rational points Jean-Louis Colliot-Thélène (CNRS et Université Paris-Sud) Joint work with R. Parimala et V. Suresh Conference on Algebraic Geometry Amsterdam, 8th-12th July,
More informationTRANSCENDENTAL OBSTRUCTIONS TO WEAK APPROXIMATION ON GENERAL K3 SURFACES
TRANSCENDENTAL OBSTRUCTIONS TO WEAK APPROXIMATION ON GENERAL K3 SURFACES BRENDAN HASSETT, ANTHONY VÁRILLY-ALVARADO, AND PATRICK VARILLY Abstract. We construct an explicit K3 surface over the field of rational
More informationThe set of non-n-th powers in a number field is diophantine Joint work with Jan Van Geel (Gent) Jean-Louis Colliot-Thélène (CNRS et Université
The set of non-n-th powers in a number field is diophantine Joint work with Jan Van Geel (Gent) Jean-Louis Colliot-Thélène (CNRS et Université Paris-Sud, Orsay) Second ERC Research period on Diophantine
More informationTHE BRAUER-MANIN OBSTRUCTION AND THE FIBRATION METHOD - LECTURE BY JEAN-LOUIS COLLIOT-THÉLÈNE
THE BRAUER-MANIN OBSTRUCTION AND THE FIBRATION METHOD - LECTURE BY JEAN-LOUIS COLLIOT-THÉLÈNE These are informal notes on the lecture I gave at IU Bremen on July 14th, 2005. Steve Donnelly prepared a preliminary
More informationFANO THREEFOLDS WITH LARGE AUTOMORPHISM GROUPS
FANO THREEFOLDS WITH LARGE AUTOMORPHISM GROUPS CONSTANTIN SHRAMOV Let G be a finite group and k a field. We can consider the notion of G-rationality, G- nonrationality, etc., by considering G-equivariant
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 informationHodge structures from differential equations
Hodge structures from differential equations Andrew Harder January 4, 2017 These are notes on a talk on the paper Hodge structures from differential equations. The goal is to discuss the method of computation
More informationThe Brauer group of Kummer surfaces and torsion of elliptic curves
The Brauer group of Kummer surfaces and torsion of elliptic curves Alexei N. Skorobogatov and Yuri G. Zarhin Introduction In this paper we are interested in computing the Brauer group of K3 surfaces. To
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
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 informationK3 Surfaces and Lattice Theory
K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9
More informationOn large Picard groups and the Hasse principle for curves and K3 surfaces. CORAY, Daniel, MANOIL, Constantin
Article On large Picard groups and the Hasse principle for curves and K3 surfaces CORAY, Daniel, MANOIL, Constantin Reference CORAY, Daniel, MANOIL, Constantin. On large Picard groups and the Hasse principle
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 informationEquidistributions in arithmetic geometry
Equidistributions in arithmetic geometry Edgar Costa Dartmouth College 14th January 2016 Dartmouth College 1 / 29 Edgar Costa Equidistributions in arithmetic geometry Motivation: Randomness Principle Rigidity/Randomness
More informationMANIN-MUMFORD AND LATTÉS MAPS
MANIN-MUMFORD AND LATTÉS MAPS JORGE PINEIRO Abstract. The present paper is an introduction to the dynamical Manin-Mumford conjecture and an application of a theorem of Ghioca and Tucker to obtain counterexamples
More informationTHE BRAUER-MANIN OBSTRUCTION FOR INTEGRAL POINTS ON CURVES
THE BRAUER-MANIN OBSTRUCTION FOR INTEGRAL POINTS ON CURVES DAVID HARARI AND JOSÉ FELIPE VOLOCH Abstract. We discuss the question of whether the Brauer-Manin obstruction is the only obstruction to the Hasse
More informationON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS. 1. Motivation
ON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS OLIVIER WITTENBERG This is joint work with Olivier Benoist. 1.1. Work of Kollár. 1. Motivation Theorem 1.1 (Kollár). If X is a smooth projective (geometrically)
More informationStrong approximation with Brauer-Manin obstruction for certa. algebraic varieties. Fei XU
Strong approximation with Brauer-Manin obstruction for certain algebraic varieties School of Mathematical Sciences, Capital Normal University, Beijing 100048, P.R.CHINA I. Strong Approximation. Let F be
More informationGEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
More informationDEGREE AND THE BRAUER-MANIN OBSTRUCTION
DEGREE AND THE BRAUER-MANIN OBSTRUCTION BRENDAN CREUTZ, BIANCA VIRAY, AND AN APPENDIX BY ALEXEI N. SKOROBOGATOV Abstract. Let X P n k is a smooth projective variety of degree d over a number field k and
More informationThe algebraic Brauer-Manin obstruction on Châtelet surfaces, degree 4 del Pezzo surfaces, and Enriques surfaces. Bianca Lara Viray
The algebraic Brauer-Manin obstruction on Châtelet surfaces, degree 4 del Pezzo surfaces, and Enriques surfaces by Bianca Lara Viray A dissertation submitted in partial satisfaction of the requirements
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 informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationEXPERIMENTS WITH THE TRANSCENDENTAL BRAUER-MANIN OBSTRUCTION
EXPERIMENTS WITH THE TRANSCENDENTAL BRAUER-MANIN OBSTRUCTION ANDREAS-STEPHAN ELSENHANS AND JÖRG JAHNEL Abstract. We report on our experiments and theoretical investigations concerning weak approximation
More informationThe descent-fibration method for integral points - St petersburg lecture
The descent-fibration method for integral points - St petersburg lecture Yonatan Harpaz June 5, 015 1 Introduction Let k be a number field and S a finite set of places of k. By an O S -variety we understand
More informationRational points on diagonal quartic surfaces
Rational points on diagonal quartic surfaces Andreas-Stephan Elsenhans Abstract We searched up to height 10 7 for rational points on diagonal quartic surfaces. The computations fill several gaps in earlier
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 informationSupersingular K3 Surfaces are Unirational
Supersingular K3 Surfaces are Unirational Christian Liedtke (Technical University Munich) August 7, 2014 Seoul ICM 2014 Satellite Conference, Daejeon Lüroth s theorem Given a field k a field, Lüroth s
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
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 informationHeight zeta functions
Geometry Mathematisches Institut July 19, 2006 Geometric background Let X P n be a smooth variety over C. Its main invariants are: Picard group Pic(X ) and Néron-Severi group NS(X ) Λ eff (X ), Λ ample
More informationINSUFFICIENCY OF THE BRAUER-MANIN OBSTRUCTION APPLIED TO ÉTALE COVERS
INSUFFICIENCY OF THE BRAUER-MANIN OBSTRUCTION APPLIED TO ÉTALE COVERS BJORN POONEN Abstract. Let k be any global field of characteristic not 2. We construct a k-variety X such that X(k) is empty, but for
More informationON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES
ON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES BY ANDREAS-STEPHAN ELSENHANS (BAYREUTH) AND JÖRG JAHNEL (SIEGEN) 1. Introduction 1.1. In this note, we will present a method to construct examples
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 informationDIOPHANTINE EQUATIONS: PROGRESS AND PROBLEMS
DIOPHANTINE EQUATIONS: PROGRESS AND PROBLEMS 1. Introduction. A Diophantine problem over Q is concerned with the solutions either in Q or in Z of a finite system of polynomial equations F i (X 1,..., X
More informationDescent theory for strong approximation for varieties containing a torsor under a torus
Université Paris Sud Faculté des Sciences d Orsay Département de Mathématiques M2 Arithmétique, Analyse, Géométrie Mémoire Master 2 presented by Marco D Addezio Descent theory for strong approximation
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 informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationQuadratic families of elliptic curves and degree 1 conic bundles
Quadratic families of elliptic curves and degree 1 conic bundles János Kollár Princeton University joint with Massimiliano Mella Elliptic curves E := ( y 2 = a 3 x 3 + a 2 x 2 + a 1 x + a 0 ) A 2 xy Major
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationElliptic curves over function fields 1
Elliptic curves over function fields 1 Douglas Ulmer and July 6, 2009 Goals for this lecture series: Explain old results of Tate and others on the BSD conjecture over function fields Show how certain classes
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationITERATING THE ALGEBRAIC ÉTALE-BRAUER SET
ITERATING THE ALGEBRAIC ÉTALE-BRAUER SET F BALESTRIERI Abstract In this paper, we iterate the algebraic étale-brauer set for any nice variety X over a number field k with πét 1 (X) finite and we show that
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 informationFrobenius Distributions
Frobenius Distributions Edgar Costa (MIT) September 11th, 2018 Massachusetts Institute of Technology Slides available at edgarcosta.org under Research Polynomials Write f p (x) := f(x) mod p f(x) = a n
More information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationApplications to the Beilinson-Bloch Conjecture
Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective
More informationOn the order three Brauer classes for cubic surfaces
On the order three Brauer classes for cubic surfaces Andreas-Stephan Elsenhans and Jörg Jahnel Abstract We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over É such
More informationOn the Brauer Manin obstruction for cubic surfaces
On the Brauer Manin obstruction for cubic surfaces Andreas-Stephan Elsenhans and Jörg Jahnel Abstract We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over É such
More informationDouble fibres and double covers: paucity of rational points
ACTA ARITHMETICA LXXIX.2 (1997) Double fibres and double covers: paucity of rational points by J.-L. Colliot-Thélène (Orsay), A. N. Skorobogatov (Moscow and Marseille) and Sir Peter Swinnerton-Dyer (Cambridge)
More information1.5.4 Every abelian variety is a quotient of a Jacobian
16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.
More informationFROM SEPARABLE POLYNOMIALS TO NONEXISTENCE OF RATIONAL POINTS ON CERTAIN HYPERELLIPTIC CURVES
J. Aust. Math. Soc. 96 (2014, 354 385 doi:10.1017/s1446788714000044 FROM SEPARABLE POLYNOMIALS TO NONEXISTENCE OF RATIONAL POINTS ON CERTAIN HYPERELLIPTIC CURVES NGUYEN NGOC DONG QUAN (Received 6 November
More informationDIVISION ALGEBRAS WITH THE SAME MAXIMAL SUBFIELDS
DIVISION ALGEBRAS WITH THE SAME MAXIMAL SUBFIELDS VLADIMIR I. CHERNOUSOV, ANDREI S. RAPINCHU, AND IGOR A. RAPINCHU Abstract. We give a survey of recent results related to the problem of characterizing
More informationOn the computation of the Picard group for K3 surfaces
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On the computation of the Picard group for K3 surfaces By Andreas-Stephan Elsenhans Mathematisches Institut, Universität Bayreuth,
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 informationarxiv: v3 [math.nt] 29 May 2017
arxiv:1604.08543v3 [math.nt] 29 May 2017 RATIONAL POINTS AND ZERO-CYCLES ON RATIONALLY CONNECTED VARIETIES OVER NUMBER FIELDS OLIVIER WITTENBERG Abstract. We report on progress in the qualitative study
More informationComputation of zeta and L-functions: feasibility and applications
Computation of zeta and L-functions: feasibility and applications Kiran S. Kedlaya Department of Mathematics, University of California, San Diego School of Mathematics, Institute for Advanced Study (2018
More informationON BRAUER GROUPS OF DOUBLE COVERS OF RULED SURFACES
ON BRAUER GROUPS OF DOUBLE COVERS OF RULED SURFACES BRENDAN CREUTZ AND BIANCA VIRAY Abstract. Let X be a smooth double cover of a geometrically ruled surface defined over a separably closed field of characteristic
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 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 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 informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationDynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman
Dynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman Brown University Conference on the Arithmetic of K3 Surfaces Banff International Research Station Wednesday,
More informationTheta Characteristics Jim Stankewicz
Theta Characteristics Jim Stankewicz 1 Preliminaries Here X will denote a smooth curve of genus g (that is, isomorphic to its own Riemann Surface). Rather than constantly talking about linear equivalence
More information7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical
7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical divisor. Definition 7.1. We say that a smooth projective surface is minimal if K S is nef. Warning:
More informationINSUFFICIENCY OF THE BRAUER-MANIN OBSTRUCTION RATIONAL POINTS ON ENRIQUES SURFACES
INSUFFICIENCY OF THE BRAUER-MANIN OBSTRUCTION RATIONAL POINTS ON ENRIQUES SURFACES FOR FRANCESCA BALESTRIERI, JENNIFER BERG, MICHELLE MANES, JENNIFER PARK, AND BIANCA VIRAY Abstract. In [VAV11], Várilly-Alvarado
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann- Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
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 informationArtin-Tate Conjecture, fibered surfaces, and minimal regular proper model
Artin-Tate Conjecture, fibered surfaces, and minimal regular proper model Brian Conrad November 22, 2015 1 Minimal Models of Surfaces 1.1 Notation and setup Let K be a global function field of characteristic
More informationTHE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE
THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE TONY FENG Abstract. There is a canonical pairing on the Brauer group of a surface over a finite field, and an old conjecture of Tate predicts that
More informationGEOMETRY OF 3-SELMER CLASSES THE ALGEBRAIC GEOMETRY LEARNING SEMINAR 7 MAY 2015
IN GEOMETRY OF 3-SELMER CLASSES THE ALGEBRAIC GEOMETRY LEARNING SEMINAR AT ESSEN 7 MAY 2015 ISHAI DAN-COHEN Abstract. We discuss the geometry of 3-Selmer classes of elliptic curves over a number field,
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 informationQuadratic points on modular curves
S. Alberts Quadratic points on modular curves Master thesis Supervisor: Dr. P.J. Bruin Date: November 24, 2017 Mathematisch Instituut, Universiteit Leiden Contents Introduction 3 1 Modular and hyperelliptic
More informationarxiv: v1 [math.ag] 29 Dec 2018
arxiv:1812.11363v1 [math.ag] 29 Dec 2018 On forms of the Segre cubic Artem Avilov January 1, 2019 Abstract In this article we study forms of the Segre cubic over non-algebraically closed fields, their
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationThe Cone Theorem. Stefano Filipazzi. February 10, 2016
The Cone Theorem Stefano Filipazzi February 10, 2016 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will give an overview
More informationArithmetic applications of Prym varieties in low genus. Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018
Arithmetic applications of Prym varieties in low genus Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018 Background: classifying rational point sets of curves Typical arithmetic geometry
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
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 information