|
Cyclic Homology
In noncommutative geometry and related branches of mathematics, cyclic homology and cyclic cohomology are certain (co)homology theories for associative algebras which generalize the de Rham (co)homology of manifolds. These notions were independently introduced by Boris Tsygan (homology) and Alain Connes (cohomology) in the 1980s. These invariants have many interesting relationships with several older branches of mathematics, including de Rham theory, Hochschild (co)homology, group cohomology, and the K-theory. Contributors to the development of the theory include Max Karoubi, Yuri L. Daletskii, Boris Feigin, Jean-Luc Brylinski, Mariusz Wodzicki, Jean-Louis Loday, Victor Nistor, Daniel Quillen, Joachim Cuntz, Ryszard Nest, Ralf Meyer, and Michael Puschnigg. Hints about definition The first definition of the cyclic homology of a ring ''A'' over a field of characteristic zero, denoted :''HC''''n''(''A'') or ''H''''n''λ(''A''), proceeded by the means of the following explic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noncommutative Geometry
Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of ''spaces'' that are locally presented by noncommutative algebras of functions (possibly in some generalized sense). A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which xy does not always equal yx; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions. An approach giving deep insight about noncommutative spaces is through operator algebras (i.e. algebras of bounded linear operators on a Hilbert space). Perhaps one of the typical examples of a noncommutative space is the " noncommutative tori", which played a key role in the early development of this field in 1980s and lead to noncommutat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Object
In mathematics, a simplicial set is an object composed of ''simplices'' in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and categories. 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. 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 "well-behaved" 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. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poisson Manifold
In differential geometry, a Poisson structure on a smooth manifold M is a Lie bracket \ (called a Poisson bracket in this special case) on the algebra (M) of smooth functions on M , subject to the Leibniz rule : \ = \h + g \ . Equivalently, \ defines a Lie algebra structure on the vector space (M) of smooth functions on M such that X_:= \: (M) \to (M) is a vector field for each smooth function f (making (M) into a Poisson algebra). Poisson structures on manifolds were introduced by André Lichnerowicz in 1977. They were further studied in the classical paper of Alan Weinstein, where many basic structure theorems were first proved, and which exerted a huge influence on the development of Poisson geometry — which today is deeply entangled with non-commutative geometry, integrable systems, topological field theories and representation theory, to name a few. Poisson structures are named after the French mathematician Siméon Denis Poisson, due to thei ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deformation Quantization
Deformation can refer to: * Deformation (engineering), changes in an object's shape or form due to the application of a force or forces. ** Deformation (physics), such changes considered and analyzed as displacements of continuum bodies. * Deformation (meteorology), a measure of the rate at which the shapes of clouds and other fluid bodies change. * Deformation (mathematics), the study of conditions leading to slightly different solutions of mathematical equations, models and problems. * Deformation (volcanology), a measure of the rate at which the shapes of volcanoes change. * Deformation (biology), a harmful mutation or other deformation in an organism. See also * Deformity (medicine), a major difference in the shape of a body part or organ compared to its common or average shape. * Plasticity (physics), the study of the non-reversible deformation of materials subjected to forces. * Super-deformed Chibi, also known as super deformation, or S.D. is a style of caricatur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
KK-theory
In mathematics, ''KK''-theory is a common generalization both of K-homology and K-theory as an additive bivariant functor on separable C*-algebras. This notion was introduced by the Russian mathematician Gennadi Kasparov in 1980. It was influenced by Atiyah's concept of Fredholm modules for the Atiyah–Singer index theorem, and the classification of extensions of C*-algebras by Lawrence G. Brown, Ronald G. Douglas, and Peter Arthur Fillmore in 1977. In turn, it has had great success in operator algebraic formalism toward the index theory and the classification of nuclear C*-algebras, as it was the key to the solutions of many problems in operator K-theory, such as, for instance, the mere calculation of ''K''-groups. Furthermore, it was essential in the development of the Baum–Connes conjecture and plays a crucial role in noncommutative topology. ''KK''-theory was followed by a series of similar bifunctor constructions such as the ''E''-theory and the bivariant period ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chern Character
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau manifolds, string theory, Chern–Simons theory, knot theory, Gromov–Witten invariants, topological quantum field theory, the Chern theorem etc. Chern classes were introduced by . Geometric approach Basic idea and motivation Chern classes are characteristic classes. They are topological invariants associated with vector bundles on a smooth manifold. The question of whether two ostensibly different vector bundles are the same can be quite hard to answer. The Chern classes provide a simple test: if the Chern classes of a pair of vector bundles do not agree, then the vector bundles are different. The converse, however, is not true. In topology, differential geometry, and algebraic geometry, it is often important to count how m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
C*-algebras
In mathematics, specifically in functional analysis, a C∗-algebra (pronounced "C-star") is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra ''A'' of continuous linear operators on a complex Hilbert space with two additional properties: * ''A'' is a topologically closed set in the norm topology of operators. * ''A'' is closed under the operation of taking adjoints of operators. Another important class of non-Hilbert C*-algebras includes the algebra C_0(X) of complex-valued continuous functions on ''X'' that vanish at infinity, where ''X'' is a locally compact Hausdorff space. C*-algebras were first considered primarily for their use in quantum mechanics to model algebras of physical observables. This line of research began with Werner Heisenberg's matrix mechanics and in a more mathematically developed form with Pascual Jordan around 1933. Subsequently, John von Neumann attemp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Banach Algebra
In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers (or over a non-Archimedean complete normed field) that at the same time is also a Banach space, that is, a normed space that is complete in the metric induced by the norm. The norm is required to satisfy \, x \, y\, \ \leq \, x\, \, \, y\, \quad \text x, y \in A. This ensures that the multiplication operation is continuous. A Banach algebra is called ''unital'' if it has an identity element for the multiplication whose norm is 1, and ''commutative'' if its multiplication is commutative. Any Banach algebra A (whether it has an identity element or not) can be embedded isometrically into a unital Banach algebra A_e so as to form a closed ideal of A_e. Often one assumes ''a priori'' that the algebra under consideration is unital: for one can develop much of the theory by considering A_e and then applying the outcome in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fréchet Algebra
In mathematics, especially functional analysis, a Fréchet algebra, named after Maurice René Fréchet, is an associative algebra A over the real or complex numbers that at the same time is also a (locally convex) Fréchet space. The multiplication operation (a,b) \mapsto a*b for a,b \in A is required to be jointly continuous. If \_^\infty is an increasing family of seminorms for the topology of A, the joint continuity of multiplication is equivalent to there being a constant C_n >0 and integer m \ge n for each n such that \left\, a b \right\, _n \leq C_n \left\, a \right\, _m \left\, b \right\, _m for all a, b \in A. Fréchet algebras are also called ''B''0-algebras. A Fréchet algebra is m-convex if there exists such a family of semi-norms for which m=n. In that case, by rescaling the seminorms, we may also take C_n = 1 for each n and the seminorms are said to be submultiplicative: \, a b \, _n \leq \, a \, _n \, b \, _n for all a, b \in A. m-convex Fréchet algebras may al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Crystalline Cohomology
In mathematics, crystalline cohomology is a Weil cohomology theory for schemes ''X'' over a base field ''k''. Its values ''H''''n''(''X''/''W'') are modules over the ring ''W'' of Witt vectors over ''k''. It was introduced by and developed by . Crystalline cohomology is partly inspired by the ''p''-adic proof in of part of the Weil conjectures and is closely related to the algebraic version of de Rham cohomology that was introduced by Grothendieck (1963). Roughly speaking, crystalline cohomology of a variety ''X'' in characteristic ''p'' is the de Rham cohomology of a smooth lift of ''X'' to characteristic 0, while de Rham cohomology of ''X'' is the crystalline cohomology reduced mod ''p'' (after taking into account higher ''Tor''s). The idea of crystalline cohomology, roughly, is to replace the Zariski open sets of a scheme by infinitesimal thickenings of Zariski open sets with divided power structures. The motivation for this is that it can then be calculated by taking a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |