Iwasawa theory began in the late 1950s with a series of papers by Kenkichi Iwasawa on ideal class groups in the cyclotomic tower of number fields and their relation to $p$-adic $L$-functions. The theory was later generalized by putting it in the context of elliptic curves and modular forms. The main motivation for writing this book was the need for a total perspective of Iwasawa theory that includes the new trends of generalized Iwasawa theory. Another motivation is to update the classical theory for class groups, taking into account the changed point of view on Iwasawa theory. The goal of this second part of the three-part publication is to explain various aspects of the cyclotomic Iwasawa theory of $p$-adic Galois representations.

Iwasawa theory began in the late 1950s with a series of papers by Kenkichi Iwasawa on ideal class groups in the cyclotomic tower of number fields and their relation to $p$-adic $L$-functions. The theory was later generalized by putting it in the context of elliptic curves and modular forms. The main motivation for writing this book was the need for a total perspective of Iwasawa theory that includes the new trends of generalized Iwasawa theory. Another motivation of this book is an update of the classical theory for class groups taking into account the changed point of view on Iwasawa theory. The goal of this first part of the two-part publication is to explain the theory of ideal class groups, including its algebraic aspect (the Iwasawa class number formula), its analytic aspect (Leopoldt–Kubota $L$-functions), and the Iwasawa main conjecture, which is a bridge between the algebraic and the analytic aspects. The second part of the book will be published as a separate volume in the same series, Mathematical Surveys and Monographs of the American Mathematical Society.

Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. The three books published by the AMS in the Mathematical Surveys and Monographs series under the general title Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory (Volume I: Symmetric Bimonoidal Categories and Monoidal Bicategories?this book, Volume II: Braided Bimonoidal Categories with Applications, and Volume III: From Categories to Structured Ring Spectra) provide a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user-friendly resource for beginners and experts alike. Part 1 of this book proves in detail Laplaza's two coherence theorems and May's strictification theorem of symmetric bimonoidal categories, as well as their bimonoidal analogues. This part includes detailed corrections to several inaccurate statements and proofs found in the literature. Part 2 proves Baez's Conjecture on the existence of a bi-initial object in a 2-category of symmetric bimonoidal categories. The next main theorem states that a matrix construction, involving the matrix product and the matrix tensor product, sends a symmetric bimonoidal category with invertible distributivity morphisms to a symmetric monoidal bicategory, with no strict structure morphisms in general.

This book offers an alternative proof of the Bestvina?Feighn combination theorem for trees of hyperbolic spaces and describes uniform quasigeodesics in such spaces. As one of the applications of their description of uniform quasigeodesics, the authors prove the existence of Cannon?Thurston maps for inclusion maps of total spaces of subtrees of hyperbolic spaces and of relatively hyperbolic spaces. They also analyze the structure of Cannon?Thurston laminations in this setting. Furthermore, some group-theoretic applications of these results are discussed. This book also contains background material on coarse geometry and geometric group theory.

The Langlands program has been a very active and central field in mathematics ever since its conception over 50 years ago. It connects number theory, representation theory and arithmetic geometry, and other fields in a profound way. There are nevertheless very few expository accounts beyond the GL(2) case. This book features expository accounts of several topics on automorphic forms on higher rank groups, including rationality questions on unitary group, theta lifts and their applications to Arthur's conjectures, quaternionic modular forms, and automorphic forms over functions fields and their applications to inverse Galois problems. It is based on the lecture notes prepared for the twenty-fifth Arizona Winter School on “Automorphic Forms beyond GL(2)”, held March 5–9, 2022, at the University of Arizona in Tucson. The speakers were Ellen Eischen, Wee Teck Gan, Aaron Pollack, and Zhiwei Yun. The exposition of the book is in a style accessible to students entering the field. Advanced graduate students as well as researchers will find this a valuable introduction to various important and very active research areas.

This book is the first to provide a comprehensive and elementary account of the new Iwasawa theory innovated via the deformation theory of modular forms and Galois representations. The deformation theory of modular forms is developed by generalizing the cohomological approach discovered in the author's 2019 AMS Leroy P Steele Prize-winning article without using much algebraic geometry.Starting with a description of Iwasawa's classical results on his proof of the main conjecture under the Kummer-Vandiver conjecture (which proves cyclicity of his Iwasawa module more than just proving his main conjecture), we describe a generalization of the method proving cyclicity to the adjoint Selmer group of every ordinary deformation of a two-dimensional Artin Galois representation.The fundamentals in the first five chapters are as follows:Many open problems are presented to stimulate young researchers pursuing their field of study.