|
Oriented Cobordism Ring
In mathematics, the oriented cobordism ring is a ring (mathematics), ring where elements are oriented cobordism classes of manifolds, the multiplication is given by the Cartesian product of manifolds and the addition is given as the disjoint union of manifolds. The ring is graded ring, graded by dimensions of manifolds and is denoted by :\Omega^_* = \oplus_0^\infty \Omega^_n where \Omega^_n consists of oriented cobordism classes of manifolds of dimension ''n''. One can also define an unoriented cobordism ring, denoted by \Omega^O_*. If ''O'' is replaced ''U'', then one gets the complex cobordism ring, oriented or unoriented. In general, one writes \Omega^B_* for the cobordism ring of manifolds with structure ''B''. A theorem of Thom says: :\Omega^O_n = \pi_(MO) where ''MO'' is the Thom spectrum. Notes References * External links bordism ring in nLab [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring (mathematics)
In mathematics, a ring is an algebraic structure consisting of a set with two binary operations called ''addition'' and ''multiplication'', which obey the same basic laws as addition and multiplication of integers, except that multiplication in a ring does not need to be commutative. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. A ''ring'' may be defined as a set that is endowed with two binary operations called ''addition'' and ''multiplication'' such that the ring is an abelian group with respect to the addition operator, and the multiplication operator is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors apply the term ''ring'' to a further generalization, often called a '' rng'', that omits the requirement for a multiplicative identity, and instead call the structure defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cobordism Class
In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary (French '' bord'', giving ''cobordism'') of a manifold. Two manifolds of the same dimension are ''cobordant'' if their disjoint union is the ''boundary'' of a compact manifold one dimension higher. The boundary of an (n+1)-dimensional manifold W is an n-dimensional manifold \partial W that is closed, i.e., with empty boundary. In general, a closed manifold need not be a boundary: cobordism theory is the study of the difference between all closed manifolds and those that are boundaries. The theory was originally developed by René Thom for smooth manifolds (i.e., differentiable), but there are now also versions for piecewise linear and topological manifolds. A ''cobordism'' between manifolds M and N is a compact manifold W whose boundary is the disjoint union of M and N, \partial W=M \sqcup N. Cobordisms are studied bo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Manifold
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 Neighbourhood (mathematics), neighborhood that is homeomorphic to an open (topology), open subset of n-dimensional Euclidean space. One-dimensional manifolds include Line (geometry), lines and circles, but not Lemniscate, self-crossing curves such as a figure 8. Two-dimensional manifolds are also called Surface (topology), surfaces. Examples include the Plane (geometry), plane, the sphere, and the torus, and also the Klein bottle and real projective plane. The concept of a manifold is central to many parts of geometry and modern mathematical physics because it allows complicated structures to be described in terms of well-understood topological properties of simpler spaces. Manifolds naturally arise as solution sets of systems of equations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Ring
In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups R_i such that . The index set is usually the set of nonnegative integers or the set of integers, but can be any monoid. The direct sum decomposition is usually referred to as gradation or grading. A graded module is defined similarly (see below for the precise definition). It generalizes graded vector spaces. A graded module that is also a graded ring is called a graded algebra. A graded ring could also be viewed as a graded -algebra. The associativity is not important (in fact not used at all) in the definition of a graded ring; hence, the notion applies to non-associative algebras as well; e.g., one can consider a graded Lie algebra. First properties Generally, the index set of a graded ring is assumed to be the set of nonnegative integers, unless otherwise explicitly specified. This is the case in this article. A graded ring is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Cobordism Ring
In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using it directly one uses some slightly weaker theories derived from it, such as Brown–Peterson cohomology or Morava K-theory, that are easier to compute. The generalized homology and cohomology complex cobordism theories were introduced by using the Thom spectrum. Spectrum of complex cobordism The complex bordism MU^*(X) of a space X is roughly the group of bordism classes of manifolds over X with a complex linear structure on the stable normal bundle. Complex bordism is a generalized homology theory, corresponding to a spectrum MU that can be described explicitly in terms of Thom spaces as follows. The space MU(n) is the Thom space of the universal n-plane bundle over the classifying space BU(n) of the unitary group U(n). The natural inclu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thom Spectrum
In 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. Construction of the Thom space One way to construct this space is as follows. Let :p\colon E \to B be a rank ''n'' real vector bundle over the paracompact space ''B''. Then for each point ''b'' in ''B'', the fiber E_b is an ''n''-dimensional real vector space. We can form an ''n''-sphere bundle \operatorname(E) \to B by taking the one-point compactification of each fiber and gluing them together to get the total space. Finally, from the total space \operatorname(E) we obtain the Thom space T(E) as the quotient of \operatorname(E) by ''B''; that is, by identifying all the new points to a single point \infty, which we take as the basepoint of T(E). If ''B'' is compact, then T(E) is the one-point compactification of ''E''. For exam ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
