Showing 1–50 of 65 results for author: Manuilov, V

Bounded geometry version of property A

Authors: V. Manuilov

Abstract: For uniformly dicrete metric spaces without bounded geometry we suggest a modified version of property A based on metrics of bounded geometry greater than the given metric. We show that this version still implies coarse embeddability in Hilbert spaces, and that some examples of non-property A spaces of unbounded geometry satisfy this version. We also relate this version of property A to our versio… ▽ More For uniformly dicrete metric spaces without bounded geometry we suggest a modified version of property A based on metrics of bounded geometry greater than the given metric. We show that this version still implies coarse embeddability in Hilbert spaces, and that some examples of non-property A spaces of unbounded geometry satisfy this version. We also relate this version of property A to our version of uniform Roe algebras for spaces without bounded geometry and introduce an appropriate equivalence relation. △ Less

Submitted 13 July, 2025; v1 submitted 1 June, 2025; originally announced June 2025.

Comments: Theorem 3.2 and Lemma 5.1 are wrong, as well as results based on them

A vanishing theorem in $K$-theory for spectral projections of a non-periodic magnetic Schrödinger operator

Authors: Yuri A. Kordyukov, Vladimir M. Manuilov

Abstract: We consider the Schrödinger operator $H(μ) = \nabla_{\bf A}^*\nabla_{\bf A} + μV$ on a Riemannian manifold $M$ of bounded geometry, where $μ>0$ is a coupling parameter, the magnetic field ${\bf B}=d{\bf A}$ and the electric potential $V$ are uniformly $C^\infty$-bounded, $V\geq 0$. We assume that, for some $E_0>0$, each connected component of the sublevel set $\{V<E_0\}$ of the potential $V$ is re… ▽ More We consider the Schrödinger operator $H(μ) = \nabla_{\bf A}^*\nabla_{\bf A} + μV$ on a Riemannian manifold $M$ of bounded geometry, where $μ>0$ is a coupling parameter, the magnetic field ${\bf B}=d{\bf A}$ and the electric potential $V$ are uniformly $C^\infty$-bounded, $V\geq 0$. We assume that, for some $E_0>0$, each connected component of the sublevel set $\{V<E_0\}$ of the potential $V$ is relatively compact. Under some assumptions on geometric and spectral properties of the connected components, we show that, for sufficiently large $μ$, the spectrum of $H(μ)$ in the interval $[0,E_0μ]$ has a gap, the spectral projection of $H(μ)$, corresponding to the interval $(-\infty,λ]$ with $λ$ in the gap, belongs to the Roe $C^*$-algebra $C^*(M)$ of the manifold $M$, and, if $M$ is not compact, its class in the $K$ theory of $C^*(M)$ is trivial. △ Less

Submitted 31 August, 2025; v1 submitted 23 December, 2024; originally announced December 2024.

Comments: 26 pages; v2: final version

Journal ref: J. Geom. Phys., 217(2025), 105625, 19 pp

Restricting operators to thick Hilbert C*-submodules

Authors: V. Manuilov

Abstract: 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… ▽ More 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$. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 5 pages

On large submodules in Hilbert C*-modules

Authors: V. Manuilov

Abstract: 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 righ… ▽ More 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. △ Less

Submitted 18 July, 2024; v1 submitted 11 February, 2024; originally announced February 2024.

Comments: 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

Mapping graph homology to $K$-theory of Roe algebras

Authors: V. Manuilov

Abstract: Given a graph $Γ$, 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 $Γ$ and their $K$-theory counterparts -- the $K$-theory of the (uniform) Roe algebra of the metric space $X$ of vertices of $Γ$. We construct here a natural map from homology of $Γ$ to the $K$-theory of the Roe algebra of $X$, a… ▽ More Given a graph $Γ$, 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 $Γ$ and their $K$-theory counterparts -- the $K$-theory of the (uniform) Roe algebra of the metric space $X$ of vertices of $Γ$. We construct here a natural map from homology of $Γ$ to the $K$-theory of the Roe algebra of $X$, and its uniform version. We show that, when $Γ$ is the Cayley graph of $\mathbb Z$, the constructed maps are isomorphisms. △ Less

Submitted 27 January, 2024; originally announced January 2024.

A continuous field of Roe algebras

Authors: V. Manuilov

