Brauer-Manin Computations for Surfaces Öffentlichkeit
West, Mckenzie (2016)
Published
Abstract
The nature of rational solutions to polynomial equations is one which is fundamental to Number Theory and more generally, to Mathematics. Given the straightforward nature of this problem, one may be surprised by the difficulty when it comes to producing solutions. The Hasse principle states that if an equation has local solutions everywhere then there is a global solution. Polynomials rarely satisfy this property. However Colliot-Thélène conjectures that another test on local solutions, the Brauer-Manin obstruction, exists for every rationally connected, smooth, projective, geometrically integral variety failing to satisfy the Hasse Principle. We wish to explore the existence of a Brauer-Manin obstruction to the Hasse principle for certain families of surfaces. The first of which is a cubic surface written down by Birch and Swinnerton-Dyer in 1975, NormL/K(ax+by+Φz+ψw) = (cx+dy)NormK/k(x+θy). The left-hand side of this equality is a cubic norm and the right-hand side contains a quadratic norm. They make a correspondence between this failure and the Brauer-Manin obstruction, recently discovered by Manin, in a few specific instances. Using techniques developed in the ensuing 40 years, we show that a much wider class of norm form cubic surfaces have a Brauer-Manin obstruction to the Hasse principle, thus verifying the Colliot-Thélène conjecture for infinitely many cubic surfaces. The second family is a general set of diagonal K3 surfaces, w2=ax6+by6+cz6+dx2y2z2, defined as varieties in weighted projective space. This section focuses on the particular geometry of these surfaces, verifying that their Picard rank is generically 19. We conclude by computing the Galois cohomology group, H1(Gal(ks/k),Pic(X xk k))=(Z/2Z)3. The computation of this group is fundamental to determining the existence of a Brauer-Manin obstruction.
Table of Contents
1. Introduction ... 1
2. Background ... 3
2.1 The Hasse principle ... 3
2.2 The Brauer-Manin obstruction ... 4
2.3 Computing the Brauer group ... 6
2.4 Del Pezzo surfaces ... 7
3. Cubic Surfaces ... 10
3.1 A brief synopsis of cubic surfaces ... 11
3.2 The Birch and Swinnerton-Dyer cubics ... 14
3.3 Setup and notation ... 15
3.4 Computing the Brauer group ... 16
3.5 Invariant map computations ... 18
3.6 Examples ... 22
4. Diagonal K3 Surfaces ... 23
4.1 Introduction on K3 surfaces ... 23
4.2 The particular family of surfaces ... 25
4.3 Geometry ... 27
4.4 The Galois group in the generic case ... 32
4.5 Computations and numerical data ... 37
4.6 Picard group lattice ... 41
A. A Generating Set ... 46
B. MAGMA Code ... 48
B.1 Birch and Swinnerton-Dyer cubic surfaces ... 48
B.1.1 MAGMA code ... 48
A.1.2 Output ... 49
A.2 K3 surface computations ... 50
A.2.1 MAGMA code ... 50
A.2.2 Output ... 82
Bibliography ... 88
About this Dissertation
School | |
---|---|
Department | |
Degree | |
Submission | |
Language |
|
Research Field | |
Stichwort | |
Committee Chair / Thesis Advisor | |
Committee Members |
Primary PDF
Thumbnail | Title | Date Uploaded | Actions |
---|---|---|---|
|
Brauer-Manin Computations for Surfaces () | 2018-08-28 13:11:36 -0400 |
|
Supplemental Files
Thumbnail | Title | Date Uploaded | Actions |
---|