|
E-infinity Ring
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Theory
In mathematics, homotopy theory is a systematic study of situations in which Map (mathematics), maps can come with homotopy, homotopies between them. It originated as a topic in algebraic topology, but nowadays is learned as an independent discipline. Applications to other fields of mathematics Besides algebraic topology, the theory has also been used in other areas of mathematics such as: * Algebraic geometry (e.g., A1 homotopy theory, A1 homotopy theory) * Category theory (specifically the study of higher category theory, higher categories) Concepts Spaces and maps In homotopy theory and algebraic topology, the word "space" denotes a topological space. In order to avoid Pathological (mathematics), pathologies, one rarely works with arbitrary spaces; instead, one requires spaces to meet extra constraints, such as being Category of compactly generated weak Hausdorff spaces, compactly generated weak Hausdorff or a CW complex. In the same vein as above, a "Map (mathematics), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
En-ring
In mathematics, an \mathcal_n-algebra in a symmetric monoidal infinity category ''C'' consists of the following data: *An object A(U) for any open subset ''U'' of Rn homeomorphic to an ''n''-disk. *A multiplication map: *:\mu: A(U_1) \otimes \cdots \otimes A(U_m) \to A(V) :for any disjoint open disks U_j contained in some open disk ''V'' subject to the requirements that the multiplication maps are compatible with composition, and that \mu is an equivalence if m=1. An equivalent definition is that ''A'' is an algebra in ''C'' over the little ''n''-disks operad. Examples * An \mathcal_n-algebra in vector spaces over a field is a unital associative algebra if ''n'' = 1, and a unital commutative associative algebra if ''n'' ≥ 2. * An \mathcal_n-algebra in categories is a monoidal category if ''n'' = 1, a braided monoidal category if ''n'' = 2, and a symmetric monoidal category if ''n'' ≥ 3. * If Λ is a commutative ring, then X \mapsto C_*(\Omega^n X; \Lambda) defines an \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Monoidal Category
In category theory, a branch of mathematics, a symmetric monoidal category is a monoidal category (i.e. a category in which a "tensor product" \otimes is defined) such that the tensor product is symmetric (i.e. A\otimes B is, in a certain strict sense, naturally isomorphic to B\otimes A for all objects A and B of the category). One of the prototypical examples of a symmetric monoidal category is the category of vector spaces over some fixed field ''k,'' using the ordinary tensor product of vector spaces. Definition A symmetric monoidal category is a monoidal category (''C'', ⊗, ''I'') such that, for every pair ''A'', ''B'' of objects in ''C'', there is an isomorphism s_: A \otimes B \to B \otimes A called the ''swap map'' that is natural in both ''A'' and ''B'' and such that the following diagrams commute: *The unit coherence: *: *The associativity coherence: *: *The inverse law: *: In the diagrams above, ''a'', ''l'', and ''r'' are the associativity isomorphism, the left unit i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Set
In mathematics, a simplicial set is a sequence of sets with internal order structure ( abstract simplices) and maps between them. Simplicial sets are higher-dimensional generalizations of directed graphs. Every simplicial set gives rise to a "nice" topological space, known as its geometric realization. This realization consists of geometric simplices, glued together according to the rules of the simplicial set. Indeed, one may view a simplicial set as a purely combinatorial construction designed to capture the essence of a topological space for the purposes of homotopy theory. Specifically, the category of simplicial sets carries a natural model structure, and the corresponding homotopy category is equivalent to the familiar homotopy category of topological spaces. Formally, a simplicial set may be defined as a contravariant functor from the simplex category to the category of sets. Simplicial sets were introduced in 1950 by Samuel Eilenberg and Joseph A. Zilber. Simplic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Spectra
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. The possibility of this definition of "ring spectrum" was one of motivations behind the category. A similar technical goal is also achieved by May's theory of S-mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic operations other than the standard arithmetic operations, such as addition and multiplication. Elementary algebra is the main form of algebra taught in schools. It examines mathematical statements using variables for unspecified values and seeks to determine for which values the statements are true. To do so, it uses different methods of transforming equations to isolate variables. Linear algebra is a closely related field that investigates linear equations and combinations of them called '' systems of linear equations''. It provides methods to find the values that solve all equations in the system at the same time, and to study the set of these solutions. Abstract algebra studies algebraic structures, which consist of a set of mathemati ... [...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) and is the quotient of the product space under the identifications for all in and in . The smash product is itself a pointed space, with basepoint being the equivalence class of The smash product is usually denoted or . The smash product depends on the choice of basepoints (unless both ''X'' and ''Y'' are homogeneous). One can think of and as sitting inside as the subspaces and These subspaces intersect at a single point: the basepoint of So the union of these subspaces can be identified with the wedge sum X \vee Y = (X \amalg Y)\;/. In particular, in is identified with in X \vee Y, ditto for and . In X \vee Y, subspaces and intersect in the single point x_0 \sim y_0. The smash product is then the quotient :X \wedge Y = (X \times Y) / (X \vee Y). The smash product shows up in homotopy theory, a branch of algebraic topol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoidal Category
In mathematics, a monoidal category (or tensor category) is a category (mathematics), category \mathbf C equipped with a bifunctor :\otimes : \mathbf \times \mathbf \to \mathbf that is associative up to a natural isomorphism, and an Object (category theory), object ''I'' that is both a left identity, left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions, which ensure that all the relevant diagram (category theory), diagrams commutative diagram, commute. The ordinary tensor product makes vector spaces, abelian groups, module (mathematics), ''R''-modules, or algebra (ring theory), ''R''-algebras into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples. Every (small category, small) monoidal category may also be viewed as a "categorification" of an underlying monoid, namely the monoid whose elements are the isomorphism classes of the category ... [...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] |
Quillen Adjunction
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 funct ... [...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] |
