Quantcast
  • 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.

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

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 \(\beta\) tools

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

Attributions

(propose a free ad)

Site Statistics

145 submissions , 122 unreviewed
3,930 questions , 1,398 unanswered
4,853 answers , 20,624 comments
1,470 users with positive rep
501 active unimported users
More ...

Question about Type IIB supergravity equations of motion

+ 5 like - 0 dislike
50 views

This is probably a dumb question, but I'm a mathematician who's been trying to understand the equations of motion for Type IIB supergravity, and I'm not quite sure I understand what's going on with the Einstein equations. Specifically, I'm following the appendix A of this paper, and the equation I'm having trouble with is A.4. Here it is for clarity:

$$R_{\mu \nu} + 2 D_{\mu}D_{\nu}\Phi - \frac{1}{4}H_{\mu \nu}^2 = e^{2\Phi}\left[ \frac{1}{2}(F_1^2)_{\mu \nu} + \frac{1}{4}(F_3^2)_{\mu \nu} + \frac{1}{96}(F_5^2)_{\mu \nu} - \frac{1}{4}g_{\mu \nu}\left( F_1^2 + \frac{1}{6}F_3^2 \right )\right]$$

My understanding is that $F_1$ is a differential 1-form, which we would write in components as say $F_1 = f_i dx^i$, and that $F_1^2$ is defined then to be: $$F_1^2 = f_i f_j g^{ij} $$ My problem is therefore that I expect $F_1^2$ to be a scalar. Indeed, I expect all the terms on the RHS of the equation to be scalars, and so I don't know what $(F_1^2)_{\mu \nu}$ means.

Small addendum: I am fairly sure that $D_{\mu }$ is the covariant derivative with respect to the metric connection, something I would normally call $\nabla_{\mu}$, but I just wanted to confirm this.

This post imported from StackExchange Physics at 2017-02-15 08:35 (UTC), posted by SE-user Mark B
asked Feb 10 in Theoretical Physics by Mark B (55 points) [ no revision ]

2 Answers

+ 3 like - 0 dislike

$F_{n-1}$'s are curvatures of higher gauge fields $A_{n-1}$'s, so they are n-forms. The expression $(F_{n}^2)_{\mu \nu}$ means schematically $F_{\mu \rho_1 \cdots \rho_{n-1}} F_{\nu}^{\phantom{a} \rho_1 \cdots \rho_{n-1}}$, where the indices are risen with the inverse metric $g^{\mu \nu}$.

This post imported from StackExchange Physics at 2017-02-15 08:35 (UTC), posted by SE-user Andrey Feldman
answered Feb 11 by Andrey Feldman (600 points) [ no revision ]
Does this mean that $F_1^2$ is just $F_{\mu} F_{\nu}$?

This post imported from StackExchange Physics at 2017-02-15 08:35 (UTC), posted by SE-user Mark B
@MarkB Sorry, I made a typo in my answer. $F_1$ is the curvature of $A_1$, $F_1=\mathrm{d} A_1$.

This post imported from StackExchange Physics at 2017-02-15 08:35 (UTC), posted by SE-user Andrey Feldman
Yep, I'm ok with the fact that $F_1$ is the curvature of a scalar field, $F_1 = d C_0$. But a one-form has only one index, so according to your answer the square of the 1-form flux is simply $F_{\mu} F_{\nu}$, which seems a bit strange to me.

This post imported from StackExchange Physics at 2017-02-15 08:35 (UTC), posted by SE-user Mark B
@MarkB Sorry, you are right. There are, of course, no odd-degree gauge fields in Type IIB. The correct expressions are given by (2.4) and (2.5) in the paper you cited. Then, $F_1^2$ is just $\partial_{\mu} C_0 \partial_{\nu} C_0$.

This post imported from StackExchange Physics at 2017-02-15 08:35 (UTC), posted by SE-user Andrey Feldman
+ 2 like - 0 dislike

For a target space $p$-form in local coordinates

$$F_p~=~\frac{1}{p!}F_{\mu_1\mu_2\ldots\mu_p}~\mathrm{d}x^{\mu_1}\wedge \mathrm{d}x^{\mu_2}\wedge\ldots\wedge \mathrm{d}x^{\mu_p},\tag{1}$$

the paper defines a scalar

$$F_p^2~:=~F_{\mu_1\mu_2\ldots\mu_p}~g^{\mu_1\nu_1}~g^{\mu_2\nu_2}\ldots g^{\mu_p\nu_p}~F_{\nu_1\nu_2\ldots\nu_p},\tag{2}$$

and a symmetric covariant tensor

$$(F_p^2)_{\mu_1\nu_1}~:=~F_{\mu_1\mu_2\ldots\mu_p}~g^{\mu_2\nu_2}\ldots g^{\mu_p\nu_p}~F_{\nu_1\nu_2\ldots\nu_p}.\tag{3}$$

This post imported from StackExchange Physics at 2017-02-15 08:35 (UTC), posted by SE-user Qmechanic
answered Feb 11 by Qmechanic (2,790 points) [ no revision ]

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):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\varnothing$ysicsOverflow
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).
To avoid this verification in future, please log in or register.




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

Your rights
...