Topological Sources of Soliton Mass and Supersymmetry Breaking
Patrick Haas

TL;DR
This paper explores how topological features in five-dimensional supergravity solutions lead to supersymmetry breaking and BPS-bound violations, analyzing specific geometries and their mass formulas.
Contribution
It derives Smarr formulas for complex supergravity solutions and links topological structures to supersymmetry breaking and BPS-bound violations.
Findings
Topological features influence supersymmetry breaking.
Holonomy affects the BPS-bound in these solutions.
Bulk terms contribute to mass and supersymmetry violation.
Abstract
We derive the Smarr formulae for two five-dimensional solutions of supergravity, which are asymptotically R^(1,3)xS^1; in particular, one has a magnetic bolt in its center, and one is a two-center solution. We show for both spacetimes that supersymmetry - and so the BPS-bound - is broken by the holonomy and how each topological feature of a space-like hypersurface enters Smarr's mass formula, with emphasis on the ones that give rise to the stated violation of the BPS-bound. In this light, we question if any violating extra-mass term in a spacetime with such asymptotics is only evident in the ADM mass while the Komar mass per se tries to preserve BPS. Finally, we derive the cohomological fluxes for each situation and examine in a more general fashion how the breaking of supersymmetry - and so the BPS-bound violation - is associated with their topologies. In the second (and more…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Topological Sources of Soliton Mass and Supersymmetry Breaking
**Patrick A. Haas
**Department of Physics and Astronomy
University of Southern California
Los Angeles, CA 90089, USA
Abstract
We derive the Smarr formulae for two five-dimensional solutions of supergravity, which are asymptotically ; in particular, one has a magnetic “bolt” in its center, and one is a two-center solution. We show for both spacetimes that supersymmetry – and so the BPS-bound – is broken by the holonomy and how each topological feature of a space-like hypersurface enters Smarr’s mass formula, with emphasis on the ones that give rise to the stated violation of the BPS-bound. In this light, we question if any violating extra-mass term in a spacetime with such asymptotics is only evident in the ADM mass while the Komar mass per sé “tries” to preserve BPS. Finally, we derive the cohomological fluxes for each situation and examine in a more general fashion how the breaking of supersymmetry – and so the BPS-bound violation – is associated with their topologies. In the second (and more complicated) scenario, we especially focus on the compact cycle linking the centers, and the contribution of non-vanishing bulk terms in the mass formula to the breaking of supersymmetry.
Contents
1 Introduction
It has been shown that horizonless solitonic solutions of supergravity can indeed be constructed purely by means of nontrivial topology. The Smarr formula has been derived in mutliple works by means of the Komar integral formalism over cohomology [1, 2, 3, 4], one important result being the role of Chern-Simons terms to only support the topological nature of the integral.
In this work, we consider two five-dimensional non-BPS solutions of supergravity which are topologically distinct. The idea in each case is to compute all contributions from topology and boundary that are flowing into the total mass formula, to see which pieces precisely cause the breaking of supersymmetry, by rendering ; and which, in particular, make up .
In section two, we construct a spacetime with a magnetic “bolt” in its center and that is asymptotically ; in the fashion of [5, 6], we define a four-dimensional Ricci-flat base space which carries a Euclidean Schwarzschild metric and magnetic flux from a “floating brane” ansatz [7] for the Maxwell fields.
Topologically, this spacetime can be described by entirely two homological cycles: The bolt 2-sphere and a non-compact cycle extending from the center to infinity. In this spirit, the main analysis will be done also in the framework of intersection homology.
The supersymmetry conditions require that the curvature tensor be either self-dual or anti-self-dual and tell how this duality has to be correlated with the one of the magnetic parts of the Maxwell-fields. Since the rotation group in four-dimensional space decomposes like , only one half of the Killing-spinors would “feel” space’s holonomy and the other half flat space. In simple examples, this half-flatness, and the preservation or breaking of supersymmetry can be easily arranged by just changing a sign in the duality of the fields [8, 9, 10].
However, the curvature tensor for the Euclidean Schwarzschild bolt is neither self-dual nor anti-self-dual, so one essential BPS-condition is not fulfilled; but, because the Schwarzschild-geometry is Ricci-flat, the (almost-)BPS equations of motion are still satisfied [5, 7], and hence one speaks of an “almost-BPS”-solution. This provides a ground for more general solutions.
Before computing the fluxes and the Komar integral, we will briefly consider a vastly simplified scenario in which the angular momentum of the running bolt is set to zero and the five-dimensional warp-factor set to one. The reason for this is to demonstrate in a very clear and quick way that in a spacetime which is not asymptotically behaving like , the theorem does in general not hold anymore. In particular, the Komar mass vanishes under the simplified conditions, while the ADM mass equals the mass parameter of the Schwarzschild solution. The latter is responsible for the violation of the BPS-bound according to .
This raises a very important question: Is the extra-mass term violating the BPS-bound always the difference between the ADM mass and the Komar mass, or, are there situations in which Komar also reflects terms breaking supersymmetry?
The answer will be illuminated in this work along with the derivation of the Smarr formula based on the Komar-integral formalism in the sense of [1] for the present boundary conditions and for non-BPS solutions. Further analysis is done within intersection homology – in particular, it will be examined how the BPS-bound breaking extra-mass is composed by the period-integrals of the fields and fluxes in virtue of the homological cycles. This is to see which intersecting components exist in the present topology and how they contribute to the breaking of supersymmetry.
We will show that BPS-bound violating mass terms are, in the presence of compact dimensions, not solely “seen” by the ADM mass but indeed also arise in the Komar mass from space’s topology, and that this is due to the cohomology dual to the non-compact cycle; in particular, the latter’s intersection with the compact bolt cycle.
This raises the obvious question how supersymmetry-breaking emerges from the cohomological structure of more complex non-BPS solutions.
In section three, we consider a more general non-supersymmetric solution of supergravity, this time with two intersecting pieces of compact homology: A non-extremal center in form of a charged bolt, constructed in a similar fashion as in section two, and an extremal Gibbons-Hawking center. From previous works, there are known extremal results for BPS [11] and almost-BPS systems [8, 9, 10] – the situation considered here is a non-extremal generalization for a non-BPS system.
In particular, we have a running-bolt homology 2-sphere linked with a Gibbons-Hawking nut by a bubble carrying additional fluxes. This solution was derived in [12], first for an arbitrary number of extremal Gibbons-Hawking centers and then specialized to only one – so in total two independent pieces of intersecting compact homology and a non-compact cycle, much as in section two. The interesting new feature is to look at the interaction between the bolt and the Gibbons-Hawking nut.111Another interesting non-supersymmetric multi-center solution with more than one homological 2-cycle can be found in [13]
The main part of the calculations in this section is the explicit examination of the cohomological fluxes coming from the homological 2-cycles that result from the bolt and the center-linking bubble. The focus then is on the analysis of the topological integrals over the harmonics in terms of intersection homology, in order to see how each cycle contributes to the mass, the charges, and the BPS-bound violating extra-mass. Although the intersection matrix will turn out to be rather trivial in section two, a more complicated form is to be expected in section three. Special emphasis is on the question if and how the supersymmetry-breaking extra-mass term results in part from space’s topology aside from pure boundary effects.
2 An almost-BPS spacetime with a magnetic “running
bolt”
2.1 ADM versus Komar
Before we move on to the computation of the Komar mass, it is essential to remark its relation to the ADM mass and illustrate this by an easy and quick example.
On a first note, in case of space being asymptotically , that is, no compactified dimensions, it is known that the two masses are equal in value. The presence of the -direction in the spacetime considered here though, does in fact create a difference, as can be seen by looking at a strongly simplified version of the current Ricci-flat metric:
[TABLE]
This metric is Ricci-flat.
At first, it is important to outline that the ADM mass is in general the more authoritative measure for the gravitational mass of a system, since Komar, as stated earlier, requires stationarity.
For a time-like Killing vector, , with dual 1-form , the Komar integral becomes
[TABLE]
and from we can see directly that the Komar mass vanishes:
[TABLE]
To elaborate on the mass in more detail, we consider orbits in this simplified metric.
The geodesic equations at are:
[TABLE]
where , , and are conserved quantities.
The radial equation can be obtained through the normalization condition of the four-velocity, ,
[TABLE]
and so, keeping only terms of up to first order in at infinity,
[TABLE]
The radial acceleration at infinity is now:
[TABLE]
Setting off any rotation, , we read off the Keplarian mass seems to be
[TABLE]
which carries a factor of . In particular, one has for ; thus this simple calculation does not directly “see” the intrinsic mass of the background. To resolve this issue, we go to a 3+1 description in terms of gravity in 3+1 dimensions to look at the ADM mass.
Dimensionally reducing the metric along the -direction, means to introduce a conformal scale factor, :
[TABLE]
The goal is that will be the metric apparent to observers in 3+1 dimensions. As mentioned above, Komar and ADM mass are equal in value if asymptotics are .
The scale factor is necessary to ensure that
[TABLE]
With these scaling factors one has
[TABLE]
and hence
[TABLE]
Thus one must take
[TABLE]
Without the scale factor , the four-dimensional Newton constant would gain radial dependence through multiplication by a power of .
Rewriting in this sense,
[TABLE]
leads to the reduced four-dimensional metric:
[TABLE]
and reading off , yields the stated expression for the ADM-mass:
[TABLE]
This result is the mass parameter of the Schwarzschild solution, which precisely accounts for the BPS-bound breaking extra-mass term of the solution within the current simplifications of zero charge.
One concludes that the Komar mass does not detect the breaking of BPS/super-symmetry while the ADM mass does.
After deriving the Komar mass and Maxwell-charges under the more general conditions in the following, we will examine the obvious question whether this is generally true for spacetimes asymptotically behaving like , or, possibly for some non-vanishing .
2.2 Preliminaries
In five dimensions, the action is
[TABLE]
where and , , are scalar fields arising from reducing the eleven-dimensional metric,
[TABLE]
with the reparametrization,
[TABLE]
to fulfill the constraint
Moreover, there is a metric for the kinetic terms,
[TABLE]
We do not allow for cohomology of degree one, so the equations of motion and symmetry equations correspond to the those in [6], and we only give a brief summary of the mathematical background emerging the five-dimensional Komar integral including all the boundary terms.
From varying the action we receive the Einstein and the Maxwell equations [1],
[TABLE]
with the five-dimensional Chern-Simons 1-form current,
[TABLE]
In differential form language, the Maxwell equations give the known identity for the dual field strengths,
[TABLE]
where
[TABLE]
Eq. can be rewritten such that the RHS is free of any trace terms,
[TABLE]
especially since this form is much more helpful for the derivation of the Komar mass formula.
We assume the metric to have a time-like Killing vector, , and can hence write the five-dimensional mass formula in terms of a Komar integral in five dimensions,
[TABLE]
where is the 3-boundary of the five-dimensional spacetime. Smoothness of spatial sections, , allows in virtue of properties of the Killing vector to rewrite this formula as an integral over such by bound space-like hypersurfaces:
[TABLE]
Assuming again that the matter fields have the symmetries of the metric, means them to be invariant under the Lie-derivative along the Killing vector, ,
[TABLE]
from which follow the equations with Cartan’s magic formula,
[TABLE]
where are magnetostatic potentials of the and electrostatic potentials of the , respectively; are globally defined 1-forms and closed but not exact 2-forms.
With \left(\ref{F_G_Killing}\right) the Einstein equations become
[TABLE]
From this follows the Komar mass integral [14, 15, 16, 17, 1] over the spatial hypersurface, , including the boundary terms over :222The here used convention , where is the to adjoint exterior derivative, means for here: , so the opposite sign as in [1].
[TABLE]
Since in [1] the spacetime was assumed to be asymptotic to , the boundary integral was taken over . Throughout this work, the spacetimes will be asymptotic to and so we have .
As we will see later, there is a gauge choice for which can be made zero at infinity. This together with the fact that the are exact and vanishing at infinity, will prove the Komar mass to be an integral purely over cohomology, given by the first term in :
[TABLE]
The Maxwell-charge is computed like:
[TABLE]
2.3 Metric and equations of motion
The five-dimensional metric, called the “running bolt” [5, 6] is a time fibration over Euclidian Schwarzschild:
[TABLE]
where is the angular-momentum 1-form of the running bolt and the warp factor linking the five- and four-dimensional metrics. The coordinate, , results from the Wick-rotation of the time-coordinate in the Euclidian Schwarzschild base manifold; it parameterizes the with periodicity .
The Maxwell fields are set up by the “floating brane” ansatz [7],
[TABLE]
where is set by the (anti-)self-duality of the fields. The magnetic field strengths are
[TABLE]
The three forms, , and , are determined through the equations [18, 19, 8, 5]:
[TABLE]
Note, that are purely represented on the base manifold.
Following the choice of solution for the field strength made in [5],
[TABLE]
we have also
[TABLE]
where the are -charges associated with the magnetic field strength component in .
It is important to note that exact terms proportional to have been chosen such that vanishes on the bolt, which is essential for regularity and to remove closed timelike curves. With this choice, the asymptotic limit of the angular momentum does not vanish but has a finite value:
[TABLE]
It is this finite limit which led to the name “running bolt”.
Transforming leads to a formula for the magnetic charges:
[TABLE]
2.4 Topological data
[TABLE]
The spacetime at hand has entirely two cycles – the bolt and the non-compact cycle extending from to infinity. Each of these carries an independent cohomological flux: , which is carried by the bolt cycle (), and its dual, , which is carried by the non-compact cycle ().
The 2-form, , is manifestly harmonic. Although its dual can be written as a total derivative, , it has a nonvanishing value, , at infinity and thus is not exact.
From this, a basis for the cohomology can be directly inferred:
[TABLE]
It is immediately clear that is cohomology. For , on the other hand, it is not so obvious; but as explained above, its potential, , is either singular at the bolt or non-vanishing at infinity, depending on , and hence cohomological.
From the known results of the fields and the symmetry conditions, we will derive the cohomological 2-form fluxes. These and the fields will be used to compute the period-integrals – the topological “building blocks” – to particularly analyse the mass, charges, and BPS-bound breaking extra-mass within intersection homology.
2.4.1 Deriving the fluxes
In the following we derive expressions for the fields and fluxes from the RHS of to understand their contributations to the mass formula.
From and follows the Maxwell-field strength, , which decomposes into an exact and a (on the base manifold) harmonic part,
[TABLE]
where
[TABLE]
Since the time-coordinate, , is not part of the base space, its 1-form, , is irrelevant for the cohomology.
Note that the vanish at the bolt and at infinity and are thus globally smooth.
Choosing the Killing vector like
[TABLE]
we get from \left(\ref{F_G_Killing}a\right):
[TABLE]
where are constants.
It is directly obvious that the choice
[TABLE]
causes the to vanish at infinity, where . This way the term drops from the boundary integral of . Also, the below computed exact 1-forms, , from have to fall off at infinity; and so the Komar mass is rendered purely topological.
With and we have
[TABLE]
and find from this together with ,
[TABLE]
which is a manifestly closed expression.
Using \left(\ref{F_G_Killing}b\right), we put all exact pieces of into so that we have:
[TABLE]
which is smooth at the bolt and vanishes at infinity.
The remaining terms in sum up to the 2-form harmonic:
[TABLE]
As mentioned earlier, the 2-form, , has nonvanishing potential at infinity and thus is cohomological.
2.4.2 Intersection homology
The intersection technique relates an integral of two wedged 2-forms over the whole four-dimensional base space to integrals of the single 2-forms over the homological 2-cycles.
Applying the gauge choice , , rendering the Komar mass purely topological, the period-integrals, forming the topological “building blocks”, ammount to:
[TABLE]
It is instructive to introduce a canonical integer basis for the cohomology,
[TABLE]
with
[TABLE]
where and () are precisely the entries of the above tables (the “building blocks”), and is the inverse intersection matrix.
The choice of the cohomological basis manifestly fulfills the above-stated orthonormality condition.
The integrals for the mass and charge formulae become then
[TABLE]
In particular, this means that the integrals need to be reproduced by composing the products of the period-integrals, and , by the integer coefficients of in the sense of the last expressions, which can only be achieved by
[TABLE]
This is merely a trivial one-time intersection between the bolt and the non-compact cycle, proving that there is no self-intersecting homology at hand.
Note: If we take the building blocks from table 1 and compute , then we get
[TABLE]
but it is
[TABLE]
what is cohomologous to the total Maxwell-field strength, where is a global 1-form falling off at infinity.
In this spirit, it is now easy to compute the total Komar mass and Maxwell-charge.
2.5 Mass, charges, and the breaking of supersymmetry
In this section, we will evaluate the expressions for the Komar mass and the Maxwell-charges by means of the just introduced intersection homology method.
The fact that at infinity and the gauge choice,
[TABLE]
for which the function goes zero according to , make the boundary integral drop out of , rendering the Komar mass an integral purely over cohomology :
[TABLE]
From and we get with the mass and charges:
[TABLE]
From that follows
[TABLE]
and hence the BPS-bound violating extra-mass
[TABLE]
Interestingly, the breaking of supersymmetry is caused by the total -charges, .
Very important note: The factored term,
[TABLE]
considered at each cycle separately,
[TABLE]
vanishes identically for the bolt-cycle, , so all contribution to the breaking of supersymmetry comes from the non-compact cycle, :
[TABLE]
3 Topological contributions to the BPS-bound violation in a 2-center
solution
3.1 The 2-center solution
[TABLE]
In the following we outline the main results of the non-supersymmetric 2-center solution given in [12].
The geometry of the spacetime and the three -gauge fields are a solution of the Einstein-Maxwell equations in the floating brane ansatz [7] within five-dimensional ungauged supergravity. The stationary spacetime carries a Killing vector, , and has the metric:
[TABLE]
where the functions and and the angular momentum 1-form will be defined below.
The parameter in counts vector multiplets; like in [5, 1, 6] we choose to have two () to have a total of three Maxwell-charges, (). This enables non-trivial Chern-Simons interactions.
However, like [12] we use the STU truncation in which the fields and fluxes with index are treated in a different way than . In detail, the raise of the latter index, , happens with an metric following from the non-zero Chern-Simons coupling C_{1ab}=\eta_{ab}=\left(\begin{array}[c]{cc}0&1\\ 1&0\end{array}\right).
As for the running bolt solution from the last section and Gibbons-Hawking metrics, the four-dimensional base space is a -fibration over a 3-manifold which is asymptotically at infinity, rendering the asymptotics of the whole spatial base at infinity.
In particular, the 3-manifold is parameterized by and the fiber by . As in the last section, the latter defines a compact spatial dimension – the –, this time with periodicity , where is the scale parameter of the .
The special topology considered here, is constituted by a non-extremal charged bolt at and an extremal Gibbons-Hawking center at and . This leads to a non-extremal and non-BPS generalization of known extremal results for BPS [11] and almost-BPS systems [8, 9, 10].
The most crucial aspect of this topology is that, the -fiber pinches off at two locations – the bolt and the Gibbons-Hawking center. This -fiber along an interval between and at defines the new non-trivial compact homology cycle.
The metric of the four-dimensional base manifold is
[TABLE]
where has poles at and . This causes the -fiber to pinch off, but leaves the metric smooth.
This leads to the main difference to the running-bolt spacetime of the last section, which had only one pinch-off point for the circle-fibration.
As we will see in detail, the fact that pinches off at two centers generates a new homological cycle defined by the fiber and the radial interval between the two pinch-off points.
In particular, if a periodic coordinate pinches off at only one existing center, like in the running-bolt solution, it can be fixed at the bolt at the cost of creating flux that does not vanish at infinity and hence giving rise to a non-compact cycle. Two pinch-off points, as considered here, give rise to both a further compact as well as the non-compact cycle.
Entirely, there are three independent homological 2-cycles (fig. 1): The bolt-sphere at ; the bubble-cycle being the -fibered radial line along the positive -axis, connecting the bolt’s north pole and the Gibbons-Hawking center at ; the non-compact cycle, also running radially along the positive -axis from the Gibbons-Hawking center, , towards infinity, fibred by the -circles.
The appendix gives more information on the functions used here333The functions used here are taken from eqs. , , , of [12]. along with their asymptotics – they are very complicated, which reinforces the interest in cohomology –, but we will need some details here444In [12] the functions were equipped with an extra-parameter, , that can be set equal to , which we do throughout this section.:
[TABLE]
where is the distance measured from the Gibbons-Hawking center; , , , , , , and are parameters of the solution which are non-trivially interrelated (see appendix A).
The function has two singularities – one at the bolt, going like , and one at the Gibbons-Hawking point, going like at ; in the metric it poses a coordinate singularity and so does not harm regularity at the centers.555For a much more detailed outline of the regularity analysis, see [12].
Like the geometry, the Maxwell-fields are solutions to the Einstein-Maxwell equations; their potentials in the floating brane ansatz are:
[TABLE]
where in both cases the first part represents the terms which are globally defined – yet not exact, for they do not fall off at infinity.
From this follow their field-strengths, ,
[TABLE]
where the terms have been sorted according to the ones of the potentials.
Extracting the topological bits out of the globally defined terms, to make them exact, can be done with help of the cohomological basis which we derive later. Adding them to the other terms, however, would render them not harmonic anymore, so the present topology has both self-dual and anti-self-dual parts.
The functions , have the form:
[TABLE]
The dual field strengths have to be computed by
[TABLE]
where the prefactors correspond to the from , composed in the same manner as in of the scalars of the solution:
[TABLE]
The derivation of the Komar mass formula was done in the last section in ; the three -charges relevant for this section, are given by the properly normalized formula:
[TABLE]
where the last step follows from the equations of motion for the Maxwell-fields .
3.2 Deriving the fluxes
In the following, we derive expressions for the fields and fluxes to understand their contributions to the mass formula. As above, we write the timelike Killing vector near infinity like .
From we get
[TABLE]
and so with \left(\ref{F_G_Killing}a\right):
[TABLE]
where the are freely-choosable constants. We will later fix them though, so that at infinity.
From and we find, decomposing \left(\ref{F_G_Killing}b\right) according to the STU truncation:
[TABLE]
where we wrote for short,
[TABLE]
These formulae suggest obvious choices for the analogues of and :
[TABLE]
Note: The tilde indicates that the are not exact, since the do not vanish at infinity and are thus singular there; exactness can be achieved, however, by extracting the cohomological bits from the by means of the cohomological basis, which we will derive later, and shift them into the .
The are manifestly self-dual, and one can check that . They are thus harmonic and can locally be written as , where the are not globally defined since they do not vanish at the pinch-off points of the -coordinate:
[TABLE]
Note that, because has a singularity at each center, goes zero there and ensures finite norms – except for the terms with the additional factor which cancels the zero at the bolt and hence the “good” behavior.
As one can clearly see from the analysis, the factors in the volume integral of , and , are each equipped with two dual flux terms, and , wedge-multiplying to space’s volume form. Hence, homology allows for the existence of purely topological terms in the mass formula, which cannot be converted into boundary terms, and even has self-intersection, as we will see in the following.
3.3 Topological data and intersection homology
In this subsection, we explicitly derive the topological ingredients flowing into the formula for the mass and charges. The goal is to see if and how each of the 2-cycle’s contribution goes into either, so that we can precisely make out their sources of topology in virtue of intersection homology – with special emphasis on the breaking of supersymmetry.
As mentioned earlier, the cohomological fluxes are still missing cohomology from the . Since the are only irregular at infinity, these cohomological pieces just concern the non-compact cycle, :
[TABLE]
where is the cohomological basis vector for the non-compact cycle derived below in .
The Komar mass and charges are not dependent on any choice of gauge, but it is very convenient to choose the such that the boundary integral term in vanishes; with and this is achieved by
[TABLE]
With this choice the equations and then become completely topological expressions:
[TABLE]
We now compute the topological “building blocks” of the fields and fluxes by which shall be represented in the framework of intersection homology. Like in the last section, we derive the period-integrals by doing the integrals of the 2-form fluxes over all topologically relevant 2-cycles (see fig. 2):
[TABLE]
The parameter hereby represents the bolt’s NUT-charge.
It is instructive again to introduce a canonical integer basis for the cohomology,
[TABLE]
with
[TABLE]
where and () represent the entries of the above tables, and is the inverse intersection matrix.
In this spirit, the bulk integral becomes
[TABLE]
and analogously for . Reproducing the integrals by composing the products of the period-integrals, and , by the integer coefficients of in the sense of , can only be achieved by
[TABLE]
It is obvious that in the present spacetime the homological structure is significantly more complex than in the one of the last section.
The off-diagonal 1’s in are directly clear: The bolt intersects the bubble at the former’s north pole; the bubble intersects the non-compact cycle in the Gibbons-Hawking point. Less intuitive are the self-intersections of each cycle – it is -fold for the bolt for NUT-charge of ; the self-intersections of the bubble and the non-compact cycle arise, like the intersection between them, from the topology of the nut linking these cycles.
Since we want to study the explicit topological contribution of each intersecting part later, it is important to see in how far the elements of , representing the intersections, are reflected in , representing the composition of the building blocks. To shed light on this, we leave the intersection numbers in more general:
[TABLE]
After inversion, we receive
[TABLE]
Note, that this form is merely a schematic “tracking device” to qualitatively illustrate how the contributions of intersection from distribute among the non-zero entries of ; hence, the determinant, , and the upper left entry, (not contributing to topology), are not of interest in this regard. So, the matrix can be written as:
[TABLE]
The last expression indeed gives a clue about how to disentangle homology.
First, decomposes with respect to the bolt-intersections ( and ). The resulting constituents are predominantly defined by the homology of the subsystem of the bubble and the non-compact cycle, that is, the topology of the nut; and if this was turned off, then there would still be a contribution from the bolt-bubble intersection.
This gives rise to the conclusion that there might be a possible topological hierarchy between the bolt and the nut.
In any case, these insights will prove to be very helpful in spectralizing the topological contributions later.
From and \left(\ref{F_H_composed}\right)-\left(\ref{Intersection matrix}\right) follows the cohomological basis:
[TABLE]
with the constant coefficients,
[TABLE]
Note: and are each self-dual and hence harmonic, up to a -term.
The orthonormality condition is obviously fulfilled by . However, to show the same for and , one has to evaluate the integrals of the coefficent functions over the cycles with help of
[TABLE]
Now, we can easily write the fluxes in terms of the cohomology basis:
[TABLE]
where
[TABLE]
and is the potential for ,
[TABLE]
Analogously it holds for the fields,
[TABLE]
and the potentials of the ,
[TABLE]
3.4 Mass, charges, and BPS-bound breaking from cohomology
We now have the data we need to compute the total mass and charges.
From follow the expressions:
[TABLE]
The core piece of this work is to examine the topological origin of the BPS-bound breaking extra-mass, for which purpose we will sequence the foregoing results with respect to intersecting homology.
Comparing with , the relation between the mass and the total charge,
[TABLE]
gives the sought extra-mass term,
[TABLE]
With it ammounts to
[TABLE]
Like in the previous section, it is insightful to investigate the from factored term,
[TABLE]
in more detail for every cycle:
[TABLE]
In the previous section, all contribution from the bolt canceled out identically, so that only the non-compact cycle turned out to be responsible for the breaking of supersymmetry. Here we can clearly see that every cycle contributes, if one keeps the parameters general.
In the following, we consider a special choice of parameters, in order to both simplify the foregoing results and parallel the procedure even more with the one from the previous section.
In section two, the warp factor of the five-dimensional metric, , goes to 1 at infinity. For the warp factor, , of the present spacetime, however, this is not so obvious, since the asymptotics of and are composed of the very strictly bound parameters (see appendix B). Following the regularity discussion at the end of [12], one condition outlined (eq. 4.17) is
[TABLE]
and so, with at infinity, we learn that both and must have positive asymptotics. Hence, the choice
[TABLE]
is in agreement with that, and doing so we would have
[TABLE]
as desired.
This way simplifies significantly to
[TABLE]
where redefining the (restricted) degree of freedom like yields
[TABLE]
This result compares nicely to from the running-bolt spacetime, especially if one does
[TABLE]
The choice applied to , yields furthermore
[TABLE]
so clearly every cycle goes at least in part into the extra-mass and so contributes to the violation of the BPS-bound, where, like in the previous section, the non-compact cycle yields the strongest contribution.
To see the cycles’ contribution more particularly in this light, we decompose into a part where the compact cycles only “talk” to one another (c-c) (), and one where the compact cycles correspond with the non-compact cycle (c-n):
[TABLE]
So, there is a non-vanishing contribution from the compact cycles only.
Now, we take a closer look at how these results can be interpreted in the language of intersection homology. The period-integrals compose the extra-mass integral through the inverse matrix, ; from we see which cycles intersect in each component.
One finds from and that the vanishing of the components, and , weakens the contributions from the intersection terms: , , , and ; so, all intersections are affected equally many times – except for the self-intersection of the bubble, . On the other hand, the above-mentioned dominance of the non-compact cycle means with a stronger representation of the intersection terms: , , , and ; this time being all intersections except for the self-intersection of the non-compact cycle, . So, under the bottom line one can make a qualitative estimation of the order of contribution strength for the intersections (starting with the strongest):
[TABLE]
Since in the previous section the only contributing (and existing) intersection was , one may rise the question whether the intersection of the bolt with its adjacent cycle might be generally the dominant one.
In any case, it is striking that the breaking of supersymmetry has for this solution of supergravity non-vanishing topological contributions from all cycle’s intersections.
4 Conclusion
In the long line of efforts in deriving and applying the Smarr formula in a huge and manifold framework of physical situations, the so-called “no-go theorems”, which prohibit the existence of massive supergravity solitons in the abscence of singularities and horizons, were shown to be circumvented in recent works by allowing non-trivial topology to spacetimes of dimensions five or higher.
In this work, further accomplishments on exploring the scope of applicability and implications of Smarr’s formula have been demonstrated and discussed within the cases of two geometrically and topologically distinct spacetimes.
Since the known non-BPS solutions are very specialized, the assumption stood to reason that the breaking of supersymmetry might be in general a boundary phenomenon rather than an intrinsic part of the core solution. In this work, it could be shown that the breaking of supersymmetry gets indeed contributions from the core topology in addition to the boundary.
First, we have derived the Komar mass for an non-BPS solution of supergravity in a five-dimensional stationary spacetime where we gave space a magnetically charged “bolt” at the center and made it asymptotically .
The very goal was to determine explicitely how each mass component follows from topology and especially how cohomology accounts particularly for the extra-mass causing the violation of the BPS-bound.
One essential question addressed was, whether the extra-mass term violating the BPS-bound in spacetimes asymptotically behaving like , only appears in the ADM mass while the Komar mass preserves the BPS formula.
It was shown that for a vast simplification of the running bolt solution, in which the magnetic charges got turned off, this still holds; but in the more general situation, the Komar mass contains terms breaking supersymmetry as well.
The mass formula is all topology. This is due to the fact that the present spacetime allows for two harmonic fluxes – the volume form of the bolt and its dual flux on the non-compact cycle. Nontheless, the topology of the Euclidian Schwarzschild base space does not inhabit any self-intersecting homology as opposed to the Gibbons-Hawking base and the spacetime in second two.
In any case, it is the fluxes on the non-compact cycle that render the supersymmetry-breaking extra-mass term non-zero, which raised the question whether the latter is in general a boundary term.
A whole different picture arose when the cohomological fluxes of a 2-center solution of five-dimensional supergravity were derived, which consists of a non-extremal magnetic bolt and an extremal Gibbons-Hawking center, both linked by a bubble 2-cycle.
A first striking consequence from the in this light computed 2-form harmonics is that the 2-center situation exhibits additional topological flux through the bubble’s pinching off at two centers and thus generating a kind of “interaction flux”, which is dual to the bolt-flux. As opposed to the 1-center running-bolt solution, the homology of this solution turned out to be self-intersecting and the purely topological contributions to the asymptotic mass and Maxwell-charges much more various. From the running-bolt solution it is already known that Komar does indeed reflect the breaking of supersymmetry in a spacetime with the given asymptotics; the main question, however, addressed at this point is, in which explicit manner it is caused by the various given features of space’s topology.
From the derived harmonic fluxes, the formulae for the mass and charges were computed and the topological pieces of the BPS-bound breaking extra-mass term explicitly analyzed in virtue of intersection homology. As a striking result, the extra-mass and hence the breaking of supersymmetry are indeed supported by all existing intersections of the homological cycles – dominated by the bolt-bubble intersection –, so in part even by the compact cycles and hence the core solution alone.
Acknowledgements
My gratitude goes to Nicholas Warner for his great work as my doctoral adviser. Further thanks shall be directed toward the High Energy Group of USC and the relaxing, work-supportive atmosphere of the University of Southern California. Last but not least would I like to thank DOE grant DE-SC0011687 by whom this work was in part supported.
Appendix A Functions and constants
In section 3, a more general solution of supergravity has been considered. It contains several degrees of freedom, that are non-trivially interrelated, and some fairly bulky functions. Although the latter were already written out in section 3, they shall be briefly listed here again for completeness.
The functions used here are taken from eqs. , , , of [12]:
[TABLE]
The constants , , , , , , , and the NUT-charge, , are connected by the relations:
[TABLE]
Appendix B Asymptotic limits
B.1 Functions
The asymptotic limits of the functions at the bolt and the Gibbons-Hawking center are:
[TABLE]
Note: For some of the functions, the limits towards the Gibbons-Hawking point are direction dependent; we chose the approach along the positive -axis ( and ) since that is how the adjacent cycles run.
At infinity we have the limits, to leading orders:
[TABLE]
B.2 Fields and fluxes
The fields and fluxes yield at infinity:
[TABLE]
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] G. W. Gibbons and N. P. Warner, “Global Structure of Five-dimensional BPS Fuzzballs”, Class. Quantum Grav. 31 , 025016 (2014) [ar Xiv:1305.0957 [hep-th]].
- 2[2] H. K. Kunduri and J. Lucietti, “The first law of soliton and black hole mechanics in five dimensions”, Class. Quantum Grav. 31:032001, 2014, ar Xiv:1310.4810 [hep-th].
- 3[3] P. A. Haas, “Smarr’s Formula in Eleven-Dimensional Supergravity,” ar Xiv:1405.3708 [hep-th].
- 4[4] P. de Lange, D. R. Mayerson, and B. Vercnocke, “Structure of Six-Dimensional Microstate Geometries,” JHEP 09 (2015) 075, [ar Xiv:1504.0798].
- 5[5] I. Bena, S. Giusto, C. Ruef and N. P. Warner, “A (Running) Bolt for New Reasons”, ar Xiv:0909.2559 [hep-th].
- 6[6] P. A. Haas, “Mass Formula of a Five-dimensional Almost-BPS Supergravity Soliton with a Magnetic “Bolt”,” ar Xiv:1511.02005 [hep-th].
- 7[7] I. Bena, S. Giusto, C. Ruef, and N. P. Warner, “Supergravity Solutions from Floating Branes”, JHEP 1003 (2010) 047, ar Xiv:0910.1860 [hep-th].
- 8[8] K. Goldstein and S. Katmadas, “Almost BPS black holes,” ar Xiv:0812.4183 [hep-th].
