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 beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory 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 integration integration-theory k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-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
    • CommentTimeNov 30th 2011

    started an Examples-section at geometric quantization

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJul 10th 2012
    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJul 11th 2012
    • (edited Jul 11th 2012)

    Hey, I looked into your transparancies given at cafe. It is too hi level for my understanding yet, and certainly interesting. However, I would disagree with the first line: that Isbell duality or whatever duality interchanges deformation quantization and geometric quantization. Deformation quantizaton makes sense both at algebra level and space/manifold/variety level; the side of Isbell duality is not essential. Also the geometric quantization could be described in terms of coordinate algebras if you like (and hence extended to noncommutative manifolds, for example, supermanifolds). But the idea of both is very different. The second is about quantization line bundle and its sections, and produces true Hilbert space. The deformation quantizuation rather has a formal parameter and is not producing a representation at a Hilbert space. This is why Connes was criticising deformation quantization very much. There is also recent paper by Witten which explains why geometric quantization gives much more when applicable.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJul 11th 2012

    I would disagree with the first line: that Isbell duality or whatever duality interchanges deformation quantization and geometric quantization.

    Oh, yes, I didn’t mean that. The duality arrow is meant only to apply to the first line. Ah, but I see now that it is misleading. Maybe I should change it.

    The point that I felt like hinting at in that table is that it is not entirely a coincidence that there are two formalized concepts of quantization, because they correspond to the two different sides of reality: algebra, and geometry.

    Actually it parallels that other duality: Heisenberg picture \leftrightarrow Schrödinger picture

    The deformation quantizuation rather has a formal parameter and is not producing a representation at a Hilbert space.

    Yes, but the idea is that one can improve on that. There is “C *C^\ast-algebraic deformation quantization” which precisely studies the corrections to this deficiency (I forget if we have an nnLab entry about that. It is discussed on the nnCafé somewhere, you find it by searching for “Eli Hawkin”, for I once reported on a series of talks that he gave on this)

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeJul 11th 2012
    • (edited Jul 11th 2012)

    There is “C *C^\ast-algebraic deformation quantization” which precisely studies the corrections to this deficiency

    Right, that is interesting. I forgot about this.

    On the other hand, I would like to remind you that it is not entirely true that there are only two approaches to quantization, there are so many more major types of quantization, e.g. Weyl quantization, Fedosov quantization, path integral quantization etc.

    Heisenberg picture ↔ Schrödinger picture

    This duality is in a way, and more closely (sometimes even literally, e.g. in the case of free theory) achieved via the Segal-Bargmann transform between the coherent state quantization (coherent states evolve just like the classical equations for operators) and geometric quantization for the polarization which corresponds to the choice of L^2(configuration space).

    I would still think that the deformation quantization is NOT necessarily, and not even generically, about algebra – the infinitesimal deformations apply to manifolds as well, and the main case of Kontsevich quantization PRECISELY does not work so well for algebraic Poisson varieties, while it works for smooth Poisson manifolds. So Kontsevich, in the case of varieties, a posteriori suggested a different framework which I think he called the semialgebraic deformation quantization.

    Also there is a thought – the coherent states, which come out from geometric quantization (as evaluation functionals) are used to define the Berezin symbols of operators. Berezin quantization is contentwise so much closer to geometric quantization than to the deformation quantization (to latter almost no connection in my knowledge), while it is about symbols of operators, hence closer to Heisenberg picture. I’d think that the geometry of various quantizations is not that closely parallel to time/space and function/space dualities.

    P.S. in fact, many of these quantizations can be considered as ordering rules which make isomorphism between noncommutative and commutative. Sometimes, the ordering is determined by polarization, or some other line bundle tricks (like Fedosov). The isomorphism is in the definition of the star product. Weyl quantization is about specific ordering prescription which is “symmetric”. This is an interesting viewpoint.

    P.S. II Of course, there is a short memo on deformation quantization – it is formal. So it is just a formal precursor to quantization, just like formal group or formal scheme is to an algebraic/Lie group or algebraic scheme. If we extend to C-star algebras, this is interesting, though still, being deformational it restricts in a way which geometric does not.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJul 12th 2012

    I would still think that the deformation quantization is NOT necessarily, and not even generically, about algebra

    But it is manifestly about deforming algebras. I am not sure I understand what you have in mind.

    In deformation quantization one takes the algebras of observables as the basic datum of a physical system and discusses how the commutative algebra of classical observables is deformed to a non-commutative algebra of quantum observables.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJul 12th 2012
    • (edited Jul 12th 2012)

    But it is manifestly about deforming algebras.

    Yes, you are right. I meant the following. Deforming Poisson structure on manifold, keeps the manifolds and changes the bracket. So you are right in this sense. On the other hand, there are many examples where the dual picture is concerned. Like the deformation quantization of Lie groups leading to quantum groups. Poisson structure there corresponds to the classical r-matrix. Now if we take the point of view of universal enveloping algebra then we deform the coproduct while the algebra is isomorphic, and if take the dual point of view of function algebra then we deform the product while the coproduct is undeformed. Both is deformation quantization. Regarding that it is affine it looks like both is done (co)algebraically, but if we were defining homogeneous spaces, than the situation on one side can be more geometric while both are deformation quantization. There are also sheaf and stack versions implied as well.

    By no dualization whatsoever you will get from this geometric quantization. I hope you agree.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJul 12th 2012
    • (edited Jul 12th 2012)

    By no dualization whatsoever you will get from this geometric quantization. I hope you agree.

    I did agre with this in #4. But now that I thought about it, I am not so sure anymore if I don’t want to disagree after all :-)

    So if you look at the geometric quantization of symplectic groupoids and C-star algebraic deformation quantization, at least, you see that both quantization proceudres do end up precisely dual to each other: one constructs an actual centrally extended groupoid (geometric) the other precisely its algebra of functions (algebraic).

    But I agree that even if there is this duality at the horizon, it is far from being formalized. Nevertheless, I think it is very useful to make it explicit, for it contains a whole bunch of other aspects. To reflect this, I have now created a table:

    Isbell duality - table

    Check it out and let me know what you think.

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 12th 2012

    Isbell duality - table

    What might a ’higher deformation quantization’ be?

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJul 12th 2012

    You know, I was wondering about the same question when writing that entry.

    The Poisson n-algebras appearing for instance in the context of quantization via factorization algebras are certainly an aspect of this. But I am not aware that an attempt at a more comprehensive approach exists yet.

    Well, looking at n-plectic geometry there are various evident definitions to make, concering deformation quantization of Poisson bracket Lie nn-algebras. But I don’t think to date anyone has seriously thought about this.

    On the other hand, if we strictly take the view of C *C^\ast-algebraid deformation quantization in the sense of looking at algebras of function on the geometric quantization of symplectic groupoids then one could say the case is better understood: just consider the \infty-algebras of functions on geometric quantization of symplectic infinity-groupoids.

    Anyway, all this needs to be studied more.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeJul 12th 2012

    So if you look at the geometric quantization of symplectic groupoids and C-star algebraic deformation quantization, at least, you see that both quantization proceudres do end up precisely dual to each other

    It seems we are converging to the essential point: if you add specifics to Rieffel strict quantization, then you can make picture rich enough to enable true Hilbert space and hence you are in the setup of geometric quantization essentially. In any case, it is a matter of terminology to some extent. You are right that deformation quantization is usually on the dual side, though I find it more essential that the construction and requirements are stronger to enable trie HIlbert space, unlike the generic deformation quantization which is weaker and only formal. I’ll dig the Rieffel reference soon.

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 13th 2012

    Re #8

    both quantization procedures do end up precisely dual to each other: one constructs an actual centrally extended groupoid (geometric) the other precisely its algebra of functions (algebraic).

    Is there a name for the algebraic dual of forming a central extension?

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJul 13th 2012
    • (edited Jul 13th 2012)

    Not sure what the right word would be, but the general mechanism here is one known from many other situations (such as C *C^\ast-algebraic K-theory, for instance): one deforms an algebra of functions on some space by replacing functions by sections of a non-trivial bundle over the space.

    In the present case that non-trivial bundle happens to be a line 2-bundle over a groupoid (this is the central extension of the groupoid), but otherwise it’s the same kind of phenomenon.

    I realize that I should spell this out more in detail in the respective entries. I need to see when to find the time. Right now I have some other things that feel more urgent. But this may change eventually…

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJun 13th 2013
    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJul 12th 2013
    • (edited Jul 12th 2013)

    I have finally started to work on filling the section on the actual geometric quantization step:

    After a brief survey, the discussion proceeds in four steps

    • traditional formulation by polarization and metaplectic correction of prequantum bundle;

    • formulation in complex geometric as Euler characteristic of abelian sheaf cohomology of metaplectically corrected prequantum bundle;

    • formulation as the Dolbeault-Dirac index of the prequantum bundle with the metaplectic correction now understood as nothing but the Spin-structure;

    • finally the full truth: formulation as the spin^c index of the prequantum bundle.

    This is still just a start though.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeJul 17th 2013

    have been expanding a good bit the section on geometric quantization by Spin^c-structure and push-forward in K-theory, with plenty of pedagogical (I hope) detail. here

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2015

    Added pointer to Souriau 74 and added the flow chart diagram from that article to to geometric quantization – History and variants. This needs more accompanying text, but I have to run now.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeDec 22nd 2017

    I have expanded the section geometric quantization – Examples – Schrödinger representation, making all signs, all conventions and all identifications fully explicit.

    • CommentRowNumber19.
    • CommentAuthorJohn Baez
    • CommentTimeNov 27th 2018

    The page geometric quantization has an error that prevents it from displaying. I don’t know how to fix this.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeNov 27th 2018

    Thanks for the alert.

    I tried re-saving the entry after adding a trivial whitespace somewhere, but problem remains.

    Just saw a similar problem with the page thesis Wellen (schreiber), but there re-saving did solve the issue.

    Will contact Richard.

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeNov 27th 2018

    Richard kindly fixed it (here).

    Thanks to both of you!

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)