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

  Is the SUSY Algebra isomorphic for all Kähler Manifolds?

+ 5 like - 0 dislike
1672 views

For a Kähler manifold, the graded algebra generated by $\partial,\overline{\partial},\partial^*,\overline{\partial}^\ast$, the Lefschetz operator, and the dual Lefschetz operator, is called the supersymmetric algebra, or in physics parlance the $N=(2,2)$ SUSY algebra. Am I correct in understanding that one gets the same algebra for all Kähler manifolds?


This post imported from StackExchange MathOverflow at 2014-08-10 19:58 (UCT), posted by SE-user Jean Delinez

asked May 15, 2012 in Mathematics by Jean Delinez (25 points) [ revision history ]
edited Sep 15, 2014 by Dilaton
In some sense, yes. The Kahler identities specify all the a priori nontrivial commutation relations. This gives us some abstract lie algebra referred to as the (2,2) SUSY algebra. The algebra of differential forms on the Kahler manifold need not be a faithful representation of this algebra.

This post imported from StackExchange MathOverflow at 2014-08-10 19:58 (UCT), posted by SE-user Ryan Thorngren
Thanks. This is what I was thinking. It was clear that the SUSY relations would be satisfied for any Kahler manifold, but it was not all clear to me that the representation would be faithful. Can you give me an example of a (projective) Kahler space where the rep is non-faithful?

This post imported from StackExchange MathOverflow at 2014-08-10 19:58 (UCT), posted by SE-user Jean Delinez
Actually, having thought about it some, I now think that if all we want is a representation of the lie algebra, then this representation will be faithful. All we need to show is that there are nonzero smooth functions which remain nonzero when we apply these operators. I think that a bump function does the trick in each case.

This post imported from StackExchange MathOverflow at 2014-08-10 19:58 (UCT), posted by SE-user Ryan Thorngren
ah ok - then that's good I suppose - thanks

This post imported from StackExchange MathOverflow at 2014-08-10 19:58 (UCT), posted by SE-user Jean Delinez
@RyanThorngren: Probably bump functions are enough to show that the representation is faithful. But surely it's not enough to check just the generators --- you need to check all nontrivial brackets of generators.

This post imported from StackExchange MathOverflow at 2014-08-10 19:58 (UCT), posted by SE-user Theo Johnson-Freyd

As a physicist I know the following.

  1. Zumino shows that $(1,1)$ supersymmetry in the two-dimensional nonlinear sigma model get enhanced to $(2,2)$ supersymmetry for Kahler target spaces.
  2. By suitably twisting the $(2,2)$ model, various supersymmetry generators get mapped to operators such as $\bar{\partial}$ and so on. 

My sub-question is how and why  this physicist's proof is mathematically imprecise. In particular, what are the gaps that need to be filled in.

@RyanThorngren @40227 Any comments to my sub-question?

What statement are you interpreting this argument as a proof of?

Mostly statement 1 established the connection between supersymmetry and Kahlerity of the target space manifold.

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$ysics$\varnothing$verflow
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
...