nLab
Hamiltonian vector field

Contents

Definition

On symplectic manifolds

Definition

For (X,ω)(X,\omega) a symplectic manifold, a vector field vΓ(TX)v \in \Gamma(T X) is called a Hamiltonian vector field if its contraction with the differential 2-form ω\omega is exact: if there exists αC (X)\alpha \in C^\infty(X) such that

ι vω=dα. \iota_v \omega = d \alpha \,.

In this case α\alpha is called a Hamiltonian for vv.

On nn-plectic manifolds

Definition

For (X,ω)(X,\omega) an n-plectic manifold, a vector field vΓ(TX)v \in \Gamma(T X) is called a Hamiltonian vector field if is contraction with the (n+1)(n+1)-form ω\omega is exact: there is αΩ n1(X)\alpha \in \Omega^{n-1}(X) such that

ι vω=dα. \iota_v \omega = d \alpha \,.

In this case α\alpha is called a Hamiltonian (n-1)-form for vv.

On nn-plectic smooth \infty-groupoids

We discuss now the notion of Hamiltonian vector fields in the full generality internal to a cohesive (∞,1)-topos H\mathbf{H}. We write out the discussion for the case H=\mathbf{H} = Smooth∞Grpd for convenience, but any other choice of cohesive (,1)(\infty,1)-topos works as well.

Consider the circle n-group B n1U(1)\mathbf{B}^{n-1}U(1) and the corresponding coefficient object B nU(1) connH\mathbf{B}^n U(1)_{conn} \in \mathbf{H} for U(1)U(1)-differential cohomology in degree (n+1)(n+1), the smooth moduli stack of circle n-bundles with connection.

For any XHX \in \mathbf{H}, a morphism ω:XΩ cl n+1\omega \colon X \to \Omega^{n+1}_{cl} is a pre-n-plectic structure on XX. For instance (X,ω)(X,\omega) might be a symplectic ∞-groupoid.

A higher geometric prequantization of (X,ω)(X,\omega) is a lift \nabla in

B nU(1) conn X ω Ω cl n+1. \array{ && \mathbf{B}^n U(1)_{conn} \\ & {}^{\mathllap{\nabla}}\nearrow & \downarrow \\ X &\stackrel{\omega}{\to}& \Omega^{n+1}_{cl} } \,.

The quantomorphism n-group of this prequantization is

QuantMorph(X,ω) B nU(1) connAut(), \mathbf{QuantMorph}(X,\omega) \coloneqq \prod_{\mathbf{B}^n U(1)_{conn}} \mathbf{Aut}(\nabla) \,,

where

  1. Aut()\mathbf{Aut}(\nabla) is the automorphism ∞-group of \nabla formed in the slice (∞,1)-topos H /B nU(1) conn\mathbf{H}_{/\mathbf{B}^n U(1)_{conn}}

  2. B nU(1) conn:H /B nU(1) connH\prod_{\mathbf{B}^n U(1)_{conn}} \colon \mathbf{H}_{/\mathbf{B}^n U(1)_{conn}} \to \mathbf{H} is the dependent product (∞,1)-functor.

There is a canonical homomorphism of ∞-groups

p:QuantMorph(X,ω)Aut(X) p \colon \mathbf{QuantMorph}(X,\omega) \to \mathbf{Aut}(X)

to the automorphism ∞-group of XX (the diffeomorphism group of XX), given as the restriction to invertible endomorphisms of the canonical morphism

B nU(1) conn[,][ B nU(1) conn, B nU(1) conn][X,X] \prod_{\mathbf{B}^n U(1)_{conn}} \left[ \nabla,\nabla \right] \to \left[ \sum_{\mathbf{B}^n U(1)_{conn}} \nabla, \sum_{\mathbf{B}^n U(1)_{conn}} \nabla \right] \simeq [X,X]

which is discussed at internal hom – Examples – In slice categories.

Definition

The Hamiltonian symplectomorphism n-group HamSymp(X,ω)\mathbf{HamSymp}(X,\omega) of (X,ω)(X,\omega) is the ∞-image of this morphism pp, hence the factorization

