Recognition: unknown
On Essential and Topologically Essential Submodules of Hilbert C*-Modules
Pith reviewed 2026-05-10 16:03 UTC · model grok-4.3
The pith
Essentiality and topological essentiality coincide for closed right ideals in any C*-algebra and for closed submodules of Hilbert C*-modules.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Essentiality and topological essentiality remain equivalent for closed right ideals of an arbitrary C*-algebra. Using the lattice isomorphism between the closed submodules of a Hilbert C*-module E and the closed right ideals of the C*-algebra K(E) of compact operators on E, the equivalence extends directly to closed submodules of E. When the base C*-algebra is commutative, essentiality admits a reformulation in terms of the fibers of the module over the spectrum of the base algebra.
What carries the argument
The lattice isomorphism between closed submodules of a Hilbert C*-module E and closed right ideals of K(E), which maps essential submodules to essential ideals and topologically essential submodules to topologically essential ideals.
If this is right
- The two notions of largeness agree on every closed right ideal of every C*-algebra.
- The two notions agree on every closed submodule of every Hilbert C*-module.
- Essentiality of a submodule can be checked fiberwise when the Hilbert module is realized as a continuous field of Hilbert spaces.
- The known equivalence for two-sided ideals now extends uniformly to the one-sided setting.
Where Pith is reading between the lines
- The equivalence may let researchers replace topological intersection checks with purely algebraic ones when testing submodule largeness.
- The fiberwise description could be tested numerically on explicit continuous fields of Hilbert spaces to verify the geometric reformulation.
- Analogous correspondences between submodules and ideals might be examined in other classes of operator modules to see whether similar equivalences hold.
Load-bearing premise
The standard correspondence between closed submodules of a Hilbert C*-module and closed right ideals of the compact operators on that module preserves both essentiality and topological essentiality.
What would settle it
A concrete closed right ideal in some C*-algebra that is essential but not topologically essential (or vice versa) would disprove the equivalence for right ideals.
read the original abstract
We study two notions of largeness for closed submodules of Hilbert C*-modules: essentiality and topological essentiality. While the analogous properties are known to be equivalent for closed two-sided ideals of C*-algebras, the one-sided case is more subtle. We prove that these two notions remain equivalent for closed right ideals of an arbitrary C*-algebra. Next, using the correspondence between submodules and right ideals of the algebra of compact operators, we extend this result to closed submodules of Hilbert C*-modules. In the commutative case, where a Hilbert module can be realized as a continuous field of Hilbert spaces, we give a geometric reformulation of essentiality and derive a fiberwise criterion.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that essentiality and topological essentiality coincide for closed right ideals in an arbitrary C*-algebra. It then invokes the standard bijection between closed submodules M of a Hilbert C*-module E and closed right ideals I_M of K(E) to conclude that the two notions likewise coincide for closed submodules of Hilbert C*-modules. In the commutative case it supplies a geometric reformulation of essentiality together with a fiberwise criterion.
Significance. The direct argument establishing equivalence for right ideals is a clean contribution that removes the subtlety present for one-sided ideals. The commutative-case geometric analysis is likewise a positive addition. If the correspondence is shown to preserve both notions, the work unifies the two largeness conditions across ideals and modules, which is useful for representation theory and submodule studies in operator algebras. The manuscript contains no machine-checked proofs or parameter-free derivations, but the functorial approach is standard and the proof strategy for the ideal case is self-contained.
major comments (1)
- [extension step invoking the submodule–right-ideal correspondence] The extension step (the paragraph immediately following the proof that essentiality equals topological essentiality for right ideals of an arbitrary C*-algebra) invokes the bijection M ↔ I_M with I_M = {T ∈ K(E) | T(E) ⊂ M} to transfer the equivalence to submodules of E, yet supplies no separate lemma or direct verification that M is essential in E if and only if I_M is essential in K(E), and likewise for topological essentiality. Because topological essentiality is defined by a norm-density condition, it is not immediate that the property is preserved under this identification; this verification is load-bearing for the second main claim.
minor comments (1)
- [Abstract] The abstract announces a geometric reformulation in the commutative case but gives no hint of its form; a single sentence indicating the fiberwise criterion would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the positive aspects of the direct argument for right ideals and the commutative-case analysis. We address the major comment below.
read point-by-point responses
-
Referee: The extension step (the paragraph immediately following the proof that essentiality equals topological essentiality for right ideals of an arbitrary C*-algebra) invokes the bijection M ↔ I_M with I_M = {T ∈ K(E) | T(E) ⊂ M} to transfer the equivalence to submodules of E, yet supplies no separate lemma or direct verification that M is essential in E if and only if I_M is essential in K(E), and likewise for topological essentiality. Because topological essentiality is defined by a norm-density condition, it is not immediate that the property is preserved under this identification; this verification is load-bearing for the second main claim.
Authors: We agree that the manuscript does not contain an explicit verification that the standard bijection preserves both notions, and that this step requires care especially for topological essentiality because of the norm-density definition. In the revised version we will insert a short lemma immediately after the right-ideal result. The lemma will prove: M is essential in E if and only if I_M is essential in K(E), and likewise for topological essentiality. For essentiality the argument uses that the correspondence is a lattice isomorphism (intersections of submodules correspond to intersections of the associated right ideals, and M ∩ N ≠ {0} if and only if I_M ∩ I_N ≠ {0}). For topological essentiality we verify that the norm-density condition transfers: if M + N is norm-dense in E then I_M + I_N is norm-dense in K(E) (using the relation between the module norm and the operator norm on compact operators), and conversely. The details will be written out explicitly so that the transfer is no longer implicit. revision: yes
Circularity Check
No significant circularity; standard correspondence extends independently proven result.
full rationale
The paper first proves equivalence of essentiality and topological essentiality for closed right ideals of arbitrary C*-algebras. It then applies the known bijection (closed submodule M of Hilbert A-module E corresponds to closed right ideal I_M of K(E)) to transfer the equivalence to submodules. This bijection is a standard external fact from C*-module theory, not defined or verified within the paper in a self-referential way. No equations reduce a claimed result to its own inputs by construction, no parameters are fitted and renamed as predictions, and no self-citation chain bears the central load. The derivation remains self-contained with independent content from the ideal case.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The standard correspondence between closed submodules of a Hilbert C*-module and closed right ideals of the compact operators on that module is a bijection that preserves the relevant intersection properties.
Reference graph
Works this paper leans on
-
[1]
Davidson,C ∗-algebras by example, Fields Institute Monographs, vol
K.R. Davidson,C ∗-algebras by example, Fields Institute Monographs, vol. 6, Amer. Math. Soc., Providence, R.I., 1996
1996
-
[2]
Lance,HilbertC ∗-Modules — A Toolkit for Operator Algebraists, London Math
E.C. Lance,HilbertC ∗-Modules — A Toolkit for Operator Algebraists, London Math. Soc. Lecture Note Series, vol. 210, Cambridge, 1995
1995
-
[3]
Manuilov,On large submodules in HilbertC∗-modules, J
V. Manuilov,On large submodules in HilbertC∗-modules, J. Math. Anal. Appl. 542 (2025), 128781
2025
-
[4]
Meyer,Equivariant Kasparov theory and generalized homomorphisms, K-Theory 21 (2000) 201-228
R. Meyer,Equivariant Kasparov theory and generalized homomorphisms, K-Theory 21 (2000) 201-228
2000
-
[5]
Pedersen,Measure theory forC ∗-Algebras II, Math
G.K. Pedersen,Measure theory forC ∗-Algebras II, Math. Scand. 22 (1968) 63-74
1968
-
[6]
Takahashi,Hilbert Modules And Their Representation, Rev
A. Takahashi,Hilbert Modules And Their Representation, Rev. Colombiana Mat. 13 (1979) 1-38. Moscow Center for Fundamental and Applied Mathematics, Moscow State University, Lenin- skie Gory 1, Moscow, 119991, Russia Email address:kirill.kartvelishvili@math.msu.ru
1979
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.