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,847 answers , 20,601 comments
1,470 users with positive rep
501 active unimported users
More ...

$A \wedge A \wedge A$ in Chern-Simons

+ 4 like - 0 dislike
78 views

I am confused with the wedging operations of Lie algebra valued differential forms. Especially, for instance, I have some problems with the Chern-Simons 3-form

$$A \wedge dA + \frac{2}{3}A \wedge A \wedge A,$$

where $A$ is a Lie algebra valued 1-form. My question is "how is the last term $A \wedge A \wedge A$ defined?"

As far as I know, a lot of sources (e.g. Wedge Product of Lie Algebra Valued One-Form, http://en.wikipedia.org/wiki/Lie_algebra-valued_differential_form) define the wedge of Lie algebra valued 1-forms as follows.

$$[\omega \wedge \eta](X_1,\dots,X_{p+q}) := \text{(coefficient)}\times \sum_{\sigma \in S_{p+q}} \text{sgn}(\sigma) [\omega(X_{\sigma(1)},\dots,X_{\sigma(p)}),\eta(X_{\sigma(p+1)},\dots,X_{\sigma(p+q)})],$$

where $\omega$ and $\eta$ are Lie algebra valued $p$-form and $q$-form, respectively. The coefficient differs by authors. Other people utilises local description (e.g. http://math.stackexchange.com/questions/315235/reference-for-lie-algebra-valued-differential-forms, and also in the Wikipedia)

$$[\omega \wedge \eta] = [\omega^a \otimes T^a, \eta^b\otimes T^b] := \omega^a \wedge \eta^b \otimes [T^a,T^b],$$

where $T^c (c=1,\dots,\dim \mathfrak{g})$ are generators of the Lie algebra $\mathfrak{g}$, and the implicit sums understood.

These definitions, as the notations suggest, force you to take Lie bracket explicitly. Therefore it is obvious that wedged one $[\omega\wedge\eta]$ is Lie algebra valued $(p+q)$-form.

Then what about wedged ones without brackets, such as $A\wedge A, A\wedge A \wedge A$?

I can show that $A \wedge A$ is equivalent to $[A \wedge A]$ up to coefficient, using either matrix representation, considering $\mathfrak{g}=\mathfrak{gl}(n)$, or universal enveloping algebra. The basic idea is

$$A \wedge A = (A^a \otimes T^a) \wedge (A^b \otimes T^b) = (A^a \wedge A^b) T^a T^b.$$

This time, by graded commutation relation, the multiplication of generators can be converted to commutators. This seems ok. Then what about $A\wedge A \wedge A$? I could not convert it to an expression only using commutators of generators...

So, what I did was calculating $[A \wedge [A \wedge A]]$, which gave zero. I am totally confused at this stage. Could you point out some pieces that I possibly keep missing??

This post imported from StackExchange MathOverflow at 2015-06-06 21:05 (UTC), posted by SE-user N. Shimode
asked May 27, 2015 in Mathematics by N. Shimode (20 points) [ no revision ]
retagged Jun 6, 2015

3 Answers

+ 5 like - 0 dislike

Option (1) Use the definition $(\omega \otimes S) \wedge (\eta \otimes S) = (\omega \wedge \eta) \otimes (S\otimes T)$ of the wedge product for Lie algebra valued forms. Define Lie bracket and Killing form as bilinear maps $[S\otimes T] = [S,T]$ and $\langle S \otimes T \rangle = \langle S, T\rangle$. Then the formula that you want is $$\langle A \wedge [A \wedge A] \rangle,$$ where the commutator and Killing form apply only to the Lie algebra factors, ignoring the differential form factors.

Option (2) Use the definition $(\omega \otimes S) \wedge (\eta \otimes S) = (\omega \wedge \eta) \otimes ST$ of the wedge product of forms valued in a particular matrix representation of a Lie algebra. Then the formula that you want is $$\operatorname{tr} (A \wedge A \wedge A),$$ where again the trace applies only to the matrix factors ignoring the differential form factors.

The two formulas agree up to a constant factor, as long as your Lie algebra is simple.

This post imported from StackExchange MathOverflow at 2015-06-06 21:05 (UTC), posted by SE-user Igor Khavkine
answered May 27, 2015 by Igor Khavkine (420 points) [ no revision ]
+ 3 like - 0 dislike

For Lie algebras of matrices (which is what you really care in Chern-Simmons theory) think of $A$ as a form with matrix coefficients

$$ A=\sum_i A_i dx^i, $$

where $A_i$ are $r\times r$ matrices.With this convention, use the usual wedge product

$$\left(\sum_i A_i dx^i\right)\wedge \left(\sum_j A_j dx^j\right)\wedge \left(\sum_k A_k dx^k\right) = \sum_{i,j,k} A_iA_jA_k dx^i\wedge dx^j\wedge dx^k, $$

where you need to recall that the product of matrices is not commutative.

This post imported from StackExchange MathOverflow at 2015-06-06 21:05 (UTC), posted by SE-user Liviu Nicolaescu
answered May 27, 2015 by Liviu Nicolaescu (100 points) [ no revision ]
Liviu, just want to note that your formula gives a matrix-valued 3-form. One still needs to take the trace of the matrix coefficients to get an ordinary 3-form that one could use as a Lagrangian density.

This post imported from StackExchange MathOverflow at 2015-06-06 21:05 (UTC), posted by SE-user Igor Khavkine
So, do you think that $A\wedge A \wedge A$ does not have to be Lie algebra valued 3-form? Perhaps this is the point that I cannot understand.

This post imported from StackExchange MathOverflow at 2015-06-06 21:05 (UTC), posted by SE-user N. Shimode
When the notation is ambiguous, you have to be more precise about the context. If you want a formula for the Lagrangian density of the Chern-Simon's theory, then it cannot be Lie algebra valued.

This post imported from StackExchange MathOverflow at 2015-06-06 21:05 (UTC), posted by SE-user Igor Khavkine
+ 0 like - 0 dislike

This is not a direct answer to my question, but I think it is worth noting. The reason why $A \wedge A \wedge A$ without trace should not be a Lie algebra valued 3-form is as follows.

Suppose $A \wedge A \wedge A$ be a well-defined Lie algebra valued 3-form in some sense. Then it must have such a local expression

$$C_{\mu\nu\rho}^a T^a \otimes dx_{\mu}\wedge dx_{\nu} \wedge dx_{\rho}.$$

To make this Chern-Simons Lagrangian density, you have to take trace of it, which gives zero unless the Lie algebra $\mathfrak{g}$ in consideration is abelian.

On the other hand, if the algebra were abelian, the expression $A \wedge A \wedge A$ must vanish (due to antisymmetry). This would make the theory useless. Thus the expression should never be a Lie algebra valued form.

P.S. I did not come up this story when I asked my question. But the discussion here uncovered my poor understanding on the subject and enlightened how I should proceed. Thank you everyone!

This post imported from StackExchange MathOverflow at 2015-06-06 21:05 (UTC), posted by SE-user N. Shimode
answered Jun 1, 2015 by N. Shimode (20 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$\hbar$ysicsOverflo$\varnothing$
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
...