|
A∞-operad
In the theory of operads in algebra and algebraic topology, an A∞-operad is a parameter space for a multiplication map that is homotopy coherently associative. (An operad that describes a multiplication that is both homotopy coherently associative and homotopy coherently commutative is called an E∞-operad.) Definition In the (usual) setting of operads with an action of the symmetric group on topological spaces, an operad ''A'' is said to be an ''A''∞-operad if all of its spaces ''A''(''n'') are Σ''n''-equivariantly homotopy equivalent to the discrete spaces Σ''n'' (the symmetric group) with its multiplication action (where ''n'' ∈ N). In the setting of non-Σ operads (also termed nonsymmetric operads, operads without permutation), an operad ''A'' is ''A''∞if all of its spaces ''A''(''n'') are contractible. In other categories than topological spaces, the notions of ''homotopy'' and ''contractibility'' have to be replaced by suitable analogs, such as homology equiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Associative Algebra
In mathematics, an algebra such as (\R,+,\cdot) has multiplication \cdot whose associativity is well-defined on the nose. This means for any real numbers a,b,c\in \R we have :a\cdot(b\cdot c) - (a\cdot b)\cdot c = 0. But, there are algebras R which are not necessarily associative, meaning if a,b,c\in R then :a\cdot(b\cdot c) - (a\cdot b)\cdot c \neq 0 in general. There is a notion of algebras, called A_\infty-algebras, which still have a property on the multiplication which still acts like the first relation, meaning associativity holds, but only holds up to a homotopy, which is a way to say after an operation "compressing" the information in the algebra, the multiplication is associative. This means although we get something which looks like the second equation, the one of inequality, we actually get equality after "compressing" the information in the algebra. The study of A_\infty-algebras is a subset of homotopical algebra, where there is a homotopical notion of associative algeb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operad
In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad O, one defines an ''algebra over O'' to be a set together with concrete operations on this set which behave just like the abstract operations of O. For instance, there is a Lie operad L such that the algebras over L are precisely the Lie algebras; in a sense L abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations. History Operads originate in algebraic topology; they were introduced to characterize iterated loop spaces by J. Michael Boardman and Rainer M. Vogt in 1969 and by J. Peter May in 1970. The word "operad" was created by May as a portmanteau of "operations" and "monad" (and also because his mother was an opera singer). Interest in operads was consid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
H-space
In mathematics, an H-space is a homotopy-theoretic version of a generalization of the notion of topological group, in which the axioms on associativity and inverses are removed. Definition An H-space consists of a topological space , together with an element of and a continuous map , such that and the maps and are both homotopic to the identity map through maps sending to . This may be thought of as a pointed topological space together with a continuous multiplication for which the basepoint is an identity element up to basepoint-preserving homotopy. One says that a topological space is an H-space if there exists and such that the triple is an H-space as in the above definition. Alternatively, an H-space may be defined without requiring homotopies to fix the basepoint , or by requiring to be an exact identity, without any consideration of homotopy. In the case of a CW complex, all three of these definitions are in fact equivalent. Examples and properties The standard ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Notices Of The American Mathematical Society
''Notices of the American Mathematical Society'' is the membership journal of the American Mathematical Society (AMS), published monthly except for the combined June/July issue. The first volume appeared in 1953. Each issue of the magazine since January 1995 is available in its entirety on the journal web site. Articles are peer-reviewed by an editorial board of mathematical experts. Since 2019, the editor-in-chief is Erica Flapan. The cover regularly features mathematical visualization Mathematical phenomena can be understood and explored via visualization. Classically this consisted of two-dimensional drawings or building three-dimensional models (particularly plaster models in the 19th and early 20th century), while today it ...s. The ''Notices'' is self-described to be the world's most widely read mathematical journal. As the membership journal of the American Mathematical Society, the ''Notices'' is sent to the approximately 30,000 AMS members worldwide, one-third of whom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interval (mathematics)
In mathematics, a (real) interval is a set of real numbers that contains all real numbers lying between any two numbers of the set. For example, the set of numbers satisfying is an interval which contains , , and all numbers in between. Other examples of intervals are the set of numbers such that , the set of all real numbers \R, the set of nonnegative real numbers, the set of positive real numbers, the empty set, and any singleton (set of one element). Real intervals play an important role in the theory of integration, because they are the simplest sets whose "length" (or "measure" or "size") is easy to define. The concept of measure can then be extended to more complicated sets of real numbers, leading to the Borel measure and eventually to the Lebesgue measure. Intervals are central to interval arithmetic, a general numerical computing technique that automatically provides guaranteed enclosures for arbitrary formulas, even in the presence of uncertainties, mathematic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associahedron
In mathematics, an associahedron is an -dimensional convex polytope in which each vertex corresponds to a way of correctly inserting opening and closing parentheses in a string of letters, and the edges correspond to single application of the associativity rule. Equivalently, the vertices of an associahedron correspond to the triangulations of a regular polygon with sides and the edges correspond to edge flips in which a single diagonal is removed from a triangulation and replaced by a different diagonal. Associahedra are also called Stasheff polytopes after the work of Jim Stasheff, who rediscovered them in the early 1960s after earlier work on them by Dov Tamari. Examples The one-dimensional associahedron ''K''3 represents the two parenthesizations ((''xy'')''z'') and (''x''(''yz'')) of three symbols, or the two triangulations of a square. It is itself a line segment. The two-dimensional associahedron ''K''4 represents the five parenthesizations of four symbols, or th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pseudoholomorphic Curve
In mathematics, specifically in topology and geometry, a pseudoholomorphic curve (or ''J''-holomorphic curve) is a smooth map from a Riemann surface into an almost complex manifold that satisfies the Cauchy–Riemann equation. Introduced in 1985 by Mikhail Gromov, pseudoholomorphic curves have since revolutionized the study of symplectic manifolds. In particular, they lead to the Gromov–Witten invariants and Floer homology, and play a prominent role in string theory. Definition Let X be an almost complex manifold with almost complex structure J. Let C be a smooth Riemann surface (also called a complex curve) with complex structure j. A pseudoholomorphic curve in X is a map f : C \to X that satisfies the Cauchy–Riemann equation :\bar \partial_ f := \frac(df + J \circ df \circ j) = 0. Since J^2 = -1, this condition is equivalent to :J \circ df = df \circ j, which simply means that the differential df is complex-linear, that is, J maps each tangent space :T_xf(C)\subseteq T_xX to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fukaya Category
In symplectic topology, a Fukaya category of a symplectic manifold (M, \omega) is a category \mathcal F (M) whose objects are Lagrangian submanifolds of M, and morphisms are Floer chain groups: \mathrm (L_0, L_1) = FC (L_0,L_1). Its finer structure can be described in the language of quasi categories as an ''A''∞-category. They are named after Kenji Fukaya who introduced the A_\infty language first in the context of Morse homology, and exist in a number of variants. As Fukaya categories are ''A''∞-categories, they have associated derived categories, which are the subject of the celebrated homological mirror symmetry conjecture of Maxim Kontsevich.Kontsevich, Maxim, ''Homological algebra of mirror symmetry'', Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 120–139, Birkhäuser, Basel, 1995. This conjecture has been computationally verified for a number of comparatively simple examples. Formal definition Let (X, \omega) be a sy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories). Concepts Spaces and maps In homotopy theory and algebraic topology, the word "space" denotes a topological space. In order to avoid pathologies, one rarely works with arbitrary spaces; instead, one requires spaces to meet extra constraints, such as being compactly generated, or Hausdorff, or a CW complex. In the same vein as above, a "map" is a continuous function, possibly with some extra constraints. Often, one works with a pointed space -- that is, a space with a "distinguished point", called a basepoint. A pointed map is then a map which preserv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Completion
In mathematics, the Grothendieck group, or group of differences, of a commutative monoid is a certain abelian group. This abelian group is constructed from in the most universal way, in the sense that any abelian group containing a homomorphic image of will also contain a homomorphic image of the Grothendieck group of . The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation. Grothendieck group of a commutative monoid Motivation Given a commutative monoid , "the most general" abelian group that arises from is to be constructed by introducing inverse elements to all elements of . Such an abelian group always exists; it is called the Grothendieck group of . It is characteri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Loop Space
In topology, a branch of mathematics, the loop space Ω''X'' of a pointed topological space ''X'' is the space of (based) loops in ''X'', i.e. continuous pointed maps from the pointed circle ''S''1 to ''X'', equipped with the compact-open topology. Two loops can be multiplied by concatenation. With this operation, the loop space is an ''A''∞-space. That is, the multiplication is homotopy-coherently associative. The set of path components of Ω''X'', i.e. the set of based-homotopy equivalence classes of based loops in ''X'', is a group, the fundamental group ''π''1(''X''). The iterated loop spaces of ''X'' are formed by applying Ω a number of times. There is an analogous construction for topological spaces without basepoint. The free loop space of a topological space ''X'' is the space of maps from the circle ''S''1 to ''X'' with the compact-open topology. The free loop space of ''X'' is often denoted by \mathcalX. As a functor, the free loop space construction is righ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chain Complex
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or module (mathematics), modules) and a sequence of group homomorphism, homomorphisms between consecutive groups such that the image (mathematics), image of each homomorphism is included in the kernel (algebra)#Group homomorphisms, kernel of the next. Associated to a chain complex is its Homology (mathematics), homology, which describes how the images are included in the kernels. A cochain complex is similar to a chain complex, except that its homomorphisms are in the opposite direction. The homology of a cochain complex is called its cohomology. In algebraic topology, the singular chain complex of a topological space X is constructed using continuous function#continuous functions between topological spaces, continuous maps from a simplex to X, and the homomorphisms of the chain complex capture how these maps restrict to the boundary of the simplex. The homology of this chain co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
