In geometry and topology, a formal manifold can mean one of a number of related concepts:
In mathematics, topology is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.
In mathematics, the real line, or real number line is the line whose points are the real numbers. That is, the real line is the set R of all real numbers, viewed as a geometric space, namely the Euclidean space of dimension one. It can be thought of as a vector space, a metric space, a topological space, a measure space, or a linear continuum.
In mathematics, de Rham cohomology is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties.
In mathematics, the Hodge conjecture is a major unsolved problem in algebraic geometry and complex geometry that relates the algebraic topology of a non-singular complex algebraic variety to its subvarieties.
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 topology, the long line is a topological space somewhat similar to the real line, but in a certain way "longer". It behaves locally just like the real line, but has different large-scale properties. Therefore, it serves as one of the basic counterexamples of topology. Intuitively, the usual real-number line consists of a countable number of line segments laid end-to-end, whereas the long line is constructed from an uncountable number of such segments.
In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics.
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.
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.
Mathematics encompasses a growing variety and depth of subjects over its history, and comprehension of it requires a system to categorize and organize these various subjects into more general areas of mathematics. A number of different classification schemes have arisen, and though they share some similarities, there are differences due in part to the different purposes they serve.
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or n-manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of n-dimensional Euclidean space.
Richard Melvin Schoen is an American mathematician known for his work in differential geometry and geometric analysis. He is best known for the resolution of the Yamabe problem in 1984.
In algebraic topology, the Massey product is a cohomology operation of higher order introduced in, which generalizes the cup product. The Massey product was created by William S. Massey, an American algebraic topologist.
In the mathematical field of differential geometry, a smooth map between Riemannian manifolds is called harmonic if its coordinate representatives satisfy a certain nonlinear partial differential equation. This partial differential equation for a mapping also arises as the Euler-Lagrange equation of a functional called the Dirichlet energy. As such, the theory of harmonic maps contains both the theory of unit-speed geodesics in Riemannian geometry and the theory of harmonic functions.
Dennis Parnell Sullivan is an American mathematician. He is known for his work in algebraic topology, geometric topology, and dynamical systems. He holds the Albert Einstein Chair at the City University of New York Graduate Center and is a distinguished professor at Stony Brook University.
In mathematics, a 5-manifold is a 5-dimensional topological manifold, possibly with a piecewise linear or smooth structure.
John Willard Morgan is an American mathematician known for his contributions to topology and geometry. He is a Professor Emeritus at Columbia University and a member of the Simons Center for Geometry and Physics at Stony Brook University.
In mathematics and specifically in topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan (1977) and Daniel Quillen (1969). This simplification of homotopy theory makes certain calculations much easier.
In geometric topology, the de Rham invariant is a mod 2 invariant of a (4k+1)-dimensional manifold, that is, an element of – either 0 or 1. It can be thought of as the simply-connected symmetric L-group and thus analogous to the other invariants from L-theory: the signature, a 4k-dimensional invariant, and the Kervaire invariant, a (4k+2)-dimensional quadratic invariant
String topology, a branch of mathematics, is the study of algebraic structures on the homology of free loop spaces. The field was started by Moira Chas and Dennis Sullivan (1999).