Ramond–Ramond field
   HOME

TheInfoList



OR:

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 natural phenomena. This is in contrast to experimental physics, which uses experim ...
, 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 is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
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 theories ...
. 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. (1929 ...
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 were discovered by Jin Dai, Leigh, and Polchi ...
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 one-form \mathbf, a gauge symmetry :\mathbf \rightarrow \mathbf + d\alpha , whe ...
. 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 geometry, ...
. The adjective "Ramond–Ramond" reflects the fact that in the
RNS formalism Ramond–Neveu–Schwarz (RNS) formalism (named after Pierre Ramond, John H. Schwarz, and André Neveu) was an early attempt to introduce fermions through the means of supersymmetry into string theory. In this theory, worldsheet embedded in spac ...
, 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 Pierre Ramond (; born 31 January 1943) is distinguished professor of physics at University of Florida in Gainesville, Florida. He initiated the development of superstring theory. Academic career Ramond completed his BSEE from Newark College of E ...
, who studied such boundary conditions (the so-called
Ramond boundary conditions In mathematical physics, a super Virasoro algebra is an extension of the Virasoro algebra (named after Miguel Ángel Virasoro) to a Lie superalgebra. There are two extensions with particular importance in superstring theory: the Ramond algebra (na ...
) and the fields that satisfy them in 1971.


Defining the fields


The fields in each theory

As in
Maxwell's theory of electromagnetism In physics, electromagnetism is an interaction that occurs between particles with electric charge. It is the second-strongest of the four fundamental interactions, after the strong force, and it is the dominant force in the interactions o ...
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 one-form \mathbf, a gauge symmetry :\mathbf \rightarrow \mathbf + d\alpha , whe ...
, 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 means the ''magnitude'' of a vector-valued field (e.g., in volts per meter, V/m, for an electric field ''E''). For example, an electromagnetic field results in both electric field strength and magnetic field strength. As ...
''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 strings can end with Dirichlet boundary conditions, after which they are named. D-branes were discovered by Jin Dai, Leigh, and Polchi ...
) then the connections are only defined on each
coordinate patch In mathematics, particularly topology, one describes a manifold using an atlas. An atlas consists of individual ''charts'' that, roughly speaking, describe individual regions of the manifold. If the manifold is the surface of the Earth, then an a ...
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 In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the al ...
. 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. (1929 ...
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 Paul Kingsley Townsend FRS (; born 3 March 1951) is a British physicist, currently a Professor of Theoretical Physics in Cambridge University's Department of Applied Mathematics and Theoretical Physics. He is notable for his work on string the ...
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 Paul Kingsley Townsend FRS (; born 3 March 1951) is a British physicist, currently a Professor of Theoretical Physics in Cambridge University's Department of Applied Mathematics and Theoretical Physics. He is notable for his work on string the ...
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 Walls
the 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 Gp=*G10−p. As a consistency check, notice that the star condition is compatible with the self-duality of G5, 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 smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable. Definition Given two m ...
s and local
supersymmetry In a supersymmetric theory the equations for force and the equations for matter are identical. In theoretical and mathematical physics, any theory with this property has the principle of supersymmetry (SUSY). Dozens of supersymmetric theories e ...
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 : C_p\rightarrow C_p+d\Lambda_+H\wedge\Lambda_ where H is the Neveu-Schwarz 3-form field strength and the gauge parameters \Lambda_q are q-forms. As the gauge transformations mix various \Lambda_q'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 In mathematics, Deligne cohomology is the hypercohomology of the Deligne complex of a complex manifold. It was introduced by Pierre Deligne in unpublished work in about 1972 as a cohomology theory for algebraic varieties that includes both ordin ...
of the spacetime. For nontrivial H, after including the
Dirac quantization condition In particle physics, a magnetic monopole is a hypothetical elementary 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 "magneti ...
, 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 : G_\rightarrow G_+H\wedge d\Lambda_ .


The improved field strengths

One often introduces improved field strengths :F_=G_+H\wedge C_ 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 dF_=H\wedge F_, 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 alge ...
0=d^2C_p. 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 Gp over any contractible p-cycle is equal to the D(8-p)-brane charge linked by that cycle. Since D-brane charge is quantized, Gp, 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 equation In theoretical physics and applied mathematics, a field equation is a partial differential equation which determines the dynamics of a physical field, specifically the time evolution and spatial distribution of the field. The solutions to the equat ...
s 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 particle 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 theor ...
and their superpartners the gravitinos and the dilatino. In the democratic formulation, the Bianchi identity for the field strength Gp+1 is the classical field equation for its Hodge dual G9−p, and so it will suffice to impose the Bianchi identities for each RR field. These are just the conditions that the RR potentials Cp are locally defined, and that therefore the exterior derivative acting on them is nilpotent :0=d^2C_p=dG_=dF_+H\wedge G_.


D-branes 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 were discovered by Jin Dai, Leigh, and Polchi ...
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 strings can end with Dirichlet boundary conditions, after which they are named. D-branes were discovered by Jin Dai, Leigh, and Polchi ...
. As in
classical electromagnetism Classical electromagnetism or classical electrodynamics is a branch of theoretical physics that studies the interactions between electric charges and currents using an extension of the classical Newtonian model; It is, therefore, a classical fie ...
one may add sources by including a coupling Cp\mathcal J_ of the p-form potential to a (10-p)-form current \mathcal J_ in the
Lagrangian Lagrangian may refer to: Mathematics * Lagrangian function, used to solve constrained minimization problems in optimization theory; see Lagrange multiplier ** Lagrangian relaxation, the method of approximating a difficult constrained problem with ...
density. The usual convention in the string theory literature appears to be to not write this term explicitly in the action. The current \mathcal J_ modifies the equation of motion that comes from the variation of Cp. As is the case with
magnetic monopole In particle physics, a magnetic monopole is a hypothetical elementary 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 "magneti ...
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 \mathcal J_ 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 :\mathcal J_=d^2C_=dG_=dF_+H\wedge G_. The (9-p)-form \mathcal J_ is the Dp-brane current, which means that it is
Poincaré dual Poincaré is a French surname. Notable people with the surname include: * Henri Poincaré (1854–1912), French physicist, mathematician and philosopher of science * Henriette Poincaré (1858-1943), wife of Prime Minister Raymond Poincaré * Luci ...
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 elementary 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 "magneti ...
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 Cp+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 dG8−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's theorem, also known as the Kelvin–Stokes theorem Nagayoshi Iwahori, et al.:"Bi-Bun-Seki-Bun-Gaku" Sho-Ka-Bou(jp) 1983/12Written in Japanese)Atsuo Fujimoto;"Vector-Kai-Seki Gendai su-gaku rekucha zu. C(1)" :ja:培風館, Bai-Fu-Kan( ...
. One may integrate G8−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 geometry, ...
. 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 Fp'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 Gerbes
by 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 return ...
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 is an adverb that means "in, on, or at this place". It may also refer to: Software * Here Technologies, a mapping company * Here WeGo (formerly Here Maps), a mobile app and map website by Here Television * Here TV (formerly "here!"), a TV ...
.


See also

*
Kalb–Ramond field In theoretical physics in general and string theory in particular, the Kalb–Ramond field (named after Michael Kalb and Pierre Ramond), also known as the Kalb–Ramond ''B''-field or Kalb–Ramond NS–NS ''B''-field, is a quantum field that tran ...


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 Charge
by Donald Marolf. *The democratic formulation of 10-dimensional supergravities can be found i
New Formulations of D=10 Supersymmetry and D8-O8 Domain Walls
by Eric Bergshoeff,
Renata Kallosh Renata Elizaveta Kallosh uk, Рената Єлизавета Каллош; born 1943) is Ukrainian-American a theoretical physicist. She is a Professor of Physics at Stanford University, working there on supergravity, string theory and inflatio ...
, Tomás Ortín, Diederik Roest and
Antoine Van Proeyen Antoine is a French given name (from the Latin ''Antonius'' meaning 'highly praise-worthy') that is a variant of Danton, Titouan, D'Anton and Antonin. The name is used in France, Switzerland, Belgium, Canada, West Greenland, Haiti, French Guiana ...
. 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