Skip to main content
deleted 20 characters in body
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

This is not a complete answer, but that was way too long for a comment:

First I started almost sure that this sort of things would be in the literature, but it seems harder than I thought to find something talking about this.

A pretty good lead is the following recent preprintpaper "A universal property for groupoid C* algebras,I" by Alcides Buss, Rohit Holkar and Ralf Meyer which might answer your question with a little bit of work.

Their main theorem (3.23) says that given a $C^*$-algebra $D$ and a Hilbert $D$-module $F$, representations of $C^*(G)$ on $F$ corresponds to a notion of "representations of $G$ on $F$". This is an extention of the theory of integration and desintegration of representations with value in Hilbert space to representation with value in a Hilbert module.

As morphisms to the multiplier algebra $A \rightarrow M(D)$ are exactly the same as representations of $A$ on the Hilbert $D$-module $D$. This tells you precisely what you need to have in order to get such a morphisms.

I believe this is a good approach to that problem as this universal property is the simplest way to construct the map you are looking for in the case of group:

The universal property of the maximal group C* algebra $C^*(G)$ is that a morphisms from $C^*(G)$ to $M(A)$ is the same as unitary action of $G$ by multiplier on $A$. In particular, any morphism from $G$ to $H$ induced a unitary action by multiplier of $G$ on $C^*(H)$ by simply restricting the action of $H$ and this corresponds to a morphisms $C^*(G) \rightarrow M(C^*(H))$.

Now I haven't read their paper in much details yet so I'm not totally sure how their notion of 'representation' would behave with respect to composition of morphisms of groupoids, but it should anyway give you a good understanding of when this kind of morphisms exists or not.

I'm especially a little worried in general about a possible condition of "compatiblity" of the Haar measure on the source and the target which might makes the results false in general, but true in lots of cases (like étale groupoids, Lie groupoids, or groups, where the choice of a Haar measure is not really a problem)

This is not a complete answer, but that was way too long for a comment:

First I started almost sure that this sort of things would be in the literature, but it seems harder than I thought to find something talking about this.

A pretty good lead is the following recent preprint "A universal property for groupoid C* algebras,I" by Alcides Buss, Rohit Holkar and Ralf Meyer which might answer your question with a little bit of work.

Their main theorem (3.23) says that given a $C^*$-algebra $D$ and a Hilbert $D$-module $F$, representations of $C^*(G)$ on $F$ corresponds to a notion of "representations of $G$ on $F$". This is an extention of the theory of integration and desintegration of representations with value in Hilbert space to representation with value in a Hilbert module.

As morphisms to the multiplier algebra $A \rightarrow M(D)$ are exactly the same as representations of $A$ on the Hilbert $D$-module $D$. This tells you precisely what you need to have in order to get such a morphisms.

I believe this is a good approach to that problem as this universal property is the simplest way to construct the map you are looking for in the case of group:

The universal property of the maximal group C* algebra $C^*(G)$ is that a morphisms from $C^*(G)$ to $M(A)$ is the same as unitary action of $G$ by multiplier on $A$. In particular, any morphism from $G$ to $H$ induced a unitary action by multiplier of $G$ on $C^*(H)$ by simply restricting the action of $H$ and this corresponds to a morphisms $C^*(G) \rightarrow M(C^*(H))$.

Now I haven't read their paper in much details yet so I'm not totally sure how their notion of 'representation' would behave with respect to composition of morphisms of groupoids, but it should anyway give you a good understanding of when this kind of morphisms exists or not.

I'm especially a little worried in general about a possible condition of "compatiblity" of the Haar measure on the source and the target which might makes the results false in general, but true in lots of cases (like étale groupoids, Lie groupoids, or groups, where the choice of a Haar measure is not really a problem)

This is not a complete answer, but that was way too long for a comment:

First I started almost sure that this sort of things would be in the literature, but it seems harder than I thought to find something talking about this.

A pretty good lead is the paper "A universal property for groupoid C* algebras,I" by Alcides Buss, Rohit Holkar and Ralf Meyer which might answer your question with a little bit of work.

