BrauerManin Computations for Surfaces Open Access
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 ColliotThélène conjectures that another test on local solutions, the BrauerManin 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 BrauerManin obstruction to the Hasse principle for certain families of surfaces. The first of which is a cubic surface written down by Birch and SwinnertonDyer in 1975, NormL/K(ax+by+Φz+ψw) = (cx+dy)NormK/k(x+θy). The lefthand side of this equality is a cubic norm and the righthand side contains a quadratic norm. They make a correspondence between this failure and the BrauerManin 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 BrauerManin obstruction to the Hasse principle, thus verifying the ColliotThélène conjecture for infinitely many cubic surfaces. The second family is a general set of diagonal K3 surfaces, w^{2}=ax^{6}+by^{6}+cz^{6}+dx^{2}y^{2}z^{2}, 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, H^{1}(Gal(k^{s}/k),Pic(X xk k))=(Z/2Z)^{3}. The computation of this group is fundamental to determining the existence of a BrauerManin obstruction.
Table of Contents
1. Introduction ... 1
2. Background ... 3
2.1 The Hasse principle ... 3
2.2 The BrauerManin 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 SwinnertonDyer 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 SwinnertonDyer 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
 Permission granted by the author to include this thesis or dissertation in this repository. All rights reserved by the author. Please contact the author for information regarding the reproduction and use of this thesis or dissertation.
School  

Department  
Degree  
Submission  
Language 

Research Field  
Keyword  
Committee Chair / Thesis Advisor  
Committee Members 
Primary PDF
Thumbnail  Title  Date Uploaded  Actions 

BrauerManin Computations for Surfaces ()  20180828 13:11:36 0400 

Supplemental Files
Thumbnail  Title  Date Uploaded  Actions 