p:QuantMorph(X,ω)HamSymp(X,ω)Aut(X) p \colon \mathbf{QuantMorph}(X,\omega) \to \mathbf{HamSymp}(X,\omega) \hookrightarrow \mathbf{Aut}(X)

of pp by an effective epimorphism followed by a monomorphism.

The corresponding ∞-Lie algebra

HamVect(X,ω)Lie(HamSymp(X,ω)) HamVect(X,\omega) \coloneqq Lie(\mathbf{HamSymp}(X,\omega))

we call the \infty-Lie algebra of Hamiltonian vector fields on (X,ω)(X,\omega).

More explicitly:

Definition

A Hamiltonian diffeomorphism ϕ\phi on
on (X,ω)(X, \omega) is an element ϕ:XX\phi \colon X \stackrel{\simeq}{\to} X in the automorphism ∞-group ϕAut(X)\phi \in \mathbf{Aut}(X) such that it fits into a diagram of the form

X ϕ X α B nU(1) conn \array{ X &&\underoverset{\simeq}{\phi}{\to}&& X \\ & {}_{\mathllap{\nabla}}\searrow & \swArrow_{\alpha} & \swarrow_{\mathrlap{\nabla}} \\ && \mathbf{B}^n U(1)_{conn} }

in H\mathbf{H}.

Proposition

For n=1n = 1 and (X,ω)(X, \omega) an ordinary prequantizable symplectic manifold regarded as a smooth \infty-groupoid, this definition reproduces the ordinary definition of Hamiltonian vector fields above.

In particular it is independent of the choice of prequantum line bundle.

Proof

To compute the Lie algebra of this, we need to consider smooth 1-parameter families of Hamiltonian diffeomorphisms and differentiate them.

Assume first that the prequantum line bundle is trivial as a bundle, with the connection 1-form of \nabla given by a globally defined AΩ 1(X)A \in \Omega^1(X) with dA=ωd A = \omega. Then the existence of the diagram in def. 4 is equivalent to the condition

(ϕ(t) *AA)=dα(t), (\phi(t)^* A - A) = d \alpha(t) \,,

where α(t)C (X)\alpha(t) \in C^\infty(X). Differentiating this at 0 yields the Lie derivative

vA=dα, \mathcal{L}_v A = d \alpha' \,,

where vv is the vector field of which tϕ(t)t \mapsto \phi(t) is the flow and where α:=ddtα\alpha' := \frac{d}{dt} \alpha.

By Cartan calculus this is equivalently

d dRι vA+ι vd dRA=dα d_{\mathrm{dR}} \iota_v A + \iota_v d_{dR} A = d \alpha'

and using that AA is the connection on a prequantum circle bundle for ω\omega

