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
    • CommentTimeDec 14th 2018

    added this to the list of references:


    Speculative remarks on the possible role of maps from spacetime to the 4-sphere in some kind of quantum gravity via spectral geometry are in

    reviewed in

    • Alain Connes, section 4 of Geometry and the Quantum, Foundations of Mathematics and Physics One Century After Hilbert. Springer, Cham, 2018. 159-196 (arXiv:1703.02470)

    • Alain Connes, from 58:00 to 1:25:00 in Why Four Dimensions and the Standard Model Coupled to Gravity - A Tentative Explanation From the New Geometric Paradigm of NCG, talk at IHES, 2017 (video recording)

    diff, v24, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 27th 2019

    added pointer to this preprint from Friday

    • Selman Akbulut, Homotopy 4-spheres associated to an infinite order loose cork (arXiv:1901.08299)

    diff, v29, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 31st 2019

    added a note on coset space structures (here)

    diff, v30, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2019

    The other day I was re-reading Chamseddine-Connes-Mukhanov 14. While it’s fun, I don’t get how the core of the statement is not put in by hand:

    Under the standard translation to the language of spectral geometry, they literally say: Let there be a smooth function from 4d spacetime to the 4-sphere, or a pair of such, and impose a kind of integrality condition on the pullback of the noncommutative volume form. It seems not so surprising to me that with this assumption, the main result follows.

    I gather they mean to suggest that what on the face of it is an kind of integrality condition on an NCG volume form is “really” a quantum gravity variant of the Heisenberg uncertainty relation. While I can see how that is a fun perspective on the situation, it doesn’t serm to follow from anything, or to be more than vaguely suggestive at this point. Also, it’s unclear to me how that suggestion for quantized geometry is supposed to play nicely with the Connes-Lott-Barrett model.

    From the public lectures and announcements I gather the group is very excited about their QG insight here, regarding maps to the 4-sphere. I am trying to follow what’s really going on. I do follow the maths, but am missing something else.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 5th 2019
    • (edited May 5th 2019)

    added pointer now also to the original announcement article

    diff, v32, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 30th 2019

    Edit pointer to

    from a few days back.

    diff, v38, current

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 1st 2021

    Added a reference

    • David T. Gay, Diffeomorphisms of the 4-sphere, Cerf theory and Montesinos twins (arXiv:2102.12890)

    diff, v48, current

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 7th 2022

    Added short section giving volume form and the resulting volume on a 4-sphere of radius RR.

    diff, v50, current