In mathematics, spin geometry is the area of differential geometry and topology where objects like spin manifolds and Dirac operators, and the various associated index theorems have come to play a fundamental role both in mathematics and in mathematical physics.
An important generalisation is the theory of symplectic Dirac operators in symplectic spin geometry and symplectic topology, which have become important fields of mathematical research.
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the geometric properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology.
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.
Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2-form. Symplectic geometry has its origins in the Hamiltonian formulation of classical mechanics where the phase space of certain classical systems takes on the structure of a symplectic manifold.
In mathematics, a symplectomorphism or symplectic map is an isomorphism in the category of symplectic manifolds. In classical mechanics, a symplectomorphism represents a transformation of phase space that is volume-preserving and preserves the symplectic structure of phase space, and is called a canonical transformation.
In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index is equal to the topological index. It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics.
In differential geometry, given a spin structure on an -dimensional orientable Riemannian manifold one defines the spinor bundle to be the complex vector bundle associated to the corresponding principal bundle of spin frames over and the spin representation of its structure group on the space of spinors .
In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying a condition called 'complete non-integrability'. Equivalently, such a distribution may be given as the kernel of a differential one-form, and the non-integrability condition translates into a maximal non-degeneracy condition on the form. These conditions are opposite to two equivalent conditions for 'complete integrability' of a hyperplane distribution, i.e. that it be tangent to a codimension one foliation on the manifold, whose equivalence is the content of the Frobenius theorem.
Killing spinor is a term used in mathematics and physics. By the more narrow definition, commonly used in mathematics, the term Killing spinor indicates those twistor spinors which are also eigenspinors of the Dirac operator. The term is named after Wilhelm Killing.
In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below.
In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.
Geometric analysis is a mathematical discipline where tools from differential equations, especially elliptic partial differential equations (PDEs) are used to establish new results in differential geometry and differential topology. The use of linear elliptic PDEs dates at least as far back as Hodge theory. More recently, it refers largely to the use of nonlinear partial differential equations to study geometric and topological properties of spaces, such as submanifolds of Euclidean space, Riemannian manifolds, and symplectic manifolds. This approach dates back to the work by Tibor Radó and Jesse Douglas on minimal surfaces, John Forbes Nash Jr. on isometric embeddings of Riemannian manifolds into Euclidean space, work by Louis Nirenberg on the Minkowski problem and the Weyl problem, and work by Aleksandr Danilovich Aleksandrov and Aleksei Pogorelov on convex hypersurfaces. In the 1980s fundamental contributions by Karen Uhlenbeck, Clifford Taubes, Shing-Tung Yau, Richard Schoen, and Richard Hamilton launched a particularly exciting and productive era of geometric analysis that continues to this day. A celebrated achievement was the solution to the Poincaré conjecture by Grigori Perelman, completing a program initiated and largely carried out by Richard Hamilton.
Clifford Henry Taubes is the William Petschek Professor of Mathematics at Harvard University and works in gauge field theory, differential geometry, and low-dimensional topology. His brother is the journalist Gary Taubes.
Clifford analysis, using Clifford algebras named after William Kingdon Clifford, is the study of Dirac operators, and Dirac type operators in analysis and geometry, together with their applications. Examples of Dirac type operators include, but are not limited to, the Hodge–Dirac operator, on a Riemannian manifold, the Dirac operator in euclidean space and its inverse on and their conformal equivalents on the sphere, the Laplacian in euclidean n-space and the Atiyah–Singer–Dirac operator on a spin manifold, Rarita–Schwinger/Stein–Weiss type operators, conformal Laplacians, spinorial Laplacians and Dirac operators on SpinC manifolds, systems of Dirac operators, the Paneitz operator, Dirac operators on hyperbolic space, the hyperbolic Laplacian and Weinstein equations.
In string theory and related theories such as supergravity theories, a brane is a physical object that generalizes the notion of a point particle to higher dimensions. Branes are dynamical objects which can propagate through spacetime according to the rules of quantum mechanics. They have mass and can have other attributes such as charge.
In differential geometry, a metaplectic structure is the symplectic analog of spin structure on orientable Riemannian manifolds. A metaplectic structure on a symplectic manifold allows one to define the symplectic spinor bundle, which is the Hilbert space bundle associated to the metaplectic structure via the metaplectic representation, giving rise to the notion of a symplectic spinor field in differential geometry.
In symplectic geometry, the symplectic frame bundle of a given symplectic manifold is the canonical principal -subbundle of the tangent frame bundle consisting of linear frames which are symplectic with respect to . In other words, an element of the symplectic frame bundle is a linear frame at point i.e. an ordered basis of tangent vectors at of the tangent vector space , satisfying
This glossary of areas of mathematics is a list of definitions of the terms and concepts that indicate or distinguish areas of study within mathematics. Mathematics is a broad subject with a vast history of topics identified as mathematical concerns. Concerns have been included in mathematical discourse of notable mathematicians, and some of those authors have explicitly defined areas of mathematics, conceptually encapsulating particular mathematical concerns, theorems and achievements. Other authors have categorised their concerns, theorems and achievements into areas of mathematics, by simply labelling their work with a title using terms implying an area of mathematics. To handle the dissimilarity in how areas of mathematics are identified, this glossary makes use of both extensional and intensional definitions. For a hierarchical organisation of topics of mathematics see mathematics subject classification. For a list of current mathematical concerns see list of unsolved problems in mathematics.
Kenji Fukaya is a Japanese mathematician known for his work in symplectic geometry and Riemannian geometry. His many fundamental contributions to mathematics include the discovery of the Fukaya category. He is a permanent faculty member at the Simons Center for Geometry and Physics and a professor of mathematics at Stony Brook University.
In differential geometry, the localization formula states: for an equivariantly closed equivariant differential form on an orbifold M with a torus action and for a sufficient small in the Lie algebra of the torus T,
Kaoru Ono is a Japanese mathematician, specializing in symplectic geometry. He is a professor at the Research Institute for Mathematical Sciences (RIMS) at Kyoto University.