|
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] |
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 of algebraic topology 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 gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E-infinity 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. While originally motivated by questions of geometric topology and bundle theory, they are today most often used in stable homotopy theory. Background Highly structured ring spectra have better formal properties than multiplicative cohomology theories – a point utilized, for example, in the construction of topological modular forms, and which has allowed also new constructions of more classical objects such as Morava K-theory. Beside their formal properties, E_\infty-structures are also important in calculations, since they allow for operations in the underlying cohomology theory, analogous to (and generalizing) the well-known Steenrod operations in ordinary cohomology. As not every cohomology theory allows such operations, not every mul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Monoid
In abstract algebra, a branch of mathematics, 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 0. 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 theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smash Product
In topology, a branch of mathematics, the smash product of two pointed spaces (i.e. topological spaces with distinguished basepoints) (''X,'' ''x''0) and (''Y'', ''y''0) is the quotient of the product space ''X'' × ''Y'' under the identifications (''x'', ''y''0) ∼ (''x''0, ''y'') for all ''x'' in ''X'' and ''y'' in ''Y''. The smash product is itself a pointed space, with basepoint being the equivalence class of (''x''0, ''y''0). The smash product is usually denoted ''X'' ∧ ''Y'' or ''X'' ⨳ ''Y''. The smash product depends on the choice of basepoints (unless both ''X'' and ''Y'' are homogeneous). One can think of ''X'' and ''Y'' as sitting inside ''X'' × ''Y'' as the subspaces ''X'' × and × ''Y''. These subspaces intersect at a single point: (''x''0, ''y''0), the basepoint of ''X'' × ''Y''. So the union of these subspaces can be identified with the wedge sum ''X'' â ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Spectrum
In algebraic topology, a symmetric spectrum ''X'' is a spectrum of pointed simplicial sets that comes with an action of the symmetric group \Sigma_n on X_n such that the composition of structure maps :S^1 \wedge \dots \wedge S^1 \wedge X_n \to S^1 \wedge \dots \wedge S^1 \wedge X_ \to \dots \to S^1 \wedge X_ \to X_ is equivariant with respect to \Sigma_p \times \Sigma_n. A morphism between symmetric spectra is a morphism of spectra that is equivariant with respect to the actions of symmetric groups. The technical advantage of the category \mathcalp^\Sigma of symmetric spectra is that it has a closed symmetric monoidal structure (with respect to smash product). It is also a simplicial model category. A symmetric ring spectrum is a monoid in \mathcalp^\Sigma; if the monoid is commutative, it's a 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 goodsymmet ... [...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] |
Quillen Equivalent
In homotopy theory, a branch of mathematics, a Quillen adjunction between two closed model categories C and D is a special kind of adjunction between categories that induces an adjunction between the homotopy categories Ho(C) and Ho(D) via the total derived functor construction. Quillen adjunctions are named in honor of the mathematician Daniel Quillen. Formal definition Given two closed model categories C and D, a Quillen adjunction is a pair :(''F'', ''G''): C \leftrightarrows D of adjoint functors with ''F'' left adjoint to ''G'' such that ''F'' preserves cofibrations and trivial cofibrations or, equivalently by the closed model axioms, such that ''G'' preserves fibrations and trivial fibrations. In such an adjunction ''F'' is called the left Quillen functor and ''G'' is called the right Quillen functor. Properties It is a consequence of the axioms that a left (right) Quillen functor preserves weak equivalences between cofibrant (fibrant) objects. The total derived func ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Graded Algebra
In mathematics, in particular abstract algebra and topology, a differential graded algebra is a graded associative algebra with an added chain complex structure that respects the algebra structure. __TOC__ Definition A differential graded algebra (or DG-algebra for short) ''A'' is a graded algebra equipped with a map d\colon A \to A which has either degree 1 (cochain complex convention) or degree −1 (chain complex convention) that satisfies two conditions: A more succinct way to state the same definition is to say that a DG-algebra is a monoid object in the monoidal category of chain complexes. A DG morphism between DG-algebras is a graded algebra homomorphism which respects the differential ''d''. A differential graded augmented algebra (also called a DGA-algebra, an augmented DG-algebra or simply a DGA) is a DG-algebra equipped with a DG morphism to the ground ring (the terminology is due to Henri Cartan). ''Warning:'' some sources use the term ''DGA'' for a DG-alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Witten Genus
In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary (i.e., up to suitable cobordism) to another ring, usually the rational numbers, having the property that they are constructed from a sequence of polynomials in characteristic classes that arise as coefficients in formal power series with good multiplicative properties. Definition A genus \varphi assigns a number \Phi(X) to each manifold ''X'' such that # \Phi(X \sqcup Y) = \Phi(X) + \Phi(Y) (where \sqcup is the disjoint union); # \Phi(X \times Y) = \Phi(X)\Phi(Y); # \Phi(X) = 0 if ''X'' is the boundary of a manifold with boundary. The manifolds and manifolds with boundary may be required to have additional structure; for example, they might be oriented, spin, stably complex, and so on (see list of cobordism theories for many more examples). The value \Phi(X) is in some ring, often the ring of rat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morphism
In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms are functions; in linear algebra, linear transformations; in group theory, group homomorphisms; in topology, continuous functions, and so on. In category theory, ''morphism'' is a broadly similar idea: the mathematical objects involved need not be sets, and the relationships between them may be something other than maps, although the morphisms between the objects of a given category have to behave similarly to maps in that they have to admit an associative operation similar to function composition. A morphism in category theory is an abstraction of a homomorphism. The study of morphisms and of the structures (called "objects") over which they are defined is central to category theory. Much of the terminology of morphisms, as well as the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Modular Forms
In mathematics, topological modular forms (tmf) is the name of a spectrum that describes a generalized cohomology theory. In concrete terms, for any integer ''n'' there is a topological space \operatorname^, and these spaces are equipped with certain maps between them, so that for any topological space ''X'', one obtains an abelian group structure on the set \operatorname^(X) of homotopy classes of continuous maps from ''X'' to \operatorname^. One feature that distinguishes tmf is the fact that its coefficient ring, \operatorname^(point), is almost the same as the graded ring of holomorphic modular forms with integral cusp expansions. Indeed, these two rings become isomorphic after inverting the primes 2 and 3, but this inversion erases a lot of torsion information in the coefficient ring. The spectrum of topological modular forms is constructed as the global sections of a sheaf of E-infinity ring spectra on the moduli stack of (generalized) elliptic curves. This theory has rela ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
