Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2020
    • (edited Feb 12th 2020)

    am finally giving this its own entry, to be split off (not done yet) from D-brane charge and to be in parallel with K-theory classification of topological phases of matter

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 31st 2021

    finally expanded out the Idea-section a little more.

    Changed page name from “K-theory classification of D-branes” (which sounds like there is a classification theorem, which there is not) to “D-brane charge quantization in K-theory” (which hopefully sounds more like a prescription than a theorem)

    diff, v7, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 31st 2021

    Now some more material in place. I could go on, but I leave it at that for the moment.

    diff, v7, current

    • CommentRowNumber4.
    • CommentAuthorperezl.alonso
    • CommentTimeSep 10th 2023

    If one tries to construct the equivalent to Remark 4.9 in 1606.03206 for the IIB string, where does the problem of S-duality show up?

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeSep 10th 2023
    • (edited Sep 10th 2023)

    By the way, S-duality in terms of these super-cocycles but without the twisting is paragraph 4.3 in arXiv:1308.5264.

    This mixes the cocycles for the F-string and the D1-brane. The problem with S-duality and twisted K-theory is that the latter assign distict roles to these two cocyles:

    The F1 cocycle serves as the twist while the D1-cocycle is among those being twisted. Therefore S-duality is not a symmetry on twisted K-theory as usually understood.

    And it’s not just that it were a transformation which fails to be invertible, but it just doesn’t act on the structure: To twisted K-theory the NS B-field and the RR-fields are apples and oranges, but S-duality would have to relate them to each other.

    • CommentRowNumber6.
    • CommentAuthorperezl.alonso
    • CommentTimeSep 10th 2023
    • (edited Sep 10th 2023)

    But so the connection to the discussion in say 0410293 hasn’t been expanded on yet?

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeSep 10th 2023
    • (edited Sep 10th 2023)

    Not that I am aware of. But, I think, another attack on this question was the “mysterious triality” papers: In the mysterious duality by Iqbal et al., S-duality is witnessed as the exchange of the two factors in P 1×P 1\mathbb{C}P^1 \times \mathbb{C}P^1. So if one knew how these (blow-ups of) del Pezzo surfaces correspond to the classifying spaces appearing in Hypothesis H, then one could maybe see how S-duality wants to act on some form of cohomotopy.

    • CommentRowNumber8.
    • CommentAuthorperezl.alonso
    • CommentTimeSep 11th 2023

    Noted.

    On a similar subject, in 1806.01115, what does it really mean that the NS5 brane cocycle drops out when the D6 and D8 cocycles appear?

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeSep 11th 2023

    The Bianchi identity for the NS5-brane flux (dH 7=12R 4R 4+R 6R 2d H_7 = - \tfrac{1}{2} R_4 \wedge R_4 + R_6 \wedge R_2) is the genuinely non-linear component in (the Whitehead L L_\infty-algebra of) S 4\mathcal{L} S^4, whose non-linearity cannot be absorbed into the twisting/slicing by H 3H_3. Since no non-linear terms appear in the Whitehead bracket of a spectrum, this term has to disappear under fiberwise stabilization, and it does. Physically this is the common (though rarely or never explicitly stated) fact that this NS5-brane charge is indeed ignored in the K-theoretic quantization of D-brane charge.

    • CommentRowNumber10.
    • CommentAuthorperezl.alonso
    • CommentTimeDec 19th 2023

    In 1806.01115 you show how K-theory emerges from double-dimensional reduction by taking G=U(1)G=U(1). Is it obvious what happens when one instead takes G=U(1) 7G=U(1)^7, compactification to four dimensions?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeDec 19th 2023

    Certainly not obvious to me. But in principle the same logic also applies in other cases, one would have to work it out…

    • CommentRowNumber12.
    • CommentAuthorperezl.alonso
    • CommentTimeDec 20th 2023

    Here’s something that confuses me about the result of that paper. In physics one sometimes sees that if something is classified in cohomology in dd dimensions, then there is usually some lift to d+1d+1 where the classification now happens in K-theory (e.g. math/0611945, or even the literature of quantum cohomology lifting to quantum K-theory) (I also recall seeing some discussion of lifting to d+2d+2 to some elliptic cohomology, but can’t find the reference rn). The obvious generalization of this (that should be proven) is that cocycles of an S kS^k bundle XX with base space MM in the nnth stage of the chromatic tower of HH\mathbb{C}, then one obtains cocycles of MM in the (nk)(n-k)th stage. But here we are starting with a cocycle of XX in MUMU, so I would think that doing dimensional reduction to MM corresponds to a cocycle, let’s say, in the 1\infty -1 stage, again MUMU. So why does one obtain K-theory in this paper? Is it because we are taking the first-order approximation (in the sense of Goodwillie), so that a second-order approximation would give something in elliptic cohomology? Wouldn’t this imply that computing all approximations would again give a cocycle of MM in MUMU?

    If this assumption that lifting in circle bundles allows to lift cocycles to stuff higher up in the chromatic tower is correct, then assuming Hypothesis K would imply 11d M-theory indeed corresponds to something elliptic (as Hisham suggested years ago), and this still leaves room for further lifting to higher dimensions, e.g. for F-theory and beyond. Now since there are some problems with Hypothesis K then would it be relatively easier to produce a hypothesis for the 4d theory and then use this idea to lift cocycles to 10d?

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeDec 20th 2023
    • (edited Dec 20th 2023)

    I know what you are thinking, but the usual argument with the chromatic tower is rather broad-brush, even as hand-waving goes. In that article we were trying a much more concrete analysis.

    By the way for some reaon you write:

    here we are starting with a cocycle of XX in MUMU

    but this is not what “we” did:

    We started in 11d with a cocycle in unstable 4-Cohomotopy, since this (but no abelian cohomology theory, be it elliptic or otherwise) can quantize the C-field flux in 11d.

    Then we observe (in “Rational sphere valued supercocycles in M-theory”, arXiv:1606.03206) that double dimensional reduction turns such 4-cocycles into those of an unstable cohomology theory in 10d which, rationally, is a kind of truncation of twisted K-theory, in that it does not see the D8-brane.

    This is actually quite satisfactory a result already, since also 11d sugra compactified to 10d does not actually give the D8. The D8 lives in massive type IIA string theory, instead, whose M-theory lift, if any, is rather obscure.

    This major issue notwithstanding, the traditional “Hypothesis K”, without much ado, lumps the D8 into the mix in order to justify its conclusion.

    What we tried in the arXiv:1806.01115 that you point to is to find a natural homotopy-theoretic “reason” for this step.

    Independent of our particular answer, I want to highlight that the issue is crucially an “unstable” one which cannot possibly be properly resolved by looking at any tower of abelian (i.e.: Whitehead-generalized) cohomology theories.

    Even though spectra, Whitehead-generalized cohomology and the chromatic tower are magnificently rich mathematical structures, they are nevertheless a very coarse approximation to the full non-abelian homotopy theory evidently governing M-theory.

    Of course, one will still want to understand how and to which degree this approximation is useful. The general idea is that the approximation is given by unstable versions of the Boardman homomorphism, now going from an unstable sphere to a spectrum or to a bundle thereof, and thought of as approximating the unstable Cohomotopy by whatever it is that is still seen in that spectrum.

    We comment on possible approximations of twisted 4-Cohomotopy by quasi-elliptic cohomology on p. 9 of Cyclification of Orbifolds. We recently had Zhen Huan visit us at NYUAD for a month, making heavy computations concerning this approach. We are planning to write this up, but it may take until after January that we get around to doing so.

    • CommentRowNumber14.
    • CommentAuthorperezl.alonso
    • CommentTimeDec 20th 2023

    Thanks for the comment, Urs. Regarding this remark about instability of yours, can this not be applied to Hypothesis K already? That is, can one not consider “unstable K-theory”, which I’m guessing would be about maps to some U(n)U(n), e.g. U(5)U(5)? It’s funny because rationally one can take U(5)U(5) as a product of odd-dimensional spheres S 1×S 3×S 5×S 7×S 9S^1\times S^3\times S^5\times S^7\times S^9, which sounds somewhat reminiscent to D-brane content.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeDec 20th 2023

    Yes, one absolutely can consider forms of unstable K-theory. The cyclic loop space of the 4-sphere classifies such an unstable twisted K-theory which, rationally, knows everything about the NS/D-brane content obtained by dimensional reduction from 11d SuGra. This is what Hypothesis H gives verbatim upon dimensional reduction to type IIA. I guess you are asking whether this answer of Hypothesis H is all there is, and whether the traditional “Hypothesis K” that this answer should be stabilized is ultimately just wrong. Could be! :-)

    Regarding the observation about U(5)U(5): Interesting that you mention this, Hisham was urging to push in this direction. But I wasn’t and am not sure what to do about it. Maybe I am being dense.

    • CommentRowNumber16.
    • CommentAuthorperezl.alonso
    • CommentTimeDec 20th 2023

    It would be fun to find physical interpretations to the image of the cocycles under the various quotients involving U(5)U(5), e.g. the SES 1SU(5)U(5)U(1)11\to SU(5)\to U(5)\to U(1)\to 1 and U(6)/U(5)S 11U(6)/U(5)\cong S^{11}, and of course ultimately U/U(5)U/U(5). But I’m sure there are more interesting things to do there. I wonder what particular ideas Hisham had in mind in this topic.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeDec 21st 2023
    • (edited Dec 21st 2023)

    Since rationally not much is going on with U(5)U(5), what one would probably need to check is whether there are nontrivial maps XU(5)X \to U(5) which become trivial after composition to XU(5)lim nU(n)X \to U(5) \to \underset{\longrightarrow_{\mathrlap{n}}}{\lim} U(n) and yet are discernible as reflecting some expected torsion charge in IIB.