|
Chromatic Homotopy Theory
In mathematics, chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theory, complex-oriented cohomology theories from the "chromatic" point of view, which is based on Daniel Quillen, Quillen's work relating cohomology theories to formal groups. In this picture, theories are classified in terms of their "chromatic levels"; i.e., the heights of the formal groups that define the theories via the Landweber exact functor theorem. Typical theories it studies include: complex K-theory, elliptic cohomology, Morava K-theory and Topological modular forms, tmf. Chromatic convergence theorem In algebraic topology, the chromatic convergence theorem states the homotopy limit of the chromatic tower (defined below) of a finite local spectrum, ''p''-local spectrum X is X itself. The theorem was proved by Hopkins and Ravenel. Statement Let L_ denotes the Bousfield localization with respect to the Morava E-theory and let X be a finite, p-loca ... [...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 mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morava E-theory
Morava may refer to: Rivers * Great Morava (''Velika Morava''; or simply Morava), a river in central Serbia, and its tributaries: ** South Morava (''Južna Morava'') *** Binač Morava (''Binačka Morava'') ** West Morava (''Zapadna Morava'') * Morava (river), a river in the Czech Republic, Austria and Slovakia Places * , a village in the Svishtov Municipality, Bulgaria * Morava (Kočevje), a village in the municipality of Kočevje, Slovenia * Morava (Serbian Cyrillic: Морава), the old name for Gnjilane (Albanian: ''Gjilan'') * Suva Morava ("Dry Morava"), a village in the municipality of Vladičin Han, Serbia * Dolní Morava ("Lower Morava"), a municipality and village in the Ústí nad Orlicí District, Czech Republic * Malá Morava ("Little Morava"), a municipality and village in the Šumperk District, Czech Republic * , a mountain in southeast Albania, near Korçë * Morava Banovina, a province of the Kingdom of Yugoslavia between 1929 and 1941 * Donja Morava ("Lower Mor ... [...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 understand t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chromatic Spectral Sequence
In mathematics, the chromatic spectral sequence is a spectral sequence, introduced by , used for calculating the initial term of the Adams spectral sequence for Brown–Peterson cohomology, which is in turn used for calculating the stable homotopy groups of spheres. See also * Chromatic homotopy theory * 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 c ... * p-local spectrum References * * Spectral sequences {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moduli Stack Of Formal Group Laws
Modulus is the diminutive from the Latin word ''modus'' meaning measure or manner. It, or its plural moduli, may refer to the following: Physics, engineering and computing * Moduli (physics), scalar fields for which the potential energy function has continuous families of global minima * The measurement of standard pitch in the teeth of a rotating gear * Bulk modulus, a measure of compression resistance * Elastic modulus, a measure of stiffness *Shear modulus, a measure of elastic stiffness * Young's modulus, a specific elastic modulus * Modulo operation (a % b, mod(a, b), etc.), in both math and programming languages; results in remainder of a division * Casting modulus used in Chvorinov's rule. Mathematics * Modulus (modular arithmetic), base of modular arithmetic * Modulus, the absolute value of a real or complex number ( ) * Moduli space, in mathematics a geometric space whose points represent algebro-geometric objects * Conformal modulus, a measure of the size of a cur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ravenel Conjectures
In mathematics, the Ravenel conjectures are a set of mathematical conjectures in the field of stable homotopy theory posed by Douglas Ravenel at the end of a paper published in 1984. It was earlier circulated in preprint. The problems involved have largely been resolved, with all but the "telescope conjecture" being proved in later papers by others. Ravenel's conjectures exerted influence on the field through the founding of the approach of chromatic homotopy theory. The first of the seven conjectures, then the ''nilpotence conjecture'', was proved in 1988 and is now known as the nilpotence theorem. The telescope conjecture, which was fourth on the original list, remains of substantial interest because of its connection with the convergence of an Adams–Novikov spectral sequence. While opinion has been generally against the truth of the original statement, investigations of associated phenomena (for a triangulated category in general) have become a research area in its own right ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Redshift Conjecture
In mathematics, more specifically in chromatic homotopy theory, the redshift conjecture states, roughly, that algebraic K-theory K(R) has chromatic level one higher than that of a complex-oriented ring spectrum ''R''. It was formulated by John Rognes in a lecture at Schloss Ringberg, Germany, in January 1999, and made more precise by him in a lecture at Mathematische Forschungsinstitut Oberwolfach, Germany, in September 2000. In July 2022, Robert Burklund, Tomer Schlank and Allen Yuan announced a solution of a version of the redshift conjecture for arbitrary E_-ring spectra, after Hahn and Wilson did so earlier in the case of the truncated Brown-Peterson spectra BP\langle\rangle.Burklund, Schlank, Yuan (2022). ''The Chromatic Nullstellensatz'' References ;Notes * * * Further reading * External links * Algebraic topology Homotopy theory Conjectures {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Cohomology
In mathematics, elliptic cohomology is a cohomology theory in the sense of algebraic topology. It is related to elliptic curves and modular forms. History and motivation Historically, elliptic cohomology arose from the study of elliptic genera. It was known by Atiyah and Hirzebruch that if S^1 acts smoothly and non-trivially on a spin manifold, then the index of the Dirac operator vanishes. In 1983, Witten conjectured that in this situation the equivariant index of a certain twisted Dirac operator is at least constant. This led to certain other problems concerning S^1-actions on manifolds, which could be solved by Ochanine by the introduction of elliptic genera. In turn, Witten related these to (conjectural) index theory on free loop spaces. Elliptic cohomology, invented in its original form by Landweber, Stong and Ravenel in the late 1980s, was introduced to clarify certain issues with elliptic genera and provide a context for (conjectural) index theory of families of differe ... [...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), ''Framed'' (1930 film), a pre ... References * Algebraic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-adic K-theory
In number theory, given a prime number , the -adic numbers form an extension of the rational numbers which is distinct from the real numbers, though with some similar properties; -adic numbers can be written in a form similar to (possibly infinite) decimals, but with digits based on a prime number rather than ten, and extending to the left rather than to the right. For example, comparing the expansion of the rational number \tfrac15 in base vs. the -adic expansion, \begin \tfrac15 &= 0.01210121\ldots \ (\text 3) &&= 0\cdot 3^0 + 0\cdot 3^ + 1\cdot 3^ + 2\cdot 3^ + \cdots \\ mu\tfrac15 &= \dots 121012102 \ \ (\text) &&= \cdots + 2\cdot 3^3 + 1 \cdot 3^2 + 0\cdot3^1 + 2 \cdot 3^0. \end Formally, given a prime number , a -adic number can be defined as a series s=\sum_^\infty a_i p^i = a_k p^k + a_ p^ + a_ p^ + \cdots where is an integer (possibly negative), and each a_i is an integer such that 0\le a_i < p. A -adic integer is a -adic number such that < ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bousfield Localization
In category theory, a branch of mathematics, a (left) Bousfield localization of a model category replaces the model structure with another model structure with the same cofibrations but with more weak equivalences. Bousfield localization is named after Aldridge Bousfield, who first introduced this technique in the context of localization of topological spaces and spectra. Model category structure of the Bousfield localization Given a class ''C'' of morphisms in a model category ''M'' the left Bousfield localization is a new model structure on the same category as before. Its equivalences, cofibrations and fibrations, respectively, are * the ''C''-local equivalences * the original cofibrations of ''M'' and (necessarily, since cofibrations and weak equivalences determine the fibrations) * the maps having the right lifting property with respect to the cofibrations in ''M'' which are also ''C''-local equivalences. In this definition, a ''C''-local equivalence is a map f\colon X \to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |