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


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


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,079 questions , 2,229 unanswered
5,348 answers , 22,758 comments
1,470 users with positive rep
819 active unimported users
More ...

  How can we see that a 4D N = 2 sigma model will yield a 3D N = 4 sigma model when compactified on a circle?

+ 1 like - 0 dislike

I have a question about sigma models in 3D.

If we have $\mathcal{N}=2$ field theory on $\mathbb{R}^4$ and compactify it on $\mathbb{R}^3 \times S^1_R$ (in which $S^1_R$ is a circle of radius $R$) we get a 3D effective field theory whose Lagrangian is dependent on $R$. If we change variables of Lagrangian in suitable way and impose the preservation of SUSY (8 real supercharges), then we get $\mathcal{N}=4$ sigma model whose target space is a Hyperkähler manifold. My question is:

How we can prove this rigorously or using theorems of supersymmetry? Is there any reference other than Gauge Dynamics & Compactification To Three Dimensions that explains this more carefully?

This post imported from StackExchange Physics at 2015-05-22 20:56 (UTC), posted by SE-user QGravity

asked May 21, 2015 in Theoretical Physics by QGravity (20 points) [ revision history ]
edited May 22, 2015 by Dilaton

1 Answer

+ 2 like - 0 dislike

Let me start by some general considerations. In a theory with massless scalars it is possible that these scalars acquire non-trivial expectation values. The space of the possible expectation values is the moduli space $M$ of vacua of the theory. The kinetic term of the scalars in the low-energy effective action around a given vacua, or equivalently the two points functions of the scalar fluctuations around the vacua, defines a natural metric on the moduli space $M$. If the massless scalars are the only massless degrees of freedom then the low energy description of the theory is the sigma model of target $M$. But if there exists other massless degrees of freedom the low energy description is in general more complicated.

For a $\mathcal{N}=2$ $4d$ gauge theory, the low energy description at a generic point of the moduli space of vacua  is an abelian gauge theory. In particular if the abelian gauge group is non trivial it is something more complicated than a sigma model with values in the moduli space of vacua.

After compactification on a circle we obtain a $\mathcal{N}=4$ $3d$ gauge theory. At low energy, at a generic point of the moduli space of vacua, we obtain again an abelian gauge theory. The key point is that in three dimensions an abelian gauge field is dual to a scalar field. Thus all the (bosonic) massless degrees of freedom can be seen as scalars and so the low energy effective description of the theory is the sigma model of target the moduli space $M$ of these scalars.  This $3d$ sigma model has $\mathcal{N}=4$ supersymmetries ($8$ real supercharges). This implies that $M$ is naturally Hyperkähler. The easiest way  to see that is maybe to reduce to two dimensions: it is classical that a $2d$ sigma model has $\mathcal{N}=(4,4)$ supersymmetries if and only if the target is Hyperkähler (for more informations and references see the answer to this question: http://physicsoverflow.org/23966/why-are-complex-structures-important-in-physics ). The idea is that the $\mathcal{N}=(4,4)$ $2d$ supersymmetric algebra has a $SO(4) \sim SU(2) \times SU(2)$ $R$-symmetry rotating the four supersymmetries which also rotates  three complex structures $I,J,K$  on $M$.

answered May 23, 2015 by 40227 (5,140 points) [ revision history ]

@40227 Thank you!  So as I understand, $\mathcal{N}=(4,4)$ has $8$ real supercharges ($4$ chiral and $4$ anti-chiral) which sit in an irreducible rep of Lorentz algebra in $2D$ which is $\mathfrak{so} (1,1) \oplus \mathfrak{s}_o$ in which $\mathfrak{s}_o$ is odd part of the algebra. I have another questions. Does target space have the same structure when we compactify from 3D to 2D? I mean when we compactify from 4D to 3D, the moduli space is essentially a torus fibration over the Coulomb branch of $\mathcal{N}=2$ theory and we know that the Coulomb branch has a rigid special Kähler structure. So when we reduce to 2D, why does the same Hyperkähler target space (moduli space) of 3D theory arise?

See http://www.physicsoverflow.org/31429.

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