Quantales and Fell bundles

We study Fell bundles on groupoids from the viewpoint of quantale theory. Given any saturated upper semicontinuous Fell bundle $\pi :E\to G$ on an 'etale groupoid $G$ with $G_0$ locally compact Hausdorff, equipped with a suitable completion C*-algebra $A$ of its convolution algebra, we obtain a map of involutive quantales $p:\mathrm{M}\mathrm{a}\mathrm{x}A\to \mathrm{\Omega }(G)$, where $\mathrm{M}\mathrm{a}\mathrm{x}A$ consists of the closed linear subspaces of $A$ and $\mathrm{\Omega }(G)$ is the topology of $G$. We study various properties of $p$ which mimick, to various degrees, those of open maps of topological spaces. These are closely related to properties of $G$, $\pi$, and $A$, such as $G$ being Hausdorff, principal, or topological principal, or $\pi$ being a line bundle. Under suitable conditions, which include $G$ being Hausdorff, but without requiring saturation of the Fell bundle, $A$ is an algebra of sections of the bundle if and only if it is the reduced C*-algebra $C_r^{\ast }(G,E)$. We also prove that $\mathrm{M}\mathrm{a}\mathrm{x}A$ is stably Gelfand. This implies the existence of a pseudogroup ${\mathcal{I}}_B$ and of an 'etale groupoid $\mathfrak{B}$ associated canonically to any sub-C*-algebra $B\subset A$. We study a correspondence between Fell bundles and sub-C*-algebras based on these constructions, and compare it to the construction of Weyl groupoids from Cartan subalgebras.