Pontryagin classIn mathematics, the Pontryagin classes, named after Lev Pontryagin, are certain characteristic classes of real vector bundles. The Pontryagin classes lie in cohomology groups with degrees a multiple of four. Given a real vector bundle E over M, its k-th Pontryagin class is defined as where: denotes the -th Chern class of the complexification of E, is the -cohomology group of M with integer coefficients. The rational Pontryagin class is defined to be the image of in , the -cohomology group of M with rational coefficients.
Surgery theoryIn mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by . Milnor called this technique surgery, while Andrew Wallace called it spherical modification. The "surgery" on a differentiable manifold M of dimension , could be described as removing an imbedded sphere of dimension p from M. Originally developed for differentiable (or, smooth) manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds.
Thom spaceIn mathematics, the Thom space, Thom complex, or Pontryagin–Thom construction (named after René Thom and Lev Pontryagin) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space. One way to construct this space is as follows. Let be a rank n real vector bundle over the paracompact space B. Then for each point b in B, the fiber is an -dimensional real vector space. Choose an orthogonal structure on E, a smoothly varying inner product on the fibers; we can do this using partitions of unity.
Topological quantum field theoryIn gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathematical interest, being related to, among other things, knot theory and the theory of four-manifolds in algebraic topology, and to the theory of moduli spaces in algebraic geometry. Donaldson, Jones, Witten, and Kontsevich have all won Fields Medals for mathematical work related to topological field theory.
Geometric topologyIn mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another. Geometric topology as an area distinct from algebraic topology may be said to have originated in the 1935 classification of lens spaces by Reidemeister torsion, which required distinguishing spaces that are homotopy equivalent but not homeomorphic. This was the origin of simple homotopy theory. The use of the term geometric topology to describe these seems to have originated rather recently.
René ThomRené Frédéric Thom (ʁəne tɔm; 2 September 1923 – 25 October 2002) was a French mathematician, who received the Fields Medal in 1958. He made his reputation as a topologist, moving on to aspects of what would be called singularity theory; he became world-famous among the wider academic community and the educated general public for one aspect of this latter interest, his work as founder of catastrophe theory (later developed by Christopher Zeeman). René Thom grow up in a modest family in Montbéliard, Doubs and obtained a Baccalauréat in 1940.
Atiyah–Singer index theoremIn 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 (related to the dimension of the space of solutions) is equal to the topological index (defined in terms of some topological data). 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.
Tautological bundleIn mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of -dimensional subspaces of , given a point in the Grassmannian corresponding to a -dimensional vector subspace , the fiber over is the subspace itself. In the case of projective space the tautological bundle is known as the tautological line bundle. The tautological bundle is also called the universal bundle since any vector bundle (over a compact space) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles.
Complex projective spaceIn mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a complex projective space label the complex lines through the origin of a complex Euclidean space (see below for an intuitive account). Formally, a complex projective space is the space of complex lines through the origin of an (n+1)-dimensional complex vector space.
Chern classIn mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since become fundamental concepts in many branches of mathematics and physics, such as string theory, Chern–Simons theory, knot theory, Gromov-Witten invariants. Chern classes were introduced by . Chern classes are characteristic classes. They are topological invariants associated with vector bundles on a smooth manifold.
Homotopy groups of spheresIn the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure of spheres viewed as topological spaces, forgetting about their precise geometry. Unlike homology groups, which are also topological invariants, the homotopy groups are surprisingly complex and difficult to compute.
Floer homologyIn 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.
Genus of a multiplicative sequenceIn mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary (i.e., up to suitable cobordism) to another ring, usually the rational numbers, having the property that they are constructed from a sequence of polynomials in characteristic classes that arise as coefficients in formal power series with good multiplicative properties.
Stiefel–Whitney classIn mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of sections of the vector bundle. Stiefel–Whitney classes are indexed from 0 to n, where n is the rank of the vector bundle. If the Stiefel–Whitney class of index i is nonzero, then there cannot exist everywhere linearly independent sections of the vector bundle.
Künneth theoremIn mathematics, especially in homological algebra and algebraic topology, a Künneth theorem, also called a Künneth formula, is a statement relating the homology of two objects to the homology of their product. The classical statement of the Künneth theorem relates the singular homology of two topological spaces X and Y and their product space . In the simplest possible case the relationship is that of a tensor product, but for applications it is very often necessary to apply certain tools of homological algebra to express the answer.
Michael AtiyahSir Michael Francis Atiyah (əˈtiːə; 22 April 1929 – 11 January 2019) was a British-Lebanese mathematician specialising in geometry. His contributions include the Atiyah–Singer index theorem and co-founding topological K-theory. He was awarded the Fields Medal in 1966 and the Abel Prize in 2004. Atiyah was born on 22 April 1929 in Hampstead, London, England, the son of Jean (née Levens) and Edward Atiyah. His mother was Scottish and his father was a Lebanese Orthodox Christian.
K-theoryIn mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.
Characteristic classIn mathematics, a characteristic class is a way of associating to each principal bundle of X a cohomology class of X. The cohomology class measures the extent the bundle is "twisted" and whether it possesses sections. Characteristic classes are global invariants that measure the deviation of a local product structure from a global product structure. They are one of the unifying geometric concepts in algebraic topology, differential geometry, and algebraic geometry.
Signature (topology)In the field of topology, the signature is an integer invariant which is defined for an oriented manifold M of dimension divisible by four. This invariant of a manifold has been studied in detail, starting with Rokhlin's theorem for 4-manifolds, and Hirzebruch signature theorem. Given a connected and oriented manifold M of dimension 4k, the cup product gives rise to a quadratic form Q on the 'middle' real cohomology group The basic identity for the cup product shows that with p = q = 2k the product is symmetric.
Postnikov systemIn homotopy theory, a branch of algebraic topology, a Postnikov system (or Postnikov tower) is a way of decomposing a topological space's homotopy groups using an inverse system of topological spaces whose homotopy type at degree agrees with the truncated homotopy type of the original space . Postnikov systems were introduced by, and are named after, Mikhail Postnikov. A Postnikov system of a path-connected space is an inverse system of spaces with a sequence of maps compatible with the inverse system such that The map induces an isomorphism for every .
