"We prove an analogue of the Kotschick-Morgan Conjecture in the context of SO(3) monopoles, obtaining a formula relating the Donaldson and Seiberg-Witten invariants of smooth four-manifolds using the SO(3)-monopole cobordism. The main technical difficulty in the SO(3)-monopole program relating the Seiberg- Witten and Donaldson invariants has been to compute intersection pairings on links of strata of reducible SO(3) monopoles, namely the moduli spaces of Seiberg- Witten monopoles lying in lower-level strata of the Uhlenbeck compactification of the moduli space of SO(3) monopoles [...]. In this monograph, we prove -- modulo a gluing theorem which is an extension of our earlier work in PU(2) monopoles. III: Existence of gluing and obstruction maps [...] that these intersection pairings can be expressed in terms of topological data and Seiberg-Witten invariants of the four-manifold. [...]--Page xi.

Let F be a number field. These notes explore Galois-theoretic, automorphic, and motivic analogues and refinements of Tate's basic result that continuous projective representations Gal(F¯¯¯¯/F)→PGLn(C) lift to GLn(C). The author takes special interest in the interaction of this result with algebraicity (for automorphic representations) and geometricity (in the sense of Fontaine-Mazur). On the motivic side, the author studies refinements and generalizations of the classical Kuga-Satake construction. Some auxiliary results touch on: possible infinity-types of algebraic automorphic representations; comparison of the automorphic and Galois “Tannakian formalisms” monodromy (independence-of-ℓ) questions for abstract Galois representations.

Is there a vector space whose dimension is the golden ratio? Of course not—the golden ratio is not an integer! But this can happen for generalizations of vector spaces—objects of a tensor category. The theory of tensor categories is a relatively new field of mathematics that generalizes the theory of group representations. It has deep connections with many other fields, including representation theory, Hopf algebras, operator algebras, low-dimensional topology (in particular, knot theory), homotopy theory, quantum mechanics and field theory, quantum computation, theory of motives, etc. This book gives a systematic introduction to this theory and a review of its applications. While giving a detailed overview of general tensor categories, it focuses especially on the theory of finite tensor categories and fusion categories (in particular, braided and modular ones), and discusses the main results about them with proofs. In particular, it shows how the main properties of finite-dimensional Hopf algebras may be derived from the theory of tensor categories. Many important results are presented as a sequence of exercises, which makes the book valuable for students and suitable for graduate courses. Many applications, connections to other areas, additional results, and references are discussed at the end of each chapter.

We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with cer-tain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-dimensional 3-framed local field theories. We also show that all finite tensor cat-egories are 2-dualizable, and yield categorified 2-dimensional 3-framed local field theories. On the other hand, topological properties of 3-framed manifolds deter-mine algebraic equations among functors of tensor categories. We show that the 1-dimensional loop bordism, which exhibits a single full rotation, acts as the double dual autofunctor of a tensor category. We prove that the 2-dimensional belt-trick bordism, which unravels a double rotation, operates on any finite tensor category, and therefore supplies a trivialization of the quadruple dual. This approach pro-duces a quadruple-dual theorem for suitably dualizable objects in any symmetric monoidal 3-category. There is furthermore a correspondence between algebraic structures on tensor categories and homotopy fixed point structures, which in turn provide structured field theories; we describe the expected connection between piv-otal tensor categories and combed fixed point structures, and between spherical tensor categories and oriented fixed point structures.

This book is the first to present a new area of mathematical research that combines topology, geometry, and logic. Shmuel Weinberger seeks to explain and illustrate the implications of the general principle, first emphasized by Alex Nabutovsky, that logical complexity engenders geometric complexity. He provides applications to the problem of closed geodesics, the theory of submanifolds, and the structure of the moduli space of isometry classes of Riemannian metrics with curvature bounds on a given manifold. Ultimately, geometric complexity of a moduli space forces functions defined on that space to have many critical points, and new results about the existence of extrema or equilibria follow. The main sort of algorithmic problem that arises is recognition: is the presented object equivalent to some standard one? If it is difficult to determine whether the problem is solvable, then the original object has doppelgängers--that is, other objects that are extremely difficult to distinguish from it. Many new questions emerge about the algorithmic nature of known geometric theorems, about "dichotomy problems," and about the metric entropy of moduli space. Weinberger studies them using tools from group theory, computability, differential geometry, and topology, all of which he explains before use. Since several examples are worked out, the overarching principles are set in a clear relief that goes beyond the details of any one problem.