Banach-compact operators, $\mathcal A$-precompactness, and frames in Hilbert $C^*$-modules

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Fufaev, Denis, Troitsky, Evgenij
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866913063265894400
author Fufaev, Denis
Troitsky, Evgenij
author_facet Fufaev, Denis
Troitsky, Evgenij
contents For a couple $\mathcal M$, $\mathcal N$ of Hilbert $C^*$-modules over a $C^*$-algebra $\mathcal A$, one has two notions of ``$\mathcal A$-rank 1 operators'': $θ_{x,y}:\mathcal M\to\mathcal N$, $θ_{x,y}(z)=x\langle y,z\rangle$, where $y,z\in\mathcal M$, $x\in\mathcal N$, (called elementary $\mathcal A$-compact, or elementary Kasparov, operators) and $θ_{x,f}:\mathcal M\to\mathcal N$, $θ_{x,f}(z)=xf(z)$, where $z\in\mathcal M$, $x\in\mathcal N$, and $f$ is a bounded $\mathcal A$-functional on $\mathcal M$ (introduced by Manuilov). They generate a $C^*$-bimodule ${\mathbf{K}}(\mathcal M,\mathcal N)$ ($\mathcal A$-compact operators) over the $C^*$-algebras of adjointable operators and a Banach bimodule ${\mathbf{BK}}(\mathcal M,\mathcal N)$ (Banach-compact operators) over the algebras of all bounded morphisms, respectively. In order to give a geometrical characterization of these classes of operators, we introduce the notion of $\mathcal A$-compactness (developing the one introduced by Manuilov). Banach-compact operators can be characterized as those with $\mathcal A$-precompact image of the unit ball. Another obtained characterization is in terms of total boundedness of this set relatively the uniform structure introduced by one of us previously. The constructions and proofs turn out to be closely related to the concept of frame in a Hilbert $C^*$-module.
format Preprint
id arxiv_https___arxiv_org_abs_2604_23782
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Banach-compact operators, $\mathcal A$-precompactness, and frames in Hilbert $C^*$-modules
Fufaev, Denis
Troitsky, Evgenij
Operator Algebras
Functional Analysis
For a couple $\mathcal M$, $\mathcal N$ of Hilbert $C^*$-modules over a $C^*$-algebra $\mathcal A$, one has two notions of ``$\mathcal A$-rank 1 operators'': $θ_{x,y}:\mathcal M\to\mathcal N$, $θ_{x,y}(z)=x\langle y,z\rangle$, where $y,z\in\mathcal M$, $x\in\mathcal N$, (called elementary $\mathcal A$-compact, or elementary Kasparov, operators) and $θ_{x,f}:\mathcal M\to\mathcal N$, $θ_{x,f}(z)=xf(z)$, where $z\in\mathcal M$, $x\in\mathcal N$, and $f$ is a bounded $\mathcal A$-functional on $\mathcal M$ (introduced by Manuilov). They generate a $C^*$-bimodule ${\mathbf{K}}(\mathcal M,\mathcal N)$ ($\mathcal A$-compact operators) over the $C^*$-algebras of adjointable operators and a Banach bimodule ${\mathbf{BK}}(\mathcal M,\mathcal N)$ (Banach-compact operators) over the algebras of all bounded morphisms, respectively. In order to give a geometrical characterization of these classes of operators, we introduce the notion of $\mathcal A$-compactness (developing the one introduced by Manuilov). Banach-compact operators can be characterized as those with $\mathcal A$-precompact image of the unit ball. Another obtained characterization is in terms of total boundedness of this set relatively the uniform structure introduced by one of us previously. The constructions and proofs turn out to be closely related to the concept of frame in a Hilbert $C^*$-module.
title Banach-compact operators, $\mathcal A$-precompactness, and frames in Hilbert $C^*$-modules
topic Operator Algebras
Functional Analysis
url https://arxiv.org/abs/2604.23782