Their main theorem (3.23) says that given a $C^*$-algebra $D$ and a Hilbert $D$-module $F$, representations of $C^*(G)$ on $F$ corresponds to a notion of "representations of $G$ on $F$". This is an extention of the theory of integration and desintegration of representations with value in Hilbert space to representation with value in a Hilbert module.

As morphisms to the multiplier algebra $A \rightarrow M(D)$ are exactly the same as representations of $A$ on the Hilbert $D$-module $D$. This tells you precisely what you need to have in order to get such a morphisms.

I believe this is a good approach to that problem as this universal property is the simplest way to construct the map you are looking for in the case of group:

The universal property of the maximal group C* algebra $C^*(G)$ is that a morphisms from $C^*(G)$ to $M(A)$ is the same as unitary action of $G$ by multiplier on $A$. In particular, any morphism from $G$ to $H$ induced a unitary action by multiplier of $G$ on $C^*(H)$ by simply restricting the action of $H$ and this corresponds to a morphisms $C^*(G) \rightarrow M(C^*(H))$.

Now I haven't read their paper in much details yet so I'm not totally sure how their notion of 'representation' would behave with respect to composition of morphisms of groupoids, but it should anyway give you a good understanding of when this kind of morphisms exists or not.

I'm especially a little worried in general about a possible condition of "compatiblity" of the Haar measure on the source and the target which might makes the results false in general, but true in lots of cases (like étale groupoids, Lie groupoids, or groups, where the choice of a Haar measure is not really a problem)

added 323 characters in body
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

This is not a complete answer, but that was way too long for a comment:

First I started almost sure that this sort of things would be in the literature, but it seems harder than I thought to find something talking about this.

A pretty good lead is the following recent preprint "A universal property for groupoid C* algebras,I" by Alcides Buss, Rohit Holkar and Ralf Meyer which might answer your question with a little bit of work.

Their main theorem (3.23) says that given a $C^*$-algebra $D$ and a Hilbert $D$-module $F$, representations of $C^*(G)$ on $F$ corresponds to a notion of "representations of $G$ on $F$". This is an extention of the theory of integration and desintegration of representations with value in Hilbert space to representation with value in a Hilbert module.

As morphisms to the multiplier algebra $A \rightarrow M(D)$ are exactly the same as representations of $A$ on the Hilbert $D$-module $D$. This tells you precisely what you need to have in order to get such a morphisms.

I believe this is a good approach to that problem as this universal property is the simplest way to construct the map you are looking for in the case of group:

The universal property of the maximal group C* algebra $C^*(G)$ is that a morphisms from $C^*(G)$ to $M(A)$ is the same as unitary action of $G$ by multiplier on $A$. In particular, any morphism from $G$ to $H$ induced a unitary action by multiplier of $G$ on $C^*(H)$ by simply restricting the action of $H$ and this corresponds to a morphisms $C^*(G) \rightarrow M(C^*(H))$.

Now I haven't read their paper in much details yet so I'm not totally sure how their notion of 'representation' would behave with respect to composition of morphisms of groupoids, but it should anyway give you a good understanding of when this kind of morphisms exists or not.

I'm especially a little worried in general about a possible condition of "compatiblity" of the Haar measure on the source and the target which might makes the results false in general, but true in lots of cases (like étale groupoids, Lie groupoids, or groups, where the choice of a Haar measure is not really a problem)

This is not a complete answer, but that was way too long for a comment:

First I started almost sure that this sort of things would be in the literature, but it seems harder than I thought to find something talking about this.

A pretty good lead is the following recent preprint "A universal property for groupoid C* algebras,I" by Alcides Buss, Rohit Holkar and Ralf Meyer which might answer your question with a little bit of work.

Their main theorem (3.23) says that given a $C^*$-algebra $D$ and a Hilbert $D$-module $F$, representations of $C^*(G)$ on $F$ corresponds to a notion of "representations of $G$ on $F$". This is an extention of the theory of integration and desintegration of representations with value in Hilbert space to representation with value in a Hilbert module.

As morphisms to the multiplier algebra $A \rightarrow M(D)$ are exactly the same as representations of $A$ on the Hilbert $D$-module $D$. This tells you precisely what you need to have in order to get such a morphisms.

