|
Clutching Construction
In topology, a branch of mathematics, the clutching construction is a way of constructing fiber bundles, particularly vector bundles on spheres. Definition Consider the sphere S^n as the union of the upper and lower hemispheres D^n_+ and D^n_- along their intersection, the equator, an S^. Given trivialized fiber bundles with fiber F and structure group G over the two hemispheres, then given a map f\colon S^ \to G (called the ''clutching map''), glue the two trivial bundles together via ''f''. Formally, it is the coequalizer of the inclusions S^ \times F \to D^n_+ \times F \coprod D^n_- \times F via (x,v) \mapsto (x,v) \in D^n_+ \times F and (x,v) \mapsto (x,f(x)(v)) \in D^n_- \times F: glue the two bundles together on the boundary, with a twist. Thus we have a map \pi_ G \to \text_F(S^n): clutching information on the equator yields a fiber bundle on the total space. In the case of vector bundles, this yields \pi_ O(k) \to \text_k(S^n), and indeed this map is an isomorphism (under ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is 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, Twist (mathematics), 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 continuity (mathematics), continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, 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 topological property. Basic exampl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fiber Bundle
In mathematics, and particularly topology, a fiber bundle (or, in 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 mani ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coequalizer
In category theory, a coequalizer (or coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer. Definition A coequalizer is a colimit of the diagram consisting of two objects ''X'' and ''Y'' and two parallel morphisms ''f'', ''g'' : ''X'' → ''Y''. More explicitly, a coequalizer can be defined as an object ''Q'' together with a morphism ''q'' : ''Y'' → ''Q'' such that ''q'' ∘ ''f'' = ''q'' ∘ ''g''. Moreover, the pair (''Q'', ''q'') must be universal in the sense that given any other such pair (''Q''′, ''q''′) there exists a unique morphism ''u'' : ''Q'' → ''Q''′ such that ''u'' ∘ ''q'' = ''q''′. This information can be captured by the following commutative diagram: As with all universal constructions, a coequalizer, if it exists, is unique up to a unique isomorphism (this is why, by abuse of language, one sometimes speaks of " ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Twisted Sphere
In an area of mathematics called differential topology, an exotic sphere is a differentiable manifold ''M'' that is homeomorphic but not diffeomorphic to the standard Euclidean ''n''-sphere. That is, ''M'' is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one (hence the name "exotic"). The first exotic spheres were constructed by in dimension n = 7 as S^3- bundles over S^4. He showed that there are at least 7 differentiable structures on the 7-sphere. In any dimension showed that the diffeomorphism classes of oriented exotic spheres form the non-trivial elements of an abelian monoid under connected sum, which is a finite abelian group if the dimension is not 4. The classification of exotic spheres by showed that the oriented exotic 7-spheres are the non-trivial elements of a cyclic group of order 28 under the operation of connected sum. Introduction The unit ''n''-sphere, S^n, is the set of all (''n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ball (mathematics)
In mathematics, a ball is the solid figure bounded by a ''sphere''; it is also called a solid sphere. It may be a closed ball (including the boundary points that constitute the sphere) or an open ball (excluding them). These concepts are defined not only in three-dimensional Euclidean space but also for lower and higher dimensions, and for metric spaces in general. A ''ball'' in dimensions is called a hyperball or -ball and is bounded by a ''hypersphere'' or ()-sphere. Thus, for example, a ball in the Euclidean plane is the same thing as a disk, the area bounded by a circle. In Euclidean 3-space, a ball is taken to be the volume bounded by a 2-dimensional sphere. In a one-dimensional space, a ball is a line segment. In other contexts, such as in Euclidean geometry and informal use, ''sphere'' is sometimes used to mean ''ball''. In the field of topology the closed n-dimensional ball is often denoted as B^n or D^n while the open n-dimensional ball is \operatorname B^n or \ope ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chiral Anomaly
In theoretical physics, a chiral anomaly is the anomalous nonconservation of a chiral current. In everyday terms, it is equivalent to a sealed box that contained equal numbers of left and right-handed bolts, but when opened was found to have more left than right, or vice versa. Such events are expected to be prohibited according to classical conservation laws, but it is known there must be ways they can be broken, because we have evidence of charge–parity non-conservation ("CP violation"). It is possible that other imbalances have been caused by breaking of a ''chiral law'' of this kind. Many physicists suspect that the fact that the observable universe contains more matter than antimatter is caused by a chiral anomaly. Research into chiral symmetry breaking laws is a major endeavor in particle physics research at this time. Informal introduction The chiral anomaly originally referred to the anomalous decay rate of the neutral pion, as computed in the current algebra of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Instanton
An instanton (or pseudoparticle) is a notion appearing in theoretical and mathematical physics. An instanton is a classical solution to equations of motion with a finite, non-zero action, either in quantum mechanics or in quantum field theory. More precisely, it is a solution to the equations of motion of the classical field theory on a Euclidean spacetime. In such quantum theories, solutions to the equations of motion may be thought of as critical points of the action. The critical points of the action may be local maxima of the action, local minima, or saddle points. Instantons are important in quantum field theory because: * they appear in the path integral as the leading quantum corrections to the classical behavior of a system, and * they can be used to study the tunneling behavior in various systems such as a Yang–Mills theory. Relevant to dynamics, families of instantons permit that instantons, i.e. different critical points of the equation of motion, be related to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wess–Zumino–Witten Model
In theoretical physics and mathematics, a Wess–Zumino–Witten (WZW) model, also called a Wess–Zumino–Novikov–Witten model, is a type of two-dimensional conformal field theory named after Julius Wess, Bruno Zumino, Sergei Novikov and Edward Witten. A WZW model is associated to a Lie group (or supergroup), and its symmetry algebra is the affine Lie algebra built from the corresponding Lie algebra (or Lie superalgebra). By extension, the name WZW model is sometimes used for any conformal field theory whose symmetry algebra is an affine Lie algebra. Action Definition For \Sigma a Riemann surface, G a Lie group, and k a (generally complex) number, let us define the G-WZW model on \Sigma at the level k. The model is a nonlinear sigma model whose action is a functional of a field \gamma:\Sigma \to G: :S_k(\gamma)= -\frac \int_ d^2x\, \mathcal \left (\gamma^ \partial^\mu \gamma, \gamma^ \partial_\mu \gamma \right ) + 2\pi k S^(\gamma). Here, \Sigma is equipped with a flat Eu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Trick
Alexander's trick, also known as the Alexander trick, is a basic result in geometric topology, named after J. W. Alexander. Statement Two homeomorphisms of the ''n''-dimensional ball D^n which agree on the boundary sphere S^ are isotopic. More generally, two homeomorphisms of ''D''''n'' that are isotopic on the boundary are isotopic. Proof Base case: every homeomorphism which fixes the boundary is isotopic to the identity relative to the boundary. If f\colon D^n \to D^n satisfies f(x) = x \text x \in S^, then an isotopy connecting ''f'' to the identity is given by : J(x,t) = \begin tf(x/t), & \text 0 \leq \, x\, 0 the transformation J_t replicates f at a different scale, on the disk of radius t, thus as t\rightarrow 0 it is reasonable to expect that J_t merges to the identity. The subtlety is that at t=0, f "disappears": the germ at the origin "jumps" from an infinitely stretched version of f to the identity. Each of the steps in the homotopy could be smoothed (smoot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Allen Hatcher
Allen, Allen's or Allens may refer to: Buildings * Allen Arena, an indoor arena at Lipscomb University in Nashville, Tennessee * Allen Center, a skyscraper complex in downtown Houston, Texas * Allen Fieldhouse, an indoor sports arena on the University of Kansas campus in Lawrence * Allen House (other) * Allen Power Plant (other) Businesses *Allen (brand), an American tool company *Allen's, an Australian brand of confectionery * Allens (law firm), an Australian law firm formerly known as Allens Arthur Robinson *Allen's (restaurant), a former hamburger joint and nightclub in Athens, Georgia, United States *Allen & Company LLC, a small, privately held investment bank *Allens of Mayfair, a butcher shop in London from 1830 to 2015 *Allens Boots, a retail store in Austin, Texas * Allens, Inc., a brand of canned vegetables based in Arkansas, US, now owned by Del Monte Foods * Allen's department store, a.k.a. Allen's, George Allen, Inc., Philadelphia, USA People * Allen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is 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, Twist (mathematics), 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 continuity (mathematics), continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, 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 topological property. Basic exampl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
