|
Marsden–Weinstein Reduction
In mathematics, specifically in symplectic geometry, the momentum map (or, by false etymology, moment map) is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The momentum map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden–Weinstein) quotients, discussed below, and symplectic cuts and sums. Formal definition Let M be a manifold with symplectic form ''\omega''. Suppose that a Lie group ''G'' acts on ''M'' via symplectomorphisms (that is, the action of each ''g'' in ''G'' preserves ''\omega''). Let \mathfrak be the Lie algebra of ''G'', \mathfrak^* its dual, and :\langle \, \cdot, \cdot\rangle : \mathfrak^* \times \mathfrak \to \mathbb the pairing between the two. Any ''\xi'' in \mathfrak induces a vector field ''\rho(\xi)'' on ''M'' describing the infinitesimal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stratified Space
In mathematics, especially in topology, a stratified space is a topological space that admits or is equipped with a stratification, a decomposition into subspaces, which are nice in some sense (e.g., smooth or flat). A basic example is a subset of a smooth manifold that admits a Whitney stratification. But there is also an abstract stratified space such as a Thom–Mather stratified space. On a stratified space, a constructible sheaf can be defined as a sheaf that is locally constant on each stratum. Among the several ideals, Grothendieck's '' Esquisse d’un programme'' considers (or proposes) a stratified space with what he calls the tame topology. A stratified space in the sense of Mather Mather gives the following definition of a stratified space. A ''prestratification'' on a topological space ''X'' is a partition of ''X'' into subsets (called strata) such that (a) each stratum is locally closed, (b) it is locally finite and (c) (axiom of frontier) if two strata ''A'', ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pullback (differential Geometry)
Let \phi:M\to N be a smooth map between smooth manifolds M and N. Then there is an associated linear map from the space of 1-forms on N (the linear space of sections of the cotangent bundle) to the space of 1-forms on M. This linear map is known as the pullback (by \phi), and is frequently denoted by \phi^*. More generally, any covariant tensor field – in particular any differential form – on N may be pulled back to M using \phi. When the map \phi is a diffeomorphism, then the pullback, together with the pushforward, can be used to transform any tensor field from N to M or vice versa. In particular, if \phi is a diffeomorphism between open subsets of \R^n and \R^n, viewed as a change of coordinates (perhaps between different charts on a manifold M), then the pullback and pushforward describe the transformation properties of covariant and contravariant tensors used in more traditional (coordinate dependent) approaches to the subject. The idea behind the pullba ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Space (topology)
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space. Definition Let X be a topological space, and let \sim be an equivalence relation on X. The quotient set Y = X/ is the set of equivalence classes of elements of X. The e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coadjoint Orbit
In mathematics, the coadjoint representation K of a Lie group G is the dual of the adjoint representation. If \mathfrak denotes the Lie algebra of G, the corresponding action of G on \mathfrak^*, the dual space to \mathfrak, is called the coadjoint action. A geometrical interpretation is as the action by left-translation on the space of right-invariant 1-forms on G. The importance of the coadjoint representation was emphasised by work of Alexandre Kirillov, who showed that for nilpotent Lie groups G a basic role in their representation theory is played by coadjoint orbits. In the Kirillov method of orbits, representations of G are constructed geometrically starting from the coadjoint orbits. In some sense those play a substitute role for the conjugacy classes of G, which again may be complicated, while the orbits are relatively tractable. Formal definition Let G be a Lie group and \mathfrak be its Lie algebra. Let \mathrm : G \rightarrow \mathrm(\mathfrak) denote the adjoint re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1-form
In differential geometry, a one-form (or covector field) on a differentiable manifold is a differential form of degree one, that is, a smooth section of the cotangent bundle. Equivalently, a one-form on a manifold M is a smooth mapping of the total space of the tangent bundle of M to \R whose restriction to each fibre is a linear functional on the tangent space. Let \omega be a one-form. Then \begin \omega: U & \rightarrow \bigcup_ T^*_p(\R^n) \\ p & \mapsto \omega_p \in T_p^*(\R^n) \end Often one-forms are described locally, particularly in local coordinates. In a local coordinate system, a one-form is a linear combination of the differentials of the coordinates: \alpha_x = f_1(x) \, dx_1 + f_2(x) \, dx_2 + \cdots + f_n(x) \, dx_n , where the f_i are smooth functions. From this perspective, a one-form has a covariant transformation law on passing from one coordinate system to another. Thus a one-form is an order 1 covariant tensor field. Examples The most basic non-tri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tautological One-form
In mathematics, the tautological one-form is a special 1-form defined on the cotangent bundle T^Q of a manifold Q. In physics, it is used to create a correspondence between the velocity of a point in a mechanical system and its momentum, thus providing a bridge between Lagrangian mechanics and Hamiltonian mechanics (on the manifold Q). The exterior derivative of this form defines a symplectic form giving T^Q the structure of a symplectic manifold. The tautological one-form plays an important role in relating the formalism of Hamiltonian mechanics and Lagrangian mechanics. The tautological one-form is sometimes also called the Liouville one-form, the Poincaré one-form, the canonical one-form, or the symplectic potential. A similar object is the canonical vector field on the tangent bundle. Definition in coordinates To define the tautological one-form, select a coordinate chart U on T^*Q and a canonical coordinate system on U. Pick an arbitrary point m \in T^*Q. By defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semidirect Product
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. It is usually denoted with the symbol . There are two closely related concepts of semidirect product: * an ''inner'' semidirect product is a particular way in which a group can be made up of two subgroups, one of which is a normal subgroup. * an ''outer'' semidirect product is a way to construct a new group from two given groups by using the Cartesian product as a set and a particular multiplication operation. As with direct products, there is a natural equivalence between inner and outer semidirect products, and both are commonly referred to simply as ''semidirect products''. For finite groups, the Schur–Zassenhaus theorem provides a sufficient condition for the existence of a decomposition as a semidirect product (also known as splitting extension). Inner semidirect product definitions Given a group with identity element , a subgroup , and a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cotangent Bundle
In mathematics, especially differential geometry, the cotangent bundle of a smooth manifold is the vector bundle of all the cotangent spaces at every point in the manifold. It may be described also as the dual bundle to the tangent bundle. This may be generalized to categories with more structure than smooth manifolds, such as complex manifolds, or (in the form of cotangent sheaf) algebraic varieties or schemes. In the smooth case, any Riemannian metric or symplectic form gives an isomorphism between the cotangent bundle and the tangent bundle, but they are not in general isomorphic in other categories. Formal definition via diagonal morphism There are several equivalent ways to define the cotangent bundle. One way is through a diagonal mapping Δ and germs. Let ''M'' be a smooth manifold and let ''M''×''M'' be the Cartesian product of ''M'' with itself. The diagonal mapping Δ sends a point ''p'' in ''M'' to the point (''p'',''p'') of ''M''×''M'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Cohomology
In mathematics (more specifically, in homological algebra), group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group ''G'' in an associated ''G''-module ''M'' to elucidate the properties of the group. By treating the ''G''-module as a kind of topological space with elements of G^n representing ''n''- simplices, topological properties of the space may be computed, such as the set of cohomology groups H^n(G,M). The cohomology groups in turn provide insight into the structure of the group ''G'' and ''G''-module ''M'' themselves. Group cohomology plays a role in the investigation of fixed points of a group action in a module or space and the quotient module or space with respect to a group action. Group cohomology is used in the fields of abstract algebra, homological algebra, algebraic topology and algebraic number th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Group
In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space \mathbb^n; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformations). The group depends only on the dimension ''n'' of the space, and is commonly denoted E(''n'') or ISO(''n''), for ''inhomogeneous special orthogonal'' group. The Euclidean group E(''n'') comprises all translations, rotations, and reflections of \mathbb^n; and arbitrary finite combinations of them. The Euclidean group can be seen as the symmetry group of the space itself, and contains the group of symmetries of any figure (subset) of that space. A Euclidean isometry can be ''direct'' or ''indirect'', depending on whether it preserves the handedness of figures. The direct Euclidean isometries form a subgroup, the special Euclidean group, often denoted SE(''n'') and E+(''n''), whose elements are called rigid motions or Euclidean ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
