|
Equivariant Bundle
In geometry and topology, given a group ''G'' (which may be a topological or Lie group), an equivariant bundle is a fiber bundle In mathematics, and particularly topology, a fiber bundle ( ''Commonwealth English'': fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a pr ... \pi\colon E\to B such that the total space E and the base space B are both ''G''-spaces (continuous or smooth, depending on the setting) and the projection map \pi between them is equivariant: \pi \circ g = g \circ \pi with some extra requirement depending on a typical fiber. For example, an equivariant vector bundle is an equivariant bundle such that the action of ''G'' restricts to a linear isomorphism between fibres. References *Berline, Nicole; Getzler, E.; Vergne, Michèle (2004), Heat Kernels and Dirac Operators, Berlin, New York: Springer-Verlag Fiber bundles {{differential-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician who works in the field of geometry is called a ''List of geometers, geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point (geometry), point, line (geometry), line, plane (geometry), plane, distance, angle, surface (mathematics), surface, and curve, as fundamental concepts. Originally developed to model the physical world, geometry has applications in almost all sciences, and also in art, architecture, and other activities that are related to graphics. Geometry also has applications in areas of mathematics that are apparently unrelated. For example, methods of algebraic geometry are fundamental in Wiles's proof of Fermat's Last Theorem, Wiles's proof of Fermat's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Torsion (mechanics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a Set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of List of continuity-related mathematical topics, continuity. Euclidean spaces, and, more generally, metric spaces are examples of topological spaces, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and Homotopy, homotopies. A property that is invariant under such deformations is a to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group (mathematics)
In mathematics, a group is a Set (mathematics), set with an Binary operation, operation that combines any two elements of the set to produce a third element within the same set and the following conditions must hold: the operation is Associative property, associative, it has an identity element, and every element of the set has an inverse element. For example, the integers with the addition, addition operation form a group. The concept of a group was elaborated for handling, in a unified way, many mathematical structures such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry, groups arise naturally in the study of symmetries and geometric transformations: The symmetries of an object form a group, called the symmetry group of the object, and the transformations of a given type form a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fiber Bundle
In mathematics, and particularly topology, a fiber bundle ( ''Commonwealth English'': fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a product space B \times F is defined using a continuous surjective map, \pi : E \to B, that in small regions of E behaves just like a projection from corresponding regions of B \times F to B. The map \pi, called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space E is known as the total space of the fiber bundle, B as the base space, and F the fiber. In the '' trivial'' case, E is just B \times F, and the map \pi is just the projection from the product space to the first factor. This is called a trivial bundle. Examples of non-trivial fiber bundles include the Möbius strip and Klein bottle, as well as nontrivial covering spaces. Fiber bundles, such as the tangent bundle of a manifol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group Action
In differential geometry, a Lie group action is a group action adapted to the smooth setting: G is a Lie group, M is a smooth manifold, and the action map is differentiable. __TOC__ Definition Let \sigma: G \times M \to M, (g, x) \mapsto g \cdot x be a (left) group action of a Lie group G on a smooth manifold M; it is called a Lie group action (or smooth action) if the map \sigma is differentiable. Equivalently, a Lie group action of G on M consists of a Lie group homomorphism G \to \mathrm(M). A smooth manifold endowed with a Lie group action is also called a ''G''-manifold. Properties The fact that the action map \sigma is smooth has a couple of immediate consequences: * the stabilizers G_x \subseteq G of the group action are closed, thus are Lie subgroups of ''G'' * the orbits G \cdot x \subseteq M of the group action are immersed submanifolds. Forgetting the smooth structure, a Lie group action is a particular case of a continuous group action. Examples For every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivariant Vector Bundle
In mathematics, given an action \sigma: G \times_S X \to X of a group scheme ''G'' on a scheme ''X'' over a base scheme ''S'', an equivariant sheaf ''F'' on ''X'' is a sheaf of \mathcal_X-modules together with the isomorphism of \mathcal_-modules :\phi: \sigma^* F \xrightarrow p_2^*F that satisfies the cocycle condition: writing ''m'' for multiplication, :p_^* \phi \circ (1_G \times \sigma)^* \phi = (m \times 1_X)^* \phi. Notes on the definition On the stalk level, the cocycle condition says that the isomorphism F_ \simeq F_x is the same as the composition F_ \simeq F_ \simeq F_x; i.e., the associativity of the group action. The condition that the unit of the group acts as the identity is also a consequence: apply (e \times e \times 1)^*, e: S \to G to both sides to get (e \times 1)^* \phi \circ (e \times 1)^* \phi = (e \times 1)^* \phi and so (e \times 1)^* \phi is the identity. Note that \phi is an additional data; it is "a lift" of the action of ''G'' on ''X'' to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
