|
Toda–Smith Complex
In mathematics, Toda–Smith complexes are spectra characterized by having a particularly simple BP-homology, and are useful objects in stable homotopy theory. Toda–Smith complexes provide examples of periodic self maps. These self maps were originally exploited in order to construct infinite families of elements in the homotopy groups of spheres. Their existence pointed the way towards the nilpotence and periodicity theorems. Mathematical context The story begins with the degree p map on S^1 (as a circle in the complex plane): : S^1 \to S^1 \, : z \mapsto z^p \, The degree p map is well defined for S^k in general, where k \in \mathbb. If we apply the infinite suspension functor to this map, \Sigma^\infty S^1 \to \Sigma^\infty S^1 =: \mathbb^1 \to \mathbb^1 and we take the cofiber of the resulting map: : S \xrightarrow S \to S/p We find that S/p has the remarkable property of coming from a Moore space (i.e., a designer (co)homology space: H^n(X) \simeq Z/p, and \til ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum (topology)
In algebraic topology, a branch of mathematics, a spectrum is an object representable functor, representing a Cohomology#Generalized cohomology theories, generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory\mathcal^*:\text^ \to \text,there exist spaces E^k such that evaluating the cohomology theory in degree k on a space X is equivalent to computing the homotopy classes of maps to the space E^k, that is\mathcal^k(X) \cong \left[X, E^k\right].Note there are several different category (mathematics), categories of spectra leading to many technical difficulties, but they all determine the same homotopy category, known as the stable homotopy category. This is one of the key points for introducing spectra because they form a natural home for stable homotopy theory. The definition of a spectrum There are many variations of the definition: in general, a ''spectrum'' is any s ... [...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-1) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Homotopy Theory
In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the Freudenthal suspension theorem, which states that given any pointed space X, the homotopy groups \pi_(\Sigma^n X) stabilize for n sufficiently large. In particular, the homotopy groups of spheres \pi_(S^n) stabilize for n\ge k + 2. For example, :\langle \text_\rangle = \Z = \pi_1(S^1)\cong \pi_2(S^2)\cong \pi_3(S^3)\cong\cdots :\langle \eta \rangle = \Z = \pi_3(S^2)\to \pi_4(S^3)\cong \pi_5(S^4)\cong\cdots In the two examples above all the maps between homotopy groups are applications of the suspension functor. The first example is a standard corollary of the Hurewicz theorem, that \pi_n(S^n)\cong \Z. In the second example the Hopf map, \eta, is mapped to its suspension \Sigma\eta, which generates \pi_4(S^3)\cong \Z/2. One of the most i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilpotence Theorem
In algebraic topology, the nilpotence theorem gives a condition for an element in the homotopy groups of a ring spectrum to be nilpotent, in terms of the complex cobordism spectrum \mathrm. More precisely, it states that for any ring spectrum R, the kernel of the map \pi_\ast R \to \mathrm_\ast(R) consists of nilpotent elements. It was conjectured by and proved by . Nishida's theorem showed that elements of positive degree of the homotopy groups of spheres In 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 o ... are nilpotent. This is a special case of the nilpotence theorem. References * * . Open online version.* Further reading Connection of ''X(n)'' spectra to formal group laws Homotopy theory Theorems in algebraic topology {{Topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Plane
In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by the imaginary numbers. The complex plane allows a geometric interpretation of complex numbers. Under addition, they add like vectors. The multiplication of two complex numbers can be expressed more easily in polar coordinates—the magnitude or ''modulus'' of the product is the product of the two absolute values, or moduli, and the angle or ''argument'' of the product is the sum of the two angles, or arguments. In particular, multiplication by a complex number of modulus 1 acts as a rotation. The complex plane is sometimes known as the Argand plane or Gauss plane. Notational conventions Complex numbers In complex analysis, the complex numbers are customarily represented by the symbol ''z'', which can be separated into its real (''x'') and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Suspension (topology)
In topology, a branch of mathematics, the suspension of a topological space ''X'' is intuitively obtained by stretching ''X'' into a cylinder and then collapsing both end faces to points. One views ''X'' as "suspended" between these end points. The suspension of ''X'' is denoted by ''SX'' or susp(''X''). There is a variation of the suspension for pointed space, which is called the reduced suspension and denoted by Σ''X''. The "usual" suspension ''SX'' is sometimes called the unreduced suspension, unbased suspension, or free suspension of ''X'', to distinguish it from Σ''X.'' Free suspension The (free) suspension SX of a topological space X can be defined in several ways. 1. SX is the quotient space (X \times ,1/(X\times \, X\times \). In other words, it can be constructed as follows: * Construct the cylinder X \times ,1/math>. * Consider the entire set X\times \ as a single point ("glue" all its points together). * Consider the entire set X\times \ as a single point ("g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moore Space (algebraic Topology)
In algebraic topology, a branch of mathematics, Moore space is the name given to a particular type of topological space that is the homology analogue of the Eilenberg–Maclane spaces of homotopy theory, in the sense that it has only one nonzero homology (rather than homotopy) group. Formal definition Given an abelian group ''G'' and an integer ''n'' ≥ 1, let ''X'' be a CW complex such that :H_n(X) \cong G and :\tilde_i(X) \cong 0 for ''i'' ≠ ''n'', where H_n(X) denotes the ''n''-th singular homology group of ''X'' and \tilde_i(X) is the ''i''-th reduced homology group. Then ''X'' is said to be a Moore space. Also, ''X'' is by definition simply-connected if ''n''>1. Examples *S^n is a Moore space of \mathbb for n\geq 1. *\mathbb^2 is a Moore space of \mathbb/2\mathbb for n=1. See also * Eilenberg–MacLane space In mathematics, specifically algebraic topology, an Eilenberg–MacLane space Saunders Mac Lane originally spelt his name "MacLane" (without a space), and c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sphere Spectrum
In stable homotopy theory, a branch of mathematics, the sphere spectrum ''S'' is the monoidal unit in the category of spectra. It is the suspension spectrum of ''S''0, i.e., a set of two points. Explicitly, the ''n''th space in the sphere spectrum is the ''n''-dimensional sphere ''S''''n'', and the structure maps from the suspension of ''S''''n'' to ''S''''n''+1 are the canonical homeomorphisms. The ''k''-th homotopy group of a sphere spectrum is the ''k''-th stable homotopy group of spheres. The localization of the sphere spectrum at a prime number ''p'' is called the local sphere at ''p'' and is denoted by S_. See also * Chromatic homotopy theory * Adams-Novikov spectral sequence *Framed cobordism Framed may refer to: Common meanings *A painting or photograph that has been placed within a picture frame *Someone falsely shown to be guilty of a crime as part of a frameup Film and television * ''Framed'' (1930 film), a pre-code crime action ... References * Algebraic topo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories). Concepts Spaces and maps In homotopy theory and algebraic topology, the word "space" denotes a topological space. In order to avoid pathologies, one rarely works with arbitrary spaces; instead, one requires spaces to meet extra constraints, such as being compactly generated, or Hausdorff, or a CW complex. In the same vein as above, a "map" is a continuous function, possibly with some extra constraints. Often, one works with a pointed space -- that is, a space with a "distinguished point", called a basepoint. A pointed map is then a map which preserv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
