|
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 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 prod ...). It is also a simplicial model category. A symmetric ring spectrum is a m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Spectrum (topology)
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 ... [...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 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] |
|
|
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] |
|
 |
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] |
 |
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] |
 |
Simplicial Model Category
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. For example, * a 0-dimensional simplex is a point, * a 1-dimensional simplex is a line segment, * a 2-dimensional simplex is a triangle, * a 3-dimensional simplex is a tetrahedron, and * a 4-dimensional simplex is a 5-cell. Specifically, a -simplex is a -dimensional polytope that is the convex hull of its vertices. More formally, suppose the points u_0, \dots, u_k are affinely independent, which means that the vectors u_1 - u_0,\dots, u_k-u_0 are linearly independent. Then, the simplex determined by them is the set of points C = \left\. A regular simplex is a simplex that is also a regular polytope. A regular -simplex may be constructed from a regular -simplex by connecting a new vertex to all original vertices by the common ed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Commutative Ring Spectrum
In 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. Terminology Almost all reasonable categories of commutative ring spectra can be shown to be Quillen equivalent to each other. Thus, from the point view of the 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
S-modules
In algebraic topology, an \mathbb-object (also called a symmetric sequence) is a sequence \ of objects such that each X(n) comes with an actionAn action of a group ''G'' on an object ''X'' in a category ''C'' is a functor from ''G'' viewed as a category with a single object to ''C'' that maps the single object to ''X''. Note this functor then induces a group homomorphism G \to \operatorname(X); cf. Automorphism group#In category theory. of the 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 grou ... \mathbb_n. The category of combinatorial species is equivalent to the category of finite \mathbb-sets (roughly because the permutation category is equivalent to the category of finite sets and bijections.) S-module By ''\mathbb-module'', we mean an \mathbb-object in the cat ... [...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] |
 |
Simplicial Sets
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. For example, * a 0-dimensional simplex is a point (mathematics), point, * a 1-dimensional simplex is a line segment, * a 2-dimensional simplex is a triangle, * a 3-dimensional simplex is a tetrahedron, and * a Four-dimensional space, 4-dimensional simplex is a 5-cell. Specifically, a -simplex is a -dimensional polytope that is the convex hull of its Vertex (geometry), vertices. More formally, suppose the points u_0, \dots, u_k are affinely independent, which means that the vectors u_1 - u_0,\dots, u_k-u_0 are linearly independent. Then, the simplex determined by them is the set of points C = \left\. A regular simplex is a simplex that is also a regular polytope. A regular -simplex may be constructed from a regular -simplex by connecti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Symmetry
Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is Invariant (mathematics), invariant under some Transformation (function), transformations, such as Translation (geometry), translation, Reflection (mathematics), reflection, Rotation (mathematics), rotation, or Scaling (geometry), scaling. Although these two meanings of the word can sometimes be told apart, they are intricately related, and hence are discussed together in this article. Mathematical symmetry may be observed with respect to the passage of time; as a space, spatial relationship; through geometric transformations; through other kinds of functional transformations; and as an aspect of abstract objects, including scientific model, theoretic models, language, and music. This article describes symmetry from three perspectives: in mathematics, including geometry, the m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |