arXiv subjects
Publications and source records attributed to Rohit Dilip Holkar.
We describe a construction for the full C$^*$-algebra of a possibly unsaturated Fell bundle over a possibly non-Hausdorff locally compact étale groupoid without appealing to Renault's disintegration theorem. This construction generalises the standard construction given by Muhly and Williams.
Let $p\colon \mathcal{A} \to G$ be a saturated Fell bundle over a locally compact, Hausdorff, second countable, {é}tale groupoid~$G$, and let $\mathrm{C}^*(G;\mathcal{A})$ denote its full $\mathrm{C}^*$-algebra. We prove an integration-disintegration theorem for KMS states on $\mathrm{C}^*(G;\mathcal{A})$ by establishing a one-to-one correspondence between such states and fields of measurable states on the $\mathrm{C}^*$-algebras of the Fell bundles over the isotropy groups. This correspondence is established for certain states on $\mathrm{C}^*(G;\mathcal{A})$ also. While proving this main result, we construct an induction $\mathrm{C}^*$-correspondence between~$\mathrm{C}^*(G;\mathcal{A})$ and the $\mathrm{C}^*$-algebra of an isotropy Fell bundle. We demonstrate our results through many examples such as groupoid crossed products, twisted groupoid crossed products, $G$-spaces and matrix algebras~$\mathrm{M}_n(\mathrm{C}(X))\otimes A$. While studying the matrix algebra~$\mathrm{M}_n(\mathrm{C}(X))$, we propose a groupoid model for it. While demonstrating our main result for this groupoid model, we provide a solution to the Radon--Nikodym problem for the groupoid used in this model.
We show that the fundamental groupoid~\(Π_1(X)\) of a locally path connected semilocally simply connected space~\(X\) can be equipped with a \emph{natural} topology so that it becomes a topological groupoid; we also justify the necessity and minimality of these two hypotheses on~\(X\) in order to topologise the fundamental groupoid. We find that contrary to a belief -- especially among the Operator Algebraists -- the fundamental groupoid is not {\etale}. Further, we prove that the fundamental groupoid of a topological group, in particular a Lie group, is a \emph{transformation groupoid}; again, this result disproves a standard belief that the fundamental groupoids are \emph{far} away from being transformation groupoids. We also discuss the point-set topology on the fundamental groupoid with the intention of making it a locally compact groupoid.
Let $X$ be a path connected, locally path connected and semilocally simply connected space; let $\tilde{X}$ be its universal cover. We discuss the existence and description of a Haar system on the fundamental groupoid $Π_1(X)$ of $X$. The existence of a Haar system on $Π_1(X)$ is justified when $X$ is a second countable, locally compact and Hausdorff. We provide equivalent criteria for the existence of the Haar system on a locally compact (locally Hausdorff) fundamental groupoid in terms of certain measures on $X$ and $\tilde{X}$. $\mathrm{C}^*(Π_1(X))$ is described using a result of Muhly, Renault and Williams. Finally, two formulae for the Haar system on $Π_1(X)$ in terms of measures on $X$ or $\tilde{X}$ are given.
For a path connected, locally path connected and semilocally simply connected space $X$, let $Π_1(X)$ denote its topologised fundamental groupoid as established in the first article of this series. Let $\mathcal{E}$ be the category of $Π_1(X)$-spaces in which the momentum maps are local homeomorphisms. We show that this category is isomorphic to that of covering spaces of $X$. Using this, we give different characterisations for free or proper actions of the fundamental groupoid in $\mathcal{E}$.
It is known that a topological correspondence \((X,λ)\) from a locally compact groupoid with a Haar system \((G,α)\) to another one, \((H,β)\), produces a \(\textrm{C}^*\)-correspondence \(\mathcal{H}(X,λ)\) from \(\textrm{C}^*(G,α)\) to \(\textrm{C}^*(H,β)\). In one of our earlier article we described composition two topological correspondences. In the present article, we prove that second countable locally compact Hausdorff topological groupoids with Haar systems form a bicategory \(\mathfrak{T}\) when equipped with a topological correspondences as 1-arrows. The equivariant homeomorphisms of topological correspondences preserving the families of measures are the 2-arrows in~\(\mathfrak{T}\). One the other hand, it well-known that \(\textrm{C}^*\)-algebras form a bicateogry \(\mathfrak{C}\) with \(\textrm{C}^*\)-correspondences as 1-arrows. The 2-arrows in \(\mathfrak{C}\) are unitaries of Hilbert \(\textrm{C}^*\)-modules that intertwine the representations. In this article, we show that a topological correspondence going to a \(\textrm{C}^*\)-one is a bifunctor~\(\mathfrak{T}\to\mathfrak{C}\).
Let $(G,α)$ and $(H,β)$ be locally compact Hausdorff groupoids with Haar systems, and let $(X,λ)$ be a topological correspondence from $(G,α)$ to $(H,β)$ which induce the ${C}^*$-correspondence $\mathcal{H}(X)\colon {C}^*(G,α)\to {C}^*(H,β)$. We give sufficient topological conditions which when satisfied the ${C}^*$-correspondence $\mathcal{H}(X)$ is proper, that is, the ${C}^*$-algebra ${C}^*(G,α)$ acts on the Hilbert ${C}^*(H,β)$-module ${H}(X)$ via the comapct operators. Thus a proper topological correspondence produces an element in ${KK}({C}^*(G,α),{C}^*(H,β))$.
In the previous article, we proved that a topological correspondence $(X,λ)$ from a locally compact groupoid with a Haar system $(G,α)$ to another one, $(H,β)$, produces a $C^*$-correspondence $\mathcal{H}(X)$ from $C^*(G,α)$ to $C^*(H,β)$. In the present article, we describe how to form a composite of two topological correspondences when the bispaces are Hausdorff and second countable in addition to being locally compact.
Let $(G,α)$ and $(H,β)$ be locally compact groupoids with Haar systems. We define a topological correspondence from $(G,α)$ to $(H,β)$ to be a $G$-$H$-bispace $X$ on which $H$ acts properly and $X$ carries a continuous family of measures which is $H$-invariant and each measure in the family is $G$-quasi invariant. We show that a topological correspondence produces a $C^*$-correspondence from $C^*(G,α)$ to $C^*(H,β)$. We give many examples of topological correspondences.
Let $G$ be a locally compact groupoid. If $X$ is a free and proper $G$-space, then $(X*X)/G$ is a groupoid equivalent to $G$. We consider the situation where $X$ is proper but no longer free. The formalism of groupoid C*-algebras and their representations is suitable to attach C*-algebras to this new object.