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 bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 infinity integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoid monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics planar 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 science 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 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
    • CommentTimeDec 20th 2019
    • (edited Dec 20th 2019)

    The wealth of nnLab edits of the last weeks on configuration spaces of points and on chord diagrams go along with a new article that we are finalizing:

    \,

    \,

    Abstract: We introduce a differential refinement of Cohomotopy cohomology theory, defined on Penrose diagram spacetimes, whose cocycle spaces are unordered configuration spaces of points. First we prove that charge quantization in this differential 4-Cohomotopy theory implies intersecting p/(p+2)-brane moduli given by ordered configurations of points in the transversal 3-space. Then we show that the higher observables on these brane moduli, conceived as the cohomology of the Cohomotopy cocycle space, reflects a multitude of effects expected in the quantum theory of Dp-D(p+2) brane intersections: condensation to stacks of coincident branes and their Chan-Paton factors, fuzzy funnel shapes and BLG 3-algebra structures, the Hanany-Witten rules, and the Chern-Simons sector of AdS3/CF2 duality. We discuss this in the context of the Hypothesis H that the M-theory C-field is charge-quantized in Cohomotopy theory.

    \,

    See there for the latest version. Comments are welcome.

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeDec 20th 2019

    Very nice! No substantive comments yet.

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 21st 2019

    Impressive! Is there any way to apply some kind of related technology to the Dp-D(p+4)-brane bound state?

    More typos:

    Insersecting; the the; diragrams

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 22nd 2019

    Thanks! Typos fixed now.

    Is there any way to apply some kind of related technology to the Dp-D(p+4)-brane bound state?

    The maths in the article applied not to 4-Cohomotopy but to 6-Cohomotopy immedately yields the analogous conclusions: the Cohomotopy cocycle space now is the ordered configuration space of points in 5\mathbb{R}^5 instead of 3\mathbb{R}^3, and the cohomology of these two configuration spaces is in fact isomorphic (as is hence that of their corresponding loop spaces) up to, only, a shift in degree.

    But it’s not clear why 6-Cohomotopy should come in. So I am not sure yet.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 22nd 2019

    Random thoughts: at least S 6S^6 has an interesting coset structure, G 2/SU(3)G_2/SU(3); one could look to lift 4-Cohomotopy to 6-Cohomotopy through π 6(S 4)= 2\pi_6(S^4) = \mathbb{Z}_2.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeDec 23rd 2019

    There are some evident mathematical niceties about 6-Cohomotopy, true, but a priori it cannot appear directly in charge-quantization of the C-field. It might appear indirectly, but this needs thinking. For instance Dp/D(p+2) may be T-dual to Dp/D(p+4)…

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 1st 2020

    On a trivial point, if you strip out the references from your opening sentence, it seems to me to be not grammatically well-formed:

    The rich physics expected on coincident and intersecting branes, which geometrically engineer non-perturbative quantum gauge field theories close to quantum chromodynamics and modelling quantum microstates accounting for black hole entropy, has come to be center stage in string theory – or rather in the “theory formerly known as strings.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 1st 2020

    True, thanks. I am changing “modelling” to “model”

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 9th 2020

    When you write that

    The case d=3d=3 in Def. 16, hence p=6p=6, is singled out as being the mathematically exceptional one,

    is it not the case that Def. 16 is symmetric in the sense that d=1d=1 gives the same result?

    Or is somehow ( 3) cpt( 1) +( 3) +( 1) cpt(\mathbb{R}^3)^{cpt} \wedge (\mathbb{R}^1)_+ \union (\mathbb{R}^3)_+ \wedge (\mathbb{R}^1)^{cpt} different from ( 1) cpt( 3) +( 1) +( 3) cpt(\mathbb{R}^1)^{cpt} \wedge (\mathbb{R}^3)_+ \union (\mathbb{R}^1)_+ \wedge (\mathbb{R}^3)^{cpt}?

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJan 9th 2020

    True, that’s the same. I’ll make that clearer, thanks.

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 9th 2020
    • (edited Jan 9th 2020)

    Well it’s not just clarity. You say that unlike for d=3d=3, for d{0,1,2,4}d \in \{0, 1, 2,4\} the cohomology is fairly uninteresting, when in fact it’s the same for d=1d=1. And you give a reason why only d=3d=3 is interesting.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 9th 2020

    All right, I have fixed it. :-)

    • CommentRowNumber13.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 15th 2020

    Being fussy, I guess the sentence beginning

    It is only in the case d=3d=3…,

    could be modified to say that d=1d=1 is (equally) interesting.

    By the way, just how uninteresting is d=2d =2?

    Re #4, I’m not sure I quite got whether we should be pleased that it’s 4-cohomotopy and then d=1or3d = 1 or 3 that is singled out, so that D6D8D6-D8 intersections are accorded special importance.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2020

    So with #12 I had changed the wording to “The case d=3d=3 (equivalently d=1d=1)…”

    The three remarks 2.12, 2.13, 2.14 go together (and maybe originally were a single remark…), meaning to point out that the dimensions conspire in such a way that the monopole physics seen pertains to monopoles of actual 4d QCD, not just of some SYM in any other dimension.

    I admit not to have computed the full cohomology of the cocycle space for d=2d=2. But the thing is it retains some symmetrization over the ordering of the points in the configuration, and by the degrees in the graph complex, that kills the trivalent interaction vertex and leaves only the free propagators (the chords).

    I have a file sitting here with lots of computations of graph cohomology in the underordered case, until it dawned on us that this all just descibes free field theories, and that somehow the ordering needs to be retained if there is any interacting field theory to come out of this.

    Interestingly then, the linear ordering on the points/branes, hence their numbering a=1,2,a = 1, 2, \cdots is seen to be their Chan-Paton labels. And so then everything fell into place…

    • CommentRowNumber15.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 15th 2020
    • (edited Jan 15th 2020)

    So with #12 I had changed the wording to “The case d=3 (equivalently d=1)…”

    Yes, but I’m talking about two sentences later:

    It is only in the case d=3d=3 that the remaining codimension 1=431 = 4-3 induces the linear ordering on the branes via Prop. 2.4, which then leads to the rich observables found in §4.

    which might say

    It is only dimension d=1d=1, or equivalently d=3d=3 with remaining codimension 1=431=4-3, that induces the linear ordering on the branes via Prop. 2.4, which then leads to the rich observables found in §4.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2020

    Oh, thanks. I’ll change that, too. Thanks.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJan 26th 2020

    expanded expository slides to go with my talk at M-Theory and Mathematics tomorrow are now here

    comments are welcome!

    (if you check it out, please grab the latest version here, I’ll sure be fixing little things for a little bit longer…)