Browse

This book presents an important breakthrough in arithmetic geometry. In 2014, this book's author delivered a series of lectures at the University of California, Berkeley, on new ideas in the theory of p-adic geometry. Building on his discovery of perfectoid spaces, the author introduced the concept of “diamonds,” which are to perfectoid spaces what algebraic spaces are to schemes. The introduction of diamonds, along with the development of a mixed-characteristic shtuka, set the stage for a critical advance in the discipline. This book shows that the moduli space of mixed-characteristic shtukas is a diamond, raising the possibility of using the cohomology of such spaces to attack the Langlands conjectures for a reductive group over a p-adic field. The book follows the informal style of the original Berkeley lectures, with one chapter per lecture. It explores p-adic and perfectoid spaces before laying out the newer theory of shtukas and their moduli spaces. Points of contact with other threads of the subject, including p-divisible groups, p-adic Hodge theory, and Rapoport-Zink spaces, are thoroughly explained.

Actuator and sensor delays are among the most common dynamic phenomena in engineering practice, and when disregarded, they render controlled systems unstable. Over the past sixty years, predictor feedback has been a key tool for compensating such delays, but conventional predictor feedback algorithms assume that the delays and other parameters of a given system are known. When incorrect parameter values are used in the predictor, the resulting controller may be as destabilizing as without the delay compensation. This book develops adaptive predictor feedback algorithms equipped with online estimators of unknown delays and other parameters. Such estimators are designed as nonlinear differential equations, which dynamically adjust the parameters of the predictor. The design and analysis of the adaptive predictors involves a Lyapunov stability study of systems whose dimension is infinite, because of the delays, and nonlinear, because of the parameter estimators. This book solves adaptive delay compensation problems for systems with single and multiple inputs/outputs, unknown and distinct delays in different input channels, unknown delay kernels, unknown plant parameters, unmeasurable finite-dimensional plant states, and unmeasurable infinite-dimensional actuator states. Presenting breakthroughs in adaptive control and control of delay systems, the book offers powerful new tools for the control engineer and the mathematician.

2-Dimensional Categories provides an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories; pasting diagrams; lax functors; 2-/bilimits; the Duskin nerve; the 2-nerve; internal adjunctions; monads in bicategories; 2-monads; biequivalences; the Bicategorical Yoneda Lemma; and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double categories. Completely detailed proofs of several fundamental but hard-to-find results are presented for the first time. With exercises and plenty of motivation and explanation, this book is useful for both beginners and experts.

This monograph addresses the need to clarify basic mathematical concepts at the crossroad between gravitation and quantum physics. Selected mathematical and theoretical topics are exposed within a not-too-short, integrated approach that exploits standard and non-standard notions in natural geometric language. The role of structure groups can be regarded as secondary even in the treatment of the gauge fields themselves. Two-spinors yield a partly original ‘minimal geometric data’ approach to Einstein-Cartan-Maxwell-Dirac fields. The gravitational field is jointly represented by a spinor connection and by a soldering form (a ‘tetrad’) valued in a vector bundle naturally constructed from the assumed 2-spinor bundle. We give a presentation of electroweak theory that dispenses with group-related notions, and we introduce a non-standard, natural extension of it. Also within the 2-spinor approach we present: a non-standard view of gauge freedom; a first-order Lagrangian theory of fields with arbitrary spin; an original treatment of Lie derivatives of spinors and spinor connections. Furthermore we introduce an original formulation of Lagrangian field theories based on covariant differentials, which works in the classical and quantum field theories alike and simplifies calculations. We offer a precise mathematical approach to quantum bundles and quantum fields, including ghosts, BRST symmetry and anti-fields, treating the geometry of quantum bundles and their jet prolongations in terms Frölicher's notion of smoothness. We propose an approach to quantum particle physics based on the notion of detector, and illustrate the basic scattering computations in that context.

Computability theory is a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field has developed growing connections in diverse areas of mathematics, with applications in topology, group theory, and other subfields. This book introduces a new hierarchy that allows them to classify the combinatorics of constructions from many areas of computability theory, including algorithmic randomness, Turing degrees, effectively closed sets, and effective structure theory. This unifying hierarchy gives rise to new natural definability results for Turing degree classes, demonstrating how dynamic constructions become reflected in definability. The book presents numerous construction techniques involving high-level nonuniform arguments, and their self-contained work is appropriate for graduate students and researchers. Blending traditional and modern research results in computability theory, the book establishes novel directions in the field.

Equivariant cohomology is concerned with the algebraic topology of spaces with a group action, or in other words, with symmetries of spaces. First defined in the 1950s, it has been introduced into K-theory and algebraic geometry, but it is in algebraic topology that the concepts are the most transparent and the proofs are the simplest. One of the most useful applications of equivariant cohomology is the equivariant localization theorem of Atiyah–Bott and Berline–Vergne, which converts the integral of an equivariant differential form into a finite sum over the fixed point set of the group action, providing a powerful tool for computing integrals over a manifold. Because integrals and symmetries are ubiquitous, equivariant cohomology has found applications in diverse areas of mathematics and physics. Assuming readers have taken one semester of manifold theory and a year of algebraic topology, the book begins with the topological construction of equivariant cohomology, then develops the theory for smooth manifolds with the aid of differential forms. To keep the exposition simple, the equivariant localization theorem is proven only for a circle action. An appendix gives a proof of the equivariant de Rham theorem, demonstrating that equivariant cohomology can be computed using equivariant differential forms. Examples and calculations illustrate new concepts. Exercises include hints or solutions, making this book suitable for self-study.

Most of our everyday life experiences are multisensory in nature, i.e. they consist of what we see, hear, feel, taste, smell, and much more. Almost any experience, such as eating a meal or going to the cinema, involves a magnificent sensory world. In recent years, many of these experiences have been increasingly transformed through technological advancements such as multisensory devices and intelligent systems. This book takes the reader on a journey that begins with the fundamentals of multisensory experiences, moves through the relationship between the senses and technology, and finishes by considering what the future of those experiences may look like, and our responsibility in it. The book seeks to empower the reader to shape his or her own and other people’s experiences by considering the multisensory worlds in which we live. This book is a powerful and personal story about the authors’ passion for, and viewpoint on, multisensory experiences.