Tautological one-form

Short description: Canonical differential form

Not to be confused with Symplectic manifold § Definition, or Symplectic vector space.

This article relies largely or entirely on a single source. Please help improve this article by introducing citations to additional sources.
Find sources: "Tautological one-form" – news · newspapers · books · scholar · JSTOR (March 2025)

|

In mathematics, the tautological one-form is a special 1-form defined on the cotangent bundle T*Q of a manifold Q. In physics, it is used to create a correspondence between the velocity of a point in a mechanical system and its momentum, thus providing a bridge between Lagrangian mechanics and Hamiltonian mechanics (on the manifold Q).

The exterior derivative of this form defines a symplectic form giving T*Q the structure of a symplectic manifold. The tautological one-form plays an important role in relating the formalism of Hamiltonian mechanics and Lagrangian mechanics. The tautological one-form is sometimes also called the Liouville one-form, the Poincaré one-form, the canonical one-form, or the symplectic potential. A similar object is the canonical vector field on the tangent bundle.

## Contents

* 1 Definition in coordinates
* 2 Coordinate-free definition
* 2.1 Intuition
* 3 Symplectic potential
* 4 Properties
* 5 Action
* 6 On Riemannian and Pseudo-Riemannian Manifolds
* 7 References

## Definition in coordinates

To define the tautological one-form, select a coordinate chart U on T*Q and a canonical coordinate system on U. Pick an arbitrary point m∈T*Q. By definition of cotangent bundle, m=(q,p), where q∈Q and p∈Tq*Q. The tautological one-form θm:TmT*Q->ℝ is given by θm=∑i=1npidqi, with n=dimQ and (p1,…,pn)∈U⊆ℝn being the coordinate representation of p.

Any coordinates on T*Q that preserve this definition, up to a total differential (exact form), may be called canonical coordinates; transformations between different canonical coordinate systems are known as canonical transformations.

The canonical symplectic form, also known as the Poincaré two-form, is given by ω=−dθ=∑idqi∧dpi

The extension of this concept to general fibre bundles is known as the solder form. By convention, one uses the phrase "canonical form" whenever the form has a unique, canonical definition, and one uses the term "solder form", whenever an arbitrary choice has to be made. In algebraic geometry and complex geometry the term "canonical" is discouraged, due to confusion with the canonical class, and the term "tautological" is preferred, as in tautological bundle.

## Coordinate-free definition

The tautological 1-form can also be defined rather abstractly as a form on phase space. Let Q be a manifold and M=T*Q be the cotangent bundle or phase space. Let π:M->Q be the canonical fiber bundle projection, and let dπ:TM->TQ be the induced tangent map. Let m be a point on M. Since M is the cotangent bundle, we can understand m to be a map of the tangent space at q=π(m): m:TqQ->ℝ.

That is, we have that m is in the fiber of q. The tautological one-form θm at point m is then defined to be θm=m∘dmπ.

It is a linear map θm:TmM->ℝ and so θ:M->T*M.

### Intuition

Visually, the tautological 1-form can be computed as follows. Like how a vector can be pictured as an ordered pair of points, a 1-form can be pictured as an ordered pair of hyperplanes.

Given any vector in the cotangent bundle, V∈Tω(T*Q), where ω∈Tq*Q is its base point (a covector), and q∈Q is its base point. Then, there are 3 effects of moving infinitesimally from ω to ω+Vδt: shifting the base point q, rotating the hyperplane of the covector ker⁡ω, and changing the distance separating between the hyperplane pairs. In particular, the shifting of the base point creates a vector dπ(V)∈TqQ, which can be fed into the covector.

The tautological 1-form computes θ(V) by feeding the vector created by shifting the base point to , and ignoring the other two effects, which cannot be fed into the covector, giving θ(V)=ω(dπ(V)).

## Symplectic potential

The symplectic potential is generally defined a bit more freely, and also only defined locally: it is any one-form ϕ such that ω=−dϕ; in effect, symplectic potentials differ from the canonical 1-form by a closed form.

## Properties

