Mathematics

This book provides an up-to-date account of the literature on the subject of determining the structure of rings over which cyclic modules or proper cyclic modules have a finiteness condition or a homological property. The finiteness conditions and homological properties are closely interrelated in the sense that either hypothesis induces the other in some form. The main objective behind writing this volume is the absence of a book that contains most of the relevant material on the subject. Since before the last half century, numerous authors including Armendariz, Beidar, Camillo, Chatters, Clark, Cohen, Cozzens, Faith, Farkas, Fisher, Goodearl, Gómez Pardo, Guil Asensio, Hajarnavis, Huynh, Jain, Kohler, Levy, López-Permouth, Mohamed, Ornstein, Osofsky, Singh, Skornyakov, Smith, Tuganbaev, and Wisbauer have investigated rings whose factor rings or factor modules have a finiteness condition or a homological property. They made important contributions leading to new directions and questions that have been listed at the end of each chapter for the benefit of future researchers. The bibliography has more than 200 references and is not claimed to be exhaustive.

During the early part of the last century, F. G. Frobenius raised, in his lectures, the following problem (called the Diophantine Frobenius Problem FP): given relatively prime positive integers a1, . . . , an, find the largest natural number (called the Frobenius number and denoted by g(a1, . . . , an)) that is not representable as a nonnegative integer combination of a1, . . . , an. It turned out that the knowledge of g(a1, . . . , an) has been extremely useful to investigate many different problems. A number of methods, from several areas of mathematics, have been used in the hope of finding a formula giving the Frobenius number and algorithms to calculate it. The main intention of this book is to highlight such ‘methods, ideas, viewpoints, and applications’ for as wide an audience as possible. This book aims to provide a comprehensive exposition of what is known today on FP.

This book provides an accessible account of the rise of algebra in England from the medieval period to the later years of the 17th century. The book includes new research and is the most detailed study to date of early modern English algebra. In its structure and content this book builds on a much earlier history of algebra, A treatise of algebra, published in 1685 by John Wallis (Savilian Professor of Geometry at Oxford). This book both analyses Wallis' text and moves beyond it. Thus, it explores the reception and dissemination of important ideas from continental Europe up to the end of the 16th century, and the subsequent revolution in English mathematics in the 17th century. In particular, the book includes chapters on the work of Thomas Harriot, William Oughtred, John Pell, and William Brouncker, as well as of Wallis himself.

The book presents and develops the most recent ideas and concepts of the mathematical theory of viscous, compressible, and heat conducting fluids. Two main objectives are pursued: (i) global existence theory within the framework of variational solutions for the full Navier-Stokes-Fourier system supplemented with large data, and (ii) optimal existence results for barotropic flows with respect to the available a priori estimates.

This book is devoted to the mathematical modelling of electromagnetic materials. Electromagnetism in matter is developed with particular emphasis on material effects, which are ascribed to memory in time and nonlocality. Within the mathematical modelling, thermodynamics of continuous media plays a central role in that it places significant restrictions on the constitutive equations. Further, as shown in connection with uniqueness, existence and stability, variational settings, and wave propagation, a correct formulation of the pertinent problems is based on the knowledge of the thermodynamic restrictions for the material. The book is divided into four parts. Part I (chapters 1 to 4) reviews the basic concepts of electromagnetism, starting from the integral form of Maxwell’s equations and then addressing attention to the physical motivation for materials with memory. Part II (chapers 5 to 9) deals with thermodynamics of systems with memory and applications to evolution and initial/boundary-value problems. It contains developments and results which are unusual in textbooks on electromagnetism and arise from the research literature, mainly post-1960s. Part III (chapters 10 to 12) outlines some topics of materials modelling — nonlinearity, nonlocality, superconductivity, and magnetic hysteresis — which are of great interest both in mathematics and in applications.

