To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Hopf invariant

From Wikipedia, the free encyclopedia

In mathematics, in particular in algebraic topology, the Hopf invariant is a homotopy invariant of certain maps between n-spheres.

YouTube Encyclopedic

  • 1/2
    Views:
    1 446
    3 846
  • 维度 数学漫步 7 分形
  • وثائقي الأبعاد / الفصــل 7 : التلييف

Transcription

Motivation

In 1931 Heinz Hopf used Clifford parallels to construct the Hopf map

,

and proved that is essential, i.e., not homotopic to the constant map, by using the fact that the linking number of the circles

is equal to 1, for any .

It was later shown that the homotopy group is the infinite cyclic group generated by . In 1951, Jean-Pierre Serre proved that the rational homotopy groups [1]

for an odd-dimensional sphere ( odd) are zero unless is equal to 0 or n. However, for an even-dimensional sphere (n even), there is one more bit of infinite cyclic homotopy in degree .

Definition

Let be a continuous map (assume ). Then we can form the cell complex

where is a -dimensional disc attached to via . The cellular chain groups are just freely generated on the -cells in degree , so they are in degree 0, and and zero everywhere else. Cellular (co-)homology is the (co-)homology of this chain complex, and since all boundary homomorphisms must be zero (recall that ), the cohomology is

Denote the generators of the cohomology groups by

and

For dimensional reasons, all cup-products between those classes must be trivial apart from . Thus, as a ring, the cohomology is

The integer is the Hopf invariant of the map .

Properties

Theorem: The map is a homomorphism. If is odd, is trivial (since is torsion). If is even, the image of contains . Moreover, the image of the Whitehead product of identity maps equals 2, i. e. , where is the identity map and is the Whitehead product.

The Hopf invariant is for the Hopf maps, where , corresponding to the real division algebras , respectively, and to the fibration sending a direction on the sphere to the subspace it spans. It is a theorem, proved first by Frank Adams, and subsequently by Adams and Michael Atiyah with methods of topological K-theory, that these are the only maps with Hopf invariant 1.

Whitehead integral formula

J. H. C. Whitehead has proposed the following integral formula for the Hopf invariant.[2][3]: prop. 17.22  Given a map , one considers a volume form on such that . Since , the pullback is a Closed differential form: . By Poincaré's lemma it is an exact differential form: there exists an -form on such that . The Hopf invariant is then given by

Generalisations for stable maps

A very general notion of the Hopf invariant can be defined, but it requires a certain amount of homotopy theoretic groundwork:

Let denote a vector space and its one-point compactification, i.e. and

for some .

If is any pointed space (as it is implicitly in the previous section), and if we take the point at infinity to be the basepoint of , then we can form the wedge products

.

Now let

be a stable map, i.e. stable under the reduced suspension functor. The (stable) geometric Hopf invariant of is

,

an element of the stable -equivariant homotopy group of maps from to . Here "stable" means "stable under suspension", i.e. the direct limit over (or , if you will) of the ordinary, equivariant homotopy groups; and the -action is the trivial action on and the flipping of the two factors on . If we let

denote the canonical diagonal map and the identity, then the Hopf invariant is defined by the following:

This map is initially a map from

to ,

but under the direct limit it becomes the advertised element of the stable homotopy -equivariant group of maps. There exists also an unstable version of the Hopf invariant , for which one must keep track of the vector space .

References

  1. ^ Serre, Jean-Pierre (September 1953). "Groupes D'Homotopie Et Classes De Groupes Abeliens". The Annals of Mathematics. 58 (2): 258–294. doi:10.2307/1969789. JSTOR 1969789.
  2. ^ Whitehead, J. H. C. (1 May 1947). "An Expression of Hopf's Invariant as an Integral". Proceedings of the National Academy of Sciences. 33 (5): 117–123. Bibcode:1947PNAS...33..117W. doi:10.1073/pnas.33.5.117. PMC 1079004. PMID 16578254.
  3. ^ Bott, Raoul; Tu, Loring W (1982). Differential forms in algebraic topology. New York. ISBN 9780387906133.{{cite book}}: CS1 maint: location missing publisher (link)
This page was last edited on 5 October 2023, at 20:38
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.