ι vω=d(αι vA). \iota_v \omega = d (\alpha' - \iota_v A) \,.

This says that for vv to be Hamiltonian, its contraction with ω\omega must be exact. This is precisely the definition of Hamiltonian vector fields. The corresponding Hamiltonian function here is

h:=αι vA. h := \alpha'-\iota_v A \,.

In the general case that the prequantum bundle is not trivial, we can present it by a Cech cocycle on the Cech nerve C(P *XX)C(P_* X \to X) of the based path space surjective submersion (regarding P *XP_* X as a diffeological space and choosing one base point per connected component, or else assuming without restriction that XX is connected).

Any diffeomorphism ϕ=exp(v):XX\phi = \exp(v) : X \to X lifts to a diffeomorphism P *ϕ:P *XP *X P_*\phi : P_* X \to P_* X by setting P *ϕ(γ):(t[0,1])exp(tv)(γ(t))P_* \phi(\gamma) : (t \in [0,1]) \mapsto \exp(t v)(\gamma(t)). This way the Hamiltonian diffeomorphism is presented in the model structure on simplicial presheaves by a diagram

C(P *XX) ϕ C(P *XX) α B nU(1) conn \array{ C(P_*X \to X) &&\underoverset{\simeq}{\phi}{\to}&& C(P_*X \to X) \\ & {}_{\mathllap{\nabla}}\searrow & \swArrow_{\alpha} & \swarrow_{\mathrlap{\nabla}} \\ && \mathbf{B}^n U(1)_{conn} }

of simplicial presheaves.

Now the same argument as above applies for P *XP_* X.

Properties

Hamiltonian actions and moment maps

An action of a Lie algebra by (flows of) Hamiltonian vector fields that can be lifted to a Hamiltonian action is equivalently given by a moment map. See there for details.

Relation to symplectic vector fields

Every Hamiltonian vector field is in particular a symplectic vector field. Where a symplectic vector field only preserves the symplectic form, a Hamiltonian vector field also preserves the connection on its prequantum line bundle.

Proposition

For (X,ω)(X, \omega) a finite dimensional symplectic manifold, there is an exact sequence

0HamVect(X,ω)SympVect(X,ω)H 1(X,)0. 0 \to HamVect(X, \omega) \to SympVect(X, \omega) \to H^1(X, \mathbb{R}) \to 0 \,.

This appears as (Brylinski, 2.3.3).

Relation to functions and Poisson brackets

Proposition

Let (X,ω)(X, \omega) be a connected symplectic manifold. Then there is a central extension of Lie algebras

0(C (X),{,})HamVect(X,ω)0. 0 \to \mathbb{R} \to (C^\infty(X),\{-,-\}) \to HamVect(X,\omega) \to 0 \,.

This is a special case of what is called the Kostant-Souriau central extension. See around (Brylinski, prop. 2.3.9).

higher and integrated Kostant-Souriau extensions:

(∞-group extension of ∞-group of bisections of higher Atiyah groupoid for 𝔾\mathbb{G}-principal ∞-connection)

(Ω𝔾)FlatConn(X)QuantMorph(X,)HamSympl(X,) (\Omega \mathbb{G})\mathbf{FlatConn}(X) \to \mathbf{QuantMorph}(X,\nabla) \to \mathbf{HamSympl}(X,\nabla)
nngeometrystructureunextended structureextension byquantum extension
\inftyhigher prequantum geometrycohesive ∞-groupHamiltonian symplectomorphism ∞-groupmoduli ∞-stack of (Ω𝔾)(\Omega \mathbb{G})-flat ∞-connections on XXquantomorphism ∞-group
1symplectic geometryLie algebraHamiltonian vector fieldsreal numbersHamiltonians under Poisson bracket
1Lie groupHamiltonian symplectomorphism groupcircle groupquantomorphism group
22-plectic geometryLie 2-algebraHamiltonian vector fieldsline Lie 2-algebraPoisson Lie 2-algebra
2Lie 2-groupHamiltonian 2-plectomorphismscircle 2-groupquantomorphism 2-group
nnn-plectic geometryLie n-algebraHamiltonian vector fieldsline Lie n-algebraPoisson Lie n-algebra
nnsmooth n-groupHamiltonian n-plectomorphismscircle n-groupquantomorphism n-group

(extension are listed for sufficiently connected XX)

Group of Hamiltonian symplectomorphisms

The auto-symplectomorphisms on a symplectic manifold form a group, of which the symplectic vector fields generate the connected component. The Hamiltonian vector fields among the symplectic ones generate the group of Hamiltonian symplectomorphisms.

(…)

The Hamiltonian vector field of a given function may also be called its symplectic gradient.

The generalization to multisymplectic geometry/n-plectic geometry: Hamiltonian n-vector fields

References

A textbook reference is section II.3 in

  • Jean-Luc Brylinski, Loop spaces, characteristic classes and geometric quantization, Birkhäuser.

For more references on the ordinary notion of Hamiltonian vector fields see the references at symplectic geometry and geometric quantization.

The notion of Hamiltonian vector field in n-plectic geometry is discussed in

The notion of Hamiltonian vector field for nn-plectic cohesive \infty-groupoids is discussed in section 4.8.1 of

See also at higher geometric quantization.

Revised on September 17, 2013 21:15:59 by Urs Schreiber (145.116.129.172)