This book explores how the mathematics the Jesuits brought to China was reconstructed as a branch of imperial learning so that the emperor Kangxi (r. 1662–1722) could consolidate his power over the most populous empire in the world. Kangxi forced a return to the use of what became known as ‘Western’ methods in official astronomy. In his middle life he studied astronomy, musical theory, and mathematics in person, with Jesuits as his teachers. In his last years he sponsored a book that was intended to compile these three disciplines, and he set several of his sons to work on this project. All this activity formed a vital part of his plan for establishing Manchu authority over the Chinese. This book sets out to explain how and why Kangxi made the sciences a tool for laying the foundations of empire, and to show how, as part of this process, mathematics was reconstructed as a branch of imperial learning.

This book is devoted to problems of shape identification in the context of (inverse) scattering problems and problems of impedance tomography. In contrast to traditional methods which are based on iterative schemes of solving sequences of corresponding direct problems, this book presents a completely different method. The Factorization Method avoids the need to solve the (time consuming) direct problems. Furthermore, no a-priori information about the type of scatterer (penetrable or impenetrable), type of boundary condition, or number of components is needed. The Factorization Method can be considered as an example of a Sampling Method. The book aims to construct a binary criterium on the known data to decide whether or not a given point z is inside or outside the unknown domain D. By choosing a grid of sampling points z in a region known to contain D, the characteristic function of D can be computed (in the case of finite data only approximately). The book also introduces some alternative Sampling Methods.

Since the middle of the last century, computing power has increased sufficiently that the direct numerical approximation of Maxwell’s equations is now an increasingly important tool in science and engineering. Parallel to the increasing use of numerical methods in computational electromagnetism, there has also been considerable progress in the mathematical understanding of the properties of Maxwell’s equations relevant to numerical analysis. The aim of this book is to provide an up-to-date and sound theoretical foundation for finite element methods in computational electromagnetism. The emphasis is on finite element methods for scattering problems that involve the solution of Maxwell’s equations on infinite domains. Suitable variational formulations are developed and justified mathematically. An error analysis of edge finite element methods that are particularly well suited to Maxwell’s equations is the main focus of the book. The analysis involves a complete justification of the discrete de Rham diagram and discrete compactness of edge elements. The numerical methods are justified for Lipschitz polyhedral domains that can cause strong singularities in the solution. The book ends with a short introduction to inverse problems in electromagnetism.

The minimal model program in algebraic geometry is a conjectural sequence of algebraic surgery operations that simplifies any algebraic variety to a point where it can be decomposed into pieces with negative, zero, and positive curvature, in a similar vein as the geometrization program in topology decomposes a three-manifold into pieces with a standard geometry. The last few years have seen dramatic advances in the minimal model program for higher dimensional algebraic varieties, with the proof of the existence of minimal models under appropriate conditions, and the prospect within a few years of having a complete generalization of the minimal model program and the classification of varieties in all dimensions, comparable to the known results for surfaces and 3-folds. This edited collection of chapters, authored by leading experts, provides a complete and self-contained construction of 3-fold and 4-fold flips, and n-dimensional flips assuming minimal models in dimension n-1. A large part of the text is an elaboration of the work of Shokurov, and a complete and pedagogical proof of the existence of 3-fold flips is presented. The book contains a self-contained treatment of many topics that could only be found, with difficulty, in the specialized literature. The text includes a ten-page glossary.

This book provides a systematic exposition of the theory of Fourier-Mukai transforms from an algebro-geometric point of view. Assuming a basic knowledge of algebraic geometry, the key aspect of this book is the derived category of coherent sheaves on a smooth projective variety. The derived category is a subtle invariant of the isomorphism type of a variety, and its group of autoequivalences often shows a rich structure. As it turns out — and this feature is pursued throughout the book — the behaviour of the derived category is determined by the geometric properties of the canonical bundle of the variety. Including notions from other areas, e.g., singular cohomology, Hodge theory, abelian varieties, K3 surfaces; full proofs and exercises are provided. The final chapter summarizes recent research directions, such as connections to orbifolds and the representation theory of finite groups via the McKay correspondence, stability conditions on triangulated categories, and the notion of the derived category of sheaves twisted by a gerbe.