|
Lie Algebroid
In mathematics, a Lie algebroid is a vector bundle A \rightarrow M together with a Lie bracket on its space of sections \Gamma(A) and a vector bundle morphism \rho: A \rightarrow TM, satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra. Lie algebroids play a similar same role in the theory of Lie groupoids that Lie algebras play in the theory of Lie groups: reducing global problems to infinitesimal ones. Indeed, any Lie groupoid gives rise to a Lie algebroid, which is the vertical bundle of the source map restricted at the units. However, unlike Lie algebras, not every Lie algebroid arises from a Lie groupoid. Lie algebroids were introduced in 1967 by Jean Pradines. Definition and basic concepts A Lie algebroid is a triple (A, cdot,\cdot \rho) consisting of * a vector bundle A over a manifold M * a Lie bracket cdot,\cdot/math> on its space of sections \Gamma (A) * a morphism of vector bundles \rho: A\rightarrow TM, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adjoint Bundle
In mathematics, an adjoint bundle is a vector bundle naturally associated to any principal bundle. The fibers of the adjoint bundle carry a Lie algebra structure making the adjoint bundle into a (nonassociative) algebra bundle. Adjoint bundles have important applications in the theory of connections as well as in gauge theory. Formal definition Let ''G'' be a Lie group with Lie algebra \mathfrak g, and let ''P'' be a principal ''G''-bundle over a smooth manifold ''M''. Let :\mathrm: G\to\mathrm(\mathfrak g)\sub\mathrm(\mathfrak g) be the (left) adjoint representation of ''G''. The adjoint bundle of ''P'' is the associated bundle :\mathrm P = P\times_\mathfrak g The adjoint bundle is also commonly denoted by \mathfrak g_P. Explicitly, elements of the adjoint bundle are equivalence classes of pairs 'p'', ''X''for ''p'' ∈ ''P'' and ''X'' ∈ \mathfrak g such that : \cdot g,X= ,\mathrm_(X)/math> for all ''g'' ∈ ''G''. Since the structure group of the adjoint bundle consi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semiring
In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. The term rig is also used occasionally—this originated as a joke, suggesting that rigs are ri''n''gs without ''n''egative elements, similar to using '' rng'' to mean a r''i''ng without a multiplicative ''i''dentity. Tropical semirings are an active area of research, linking algebraic varieties with piecewise linear structures. Definition A semiring is a set R equipped with two binary operations \,+\, and \,\cdot,\, called addition and multiplication, such that:Lothaire (2005) p.211Sakarovitch (2009) pp.27–28 * (R, +) is a commutative monoid with identity element 0: ** (a + b) + c = a + (b + c) ** 0 + a = a = a + 0 ** a + b = b + a * (R, \,\cdot\,) is a monoid with identity element 1: ** (a \cdot b) \cdot c = a \cdot (b \cdot c) ** 1 \cdot a = a = a \cdot 1 * Multiplication left and right distributes over addition: * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Curvature Form
In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case. Definition Let ''G'' be a Lie group with Lie algebra \mathfrak g, and ''P'' → ''B'' be a principal ''G''-bundle. Let ω be an Ehresmann connection on ''P'' (which is a \mathfrak g-valued one-form on ''P''). Then the curvature form is the \mathfrak g-valued 2-form on ''P'' defined by :\Omega=d\omega + omega \wedge \omega= D \omega. (In another convention, 1/2 does not appear.) Here d stands for exterior derivative, cdot \wedge \cdot/math> is defined in the article "Lie algebra-valued form" and ''D'' denotes the exterior covariant derivative. In other terms, :\,\Omega(X, Y)= d\omega(X,Y) + omega(X),\omega(Y)/math> where ''X'', ''Y'' are tangent vectors to ''P''. There is also another expression for Ω: if ''X'', ''Y'' are horizontal vector fields on ''P'', thenProof: \sigma\Omega(X ... [...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] |
Lie Derivative
In differential geometry, the Lie derivative ( ), named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any differentiable manifold. Functions, tensor fields and forms can be differentiated with respect to a vector field. If ''T'' is a tensor field and ''X'' is a vector field, then the Lie derivative of ''T'' with respect to ''X'' is denoted \mathcal_X(T). The differential operator T \mapsto \mathcal_X(T) is a derivation of the algebra of tensor fields of the underlying manifold. The Lie derivative commutes with contraction and the exterior derivative on differential forms. Although there are many concepts of taking a derivative in differential geometry, they all agree when the expression being differentiated is a function or scalar field. Thus in t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frame Bundle
In mathematics, a frame bundle is a principal fiber bundle F(''E'') associated to any vector bundle ''E''. The fiber of F(''E'') over a point ''x'' is the set of all ordered bases, or ''frames'', for ''E''''x''. The general linear group acts naturally on F(''E'') via a change of basis, giving the frame bundle the structure of a principal GL(''k'', R)-bundle (where ''k'' is the rank of ''E''). The frame bundle of a smooth manifold is the one associated to its tangent bundle. For this reason it is sometimes called the tangent frame bundle. Definition and construction Let ''E'' → ''X'' be a real vector bundle of rank ''k'' over a topological space ''X''. A frame at a point ''x'' ∈ ''X'' is an ordered basis for the vector space ''E''''x''. Equivalently, a frame can be viewed as a linear isomorphism :p : \mathbf^k \to E_x. The set of all frames at ''x'', denoted ''F''''x'', has a natural right action by the general linear group GL(''k'', R) of invertible ''k'' × ''k'' matrices: a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Submersion (mathematics)
In mathematics, a submersion is a differentiable map between differentiable manifolds whose differential is everywhere surjective. This is a basic concept in differential topology. The notion of a submersion is dual to the notion of an immersion. Definition Let ''M'' and ''N'' be differentiable manifolds and f\colon M\to N be a differentiable map between them. The map is a submersion at a point p\in M if its differential :Df_p \colon T_p M \to T_N is a surjective linear map. In this case is called a regular point of the map , otherwise, is a critical point. A point q\in N is a regular value of if all points in the preimage f^(q) are regular points. A differentiable map that is a submersion at each point p\in M is called a submersion. Equivalently, is a submersion if its differential Df_p has constant rank equal to the dimension of . A word of warning: some authors use the term ''critical point'' to describe a point where the rank of the Jacobian matrix of at is ... [...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] |
Transversality (mathematics)
In mathematics, transversality is a notion that describes how spaces can intersect; transversality can be seen as the "opposite" of tangency, and plays a role in general position. It formalizes the idea of a generic intersection in differential topology. It is defined by considering the linearizations of the intersecting spaces at the points of intersection. Definition Two submanifolds of a given finite-dimensional smooth manifold are said to intersect transversally if at every point of intersection, their separate tangent spaces at that point together generate the tangent space of the ambient manifold at that point. Manifolds that do not intersect are vacuously transverse. If the manifolds are of complementary dimension (i.e., their dimensions add up to the dimension of the ambient space), the condition means that the tangent space to the ambient manifold is the direct sum of the two smaller tangent spaces. If an intersection is transverse, then the intersection will be a su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jet Bundle
In differential topology, the jet bundle is a certain construction that makes a new smooth fiber bundle out of a given smooth fiber bundle. It makes it possible to write differential equations on sections of a fiber bundle in an invariant form. Jets may also be seen as the coordinate free versions of Taylor expansions. Historically, jet bundles are attributed to Charles Ehresmann, and were an advance on the method (prolongation) of Élie Cartan, of dealing ''geometrically'' with higher derivatives, by imposing differential form conditions on newly introduced formal variables. Jet bundles are sometimes called sprays, although sprays usually refer more specifically to the associated vector field induced on the corresponding bundle (e.g., the geodesic spray on Finsler manifolds.) Since the early 1980s, jet bundles have appeared as a concise way to describe phenomena associated with the derivatives of maps, particularly those associated with the calculus of variations. Consequen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pushforward (differential)
In differential geometry, pushforward is a linear approximation of smooth maps on tangent spaces. Suppose that is a smooth map between smooth manifolds; then the differential of ''φ, d\varphi_x,'' at a point ''x'' is, in some sense, the best linear approximation of ''φ'' near ''x''. It can be viewed as a generalization of the total derivative of ordinary calculus. Explicitly, the differential is a linear map from the tangent space of ''M'' at ''x'' to the tangent space of ''N'' at ''φ''(''x''), d\varphi_x: T_xM \to T_N. Hence it can be used to ''push'' tangent vectors on ''M'' ''forward'' to tangent vectors on ''N''. The differential of a map ''φ'' is also called, by various authors, the derivative or total derivative of ''φ''. Motivation Let \varphi: U \to V be a smooth map from an open subset U of \R^m to an open subset V of \R^n. For any point x in U, the Jacobian of \varphi at x (with respect to the standard coordinates) is the matrix representation of the total d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
