This volume examines mathematics as a product of the human mind and analyzes the language of "pure mathematics" from various advanced-level sources. Through analysis of the foundational texts of mathematics, it is demonstrated that math is a complex literary creation, containing objects, actors, actions, projection, prediction, planning, explanation, evaluation, roles, image schemas, metonymy, conceptual blending, and, of course, (natural) language. The book follows the narrative of mathematics in a typical order of presentation for a standard university-level algebra course, beginning with analysis of set theory and mappings and continuing along a path of increasing complexity. At each stage, primary concepts, axioms, definitions, and proofs will be examined in an effort to unfold the tell-tale traces of the basic human cognitive patterns of story and conceptual blending. This book will be of interest to mathematicians, teachers of mathematics, cognitive scientists, cognitive linguists, and anyone interested in the engaging question of how mathematics works and why it works so well.

Assuming only basic algebra and Galois theory, the book develops the method of "algebraic patching" to realize finite groups and, more generally, to solve finite split embedding problems over fields. The method succeeds over rational function fields of one variable over "ample fields". Among others, it leads to the solution of two central results in "Field Arithmetic": (a) The absolute Galois group of a countable Hilbertian pac field is free on countably many generators; (b) The absolute Galois group of a function field of one variable over an algebraically closed field $C$ is free of rank equal to the cardinality of $C$.

This monograph provides an accessible and comprehensive introduction to James Arthur's invariant trace formula, a crucial tool in the theory of automorphic representations. It synthesizes two decades of Arthur's research and writing into one volume, treating a highly detailed and often difficult subject in a clearer and more uniform manner without sacrificing any technical details. The book begins with a brief overview of Arthur's work and a proof of the correspondence between GL(n) and its inner forms in general. Subsequent chapters develop the invariant trace formula in a form fit for applications, starting with Arthur's proof of the basic, non-invariant trace formula, followed by a study of the non-invariance of the terms in the basic trace formula, and, finally, an in-depth look at the development of the invariant formula. The final chapter illustrates the use of the formula by comparing it for G' = GL(n) and its inner form G< and for functions with matching orbital integrals. Arthur's Invariant Trace Formula and Comparison of Inner Forms will appeal to advanced graduate students, researchers, and others interested in automorphic forms and trace formulae. Additionally, it can be used as a supplemental text in graduate courses on representation theory.

This book presents the proceedings of the international conference Analytic Aspects in Convexity, which was held in Rome in October 2016. It offers a collection of selected articles, written by some of the world's leading experts in the field of Convex Geometry, on recent developments in this area: theory of valuations; geometric inequalities; affine geometry; and curvature measures. The book will be of interest to a broad readership, from those involved in Convex Geometry, to those focusing on Functional Analysis, Harmonic Analysis, Differential Geometry, or PDEs. The book is a addressed to PhD students and researchers, interested in Convex Geometry and its links to analysis.

This monograph presents a unified exposition of latin squares and mutually orthogonal sets of latin squares based on groups. Its focus is on orthomorphisms and complete mappings of finite groups, while also offering a complete proof of the Hall-Paige conjecture. The use of latin squares in constructions of nets, affine planes, projective planes, and transversal designs also motivates this inquiry. The text begins by introducing fundamental concepts, like the tests for determining whether a latin square is based on a group, as well as orthomorphisms and complete mappings. From there, it describes the existence problem for complete mappings of groups, building up to the proof of the Hall-Paige conjecture. The third part presents a comprehensive study of orthomorphism graphs of groups, while the last part provides a discussion of Cartesian projective planes, related combinatorial structures, and a list of open problems. Expanding the author's 1992 monograph, Orthomorphism Graphs of Groups, this book is an essential reference tool for mathematics researchers or graduate students tackling latin square problems in combinatorics. Its presentation draws on a basic understanding of finite group theory, finite field theory, linear algebra, and elementary number theory-more advanced theories are introduced in the text as needed.