The tautological one-form is the unique one-form that "cancels" pullback. That is, let β be a 1-form on Q. β is a section β:Q->T*Q. For an arbitrary 1-form σ on T*Q, the pullback of σ by β is, by definition, β*σ:=σ∘β*. Here, β*:TQ->TT*Q is the pushforward of β. Like β, β*σ is a 1-form on Q. The tautological one-form θ is the only form with the property that β*θ=β, for every 1-form β on Q.

Proof.

For a chart ({qi}i=1n,U) on Q (where U⊆ℝn), let {pi,qi}i=1n be the coordinates on T*Q, where the fiber coordinates {pi}i=1n are associated with the linear basis {dqi}i=1n. By assumption, for every 𝐪=(q1,…,qn)∈U, β(𝐪)=∑i=1nβi(𝐪)dqi, or 𝐪=(q1,…,qn) ->β (q1,…,qn⏟𝐪,β1(𝐪),…,βn(𝐪⏟𝐩)). It follows that β*(∂∂qi|𝐪)=∂∂qi|β(𝐪)+∑j=1n∂βj∂qi|𝐪⋅∂∂pj|β(𝐪) which implies that (β*dqi)(∂/∂qj)𝐪=dqi[β*(∂/∂qj)𝐪]=δij.

Step 1. We have (β*θ)(∂/∂qi)𝐪=θ(β*(∂/∂qi)𝐪)=(∑j=1npjdqj)(β*(∂/∂qi)𝐪)=βi(𝐪)=β(∂/∂qi)𝐪.

Step 1'. For completeness, we now give a coordinate-free proof that β*θ=β, for any 1-form β.

Observe that, intuitively speaking, for every q∈Q and p∈Tq*Q, the linear map dπ(q,p) in the definition of θ projects the tangent space T(q,p)T*Q onto its subspace TqQ. As a consequence, for every q∈Q and v∈TqQ, dπβ(q)(β*qv)=v, where β*q is the instance of β* at the point q∈Q, that is, β*q:TqQ->Tβ(q)T*Q. Applying the coordinate-free definition of θ to θβ(q), obtain (β*θ)qv=θβ(q)(β*qv)=β(q)(dπβ(q)(β*qv))=β(q)v.

Step 2. It is enough to show that α=0 if β*α=0, for every one-form β. Let α=∑i=1nαqi(𝐩,𝐪)dqi+∑i=1nαpi(𝐩,𝐪)dpi, where αpi,αqi∈C∞(ℝn×U,ℝ).

Substituting v=(∂/∂qi)𝐪 into the identity α(β*v)=0 obtain α(∂/∂qi)β(𝐪)+∑j=1n(∂βj/∂qi)𝐪⋅α(∂/∂pj)β(𝐪)=0, or equivalently, for any choice of n functions pi=βi(𝐪), αqi(𝐩,𝐪)+∑j=1n∂pj/∂qi⋅αpj(𝐩,𝐪)=0. Let β=∑j=1ncjdqj, where cj=const. In this case, βj=cj. For every 𝐪∈U and cj∈ℝ, αqi(𝐩,𝐪)|j=1…npj=cj=0. This shows that αqi(𝐩,𝐪)=0 on ℝn×U, and the identity ∑j=1n∂pj/∂qi⋅αpj(𝐩,𝐪)=0 must hold for an arbitrary choice of functions pi=βi(𝐪). If β=∑j=1ncjqjdqj (with j indicating superscript) then βj=cjqj, and the identity becomes αpi(𝐩,𝐪)|j=1…npj=cjqj=0, for every 𝐪∈U and cj∈ℝ. Since cj=pj/qj, we see that αpi(𝐩,𝐪)=0, as long as qj≠0 for all j. On the other hand, the function αpi is continuous, and hence αpi(𝐩,𝐪)=0 on ℝn×U.

So, by the commutation between the pull-back and the exterior derivative, β*ω=−β*dθ=−d(β*θ)=−dβ.

## Action

If H is a Hamiltonian on the cotangent bundle and XH is its Hamiltonian vector field, then the corresponding action S is given by S=θ(XH).

