Geometry Over Nonclosed Fields

Based on the Simons Symposia held in 2015, the proceedings in this volume focus on rational curves on higher-dimensional algebraic varieties and applications of the theory of curves to arithmetic problems. There has been significant progress in this field with major new results, which have given new impetus to the study of rational curves and spaces of rational curves on K3 surfaces and their higher-dimensional generalizations. One main recent insight the book covers is the idea that the geometry of rational curves is tightly coupled to properties of derived categories of sheaves on K3 surfaces. The implementation of this idea led to proofs of long-standing conjectures concerning birational properties of holomorphic symplectic varieties, which in turn should yield new theorems in arithmetic. This proceedings volume covers these new insights in detail.

​​​​This book features recent developments in a rapidly growing area at the interface of higher-dimensional birational geometry and arithmetic geometry. It focuses on the geometry of spaces of rational curves, with an emphasis on applications to arithmetic questions. Classically, arithmetic is the study of rational or integral solutions of diophantine equations and geometry is the study of lines and conics. From the modern standpoint, arithmetic is the study of rational and integral points on algebraic varieties over nonclosed fields. A major insight of the 20th century was that arithmetic properties of an algebraic variety are tightly linked to the geometry of rational curves on the variety and how they vary in families. This collection of solicited survey and research papers is intended to serve as an introduction for graduate students and researchers interested in entering the field, and as a source of reference for experts working on related problems. Topics that will be addressed include: birational properties such as rationality, unirationality, and rational connectedness, existence of rational curves in prescribed homology classes, cones of rational curves on rationally connected and Calabi-Yau varieties, as well as related questions within the framework of the Minimal Model Program.

This book is motivated by the problem of determining the set of rational points on a variety, but its true goal is to equip readers with a broad range of tools essential for current research in algebraic geometry and number theory. The book is unconventional in that it provides concise accounts of many topics instead of a comprehensive account of just one—this is intentionally designed to bring readers up to speed rapidly. Among the topics included are Brauer groups, faithfully flat descent, algebraic groups, torsors, étale and fppf cohomology, the Weil conjectures, and the Brauer-Manin and descent obstructions. A final chapter applies all these to study the arithmetic of surfaces. The down-to-earth explanations and the over 100 exercises make the book suitable for use as a graduate-level textbook, but even experts will appreciate having a single source covering many aspects of geometry over an unrestricted ground field and containing some material that cannot be found elsewhere. The origins of arithmetic (or Diophantine) geometry can be traced back to antiquity, and it remains a lively and wide research domain up to our days. The book by Bjorn Poonen, a leading expert in the field, opens doors to this vast field for many readers with different experiences and backgrounds. It leads through various algebraic geometric constructions towards its central subject: obstructions to existence of rational points. —Yuri Manin, Max-Planck-Institute, Bonn It is clear that my mathematical life would have been very different if a book like this had been around at the time I was a student. —Hendrik Lenstra, University Leiden Understanding rational points on arbitrary algebraic varieties is the ultimate challenge. We have conjectures but few results. Poonen's book, with its mixture of basic constructions and openings into current research, will attract new generations to the Queen of Mathematics. —Jean-Louis Colliot-Thélène, Université Paris-Sud A beautiful subject, handled by a master. —Joseph Silverman, Brown University

Number systems based on a finite collection of symbols, such as the 0s and 1s of computer circuitry, are ubiquitous in the modern age. Finite fields are the most important such number systems, playing a vital role in military and civilian communications through coding theory and cryptography. These disciplines have evolved over recent decades, and where once the focus was on algebraic curves over finite fields, recent developments have revealed the increasing importance of higher-dimensional algebraic varieties over finite fields. The papers included in this publication introduce the reader to recent developments in algebraic geometry over finite fields with particular attention to applications of geometric techniques to the study of rational points on varieties over finite fields of dimension of at least 2.

Based on survey lectures given at the 2006 Clay Summer School on Arithmetic Geometry at the Mathematics Institute of the University of Gottingen, this tile is intended for graduate students and recent PhD's. It introduces readers to modern techniques and conjectures at the interface of number theory and algebraic geometry.

This volume introduces some recent developments in Arithmetic Geometry over local fields. Its seven chapters are centered around two common themes: the study of Drinfeld modules and non-Archimedean analytic geometry. The notes grew out of lectures held during the research program "Arithmetic and geometry of local and global fields" which took place at the Vietnam Institute of Advanced Study in Mathematics (VIASM) from June to August 2018. The authors, leading experts in the field, have put great effort into making the text as self-contained as possible, introducing the basic tools of the subject. The numerous concrete examples and suggested research problems will enable graduate students and young researchers to quickly reach the frontiers of this fascinating branch of mathematics.

The book is devoted to the theory of algebraic geometric codes, a subject formed on the border of several domains of mathematics. On one side there are such classical areas as algebraic geometry and number theory; on the other, information transmission theory, combinatorics, finite geometries, dense packings, etc. The authors give a unique perspective on the subject. Whereas most books on coding theory build up coding theory from within, starting from elementary concepts and almost always finishing without reaching a certain depth, this book constantly looks for interpretations that connect coding theory to algebraic geometry and number theory. There are no prerequisites other than a standard algebra graduate course. The first two chapters of the book can serve as an introduction to coding theory and algebraic geometry respectively. Special attention is given to the geometry of curves over finite fields in the third chapter. Finally, in the last chapter the authors explain relations between all of these: the theory of algebraic geometric codes.

Field Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment starts with techniques from algebraic geometry, number theory, and profinite groups. Graduate students can effectively learn generalizations of finite field ideas. We use Haar measure on the absolute Galois group to replace counting arguments. New Chebotarev density variants interpret diophantine properties. Here we have the only complete treatment of Galois stratifications, used by Denef and Loeser, et al, to study Chow motives of Diophantine statements. Progress from the first edition starts by characterizing the finite-field like P(seudo)A(lgebraically)C(losed) fields. We once believed PAC fields were rare. Now we know they include valuable Galois extensions of the rationals that present its absolute Galois group through known groups. PAC fields have projective absolute Galois group. Those that are Hilbertian are characterized by this group being pro-free. These last decade results are tools for studying fields by their relation to those with projective absolute group. There are still mysterious problems to guide a new generation: Is the solvable closure of the rationals PAC; and do projective Hilbertian fields have pro-free absolute Galois group (includes Shafarevich's conjecture)?