This book, intended for postgraduate students and researchers, presents many results of historical importance on pseudocompact spaces. In 1948, E. Hewitt introduced the concept of pseudocompactness which generalizes a property of compact subsets of the real line. A topological space is pseudocompact if the range of any real-valued, continuous function defined on the space is a bounded subset of the real line. Pseudocompact spaces constitute a natural and fundamental class of objects in General Topology and research into their properties has important repercussions in diverse branches of Mathematics, such as Functional Analysis, Dynamical Systems, Set Theory and Topological-Algebraic structures. The collection of authors of this volume include pioneers in their fields who have written a comprehensive explanation on this subject. In addition, the text examines new lines of research that have been at the forefront of mathematics. There is, as yet, no text that systematically compiles and develops the extensive theory of pseudocompact spaces, making this book an essential asset for anyone in the field of topology.

This book is about the interplay of computational commutative algebra and the theory of convex polytopes. It centers around a special class of ideals in a polynomial ring: the class of toric ideals. They are characterized as those prime ideals that are generated by monomial differences or as the defining ideals of toric varieties (not necessarily normal). The interdisciplinary nature of the study of Grobner bases is reflected by the specific applications appearing in this book. These applications lie in the domains of integer programming and computational statistics. The mathematical tools presented in the volume are drawn from commutative algebra, combinatorics, and polyhedral geometry.

This book is about the computational aspects of invariant theory. Of central interest is the question how the invariant ring of a given group action can be calculated. Algorithms for this purpose form the main pillars around which the book is built. There are two introductory chapters, one on Groebner basis methods and one on the basic concepts of invariant theory, which prepare the ground for the algorithms. Then algorithms for computing invariants of finite and reductive groups are discussed. Particular emphasis lies on interrelations between structural properties of invariant rings and computational methods. Finally, the book contains a chapter on applications of invariant theory, covering fields as disparate as graph theory, coding theory, dynamical systems, and computer vision. The book is intended for postgraduate students as well as researchers in geometry, computer algebra, and, of course, invariant theory. The text is enriched with numerous explicit examples which illustrate the theory and should be of more than passing interest. More than ten years after the first publication of the book, the second edition now provides a major update and covers many recent developments in the field. Among the roughly 100 added pages there are two appendices, authored by Vladimi r Popov, and an addendum by Norbert A'Campo and Vladimir Popov.