I believe this is a good approach to that problem as this universal property is the simplest way to construct the map you are looking for in the case of group:

The universal property of the maximal group C* algebra $C^*(G)$ is that a morphisms from $C^*(G)$ to $M(A)$ is the same as unitary action of $G$ by multiplier on $A$. In particular, any morphism from $G$ to $H$ induced a unitary action by multiplier of $G$ on $C^*(H)$ by simply restricting the action of $H$ and this corresponds to a morphisms $C^*(G) \rightarrow M(C^*(H))$.

Now I haven't read their paper in much details yet so I'm not totally sure how their notion of 'representation' would behave with respect to composition of morphisms of groupoids, but it should anyway give you a good understanding of when this kind of morphisms exists or not.

This is not a complete answer, but that was way too long for a comment:

First I started almost sure that this sort of things would be in the literature, but it seems harder than I thought to find something talking about this.

A pretty good lead is the following recent preprint "A universal property for groupoid C* algebras,I" by Alcides Buss, Rohit Holkar and Ralf Meyer which might answer your question with a little bit of work.

Their main theorem (3.23) says that given a $C^*$-algebra $D$ and a Hilbert $D$-module $F$, representations of $C^*(G)$ on $F$ corresponds to a notion of "representations of $G$ on $F$". This is an extention of the theory of integration and desintegration of representations with value in Hilbert space to representation with value in a Hilbert module.

As morphisms to the multiplier algebra $A \rightarrow M(D)$ are exactly the same as representations of $A$ on the Hilbert $D$-module $D$. This tells you precisely what you need to have in order to get such a morphisms.

I believe this is a good approach to that problem as this universal property is the simplest way to construct the map you are looking for in the case of group:

The universal property of the maximal group C* algebra $C^*(G)$ is that a morphisms from $C^*(G)$ to $M(A)$ is the same as unitary action of $G$ by multiplier on $A$. In particular, any morphism from $G$ to $H$ induced a unitary action by multiplier of $G$ on $C^*(H)$ by simply restricting the action of $H$ and this corresponds to a morphisms $C^*(G) \rightarrow M(C^*(H))$.

Now I haven't read their paper in much details yet so I'm not totally sure how their notion of 'representation' would behave with respect to composition of morphisms of groupoids, but it should anyway give you a good understanding of when this kind of morphisms exists or not.

I'm especially a little worried in general about a possible condition of "compatiblity" of the Haar measure on the source and the target which might makes the results false in general, but true in lots of cases (like étale groupoids, Lie groupoids, or groups, where the choice of a Haar measure is not really a problem)

Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

This is not a complete answer, but that was way too long for a comment:

First I started almost sure that this sort of things would be in the literature, but it seems harder than I thought to find something talking about this.

A pretty good lead is the following recent preprint "A universal property for groupoid C* algebras,I" by Alcides Buss, Rohit Holkar and Ralf Meyer which might answer your question with a little bit of work.

Their main theorem (3.23) says that given a $C^*$-algebra $D$ and a Hilbert $D$-module $F$, representations of $C^*(G)$ on $F$ corresponds to a notion of "representations of $G$ on $F$". This is an extention of the theory of integration and desintegration of representations with value in Hilbert space to representation with value in a Hilbert module.

As morphisms to the multiplier algebra $A \rightarrow M(D)$ are exactly the same as representations of $A$ on the Hilbert $D$-module $D$. This tells you precisely what you need to have in order to get such a morphisms.

I believe this is a good approach to that problem as this universal property is the simplest way to construct the map you are looking for in the case of group:

The universal property of the maximal group C* algebra $C^*(G)$ is that a morphisms from $C^*(G)$ to $M(A)$ is the same as unitary action of $G$ by multiplier on $A$. In particular, any morphism from $G$ to $H$ induced a unitary action by multiplier of $G$ on $C^*(H)$ by simply restricting the action of $H$ and this corresponds to a morphisms $C^*(G) \rightarrow M(C^*(H))$.

Now I haven't read their paper in much details yet so I'm not totally sure how their notion of 'representation' would behave with respect to composition of morphisms of groupoids, but it should anyway give you a good understanding of when this kind of morphisms exists or not.