|
Complex Cobordism
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] |
Generalized Cohomology Theory
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory. From its beginning in topology, this idea became a dominant method in the mathematics of the second half of the twentieth century. From the initial idea of homology as a method of constructing algebraic invariants of topological spaces, the range of applications of homology and cohomology theories has spread throughout geometry and algebra. The terminology tends to hide the fact that cohomology, a contravariant theory, is more natural than homology in many applications. At a basic level, this has to do w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Spectrum
In stable homotopy theory, a ring spectrum is a spectrum ''E'' together with a multiplication map :''μ'': ''E'' ∧ ''E'' → ''E'' and a unit map : ''η'': ''S'' → ''E'', where ''S'' is the sphere spectrum. These maps have to satisfy associativity and unitality conditions up to homotopy, much in the same way as the multiplication of a ring is associative and unital. That is, : ''μ'' (id ∧ ''μ'') ∼ ''μ'' (''μ'' ∧ id) and : ''μ'' (id ∧ ''η'') ∼ id ∼ ''μ''(''η'' ∧ id). Examples of ring spectra include singular homology with coefficients in a ring, complex cobordism, K-theory, and Morava K-theory. See also *Highly structured ring spectrum In mathematics, a highly structured ring spectrum or A_\infty-ring is an object in homotopy theory encoding a refinement of a multiplicative structure on a cohomology theory. A commutative version of an A_\infty-ring is called an E_\infty-ring. W ... References * Algebraic topology Homotopy theo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adams–Novikov Spectral Sequence
In mathematics, the Adams spectral sequence is a spectral sequence introduced by which computes the stable homotopy groups of topological spaces. Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a reformulation using homological algebra, and an extension, of a technique called 'killing homotopy groups' applied by the French school of Henri Cartan and Jean-Pierre Serre. Motivation For everything below, once and for all, we fix a prime ''p''. All spaces are assumed to be CW complexes. The ordinary cohomology groups H^*(X) are understood to mean H^*(X; \Z/p\Z). The primary goal of algebraic topology is to try to understand the collection of all maps, up to homotopy, between arbitrary spaces ''X'' and ''Y''. This is extraordinarily ambitious: in particular, when ''X'' is S^n, these maps form the ''n''th homotopy group of ''Y''. A more reasonable (but still very difficult!) goal is to unders ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
\beta 1, \beta 2, \ldots
Beta (, ; uppercase , lowercase , or cursive ; grc, βῆτα, bē̂ta or ell, βήτα, víta) is the second letter of the Greek alphabet. In the system of Greek numerals, it has a value of 2. In Modern Greek, it represents the voiced labiodental fricative while in borrowed words is instead commonly transcribed as μπ. Letters that arose from beta include the Roman letter and the Cyrillic letters and . Name Like the names of most other Greek letters, the name of beta was adopted from the acrophonic name of the corresponding letter in Phoenician, which was the common Semitic word ''*bait'' ('house'). In Greek, the name was ''bêta'', pronounced in Ancient Greek. It is spelled βήτα in modern monotonic orthography and pronounced . History The letter beta was derived from the Phoenician letter beth . Uses Algebraic numerals In the system of Greek numerals, beta has a value of 2. Such use is denoted by a number mark: Β′. Computing Finance Beta is used ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Power Series Ring
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.). A formal power series is a special kind of formal series, whose terms are of the form a x^n where x^n is the nth power of a variable x (n is a non-negative integer), and a is called the coefficient. Hence, power series can be viewed as a generalization of polynomials, where the number of terms is allowed to be infinite, with no requirements of convergence. Thus, the series may no longer represent a function of its variable, merely a formal sequence of coefficients, in contrast to a power series, which defines a function by taking numerical values for the variable within a radius of convergence. In a formal power series, the x^n are used only as position-holders for the coefficients, so that the coefficient of x^5 is the fifth term ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brown–Peterson Cohomology
In mathematics, Brown–Peterson cohomology is a generalized cohomology theory introduced by , depending on a choice of prime ''p''. It is described in detail by . Its representing spectrum is denoted by BP. Complex cobordism and Quillen's idempotent Brown–Peterson cohomology BP is a summand of MU(''p''), which is complex cobordism MU localized at a prime ''p''. In fact MU''(p)'' is a wedge product of suspensions of BP. For each prime ''p'', Daniel Quillen showed there is a unique idempotent map of ring spectra ε from MUQ(''p'') to itself, with the property that ε( P''n'' is P''n''if ''n''+1 is a power of ''p'', and 0 otherwise. The spectrum BP is the image of this idempotent ε. Structure of BP The coefficient ring \pi_*(\text) is a polynomial algebra over \Z_ on generators v_n in degrees 2(p^n-1) for n\ge 1. \text_*(\text) is isomorphic to the polynomial ring \pi_*(\text) _1, t_2, \ldots/math> over \pi_*(\text) with generators t_i in \text_(\text) of degrees 2 (p^i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lazard's Universal Ring
In mathematics, Lazard's universal ring is a ring introduced by Michel Lazard in over which the universal commutative one-dimensional formal group law is defined. There is a universal commutative one-dimensional formal group law over a universal commutative ring defined as follows. We let :F(x,y) be :x+y+\sum_ c_ x^i y^j for indeterminates c_, and we define the universal ring ''R'' to be the commutative ring generated by the elements c_, with the relations that are forced by the associativity and commutativity laws for formal group laws. More or less by definition, the ring ''R'' has the following universal property: :For every commutative ring ''S'', one-dimensional formal group laws over ''S'' correspond to ring homomorphisms from ''R'' to ''S''. The commutative ring ''R'' constructed above is known as Lazard's universal ring. At first sight it seems to be incredibly complicated: the relations between its generators are very messy. However Lazard proved that it has a very ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Group Law
In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were introduced by . The term formal group sometimes means the same as formal group law, and sometimes means one of several generalizations. Formal groups are intermediate between Lie groups (or algebraic groups) and Lie algebras. They are used in algebraic number theory and algebraic topology. Definitions A one-dimensional formal group law over a commutative ring ''R'' is a power series ''F''(''x'',''y'') with coefficients in ''R'', such that # ''F''(''x'',''y'') = ''x'' + ''y'' + terms of higher degree # ''F''(''x'', ''F''(''y'',''z'')) = ''F''(''F''(''x'',''y''), ''z'') (associativity). The simplest example is the additive formal group law ''F''(''x'', ''y'') = ''x'' + ''y''. The idea of the definition is that ''F'' should be something like the formal power series expansion of the product of a Lie group, where we choose coordinates so that the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Ring Spectrum
In the mathematical field of algebraic topology, a commutative ring spectrum, roughly equivalent to a E_\infty-ring spectrum, is a commutative monoid in a goodsymmetric monoidal with respect to smash product and perhaps some other conditions; one choice is the category of symmetric spectra category of spectra. The category of commutative ring spectra over the field \mathbb of rational numbers is Quillen equivalent to the category of differential graded algebras over \mathbb. Example: The Witten genus may be realized as a morphism of commutative ring spectra MString → tmf. See also: simplicial commutative ring, highly structured ring spectrum and derived scheme In algebraic geometry, a derived scheme is a pair (X, \mathcal) consisting of a topological space ''X'' and a sheaf \mathcal either of simplicial commutative rings or of commutative ring spectra on ''X'' such that (1) the pair (X, \pi_0 \mathcal) .... Terminology Almost all reasonable categories of commutative ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
