Harmonic Superspace
   HOME

TheInfoList



OR:

In supersymmetry, harmonic superspace is one way of dealing with supersymmetric theories with 8 real SUSY generators in a manifestly covariant manner. It turns out that the 8 real SUSY generators are pseudoreal, and after
complexification In mathematics, the complexification of a vector space over the field of real numbers (a "real vector space") yields a vector space over the complex number field, obtained by formally extending the scaling of vectors by real numbers to include ...
, correspond to the
tensor product In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otime ...
of a four-dimensional
Dirac spinor In quantum field theory, the Dirac spinor is the spinor that describes all known fundamental particles that are fermions, with the possible exception of neutrinos. It appears in the plane-wave solution to the Dirac equation, and is a certain com ...
with the
fundamental representation In representation theory of Lie groups and Lie algebras, a fundamental representation is an irreducible representation, irreducible finite-dimensional representation of a semisimple Lie algebra, semisimple Lie group or Lie algebra whose highest weig ...
of SU(2)R. The quotient space SU(2)_R/U(1)_R \approx S^2 \simeq \mathbb^1, which is a
2-sphere A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the ce ...
/
Riemann sphere In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers ...
. Harmonic superspace describes N=2 D=4, N=1 D=5, and N=(1,0) D=6 SUSY in a manifestly covariant manner. There are many possible coordinate systems over S2, but the one chosen not only involves redundant coordinates, but also happen to be a coordinatization of SU(2)_R \approx S^3. We only get S2 ''after'' a projection over U(1)_R \approx S^1. This is of course the
Hopf fibration In the mathematical field of differential topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ordinary sphere. Discovered by Heinz H ...
. Consider the left action of SU(2)R upon itself. We can then extend this to the space of complex valued smooth functions over SU(2)R. In particular, we have the subspace of functions which transform as the fundamental representation under SU(2)R. The fundamental representation (up to isomorphism, of course) is a two-dimensional complex vector space. Let us denote the indices of this representation by i,j,k,...=1,2. The subspace of interest consists of two copies of the fundamental representation. Under the right action by U(1)R -- which commutes with any left action—one copy has a "charge" of +1, and the other of -1. Let us label the basis functions u^. :\left(u^\right)^* = u^-_i. The redundancy in the coordinates is given by :u^u^-_i = 1. Everything can be interpreted in terms of algebraic geometry. The projection is given by the "gauge transformation" u^ \to e^ u^ where φ is any real number. Think of S3 as a U(1)R-
principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equi ...
over S2 with a nonzero first
Chern class In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau ...
. Then, "fields" over S2 are characterized by an integral U(1)R charge given by the right action of U(1)R. For instance, u+ has a charge of +1, and u of -1. By convention, fields with a charge of +r are denoted by a superscript with r +'s, and ditto for fields with a charge of -r. R-charges are additive under the multiplication of fields. The SUSY charges are Q^, and the corresponding fermionic coordinates are \theta^. Harmonic superspace is given by the product of ordinary extended superspace (with 8 real fermionic coordinatates) with S2 with the nontrivial U(1)R bundle over it. The product is somewhat twisted in that the fermionic coordinates are also charged under U(1)R. This charge is given by :\theta^= u^_i \theta^. We can define the covariant derivatives D^_ with the property that they supercommute with the SUSY transformations, and D^_f(u)=0 where ''f'' is any function of the harmonic variables. Similarly, define :D^ \equiv u^\frac and :D^ \equiv u^\frac. A chiral superfield ''q'' with an R-charge of ''r'' satisfies D^+_q=0. A scalar hypermultiplet is given by a chiral superfield q^+. We have the additional constraint :D^q^+ = J^(q^+,\, u). According to the Atiyah-Singer index theorem, the solution space to the previous constraint is a two-dimensional complex manifold.


Relation to quaternions

The group SU(2)_R can be identified with the Lie group of quaternions with unit norm under multiplication. SU(2)_R, and hence the quaternions act upon the tangent space of extended superspace. The bosonic spacetime dimensions transform trivially under SU(2)_R while the fermionic dimensions transform according to the
fundamental representation In representation theory of Lie groups and Lie algebras, a fundamental representation is an irreducible representation, irreducible finite-dimensional representation of a semisimple Lie algebra, semisimple Lie group or Lie algebra whose highest weig ...
.In 10D \mathcal=(1,0) SUSY with four spatial dimensions compactified over a
hyperkähler manifold In differential geometry, a hyperkähler manifold is a Riemannian manifold (M, g) endowed with three integrable almost complex structures I, J, K that are Kähler with respect to the Riemannian metric g and satisfy the quaternionic relations I^2 ...
, half of the SUSY generators are broken, and the remaining generators can be expressed using harmonic superspace. The four compactified spatial dimensions transforms as a fundamental representation under SU(2)_R.
The left multiplication by quaternions is linear. Now consider the subspace of unit quaternions with no real component, which is isomorphic to S2. Each element of this subspace can act as the imaginary number ''i'' in a complex subalgebra of the quaternions. So, for each element of S2, we can use the corresponding imaginary unit to define a complex-real structure over the extended superspace with 8 real SUSY generators. The totality of all CR structures for each point in S2 is harmonic superspace.


See also

*
Superspace Superspace is the coordinate space of a theory exhibiting supersymmetry. In such a formulation, along with ordinary space dimensions ''x'', ''y'', ''z'', ..., there are also "anticommuting" dimensions whose coordinates are labeled in Grassmann numb ...
*
Projective superspace In supersymmetry, a theory of particle physics, projective superspace is one way of dealing with \mathcal=2 supersymmetric theories, i.e. with 8 real SUSY generators, in a manifestly covariant manner. See also * Superspace Superspace is the ...


References

{{DEFAULTSORT:Harmonic Superspace Supersymmetry