Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

January 17, 2008

Spaceoids

Posted by Urs Schreiber

guest post by Paolo Bertozzini – a pdf version of this post is here



In the discussion following the posts “The Principle of General Tovariance” and “Australian Category Theory”, Urs Schreiber, Kea and David Corfield have been mentioning the research work on “categorical non-commutative geometry” that I am carrying on with my collaborators Roberto Conti (now in University of Newcastle - Australia) and Wicharn Lewkeeratiyutkul (in Chulalongkorn University - Bangkok). It is a pleasure to reply with some more detailed information on some of these topics.

Specifically this post is mainly concerned with the “horizontal categorification” (or “oidization/many-objectification” as John Baez prefers to call it) of the notion of (compact Hausdorff topological) space.

Let us start with some simple but intriguing questions:

  • What might be a good categorical version of the notion of space?
  • Might non-commutative geometry provide some guidance towards at least one of the possible answers to the previous question?

In non-commutative geometry (compact Hausdorff) topological spaces are “described” dually as commutative unital C*^*-algebras making use of the following Gel’fand spectral theorem that, opening the way for the consideration of non-commutative unital C*^*-algebras as non-commutative compact Hausdorff spaces, is considered the “milestone” of non-commutative geometry (from A. Connes’ point of view):

Theorem 1[Gel’fand]. There exists a duality (i.e.a contravariant equivalence) (Γ (1),Σ (1))(\Gamma^{(1)},\Sigma^{(1)}) between the category T (1)\mathbf{T}^{(1)}, of continuous maps between compact Hausdorff topological spaces, and the category A (1)\mathbf{A}^{(1)}, of unital homomorphisms of commutative unital C*^*-algebras. In the specific:

  • Γ (1)\Gamma^{(1)} is the functor that associates to every compact Hausdorff topological space XX the unital commutative C*^*-algebra C(X)C(X) of complex valued continuous functions on XX (with pointwise multiplication, conjugation and supremum norm) and that to every continuous map f:XYf: X\to Y associates the unital **-homomorphism f :C(Y)C(X)f^\bullet: C(Y)\to C(X) given by the pull-back of continuous functions by ff;
  • Σ (1)\Sigma^{(1)} is the functor that associates to every unital commutative C*^*-algebra 𝒜\mathcal{A} its spectrum Sp(𝒜):={ω|ω:𝒜isaunital*homomorphism}\mathrm{Sp} (\mathcal{A}):=\{\omega | \omega: \mathcal{A}\to \mathbb{C} is \,\mathrm{a}\, unital *-homomorphism\} (that is a compact Hausdorff space with the weakest topology making continuous all the evaluation maps ωω(x)\omega\mapsto\omega(x), for all x𝒜x\in \mathcal{A}) and that to every unital **-homomorphism ϕ:𝒜\phi:\mathcal{A}\to \mathcal{B} of algebras associates the continuous map ϕ :Sp()Sp(𝒜)\phi^\bullet: \mathrm{Sp}(\mathcal{B})\to \mathrm{Sp}(\mathcal{A}) given by the pull-back under ϕ\phi.

It is therefore natural to consider “categorifications” of Gel’fand duality as a first step in the process of categorification of A. Connes’ non-commutative geometry and the question on the categorified notion of space now becomes:

  • What might be a “categorical version of Gel’fand theorem”?

This is an important topic already widely discussed in this blog (see for example the posts What is the Categorified Gelfand-Naimark Theorem? and Categorified Gelfand-Naimark Theorem and Vector Bundles with Connection) in a much more general context.

Our approach here is extremely “minimal” (limited for now only to the many-objectification level) and it makes use of “suitably reassembled” traditional topological techniques (such as Serre-Swan equivalence) in perfect line with the classical Gel’fand result above. In order to provide a “horizontal categorification” of Gel’fand duality, we are looking for:

  • “suitable embedding functors” F:T (1)TF:\mathbf{T}^{(1)}\to \mathbf{T} and G:A (1)AG:\mathbf{A}^{(1)}\to \mathbf{A} of the categories T (1)\mathbf{T}^{(1)} (of compact Hausdorff topological spaces) and A (1)\mathbf{A}^{(1)} (of unital commutative C*^*-algebras) into two new categories T\mathbf{T} and A\mathbf{A};
  • an extension of the categorical duality (Γ (1),Σ (1))(\Gamma^{(1)},\Sigma^{(1)}) provided by Gel’fand theorem, to a categorical duality (Γ,Σ)(\Gamma,\Sigma) between T\mathbf{T} and A\mathbf{A}.

In the light of the following self-explicative table:

