Related papers: Computable Gelfand Duality
We introduce the $C^*$-algebra $C^*(\kappa)$ generated by the Koopman representation $\kappa$ of an \'etale groupoid $G$ acting on a measure space $(X,\mu)$. We prove that for a level transitive self-similar action $(G,E)$ with $E$ finite…
We define localized modulation maps and modulation spaces of symbols suited to the study of Rieffel's deformation quantization pseudodifferential calculus. They are used to generate Hilbert space representations for the quantized…
We describe both the Bunce-Deddens C*-algebras and their Toeplitz versions, as crossed products of commutative C*-algebras by partial automorphisms. In the latter case, the commutative algebra has, as its spectrum, the union of the Cantor…
We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $\Omega$ is a nonzero, non-atomic, and separable measure space, then every…
We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of…
For a completely regular space $X$ and a non-vanishing self-adjoint closed subalgebra $H$ of $C_B(X)$ which separates points from closed sets in $X$ we construct the Gelfand spectrum $\mathfrak{sp}(H)$ of $H$ as an open subspace of the…
We construct a duality functor on the category of continuous representations of linearly compact Lie superalgebras, using representation theory of Lie conformal superalgebras. We compute the dual representations of the generalized Verma…
Given a fixed binary form $f(u,v)$ of degree $d$ over a field $k$, the associated \emph{Clifford algebra} is the $k$-algebra $C_f=k\{u,v\}/I$, where $I$ is the two-sided ideal generated by elements of the form $(\alpha u+\beta…
The main purpose of the paper is to give a characterization of all compactly supported dual windows of a Gabor frame. As an application, we consider an iterative procedure for approximation of the canonical dual window via compactly…
In the paper we describe the C*-algebras of noncommutative spherical tight frames over some C*-algebras and then apply to study the noncommutative version of the universal classifying space.
The notion of g-frames for Hilbert spaces was introduced and studied by Wenchang Sun [16] as a generalization of the notion of frames. In this paper, we define computable g-frames in computable Hilbert spaces and obtain computable versions…
We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product…
We prove an analogue of Voiculescu's theorem: Relative bicommutant of a separable unital subalgebra $A$ of an ultraproduct of simple unital C*-algebras is equal to $A$.
In this paper, we will define the reduced cross-sectional $C^*$-algebras of $C^*$-algebraic bundles over locally compact groups and show that if a $C^*$-algebraic bundle has the approximation property (defined similarly as in the discrete…
A binary relation on graphs is recursively enumerable if and only if it can be computed by a formula in monadic second-order logic. The latter means that the formula defines a set of graphs, in the usual way, such that each "computation…
We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…
The radius of comparison is an invariant for unital C*-algebras which extends the theory of covering dimension to noncommutative spaces. We extend its definition to general C*-algebras, and give an algebraic (as opposed to…
On a separable C*-algebra A every (completely) bounded map, which preserves closed two sided ideals, can be approximated uniformly by elementary operators if and only if A is a finite direct sum of C*-algebras of continuous sections…
We consider the transformation $\ev$ which associates to any element in a K-algebra A a function on the the set of its K-points. This is the analogue of the fundamental Gelfand transform. Both $\ev$ and its dual $\ev^*$ are the maps from a…
A Gelfand model for a semisimple algebra A over C is a complex linear representation that contains each irreducible representation of A with multiplicity exactly one. We give a method of constructing these models that works uniformly for a…