In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane over the algebraic numbers. More precisely, let f be an endomorphism of the affine plan over the algebraic numbers. Let x be a point in the affine plan and C be a curve. If the intersection of C and the orbits of x is infinite, then C is periodic.

The Dynamical Mordell-Lang Conjecture is an analogue of the classical Mordell-Lang conjecture in the context of arithmetic dynamics. It predicts the behavior of the orbit of a point x under the action of an endomorphism f of a quasiprojective complex variety X. More precisely, it claims that for any point x in X and any subvariety V of X, the set of indices n such that the n-th iterate of x under f lies in V is a finite union of arithmetic progressions. In this book the authors present all known results about the Dynamical Mordell-Lang Conjecture, focusing mainly on a p-adic approach which provides a parametrization of the orbit of a point under an endomorphism of a variety.

"We prove a numerical form of a Jacquet-Langlands correspondence for torsion classes on arithmetic hyperbolic 3-manifolds." -- Prové de l'editor.

We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satsify a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category [O] of the orthosymplectic Lie superalgebras osp(2m + 1[vertical bar]2n). In particular, our approach provides a new formulation of the Kazhdan-Lusztig theory for Lie algebras of type B/C.

"This 69th volume of the Bourbaki Seminar contains the texts of the fifteen survey lectures done during the year 2016/2017. Topics addressed covered Langlands correspondence, NIP property in model theory, Navier-Stokes equation, algebraic and complex analytic geometry, algorithmic and geometric questions in knot theory, analytic number theory formal moduli problems, general relativity, sofic entropy, sphere packings, subriemannian geometry." -- Prové de l'editor.

The theory of elliptic curves is distinguished by its long history and by the diversity of the methods that have been used in its study. This book treats the arithmetic approach in its modern formulation, through the use of basic algebraic number theory and algebraic geometry. Following a brief discussion of the necessary algebro-geometric results, the book proceeds with an exposition of the geometry and the formal group of elliptic curves, elliptic curves over finite fields, the complex numbers, local fields, and global fields. Final chapters deal with integral and rational points, including Siegels theorem and explicit computations for the curve Y = X + DX, while three appendices conclude the whole: Elliptic Curves in Characteristics 2 and 3, Group Cohomology, and an overview of more advanced topics.

Toric varieties are algebraic varieties arising from elementary geometric and combinatorial objects such as convex polytopes in Euclidean space with vertices on lattice points. Since many algebraic geometry notions such as singularities, birational maps, cycles, homology, intersection theory, and Riemann-Roch translate into simple facts about polytopes, toric varieties provide a marvelous source of examples in algebraic geometry. In the other direction, general facts from algebraic geometry have implications for such polytopes, such as to the problem of the number of lattice points they contain. In spite of the fact that toric varieties are very special in the spectrum of all algebraic varieties, they provide a remarkably useful testing ground for general theories. The aim of this mini-course is to develop the foundations of the study of toric varieties, with examples, and describe some of these relations and applications. The text concludes with Stanley's theorem characterizing the numbers of simplicies in each dimension in a convex simplicial polytope. Although some general theorems are quoted without proof, the concrete interpretations via simplicial geometry should make the text accessible to beginners in algebraic geometry.