|
Weinstein's Neighbourhood Theorem
In symplectic geometry, a branch of mathematics, Weinstein's neighbourhood theorem refers to a few distinct but related theorems, involving the neighbourhoods of submanifolds in symplectic manifolds and generalising the classical Darboux's theorem. They were proved by Alan Weinstein in 1971. Darboux-Moser-Weinstein theorem This statement is a direct generalisation of Darboux's theorem, which is recovered by taking a point as X.Let M be a smooth manifold of dimension 2n, and \omega_1 and \omega_2 two symplectic forms on M. Consider a compact submanifold i: X \hookrightarrow M such that i^* \omega_1 = i^* \omega_2. Then there exist * two open neighbourhoods U_1 and U_2 of X in M; * a diffeomorphism f: U_1 \to U_2; such that f^* \omega_2 = \omega_1 and f , _X = \mathrm_X.Its proof employs Moser's trick. Generalisation: equivariant Darboux theorem The statement (and the proof) of Darboux-Moser-Weinstein theorem can be generalised in presence of a symplectic action of a Lie gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Geometry
Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2-form. Symplectic geometry has its origins in the Hamiltonian formulation of classical mechanics where the phase space of certain classical systems takes on the structure of a symplectic manifold. The term "symplectic", introduced by Hermann Weyl, is a calque of "complex"; previously, the "symplectic group" had been called the "line complex group". "Complex" comes from the Latin ''com-plexus'', meaning "braided together" (co- + plexus), while symplectic comes from the corresponding Greek ''sym-plektikos'' (συμπλεκτικός); in both cases the stem comes from the Indo-European root *pleḱ- The name reflects the deep connections between complex and symplectic structures. By Darboux's theorem, symplectic manifolds are isomorphic to the standard symplectic vector space locally, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (to allow division), or equivalently, the concept of addition and subtraction. Combining these two ideas, one obtains a continuous group where multiplying points and their inverses is continuous. If the multiplication and taking of inverses are smoothness, smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the circle group. Rotating a circle is an example of a continuous symmetry. For an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tubular Neighborhood
In mathematics, a tubular neighborhood of a submanifold of a smooth manifold is an open set around it resembling the normal bundle. The idea behind a tubular neighborhood can be explained in a simple example. Consider a smooth curve in the plane without self-intersections. On each point on the curve draw a line perpendicular to the curve. Unless the curve is straight, these lines will intersect among themselves in a rather complicated fashion. However, if one looks only in a narrow band around the curve, the portions of the lines in that band will not intersect, and will cover the entire band without gaps. This band is a tubular neighborhood. In general, let ''S'' be a submanifold of a manifold ''M'', and let ''N'' be the normal bundle of ''S'' in ''M''. Here ''S'' plays the role of the curve and ''M'' the role of the plane containing the curve. Consider the natural map :i : N_0 \to S which establishes a bijective correspondence between the zero section N_0 of ''N'' and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectomorphism
In mathematics, a symplectomorphism or symplectic map is an isomorphism in the category of symplectic manifolds. In classical mechanics, a symplectomorphism represents a transformation of phase space that is volume-preserving and preserves the symplectic structure of phase space, and is called a canonical transformation. Formal definition A diffeomorphism between two symplectic manifolds f: (M,\omega) \rightarrow (N,\omega') is called a symplectomorphism if :f^*\omega'=\omega, where f^* is the pullback of f. The symplectic diffeomorphisms from M to M are a (pseudo-)group, called the symplectomorphism group (see below). The infinitesimal version of symplectomorphisms gives the symplectic vector fields. A vector field X \in \Gamma^(TM) is called symplectic if :\mathcal_X\omega=0. Also, X is symplectic if the flow \phi_t: M\rightarrow M of X is a symplectomorphism for every t. These vector fields build a Lie subalgebra of \Gamma^(TM). Here, \Gamma^(TM) is the set of smooth vec ... [...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] |
Zero Section
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every point x of the space X we associate (or "attach") a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over X. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space V such that V(x)=V for all x in X: in this case there is a copy of V for each x in X and these copies fit together to form the vector bundle X\times V over X. Such vector bundles are said to be ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of smooth (or differentiable) manifolds: to every point of such a manifold w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Manifold
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system. Motivation Symplectic manifolds arise from classical mechanics; in particular, they are a generalization of the phase space of a closed system. In the same way the Hamilton equations allow one to derive the time evolution of a system from a set of differential equations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Differential Geometry
The ''Journal of Differential Geometry'' is a peer-reviewed scientific journal of mathematics published by International Press on behalf of Lehigh University in 3 volumes of 3 issues each per year. The journal publishes an annual supplement in book form called ''Surveys in Differential Geometry''. It covers differential geometry and related subjects such as differential equations, mathematical physics, algebraic geometry, and geometric topology. The editor-in-chief is Shing-Tung Yau of Harvard University. History The journal was established in 1967 by Chuan-Chih Hsiung, who was a professor in the Department of Mathematics at Lehigh University at the time. Hsiung served as the journal's editor-in-chief, and later co-editor-in-chief, until his death in 2009. In May 1996, the annual Geometry and Topology conference which was held at Harvard University was dedicated to commemorating the 30th anniversary of the journal and the 80th birthday of its founder. Similarly, in May 2008 Ha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proceedings Of The American Mathematical Society
''Proceedings of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. The journal is devoted to shorter research articles. As a requirement, all articles must be at most 15 printed pages. According to the ''Journal Citation Reports'', the journal has a 2018 impact factor of 0.813. Scope ''Proceedings of the American Mathematical Society'' publishes articles from all areas of pure and applied mathematics, including topology, geometry, analysis, algebra, number theory, combinatorics, logic, probability and statistics. Abstracting and indexing This journal is indexed in the following databases: 2011. American Mathematical Society. * [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Whitney Extension Theorem
In mathematics, in particular in mathematical analysis, the Whitney extension theorem is a partial converse to Taylor's theorem. Roughly speaking, the theorem asserts that if ''A'' is a closed subset of a Euclidean space, then it is possible to extend a given function of ''A'' in such a way as to have prescribed derivatives at the points of ''A''. It is a result of Hassler Whitney. Statement A precise statement of the theorem requires careful consideration of what it means to prescribe the derivative of a function on a closed set. One difficulty, for instance, is that closed subsets of Euclidean space in general lack a differentiable structure. The starting point, then, is an examination of the statement of Taylor's theorem. Given a real-valued ''C''''m'' function ''f''(x) on R''n'', Taylor's theorem asserts that for each a, x, y ∈ R''n'', there is a function ''R''''α''(x,y) approaching 0 uniformly as x,y → a such that where the sum is over multi-indices ''α' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectomorphism
In mathematics, a symplectomorphism or symplectic map is an isomorphism in the category of symplectic manifolds. In classical mechanics, a symplectomorphism represents a transformation of phase space that is volume-preserving and preserves the symplectic structure of phase space, and is called a canonical transformation. Formal definition A diffeomorphism between two symplectic manifolds f: (M,\omega) \rightarrow (N,\omega') is called a symplectomorphism if :f^*\omega'=\omega, where f^* is the pullback of f. The symplectic diffeomorphisms from M to M are a (pseudo-)group, called the symplectomorphism group (see below). The infinitesimal version of symplectomorphisms gives the symplectic vector fields. A vector field X \in \Gamma^(TM) is called symplectic if :\mathcal_X\omega=0. Also, X is symplectic if the flow \phi_t: M\rightarrow M of X is a symplectomorphism for every t. These vector fields build a Lie subalgebra of \Gamma^(TM). Here, \Gamma^(TM) is the set of smooth vec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
