Not signed in (Sign In)

Start a new discussion

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-categories 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 constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck 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 lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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 string-theory subobject 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
    • CommentTimeOct 1st 2010

    recently there were some questions about it here on the nForum: now there is an entry on the Kaluza-Klein mechanism

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeSep 7th 2013
    • (edited Sep 7th 2013)

    inspired by this Physics.SE question I went through the entry Kaluza-Klein mechanism and polished and slightly expanded throughout.

    Then I added another Examples-subsection: Cascades of KK-reductions from holographic boundaries.

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 9th 2013

    Probably a wrong thought, but when I see geometric Langlands result from such a cascade of reductions and dualities, it sounds like it’s quite a way along the direction of concrete particularity. But if geometric Langlands is one Rosetta stone dialectic version of some theory, another of whose versions is arithmetic Langlands, shouldn’t we expect the latter to be similarly concretely particular? And then, wouldn’t that suggest an arithmetic analogue to the larger, less particular space of quantum field theories being related in the cascade?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeSep 9th 2013
    • (edited Sep 9th 2013)

    Yes, that seems to be an evident big-scale conjecture. One term that comes to mind as a potential part of a potential answer is: p-adic physics.

    While an evident conjecture, I am not aware that anyone has tried to make the connection. Or maybe someone has? I’d be interested in seeing references.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeSep 9th 2013
    • (edited Sep 9th 2013)

    Hm, googling for this does yield some results. Many seem to be a bit dubious, though. Not sure about the following preprint here, but at least it does seem to try to connect pp-adic string theory with number theoretic Langlands duality:

    • Michele Nardelli, On the link between the structure of A-branes observed in the homological mirror symmetry and the classical theory of automorphic forms: mathematical connections with the modular elliptic curves, pp-adic and adelic numbers and pp-adic and adelic strings, in p-adic and adelic physics (pdf)
    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 9th 2013

    I see Kapustin has a student – Kevin Setter – who has fairly recently finished his thesis extending Kapustin & Witten on geometric Langlands. The introductory first 8 pages gives a clear account. He finds an equivalence of 2-categories of boundary conditions for two 3d gauged topological sigma models.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeSep 9th 2013
    • (edited Sep 9th 2013)

    Thanks, I have now added that citation here.

    But I thought you were after the non-geometric number-theoretic Langlands duality realized in physics. This thesis doesn’t mention that, or does it?

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 9th 2013

    Sure, it doesn’t mention that. I just came across the thesis and hadn’t heard of it, so thought to mention it. On the other hand, if there is a great Rosetta analogy to be had, understanding Kapustin-Witten by generalising in this way may help pick up the analogues on the arithmetic side.

    From my small search into the original issue, I should think Tamas Hausel’s work might give some pointers. E.g., Global topology of the Hitchin system

    Abstract: Here we survey several results and conjectures on the cohomology of the total space of the Hitchin system: the moduli space of semi-stable rank n and degree d Higgs bundles on a complex algebraic curve C. The picture emerging is a dynamic mixture of ideas originating in theoretical physics such as gauge theory and mirror symmetry, Weil conjectures in arithmetic algebraic geometry, representation theory of finite groups of Lie type and Langlands duality in number theory,

    where he writes

    Our studies will lead us into a circle of ideas relating arithmetic and the Langlands program to the physical ideas from gauge theory, S-duality and mirror symmetry in the study of the global topology of the Hitchin system. This could be considered the hyperkahler analogue of the fascinating parallels between the arithmetic approach of Harder-Narasimhan and the gauge theoretical approach of Atiyah-Bott in the study of H(N).

    Also a talk Arithmetic and physics in discrete algebraic geometry.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeSep 9th 2013

    Thanks. I have just glanced over it. Looks good. But this is still just on the geometric Langlands duality, isn’t it? Hausel’s main point is that Kapustin-Witten’s S-duality realization may also be thought of in terms of T-duality and mirror symmetry. But it’s still the geometric version, not the number-theoretic version. Or maybe I am missing something, of course.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 10th 2013

    To take the Hegelian path, if something like your four axiom account of synthetic QFT (and I guess you might be able to update axiom 4 now) is right, then we should expect any arithmetic Rosetta analogue of ordinary QFT to work via arithmetic forms of cohesion.

    And if such a thing exists, shouldn’t we be stumbling over 1000s of traces of such arithmetic analogues? Maybe we are, e.g.,

    • the orbit method/Beilinson-Bernstein being used in p-adic and arithmetic situations
    • etale cohomology in rigid geometry, etc.
    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeSep 10th 2013

    Yes, probably.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJul 1st 2014
    • (edited Jul 1st 2014)

    added a section KK-compactification – Formalization with the following comments:


    KK-compactification along trivial fibrations is closely related to forming mapping stacks: if Fields n\mathbf{Fields}_n is the moduli stack of fields] for an nn-dimensional field theory (see at prequantum field theory for more on this), then for Σ k\Sigma_{k} a kk-dimensional manifold with k<nk \lt n the mapping stack

    Fields nk[Σ k,Fields] \mathbf{Fields}_{n-k} \coloneqq [\Sigma_k, \mathbf{Fields}]

    may be thought of as the moduli stack of fields for an (nk)(n-k)-dimensional field theory. By the definition universal property of the mapping stack, this lower dimensional field theory is then such that a field configiuration over an (nk)(n-k)-dimensional spacetime X nkX_{n-k}

    ϕ:X nkFields nk \phi \colon X_{n-k} \longrightarrow \mathbf{Fields}_{n-k}

    is equivalently a field configuration of the nn-dimensional field theory

    X nk×Σ kFields n X_{n-k} \times \Sigma_k \longrightarrow \mathbf{Fields}_n

    on the product space X nk×Σ kX_{n-k}\times \Sigma_k (the trivial Σ k\Sigma_{k}-fiber bundle over X nkX_{n-k}).

    Traditionally KK-reduction is understood as retaining only parts of Fields nk\mathbf{Fields}_{n-k} (the “0-modes” of fields on Σ k\Sigma_k only) but of course one may consider arbitrary corrections to this picture and eventially retain the full information.

    One example of KK-reduction where the full mapping stack appears is the reduction of topologically twisted N=4 D=4 super Yang-Mills theory on a complex curve CC as it appears in the explanation of geometric Langlands duality as a special case of S-duality (Witten 08, section 6). Here Fields 4=BG conn\mathbf{Fields}_4 = \mathbf{B}G_{\mathrm{conn}} is the universal moduli stack of GG-principal connections (or rther that of GG-Higgs bundles).

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJan 30th 2015

    I have added two paragraphs to the Idea-section at KK-compactification, mentioning relation to geometrodynamics and the issue of moduli stabilization. Also cross-linked.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMar 31st 2018

    Edit to: Kaluza-Klein mechanism by Urs Schreiber at 2018-04-01 01:23:26 UTC.

    Author comments:

    added pointer to textbook by Ibanez-Uranga

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeNov 17th 2018
    • (edited Nov 17th 2018)

    added further Examples-section on KK-reduction in thermal field theory (here)

    diff, v47, current

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeNov 12th 2019

    added pointer to

    diff, v52, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)