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

Integration along fibers

From Wikipedia, the free encyclopedia

In differential geometry, the integration along fibers of a k-form yields a -form where m is the dimension of the fiber, via "integration". It is also called the fiber integration.

YouTube Encyclopedic

  • 1/5
    Views:
    453 829
    74 048
    92 328
    43 426
    274 961
  • Extracellular matrix | Structure of a cell | Biology | Khan Academy
  • Muscle Spindles: Innervations and Alpha-Gamma Coactivation
  • SA12: Beam Deflection: The Double Integration Method
  • Physiology of Touch: Receptors and Pathways, Animation
  • Spinal Cord: Anatomy, Spinal Tracts & Pathways, Somatic Reflexes, Animation

Transcription

Definition

Let be a fiber bundle over a manifold with compact oriented fibers. If is a k-form on E, then for tangent vectors wi's at b, let

where is the induced top-form on the fiber ; i.e., an -form given by: with lifts of to ,

(To see is smooth, work it out in coordinates; cf. an example below.)

Then is a linear map . By Stokes' formula, if the fibers have no boundaries(i.e. ), the map descends to de Rham cohomology:

This is also called the fiber integration.

Now, suppose is a sphere bundle; i.e., the typical fiber is a sphere. Then there is an exact sequence , K the kernel, which leads to a long exact sequence, dropping the coefficient and using :

,

called the Gysin sequence.

Example

Let be an obvious projection. First assume with coordinates and consider a k-form:

Then, at each point in M,

[1]

From this local calculation, the next formula follows easily (see Poincaré_lemma#Direct_proof): if is any k-form on

where is the restriction of to .

As an application of this formula, let be a smooth map (thought of as a homotopy). Then the composition is a homotopy operator (also called a chain homotopy):

which implies induce the same map on cohomology, the fact known as the homotopy invariance of de Rham cohomology. As a corollary, for example, let U be an open ball in Rn with center at the origin and let . Then , the fact known as the Poincaré lemma.

Projection formula

Given a vector bundle π : EB over a manifold, we say a differential form α on E has vertical-compact support if the restriction has compact support for each b in B. We write for the vector space of differential forms on E with vertical-compact support. If E is oriented as a vector bundle, exactly as before, we can define the integration along the fiber:

The following is known as the projection formula.[2] We make a right -module by setting .

Proposition — Let be an oriented vector bundle over a manifold and the integration along the fiber. Then

  1. is -linear; i.e., for any form β on B and any form α on E with vertical-compact support,
  2. If B is oriented as a manifold, then for any form α on E with vertical compact support and any form β on B with compact support,
    .

Proof: 1. Since the assertion is local, we can assume π is trivial: i.e., is a projection. Let be the coordinates on the fiber. If , then, since is a ring homomorphism,

Similarly, both sides are zero if α does not contain dt. The proof of 2. is similar.

See also

Notes

  1. ^ If , then, at a point b of M, identifying 's with their lifts, we have:
    and so
    Hence, By the same computation, if dt does not appear in α.
  2. ^ Bott & Tu 1982, Proposition 6.15.; note they use a different definition than the one here, resulting in change in sign.

References

  • Michele Audin, Torus actions on symplectic manifolds, Birkhauser, 2004
  • Bott, Raoul; Tu, Loring (1982), Differential Forms in Algebraic Topology, New York: Springer, ISBN 0-387-90613-4
This page was last edited on 14 February 2023, at 09:18
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.