Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Basic tools for quantized differential geometry

  1. Oct 22, 2003 #1


    User Avatar
    Science Advisor
    Gold Member
    Dearly Missed

    One of selfAdjoint's posts in a loop gravity thread pointed out that many of the tools needed belonged in differential geometry.
    This is his 22 October 8:33 pm post:

    "Since Greg the magician got us a reprieve on the bandwidth thing, I'll add a little. I just read your very good intro to connection on the other thread, and it set me thinking. Should we try to motivate, say a principle bundle, the lie group and lie algebra acting on the manifold - actually on the tangent bundle, and all that? This is basic stuff, and really belongs on the diff manifolds board that is sort of dormant right now. Just a thought, let me know what you think.

    Working on the Thiemann intro, I am now trying to conceptualize the term "anti-self-dual". A few more times around the block and I'll have it.

    BTW we should retrieve your explanation of covariant and contravariant, and our discussion of pullbacks, that all goes in here too. Build up a chain of posts like a FAQ that people could use in trying to make sense of these papers.

    It's late at night and maybe this is just mindfog speaking, but do let me know what you think."
    What I think is eureka. Yes GR is a subspecialty within the broad field of differential geometry and quantizing GR primarily means facing up to the question of how do you quantize differential geometry.

    And the specifically "loop" approach to quantizing GR simply means that you focus on one particular gadget, the connection---so that the quantum states are complex-valued functions defined on the space of all possible connections on the manifold you are studying.

    The connection is a very differential-geometry-type idea and all the other stuff you mentioned, that you use in quantizing geometry, are likewise at home here.

    so what I think is, why didnt we think of this before? this is obviously the right venue to assemble short explanations of the tools needed both in normal ordinary differential geometry and also in any quantization of it

    also differential geometry is the home of the right honorable categorical morphism, the Diffeomorphism, and in the words of Thomas approximately Jefferson:

    "We hold these structures to be Invariant...."

    (this is from the Declaration of Background Independence, as you will have observed)
    Last edited: Oct 22, 2003
  2. jcsd
  3. Oct 23, 2003 #2


    User Avatar
    Science Advisor
    Gold Member
    Dearly Missed

    Somebody named Ambitwistor appeared at one of the loop gravity threads and gave us a link to a really excellent 100-page textbook called "Preparation for Gauge Theory"

    http://arxiv.org/math-ph/9902027 [Broken]

    It's by George Svetlichny, of the Catholic University of Rio, Brazil.

    the differential geometry you need for gauge (field) theories turns out to be (not to be surprised) what you need to do loop gravity. that is, if you want to do it like a proper self-respecting mathematician and not by mere animal cunning.

    though a lot can be said in favor of brute cunning

    we need to make an annotated bibliography of resources useful for understanding the quantization of differential geometry---loop gravity in particular.
    Last edited by a moderator: May 1, 2017
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook