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-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration 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 lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string 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
    • CommentTimeDec 14th 2010
    • (edited Dec 14th 2010)

    I need to be looking again into the subject of the Gelfand-Naimark theorem for noncommutative C *C^*-algebras AA regarded as commutative C *C^*-algebras in the copresheaf topos on the poset of commutative subalgebras of AA, as described in

    Heunen, Landsman, Spitters, A topos for algebraic quantum theory.

    While it seems clear that something relevant is going on in these constructions, I am still trying to connect all this better to other topos-theoretic descriptions of physics that I know of.

    Here is just one little observation in this direction. Not sure how far it carries.

    If I understand correctly, we have in particular the following construction: for \mathcal{H} a Hilbert space and B()B(\mathcal{H}) its algebra of bounded operators, let A:𝒪(X)CStarA : \mathcal{O}(X) \to CStar be a local net of algebras on some Minkowski space XX. landing (without restriction of generality) in subalgebras of B()B(\mathcal{H}).

    By the internal/noncommutative Gelfand-Naimark theorem we have that each noncommutative C *C^*-algebra that AA assigns to an open subset corresponds bijectively to a locale internal to the topos 𝒯 B()\mathcal{T}_{B(\mathcal{H})} of copresheaves on the commutative subalgebras of B()B(\mathcal{H}).

    So using this, our Haag-Kastler local net becomes an internal-locale-valued presheaf

    A:𝒪(X) opLoc(𝒯 B()). A : \mathcal{O}(X)^{op} \to Loc(\mathcal{T}_{B(\mathcal{H})}) \,.

    So over the base topos B()B(\mathcal{H}) this is a “space-valued presheaf”. we could think about generalizing this to \infty-presheaves, probably (though I’d need to think about if we really get there given that the locales need not come from actual spaces). The we could think about if this generalization dually corresponds indeed to the “higher order local nets” such as factorization algebras.

    Just a very vague thought. Have to run now.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeDec 14th 2010
    • (edited Dec 14th 2010)

    The article is 69 pages so I need some help. You say that nc C star algebras are in correspondence with commutative C star algebras internally in some topos. I see that there is a construction of cosheaf of commutative C star algebras in this context from nc C star algebra, but is there a proof that this correspondence is a faithful functor (or even an equivalence of categories) ? By the way, star operation and properties make C star algebras smaller than the typical abstract noncommutative algebras, so it is not surprising to me that they are somehow commutative.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeDec 14th 2010

    The article is 69 pages so I need some help.

    I’ll try to write a summary a little later.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 14th 2010

    I was being distracted and now didn’t have muc time for writing a genuine summary, but a little bit is now at semilattice of commutative subalgebras.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeDec 14th 2010

    But to reply to your question, Zoran:

    in the article there seems to be just the construction of the internal locale Σ(A)\Sigma(A) in the topos over comSub(A) opcomSub(A)^{op} for a given non-commutative C *C^*-algebra AA, but not a discussion of whether and how it produces an equivalence of categories.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeDec 14th 2010

    But are you sure that they do claim explicitly somewhere that it is actually an equivalence (or at least a faithful functor) ? I mean proof more or less, but the statement…

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeDec 14th 2010
    • (edited Dec 14th 2010)

    Thank you for semilattice of commutative subalgebras. In the idea section you say that the same philosophy is thought even for abstract associative algebras, not necessarily operator algebras. This I have much harder time to believe. I mean the C-star algebras are more akin to associative algebras close to commutative ones, e.g. to the algebras of finite Gelfand-Kirillov dimension and some similar classes. The C-star envelope of very noncommutative (close to free associative) algebras are pretty tame in comparison to the latter. So for C-star (and in particular von Neumann) I could accept that noncommutative may somehow be interpreted via commutative. But not for guys close to free associative algebra.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeDec 14th 2010
    • (edited Dec 14th 2010)

    you say that the same philosophy is thought even for abstract associative algebras, not necessarily operator algebras. This I have much harder time to believe.

    You are right, the statement about commutative geometry applies to the C *C^*-case.

    I have added now the qualifier “C *C^*-algebra” to the entry. That is needed in order that the internal algebra has a chance of being an internal commutative C *C^*-algebra, so that the internal Gelfand duality can be applied.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeDec 14th 2010

    But are you sure that they do claim explicitly somewhere

    As I said in my last message, I think they do not claim anything like this. The internal Gelfand duality is an equivalence of categories I guess, and their construction of the commutative C *C^*-algebra presheaf from a non-comutative C *C^*-algebra looks as natural as can be, but I haven’t seen any statement beyond that.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeDec 15th 2010

    Very interesting.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeMar 28th 2011

    I can not find the parallel thread where we went further (I wish once we have automatic backlinks from nLab :)) . I think my last question which I think would be useful to go further is about the colimit over all commutative subalgebras, to obtain the subalgebra of normal operators. It is not sufficient to know the commutative subalgebras, one really needs to know the connecting maps and how to compute the things related to a colimit in noncommutative algebras. Thus to have a use from an internal Gelfand duality, one would like to express the connecting morphisms and taking the colimit on the dual side. So one has dual side for each internal commutative subalgebra and one wants to connect them in a way they were connected in the original C-star algebra, for start. Then one wants to intepret this other side in such a way that the “extended duality” picture preserves the colimit, at least for various uses one can imagine. (like computing the observables from knowing some other combination of observables). Is there a hint how to systematically attack this ?

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMar 28th 2011

    Hi Zoran,

    I think we discussed this in the context of Bohrification.

    That statement about the colimits is in

    vdBerg-Heunen, Noncommutativity as a colimit (http://arxiv.org/abs/1003.3618)

    They consider just the bare bones statement that I mentioned. I agree with you that it would be useful to see how much further this can be pushed.

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeMar 29th 2011

    Thanks for the reference. It is surprisingly recent!

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMar 29th 2011

    I have currently a Bachelor student who is looking into seeing how this internal Gelfand duality can be used in the understanding of AQFT. So apart from the fact that I am still busy with finalizing my own thesis, I am looking into this stuff here. I’d be quite interested in talking about whatever aspect of this intersts 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)