arxiv: 2604.23782 · v1 · submitted 2026-04-26 · 🧮 math.OA · math.FA

Recognition: unknown

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

Denis Fufaev, Evgenij Troitsky

Pith reviewed 2026-05-08 04:52 UTC · model grok-4.3

classification 🧮 math.OA math.FA

keywords Banach-compact operatorsA-precompactnessHilbert C*-modulesframesuniform structureA-compact operatorselementary operators

0 comments

The pith

Banach-compact operators between Hilbert C*-modules are exactly those mapping the unit ball to an A-precompact set.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper provides geometric characterizations of Banach-compact operators on Hilbert C*-modules over a C*-algebra. It introduces the notion of A-precompactness to show that an operator is Banach-compact precisely when the image of the unit ball is A-precompact. It also gives an equivalent condition using total boundedness in a previously defined uniform structure. These characterizations are closely tied to the concept of frames in the modules and build on earlier notions of A-compact operators.

Core claim

Banach-compact operators can be characterized as those with A-precompact image of the unit ball. Another characterization is in terms of total boundedness of this set relatively the uniform structure. The constructions and proofs are closely related to the concept of frame in a Hilbert C*-module.

What carries the argument

A-precompactness, a geometric property for subsets of Hilbert C*-modules that generalizes precompactness using the module structure over the C*-algebra A.

If this is right

Provides a geometric test to determine if a bounded operator is Banach-compact without direct algebraic checks.
Links the theory of Banach-compact operators to the existence and properties of frames in Hilbert C*-modules.
Extends Manuilov's notion of A-compactness to a new class of operators called Banach-compact.
Offers an alternative via uniform structures for checking total boundedness of operator images.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

These characterizations could simplify proofs involving compactness in noncommutative settings by reducing them to geometric checks.
Potential applications in K-theory or index theory where compact operators play a role, by using frame-related constructions.
May allow defining similar precompactness notions in other module categories or operator algebras.

Load-bearing premise

The introduced notion of A-compactness and the uniform structure provide valid geometric characterizations without circular dependence on the operator classes being defined.

What would settle it

Construct a specific bounded operator T between two Hilbert C*-modules such that the image of the unit ball is A-precompact but T is not a Banach-compact operator, or find a counterexample where total boundedness fails to match the operator class.

