
In
theoretical physics
Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain, and predict List of natural phenomena, natural phenomena. This is in contrast to experimental p ...
, Ramond–Ramond fields are
differential form
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications ...
fields in the 10-dimensional
spacetime
In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
of type II
supergravity
In theoretical physics, supergravity (supergravity theory; SUGRA for short) is a modern field theory that combines the principles of supersymmetry and general relativity; this is in contrast to non-gravitational supersymmetric theories such as ...
theories, which are the classical limits of
type II string theory
In theoretical physics, type II string theory is a unified term that includes both type IIA strings and type IIB strings theories. Type II string theory accounts for two of the five consistent superstring theories in ten dimensions. Both theorie ...
. The ranks of the fields depend on which type II theory is considered. As
Joseph Polchinski
Joseph Gerard Polchinski Jr. (; May 16, 1954 – February 2, 2018) was an American theoretical physicist and string theorist.
Biography
Polchinski was born in White Plains, New York, the elder of two children to Joseph Gerard Polchinski Sr. (19 ...
argued in 1995,
D-brane
In string theory, D-branes, short for Dirichlet membrane, are a class of extended objects upon which open strings can end with Dirichlet boundary conditions, after which they are named.
D-branes are typically classified by their spatial dimensi ...
s are the charged objects that act as sources for these fields, according to the rules of
p-form electrodynamics
In theoretical physics, -form electrodynamics is a generalization of Maxwell's theory of electromagnetism.
Ordinary (via. one-form) Abelian electrodynamics
We have a 1-form \mathbf, a gauge symmetry
:\mathbf \rightarrow \mathbf + d\alpha ,
where ...
. It has been conjectured that quantum RR fields are not differential forms, but instead are classified by twisted
K-theory
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometr ...
.
The adjective "Ramond–Ramond" reflects the fact that in the
RNS formalism, these fields appear in the Ramond–Ramond sector in which all vector fermions are periodic. Both uses of the word "Ramond" refer to
Pierre Ramond, who studied such boundary conditions (the so-called
Ramond boundary conditions) and the fields that satisfy them in 1971.
Defining the fields
The fields in each theory
As in
Maxwell's theory of electromagnetism and its generalization,
p-form electrodynamics
In theoretical physics, -form electrodynamics is a generalization of Maxwell's theory of electromagnetism.
Ordinary (via. one-form) Abelian electrodynamics
We have a 1-form \mathbf, a gauge symmetry
:\mathbf \rightarrow \mathbf + d\alpha ,
where ...
, Ramond–Ramond (RR) fields come in pairs consisting of a
p-form potential ''C''
''p'' and a (''p'' + 1)-form
field strength
In physics, field strength refers to a value in a vector-valued field (e.g., in volts per meter, V/m, for an electric field ''E'').
For example, an electromagnetic field has both electric field strength and magnetic field strength.
Field str ...
''G''
''p''+1. The field strength is, as usual defined to be the exterior derivative of the potential ''G''
''p''+1 = ''dC''
''p''.
As is usual in such theories, if one allows topologically nontrivial configurations or charged matter (
D-branes
In string theory, D-branes, short for Dirichlet membrane, are a class of extended objects upon which open string (physics), strings can end with Dirichlet boundary conditions, after which they are named.
D-branes are typically classified by their ...
) then the connections are only defined on each
coordinate patch
In mathematics, particularly topology, an atlas is a concept used to describe a manifold. An atlas consists of individual ''charts'' that, roughly speaking, describe individual regions of the manifold. In general, the notion of atlas underlies th ...
of spacetime, and the values on various patches are glued using transition functions. Unlike the case of electromagnetism, in the presence of a nontrivial
Neveu–Schwarz 3-form field strength the field strength defined above is no longer gauge invariant and so also needs to be defined patchwise with the Dirac string off of a given patch interpreted itself as a D-brane. This extra complication is responsible for some of the more interesting phenomena in string theory, such as the
Hanany–Witten transition.
The choices of allowed values of p depend on the theory. In
type IIA supergravity, fields exist for ''p'' = 1 and ''p'' = 3. In
type IIB supergravity, on the other hand, there are fields for ''p'' = 0, ''p'' = 2 and ''p'' = 4, although the ''p'' = 4 field is constrained to satisfy the self-duality condition ''G''
5 = *''G''
5 where * is the
Hodge star. The self-duality condition cannot be imposed by a Lagrangian without either introducing extra fields or ruining the manifest super-Poincaré invariance of the theory, thus type IIB supergravity is considered to be a non-Lagrangian theory. A third theory, called massive or
Romans IIA supergravity, includes a field strength ''G''
0, called the Romans mass. Being a zero-form, it has no corresponding connection. Furthermore, the equations of motion impose that the Romans mass is constant. In the quantum theory
Joseph Polchinski
Joseph Gerard Polchinski Jr. (; May 16, 1954 – February 2, 2018) was an American theoretical physicist and string theorist.
Biography
Polchinski was born in White Plains, New York, the elder of two children to Joseph Gerard Polchinski Sr. (19 ...
has shown that ''G''
0 is an integer, which jumps by one as one crosses a
D8-brane.
The democratic formulation
It is often convenient to use the
democratic formulation of type II string theories, which was introduced by
Paul Townsend i
''p''-Brane Democracy I
D-brane Wess-Zumino Actions, T-duality and the Cosmological Constant Michael Green,
Chris Hull
Christopher Michael Hull (born 1957) One or more of the preceding sentences incorporates text from the royalsociety.org website where: is a professor of theoretical physics at Imperial College London. Hull is known for his work on string theory, ...
and
Paul Townsend constructed the field strengths and found the gauge transformations that leave them invariant. Finally i
New Formulations of D=10 Supersymmetry and D8-O8 Domain Wallsthe authors completed the formulation, providing a Lagrangian and explaining the role of the fermions. In this formulation one includes all of the even field strengths in IIA and all of the odd field strengths in IIB. The additional field strengths are defined by the star condition G
p=*G
10−p. As a consistency check, notice that the star condition is compatible with the self-duality of G
5, thus the democratic formulation contains the same number of degrees of freedom as the original formulation. Similarly to attempts to simultaneously include both electric and magnetic potentials in electromagnetism, the dual gauge potentials may not be added to the democratically formulated Lagrangian in a way that maintains the manifest locality of the theory. This is because the dual potentials are obtained from the original potentials by integrating the star condition.
Ramond–Ramond gauge transformations
The type II supergravity Langragians are invariant under a number of
local symmetries, such as
diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable.
Definit ...
s and local
supersymmetry
Supersymmetry is a Theory, theoretical framework in physics that suggests the existence of a symmetry between Particle physics, particles with integer Spin (physics), spin (''bosons'') and particles with half-integer spin (''fermions''). It propo ...
transformations. In addition the various form-fields transform under Neveu–Schwarz and Ramond–Ramond gauge transformations.
In the democratic formulation the Ramond–Ramond gauge transformations of the gauge potentials that leave the action invariant are
:
where H is the Neveu-Schwarz 3-form field strength and the gauge parameters
are q-forms. As the gauge transformations mix various
's, it is necessary that each RR form be transformed simultaneously, using the same set of gauge parameters. The H-dependent terms, which have no analogue in electro-magnetism, are required to preserve the contribution to the action of the
Chern–Simons terms that are present in type II supergravity theories.
Notice that there are multiple gauge parameters corresponding to the same gauge transformation, in particular we may add any (''d'' + ''H'')-closed form to Lambda. Thus in the quantum theory we must also gauge the gauge transformations, and then gauge those, on so on until the dimensions are sufficiently low. In the
Fadeev–Popov quantization this corresponds to adding a tower of ghosts. Mathematically, in the case in which H vanishes, the resulting structure is the
Deligne cohomology of the spacetime. For nontrivial H, after including the
Dirac quantization condition, it has been conjectured to correspond instead to
differential K-theory.
Notice that, thanks to the H terms in the gauge transformations, the field strengths also transform nontrivially
:
The improved field strengths
One often introduces
improved field strengths
:
that are gauge-invariant.
Although they are gauge-invariant, the improved field strengths are neither closed nor quantized, instead they are only twisted-closed. This means that they satisfy the equation of motion
, which is just the
Bianchi identity
In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case.
Definition
Let ''G'' be a Lie group with Lie algebra ...
. They are also "twisted-quantized" in the sense that one can transform back to the original field strength whose integrals over compact cycles are quantized. It is the original field strengths that are sourced by D-brane charge, in the sense that the integral of the original p-form field strength G
p over any contractible p-cycle is equal to the D(8-p)-brane charge linked by that cycle.
Since D-brane charge is quantized, G
p, and not the improved field strength, is quantized.
Field equations
Equations and Bianchi identities
As usual in
p-form gauge theories, the form fields must obey the classical
field equations and
Bianchi identities
In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case.
Definition
Let ''G'' be a Lie group with Lie algebra ...
. The former express the condition that variations of the action with respect to the various fields must be trivial. We will now restrict our attention to those field equations that come from the variation of the Ramond–Ramond (RR) fields, but in practice these need to be supplemented with the field equations coming from the variations of the
Neveu–Schwarz B-field, the graviton, the
dilaton
In particle physics, the hypothetical dilaton is a particle of a scalar field \varphi that appears in theories with extra dimensions when the volume of the compactified dimensions varies. It appears as a radion in Kaluza–Klein theory's compa ...
and their superpartners the gravitinos and the dilatino.
In the democratic formulation, the Bianchi identity for the field strength G
p+1 is the classical field equation for its Hodge dual G
9−p, and so it will suffice to impose the Bianchi identities for each RR field. These are just the conditions that the RR potentials C
p are locally defined, and that therefore the exterior derivative acting on them is nilpotent
:
D-branes
In string theory, D-branes, short for Dirichlet membrane, are a class of extended objects upon which open string (physics), strings can end with Dirichlet boundary conditions, after which they are named.
D-branes are typically classified by their ...
are sources for RR fields
In many applications one wishes to add sources for the RR fields. These sources are called
D-branes
In string theory, D-branes, short for Dirichlet membrane, are a class of extended objects upon which open string (physics), strings can end with Dirichlet boundary conditions, after which they are named.
D-branes are typically classified by their ...
. As in
classical electromagnetism
Classical electromagnetism or classical electrodynamics is a branch of physics focused on the study of interactions between electric charges and electrical current, currents using an extension of the classical Newtonian model. It is, therefore, a ...
one may add sources by including a coupling C
p of the p-form potential to a (10-p)-form current
in the
Lagrangian density. The usual convention in the string theory literature appears to be to not write this term explicitly in the action.
The current
modifies the equation of motion that comes from the variation of C
p. As is the case with
magnetic monopole
In particle physics, a magnetic monopole is a hypothetical particle that is an isolated magnet with only one magnetic pole (a north pole without a south pole or vice versa). A magnetic monopole would have a net north or south "magnetic charge". ...
s in electromagnetism, this source also invaliditates the dual Bianchi identity as it is a point at which the dual field is not defined. In the modified equation of motion
appears on the left hand side of the equation of motion instead of zero. For future simplicity, we will also interchange ''p'' and 7 − ''p'', then the equation of motion in the presence of a source is
:
The (9-p)-form
is the Dp-brane current, which means that it is
Poincaré dual to the worldvolume of a (''p'' + 1)-dimensional extended object called a Dp-brane. The discrepancy of one in the naming scheme is historical and comes from the fact that one of the ''p'' + 1 directions spanned by the Dp-brane is often timelike, leaving p spatial directions.
The above Bianchi identity is interpreted to mean that the Dp-brane is, in analogy with
magnetic monopole
In particle physics, a magnetic monopole is a hypothetical particle that is an isolated magnet with only one magnetic pole (a north pole without a south pole or vice versa). A magnetic monopole would have a net north or south "magnetic charge". ...
s in electromagnetism, magnetically charged under the RR ''p''-form ''C''
7−''p''. If instead one considers this Bianchi identity to be a field equation for ''C''
''p''+1, then one says that the Dp-brane is electrically charged under the (''p'' + 1)-form C
p+1.
The above equation of motion implies that there are two ways to derive the Dp-brane charge from the ambient fluxes. First, one may integrate dG
8−p over a surface, which will give the Dp-brane charge intersected by that surface. The second method is related to the first by
Stokes' theorem
Stokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls, or simply the curl theorem, is a theorem in vector calculus on \R^3. Given a vector field, the theorem relates th ...
. One may integrate G
8−p over a cycle, this will yield the Dp-brane charge linked by that cycle. The quantization of Dp-brane charge in the quantum theory then implies the quantization of the field strengths G, but not of the improved field strengths F.
Twisted K-theory
In mathematics, twisted K-theory (also called K-theory with local coefficients) is a variation on K-theory, a mathematical theory from the 1950s that spans algebraic topology, abstract algebra and operator theory.
More specifically, twisted K-theo ...
interpretation
It has been conjectured that RR fields, as well as D-branes, are classified by twisted
K-theory
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometr ...
. In this framework, the above equations of motion have natural interpretations. The source free equations of motion for the improved field strengths F imply that the formal sum of all of the F
p's is an element of the H-twisted
de Rham cohomology
In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapte ...
. This is a version of De Rham cohomology in which the differential is not the exterior derivative d, but instead (d+H) where H is the Neveu-Schwarz 3-form. Notice that (d+H), as is necessary for the cohomology to be well-defined, squares to zero.
The improved field strengths F live in the classical theory, where the transition from quantum to classical is interpreted as tensoring by the rationals. So the F's must be some rational version of twisted K-theory. Such a rational version, in fact a characteristic class of twisted K-theory, is already known. It is the
twisted Chern class defined i
Twisted K-theory and the K-theory of Bundle Gerbesby
Peter Bouwknegt,
Alan L. Carey,
Varghese Mathai,
Michael K. Murray and
Danny Stevenson and extended i
Chern character in twisted K-Theory: Equivariant and holomorphic cases The authors have shown that twisted Chern characters are always elements of the H-twisted de Rham cohomology.
Unlike the improved field strengths, the original field strengths G's are untwisted, integral cohomology classes. In addition the G's are not gauge-invariant, which means that they are not uniquely defined but instead may only be defined as equivalence classes. These correspond to the cohomology classes in the
Atiyah Hirzebruch Spectral Sequence construction of twisted K-theory, which are only defined up to terms which are closed under any of a series of
differential operator
In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and retur ...
s.
The source terms appear to be obstructions to the existence of a K-theory class. The other equations of motion, such as those obtained by varying the NS B-field, do not have K-theory interpretations. The incorporation of these corrections in the K-theory framework is an open problem. For more on this problem, click
here
Here may refer to:
Music
* ''Here'' (Adrian Belew album), 1994
* ''Here'' (Alicia Keys album), 2016
* ''Here'' (Cal Tjader album), 1979
* ''Here'' (Edward Sharpe album), 2012
* ''Here'' (Idina Menzel album), 2004
* ''Here'' (Merzbow album), ...
.
See also
*
Kalb–Ramond field
Notes
References
*A good introduction to the various field strengths in theories with Chern–Simons terms i
Chern-Simons terms and the Three Notions of Chargeby
Donald Marolf.
*The democratic formulation of 10-dimensional supergravities can be found i
New Formulations of D=10 Supersymmetry and D8-O8 Domain Wallsby
Eric Bergshoeff,
Renata Kallosh
Renata Elizaveta Kallosh (; ; born 1943) is a Russian-American theoretical physicist. She is a professor of physics at Stanford University, working there on supergravity, string theory and inflationary cosmology.
Biography
Kallosh was born in ...
,
Tomás Ortín,
Diederik Roest and
Antoine Van Proeyen. It includes many details absent in Townsend's original paper, but restricts attention to a topologically trivial Neveu-Schwarz 3-form.
{{DEFAULTSORT:Ramond-Ramond field
String theory