Monoids SmallCategories(Monoidoids) Groups Groupoids AssociativeUnitalRings Ringoids AssociativeUnitalAlgebras Algebroids UnitalC *algebras C *categories(C *algebroids) \array{ Monoids & Small Categories (Monoidoids) \\ Groups & Groupoids\\ Associative Unital Rings & \href{http://golem.ph.utexas.edu/category/2006/09/ringoids.html}{Ringoids} \\ Associative Unital Algebras & Algebroids \\ Unital \mathrm{C}^*-algebras & \mathrm{C}^*-categories (\mathrm{C}^*-algebroids) }

we already have a suitable candidate for a horizontal categorification of the category of unital **-homomorphisms of unital C*^*-algebras, namely the category of object-bijective **-functors between full C*^*-categories.

The notion of C*^*-category has been introduced by J. Roberts (see Ghez P., Lima R., Roberts J. (1985), W*^*-categories, Pacific J. Math. 120 n. 1, 79-109; see also Mitchener P. (2002), C*^*-categories, Proceedings of the London Mathematical Society 84, 375-404) and has been extensively used in algebraic quantum field theory:

Definition 2.A C*^*-category is a category 𝒞\mathcal{C} such that: the sets 𝒞 AB:=Hom 𝒞(B,A)\mathcal{C}_{AB}:=\Hom_{\mathcal{C}}(B,A) are complex Banach spaces; the compositions are bilinear maps such that |xy||x||y|,x𝒞 AB,y𝒞 BC|xy| \leq |x |\cdot |y |, \forall x\in \mathcal{C}_{AB}, y\in \mathcal{C}_{BC}; there is an involutive antilinear contravariant functor *:Hom 𝒞Hom 𝒞*:\Hom_\mathcal{C}\to\Hom_\mathcal{C}, acting identically on the objects, such that |x *x|=|x| 2,x𝒞 BA|x^*x |= |x |^2, \forall x\in \mathcal{C}_{BA} and such that x *xx^*x is a positive element in the C*^*-algebra 𝒞 AA\mathcal{C}_{AA}, for every x𝒞 BAx\in \mathcal{C}_{BA} (i.e. x *x=y *yx^* x = y^* y for some y𝒞 AAy \in \mathcal{C}_{AA}).

In a C*^*-category 𝒞\mathcal{C}, the “diagonal blocks” 𝒞 AA:=Hom 𝒞(A,A)\mathcal{C}_{AA}:=\Hom_\mathcal{C}(A,A) are unital C*^*-algebras and the “off-diagonal blocks” 𝒞 AB:=Hom 𝒞(B,A)\mathcal{C}_{AB}:=\Hom_\mathcal{C}(B,A) are unital Hilbert C*^*-bimodules on the C*^*-algebras 𝒞 AA\mathcal{C}_{AA} and 𝒞 BB\mathcal{C}_{BB}. We say that 𝒞\mathcal{C} is full if all the bimodules 𝒞 AB\mathcal{C}_{AB} are imprimitivity bimodules. In practice, every full C*^*-category is a “strict-ification” of an equivalence relation in the Picard-Morita groupoid of unital C*^*-algebras. It is also very useful to see a C*^*-category as an involutive category fibered over the equivalence relation of its objects: in this way, a (full) C*^*-category becomes a special case of (saturated) unital Fell bundle over an involutive base category where:

Definition 3. A unital Fell bundle (,π,𝒳)(\mathcal{E},\pi,\mathcal{X}) is an involutive category \mathcal{E} fibered over the involutive category 𝒳\mathcal{X} that is also a Banach bundle over 𝒳\mathcal{X} in such a way that, for every equivalence relation 𝒴𝒳\mathcal{Y}\subset \mathcal{X}, its restriction π 1(𝒴)\pi^{-1}(\mathcal{Y})\subset \mathcal{E} is a C*^*-category (with the same objects of 𝒴\mathcal{Y}).

The first problem that we have to face is how to select a suitable full subcategory A\mathbf{A} of “commutative” full C*^*-categories playing the role of horizontal categorification of the category A (1)\mathbf{A}^{(1)} of commutative unital C*^*-algebras. Since we are working in a completely strict categorical environment, our choice is to define a C*^*-category 𝒞\mathcal{C} to be commutative if all its diagonal blocks 𝒞 AA\mathcal{C}_{AA} are commutative C*^*-algebras.

The second problem is the identification of a good category T\mathbf{T} of “spaceoids” playing the role of horizontal categorification of the category T (1)\mathbf{T}^{(1)} of continuous maps between compact Hausdorff topological spaces. Making use of Gel’fand duality for the diagonal blocks 𝒞 AA\mathcal{C}_{AA} and (Hermitian) Serre-Swan equivalence for the off-diagonal blocks 𝒞 AB\mathcal{C}_{AB} of a commutative full C*^*-category 𝒞\mathcal{C}, we see that the spectrum of 𝒞\mathcal{C} identifies an equivalence relation embedded in the Picard groupoid of Hermitian line bundles over the Gel’fand spectra of the diagonal C*^*-algebras 𝒞 AA\mathcal{C}_{AA}. Finally, riassembling such block-data, we recognize that, globally, the spectrum of a commutative full C*^*-category can be described as a very special kind of Fell-bundle that we call topological spaceoid:

Definition 4. A topological spaceoid (,π,𝒳)(\mathcal{E},\pi,\mathcal{X}) is a saturated unital rank-one Fell bundle over the product involutive topological category 𝒳:=Δ X× 𝒪\mathcal{X}:=\Delta_X\times\mathcal{R}_\mathcal{O} where Δ X:={(p,p)|pX}\Delta_X:=\{(p,p) | p\in X\} is the minimal equivalence relation of a compact Hausdorff space XX and 𝒪:=𝒪×𝒪\mathcal{R}_\mathcal{O}:=\mathcal{O}\times\mathcal{O} is the maximal equivalence relation of a discrete space 𝒪\mathcal{O}.

We define morphism of spaceoids (f,F):( 1,π 1,𝒳 1)( 2,π 2,𝒳 2)(f,F):(\mathcal{E}_1,\pi_1,\mathcal{X}_1)\to(\mathcal{E}_2,\pi_2,\mathcal{X}_2) as pairs (f,F)(f,F) where:

  • f:=(f Δ,f )f:=(f_\Delta,f_\mathcal{R}) with f Δ:Δ 1Δ 2f_\Delta:\Delta_1\to\Delta_2 a continuous map of topological spaces and f : 1 2f_\mathcal{R}:\mathcal{R}_1\to\mathcal{R}_2 an isomorphism of equivalence relations;
  • F:f ( 2) 1F:f^\bullet(\mathcal{E}_2)\to\mathcal{E}_1 is a fiberwise linear **-functor such that π 1F=π 2 f\pi_1\circ F=\pi_2^f, where (f ( 2),π 2 f,𝒳 1)(f^\bullet(\mathcal{E}_2),\pi_2^f,\mathcal{X}_1) denotes the ff-pull-back of ( 2,π 2,𝒳 2)(\mathcal{E}_2,\pi_2,\mathcal{X}_2).

Morphisms of spaceoids can be seen as examples of J. Baez’ notion of spans (in this case, a span of the Fell bundles of the spaceoids).


Without entering in further technical details, we just say that we can define:

  • a section functor Γ:TA\Gamma:\mathbf{T}\to \mathbf{A} that to every spaceoids associates a commutative full C*^*-category of “block-sections”,
  • a spectrum functor Σ:AT\Sigma:\mathbf{A}\to\mathbf{T} that to every commutative full C*^*-category associates its spectral spaceoid,

in such a way that this duality result holds:

Theorem 5. The pair of functors (Γ,Σ)(\Gamma,\Sigma) provides a duality between the category T\mathbf{T} of object-bijective morphisms between spaceoids and the category A\mathbf{A} of object-bijective **-functors between small commutative full C*^*-categories.

The usual Gel’fand theorem is easily recovered identifying a compact Hausdorff topological space XX with the trivial spaceoid (Δ X×{(,)})×(\Delta_X\times \{(\bullet,\bullet)\})\times\mathbb{C}.


A lot of interesting questions are left open for future investigation:

  • Can a full spectral duality theory for non-necessarily commutative C*^*-categories (or Fell bundles) be developed? And in this case, what is the relation between this horizontal categorified Gel’fand duality and other spectral duality theorems in terms of bundles already developed by R. Cirelli-A. Mania’-L. Pizzocchero and J. Dauns-K. Hofmann?
  • What will be the connection between spectral spaceoids and other spectral constructs such as locales and topoi already used in the spectral theorems by C. Mulvey-B. Banachewki and C. Heunen-B. Spitters?
  • Are spaceoids only an artifact in order to “force” an extension of Gel’fand categorical duality to the setting of commutative full C*^*-categories or are they (a part of) an inescapable structure that will emerge in a fundamental way whenever we deal with spectra?

Although we did not have time to explore in a significant way their applications, we are convinced that spaceoids are actually important for a deeper understanding of the notion of spectrum and that this bundle structure naturally associated to the spectrum might be relevant also in algebraic quantum field theory, where it might be used to describe “local gauge structures”.

We are now working on a few generalizations of this duality result (for example relaxing the fullness and object-bijectivity conditions) and expecially to an extension of the result to the strict higher-categorical setting via a definition of strict nn-C*^*-categories and strict nn-Fell bundles: for a more detailed exposition of the several possible extensions of this work (and many other related ideas) it is possible to consult our survey paper “Non-commutative Geometry, Categories and Quantum Physics” and the seminar slides “Categorical Non-commutative Geometry and Quantum Physics”. The general picture that is emerging is that the spectrum functor can be seen as an “endofunctor” in the category of commutative unital (higher) Fell-bundles.

As it is clear from the survey paper above, our main source of interest in the study of “categorical” extensions of Gel’fand duality, comes form the need to understand better (and the strict environment provided by C*^*-categories is just the easiest available playground) the several notions of morphims between non-commutative spaces (A. Connes’ spectral triples and their “variants”).

In this direction we are now going to settle some of the questions on the definition of non-commutative (spin/Riemannian) submanifolds left open in our previous paper A Category of Spectral Triples and Discrete Groups with Length Function. The formulation of such categorical non-commutative geometry is in turn just only one fundamental step needed in the development of a long term project on “modular algebraic quantum gravity” on which we have been working since 1995 and whose main lines are described in the previous survey paper. Hopefully we will be able to make some progress also on this front.

Thanks for the patience reading a long post ;-)

Posted at January 17, 2008 6:02 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1576

5 Comments & 2 Trackbacks

Re: Spaceoids

Looks interesting… what’s the “minimal equivalence relation of a compact Hausdorff space XX”?

Posted by: Bruce Bartlett on January 17, 2008 10:14 PM | Permalink | Reply to this

Re: Spaceoids

If I have read it correctly 𝒳\mathcal{X} is the category (groupoid actually) disc(X)×codisc(O) \mathrm{disc}(X) \times \mathrm{codisc}(O) where XX is a compact Hausdorff space and OO is a set.

I presume involutive is the same as defined here?

I’d like a definition of a Banach bundle in terms of a category over a category. References I’ve looked at just sort of fudge it and give a Banach bundle on the arrow space and some conditions.

I suppose starting with a pair of involutive topological categories and an involutive functor p:EKp:E \to K we need the arrow component of pp to be a Banach bundle and the norm on it to interact with the involution as it should. It would be nice to also write down the norm as a functor, but I feel lazy at the moment.

If a Fell bundle is supposed to be a C *C^\ast-bundle when restricted to each equivalence relation RR which is a subcategory of the base XX, and we take the base to be an equivalence relation, does that mean we can take R=XR=X? This would imply that a spaceoid is not just a Banach bundle but a C *C^\ast-bundle.

Perhaps it’s just my ignorance of C *C^\ast-terminology, but is the condition of saturated on a rank-one bundle unnecessary?

Posted by: David Roberts on January 18, 2008 4:19 AM | Permalink | Reply to this

Re: Spaceoids

Thanks for this interesting post.

A quick remark and a question:
* The work by Dauns-Hofmann is (partially) subsumed by the internal work of Banachewski and Mulvey.
* What happens for the C*-category of representations of a compact group. Is the C*-category commutative iff the group is?

Bas

Posted by: Bas Spitters on January 18, 2008 3:08 PM | Permalink | Reply to this

Re: Spaceoids

I am not sure if this relevant, but it raises in my mind a question I have asked at a Groupoid meeting in Iowa in 1999: how does C^*-theory, i.e. non commutative geometry, cope with algebraically structured groupoids? It seems that multiple groupoids get progressively more `non commutative’ with increasing dimension (and hopefully this will lead to interesting physics!); the evidence for this is that, by Loday’s result, n-fold groupoids do model truncated homotopy n-types. But what is the appropriate `convolution algebra’ of for example a double groupoid, or of a groupoid object in the category of Lie algebras? I have a candidate for the first of these, but it is complicated, since you get a `matrix convolution’ [f_{ij}] which on z averages over all the corresponding matrix decompositions of z in the double groupoid. Intuitively this looks sensible, but algebraically looks impossible!

While I am posting, I refer people to
www.bangor.ac.uk/r.brown/nonab-a-t.html
for current progress on the book `Nonabelian algebraic topology’. The intention is a readable text, and anyone who wants to look in more detail at later chapters than those now downloadable should contact me. There is also a link to a recently found 1.5 page note from Grothendieck on his one time intentions for `Pursuing Stacks’.

Ronnie Brown

Posted by: Ronnie Brown on January 20, 2008 11:32 AM | Permalink | Reply to this
Read the post Question on Smooth Functions
Weblog: The n-Category Café
Excerpt: On morphisms of algebras of smooth functions coming from pullback along smooth maps.
Tracked: February 11, 2008 9:15 AM
Read the post AQFT from Lattice Models (?)
Weblog: The n-Category Café
Excerpt: On lattice AQFT models such as Hopf spin chains and their derivation of 2-C*-algebra valued 2-functors.
Tracked: June 28, 2008 12:49 AM

Re: Spaceoids

This enty now linked to from horizontal categorification at the nnLab.

We still need a volunteer to work onm the entry spaceoids.

Posted by: Urs Schreiber on December 1, 2008 7:38 PM | Permalink | Reply to this

Post a New Comment