Search

Given an essential ideal $J\subset A$ of a C*-algebra $A$, and a Hilbert C*-module $M$ over $A$, we place $M$ between two other Hilbert C*-modules over $A$, $M_J\subset M\subset M^J$, in such a way that each submodule here is thick, i.e. its orthogonal conmplement in the greater module is trivial. We introduce the class $\mathbb B_J(M)$ of $J$-adjointable operators on a Hilbert C*-module $M$ over $A$, and prove that this class isometrically embeds into the C*-algebras of all adjointable operators both of $M_J$ and of $M^J$., Comment: 5 pages

We consider several natural ways of expressing the idea that a one-sided ideal in a C*-algebra (or a submodule in a Hilbert C*-module) is large, and show that they differ, unlike the case of two-sided ideals in C*-algebras. We then show how these different notions, for ideals and for submodules, are related. We also study some permanence properties for these notions. Finally, we use essential right ideals to extend the inner product on a Hilbert C*-module to a part of the dual module., Comment: New title. Results of the previous version became a special case of the new ones. Replacement (instead of uploading new results separately) was done according to the recommendation of arxive moderators

Given a graph $\Gamma$, one may conside the set $X$ of its vertices as a metric space by assuming that all edges have length one. We consider two versions of homology theory of $\Gamma$ and their $K$-theory counterparts -- the $K$-theory of the (uniform) Roe algebra of the metric space $X$ of vertices of $\Gamma$. We construct here a natural map from homology of $\Gamma$ to the $K$-theory of the Roe algebra of $X$, and its uniform version. We show that, when $\Gamma$ is the Cayley graph of $\mathbb Z$, the constructed maps are isomorphisms.

The Roe algebra $C^*(X)$ is a non-commutative $C^*$-algebra reflecting metric properties of a space $X$, and it is interesting to understand relation between the Roe algebra of $X$ and the uniform Roe algebra of its discretizations. Here we construct, for a simplicial space $X$, a continuous field of $C^*$-algebras over $\mathbb N\cup\{\infty\}$ with the fibers over finite points the uniform $C^*$-algebras of discretizations of $X$, and the fiber over $\infty$ the Roe algebra of $X$. We also construct the direct limit of the uniform Roe algebras of discretizations and its embedding into the Roe algebra of $X$., Comment: 10 pages, some new results added, some misprints fixed. arXiv admin note: text overlap with arXiv:2311.12951

The Roe algebra $C^*(X)$ is a non-commutative $C^*$-algebra reflecting metric properties of a space $X$, and it is interesting to understand relation between the Roe algebra of $X$ and the (uniform) Roe algebra of its discretization. Here we do a minor step in this direction in the simplest non-trivial example $X=\mathbb R$ by constructing a continuous field of $C^*$-algebras over $[0,1]$ with the fibers over non-zero points the uniform $C^*$-algebra of the integers, and the fiber over 0 a $C^*$-algebra related to $\mathbb R$.

Recently, M. Ludewig and G. C. Thiang introduced a notion of a uniformly localized Wannier basis with localization centers in an arbitrary uniformly discrete subset $D$ in a complete Riemannian manifold $X$. They show that, under certain geometric conditions on $X$, the class of the orthogonal projection onto the span of such a Wannier basis in the $K$-theory of the Roe algebra $C^*(X)$ is trivial. In this short note, we clarify the geometric conditions on $X$, which guarantee triviality of the $K$-theory class of any Wannier projection. We show that this property is equivalent to triviality of the unit of the uniform Roe algebra of $D$ in the $K$-theory of its Roe algebra, and provide a geometric criterion for that. As a consequence, we prove triviality of the $K$-theory class of any Wannier projection on a connected proper measure space $X$ of bounded geometry with a uniformly discrete set of localization centers, coarsely equivalent to $X$., Comment: 8 pages

Recently we have shown that the equivalence classes of metrics on the double of a metric space $X$ form an inverse semigroup. Here we define an inverse subsemigroup related to a family of isometric subspaces of $X$, which is more computable. As a special case, we study this subsemigroup related to the family of geodesic rays starting from the basepoint, for Euclidean spaces and for trees., Comment: 9 pages