Abstract: Let $X$ be a metric measure space. A Delone subset $D\subset X$ is a uniformly discrete set coarsely equivalent to $X$. We consider the space $\mathcal D_F$ of controlled Delone subsets of $X$ with an appropriate metric, and show that it, together with $X$ itself, is a compact space. By assigning to each point $D$ of $\mathcal D_F$ (resp., to $X$) the uniform Roe algebra $C^*_u(D)$ (resp., the \u… ▽ More Let $X$ be a metric measure space. A Delone subset $D\subset X$ is a uniformly discrete set coarsely equivalent to $X$. We consider the space $\mathcal D_F$ of controlled Delone subsets of $X$ with an appropriate metric, and show that it, together with $X$ itself, is a compact space. By assigning to each point $D$ of $\mathcal D_F$ (resp., to $X$) the uniform Roe algebra $C^*_u(D)$ (resp., the \u Spakula's version $C_k^*(X)$ of the Roe algebra of $X$) we get a tautological family of $C^*$-algebras. For a sequence $\{D_n\}_{n\in\mathbb N}$ of controlled Delone subsets convergent to $X$ we show that the corresponding uniform Roe algebras $C^*_u(D_n)$, together with $C^*_k(X)$, form a continuous field of $C^*$-algebras over $\mathbb N\cup\{\infty\}$ when $X$ is a proper metric measure space of bounded geometry with no isolated points. △ Less

Submitted 5 March, 2025; v1 submitted 10 December, 2023; originally announced December 2023.

Comments: 11 pages, one of two main results of the previous version (about continuous fields) is generalized, and an error on the fiber at $\infty$ is fixed; another main result (about direct limits) does not allow a similar generalizations, so is skipped in the current version

An example of a continuous field of Roe algebras

Authors: V. Manuilov

Abstract: 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… ▽ More 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$. △ Less

Submitted 21 November, 2023; originally announced November 2023.

On topological obstructions to the existence of non-periodic Wannier bases

Authors: Yu. Kordyukov, V. Manuilov

Abstract: 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… ▽ More 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 paper, 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. △ Less

Submitted 31 August, 2025; v1 submitted 31 March, 2023; originally announced April 2023.

Comments: 14 pages; v2: final version

Journal ref: J. Math. Phys. 65 (2024), no. 3, Paper No. 033506, 11 pp

On Hilbert C*-modules with Hilbert dual and C*-Fredholm operators

Authors: Vladimir Manuilov, Evgenij Troitsky

Abstract: We study such Hilbert C*-modules over a C*-algebra $A$, that the Banach $A$-dual module carries a natural structure of Hilbert $A$-module. In this direction we prove that if $A$ is monotone complete, $M$ and $N$ are Hilbert $A$-modules, $M$ is self-dual, and both $T:M\to N$ and its Banach $A$-dual $T':N'\to M'$ have trivial kernels and cokernels then $M\cong N'$. With the help of this result, for… ▽ More We study such Hilbert C*-modules over a C*-algebra $A$, that the Banach $A$-dual module carries a natural structure of Hilbert $A$-module. In this direction we prove that if $A$ is monotone complete, $M$ and $N$ are Hilbert $A$-modules, $M$ is self-dual, and both $T:M\to N$ and its Banach $A$-dual $T':N'\to M'$ have trivial kernels and cokernels then $M\cong N'$. With the help of this result, for a monotone complete $C^*$-algebra $A$, we prove that the index of any $A$-Fredholm operator can be calculated as the difference of its kernel and cokernel, as in the Hilbert space case. △ Less

Submitted 9 April, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: 10 pages, title changed, more details added

Inverse semigroups of metrics on doubles related to certain subsets

Authors: V. Manuilov

Abstract: 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. 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. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Comments: 9 pages

On extendability of functionals on Hilbert $C^*$-modules

Authors: V. Manuilov

Abstract: 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. 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. △ Less

Submitted 14 May, 2022; originally announced May 2022.

Comments: 9 pages

MSC Class: 46L08

On Hochschild homology of uniform Roe algebras with coefficients in uniform Roe bimodules

Authors: V. Manuilov

Abstract: 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 cohomolo… ▽ More 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. △ Less

Submitted 17 January, 2022; originally announced January 2022.

Comments: 7 pages

On the inverse semigroup of bimodules over a C*-algebra

Authors: Vladimir Manuilov

Abstract: It was noticed recently that, given a metric space $(X,d_X)$, the equivalence classes of metrics on the disjoint union of the two copies of $X$ coinciding with $d_X$ on each copy form an inverse semigroup $M(X)$ with respect to concatenation of metrics. Now put this inverse semigroup construction in a more general context, namely, we define, for a C*-algebra $A$, an inverse semigroup $S(A)$ of Hil… ▽ More It was noticed recently that, given a metric space $(X,d_X)$, the equivalence classes of metrics on the disjoint union of the two copies of $X$ coinciding with $d_X$ on each copy form an inverse semigroup $M(X)$ with respect to concatenation of metrics. Now put this inverse semigroup construction in a more general context, namely, we define, for a C*-algebra $A$, an inverse semigroup $S(A)$ of Hilbert C*-$A$-$A$-bimodules. When $A$ is the uniform Roe algebra $C^*_u(X)$ of a metric space $X$, we construct a map $M(X)\to S(C^*_u(X))$ and show that this map is injective, but not surjective in general. This allows to define an analog of the inverse semigroup $M(X)$ that does not depend on the choice of a metric on $X$ within its coarse equivalence class. △ Less

Submitted 26 November, 2021; originally announced November 2021.

Comments: 7 pages

Hilbert C*-modules related to discrete metric spaces

Authors: V. Manuilov

Abstract: 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. 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. △ Less

Submitted 8 May, 2021; originally announced May 2021.

Comments: 8 pages

Left multipliers of reproducing kernel Hilbert $C^*$-modules and the Papadakis theorem

Authors: M. Ghaemi, V. M. Manuilov, M. S. Moslehian

Abstract: 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 condit… ▽ More 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. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 15 pages

MSC Class: 46E22; 47A56; 47L08; 46L05

Journal ref: J. Math. Anal. Appl. 505 (2022), no. 1, 125471

Hilbert $C^*$-module independence

Authors: R. Eskandari, J. Hamhalter, M. S. Moslehian, V. M. Manuilov

Abstract: 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… ▽ More 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. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 23 pages

MSC Class: 46L08; 46L05; 47A62

Inverse semigroup from metrics on doubles III. Commutativity and (in)finiteness of idempotents

Authors: V. Manuilov

Abstract: 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 a… ▽ More 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. △ Less

Submitted 7 March, 2021; v1 submitted 4 January, 2021; originally announced January 2021.

Comments: 10 pages, a section about spaces with commutative semigroup $M(X)$ is added

Metrics on doubles as an inverse semigroup II

Authors: Vladimir Manuilov

Abstract: 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 give several descriptions of the set $E(M(X))$ of idempotents of this inverse semigroup and its Stone dual space $\widehat X$. We also construct $σ$-additive measures on $\widehat X$ from finitely additive probability measures on $X$ th… ▽ More 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 give several descriptions of the set $E(M(X))$ of idempotents of this inverse semigroup and its Stone dual space $\widehat X$. We also construct $σ$-additive measures on $\widehat X$ from finitely additive probability measures on $X$ that vanish on bounded subsets. △ Less

Submitted 20 August, 2020; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: 15 pages

B-spline interpolation problem in Hilbert C*-modules

Authors: Rasoul Eskandari, Michael Frank, Vladimir Manuilov, Mohammad Sal Moslehian

Abstract: We introduce the $B$-spline interpolation problem corresponding to a $C^*$-valued sesquilinear form on a Hilbert $C^*$-module and study its basic properties as well as the uniqueness of solution. We first study the problem in the case when the Hilbert $C^*$-module is self-dual. Extending a bounded $C^*$-valued sesquilinear form on a Hilbert $C^*$-module to a sesquilinear form on its second dual, w… ▽ More We introduce the $B$-spline interpolation problem corresponding to a $C^*$-valued sesquilinear form on a Hilbert $C^*$-module and study its basic properties as well as the uniqueness of solution. We first study the problem in the case when the Hilbert $C^*$-module is self-dual. Extending a bounded $C^*$-valued sesquilinear form on a Hilbert $C^*$-module to a sesquilinear form on its second dual, we then provide some necessary and sufficient conditions for the $B$-spline interpolation problem to have a solution. Passing to the setting of Hilbert $W^*$-modules, we present our main result by characterizing when the spline interpolation problem for the extended $C^*$-valued sesquilinear to the dual $\mathscr{X}'$ of the Hilbert $W^*$-module $\mathscr{X}$ has a solution. As a consequence, we give a sufficient condition that for an orthogonally complemented submodule of a self-dual Hilbert $W^*$-module $\mathscr{X}$ is orthogonally complemented with respect to another $C^*$-inner product on $\mathscr{X}$. Finally, solutions of the $B$-spline interpolation problem for Hilbert $C^*$-modules over $C^*$-ideals of $W^*$-algebras are extensively discussed. Several examples are provided to illustrate the existence or lack of a solution for the problem. △ Less

Submitted 8 August, 2020; v1 submitted 3 April, 2020; originally announced April 2020.

Comments: 25 pages, final version, to appear in J. Operator Theory

MSC Class: 46L08; 46L05; 47A62

Journal ref: J. Operator Theory 86 (2021), no. 2, 275-298

On Kuiper type theorems for uniform Roe algebras

Authors: Vladimir Manuilov, Evgenij Troitsky

Abstract: Generalizing the case of an infinite discrete metric space of finite diameter, we say that a discrete metric space $(X,d)$ is a Kuiper space, if the group of invertible elements of its uniform Roe algebra is norm-contractible. Various sufficient conditions on $(X,d)$ to be or not to be a Kuiper space are obtained. Generalizing the case of an infinite discrete metric space of finite diameter, we say that a discrete metric space $(X,d)$ is a Kuiper space, if the group of invertible elements of its uniform Roe algebra is norm-contractible. Various sufficient conditions on $(X,d)$ to be or not to be a Kuiper space are obtained. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 9 pages

Metrics on doubles as an inverse semigroup

Authors: Vladimir Manuilov

Abstract: For a metric space $X$ we study metrics on the two copies of $X$. We define composition of such metrics and show that the equivalence classes of metrics are a semigroup $M(X)$ Our main result is that $M(X)$ is an inverse semigroup, therefore, one can define the $C^*$-algebra of this inverse semigroup. We characterize the metrics that are idempotents, find a minimal projection in $M(X)$ and give ex… ▽ More For a metric space $X$ we study metrics on the two copies of $X$. We define composition of such metrics and show that the equivalence classes of metrics are a semigroup $M(X)$ Our main result is that $M(X)$ is an inverse semigroup, therefore, one can define the $C^*$-algebra of this inverse semigroup. We characterize the metrics that are idempotents, find a minimal projection in $M(X)$ and give examples of metric spaces, for which the semigroup $M(X)$ is commutative. We show that if the Gromov-Hausdorff distance between two metric spaces, $X$ and $Y$, is finite then $M(X)$ and $M(Y)$ are isomorphic. We also describe the class of metrics determined by subsets of $X$ in terms of the closures of the subsets in the Higson corona of $X$. △ Less

Submitted 20 August, 2020; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: 15 pages, final version, to appear in J. Geom. Anal

Hypergraph partitions

Authors: Alexander Mishchenko, Vladimir Manuilov, Chao You, Han Yang

Abstract: We suggest a reduction of the combinatorial problem of hypergraph partitioning to a continuous optimization problem. We suggest a reduction of the combinatorial problem of hypergraph partitioning to a continuous optimization problem. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Comments: 6 pages

Extensions of the Lax-Milgram theorem to Hilbert C*-modules

Authors: R. Eskandari, M. Frank, V. M. Manuilov, M. S. Moslehian

Abstract: 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 exampl… ▽ More 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. △ Less

Submitted 30 April, 2019; originally announced May 2019.

Comments: 13 pages

Journal ref: Positivity 24 (2020), no. 4, 1169--1180

Roe bimodules as morphisms of discrete metric spaces

Authors: V. Manuilov

Abstract: 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 morphism… ▽ More 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. △ Less

Submitted 17 September, 2019; v1 submitted 6 April, 2019; originally announced April 2019.

Comments: 10 pages

Two versions of the uniform Roe algebras for spaces without bounded geometry

Authors: Vladimir Manuilov, Jingming Zhu

Abstract: We consider two versions of the uniform Roe algebra for uniformly discrete spaces without bounded geometry and discuss some of their properties. We consider two versions of the uniform Roe algebra for uniformly discrete spaces without bounded geometry and discuss some of their properties. △ Less

Submitted 8 December, 2018; originally announced December 2018.

Comments: 8 pages

Approximately uniformly locally finite graphs

Authors: Vladimir Manuilov

Abstract: Let $Γ$ be a locally finite graph, $L$ the normalized Laplacian of $Γ$. If $Γ$ is uniformy locally finite, i.e. if each vertex has no more than $d$ adjacent vertices, then the matrix of $L$ (with respect to the standard basis) has no more than $d+1$ non-zero entries in each row and in each column. We consider the class of locally finite graphs, for which the Laplacian can be approximated by matric… ▽ More Let $Γ$ be a locally finite graph, $L$ the normalized Laplacian of $Γ$. If $Γ$ is uniformy locally finite, i.e. if each vertex has no more than $d$ adjacent vertices, then the matrix of $L$ (with respect to the standard basis) has no more than $d+1$ non-zero entries in each row and in each column. We consider the class of locally finite graphs, for which the Laplacian can be approximated by matrices of this type with arbitrary $d$. We provide examples of locally finite graphs which are or are not in this class, and show that the graphs from this class share certain regularity property: vertices of high degree cannot have too many adjacent vertices of low degree. △ Less

Submitted 11 August, 2018; originally announced August 2018.

On the C*-algebra of matrix-finite bounded operators

Authors: Vladimir Manuilov

Abstract: Let $H$ be a separable Hilbert space with a fixed orthonormal basis. Let $\mathbb B^{(k)}(H)$ denote the set of operators, whose matrices have no more than $k$ non-zero entries in each line and in each column. The closure of the union (over $k\in\mathbb N$) of $\mathbb B^{(k)}(H)$ is a C*-algebra. We study some properties of this C*-algebra. We show that this C*-algebra is not an AW*-algebra, has… ▽ More Let $H$ be a separable Hilbert space with a fixed orthonormal basis. Let $\mathbb B^{(k)}(H)$ denote the set of operators, whose matrices have no more than $k$ non-zero entries in each line and in each column. The closure of the union (over $k\in\mathbb N$) of $\mathbb B^{(k)}(H)$ is a C*-algebra. We study some properties of this C*-algebra. We show that this C*-algebra is not an AW*-algebra, has a proper closed ideal greater than compact operators, and its group of invertibles is contractible. △ Less

Submitted 20 August, 2018; v1 submitted 29 July, 2018; originally announced July 2018.

Douglas factorization theorem revisited

Authors: Vladimir Manuilov, Mohammad Sal Moslehian, Qingxiang Xu

Abstract: Inspired by the Douglas lemma, we investigate the solvability of the operator equation $AX=C$ in the framework of Hilbert C*-modules. Utilizing partial isometries, we present its general solution when $A$ is a semi-regular operator. For such an operator $A$, we show that the equation $AX=C$ has a positive solution if and only if the range inclusion ${\mathcal R}(C) \subseteq {\mathcal R}(A)$ holds… ▽ More Inspired by the Douglas lemma, we investigate the solvability of the operator equation $AX=C$ in the framework of Hilbert C*-modules. Utilizing partial isometries, we present its general solution when $A$ is a semi-regular operator. For such an operator $A$, we show that the equation $AX=C$ has a positive solution if and only if the range inclusion ${\mathcal R}(C) \subseteq {\mathcal R}(A)$ holds and $CC^*\le t\, CA^*$ for some $t>0$. In addition, we deal with the solvability of the operator equation $(P+Q)^{1/2}X=P$, where $P$ and $Q$ are projections. We provide a counterexample to show that there exists a $C^*$-algebra $\mathfrak{A}$, a Hilbert $\mathfrak{A}$-module $\mathscr{H}$ and projections $P$ and $Q$ on $\mathscr{H}$ such that the operator equation $(P+Q)^{1/2}X=P$ has no solution. Moreover, we give a perturbation result related to the latter equation. △ Less

Submitted 8 October, 2019; v1 submitted 2 July, 2018; originally announced July 2018.

Comments: 14 pages, title changed, final version

Journal ref: Proc. Amer. Math. Soc. 148 (2020), no. 3, 1139--1151

On a family of representations of residually finite groups

Authors: Vladimir Manuilov

Abstract: For a residually finite group $G$, its normal subgroups $G\supset G_1\supset G_2\cdots$ with $\cap_{n\in\mathbb N}G_n=\{e\}$ and for a growth function $γ$ we construct a unitary representation $π_γ$ of $G$. For the minimal growth, $π_γ$ is weakly equivalent to the regular representation, and for the maximal growth it is weakly equivalent to the direct sum of the quasiregular representations on the… ▽ More For a residually finite group $G$, its normal subgroups $G\supset G_1\supset G_2\cdots$ with $\cap_{n\in\mathbb N}G_n=\{e\}$ and for a growth function $γ$ we construct a unitary representation $π_γ$ of $G$. For the minimal growth, $π_γ$ is weakly equivalent to the regular representation, and for the maximal growth it is weakly equivalent to the direct sum of the quasiregular representations on the quotients $G/G_n$. In the case of intermediate growth we show two examples of different behaviour of $π_γ$. △ Less

Submitted 27 February, 2018; v1 submitted 23 February, 2018; originally announced February 2018.

Comments: 8 pages, a misprint corrected

A more symmetric picture for Kasparov's KK-bifunctor

Authors: Vladimir Manuilov

Abstract: For C*-algebras $A$ and $B$, we generalize the notion of a quasihomomorphism from $A$ to $B$, due to Cuntz, by considering quasihomomorphisms from some C*-algebra $C$ to $B$ such that $C$ surjects onto $A$, and the two maps forming a quasihomomorphism agree on the kernel of this surjection. Under an additional assumption, the group of homotopy classes of such generalized quasihomomorphisms coincid… ▽ More For C*-algebras $A$ and $B$, we generalize the notion of a quasihomomorphism from $A$ to $B$, due to Cuntz, by considering quasihomomorphisms from some C*-algebra $C$ to $B$ such that $C$ surjects onto $A$, and the two maps forming a quasihomomorphism agree on the kernel of this surjection. Under an additional assumption, the group of homotopy classes of such generalized quasihomomorphisms coincides with $KK(A,B)$. This makes the definition of Kasparov's bifunctor slightly more symmetric and gives more flexibility for constructing elements of $KK$-groups. These generalized quasihomomorphisms can be viewed as pairs of maps directly from $A$ (instead of various $C$'s), but these maps need not be $*$-homomorphisms. △ Less

Submitted 1 October, 2017; originally announced October 2017.

Comments: 9 pages

MSC Class: 19K35

A KK-like picture for E-theory of C*-algebras

Authors: Vladimir Manuilov

Abstract: Let $A$, $B$ be separable C*-algebras, $B$ stable. Elements of the E-theory group $E(A,B)$ are represented by asymptotic homomorphisms from the second suspension of $A$ to $B$. Our aim is to represent these elements by (families of) maps from $A$ itself to $B$. We have to pay for that by allowing these maps to be even further from $*$-homomorphisms. We prove that $E(A,B)$ can be represented by pai… ▽ More Let $A$, $B$ be separable C*-algebras, $B$ stable. Elements of the E-theory group $E(A,B)$ are represented by asymptotic homomorphisms from the second suspension of $A$ to $B$. Our aim is to represent these elements by (families of) maps from $A$ itself to $B$. We have to pay for that by allowing these maps to be even further from $*$-homomorphisms. We prove that $E(A,B)$ can be represented by pairs $(\varphi^+,\varphi^-)$ of maps from $A$ to $B$ that are not necessarily asymptotic homomorphisms, but have the same deficiency from being ones. Not surprisingly, such pairs of maps can be viewed as pairs of asymptotic homomorphisms from some C*-algebra $C$ that surjects onto $A$, and the two maps in a pair should agree on the kernel of this surjection. We give examples of full surjections $C\to A$, i.e. those, for which all classes in $E(A,B)$ can be obtained from pairs of asymptotic homomorphisms from $C$. △ Less

Submitted 6 August, 2017; v1 submitted 31 March, 2017; originally announced March 2017.

Comments: 18 pages, some stupid errors fixed, the construction of homotopies is modified to become unoform

MSC Class: 46L80

A noncommutative version of Farber's topological complexity

Authors: Vladimir Manuilov

Abstract: Topological complexity for spaces was introduced by M. Farber as a minimal number of continuity domains for motion planning algorithms. It turns out that this notion can be extended to the case of not necessarily commutative C*-algebras. Topological complexity for spaces is closely related to the Lusternik--Schnirelmann category, for which we do not know any noncommutative extension, so there is n… ▽ More Topological complexity for spaces was introduced by M. Farber as a minimal number of continuity domains for motion planning algorithms. It turns out that this notion can be extended to the case of not necessarily commutative C*-algebras. Topological complexity for spaces is closely related to the Lusternik--Schnirelmann category, for which we do not know any noncommutative extension, so there is no hope to generalize the known estimation methods, but we are able to evaluate the topological complexity for some very simple examples of noncommutative C*-algebras. △ Less

Submitted 31 March, 2017; v1 submitted 13 September, 2016; originally announced September 2016.

Comments: 9 pages; minor mistakes removed; to appear in Topological Methods in Nonlinear Analysis

MSC Class: 46L05; 46L80

Balanced pairs of operators and their relative index

Authors: Vladimir Manuilov

Abstract: We show that the K_1 group of a C*-algebra $A$ can be defined as homotopy classes of pairs, called balanced, of not necessarily unitary matrices over $A$ that have equal defects from being unitary. We also consider pairs of order zero pseudodifferential operators, not necessarily elliptic, with symbols being a balanced pair. A relative index is defined for such pairs of operators and it equals the… ▽ More We show that the K_1 group of a C*-algebra $A$ can be defined as homotopy classes of pairs, called balanced, of not necessarily unitary matrices over $A$ that have equal defects from being unitary. We also consider pairs of order zero pseudodifferential operators, not necessarily elliptic, with symbols being a balanced pair. A relative index is defined for such pairs of operators and it equals the topological index of the pair of their symbols. △ Less

Submitted 28 May, 2016; originally announced May 2016.

Comments: 10 pages

MSC Class: 46L80

A finitedimensional version of Fredholm representations

Authors: V. Manuilov

Abstract: 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. 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. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: 7 pages

MSC Class: 19K99; 46L80

Vector bundles from generalized pairs of cocycles

Authors: Vladimir Manuilov, Chao You

Abstract: It is interesting to know, how far we can generalize the notion of a group-valued cocycle keeping the property to determine a bundle. We find a generalization for pairs of cocycles and show how these generalized pairs of cocycles can still determine vector bundles. It is interesting to know, how far we can generalize the notion of a group-valued cocycle keeping the property to determine a bundle. We find a generalization for pairs of cocycles and show how these generalized pairs of cocycles can still determine vector bundles. △ Less

Submitted 1 December, 2013; originally announced December 2013.

Comments: 6 pages

MSC Class: 55R50; 46L80

Weakening idempotency in K-theory

Authors: Vladimir Manuilov

Abstract: We show that the K-theory of C*-algebras can be defined by pairs of matrices satisfying less strict relations than idempotency. We show that the K-theory of C*-algebras can be defined by pairs of matrices satisfying less strict relations than idempotency. △ Less

Submitted 9 April, 2013; originally announced April 2013.

Comments: 9 pages

MSC Class: 19K99; 46L80

Extensions of Hilbert C*-modules: classification in simple cases

Authors: Vladimir Manuilov, Jingming Zhu

Abstract: Theory of extensions of Hilbert C*-modules was developed by D. Bakic and B. Guljas. An easy observation shows that in the case, when the underlying C*-algebra extension is commutative and the Hilbert C*-modules are projective of finite type, the algebraic properties of the corresponding Busby invariant allow to identify extensions with isometric maps of the corresponding vector bundles. When the H… ▽ More Theory of extensions of Hilbert C*-modules was developed by D. Bakic and B. Guljas. An easy observation shows that in the case, when the underlying C*-algebra extension is commutative and the Hilbert C*-modules are projective of finite type, the algebraic properties of the corresponding Busby invariant allow to identify extensions with isometric maps of the corresponding vector bundles. When the Hilbert C*-modules are free of rank one, we evaluate the set of extensions in topological terms. △ Less

Submitted 17 March, 2012; originally announced March 2012.

Comments: 7 pages

MSC Class: 46L08

Shape theory and extensions of C*-algebras

Authors: Vladimir Manuilov, Klaus Thomsen

Abstract: Let $A$, $A'$ be separable $C^*$-algebras, $B$ a stable $σ$-unital $C^*$-algebra. Our main result is the construction of the pairing $[[A',A]]\times\operatorname{Ext}^{-1/2}(A,B)\to\operatorname{Ext}^{-1/2}(A',B)$, where $[[A',A]]$ denotes the set of homotopy classes of asymptotic homomorphisms from $A'$ to $A$ and $\operatorname{Ext}^{-1/2}(A,B)$ is the group of semi-invertible extensions of $A$… ▽ More Let $A$, $A'$ be separable $C^*$-algebras, $B$ a stable $σ$-unital $C^*$-algebra. Our main result is the construction of the pairing $[[A',A]]\times\operatorname{Ext}^{-1/2}(A,B)\to\operatorname{Ext}^{-1/2}(A',B)$, where $[[A',A]]$ denotes the set of homotopy classes of asymptotic homomorphisms from $A'$ to $A$ and $\operatorname{Ext}^{-1/2}(A,B)$ is the group of semi-invertible extensions of $A$ by $B$. Assume that all extensions of $A$ by $B$ are semi-invertible. Then this pairing allows us to give a condition on $A'$ that provides semi-invertibility of all extensions of $A'$ by $B$. This holds, in particular, if $A$ and $A'$ are shape equivalent. A similar condition implies that if $\operatorname{Ext}^{-1/2}$ coincides with $E$-theory (via the Connes-Higson map) for $A$ then the same holds for $A'$. △ Less

Submitted 9 July, 2010; originally announced July 2010.

Comments: 23 pages

MSC Class: 46L80

On C*-algebras related to constrained representations of a free group

Authors: Vladimir Manuilov, Chao You

Abstract: We consider representations of the free group $F_2$ on two generators such that the norm of the sum of the generators and their inverses is bounded by $μ\in[0,4]$. These $μ$-constrained representations determine a C*-algebra $A_μ$ for each $μ\in[0,4]$. We prove that these C*-algebras form a continuous bundle of C*-algebras over $[0,4]$ and calculate their K-groups. We consider representations of the free group $F_2$ on two generators such that the norm of the sum of the generators and their inverses is bounded by $μ\in[0,4]$. These $μ$-constrained representations determine a C*-algebra $A_μ$ for each $μ\in[0,4]$. We prove that these C*-algebras form a continuous bundle of C*-algebras over $[0,4]$ and calculate their K-groups. △ Less

Submitted 14 May, 2010; originally announced May 2010.

Comments: 9 pages

MSC Class: 46L

Semi-invertible extensions of C*-algebras

Authors: Vladimir Manuilov, Klaus Thomsen

Abstract: We prolonge the list of C*-algebras for which all extensions by any stable separable C*-algebra are semi-invertible. In particular, we handle certain amalgamations, both of C*-algebras and of groups. Concerning groups we consider both reduced and full group C*-algebras. We prolonge the list of C*-algebras for which all extensions by any stable separable C*-algebra are semi-invertible. In particular, we handle certain amalgamations, both of C*-algebras and of groups. Concerning groups we consider both reduced and full group C*-algebras. △ Less

Submitted 12 May, 2010; originally announced May 2010.

Comments: 16 pages, no figures

A reflexivity criterion for Hilbert C*-modules over commutative C*-algebras

Authors: M. Frank, V. Manuilov, E. Troitsky

Abstract: 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$. 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$. △ Less

Submitted 7 January, 2010; v1 submitted 10 August, 2009; originally announced August 2009.

Comments: 9 pages

MSC Class: 46L08; 54D99

Hilbert C*-modules from group actions: beyond the finite orbits case

Authors: M. Frank, V. Manuilov, E. Troitsky

Abstract: 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… ▽ More 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(φ_x)$ is continuous on $X$ for any element $φ\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. △ Less

Submitted 10 March, 2009; originally announced March 2009.

Comments: 18 pages

MSC Class: 46L08; 43A60; 54H20

One more pathology of C*-algebraic tensor products

Authors: V. Manuilov

Abstract: 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. 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. △ Less

Submitted 27 December, 2008; originally announced December 2008.

Comments: 6 pages

MSC Class: 46L06

Asymptotic representations of the reduced C*-algebra of a free group: an example

Authors: V. Manuilov

Abstract: 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. 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. △ Less

Submitted 20 December, 2007; originally announced December 2007.

Comments: 6 pages

MSC Class: 46L05

On Almost Representations of Property (T) Groups

Authors: Vladimir Manuilov, Chao You

Abstract: Property (T) for groups means a dichotomy: a representation either has an invariant vector or all vectors are far from being invariant. We show that, under a stronger condition of A.Zuk, a similar dichotomy holds for almost representations as well. Property (T) for groups means a dichotomy: a representation either has an invariant vector or all vectors are far from being invariant. We show that, under a stronger condition of A.Zuk, a similar dichotomy holds for almost representations as well. △ Less

Submitted 12 August, 2007; v1 submitted 9 August, 2007; originally announced August 2007.

Comments: 10 pages, minor changes, references added

MSC Class: 47C99; 20E99

Relative K-homology and normal operators

Authors: V. Manuilov, K. Thomsen

Abstract: Let $A$ be a C*-algebra, $J \subset A$ a C*-subalgebra, and let $B$ be a stable C*-algebra. Under modest assumptions we organize invertible C*-extensions of $A$ by $B$ that are trivial when restricted onto $J$ to become a group $Ext_J^{-1}(A,B)$, which can be computed by a six-term exact sequence which generalizes the excision six-term exact sequence in the first variable of $KK$-theory. Subsequ… ▽ More Let $A$ be a C*-algebra, $J \subset A$ a C*-subalgebra, and let $B$ be a stable C*-algebra. Under modest assumptions we organize invertible C*-extensions of $A$ by $B$ that are trivial when restricted onto $J$ to become a group $Ext_J^{-1}(A,B)$, which can be computed by a six-term exact sequence which generalizes the excision six-term exact sequence in the first variable of $KK$-theory. Subsequently we investigate the relative K-homology which arises from the group of relative extensions by specializing to abelian C*-algebras. It turns out that this relative K-homology carries substantial information also in the operator theoretic setting from which the BDF theory was developed and we conclude the paper by extracting some of this information on approximation of normal operators. △ Less

Submitted 12 May, 2005; originally announced May 2005.

Comments: 24 pages

MSC Class: 46L80

The group of unital $C^*$-extensions

Authors: Vladimir Manuilov, Klaus Thomsen

Abstract: Let $A$ and $B$ be separable $C^*$-algebras, $A$ unital and $B$ stable. It is shown that there is a natural six-terms exact sequence which relates the group which arises by considering all semi-split extensions of $A$ by $B$ to the group which arises by restricting the attention to \emph{unital} semi-split extensions of $A$ by $B$. The six-terms exact sequence is an unpublished result of G. Skan… ▽ More Let $A$ and $B$ be separable $C^*$-algebras, $A$ unital and $B$ stable. It is shown that there is a natural six-terms exact sequence which relates the group which arises by considering all semi-split extensions of $A$ by $B$ to the group which arises by restricting the attention to \emph{unital} semi-split extensions of $A$ by $B$. The six-terms exact sequence is an unpublished result of G. Skandalis. △ Less

Submitted 26 January, 2005; originally announced January 2005.

Comments: LaTeX, 6 pages

MSC Class: 46L80

On the lack of inverses to C*-extensions related to property T groups

Authors: V. Manuilov, K. Thomsen

Abstract: Using ideas of S. Wassermann on non-exact $C^*$-algebras and property T groups, we show that one of his examples of non-invertible C*-extensions is not semi-invertible. To prove this, we show that a certain element vanishes in the asymptotic tensor product. We also show that a modification of the example gives a C*-extension which is not even invertible up to homotopy. Using ideas of S. Wassermann on non-exact $C^*$-algebras and property T groups, we show that one of his examples of non-invertible C*-extensions is not semi-invertible. To prove this, we show that a certain element vanishes in the asymptotic tensor product. We also show that a modification of the example gives a C*-extension which is not even invertible up to homotopy. △ Less

Submitted 24 January, 2005; originally announced January 2005.

Comments: 11 pages

MSC Class: 46L05

Translation invariant asymptotic homomorphisms: equivalence of two approaches in the index theory

Authors: V. Manuilov

Abstract: The algebra $Ψ(M)$ of order zero pseudodifferential operators on a compact manifold $M$ defines a well-known $C^*$-extension of the algebra $C(S^*M)$ of continuous functions on the cospherical bundle $S^*M\subset T^*M$ by the algebra $\K$ of compact operators. In his proof of the index theorem, Higson defined and used an asymptotic homomorphism $T$ from $C_0(T^*M)$ to $\K$, which plays the role… ▽ More The algebra $Ψ(M)$ of order zero pseudodifferential operators on a compact manifold $M$ defines a well-known $C^*$-extension of the algebra $C(S^*M)$ of continuous functions on the cospherical bundle $S^*M\subset T^*M$ by the algebra $\K$ of compact operators. In his proof of the index theorem, Higson defined and used an asymptotic homomorphism $T$ from $C_0(T^*M)$ to $\K$, which plays the role of a deformation for the commutative algebra $C_0(T^*M)$. Similar constructions exist also for operators and symbols with coefficients in a $C^*$-algebra. We show that the image of the above extension under the Connes--Higson construction is $T$ and that this extension can be reconstructed out of $T$. This explains, why the classical approach to the index theory coincides with the one based on asymptotic homomorphisms. △ Less

Submitted 30 April, 2004; originally announced April 2004.

Comments: 7 pages

MSC Class: 19K56; 46L80; 58J20

On the asymptotic tensor norm

Authors: V. Manuilov, K. Thomsen

Abstract: We introduce a new asymptotic one-sided and symmetric tensor norm, the latter of which can be considered as the minimal tensor norm on the category of separable C*-algebras with homotopy classes of asymptotic homomorphisms as morphisms. We show that the one-sided asymptotic tensor norm differs in general from both the minimal and the maximal tensor norms and we discuss its relation to semi-inver… ▽ More We introduce a new asymptotic one-sided and symmetric tensor norm, the latter of which can be considered as the minimal tensor norm on the category of separable C*-algebras with homotopy classes of asymptotic homomorphisms as morphisms. We show that the one-sided asymptotic tensor norm differs in general from both the minimal and the maximal tensor norms and we discuss its relation to semi-invertibility of C*-extensions. △ Less

Submitted 5 November, 2003; originally announced November 2003.

Comments: 5 pages, LaTeX

MSC Class: 46L05