Skip to main content
2 of 2
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/

What is the spectrum of the commutative C*-algebra I have constructed here?

Let $B$ and $F$ be compact Hausdorff spaces.

Let $E\to B$ be a fiber bundle with fibre $F$ and structure group $\mathrm{Homeo}(F)$, the group of homeomorphisms of $F$.

I think this induces a fiber bundle $E'$ over $B$ with fiber $C(F,\mathbb C)$, the C*-algebra of continuous functions on $F$, with structure group $\mathrm{Aut}(C(F,\mathbb C))\cong\mathrm{Homeo}(F)$, the group of *-automorphisms of $C(F,\mathbb C)$.

(To be more explicit at this point: my idea is: take a covering of $B$ which trivialises $E$. The transition functions give me a cocycle with values in the structure group $\mathrm{Homeo}(F)$. But, since $\mathrm{Homeo}(F)\cong\mathrm{Aut}(C(F,\mathbb C))$, I get a cocycle with values in $\mathrm{Aut}(C(F,\mathbb C))$, which I'd like to use to glue my new bundle $E'$.)

Let $\Gamma(B,E')$ denote the continuous sections of $E'$. I think pointwise operations turn this into a C*-algebra. Since the fiber $C(F,\mathbb C)$ is commutative, $\Gamma(B,E')$ is commutative as well.

Question: What is the spectrum of $\Gamma(B,E')$?

Example: If $E\cong B\times F$ is the trivial bundle, then $E'\cong B\times C(F,\mathbb C)$ and thus $$\Gamma(B,E')\cong C(B,C(F,\mathbb C))\cong C(B\times F,\mathbb C).$$ This suggests that the spectrum of $\Gamma(B,E')$ is actually $E$.

(This question remained unanswered up to now at math.se.)

Rasmus
  • 3.2k
  • 1
  • 25
  • 41