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

Discussion Tag Cloud

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 3rd 2013
    • (edited Oct 3rd 2013)

    Circumstances prompted me to write a kind of pamphlete pointing out some aspects that seem worth taking notice of have not found much appreciation yet:

    This surveys how basic theorems about the standard foundation of quantum mechanics imply an accurate geometric incarnation of the “phase space in quantum mechanics” by an order-theoretic structure that combines with an algebraic structure to a ringed topos, the “Bohr topos”. While the notion of Bohr topos has been motivated by the Kochen-Specker theorem, the point here is to highlight that taking into account further theorems about the standard foundations of quantum mechanics, the notion effectively follows automatically and provides an accurate and useful description of the geometry of “quantum phase space” also in quantum field theory.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2013
    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 5th 2013

    That’s a great page. I just heard Samson Abramsky yesterday on sheaf theory as measuring non-locality and contextuality. He sees a common structure between QM, databases and natural language. I should follow that up.

    This observation indeed puts doubt on the long and widely held believe that the quantum phase space is an object in noncommutative geometry, a believe that in fact motivated much of the development of noncommutative geometry in the first place.

    Are you suggesting Connes’ programme might not be as important as we were led to believe?

    If ordinary quantum mechanics is the holographic dual of the A-model on certain D-branes/2-dimensional Poisson sigma-model, do we see the holographic relation between Bohr toposes for the former and whatever the Bohr thing is for the latter (local nets of Bohr toposes?)?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 6th 2013

    Are you suggesting Connes’ programme might not be as important as we were led to believe?

    Good question. This is an important subtlety to sort out.

    A spectral triple is effectively an axiomatization of a quantum particle, as a 1d QFT. One of the ingredients is a Hilbert space, so that’s already all the states and observables. Next a spectral triple in addition has a possibly non-commutative algebra densely embedded into the algebra of bounded operator on that Hilbert space.

    Kontsevich and Soibelman highlighted under the headline “graph field theory”, that this associative (but possibly non-commutative) algebra in a spectral triple is to be identified as the data encoding the interaction, namely the data associated to a 1-dimensional “cobordism with singularities” which has two edges coming in and one coming out, see on the nLab here.

    So in total quantum mechanics certainly has a non-commutative algebra in it. I tried to make this clear in the subsection order theoretic structure in QM – Relation to the traditional non-commutative geometry.

    But the point that I think needs to be made is that it is not right to say that quantization deforms phase space to a non-commutative space. If at all, then quantization turns phase space instead into a non-associative “Jordan space”. The non-commutativity is instead part of the dynamics/interaction.

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)