|
Ω-spectrum
In algebraic topology, a branch of mathematics, a spectrum is an object representing a 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 , E^k\right/math>.Note there are several different 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 sequence X_n of pointed topological spaces or pointed simplicial sets together with th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after the Norwegian mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation ï½¥ , that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The sym ... [...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] |
Periodic Spectrum
Periodicity or periodic may refer to: Mathematics * Bott periodicity theorem, addresses Bott periodicity: a modulo-8 recurrence relation in the homotopy groups of classical groups * Periodic function, a function whose output contains values that repeat periodically * Periodic mapping Physical sciences * Periodic table of chemical elements * Periodic trends, relative characteristics of chemical elements observed * Redshift periodicity, astronomical term for redshift quantization Other uses * Fokker periodicity blocks, which mathematically relate musical intervals * Periodic acid, a compound of iodine * Principle of periodicity, a concept in generally accepted accounting principles * Quasiperiodicity, property of a system that displays irregular periodicity See also * Aperiodic (other) * Cycle (other) * Frequency (other) * Period (other) * Periodical * Seasonality In time series data, seasonality refers to the trends that occur at specif ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bott Periodicity
In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by , which proved to be of foundational significance for much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres. Bott periodicity can be formulated in numerous ways, with the periodicity in question always appearing as a period-2 phenomenon, with respect to dimension, for the theory associated to the unitary group. See for example topological K-theory. There are corresponding period-8 phenomena for the matching theories, ( real) KO-theory and (quaternionic) KSp-theory, associated to the real orthogonal group and the quaternionic symplectic group, respectively. The J-homomorphism is a homomorphism from the homotopy groups of orthogonal groups to stable homotopy groups of spheres, which causes the period 8 Bott periodicity to be visible in the stable homotopy groups of spheres. S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classifying Space
In mathematics, specifically in homotopy theory, a classifying space ''BG'' of a topological group ''G'' is the quotient of a weakly contractible space ''EG'' (i.e., a topological space all of whose homotopy groups are trivial) by a proper free action of ''G''. It has the property that any ''G'' principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle EG \to BG. As explained later, this means that classifying spaces represent a set-valued functor on the homotopy category of topological spaces. The term classifying space can also be used for spaces that represent a set-valued functor on the category of topological spaces, such as Sierpiński space. This notion is generalized by the notion of classifying topos. However, the rest of this article discusses the more commonly used notion of classifying space up to homotopy. For a discrete group ''G'', ''BG'' is a path-connected topological space ''X'' such that the fundamental group of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unitary Group
*
*
{{disambiguation ...
Unitary may refer to: Mathematics * Unitary divisor * Unitary element * Unitary group * Unitary matrix * Unitary morphism * Unitary operator * Unitary transformation * Unitary representation * Unitarity (physics) * ''E''-unitary inverse semigroup Politics * Unitary authority * Unitary state See also * Unital (other) * Unitarianism Unitarianism () is a Nontrinitarianism, nontrinitarian sect of Christianity. Unitarian Christians affirm the wikt:unitary, unitary God in Christianity, nature of God as the singular and unique Creator deity, creator of the universe, believe that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Bundles
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every point x of the space X we associate (or "attach") a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over X. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space V such that V(x)=V for all x in X: in this case there is a copy of V for each x in X and these copies fit together to form the vector bundle X\times V over X. Such vector bundles are said to be ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of smooth (or differentiable) manifolds: to every point of such a manifold w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoid
In abstract algebra, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being . Monoids are semigroups with identity. Such algebraic structures occur in several branches of mathematics. The functions from a set into itself form a monoid with respect to function composition. More generally, in category theory, the morphisms of an object to itself form a monoid, and, conversely, a monoid may be viewed as a category with a single object. In computer science and computer programming, the set of strings built from a given set of characters is a free monoid. Transition monoids and syntactic monoids are used in describing finite-state machines. Trace monoids and history monoids provide a foundation for process calculi and concurrent computing. In theoretical computer science, the study of monoids is fundamental for automata theory (Krohn–Rhodes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Group
In mathematics, the Grothendieck group, or group of differences, of a commutative monoid is a certain abelian group. This abelian group is constructed from in the most universal way, in the sense that any abelian group containing a group homomorphism, homomorphic image (mathematics), image of will also contain a homomorphic image of the Grothendieck group of . The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of object (category theory), objects of an abelian category, with the direct sum as its operation. Grothendieck group of a commutative monoid Motivation Given a commutative monoid , "the most general" abelian group that arises from is to be constructed by introducing inverse elements to all elements of . Such an abelian group always e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological K-theory
In mathematics, topological -theory is a branch of algebraic topology. It was founded to study vector bundles on topological spaces, by means of ideas now recognised as (general) K-theory that were introduced by Alexander Grothendieck. The early work on topological -theory is due to Michael Atiyah and Friedrich Hirzebruch. Definitions Let be a compact Hausdorff space and k= \R or \Complex. Then K_k(X) is defined to be the Grothendieck group of the commutative monoid of isomorphism classes of finite-dimensional -vector bundles over under Whitney sum. Tensor product of bundles gives -theory a commutative ring structure. Without subscripts, K(X) usually denotes complex -theory whereas real -theory is sometimes written as KO(X). The remaining discussion is focused on complex -theory. As a first example, note that the -theory of a point is the integers. This is because vector bundles over a point are trivial and thus classified by their rank and the Grothendieck group of the nat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Hochschild Homology
In mathematics, Topological Hochschild homology is a topological refinement of Hochschild homology which rectifies some technical issues with computations in characteristic p. For instance, if we consider the \mathbb-algebra \mathbb_p then HH_k(\mathbb_p/\mathbb) \cong \begin \mathbb_p & k \text \\ 0 & k \text \end but if we consider the ring structure on \begin HH_*(\mathbb_p/\mathbb) &= \mathbb_p\langle u \rangle \\ &= \mathbb_p ,u^2/2!, u^3/3!,\ldots \end (as a divided power algebra structure) then there is a significant technical issue: if we set u \in HH_2(\mathbb_p/\mathbb), so u^2 \in HH_4(\mathbb_p/\mathbb), and so on, we have u^p = 0 from the resolution of \mathbb_p as an algebra over \mathbb_p\otimes^\mathbf\mathbb_p, i.e. HH_k(\mathbb_p/\mathbb) = H_k(\mathbb_p\otimes_\mathbb_p) This calculation is further elaborated on the Hochschild homology page, but the key point is the pathological behavior of the ring structure on the Hochschild homology of \mathbb_p. In contrast, th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