This book explores the theory and application of locally nilpotent derivations, a subject motivated by questions in affine algebraic geometry and having fundamental connections to areas such as commutative algebra, representation theory, Lie algebras and differential equations. The author provides a unified treatment of the subject, beginning with 16 First Principles on which the theory is based. These are used to establish classical results, such as Rentschler's Theorem for the plane and the Cancellation Theorem for Curves. More recent results, such as Makar-Limanov's theorem for locally nilpotent derivations of polynomial rings, are also discussed. Topics of special interest include progress in classifying additive actions on three-dimensional affine space, finiteness questions (Hilbert's 14th Problem), algorithms, the Makar-Limanov invariant, and connections to the Cancellation Problem and the Embedding Problem. A lot of new material is included in this expanded second edition, such as canonical factorization of quotient morphisms, and a more extended treatment of linear actions. The reader will also find a wealth of examples and open problems and an updated resource for future investigations.

This volume presents a panorama of the diverse activities organized by V. Heiermann and D. Prasad in Marseille at the CIRM for the Chaire Morlet event during the first semester of 2016. It assembles together expository articles on topics which previously could only be found in research papers. Starting with a very detailed article by P. Baumann and S. Riche on the geometric Satake correspondence, the book continues with three introductory articles on distinguished representations due to P. Broussous, F. Murnaghan, and O. Offen; an expository article of I. Badulescu on the Jacquet-Langlands correspondence; a paper of J. Arthur on functoriality and the trace formula in the context of "Beyond Endoscopy", taken from the Simons Proceedings; an article of W-W. Li attempting to generalize Godement-Jacquet theory; and a research paper of C. Moeglin and D. Renard, applying the trace formula to the local Langlands classification for classical groups. The book should be of interest to students as well as professional researchers working in the broad area of number theory and representation theory.

This book focuses on a conjectural class of zeta integrals which arose from a program born in the work of Braverman and Kazhdan around the year 2000, the eventual goal being to prove the analytic continuation and functional equation of automorphic L-functions. Developing a general framework that could accommodate Schwartz spaces and the corresponding zeta integrals, the author establishes a formalism, states desiderata and conjectures, draws implications from these assumptions, and shows how known examples fit into this framework, supporting Sakellaridis' vision of the subject. The collected results, both old and new, and the included extensive bibliography, will be valuable to anyone who wishes to understand this program, and to those who are already working on it and want to overcome certain frequently occurring technical difficulties.

This book provides an introduction to the ergodic theory and topological dynamics of actions of countable groups. It is organized around the theme of probabilistic and combinatorial independence, and highlights the complementary roles of the asymptotic and the perturbative in its comprehensive treatment of the core concepts of weak mixing, compactness, entropy, and amenability. The more advanced material includes Popa's cocycle superrigidity, the Furstenberg-Zimmer structure theorem, and sofic entropy. The structure of the book is designed to be flexible enough to serve a variety of readers. The discussion of dynamics is developed from scratch assuming some rudimentary functional analysis, measure theory, and topology, and parts of the text can be used as an introductory course. Researchers in ergodic theory and related areas will also find the book valuable as a reference.

This volume presents the lecture notes from the authors' three summer courses offered during the program "Automorphisms of Free Groups: Geometry, Topology, and Dynamics," held at the Centre de Recerca Matematica (CRM) in Bellaterra, Spain. The first two chapters present the basic tools needed, from formal language theory (regular and context-free languages, automata, rewriting systems, transducers, etc) and emphasize their connections to group theory, mostly relating to free and virtually-free groups. The material covered is sufficient to present full proofs of many of the existing interesting characterizations of virtually-free groups. In turn, the last chapter comprehensively describes Bonahon's construction of Thurston's compactification of Teichmuller space in terms of geodesic currents on surfaces. It also includes several intriguing extensions of the notion of geodesic current to various other, more general settings.

This book consists of both expository and research articles solicited from speakers at the conference entitled "Arithmetic and Ideal Theory of Rings and Semigroups," held September 22-26, 2014 at the University of Graz, Graz, Austria. It reflects recent trends in multiplicative ideal theory and factorization theory, and brings together for the first time in one volume both commutative and non-commutative perspectives on these areas, which have their roots in number theory, commutative algebra, and algebraic geometry. Topics discussed include topological aspects in ring theory, Prufer domains of integer-valued polynomials and their monadic submonoids, and semigroup algebras. It will be of interest to practitioners of mathematics and computer science, and researchers in multiplicative ideal theory, factorization theory, number theory, and algebraic geometry.

The aim of this book is to present an introduction to the theory of transformation groups which will be suitable for all those coming to the subject for the first time. The emphasis is on the study of topological groups and, in particular, the study of compact Lie groups acting on manifolds. Throughout, much care is taken to illustrate concepts and results with examples and applications. Numerous exercises are also included to further extend a reader's understanding and knowledge. Prerequisites are a familiarity with algebra and topology as might have been acquired from an undergraduate degree in Mathematics. The author begins by introducing the basic concepts of the subject such as fixed point sets, orbits, and induced transformation groups. Attention then turns to the study of differentiable manifolds and Lie groups with particular emphasis on fibre bundles and characteristic classes. The latter half of the book is devoted to surveying the main themes of the subject: structure and decomposition theorems, the existence and uniqueness theorems of principal orbits, transfer theorems, and the Lefschetz fixed point theorem.

Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin's work on monoid-valued measures on Boolean algebras) and the nonstable K-theory of rings. This is done via the study of a monoid invariant, defined on Boolean inverse semigroups, called the type monoid. The new techniques contrast with the currently available topological approaches. Many positive results, but also many counterexamples, are provided.

This book provides an accessible introduction to algebraic topology, a field at the intersection of topology, geometry and algebra, together with its applications. Moreover, it covers several related topics that are in fact important in the overall scheme of algebraic topology. Comprising eighteen chapters and two appendices, the book integrates various concepts of algebraic topology, supported by examples, exercises, applications and historical notes. Primarily intended as a textbook, the book offers a valuable resource for undergraduate, postgraduate and advanced mathematics students alike. Focusing more on the geometric than on algebraic aspects of the subject, as well as its natural development, the book conveys the basic language of modern algebraic topology by exploring homotopy, homology and cohomology theories, and examines a variety of spaces: spheres, projective spaces, classical groups and their quotient spaces, function spaces, polyhedra, topological groups, Lie groups and cell complexes, etc. The book studies a variety of maps, which are continuous functions between spaces. It also reveals the importance of algebraic topology in contemporary mathematics, theoretical physics, computer science, chemistry, economics, and the biological and medical sciences, and encourages students to engage in further study.

An authoritative, full-year course on both group theory and ordinary character theory—essential tools for mathematics and the physical sciences

One of the few treatments available combining both group theory and character theory, Groups and Characters is an effective general textbook on these two fundamentally connected subjects. Presuming only a basic knowledge of abstract algebra as in a first-year graduate course, the text opens with a review of background material and then guides readers carefully through several of the most important aspects of groups and characters, concentrating mainly on finite groups.

Challenging yet accessible, Groups and Characters features:

• An extensive collection of examples surveying many different types of groups, including Sylow subgroups of symmetric groups, affine groups of fields, the Mathieu groups, and symplectic groups
• A thorough, easy-to-follow discussion of Pólya-Redfield enumeration, with applications to combinatorics
• Inclusive explorations of the transfer function and normal complements, induction and restriction of characters, Clifford theory, characters of symmetric and alternating groups, Frobenius groups, and the Schur index
• Illuminating accounts of several computational aspects of group theory, such as the Schreier-Sims algorithm, Todd-Coxeter coset enumeration, and algorithms for generating character tables

As valuable as Groups and Characters will prove as a textbook for mathematicians, it has broader applications. With chapters suitable for use as independent review units, along with a full bibliography and index, it will be a dependable general reference for chemists, physicists, and crystallographers.

This volume contains selected papers authored by speakers and participants of the 2013 Arbeitstagung, held at the Max Planck Institute for Mathematics in Bonn, Germany, from May 22-28. The 2013 meeting (and this resulting proceedings) was dedicated to the memory of Friedrich Hirzebruch, who passed away on May 27, 2012. Hirzebruch organized the first Arbeitstagung in 1957 with a unique concept that would become its most distinctive feature: the program was not determined beforehand by the organizers, but during the meeting by all participants in an open discussion. This ensured that the talks would be on the latest developments in mathematics and that many important results were presented at the conference for the first time. Written by leading mathematicians, the papers in this volume cover various topics from algebraic geometry, topology, analysis, operator theory, and representation theory and display the breadth and depth of pure mathematics that has always been characteristic of the Arbeitstagung.

This text systematically presents the basics of quantum mechanics, emphasizing the role of Lie groups, Lie algebras, and their unitary representations. The mathematical structure of the subject is brought to the fore, intentionally avoiding significant overlap with material from standard physics courses in quantum mechanics and quantum field theory. The level of presentation is attractive to mathematics students looking to learn about both quantum mechanics and representation theory, while also appealing to physics students who would like to know more about the mathematics underlying the subject. This text showcases the numerous differences between typical mathematical and physical treatments of the subject. The latter portions of the book focus on central mathematical objects that occur in the Standard Model of particle physics, underlining the deep and intimate connections between mathematics and the physical world. While an elementary physics course of some kind would be helpful to the reader, no specific background in physics is assumed, making this book accessible to students with a grounding in multivariable calculus and linear algebra. Many exercises are provided to develop the reader's understanding of and facility in quantum-theoretical concepts and calculations.

This book presents a consistent development of the Kohn-Nirenberg type global quantization theory in the setting of graded nilpotent Lie groups in terms of their representations. It contains a detailed exposition of related background topics on homogeneous Lie groups, nilpotent Lie groups, and the analysis of Rockland operators on graded Lie groups together with their associated Sobolev spaces. For the specific example of the Heisenberg group the theory is illustrated in detail. In addition, the book features a brief account of the corresponding quantization theory in the setting of compact Lie groups. The monograph is the winner of the 2014 Ferran Sunyer i Balaguer Prize.

This text is an introduction to harmonic analysis on symmetric spaces, focusing on advanced topics such as higher rank spaces, positive definite matrix space and generalizations. It is intended for beginning graduate students in mathematics or researchers in physics or engineering. As with the introductory book entitled "Harmonic Analysis on Symmetric Spaces - Euclidean Space, the Sphere, and the Poincare Upper Half Plane, the style is informal with an emphasis on motivation, concrete examples, history, and applications. The symmetric spaces considered here are quotients X=G/K, where G is a non-compact real Lie group, such as the general linear group GL(n,P) of all n x n non-singular real matrices, and K=O(n), the maximal compact subgroup of orthogonal matrices. Other examples are Siegel's upper half "plane" and the quaternionic upper half "plane". In the case of the general linear group, one can identify X with the space Pn of n x n positive definite symmetric matrices. Many corrections and updates have been incorporated in this new edition. Updates include discussions of random matrix theory and quantum chaos, as well as recent research on modular forms and their corresponding L-functions in higher rank. Many applications have been added, such as the solution of the heat equation on Pn, the central limit theorem of Donald St. P. Richards for Pn, results on densest lattice packing of spheres in Euclidean space, and GL(n)-analogs of the Weyl law for eigenvalues of the Laplacian in plane domains. Topics featured throughout the text include inversion formulas for Fourier transforms, central limit theorems, fundamental domains in X for discrete groups (such as the modular group GL(n,Z) of n x n matrices with integer entries and determinant +/-1), connections with the problem of finding densest lattice packings of spheres in Euclidean space, automorphic forms, Hecke operators, L-functions, and the Selberg trace formula and its applications in spectral theory as well as number theory.

Inspired by classical geometry, geometric group theory has in turn provided a variety of applications to geometry, topology, group theory, number theory and graph theory. This carefully written textbook provides a rigorous introduction to this rapidly evolving field whose methods have proven to be powerful tools in neighbouring fields such as geometric topology. Geometric group theory is the study of finitely generated groups via the geometry of their associated Cayley graphs. It turns out that the essence of the geometry of such groups is captured in the key notion of quasi-isometry, a large-scale version of isometry whose invariants include growth types, curvature conditions, boundary constructions, and amenability. This book covers the foundations of quasi-geometry of groups at an advanced undergraduate level. The subject is illustrated by many elementary examples, outlooks on applications, as well as an extensive collection of exercises.

The Standard Model is the foundation of modern particle and high energy physics. This book explains the mathematical background behind the Standard Model, translating ideas from physics into a mathematical language and vice versa. The first part of the book covers the mathematical theory of Lie groups and Lie algebras, fibre bundles, connections, curvature and spinors. The second part then gives a detailed exposition of how these concepts are applied in physics, concerning topics such as the Lagrangians of gauge and matter fields, spontaneous symmetry breaking, the Higgs boson and mass generation of gauge bosons and fermions. The book also contains a chapter on advanced and modern topics in particle physics, such as neutrino masses, CP violation and Grand Unification. This carefully written textbook is aimed at graduate students of mathematics and physics. It contains numerous examples and more than 150 exercises, making it suitable for self-study and use alongside lecture courses. Only a basic knowledge of differentiable manifolds and special relativity is required, summarized in the appendix.

Groups and Manifolds is an introductory, yet a complete self-contained course on mathematics of symmetry: group theory and differential geometry of symmetric spaces, with a variety of examples for physicists, touching briefly also on super-symmetric field theories. The core of the course is focused on the construction of simple Lie algebras, emphasizing the double interpretation of the ADE classification as applied to finite rotation groups and to simply laced simple Lie algebras. Unique features of this book are the full-fledged treatment of the exceptional Lie algebras and a rich collection of MATHEMATICA Notebooks implementing various group theoretical constructions.