|
Monad (homological Algebra)
In homological algebra, a monad is a 3-term complex : ''A'' → ''B'' → ''C'' of objects in some abelian category whose middle term ''B'' is projective, whose first map ''A'' → ''B'' is injective, and whose second map ''B'' → ''C'' is surjective. Equivalently, a monad is a projective object together with a 3-step filtration ''B'' ⊃ ker(''B'' → ''C'') ⊃ im(''A'' → ''B''). In practice ''A'', ''B'', and ''C'' are often vector bundles over some space, and there are several minor extra conditions that some authors add to the definition. Monads were introduced by . See also *ADHM construction In mathematical physics and gauge theory, the ADHM construction or monad construction is the construction of all instantons using methods of linear algebra by Michael Atiyah, Vladimir Drinfeld, Nigel Hitchin, Yuri I. Manin in their paper "Constru ... References * * Vector bundles Homological algebra {{algebra-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homological Algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of module (mathematics), modules and Syzygy (mathematics), syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of category theory. A central concept is that of chain complexes, which can be studied through both their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariant (mathematics), invariants of ring (mathematics), rings, modules, topological spaces, and other 'tan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Category
In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of abelian groups, Ab. The theory originated in an effort to unify several cohomology theories by Alexander Grothendieck and independently in the slightly earlier work of David Buchsbaum. Abelian categories are very ''stable'' categories; for example they are regular and they satisfy the snake lemma. The class of abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Object
In category theory, the notion of a projective object generalizes the notion of a projective module. Projective objects in abelian categories are used in homological algebra. The dual notion of a projective object is that of an injective object. Definition An object P in a category \mathcal is ''projective'' if for any epimorphism e:E\twoheadrightarrow X and morphism f:P\to X, there is a morphism \overline:P\to E such that e\circ \overline=f, i.e. the following diagram commutes: That is, every morphism P\to X factors through every epimorphism E\twoheadrightarrow X. If ''C'' is locally small, i.e., in particular \operatorname_C(P, X) is a set for any object ''X'' in ''C'', this definition is equivalent to the condition that the hom functor (also known as corepresentable functor) : \operatorname(P,-)\colon\mathcal\to\mathbf preserves epimorphisms. Projective objects in abelian categories If the category ''C'' is an abelian category such as, for example, the category of abeli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Injective Function
In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositive statement.) In other words, every element of the function's codomain is the image of one element of its domain. The term must not be confused with that refers to bijective functions, which are functions such that each element in the codomain is an image of exactly one element in the domain. A homomorphism between algebraic structures is a function that is compatible with the operations of the structures. For all common algebraic structures, and, in particular for vector spaces, an is also called a . However, in the more general context of category theory, the definition of a monomorphism differs from that of an injective homomorphism. This is thus a theorem that they are equivalent for algebraic structures; see for more details. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surjective Function
In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of its domain. It is not required that be unique; the function may map one or more elements of to the same element of . The term ''surjective'' and the related terms ''injective'' and ''bijective'' were introduced by Nicolas Bourbaki, a group of mainly French 20th-century mathematicians who, under this pseudonym, wrote a series of books presenting an exposition of modern advanced mathematics, beginning in 1935. The French word '' sur'' means ''over'' or ''above'', and relates to the fact that the image of the domain of a surjective function completely covers the function's codomain. Any function induces a surjection by restricting its codomain to the image of its domain. Every surjective function has a right inverse assuming the axiom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Filtration (mathematics)
In mathematics, a filtration \mathcal is an indexed family (S_i)_ of subobjects of a given algebraic structure S, with the index i running over some totally ordered index set I, subject to the condition that ::if i\leq j in I, then S_i\subseteq S_j. If the index i is the time parameter of some stochastic process, then the filtration can be interpreted as representing all historical but not future information available about the stochastic process, with the algebraic structure S_i gaining in complexity with time. Hence, a process that is adapted to a filtration \mathcal is also called non-anticipating, because it cannot "see into the future". Sometimes, as in a filtered algebra, there is instead the requirement that the S_i be subalgebras with respect to some operations (say, vector addition), but not with respect to other operations (say, multiplication) that satisfy only S_i \cdot S_j \subseteq S_, where the index set is the natural numbers; this is by analogy with a graded ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ADHM Construction
In mathematical physics and gauge theory, the ADHM construction or monad construction is the construction of all instantons using methods of linear algebra by Michael Atiyah, Vladimir Drinfeld, Nigel Hitchin, Yuri I. Manin in their paper "Construction of Instantons." ADHM data The ADHM construction uses the following data: * complex vector spaces ''V'' and ''W'' of dimension ''k'' and ''N'', * ''k'' × ''k'' complex matrices ''B''1, ''B''2, a ''k'' × ''N'' complex matrix ''I'' and a ''N'' × ''k'' complex matrix ''J'', * a real moment map \mu_r = _1,B_1^\dagger _2,B_2^\daggerII^\dagger-J^\dagger J, * a complex moment map \displaystyle\mu_c = _1,B_2IJ. Then the ADHM construction claims that, given certain regularity conditions, * Given ''B''1, ''B''2, ''I'', ''J'' such that \mu_r=\mu_c=0, an anti-self-dual instanton in a SU(''N'') gauge theory with instanton number ''k'' can be constructed, * All anti-self-dual instantons c ... [...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] |
