Related papers: Composition of topological correspondences

Every C*-algebra gives rise to an effect module and a convex space of states, which are connected via Kadison duality. We explore this duality in several examples, where the C*-algebra is equipped with the structure of a finite-dimensional…

We obtain two characterizations of the bi-inner Hopf *-automorphisms of a finite-dimensional Hopf C*-algebra, by means of an analysis of the structure of convolution products in this class of Hopf C*-algebra.

We introduce $C^*$-pseudo-multiplicative unitaries and (concrete) Hopf $C^*$-bimodules, which are $C^*$-algebraic variants of the pseudo-multiplicative unitaries on Hilbert spaces and the Hopf-von Neumann-bimodules studied by Enock,…

Conditions on a topological space $X$ under which the space $C(X,\mathbb{R})$ of continuous real-valued maps with the Isbell topology $\kappa $ is a topological group (topological vector space) are investigated. It is proved that the…

We develop Lie's correspondence and an explicit Baker-Campbell-Hausdorff formula for commutative automorphic formal loops.

To every one-sided shift space $\mathsf{X}$ we associate a cover $\tilde{\mathsf{X}}$, a groupoid $\mathcal{G}_{\mathsf{X}}$ and a $\mathrm{C^*}$-algebra $\mathcal{O}_{\mathsf{X}}$. We characterize one-sided conjugacy, eventual conjugacy…

Given a C$^*$-correspondence $X$, we give necessary and sufficient conditions for the tensor algebra $\mathcal T_X^+$ to be hyperrigid. In the case where $X$ is coming from a topological graph we obtain a complete characterization.

We continue the B-model development of the open/closed correspondence proposed by Mayr and Lerche-Mayr, complementing the A-model study in the preceding joint works with Liu and providing a Hodge-theoretic perspective. Given a corresponding…

We give entropy estimates for two canonical non commutative shifts on $C^*$-algebras associated to some topological graphs $E=(E^0,E^1,s,r)$, defined using a basis of the corresponding Hilbert bimodule $H(E)$. We compare their entropies…

Let $\gamma = (\gamma_1,...,\gamma_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N…

In this paper, we carry out the ``quantum double construction'' of the specific quantum groups we constructed earlier, namely, the ``quantum Heisenberg group algebra'' (A,\Delta) and its dual, the ``quantum Heisenberg group''…

We introduce the notion of relative topological principality for a family $\{H_\alpha\}$ of open subgroupoids of a Hausdorff \'etale groupoid $G$. The C*-algebras $C^*_r(H_\alpha)$ of the groupoids $H_\alpha$ embed in $ C^*_r(G)$ and we…

A countable family of $*$-commuting surjective, non-injective local homeomorphisms of a compact Hausdorff space $X$ gives rise to an action $\theta$ of a countably generated, free abelian monoid $P$. For such a triple $(X,P,\theta)$, which…

We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.

Let X be a complex manifold. The classical Riemann-Hilbert correspondence associates to a regular holonomic system M the C-constructible complex of its holomorphic solutions. Denote by t the affine coordinate in the complex projective line.…

Let $\Lambda = \mathbb{Z}^n$ with lexicographic ordering. $\Lambda$ is a totally ordered group. Let $X = \Lambda^+ * \Lambda^+$. Then $X$ is a $\Lambda$-tree. Analogous to the construction of graph $C^*$-algebras, we form a groupoid whose…

Let a discrete group $G$ act on a unital simple C$^*$-algebra $A$ by outer automorphisms. We establish a Galois correspondence $H\mapsto A\rtimes_{\alpha,r}H$ between subgroups of $G$ and C$^*$-algebras $B$ satisfying $A\subseteq B…

For the set C(X) of real-valued continuous functions on a Tychonoff space X, the compact-open topology on C(X) is a "set-open topology". This paper studies the separation and countability properties of the space C(X) having the topology…

The generalized state space of a commutative C*-algebra, denoted S_H(C(X)), is the set of positive unital maps from C(X) to the algebra B(H) of bounded linear operators on a Hilbert space H. C*-convexity is one of several non-commutative…

We prove that a homomorphism $h:X\to Y$ from a (locally compact) Cech-complete topological group $X$ to a topological group $Y$ is continuous if and only if $h$ is Borel-measurable if and only if $h$ is universally measurable (if and only…