|
Morava K-theory
In stable homotopy theory, a branch of mathematics, Morava K-theory is one of a collection of cohomology theories introduced in algebraic topology by Jack Morava in unpublished preprints in the early 1970s. For every prime number ''p'' (which is suppressed in the notation), it consists of theories ''K''(''n'') for each nonnegative integer ''n'', each a ring spectrum in the sense of homotopy theory. published the first account of the theories. Details The theory ''K''(0) agrees with singular homology with rational coefficients, whereas ''K''(1) is a summand of mod-''p'' complex K-theory. The theory ''K''(''n'') has coefficient ring :F''p'' 'v''''n'',''v''''n''−1 where ''v''''n'' has degree 2(''p''''n'' − 1). In particular, Morava K-theory is periodic with this period, in much the same way that complex K-theory has period 2. These theories have several remarkable properties. * They have Künneth isomorphisms for arbitrary pairs of spaces: that is, for '' ... [...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] |
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 variant of the suspension for a 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 \)\big/ ( 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 p ... [...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] |
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] |
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. ''Category theory'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thick Subcategory
{{disambig ...
Thick may refer to: * A bulky or heavyset body shape or overweight * ''Thick'' (album), 1999 fusion jazz album by Tribal Tech * Thick concept, in philosophy, a concept that is both descriptive and evaluative * Thick description, in anthropology, a description that explains a behaviour along with its broader context * Thick Records, a Chicago-based record label * Thick set, in mathematics, set of integers containing arbitrarily long intervals * Thick fluid, a viscous fluid See also * * * Thicke, a surname * Thickened fluids, a medically prescribed substance * Thickening, a cooking process * Thickening agent, a substance used in cooking * Thickhead (other) * Thickness (other) Thickness may refer to: * Thickness (graph theory) * Thickness (geology), the distance across a layer of rock * Thickness (meteorology), the difference in height between two atmospheric pressure levels * Thickness planer a woodworking machine * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael J
Michael may refer to: People * Michael (given name), a given name * he He ..., a given name * Michael (surname), including a list of people with the surname Michael Given name * Michael (bishop elect)">Michael (surname)">he He ..., a given name * Michael (surname), including a list of people with the surname Michael Given name * Michael (bishop elect), English 13th-century Bishop of Hereford elect * Michael (Khoroshy) (1885–1977), cleric of the Ukrainian Orthodox Church of Canada * Michael Donnellan (fashion designer), Michael Donnellan (1915–1985), Irish-born London fashion designer, often referred to simply as "Michael" * Michael (footballer, born 1982), Brazilian footballer * Michael (footballer, born 1983), Brazilian footballer * Michael (footballer, born 1993), Brazilian footballer * Michael (footballer, born February 1996), Brazilian footballer * Michael (footballer, born March 1996), Brazilian footballer * Michael (footballer, born 1999), Brazilian football ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Type (homotopy Theory)
In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies. This includes, among other lines of work, the construction of homotopical and higher-categorical models for such type theories; the use of type theory as a logic (or internal language) for abstract homotopy theory and higher category theory; the development of mathematics within a type-theoretic foundation (including both previously existing mathematics and new mathematics that homotopical types make possible); and the formalization of each of these in computer proof assistants. There is a large overlap between the work referred to as homotopy type theory, and that called the univalent foundations project. Although neither is precisely delineated, and the terms are sometimes used interchangeably, the choice of usage also some ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum (homotopy Theory)
A spectrum (: spectra or spectrums) is a set of related ideas, objects, or properties whose features overlap such that they blend to form a continuum. The word ''spectrum'' was first used scientifically in optics to describe the rainbow of colors in visible light after passing through a prism. In the optical spectrum, light wavelength is viewed as continuous, and spectral colors are seen to blend into one another smoothly when organized in order of their corresponding wavelengths. As scientific understanding of light advanced, the term came to apply to the entire electromagnetic spectrum, including radiation not visible to the human eye. ''Spectrum'' has since been applied by analogy to topics outside optics. Thus, one might talk about the " spectrum of political opinion", or the "spectrum of activity" of a drug, or the "autism spectrum". In these uses, values within a spectrum may not be associated with precisely quantifiable numbers or definitions. Such uses imply a broad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Group
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 i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
