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

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

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

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Lagrangian (classical) BRST cohomology groups

+ 4 like - 0 dislike
2278 views

I'm trying to understand BRST complex in its Lagrangian incarnation i.e. in the form mostly closed to original Faddeev-Popov formulation. It looks like the most important part of that construction (proof of vanishing of higher cohomology groups) is very hard to find in the literature, at least I was not able to do so. Let me formulate couple of questions on BRST, but in the form of exercises on Lie algebra cohomology.

Let $X$ be a smooth affine variety, and $g$ is a (reductive?) Lie algebra acting on $X$, I think we assume $g$ to be at least unimodular, otherwise BRST construction won't work, and also assume that map $g \to T_X$ is injective. In physics language this is closed and irreducible action of a Lie algebra of a gauge group of the space of fields $X$. Structure sheaf $\mathcal{O}_X$ is a module over $g$, and I could form Chevalley-Eilenberg complex with coefficients in this module $$ C=\wedge g^* \otimes \mathcal{O}_X. $$

The ultimate goal if BRST construction is to provide "free model" of algebra of invarinats $\mathcal{O}_X^g$, it is nor clear what is "free model", but I think BRST construction is just Tate's procedure of killing cycles for Chevalley-Eilenberg complex above (Tate's construction works for any dg algebra, and $C$ is a dg algebra).

My first question is what exactly are cohomology of the complex $C$? In other words before killing cohomology I'd like to understand what exactly have to be killed. For me it looks like a classical question on Lie algebra cohomology and, perhaps, it was discussed in the literature 60 years ago.

It is not necessary to calculate these cohomology groups and then follow Tate's approach to construct complete BSRT complex (complete means I added anti-ghosts and lagrange multipliers to $C$ and modified the differential), but even if I start with BRST complex $$ C_{BRST}=(\mathcal{O}_X \otimes \wedge (g \oplus g^*) \otimes S(g), d_{BRST}=d_{CE}+d_1), $$ where I could find a proof that all higher cohomology vanishes?

This post imported from StackExchange MathOverflow at 2014-08-15 09:41 (UCT), posted by SE-user Sasha Pavlov
asked Nov 20, 2013 in Theoretical Physics by Sasha Pavlov (50 points) [ no revision ]
retagged Aug 15, 2014
What makes you think that higher BRST cohomology groups vanish? In general, they do not and some of them (in degree 1 and 2) may be obstructions to symmetry reduction after quantization (anomalies). Also, your description of the BRST construction seems a bit off. What is your main reference? Briefly, the CE differential is the same the BRST differential. A Koszul-Tate resolution is applied instead to the ideal generated by the Lagrangian equations of motion (which appear nowhere in your question) in the more general Batalin-Vilkoviski construction.

This post imported from StackExchange MathOverflow at 2014-08-15 09:41 (UCT), posted by SE-user Igor Khavkine
For example, here arxiv.org/pdf/1008.1411v1.pdf on p. 35, Reshetikhin claims that higher cohomology groups vanish. Perhaps, quantum BRST cohomology groups do not vanish. Reshetikhin's notes could be considered as my main reference if you want some. BRST differential is clearly different from CE differential. I know how to use Koszul-Tate for shell and I know BV formalism, but my question is about different things. Why my description is a bit off?

This post imported from StackExchange MathOverflow at 2014-08-15 09:41 (UCT), posted by SE-user Sasha Pavlov
By 'seems off', I only meant the remarks at the end of my first comment. Well, Reshetikhin makes that comment after assuming that the action of $G$ on $X$ is faithful. I know that, in general, the computation of higher BRST cohomology groups in field theory is rather technical and I don't know whether their vanishing follows from a simple hypothesis like faithfulness. You can find examples of such computations in the review by Barnich, Brandt and Henneaux (arxiv.org/abs/hep-th/0002245).

This post imported from StackExchange MathOverflow at 2014-08-15 09:41 (UCT), posted by SE-user Igor Khavkine
Incidentally, you can see in Reshetikhin's notes that $Q$ differs from the CE differential only by the term $\lambda_a \partial/\partial\bar{c}_a$. Since the variables $(\lambda,\bar{c})$ do not appear elsewhere in $Q$, they form a contractible pair. That is, if all dependence on them is eliminated and that last term is dropped from $Q$, the cohomology is unchanged. But the remaining part of $Q$ is just the CE differential.

This post imported from StackExchange MathOverflow at 2014-08-15 09:41 (UCT), posted by SE-user Igor Khavkine
I see what you mean, BRST complex is a tensor product of $C$ and a contractible complex, but higher cohomology of $C$ is almost never zero, even for one dimensional lie algebra fist cohomology are coinvariants. It means that BRST complex is far from being a free model in this case. What is the meaning of it? Just a fancy way to fix gauge via fermion, thats all?

This post imported from StackExchange MathOverflow at 2014-08-15 09:41 (UCT), posted by SE-user Sasha Pavlov
You can think of it that way, if you wish. BRST cohomology appears in classical deformations, quantum anomalies, verification of unitarity, and probably more. With that, I think it deserves the status of intrinsic usefulness. Finally, we are in agreement about the higher cohomology groups. I don't know the reason for the claim in Reshetikhin's notes.

This post imported from StackExchange MathOverflow at 2014-08-15 09:41 (UCT), posted by SE-user Igor Khavkine
Thanks for clarification. I'm not really interested in physics and find texts like (arxiv.org/abs/hep-th/0002245) very hard to read. I know that in classical Hamiltonian case BRST complex give a free model as was explained by Jim Stasheff many years ago and algebra of the construction was non-trivial and interesting. I decided to look at Lagrangian case of BRST and I see know that homological algebra itself boils down to CE complex and don't give any new algebraic constructions.

This post imported from StackExchange MathOverflow at 2014-08-15 09:41 (UCT), posted by SE-user Sasha Pavlov

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$ysicsO$\varnothing$erflow
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
...