Let $M\subset N$ be Hilbert $C^*$-modules over a $C^*$-algebra $A$ with $M^\perp=0$. It was shown recently by J. Kaad and M. Skeide that there exists a non-zero $A$-valued functional on $N$ such that its restriction onto $M$ is zero. Here we show that this may happen even if $A$ is monotone complete. On the other hand, we show that for certain type I $W^*$-algebras this cannot happen., Comment: 9 pages

It was shown recently by M. Lorentz and R. Willett that all bounded derivations of the uniform Roe algebras of metric spaces of bounded geometry are inner. Here we calculate the space of outer derivations of the uniform Roe algebras with coefficients in uniform Roe bimodules related to various metrics on the two copies of the given space. We also give some results on the higher Hochschild cohomology with coefficients in uniform Roe bimodules., Comment: 7 pages

It is shown that the metric on the union of the sets $X$ and $Y$ defines a Hilbert $C^*$-module over the uniform Roe algebra of the space $X$ with a fixed metric $d_X$. A number of examples of such Hilbert $C^*$-modules are described., Comment: 8 pages

We introduce the notion of Hilbert $C^*$-module independence: Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\mathscr{E}_i\subseteq \mathscr{E},\,\,i=1, 2$, be ternary subspaces of a Hilbert $\mathscr{A}$-module $\mathscr{E}$. Then $\mathscr{E}_1$ and $\mathscr{E}_2$ are said to be Hilbert $C^*$-module independent if there are positive constants $m$ and $M$ such that for every state $\varphi_i$ on $\langle \mathscr{E}_i,\mathscr{E}_i\rangle,\,\,i=1, 2$, there exists a state $\varphi$ on $\mathscr{A}$ such that \begin{align*} m\varphi_i(|x|)\leq \varphi(|x|) \leq M\varphi_i(|x|^2)^{\frac{1}{2}},\qquad \mbox{for all~}x\in \mathscr{E}_i, i=1, 2. \end{align*} We show that it is a natural generalization of the notion of $C^*$-independence of $C^*$-algebras. Moreover, we demonstrate that even in case of $C^*$-algebras this concept of independence is new and has a nice characterization in terms of extensions. This enriches the theory of independence of $C^*$-algebras. We show that if $\langle \mathscr{E}_1,\mathscr{E}_1\rangle $ has the quasi extension property and $z\in \mathscr{E}_1\cap \mathscr{E}_2$ with $\|z\|=1$, then $|z|=1$. Several characterizations of Hilbert $C^*$-module independence and a new characterization of $C^*$-independence are given. One of characterizations states that if $z_0\in \mathscr{E}_1\cap \mathscr{E}_2$ is such that $\langle z_0,z_0\rangle=1$, then $\mathscr{E}_1$ and $\mathscr{E}_2$ are Hilbert $C^*$-module independent if and only if $\|\langle x,z_0\rangle\langle y,z_0\rangle\|=\|\langle x,z_0\rangle\|\,\|\langle y,z_0\rangle\|$ for all $x\in \mathscr{E}_1$ and $y\in \mathscr{E}_2$. We also provide some technical examples and counterexamples to illustrate our results., Comment: 23 pages

We give a modified definition of a reproducing kernel Hilbert $C^*$-module (shortly, $RKHC^*M$) without using the condition of self-duality and discuss some related aspects; in particular, an interpolation theorem is presented. We investigate the exterior tensor product of $RKHC^*M$s and find their reproducing kernel. In addition, we deal with left multipliers of $RKHC^*M$s. Under some mild conditions, it is shown that one can make a new $RKHC^*M$ via a left multiplier. Moreover, we introduce the Berezin transform of an operator in the context of $RKHC^*M$s and construct a unital subalgebra of the unital $C^*$-algebra consisting of adjointable maps on an $RKHC^*M$ and show that it is closed with respect to a certain topology. Finally, the Papadakis theorem is extended to the setting of $RKHC^*M$, and in order for the multiplication of two specific functions to be in the Papadakis $RKHC^*M$, some conditions are explored., Comment: 15 pages

