Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 3 of 3
I am maybe beginning to see how to obtain the F-theory picture from super-cohesion. Here is some brainstorming.
Let’s consider the M-theory bouquet, but starting down in IIA:
𝔪5𝔟𝔯𝔞𝔫𝔢↓𝔪2𝔟𝔯𝔞𝔫𝔢⟶ℝ[6]↓𝔇0𝔟𝔯𝔞𝔫𝔢=ℝ10,1|32⟶ℝ[3]↓ℝ9,1|16+¯16⟶ℝ[1]In Lie integrating and globalizing this, we should really be complexifying the coefficients.
Recall the reason for this for the M2-brane (from Structure Theory for Higher WZW Terms (schreiber)):
Considering its WZW term as complexified LM2WZW:ℝ10,1|32⟶B3(ℂ/ℤ)conn gives us the freedom to add a closed 3-form α, and if we take α to be the associative 3-form on ℝ7↪ℝ10,1|32 then we get the neat statement that
globalizing LM2WZW+iα over an 11-dimensional supermanifold X is precisely the structure of making X a solution to the equations of motion of 11d supergravity and fibered by G2-manifolds together with the classical anomaly cancellation data that makes the M2 be globally defined on this background, hence is precisely the data of M-theory on G2-manifolds;
Since the thus globalized α is a calibration on X, it follows that the volume holonomy of the globalized LM2WZW+iα gives precisely the membrane instanton contributions.
So let’s think about what it means to complexify the coefficients of the other stages in the bouquet.
Consider the D0-brane. Its WZW term is the RR-field which in the literature is often written C1. Under T-duality, this is identified with the WZW-term C0 of the D(-1)-brane in type IIB. Now, the complexification of C0 is well-known and famous: this is the axio-dilaton τ≔C0+ig2, where gs is the string coupling constant. The proposal of F-theory is to think of τ as varying over spacetime, defining an elliptic fibration over 10d spacetime.
But we may be more systematic about this: passing back via T-duality, we find that the complexified D0-brane WZW term is identified with the axio-dilaton. But now we know that this WZW term induces an extension of spacetime by Lie extension/D0-brane condensation.
To summarize this: we know
from first principles that the complexified D0 WZW term induces an extension of 10d spacetime by fibers locally modeled on ℂ;
from comparison with the string literature we see that this is nothing but that type IIA pre-image of the F-theory elliptic fibration.
So we may conclude that the integrated version of the D0-brane cocycle is to be identified with the map
LD0WZW+i˜gs:X⟶¯ℍ//SL(2,ℤ)to the compactified complex moduli stack of elliptic curves which classifies the elliptic fibration.
(Maybe we may fill in more details in this step. What if we used ℂ//GL(2,ℤ) instead? which is more natural from the perspective of integrating our ℂ[1]-valued Lie algebra cocycle)
Once at this point, it makes sense to rewrite this as
LD0WZW+i˜gs:X⟶¯ℳell(ℂ).Now by GHL this moduli stack of course carries the bundle 𝒪topell of elliptic spectra, and so we may say that the D0-brane cocycle twists elliptic cohomology on X. This is pretty much the proposal by Kriz-Sati. Notice that when the cocycle map hits (only) the point of the nodal curve, then this statement comes out precisely matching the known data:
physically (see at F-branes – table) this is the phase of F-theory with ordinary type IIB D-branes around which carry their ordinary D-brane charge in K-theory;
mathematically, the restriction of 𝒪topell to the nodal curve is KU with its ℤ2-action sitting over */ℤ2 (see the table here), hence mathematically this gives indeed KR-theory (nlab) cohomology in exactly the right way as needed for general type II backgrounds (see at orientifold (nlab)).
[continued in next comment]
[continued from previous comment]
All this looks good. So we need to see how it all integrates into one integrated bouquet. At this point we have this:
⋮↓XטτELM2WZW+iα⟶B3(ℂ/ℤ)conn↓X˜τ⟶¯ℳellThis D0-M2 stage is directly analogous to the M2-M5 stage which we analyzed in The WZW term of the M5-brane (schreiber). If we are to proceed as we did there, then we have to take the above diagram and rewrite it as
⋮↓XטτELM2WZW+iα⟶B3(ℂ/ℤ)conn↓↓X⟶Q˜τ↘↙¯ℳell(ℂ)with Q something like a K(ℤ,4)-fibration over ¯ℳell. And then we should check if LM2WZW+iα descends after transgression (double dimensional reduction) along the fiber to give a map
X⟶¯ℳell˜×K(ℤ,3)that map would then be the combined twisting class of F-theory, combining the elliptic parameterization with the B-field twist for K-theory.
Something like this.
To see what this ought to be, restrict attention to X=Y×(*/ℤ2) and the ordinary “non-elliptic” case where ˜τ is constant on the inclusion of the nodal curve. The fiber of 𝒪topell over ˜τ then is just ko≃kuℤ2 And so in this case the charges of the M2 are found to sit in ko
X×ELM2⟶ko˜τ↘↙{nodal}Accordingly, after double dimensional reduction/transgression along the circle, the string will take charges in Σ−1ko.
And this is indeed the right answer for type II backgrounds, that’s the point around p. 13 in Freed 12.
1 to 3 of 3