|
Adjoint Representation Of A Lie Algebra
In mathematics, the adjoint representation (or adjoint action) of a Lie group ''G'' is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if ''G'' is GL(n, \mathbb), the Lie group of real ''n''-by-''n'' invertible matrices, then the adjoint representation is the group homomorphism that sends an invertible ''n''-by-''n'' matrix g to an endomorphism of the vector space of all linear transformations of \mathbb^n defined by: x \mapsto g x g^ . For any Lie group, this natural representation is obtained by linearizing (i.e. taking the differential of) the action of ''G'' on itself by conjugation. The adjoint representation can be defined for linear algebraic groups over arbitrary fields. Definition Let ''G'' be a Lie group, and let :\Psi: G \to \operatorname(G) be the mapping , with Aut(''G'') the automorphism group of ''G'' and given by the inner automorphism (conjugation) :\Psi_g ... [...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] |
Lie Algebra Automorphism
In abstract algebra, an automorphism of a Lie algebra \mathfrak g is an isomorphism from \mathfrak g to itself, that is, a linear map preserving the Lie bracket. The set of automorphisms of \mathfrak are denoted \text(\mathfrak), the automorphism group of \mathfrak. Inner and outer automorphisms The subgroup of \operatorname(\mathfrak g) generated using the adjoint action e^, x \in \mathfrak g is called the inner automorphism group of \mathfrak g. The group is denoted \operatorname^0(\mathfrak). These form a normal subgroup in the group of automorphisms, and the quotient \operatorname(\mathfrak)/\operatorname^0(\mathfrak) is known as the outer automorphism group. Diagram automorphisms It is known that the outer automorphism group for a simple Lie algebra \mathfrak is isomorphic to the group of diagram automorphisms for the corresponding Dynkin diagram in the classification of Lie algebras. The only algebras with non-trivial outer automorphism group are therefore A_n (n \geq 2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivative Of The Exponential Map
In the theory of Lie groups, the exponential map is a map from the Lie algebra of a Lie group into . In case is a matrix Lie group, the exponential map reduces to the matrix exponential. The exponential map, denoted , is analytic and has as such a derivative , where is a path in the Lie algebra, and a closely related differential . Appendix on analytic functions. The formula for was first proved by Friedrich Schur (1891). It was later elaborated by Henri Poincaré (1899) in the context of the problem of expressing Lie group multiplication using Lie algebraic terms. It is also sometimes known as Duhamel's formula. The formula is important both in pure and applied mathematics. It enters into proofs of theorems such as the Baker–Campbell–Hausdorff formula, and it is used frequently in physics for example in quantum field theory, as in the Magnus expansion in perturbation theory, and in lattice gauge theory. Throughout, the notations and will be used inte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of n-dimensional Euclidean space. One-dimensional manifolds include lines and circles, but not lemniscates. Two-dimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, and also the Klein bottle and real projective plane. The concept of a manifold is central to many parts of geometry and modern mathematical physics because it allows complicated structures to be described in terms of well-understood topological properties of simpler spaces. Manifolds naturally arise as solution sets of systems of equations and as graphs of functions. The concept has applications in computer-graphics given the need to associate pictures with coordinates (e.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] |
Flow (mathematics)
In mathematics, a flow formalizes the idea of the motion of particles in a fluid. Flows are ubiquitous in science, including engineering and physics. The notion of flow is basic to the study of ordinary differential equations. Informally, a flow may be viewed as a continuous motion of points over time. More formally, a flow is a group action of the real numbers on a set. The idea of a vector flow, that is, the flow determined by a vector field, occurs in the areas of differential topology, Riemannian geometry and Lie groups. Specific examples of vector flows include the geodesic flow, the Hamiltonian flow, the Ricci flow, the mean curvature flow, and Anosov flows. Flows may also be defined for systems of random variables and stochastic processes, and occur in the study of ergodic dynamical systems. The most celebrated of these is perhaps the Bernoulli flow. Formal definition A flow on a set is a group action of the additive group of real numbers on . More explicitl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Bracket Of Vector Fields
In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields ''X'' and ''Y'' on a smooth manifold ''M'' a third vector field denoted . Conceptually, the Lie bracket is the derivative of ''Y'' along the flow generated by ''X'', and is sometimes denoted ''\mathcal_X Y'' ("Lie derivative of Y along X"). This generalizes to the Lie derivative of any tensor field along the flow generated by ''X''. The Lie bracket is an R- bilinear operation and turns the set of all smooth vector fields on the manifold ''M'' into an (infinite-dimensional) Lie algebra. The Lie bracket plays an important role in differential geometry and differential topology, for instance in the Frobenius integrability theorem, and is also fundamental in the geometric theory of nonlinear control systems., nonholonomic systems; , feedback linearization. Definitio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Algebra
In mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with finitely many derivations, which are unary functions that are linear and satisfy the Leibniz product rule. A natural example of a differential field is the field of rational functions in one variable over the complex numbers, \mathbb(t), where the derivation is differentiation with respect to t. Differential algebra refers also to the area of mathematics consisting in the study of these algebraic objects and their use in the algebraic study of differential equations. Differential algebra was introduced by Joseph Ritt in 1950. Open problems The biggest open problems in the field include the Kolchin Catenary Conjecture, the Ritt Problem, and The Jacobi Bound Problem. All of these deal with the structure of differential ideals in differential rings. Differential ring A ''differential ring'' is a ring R equipped with one or more ''derivations'', whi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Representation Of A Lie Algebra
In the mathematical field of representation theory, a Lie algebra representation or representation of a Lie algebra is a way of writing a Lie algebra as a set of matrices (or endomorphisms of a vector space) in such a way that the Lie bracket is given by the commutator. In the language of physics, one looks for a vector space V together with a collection of operators on V satisfying some fixed set of commutation relations, such as the relations satisfied by the angular momentum operators. The notion is closely related to that of a representation of a Lie group. Roughly speaking, the representations of Lie algebras are the differentiated form of representations of Lie groups, while the representations of the universal cover of a Lie group are the integrated form of the representations of its Lie algebra. In the study of representations of a Lie algebra, a particular ring, called the universal enveloping algebra, associated with the Lie algebra plays an important role. The universal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isotropy Representation
In differential geometry, the isotropy representation is a natural linear representation of a Lie group, that is acting on a manifold, on the tangent space to a fixed point. Construction Given a Lie group action (G, \sigma) on a manifold ''M'', if ''G''''o'' is the stabilizer of a point ''o'' (isotropy subgroup at ''o''), then, for each ''g'' in ''G''''o'', \sigma_g: M \to M fixes ''o'' and thus taking the derivative at ''o'' gives the map (d\sigma_g)_o: T_o M \to T_o M. By the chain rule, :(d \sigma_)_o = d (\sigma_g \circ \sigma_h)_o = (d \sigma_g)_o \circ (d \sigma_h)_o and thus there is a representation: :\rho: G_o \to \operatorname(T_o M) given by :\rho(g) = (d \sigma_g)_o. It is called the isotropy representation at ''o''. For example, if \sigma is a conjugation action of ''G'' on itself, then the isotropy representation \rho at the identity element ''e'' is the adjoint representation In mathematics, the adjoint representation (or adjoint action) of a Lie group ''G'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponential Map (Lie Theory)
In the theory of Lie groups, the exponential map is a map from the Lie algebra \mathfrak g of a Lie group G to the group, which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary reasons that Lie algebras are a useful tool for studying Lie groups. The ordinary exponential function of mathematical analysis is a special case of the exponential map when G is the multiplicative group of positive real numbers (whose Lie algebra is the additive group of all real numbers). The exponential map of a Lie group satisfies many properties analogous to those of the ordinary exponential function, however, it also differs in many important respects. Definitions Let G be a Lie group and \mathfrak g be its Lie algebra (thought of as the tangent space to the identity element of G). The exponential map is a map :\exp\colon \mathfrak g \to G which can be defined in several different ways. The typical modern definition is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
