|
N-group (category Theory)
In mathematics, an ''n''-group, or ''n''-dimensional higher group, is a special kind of ''n''-category that generalises the concept of group to higher-dimensional algebra. Here, n may be any natural number or infinity. The thesis of Alexander Grothendieck's student Hoà ng Xuân SÃnh was an in-depth study of under the moniker 'gr-category'. The general definition of n-group is a matter of ongoing research. However, it is expected that every topological space will have a ''homotopy '' at every point, which will encapsulate the Postnikov tower of the space up to the homotopy group \pi_n, or the entire Postnikov tower for n=\infty. Examples Eilenberg-Maclane spaces One of the principal examples of higher groups come from the homotopy types of Eilenberg–MacLane spaces K(A,n) since they are the fundamental building blocks for constructing higher groups, and homotopy types in general. For instance, every group G can be turned into an Eilenberg-Maclane space K(G,1) through a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cohomology Class
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory. From its start in topology, this idea became a dominant method in the mathematics of the second half of the twentieth century. From the initial idea of homology as a method of constructing algebraic invariants of topological spaces, the range of applications of homology and cohomology theories has spread throughout geometry and algebra. The terminology tends to hide the fact that cohomology, a contravariant theory, is more natural than homology in many applications. At a basic level, this has to do wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian 2-group
In mathematics, an Abelian 2-group is a higher dimensional analogue of an Abelian group, in the sense of higher algebra, which were originally introduced by Alexander Grothendieck while studying abstract structures surrounding Abelian varieties and Picard groups. More concretely, they are given by groupoids \mathbb which have a bifunctor +:\mathbb\times\mathbb \to \mathbb which acts formally like the addition an Abelian group. Namely, the bifunctor + has a notion of commutativity, associativity, and an identity structure. Although this seems like a rather lofty and abstract structure, there are several (very concrete) examples of Abelian 2-groups. In fact, some of which provide prototypes for more complex examples of higher algebraic structures, such as Abelian ''n''-groups. Definition An Abelian 2-group is a groupoid \mathbb (that is, a category in which every morphism is an isomorphism) with a bifunctor +: \mathbb\times\mathbb \to \mathbb and natural transformations :\begin \t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Hypothesis
In category theory, a branch of mathematics, Grothendieck's homotopy hypothesis states, homotopy theory speaking, that the ∞-groupoids are space (mathematics), spaces. One version of the hypothesis was claimed to be proved in the 1991 paper by Mikhail Kapranov, Kapranov and Vladimir Voevodsky, Voevodsky. Their proof turned out to be flawed and their result in the form interpreted by Carlos Simpson is now known as the Simpson conjecture. In higher category theory, one considers a space-valued presheaf instead of a presheaf (category theory), set-valued presheaf in ordinary category theory. In view of homotopy hypothesis, a space here can be taken to an ∞-groupoid. Formulations A precise formulation of the hypothesis very strongly depends on the definition of an ∞-groupoid. One definition is that, mimicking the ordinary category case, an ∞-groupoid is an ∞-category in which each morphism is invertible or equivalently its homotopy category of an ∞-category, homotopy cat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Crossed Module
In mathematics, and especially in homotopy theory, a crossed module consists of groups G and H, where G acts on H by automorphisms (which we will write on the left, (g,h) \mapsto g \cdot h , and a homomorphism of groups : d\colon H \longrightarrow G, that is equivariant with respect to the conjugation action of G on itself: : d(g \cdot h) = gd(h)g^ and also satisfies the so-called Peiffer identity: : d(h_) \cdot h_ = h_h_h_^ Origin The first mention of the second identity for a crossed module seems to be in footnote 25 on p. 422 of J. H. C. Whitehead's 1941 paper cited below, while the term 'crossed module' is introduced in his 1946 paper cited below. These ideas were well worked up in his 1949 paper 'Combinatorial homotopy II', which also introduced the important idea of a free crossed module. Whitehead's ideas on crossed modules and their applications are developed and explained in the book by Brown, Higgins, Sivera listed below. Some generalisations of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
∞-groupoid
In category theory, a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are fibrant objects in the category (mathematics), category of simplicial sets (with the standard model category, model structure). It is an ∞-category generalization of a groupoid, a category in which every morphism is an isomorphism. The homotopy hypothesis states that ∞-groupoids are equivalent to spaces up to homotopy. Globular Groupoids Alexander Grothendieck suggested in ''Pursuing Stacks'' that there should be an extraordinarily simple model of ∞-groupoids using globular sets, originally called hemispherical complexes. These sets are constructed as Sheaf (mathematics)#Presheaves, presheaves on the globular category \mathbb. This is defined as the category whose objects are finite ordinals [n] and morphisms are given by \begin \sigma_n: [n] \to [n+1]\\ \tau_n: [n] \to [n+1] \end such that the globular relations hold \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Torus
In mathematics, a complex torus is a particular kind of complex manifold ''M'' whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number ''N'' circles). Here ''N'' must be the even number 2''n'', where ''n'' is the complex dimension of ''M''. All such complex structures can be obtained as follows: take a lattice Λ in a vector space V isomorphic to C''n'' considered as real vector space; then the quotient group V/\Lambda is a compact complex manifold. All complex tori, up to isomorphism, are obtained in this way. For ''n'' = 1 this is the classical period lattice construction of elliptic curves. For ''n'' > 1 Bernhard Riemann found necessary and sufficient conditions for a complex torus to be an algebraic variety; those that are varieties can be embedded into complex projective space, and are the abelian varieties. The actual projective embeddings are complicated (see equations defining abelian varieties) when ''n'' > 1, and are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homomorphism
In algebra, a homomorphism is a morphism, structure-preserving map (mathematics), map between two algebraic structures of the same type (such as two group (mathematics), groups, two ring (mathematics), rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" and () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German meaning "similar" to meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925). Homomorphisms of vector spaces are also called linear maps, and their study is the subject of linear algebra. The concept of homomorphism has been generalized, under the name of morphism, to many other structures that either do not have an underlying set, or are not algebraic. This generalization is the starting point of category theory. A homomorphism may also be an isomorphis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sheaf (mathematics)
In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data are well-behaved in that they can be restricted to smaller open sets, and also the data assigned to an open set are equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every datum is the sum of its constituent data). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract objects. Their precise definition is rather technical. They are specifically defined as sheaves of sets or as sheaves of rings, for example, depending on the type of data assigned to the open sets. There are also maps (or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Cover
In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If p : \tilde X \to X is a covering, (\tilde X, p) is said to be a covering space or cover of X, and X is said to be the base of the covering, or simply the base. By abuse of terminology, \tilde X and p may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étalé space. Covering spaces first arose in the context of complex analysis (specifically, the technique of analytic continuation), where they were introduced by Riemann as domains on which naturally multivalued complex functions become single-valued. These spaces are now called Riemann surfaces. Covering spaces are an important tool in several areas of mathematics. In modern geometry, covering spaces ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Manifold
In differential geometry and complex geometry, a complex manifold is a manifold with a ''complex structure'', that is an atlas (topology), atlas of chart (topology), charts to the open unit disc in the complex coordinate space \mathbb^n, such that the transition maps are Holomorphic function, holomorphic. The term "complex manifold" is variously used to mean a complex manifold in the sense above (which can be specified as an ''integrable'' complex manifold) or an almost complex manifold, ''almost'' complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth manifold, smooth and complex manifolds have very different flavors: compact space, compact complex manifolds are much closer to algebraic variety, algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be Embedding, embedded as a smooth subma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Groupoid
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] |