We have shown recently that, given a metric space $X$, the coarse equivalence classes of metrics on the two copies of $X$ form an inverse semigroup $M(X)$. Here we study the property of idempotents in $M(X)$ of being finite or infinite, which is similar to this property for projections in C*-algebras. We show that if $X$ is a free group then the unit of $M(X)$ is infinite, while if $X$ is a free abelian group then it is finite. As a by-product, we show that the inverse semigroup $M(X)$ is not a quasi-isometry invariant. More examples of finite and infinite idempotents are provided. We also give a geometric description of spaces, for which their inverse semigroup $M(X)$ is commutative., Comment: 10 pages, a section about spaces with commutative semigroup $M(X)$ is added

We present three versions of the Lax-Milgram theorem in the framework of Hilbert C*-modules, two for those over W*-algebras and one for those over C*-algebras of compact operators. It is remarkable that while the Riesz theorem is not valid for certain Hilbert C*-modules over C*-algebras of compact operators, our Lax-Milgram theorem turns out to be valid for all of them. We also give several examples to illustrate our results, in particular, we show that the main theorem is not true for Hilbert modules over arbitrary C*-algebras., Comment: 13 pages

For two discrete metric spaces, $X$ and $Y$ we consider metrics on $X\sqcup Y$ compatible with the metrics on $X$ and $Y$. As morphisms from $X$ to $Y$ we consider the Roe bimodules, i.e. the norm closures of bounded finite propagation operators from $l^2(X)$ to $l^2(Y)$. We study the corresponding category $\mathcal M$, which is also a 2-category. We show that almost isometries determine morphisms in $\mathcal M$. We also consider the case $Y=X$, when there is a richer algebraic structure on the set of morphisms of $\mathcal M$: it is a partially ordered semigroup with the neutral element, with involution, and with a lot of idempotents. We also give a condition when a morphism is a $C^*$-algebra., Comment: 10 pages

We consider pairs of maps from a discrete group to the unitary group. The deficiencies of these maps from being homomorphisms may be great, but if they are close to each other then we call such pairs balanced. We show that balanced pairs determine elements in the K-theory group of the classifying space of the discrete group. We also show that a Fredholm representation determines balanced pairs., Comment: 7 pages

A C*-algebra $A$ is C*-reflexive if any countably generated Hilbert C*-module $M$ over $A$ is C*-reflexive, i.e. the second dual module $M''$ coincides with $M$. We show that a commutative C*-algebra $A$ is C*-reflexive if and only if for any sequence $I_k$ of disjoint non-zero C*-subalgebras, the canonical inclusion $\oplus_k I_k\subset A$ doesn't extend to an inclusion of $\prod_k I_k$., Comment: 9 pages

Continuous actions of topological groups on compact Hausdorff spaces $X$ are investigated which induce almost periodic functions in the corresponding commutative C*-algebra. The unique invariant mean on the group resulting from averaging allows to derive a C*-valued inner product and a Hilbert C*-module which serve as an environment to describe characteristics of the group action. For uniformly continuous, Lyapunov stable actions the derived invariant mean $M(\phi_x)$ is continuous on $X$ for any element $\phi \in C(X)$, and the induced C*-valued inner product corresponds to a conditional expectation from $C(X)$ onto the fixed point algebra of the action defined by averaging on orbits. In the case of selfduality of the Hilbert C*-module all orbits are shown to have the same cardinality. Stable actions on compact metric spaces give rise to C*-reflexive Hilbert C*-modules. The same is true if the cardinality of finite orbits is uniformly bounded and the number of closures of infinite orbits is finite. A number of examples illustrate typical situations appearing beyond the classified cases., Comment: 18 pages

We define a collection of tensor product norms for C*-algebras and show that a symmetric tensor product functor on the category of separable C*-algebras need not be associative., Comment: 6 pages

We give an example of a non-trivial asymptotic representation of the reduced C*-algebra of a free group. This example allows to evaluate the asymptotic tensor C*-norm of some elements in tensor product C*-algebras and to show semi-invertibility of the non-invertible extension of $C^*_r(\mathbb F_2)$ considered by Haagerup and Thorbjornsen., Comment: 6 pages