read the original abstract

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'': $\theta_{x,y}:\mathcal M\to\mathcal N$, $\theta_{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 $\theta_{x,f}:\mathcal M\to\mathcal N$, $\theta_{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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper adds a geometric characterization of Banach-compact operators on Hilbert C*-modules by introducing A-precompactness of the unit ball image and linking it to total boundedness plus frames.

read the letter

The core contribution is the definition of A-precompactness, built on Manuilov's elementary operators, and the proof that Banach-compact operators are exactly those whose image of the unit ball is A-precompact. They also give an equivalent description via total boundedness in the uniform structure from earlier work, and note that the arguments run through frame constructions in the modules. That geometric angle is the part worth paying attention to if you work with adjointable operators or Kasparov modules. It gives a way to think about these classes without always going back to the generating sets of rank-one operators. The frame connection appears as a natural byproduct rather than a forced add-on, which keeps the paper focused. The proofs seem to stay within the usual C*-bimodule framework and do not introduce obvious circularity once the uniform structure is fixed. One limitation is that the uniform structure itself comes from prior work by one author, so the new content is mostly the precompactness notion and its application to the Banach-compact class. If those characterizations reduce to rephrasings of known boundedness conditions in special cases, the payoff stays modest. The paper stays technical and does not claim broader impact outside operator algebras. It is aimed at readers already comfortable with Hilbert C*-modules and frames; someone outside that circle will not get much from it. The claims are concrete enough and the literature engagement looks honest, so it deserves a serious referee who can check the details of the uniform structure and the frame arguments.

Referee Report

2 major / 3 minor

Summary. The paper introduces a notion of A-precompactness for subsets of Hilbert C*-modules (extending Manuilov's earlier definition) and uses it to characterize Banach-compact operators between two such modules M and N over a C*-algebra A: an adjointable operator is Banach-compact precisely when the image of the unit ball is A-precompact. A second characterization is given in terms of total boundedness of this image with respect to a uniform structure previously introduced by one of the authors. The constructions are shown to be closely related to the existence of frames in the modules.

Significance. If the characterizations hold, the work supplies geometric criteria for Banach-compactness that are independent of the algebraic definitions and links them directly to frame theory in Hilbert C*-modules. This could be useful for studying approximation properties and compactness in noncommutative settings, building on Kasparov and Manuilov modules. The explicit tie to frames is a positive feature that may enable applications in operator K-theory or module frames.

major comments (2)

[§3, Theorem 3.4] §3, Theorem 3.4: the proof that A-precompactness of T(B_M) implies T is Banach-compact invokes the uniform structure U from the author's prior work without a self-contained verification of the total-boundedness implication; a short direct argument or explicit reference to the relevant lemma would strengthen the claim.
[Definition 2.7] Definition 2.7 and the subsequent characterization: it is not immediately clear from the text whether A-precompactness is defined without reference to the Banach-compact class itself; an explicit statement that the definition uses only the module norm and the C*-algebra action (independent of BK(M,N)) would eliminate any appearance of circularity.

minor comments (3)

[Introduction] The abstract mentions two notions of A-rank-1 operators but the introduction does not clearly distinguish their generated bimodules K(M,N) and BK(M,N) with a side-by-side comparison table; adding one would improve readability.
[§4] Notation for the uniform structure (e.g., the entourages) is introduced in §2 but used without re-statement in the frame-related results of §4; a brief reminder sentence would help.
[References] Several citations to Manuilov's work appear without page numbers or theorem labels; supplying these would make the dependence on prior results easier to trace.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below.

read point-by-point responses

Referee: [§3, Theorem 3.4] §3, Theorem 3.4: the proof that A-precompactness of T(B_M) implies T is Banach-compact invokes the uniform structure U from the author's prior work without a self-contained verification of the total-boundedness implication; a short direct argument or explicit reference to the relevant lemma would strengthen the claim.

Authors: We agree that the implication in the proof of Theorem 3.4 relies on properties of the uniform structure U introduced in our earlier work. We will revise the proof to include an explicit citation to the relevant lemma establishing the total-boundedness equivalence and add a short direct verification of the key step for self-containment. revision: yes
Referee: [Definition 2.7] Definition 2.7 and the subsequent characterization: it is not immediately clear from the text whether A-precompactness is defined without reference to the Banach-compact class itself; an explicit statement that the definition uses only the module norm and the C*-algebra action (independent of BK(M,N)) would eliminate any appearance of circularity.

Authors: The definition of A-precompactness in Definition 2.7 is formulated using only the module norm and the C*-algebra action, extending Manuilov's earlier notion without any dependence on the Banach-compact operators BK(M,N). We will insert an explicit clarifying sentence immediately after the definition to state this independence and remove any possible appearance of circularity. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines A-compactness by extending Manuilov's prior independent notion and invokes a uniform structure from one author's earlier separate work solely to state a geometric characterization theorem for the already-defined Banach-compact operators (those whose unit-ball image is A-precompact or totally bounded in that structure). No equation or definition in the provided abstract reduces the target class to the new notion by construction; the characterizations are presented as proved relations rather than tautological rephrasings. The single self-citation is external to the current derivations and does not serve as the sole justification for any uniqueness or ansatz. The overall chain remains self-contained against external operator theory benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Paper relies on standard C*-algebra axioms, Hilbert module inner products, and bounded adjointable operators; no free parameters or invented entities apparent from abstract.

axioms (2)

standard math Hilbert C*-modules are complete in the norm induced by the A-valued inner product.
Invoked implicitly in definitions of operators and compactness.
domain assumption Bounded A-functionals and adjointable operators form the appropriate bimodules.
Basis for defining elementary operators and K(M,N).

pith-pipeline@v0.9.0 · 5620 in / 1196 out tokens · 49000 ms · 2026-05-08T04:52:23.590114+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 13 canonical work pages

[1]

Bourbaki, General topology

N. Bourbaki, General topology. Chapters 5–10, Elements of Mathematics, Springer-Verlag, Berlin, 1998. Translated from the French, reprint of the 1989 English translation

1998
[2]

Frank, D.R

M. Frank, D.R. Larson, Frames in HilbertC ∗-modules andC ∗-algebras, J. Operator Theory 48 (2) (2002) 273–314

2002
[3]

Fufaev, A HilbertC ∗-module with extremal properties, Funct

D.V. Fufaev, A HilbertC ∗-module with extremal properties, Funct. Anal. Appl. 56 (1) (2022) 72–80. https://doi.org/10.1134/S0016266322010075

work page doi:10.1134/s0016266322010075 2022
[4]

Fufaev, Topological and frame properties of certain pathologicalC ∗-algebras, Russ

D.V. Fufaev, Topological and frame properties of certain pathologicalC ∗-algebras, Russ. J. Math. Phys. 29 (2) (2022) 170–182. https://doi.org/10.1134/S1061920822020029

work page doi:10.1134/s1061920822020029 2022
[5]

Fufaev, Thick elements and states inC ∗-algebras in view of frame theory, Russ

D.V. Fufaev, Thick elements and states inC ∗-algebras in view of frame theory, Russ. J. Math. Phys. 30 (2) (2023) 184–191. https://doi.org/10.1134/S106192082302005X

work page doi:10.1134/s106192082302005x 2023
[6]

Fufaev, Locally unitalC ∗-algebras do not admit frames, Ann

D.V. Fufaev, Locally unitalC ∗-algebras do not admit frames, Ann. Funct. Anal. 16, 67 (2025). https://doi.org/10.1007/s43034-025-00459-9

work page doi:10.1007/s43034-025-00459-9 2025
[7]

Fufaev, E

D. Fufaev, E. Troitsky, A new uniform structure for HilbertC ∗-modules, Ann. Funct. Anal. 15, 63 (2024). https://doi.org/10.1007/s43034-024-00368-3. 14 DENIS FUF AEV AND EVGENIJ TROITSKY

work page doi:10.1007/s43034-024-00368-3 2024
[8]

Kasparov, HilbertC ∗-modules: theorems of Stinespring and Voiculescu, J

G.G. Kasparov, HilbertC ∗-modules: theorems of Stinespring and Voiculescu, J. Operator Theory 4 (1980) 133–150

1980
[9]

Keˇ cki´ c, Z

D.J. Keˇ cki´ c, Z. Lazovi´ c, Compact and “compact” operators on standard Hilbert modules overW ∗- algebras, Ann. Funct. Anal. 9 (2) (2018) 258–270. https://doi.org/10.1215/20088752-2017-0053

work page doi:10.1215/20088752-2017-0053 2018
[10]

Christopher Lance,Hilbert C∗-modules, London Mathematical Society Lecture Note Series, vol

E.C. Lance, HilbertC ∗-modules: a toolkit for operator algebraists, London Mathemati- cal Society Lecture Note Series, vol. 210, Cambridge University Press, Cambridge, 1995. https://doi.org/10.1017/CBO9780511526206

work page doi:10.1017/cbo9780511526206 1995
[11]

Lazovi´ c, Compact and “compact” operators on standard Hilbert modules overC ∗-algebras, Adv

Z. Lazovi´ c, Compact and “compact” operators on standard Hilbert modules overC ∗-algebras, Adv. Oper. Theory 3 (4) (2018) 829–836. https://doi.org/10.15352/aot.1806-1382

work page doi:10.15352/aot.1806-1382 2018
[12]

Li, A HilbertC ∗-module admitting no frames, Bull

H. Li, A HilbertC ∗-module admitting no frames, Bull. Lond. Math. Soc. 42 (3) (2010) 388–394. https://doi.org/10.1112/blms/bdp109

work page doi:10.1112/blms/bdp109 2010
[13]

Manuilov, Adjointability of operators on HilbertC ∗-modules, Acta Math

V.M. Manuilov, Adjointability of operators on HilbertC ∗-modules, Acta Math. Univ. Comenian. (N.S.) 65 (2) (1996) 161–169

1996
[14]

Manuilov, E.V

V.M. Manuilov, E.V. Troitsky, HilbertC ∗- andW ∗-modules and their morphisms, J. Math. Sci. 98 (2) (2000) 137–201. https://doi.org/10.1007/BF02355447

work page doi:10.1007/bf02355447 2000
[15]

Manuilov, E.V

V.M. Manuilov, E.V. Troitsky, HilbertC ∗-Modules, Translations of Mathematical Monographs, vol. 226, American Mathematical Society, Providence, RI, 2005

2005
[16]

Paschke, Inner product modules overB ∗-algebras, Trans

W.L. Paschke, Inner product modules overB ∗-algebras, Trans. Amer. Math. Soc. 182 (1973) 443–468. https://doi.org/10.1090/S0002-9947-1973-0355613-0

work page doi:10.1090/s0002-9947-1973-0355613-0 1973
[17]

Troitsky, D.V

E.V. Troitsky, D.V. Fufaev, Compact operators and uniform structures in HilbertC ∗-modules, Funct. Anal. Appl. 54 (4) (2020) 287–294. https://doi.org/10.1134/S0016266320040061

work page doi:10.1134/s0016266320040061 2020
[18]

Troitsky, Geometric essence of “compact” operators on HilbertC ∗-modules, J

E.V. Troitsky, Geometric essence of “compact” operators on HilbertC ∗-modules, J. Math. Anal. Appl. 485 (2) (2020) 123842. https://doi.org/10.1016/j.jmaa.2020.123842. Moscow Center for Fundamental and Applied Mathematics, Dept. Mech. and Math., Lomonosov Moscow State University, 119991 Moscow, Russia Email address:denis.fufaev@math.msu.ru, fufaevdv@ramble...

work page doi:10.1016/j.jmaa.2020.123842 2020