Rational Homotopy Theory (Draft, Version 96.2)
Author: Steve Halperin
Publisher:
Published: 1996
Total Pages: 199
ISBN-13:
DOWNLOAD EBOOKPosts
Algebraic Homotopy
Author: Hans J. Baues
Publisher: Cambridge University Press
Published: 1989-02-16
Total Pages: 490
ISBN-13: 0521333768
DOWNLOAD EBOOKThis book gives a general outlook on homotopy theory; fundamental concepts, such as homotopy groups and spectral sequences, are developed from a few axioms and are thus available in a broad variety of contexts. Many examples and applications in topology and algebra are discussed, including an introduction to rational homotopy theory in terms of both differential Lie algebras and De Rham algebras. The author describes powerful tools for homotopy classification problems, particularly for the classification of homotopy types and for the computation of the group homotopy equivalences. Applications and examples of such computations are given, including when the fundamental group is non-trivial. Moreover, the deep connection between the homotopy classification problems and the cohomology theory of small categories is demonstrated. The prerequisites of the book are few: elementary topology and algebra. Consequently, this account will be valuable for non-specialists and experts alike. It is an important supplement to the standard presentations of algebraic topology, homotopy theory, category theory and homological algebra.
Temporal Type Theory
Author: Patrick Schultz
Publisher: Springer
Published: 2019-01-29
Total Pages: 237
ISBN-13: 3030007049
DOWNLOAD EBOOKThis innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models. The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action. Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course.
Recurrence Sequences
Author: Graham Everest
Publisher: American Mathematical Soc.
Published: 2015-09-03
Total Pages: 338
ISBN-13: 1470423154
DOWNLOAD EBOOKRecurrence sequences are of great intrinsic interest and have been a central part of number theory for many years. Moreover, these sequences appear almost everywhere in mathematics and computer science. This book surveys the modern theory of linear recurrence sequences and their generalizations. Particular emphasis is placed on the dramatic impact that sophisticated methods from Diophantine analysis and transcendence theory have had on the subject. Related work on bilinear recurrences and an emerging connection between recurrences and graph theory are covered. Applications and links to other areas of mathematics are described, including combinatorics, dynamical systems and cryptography, and computer science. The book is suitable for researchers interested in number theory, combinatorics, and graph theory.
Lie Groups and Algebraic Groups
Author: Arkadij L. Onishchik
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 347
ISBN-13: 364274334X
DOWNLOAD EBOOKThis book is based on the notes of the authors' seminar on algebraic and Lie groups held at the Department of Mechanics and Mathematics of Moscow University in 1967/68. Our guiding idea was to present in the most economic way the theory of semisimple Lie groups on the basis of the theory of algebraic groups. Our main sources were A. Borel's paper [34], C. ChevalIey's seminar [14], seminar "Sophus Lie" [15] and monographs by C. Chevalley [4], N. Jacobson [9] and J-P. Serre [16, 17]. In preparing this book we have completely rearranged these notes and added two new chapters: "Lie groups" and "Real semisimple Lie groups". Several traditional topics of Lie algebra theory, however, are left entirely disregarded, e.g. universal enveloping algebras, characters of linear representations and (co)homology of Lie algebras. A distinctive feature of this book is that almost all the material is presented as a sequence of problems, as it had been in the first draft of the seminar's notes. We believe that solving these problems may help the reader to feel the seminar's atmosphere and master the theory. Nevertheless, all the non-trivial ideas, and sometimes solutions, are contained in hints given at the end of each section. The proofs of certain theorems, which we consider more difficult, are given directly in the main text. The book also contains exercises, the majority of which are an essential complement to the main contents.
Lie Groups and Geometric Aspects of Isometric Actions
Author: Marcos M. Alexandrino
Publisher: Springer
Published: 2015-05-22
Total Pages: 215
ISBN-13: 3319166131
DOWNLOAD EBOOKThis book provides quick access to the theory of Lie groups and isometric actions on smooth manifolds, using a concise geometric approach. After a gentle introduction to the subject, some of its recent applications to active research areas are explored, keeping a constant connection with the basic material. The topics discussed include polar actions, singular Riemannian foliations, cohomogeneity one actions, and positively curved manifolds with many symmetries. This book stems from the experience gathered by the authors in several lectures along the years and was designed to be as self-contained as possible. It is intended for advanced undergraduates, graduate students and young researchers in geometry and can be used for a one-semester course or independent study.
Cohomological and Geometric Approaches to Rationality Problems
Author: Fedor Bogomolov
Publisher: Springer Science & Business Media
Published: 2009-11-03
Total Pages: 316
ISBN-13: 0817649344
DOWNLOAD EBOOKRationality problems link algebra to geometry, and the difficulties involved depend on the transcendence degree of $K$ over $k$, or geometrically, on the dimension of the variety. A major success in 19th century algebraic geometry was a complete solution of the rationality problem in dimensions one and two over algebraically closed ground fields of characteristic zero. Such advances has led to many interdisciplinary applications to algebraic geometry. This comprehensive book consists of surveys of research papers by leading specialists in the field and gives indications for future research in rationality problems. Topics discussed include the rationality of quotient spaces, cohomological invariants of quasi-simple Lie type groups, rationality of the moduli space of curves, and rational points on algebraic varieties. This volume is intended for researchers, mathematicians, and graduate students interested in algebraic geometry, and specifically in rationality problems. Contributors: F. Bogomolov; T. Petrov; Y. Tschinkel; Ch. Böhning; G. Catanese; I. Cheltsov; J. Park; N. Hoffmann; S. J. Hu; M. C. Kang; L. Katzarkov; Y. Prokhorov; A. Pukhlikov
Advances in Elliptic Curve Cryptography
Author: Ian F. Blake
Publisher: Cambridge University Press
Published: 2005-04-25
Total Pages: 308
ISBN-13: 9781139441223
DOWNLOAD EBOOKSince the appearance of the authors' first volume on elliptic curve cryptography in 1999 there has been tremendous progress in the field. In some topics, particularly point counting, the progress has been spectacular. Other topics such as the Weil and Tate pairings have been applied in new and important ways to cryptographic protocols that hold great promise. Notions such as provable security, side channel analysis and the Weil descent technique have also grown in importance. This second volume addresses these advances and brings the reader up to date. Prominent contributors to the research literature in these areas have provided articles that reflect the current state of these important topics. They are divided into the areas of protocols, implementation techniques, mathematical foundations and pairing based cryptography. Each of the topics is presented in an accessible, coherent and consistent manner for a wide audience that will include mathematicians, computer scientists and engineers.
Large Deviations
Author: Jean-Dominique Deuschel
Publisher: American Mathematical Soc.
Published: 2001
Total Pages: 298
ISBN-13: 082182757X
DOWNLOAD EBOOKThis is the second printing of the book first published in 1988. The first four chapters of the volume are based on lectures given by Stroock at MIT in 1987. They form an introduction to the basic ideas of the theory of large deviations and make a suitable package on which to base a semester-length course for advanced graduate students with a strong background in analysis and some probability theory. A large selection of exercises presents important material and many applications. The last two chapters present various non-uniform results (Chapter 5) and outline the analytic approach that allows one to test and compare techniques used in previous chapters (Chapter 6).
Probabilistic Machine Learning
Author: Kevin P. Murphy
Publisher: MIT Press
Published: 2022-03-01
Total Pages: 858
ISBN-13: 0262369303
DOWNLOAD EBOOKA detailed and up-to-date introduction to machine learning, presented through the unifying lens of probabilistic modeling and Bayesian decision theory. This book offers a detailed and up-to-date introduction to machine learning (including deep learning) through the unifying lens of probabilistic modeling and Bayesian decision theory. The book covers mathematical background (including linear algebra and optimization), basic supervised learning (including linear and logistic regression and deep neural networks), as well as more advanced topics (including transfer learning and unsupervised learning). End-of-chapter exercises allow students to apply what they have learned, and an appendix covers notation. Probabilistic Machine Learning grew out of the author’s 2012 book, Machine Learning: A Probabilistic Perspective. More than just a simple update, this is a completely new book that reflects the dramatic developments in the field since 2012, most notably deep learning. In addition, the new book is accompanied by online Python code, using libraries such as scikit-learn, JAX, PyTorch, and Tensorflow, which can be used to reproduce nearly all the figures; this code can be run inside a web browser using cloud-based notebooks, and provides a practical complement to the theoretical topics discussed in the book. This introductory text will be followed by a sequel that covers more advanced topics, taking the same probabilistic approach.
