We define a covering of a profinite graph to be a projective limit of a system of covering maps of finite graphs. With this notion of covering, we develop a covering theory for profinite graphs which is in many ways analogous to the classical theory of coverings of abstract graphs. For example, it makes sense to talk about the universal cover of a profinite graph and we show that it always exists and is unique. We define the profinite fundamental group of a profinite graph and show that a connected cover of a connected profinite graph is the universal cover if and only if its profinite fundamental group is trivial.

This book offers a detailed introduction to graph theoretic methods in profinite groups and applications to abstract groups. It is the first to provide a comprehensive treatment of the subject. The author begins by carefully developing relevant notions in topology, profinite groups and homology, including free products of profinite groups, cohomological methods in profinite groups, and fixed points of automorphisms of free pro-p groups. The final part of the book is dedicated to applications of the profinite theory to abstract groups, with sections on finitely generated subgroups of free groups, separability conditions in free and amalgamated products, and algorithms in free groups and finite monoids. Profinite Graphs and Groups will appeal to students and researchers interested in profinite groups, geometric group theory, graphs and connections with the theory of formal languages. A complete reference on the subject, the book includes historical and bibliographical notes as well as a discussion of open questions and suggestions for further reading.

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)?

William Thurston (1946-2012) was one of the great mathematicians of the twentieth century. He was a visionary whose extraordinary ideas revolutionized a broad range of mathematical fields, from foliations, contact structures, and Teichm ller theory to automorphisms of surfaces, hyperbolic geometry, geometrization of 3-manifolds, geometric group theory, and rational maps. In addition, he discovered connections between disciplines that led to astonishing breakthroughs in mathematical understanding as well as the creation of entirely new fields. His far-reaching questions and conjectures led to enormous progress by other researchers. What's Next? brings together many of today's leading mathematicians to describe recent advances and future directions inspired by Thurston's transformative ideas. Including valuable insights from his colleagues and former students, What's Next? discusses Thurston's fundamental contributions to topology, geometry, and dynamical systems and includes many deep and original contributions to the field. This incisive and wide-ranging book also explores how he introduced new ways of thinking about and doing mathematics, innovations that have had a profound and lasting impact on the mathematical community as a whole.