In more prosaic terms, the Hamiltonian flow represents the classical trajectory of a mechanical system obeying the Hamilton-Jacobi equations of motion. The Hamiltonian flow is the integral of the Hamiltonian vector field, and so one writes, using traditional notation for action-angle variables: S(E)=∑i∮pidqi with the integral understood to be taken over the manifold defined by holding the energy E constant: H=E=const.

## On Riemannian and Pseudo-Riemannian Manifolds

If the manifold Q has a Riemannian or pseudo-Riemannian metric g, then corresponding definitions can be made in terms of generalized coordinates. Specifically, if we take the metric to be a map g:TQ->T*Q, then define Θ=g*θ and Ω=−dΘ=g*ω

In generalized coordinates (q1,…,qn,q˙1,…,q˙n) on TQ, one has Θ=∑ijgijq˙idqj and Ω=∑ijgijdqi∧dq˙j+∑ijk∂gij∂qkq˙idqj∧dqk

The metric allows one to define a unit-radius sphere in T*Q. The canonical one-form restricted to this sphere forms a contact structure; the contact structure may be used to generate the geodesic flow for this metric.

## References

* Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X See section 3.2.

* v
* t
* e

Manifolds (Glossary, List, Category)

Basic concepts|

* Topological manifold
* Atlas
* Differentiable/Smooth manifold
* Differential structure
* Smooth atlas
* Submanifold
* Riemannian manifold
* Smooth map
* Submersion
* Pushforward
* Tangent space
* Differential form
* Vector field

Main theorems (list)|

* Atiyah–Singer index
* Darboux's
* De Rham's
* Frobenius
* Generalized Stokes
* Hopf–Rinow
* Noether's
* Sard's
* Whitney embedding

Maps|

* Curve
* Diffeomorphism
* Local
* Geodesic
* Exponential map
* in Lie theory
* Foliation
* Immersion
* Integral curve
* Lie derivative
* Section
* Submersion

Types of
manifolds|

* Calabi–Yau
* Closed
* Collapsing
* Complete
* (Almost) Complex
* (Almost) Contact
* Einstein
* Fibered
* Finsler
* (Almost, Ricci-) Flat
* G-structure
* Hadamard
* Hermitian
* Hyperbolic
* (Hyper) Kähler
* Kenmotsu
* Lie group
* Lie algebra
* Manifold with boundary
* Nilmanifold
* Oriented
* Parallelizable
* Poisson
* Prime
* Quaternionic
* Hypercomplex
* (Pseudo-, Sub-) Riemannian
* Rizza
* Sasakian
* Stein
* (Almost) Symplectic
* Tame

Tensors|

| Vectors|

* Distribution
* Lie bracket
* Pushforward
* Tangent space
* bundle
* Torsion
* Vector field
* Vector flow

|

Covectors|

* Closed/Exact
* Covariant derivative
* Cotangent space
* bundle
* De Rham cohomology
* Differential form
* Complex
* Vector-valued
* One-form
* Exterior derivative
* Interior product
* Pullback
* Ricci curvature
* flow
* Riemann curvature tensor
* Tensor field
* density
* Volume form
* Wedge product

Bundles|

* Adjoint
* Affine
* Associated
* Cotangent
* Dual
* Fiber
* (Co-) Fibration
* Jet
* Lie algebra
* (Stable) Normal
* Principal
* Spinor
* Subbundle
* Tangent
* Tensor
* Vector

Connections|

* Affine
* Cartan
* Ehresmann
* Form
* Generalized
* Koszul
* Levi-Civita
* Principal
* Vector
* Parallel transport

Related|

* Classification of manifolds
* Gauge theory
* History
* Morse theory
* Moving frame
* Singularity theory

Generalizations|

* Banach
* Diffeology
* Diffiety
* Fréchet
* Hilbert
* K-theory
* Non-Hausdorff
* Orbifold
* Secondary calculus
* over commutative algebras
* Sheaf
* Stratifold
* Supermanifold
* Stratified space

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Tautological one-form. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Tautological_one-form&oldid=4107861"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template