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 2011

    I have expanded Green-Schwarz mechanism a fair bit

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeAug 15th 2020

    added pointer to the original:

    diff, v28, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 15th 2022

    added pointer to today’s

    diff, v35, current

    • CommentRowNumber4.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 12th 2023

    I’m sure this was sorted out long time ago but where exactly does the anomaly polynomial I n+2I_{n+2} live?

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2023

    That’s a very good question:

    The anomaly polynomial is a generalized element of the sheaf internal hom [X,Ω n+2][X, \Omega^{n+2}], where XX is the nn-dimensional spacetime manifold, regarded as a smooth set, and Ω n+2\Omega^{n+2} is the “smooth set of forms”, hence the sheaf of forms on CartSpCartSp.

    More concretely, this means that for UU any Cartesian space and considering fields on XX in families parameterized by UU, then the anomaly polynomial for that family of fields is an ordinary n+2n+2-form on X×UX \times U.

    That’s how the anomaly polynomial can have degree higher than the dimension of spacetime without trivially vanishing.

    I thought that I had note on this point somewhere on the nLab, but right now I don’t find it.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2023

    right now I don’t find it.

    Oh, it’s right here in this entry, under The anomaly line bundle.

    (Also, if only most most briefly, footnote 2 in Twisted Cohomotopy implies M5-brane anomaly cancellation.)

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2023
    • (edited Oct 13th 2023)

    By the way, you can see a hint in this direction in Freed 2002 Exp. 2.28 (p. 21), where the manifold indexing a given family of fields is denoted “TT” instead of “UU”.

    The question left open there is which TT to choose, if any, and how to relate these. The answer is to work over the site of all manifolds TT (or just the Cartesian spaces among them, as that is sufficient and equivalent) and consider the resulting system of anomaly forms as a single form on a moduli stack.

    • CommentRowNumber8.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 13th 2023

    Wait, so how standard or widespread is this formulation? I’m only finding this in dcct (and whatever paper this was first worked out).

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2023
    • (edited Oct 13th 2023)

    As I said in #7, it’s implicit in Freed 2002. Of course he thinks that “the s-word conjures up demons” (p. 3 here) and hence won’t use it.

    • CommentRowNumber10.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 13th 2023

    Funny, that explains the nature of 2209.07471

    So why do we only use higher U(1) connections to cancel anomalies? Or is it that in principle one could use bundles with connection of other higher groups to cancel anomalies (with some appropriate map to U(1), such as exp(Tr…)) but the U(1) case is easier because its eom’s are simpler? Obviously, in those other cases you would require something different than IjI\wedge j.

    • CommentRowNumber11.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 13th 2023

    typo, and minor clarification (really for those of us who skipped the first few subsections of Section 2 on a first reading).

    diff, v38, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2023

    Right, analogous constructions would apply more generally.

    Of course, from the perspective of anomalies produced by a fermionic path integral, the group U(1)U(1) is fundamentally the group of phases in which the exponentiated action functionals take values. This basic fact of quantum physics is ultimately the “reason” why all this discussion is about higher U(1)U(1)-bundles.

    (One could of course consider using other/higher “groups of phases”…)

    • CommentRowNumber13.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 13th 2023

    Also, this is clearly a global perspective for the anomaly. But what (I’ve seen that) people call a global perspective (e.g. the recent 2310.06895), instead of using UU-parameterised fields so as to allow higher-degree forms, they use manifolds of one or two dimensions more than spacetime so as to support the anomaly polynomial, from where they argue that one only needs to compute some cobordism invariant to check the anomaly is zero. How are these two pov’s compatible?

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2023

    I think that essentially comes down to using just a fixed U= 2U = \mathbb{R}^2 and crossing your fingers that no information is lost.

    • CommentRowNumber15.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 22nd 2023

    So just to clarify, the anomaly polynomial acts as a magnetic source for the prequantum circle n-bundle, right? Or in other words, it makes the pre-n-plectic form not closed?

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeOct 22nd 2023

    That’s not quite how it’s usually thought of, at least:

    The complex line bundle on bosonic field space (after having performed the fermionic path integral, which is well-defined) of which the GS-type anomaly polynomial is (supposed to be) the curvature 2-form (after integration over spacetime) is meant to be that object of which the exponentiated action functional exp(iS)exp(\mathrm{i} S) is a section.

    The idea is that to even start constructing the phase space (pre-quantumly or even classically) or to even start making sense of the path integral, the expression exp(iS)exp(\mathrm{i} S) must be an actual function instead of a section, hence that line bundle must be trivial (and trivial-ized), hence the class of that bundle (which is the anomaly, by definition) must vanish.

    Only with the anomaly vanishing, so that the expression exp(iS)exp(\mathrm{i} S) is turned into an actual function can we ask that it comes from a Lagrangian density, from which we then get the phase space with its (pre-)symplectic form, which then we can pre-quantize to a prequantum line bundle.

    • CommentRowNumber17.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 22nd 2023
    • (edited Oct 22nd 2023)

    But wouldn’t what I mentioned be the detransgressed picture? Of course we wouldn’t call ω:FieldsΩ n\omega:Fields\to \Omega^n a phase space since dω=I0d\omega=I\neq 0, but in this sense the Lagrangian density would be a twisted circle n-bundle with connection, and perhaps one can still investigate those morphisms B nU(1) twBGL 1(E)\mathbf{B}^n U(1)_{tw}\to \mathbf{B}GL_1 (E) in quantization?

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeOct 23rd 2023

    Maybe you are thinking by analogy of the case of a charged particle propagating on a manifold XX subject to an electromagnetic line bundle on that manifold, in which case the canonical symplectic form on the particle’s phase space T *XT^\ast X gets shifted by the pullback of the curvature 2-form of that line bundle.

    That story will go through in higher generalization along the lines you are indicating: The higher pre-symplectic phase space of the string propagating in a background with a higher GS-gauge field (whose curvature satisfies dH 3RRFF\mathrm{d} H_3 \propto \langle R \wedge R \rangle - \langle F \wedge F\rangle) should carry the canonical 2-symplectic form shifted by a “twisted-closed” 3-form being the pullback of H 3H_3 from spacetime.

    But here we are talking about the phase space of the single string, not the phase space of its target space field theory. Maybe that’s what you have in mind?

    • CommentRowNumber19.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 23rd 2023

    Indeed I’m talking about the target space field theory. Say for an n-dim’l target space theory, we would want to have a circle nn-bundle with connection L:FieldsB nU(1) connL:Fields\to B^n U(1)_{conn} that would be a Lagrangian density. The description in the current nlab entry is phrased in terms of an action SS on an nn-dim’l spacetime XX, where in the case of no anomalies this is a well-defined function to U(1)U(1) obtained as

    exp(iS())exp(2πi X[X,L]):Conf=[X,Fields][X,L][X,B nU(1) conn]exp(2πi X())U(1). \exp(i S(-)) \coloneqq \exp(2 \pi i \int_{X} [X, \mathbf{L}]) \;\; \colon \;\; Conf= [X, Fields] \stackrel{[X, \mathbf{L}]}{\to} [X, \mathbf{B}^n U(1)_{conn}] \stackrel{\exp(2 \pi i \int_{X}(-))}{\to} U(1) \,.

    The existence of anomalies means that there is no well-defined action exp(iS()):ConfU(1)exp(i S(-)): Conf\to U(1). We usually start with a local Lagrangian, say as in d=10 N=1 sugra + SYM. If this Lagrangian was indeed the local form of a circle n-bundle then we would have a well-defined function to U(1)U(1) via fiber integration. But since we don’t have this function then it seems to me one can regard LL as being the local expression of a circle n-bundle twisted by some form II s.t. dF L=IdF_L=I, where this II is a n+2n+2 form, the anomaly polynomial, which is why I said it acts as a magnetic source for a higher prequantum bundle. Or is this not correct?

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeOct 23rd 2023

    Aren’t you still conflating the anomaly bundle whose sections are action functionals with the prequantum bundle whose sections are quantum states?

    • CommentRowNumber21.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 23rd 2023

    Yes, in a sense I’m asking whether the two come together as a twisted circle n-bundle where the twist is the anomaly. Or here’s a different question, what does it mean to twist a higher prequantum bundle? Is this not introducing an anomaly?

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeOct 24th 2023
    • (edited Oct 24th 2023)

    Right, so the term “anomaly” refers to various different phenomena. All it means in full generality is when in the long cooking recipe for quantization of field theories, some conditions necessary for some step fail.

    The terminology reflects the physicist’s attitude towards how the world works:

    Contrary to mathematicians who first check the assumptions of their theorem and then work out the implications, the physicist storms ahead, fingers crossed.

    If things don’t work out as expected because tacit assumptions are not actually satisfied, the physicist grudgingly acknowledges that the situation is “not normal” (anomalous), to his mind, because he feels that: normally this works (last time it worked!, so).

    Now he backtracks his steps to see what one could fiddle with to save the day. Once such a hack has been implmented and the machine seems back on track again, he proclaims, with satisfaction, that he has “canceled the anomaly”.

    One could call it the drama-approach to mathematical physics.

    \,

    The Green-Schwarz-type anomaly of this thread is one specific such situation, namely the case where one considers the effective bosonic action functional of a field theory with chiral fermions (or other chiral fields) by performing the fermionic path integral, noticing that the result is not quite a function but only locally a section of a Pfaffian line bundle, observing that however the class of that line bundle is the transgression of a factorizable class of the same form as an electro-magnetic anomaly, and then “cancelling” the problem by introducing the required opposite magnetic charge.

    But there are other kinds of anomalies than this.