Bounded modular functionals and operators on Hilbert C*-modules that are regular
Pith reviewed 2026-05-15 01:10 UTC · model grok-4.3
The pith
For Hilbert C*-modules M inside N with M perpendicular to zero, every bounded self-adjoint A-linear map from N to A or to N that vanishes on M is the zero map.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any C*-algebra A and Hilbert A-modules M ⊆ N with M⊥ = {0}, every bounded A-linear self-adjoint map N → A (or N → N) that vanishes on M must be the zero map.
What carries the argument
The self-adjointness condition on bounded A-linear maps from N to A or N, together with the density condition M⊥ = {0}.
If this is right
- Bounded self-adjoint modular functionals on Hilbert modules are uniquely determined by their values on any submodule with trivial orthogonal complement.
- Regular self-adjoint operators on Hilbert C*-modules inherit a uniqueness property from their action on dense submodules.
- The self-adjoint case supplies a concrete structural fact about the module of bounded maps that can be used in further calculations involving adjoints.
Where Pith is reading between the lines
- The same uniqueness might hold under weaker regularity conditions such as normality or complete positivity if those can substitute for self-adjointness.
- Concrete matrix or commutative examples could be checked by hand to see how close the general case comes to failing.
- The result suggests that automatic continuity phenomena for module maps may be easier to establish once self-adjointness is assumed.
Load-bearing premise
The maps under consideration are self-adjoint.
What would settle it
An explicit counter-example consisting of a non-self-adjoint bounded A-linear map from N to N (or to A) that vanishes on M yet is nonzero somewhere would show the general claim fails.
read the original abstract
We find first structural background information about the reasons that for any C*-algebra $A$ and any two Hilbert $A$-modules $M \subseteq N$ with $M^\perp=\{0\}$, every bounded $A$-linear map $N \to A$ (or $N \to N)$ vanishing on $M$ might be only the zero map. The self-adjoint case is proved, whereas the general case is open with partial insights. Unfortunately, the proof of Lemma 3.3 of our first version contains the implicit assumption that the projection $P$ and the operator $S$ commute, which is not the case for non-zero non-self-adjoint operators $S$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates conditions under which bounded A-linear maps (functionals or operators) on Hilbert C*-modules N, vanishing on a submodule M with M^perp = {0}, must be identically zero. It supplies structural background for this property and proves the claim in the self-adjoint case; the general (non-self-adjoint) case is left open. The abstract explicitly corrects an error from the first version, noting that the proof of Lemma 3.3 implicitly assumed commutativity of a projection P and operator S, an assumption valid only for self-adjoint S.
Significance. If the self-adjoint result holds, the paper establishes a useful determination property for bounded self-adjoint modular maps on Hilbert C*-modules, extending standard facts about dense submodules and orthogonality. This contributes to the theory of regular operators and functionals in C*-module settings, with potential relevance to noncommutative geometry and operator-algebraic regularity conditions. The explicit correction of the prior commutativity assumption and the clear demarcation of the open general case strengthen the manuscript's reliability.
minor comments (2)
- [Abstract / §1] The title refers to 'regular' modules/operators, but the abstract does not define this term or explicitly link the proved vanishing property to regularity; a brief clarification in §1 would help readers connect the title to the main result.
- [Abstract] Lemma 3.3 is referenced in the abstract as the site of the prior error; the current version should include a short remark (perhaps in the introduction or before the lemma) confirming that the corrected argument applies precisely to the self-adjoint setting.
Simulated Author's Rebuttal
We thank the referee for the positive assessment and recommendation to accept the manuscript. The report accurately summarizes the structural results for self-adjoint bounded A-linear maps and the explicit correction of the commutativity assumption from the first version.
Circularity Check
No significant circularity detected
full rationale
The paper states and proves the self-adjoint case of the main claim (bounded A-linear self-adjoint maps N to A or N vanishing on M with M perp =0 are zero) while leaving the general case open. No equations, lemmas, or derivation steps are exhibited that reduce the result to a fitted parameter, a self-definition, or a load-bearing self-citation chain. The argument is presented as relying on standard Hilbert C*-module properties and is self-contained once the noted commuting-assumption correction is applied; the reader's assessment of score 2.0 is consistent with this absence of any quoted reduction to inputs by construction.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.