|
Connection (algebraic Framework)
Geometry of quantum systems (e.g., noncommutative geometry and supergeometry) is mainly phrased in algebraic terms of modules and algebras. Connections on modules are generalization of a linear connection on a smooth vector bundle E\to X written as a Koszul connection on the C^\infty(X)-module of sections of E\to X. Commutative algebra Let A be a commutative ring and M an ''A''-module. There are different equivalent definitions of a connection on M. First definition If k \to A is a ring homomorphism, a k-linear connection is a k-linear morphism : \nabla: M \to \Omega^1_ \otimes_A M which satisfies the identity : \nabla(am) = da \otimes m + a \nabla m A connection extends, for all p \geq 0 to a unique map : \nabla: \Omega^p_ \otimes_A M \to \Omega^_ \otimes_A M satisfying \nabla(\omega \otimes f) = d\omega \otimes f + (-1)^p \omega \wedge \nabla f. A connection is said to be integrable if \nabla \circ \nabla = 0, or equivalently, if the curvature \nabla^2: M \to \Omeg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantum Mechanics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, quantum field theory, quantum technology, and quantum information science. Classical physics, the collection of theories that existed before the advent of quantum mechanics, describes many aspects of nature at an ordinary (macroscopic) scale, but is not sufficient for describing them at small (atomic and subatomic) scales. Most theories in classical physics can be derived from quantum mechanics as an approximation valid at large (macroscopic) scale. Quantum mechanics differs from classical physics in that energy, momentum, angular momentum, and other quantities of a bound system are restricted to discrete values ( quantization); objects have characteristics of both particles and waves (wave–particle duality); and there are limits to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covariant Derivative
In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component (dependent on the embedding) and the intrinsic covariant derivative component. The name is motivated by the importance of changes of coordinate in physics: the covariant derivative transforms covariantly under a general coordinate transformation, that is, linearly via the Jacobia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Calculus Over Commutative Algebras
In mathematics the differential calculus over commutative algebras is a part of commutative algebra based on the observation that most concepts known from classical differential calculus can be formulated in purely algebraic terms. Instances of this are: # The whole topological information of a smooth manifold M is encoded in the algebraic properties of its \R-algebra of smooth functions A = C^\infty (M), as in the Banach–Stone theorem. # Vector bundles over M correspond to projective finitely generated modules over A, via the functor \Gamma which associates to a vector bundle its module of sections. # Vector fields on M are naturally identified with derivations of the algebra A. # More generally, a linear differential operator of order k, sending sections of a vector bundle E\rightarrow M to sections of another bundle F \rightarrow M is seen to be an \R-linear map \Delta : \Gamma (E) \to \Gamma (F) between the associated modules, such that for any k + 1 elements f_0, \ldots, f_k ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supergeometry
Supergeometry is differential geometry of modules over graded commutative algebras, supermanifolds and graded manifolds. Supergeometry is part and parcel of many classical and quantum field theories involving odd fields, e.g., SUSY field theory, BRST theory, or supergravity. Supergeometry is formulated in terms of \mathbb Z_2-graded modules and sheaves over \mathbb Z_2-graded commutative algebras (supercommutative algebras). In particular, superconnections are defined as Koszul connections on these modules and sheaves. However, supergeometry is not particular noncommutative geometry because of a different definition of a graded derivation. Graded manifolds and supermanifolds also are phrased in terms of sheaves of graded commutative algebras. Graded manifolds are characterized by sheaves on smooth manifolds, while supermanifolds are constructed by gluing of sheaves of supervector spaces. There are different types of supermanifolds. These are smooth supermanifolds (H^\infty-, ... [...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 noncommutativ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connection (mathematics)
In geometry, the notion of a connection makes precise the idea of transporting local geometric objects, such as tangent vectors or tensors in the tangent space, along a curve or family of curves in a ''parallel'' and consistent manner. There are various kinds of connections in modern geometry, depending on what sort of data one wants to transport. For instance, an affine connection, the most elementary type of connection, gives a means for parallel transport of tangent vectors on a manifold from one point to another along a curve. An affine connection is typically given in the form of a covariant derivative, which gives a means for taking directional derivatives of vector fields, measuring the deviation of a vector field from being parallel in a given direction. Connections are of central importance in modern geometry in large part because they allow a comparison between the local geometry at one point and the local geometry at another point. Differential geometry embraces severa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connection (vector Bundle)
In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a '' covariant derivative'', an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a pseudo-Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear. Linear connections are also called Koszul connections after Jean-Louis Koszul, who g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bimodule
In abstract algebra, a bimodule is an abelian group that is both a left and a right module, such that the left and right multiplications are compatible. Besides appearing naturally in many parts of mathematics, bimodules play a clarifying role, in the sense that many of the relationships between left and right modules become simpler when they are expressed in terms of bimodules. Definition If ''R'' and ''S'' are two rings, then an ''R''-''S''-bimodule is an abelian group (M,+) such that: # ''M'' is a left ''R''-module and a right ''S''-module. # For all ''r'' in ''R'', ''s'' in ''S'' and ''m'' in ''M'': (r.m).s = r.(m.s) . An ''R''-''R''-bimodule is also known as an ''R''-bimodule. Examples * For positive integers ''n'' and ''m'', the set ''M''''n'',''m''(R) of matrices of real numbers is an ''R''-''S''-bimodule, where ''R'' is the ring ''M''''n''(R) of matrices, and ''S'' is the ring ''M''''m''(R) of matrices. Addition and multiplication are carried out using the usual rul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Manifold
In algebraic geometry, graded manifolds are extensions of the concept of manifolds based on ideas coming from supersymmetry and supercommutative algebra. Both graded manifolds and supermanifolds are phrased in terms of sheaves of graded commutative algebras. However, graded manifolds are characterized by sheaves on smooth manifolds, while supermanifolds are constructed by gluing of sheaves of supervector spaces. Graded manifolds A graded manifold of dimension (n,m) is defined as a locally ringed space (Z,A) where Z is an n-dimensional smooth manifold and A is a C^\infty_Z-sheaf of Grassmann algebras of rank m where C^\infty_Z is the sheaf of smooth real functions on Z. The sheaf A is called the structure sheaf of the graded manifold (Z,A), and the manifold Z is said to be the body of (Z,A). Sections of the sheaf A are called graded functions on a graded manifold (Z,A). They make up a graded commutative C^\infty(Z)-ring A(Z) called the structure ring of (Z,A). The well-known B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Superalgebra
In mathematics and theoretical physics, a superalgebra is a Z2-graded algebra. That is, it is an algebra over a commutative ring or field with a decomposition into "even" and "odd" pieces and a multiplication operator that respects the grading. The prefix ''super-'' comes from the theory of supersymmetry in theoretical physics. Superalgebras and their representations, supermodules, provide an algebraic framework for formulating supersymmetry. The study of such objects is sometimes called super linear algebra. Superalgebras also play an important role in related field of supergeometry where they enter into the definitions of graded manifolds, supermanifolds and superschemes. Formal definition Let ''K'' be a commutative ring. In most applications, ''K'' is a field of characteristic 0, such as R or C. A superalgebra over ''K'' is a ''K''-module ''A'' with a direct sum decomposition :A = A_0\oplus A_1 together with a bilinear multiplication ''A'' × ''A'' → ''A'' such t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Calculus Over Commutative Algebras
In mathematics the differential calculus over commutative algebras is a part of commutative algebra based on the observation that most concepts known from classical differential calculus can be formulated in purely algebraic terms. Instances of this are: # The whole topological information of a smooth manifold M is encoded in the algebraic properties of its \R-algebra of smooth functions A = C^\infty (M), as in the Banach–Stone theorem. # Vector bundles over M correspond to projective finitely generated modules over A, via the functor \Gamma which associates to a vector bundle its module of sections. # Vector fields on M are naturally identified with derivations of the algebra A. # More generally, a linear differential operator of order k, sending sections of a vector bundle E\rightarrow M to sections of another bundle F \rightarrow M is seen to be an \R-linear map \Delta : \Gamma (E) \to \Gamma (F) between the associated modules, such that for any k + 1 elements f_0, \ldots, f_k ... [...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 noncommutativ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
