Quantcast
Loading [MathJax]/jax/output/HTML-CSS/jax.js
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.
W3Counter Web Stats

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public β tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

206 submissions , 164 unreviewed
5,106 questions , 2,251 unanswered
5,412 answers , 23,072 comments
1,470 users with positive rep
822 active unimported users
More ...

  Equations of motion for action with differential forms/Hodge star

+ 3 like - 0 dislike
3034 views

I'm trying to compute the equations of motion for an action, but I'm not really familiar with the notation and so I'm not entirely sure what to do. It's a non-linear sigma model, describing maps X:ΣM where Σ is two-dimensional, given by S[X]=12Σgij(X)dXidXj I'm used to seeing actions of the form S=gij(x)μXiμXj, and then getting the equations of motions from the Euler-Lagrange equations, but I don't know what the Euler-Lagrange equations look like in this notation.

(Copied from Physics Stack Exchange)

asked Oct 19, 2016 in Theoretical Physics by Mark Bugden (105 points) [ no revision ]

1 Answer

+ 4 like - 0 dislike

Lets begin by defining more precisely the objects which we are dealing with there. Let ϕ=(Xμ):ΣM an embedding of our world-sheet Σ in spacetime M with metric η, h=ϕgsecT(0,2)(Σ) the metric induced on the world-sheet Σ by the background metric η, and let γ=secT(0,2)(Σ) be a metric on the world-sheet. Observe that h and γ are unrelated: the former is induced by the extrinsic geometry, the latter defines the intrinsic world-sheet geometry. The world-sheet is oriented by the 2-form ω2(Σ) defining our element of volume. The Hodge dual γ is then the duality operator define on the oriented pseudo-Riemannian surface (Σ,γ,ω) (and not the Hodge dual induced on the bundle of differential forms of the background metric!). We may then define the action functional

S[Xμ,γ]=12Σgμν[X]dXμγdXν

where (gμν) is family of functions living on Σ depending on the non-linear sigma model you are dealing with. (For a bosonic string moving in a curved background M with curved metric Gμν, we let gμν=Gμν. To study the interaction with gravitons, let Gμν=ημν+ξμν for a small metric pertubation ξ . See Polchinski 3.7 for details).

Since you only want to know how to study the calculus of variations with this formalism, lets choose the linear sigma model for which gμν=ημν. Observe that from the calculus of exterior differential forms, the component version of this action is actually

S[Xμ,γ]=12Σημνγ(dXμ,dXν)ω=12ΣημνγabaXμbXν|γ|1/2dσdτ

This is just the Polyakov action. The fact is that αγβ=γ(α,β)ω for all α,βΣ of the same degree. So, in the enunciation of this question, the author forgot to include the volume element, and the corresponding metric determinant, in the second line of the second paragraph).

To do the variation using geometric formalism, consider the variation XμXμ+ˉδXμ. (The bar on the delta will distinguish the variation symbol to the coderivative, to be introduced below). The action becomes, after using the Leibnitz rule for the exterior derivative, Stokes theorem and ignoring boundary (Σ) terms,

ˉδXS[X,γ]=ΣημνˉδXμdγdXν=0

Recalling that, for surfaces of Lorentz signatures the coderivative is δ=γdγ we get the equation of motion δdXμ=0. If =dδ+δd denotes the Laplace-Beltrami operator on the world-sheet, our equations of motion are just the wave-equations

Xμ=0

since δX=0 for all 0-forms X0Σ.

To carry the world-sheet metric variation now, I will introduce the notation T|V for the contraction of the tensors T,V of the same degree, and αβ for the contraction of the forms α,β of the same degree. Observe that by varying the world-sheet metric γ, one is changing both the volume element ω and the Hodge star γ. The variation of terms involving the Hodge dual is not so trivial, and in fact, can be proven (assuming deg(α)=deg(β)=1) to be just

ˉδ(αγβ)=12(αβ)γ1αβ|ˉδγω

where by γ1 I actually denote the inverse metric of γ (namely, whose elements are (γab) in world-sheet coordinates). This formula can be used to perform the variation of the Einstein-Hilbert action in differential forms which I commented in another question here and is based on Thirring's course on mathematical physics. I have also seen it been derived in  Göckeler & Schücker and in this paper. If someone is really interested, I can provide a more easier derivation of this result upon request. Anyway, applying this to our equation gives:

ˉδγS[X,γ]=Σ12(dxμdXμ)γ1dXμdXμ|ˉδγω

and the equation of motion completely fix our (auxiliary) world-sheet metric as

12(dXμdXμ)γ1=dXμdXμ

By recalling that hab=aXμbXμ is our induced metric on the world-sheet, the above equation just becomes the well-known formula

12γcdγabhab=hcd

that you may grab your copy of Polchinski and see Eq.(1.2.16) (with slight changes in index positioning). So, to summarize, in differential forms, the equations of motion for the bosonic Polyakov action are just

Xμ=012(dXμdXμ)γ1=h

answered Dec 8, 2016 by Igor Mol (550 points) [ revision history ]
edited Apr 8, 2019 by Igor Mol

I may be missing something trivial, but it seems that the formula you gave for δαγβ only works if α,βΩ1(M), as αβ|δγ is only defined if α and β are forms of degree one.

Dear @BobKnighton,

Yes, the equation for the variation of αγβ with respect to the metric field γ given in my answer is indeed specific to the case where deg(α)=deg(β)=1, which suffices for the solution of the problem raised in this question since here we only need α=dXμ and β=dXμ (where (Xμ):ΣM denotes the embedding of the world-sheet into spacetime). I added a parenthesis in my answer to specify this point, thank you.

If you are interested, cf. Eq.(33) of this paper for a general formula of the variation ˉδ(γϕ) of the Hodge dual γ (induced by the metric γ) of a p-form ϕ.

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol in the following word:
pysisOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...