pith. sign in

arxiv: 2207.13164 · v2 · submitted 2022-07-26 · 🧮 math.OA · math-ph· math.FA· math.MP

Regularity results for classes of Hilbert C*-modules with respect to special bounded modular functionals

Michael Frank This is my paper

Pith reviewed 2026-05-24 11:52 UTC · model grok-4.3

classification 🧮 math.OA math-phmath.FAmath.MP
keywords Hilbert C*-modulesbounded modular functionalsuniqueness of extensionW*-algebrasmonotone complete C*-algebrascompact C*-algebrasone-sided maximal modular ideals
0
0 comments X

The pith

Zero functional on Hilbert C*-module M extends uniquely to N when M^bot equals zero and the coefficient algebra is W*, monotone complete, or compact.

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

The paper examines pairs of Hilbert C*-modules M inside N over a C*-algebra A where the orthogonal complement of M is zero, and asks when the only bounded A-linear functional on N that vanishes on M must be the zero functional. It establishes that this uniqueness of extension holds whenever A is a W*-algebra, a monotone complete C*-algebra, or a compact C*-algebra, and also when A is any one-sided maximal modular ideal of an arbitrary C*-algebra. The result is tied to an equivalence: a separating non-zero functional exists if and only if there is a bounded non-adjointable A-linear operator T0 on N whose kernel contains M but is not biorthogonally closed. A corrected proof is supplied for an earlier lemma in the monotone complete and compact cases.

Core claim

Uniqueness of extension of the zero functional from M to N holds for any such pairs of Hilbert C*-modules over W*-algebras, over monotone complete C*-algebras and over compact C*-algebras. Moreover, uniqueness of extension takes place also for any one-sided maximal modular ideal of any C*-algebra. Such a non-zero separating bounded A-linear functional r0 exist for a given pair of full Hilbert C*-modules M ⊆ N over a given C*-algebra A iff there exists a bounded A-linear non-adjointable operator T0: N → N such that the kernel of T0 is not biorthogonally closed w.r.t. N and contains M.

What carries the argument

Uniqueness of extension of the zero functional from M to N for pairs with M^bot = {0}, equivalently the non-existence of a bounded non-adjointable A-linear operator T0 whose kernel contains M but fails to be biorthogonally closed.

If this is right

  • No non-trivial bounded A-linear functional on N can vanish on M for pairs satisfying the conditions over the listed algebras.
  • The separating-functional condition is equivalent to the existence of a bounded non-adjointable operator T0 on N with M contained in its kernel and the kernel not biorthogonally closed.
  • A correct argument is now available for the relevant lemma when the coefficient algebra is monotone complete or compact.

Where Pith is reading between the lines

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

  • The result isolates a regularity property that fails in general C*-algebras, as shown by the cited counterexample.
  • It may be useful to check whether the same uniqueness holds when A is a C*-algebra with other completeness or ideal properties not covered here.
  • The operator characterization could be used to construct explicit counterexamples outside the listed classes.

Load-bearing premise

The coefficient algebra A belongs to one of the listed classes (W*, monotone complete, compact) or is a one-sided maximal modular ideal of some C*-algebra.

What would settle it

Exhibit a pair M subset N with M^bot = {0} over a W*-algebra together with a non-zero bounded A-linear functional on N that vanishes on M.

read the original abstract

Considering the deeper reasons of the appearance of a remarkable counterexample by J.~Kaad and M.~Skeide [17] we consider situations in which two Hilbert C*-modules $M \subset N$ with $M^\bot = \{ 0 \}$ over a fixed C*-algebra $A$ of coefficients cannot be separated by a non-trivial bounded $A$-linear functional $r_0: N \to A$ vanishing on $M$. In other words, the uniqueness of extensions of the zero functional from $M$ to $N$ is focussed. We show this uniqueness of extension for any such pairs of Hilbert C*-modules over W*-algebras, over monotone complete C*-algebras and over compact C*-algebras. Moreover, uniqueness of extension takes place also for any one-sided maximal modular ideal of any C*-algebra. Such a non-zero separating bounded $A$-linear functional $r_0$ exist for a given pair of full Hilbert C*-modules $M \subseteq N$ over a given C*-algebra $A$ iff there exists a bounded $A$-linear non-adjointable operator $T_0: N \to N$ such that the kernel of $T_0$ is not biorthogonally closed w.r.t. $N$ and contains $M$. This is a new perspective on properties of bounded modular operators that might appear in Hilbert C*-module theory. By the way, we find a correct proof of [13, Lemma 2.4] in the case of monotone complete and compact C*-algebras, but not in the general C*-case.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that for Hilbert C*-modules M ⊂ N with M^⊥ = {0} over a C*-algebra A, the zero bounded A-linear functional on M extends uniquely to N precisely when A is a W*-algebra, a monotone complete C*-algebra, a compact C*-algebra, or a one-sided maximal modular ideal of a C*-algebra. It supplies a corrected proof of Lemma 2.4 from reference [13] in the monotone-complete and compact cases (but not in general), and characterizes the existence of a non-zero separating functional r₀ via the existence of a bounded non-adjointable A-linear operator T₀ : N → N whose kernel contains M and is not biorthogonally closed in N.

Significance. If the derivations hold, the results identify concrete classes of coefficient algebras for which uniqueness of zero-functional extension is guaranteed, thereby clarifying the scope of the Kaad–Skeide counterexample and supplying a new operator-theoretic perspective on bounded modular maps. The explicit correction to the cited lemma constitutes a concrete service to the literature on Hilbert C*-modules over special C*-algebras.

minor comments (2)
  1. [Abstract] Abstract, final paragraph: the sentence beginning 'Such a non-zero separating bounded A-linear functional r₀ exist …' contains a subject-verb agreement error ('exist' should be 'exists').
  2. [Introduction / §2] The manuscript states that the corrected proof of [13, Lemma 2.4] works for monotone complete and compact C*-algebras but fails in the general C*-case; it would be helpful to indicate briefly in §2 or the introduction which step of the original argument relies on the extra completeness or compactness assumptions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were listed in the report, so we have no individual points requiring rebuttal or revision at this stage. The referee's description of the manuscript's contributions is accurate.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes uniqueness of zero-functional extension from M to N (M^bot={0}) for Hilbert C*-modules over W*-algebras, monotone complete C*-algebras, compact C*-algebras, and one-sided maximal modular ideals by direct appeal to the algebraic properties of those coefficient algebras. It supplies an explicit corrected proof of the referenced lemma in the monotone-complete and compact cases rather than invoking prior results as load-bearing. No equations reduce a claimed prediction or uniqueness statement to a fitted parameter or self-referential definition; the central claims remain independent of any self-citation chain and rest on standard module-theoretic arguments within the stated classes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Results rest on standard properties of the listed C*-algebra classes and the definition of Hilbert C*-modules and bounded modular functionals; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • domain assumption W*-algebras, monotone complete C*-algebras, and compact C*-algebras possess properties that force uniqueness of extension of the zero functional.
    The paper invokes these classes to obtain the uniqueness result.
  • domain assumption One-sided maximal modular ideals of any C*-algebra allow uniqueness of extension.
    Stated as an additional case where uniqueness holds.

pith-pipeline@v0.9.0 · 5836 in / 1157 out tokens · 19445 ms · 2026-05-24T11:52:41.326121+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages

  1. [1]

    P. Ara, M. Mathieu . Local Multiplier C*-Algebras. Springer Monographs in Mat hematics, Springer-Verlag London Limited, 2003

    work page 2003

  2. [2]

    M. B. Asadi, M. Frank, Z. Hassanpour-Yakhdani . Frameless Hilbert C*-modules. Glasgow Math. J. 61(2018), 25–31

    work page 2018

  3. [3]

    Baki ´c, B

    D. Baki ´c, B. Gulja ˇs. Hilbert C*-modules over C*-algebras of compact operators . Acta Sci. Math. (Szeged) 68(2002), 249–269

    work page 2002

  4. [4]

    Blackadar

    B. Blackadar . Operator Algebras: Theory of C*-Algebras and Von Neumann A lgebras. Encyclopaedia Math. Sciences v. 122, Springer, Berlin, 200 6/2011

    work page 2011

  5. [5]

    D. P. Blecher . On selfdual Hilbert modules. in: Operator Algebras and the ir Applications, Fields Institute Comm. , vol. 13, pp. 65–80, Amer. Math. Soc., Providence, RI, 1997

    work page 1997

  6. [6]

    L. G. Brown, J. Mingo, Nien-Tsu Shen . Quasi-multipliers and embeddings of Hilbert C*- bimodules. Canad. J. Math. 46(1994), no. 6, 1150-1174

    work page 1994

  7. [7]

    Cabrera Garc ´ıa, H

    M. Cabrera Garc ´ıa, H. G. Dales, ´A. Rodr´ıguez Palacios. Maximal left ideals in Banach algebras. Bull. London Math. Soc. 52(2020), issue 1, 1-15

    work page 2020

  8. [8]

    H. G. Dales . Banach Algebras and Automatic Continuity. London Mathema tical Society Monographs, Volume 24 (Clarendon Press, Oxford, 2000)

    work page 2000

  9. [9]

    J. Dixmier . On certains espaces consid´ er´ es par M. H. Stone. Sum. Bras. Math. II 11(1951), 151–182

    work page 1951

  10. [10]

    E. E. Floyd . Boolean algebras with patological order topologies. Pacific J. Math. 5(1955), no. 5, 687–689

    work page 1955

  11. [11]

    M. Frank . Self-duality and C*-reflexivity of Hilbert C*-modules. Zeitschr. Anal. Anw. 9(1990), 165–176

    work page 1990

  12. [12]

    M. Frank . Hilbert C*-modules over monotone complete C*-algebras. Math. Nachr. 175(1995), 61–83

    work page 1995

  13. [13]

    M. Frank . A multiplier approach to the Lance-Blecher theorem. Zeitschr. Anal. Anwend. 16(1997), 565–573

    work page 1997

  14. [14]

    M. Frank . Geometrical aspects of Hilbert C*-modules. Positivity 3(1999), 215–243

    work page 1999

  15. [15]

    M. Frank . On Hahn-Banach type theorems for Hilbert C*-modules. Internat. J. Math. 13(2002), 1–19

    work page 2002

  16. [16]

    Frank, D

    M. Frank, D. R. Larson . Frames in Hilbert C*-modules and C*-algebras. J. Operator Theory 48(2002), 273–314

    work page 2002

  17. [17]

    H. Gonshor . Injective hulls of C* -algebras II. Proc. Amer. Math. Soc. 24 (1970), 486–491

    work page 1970

  18. [18]

    P. Green . The local structure of twisted covariance algebras. Acta Math. 140(1978), 191-250

    work page 1978

  19. [19]

    Gulja ˇs

    B. Gulja ˇs. Orthogonal complementing in Hilbert C*-modules. Ann. Funct. Anal. 10(2019), 196–202

    work page 2019

  20. [20]

    M. Hamana . Injective envelopes of C*-algebras. J. Math. Soc. Japan 31(1979), no. 1, 181– 197

    work page 1979

  21. [21]

    M. Hamana. Tensor products for monotone complete C*-algebras, I. Japan. J. Math. 8(1982), no. 2, 259–283

    work page 1982

  22. [22]

    M. Hamana. Modules over monotone complete C*-algebras. Internat. J. Math. 3(1992), no. 2, 185–204. REGULARITY RESULTS FOR CLASSES OF HILBERT C*-MODULES 17

    work page 1992

  23. [23]

    Hewitt, K

    E. Hewitt, K. A. Ross . Abstract Harmonic Analysis. Vol. II: Structure and analys is of compact groups. Analysis on compact abelian groups. Grundl ehren Math. Wiss. 152, Springer- Verlag, Berlin, 1970

    work page 1970

  24. [24]

    J. Kaad, M. Skeide . Kernels of Hilbert C∗-module maps: a counterexample. J. Operator Theory 89(2023), no. 2, 343–348

    work page 2023

  25. [25]

    R. V. Kadison, G. K. Pedersen . Equivalence in operator algebras. Math. Scand. 27(1970), 205–222

    work page 1970

  26. [26]

    G. G. Kasparov . Hilbert C*-modules: the theorems of Stinespring and Voicu lescu. J. Op- erator Theory 4(1980), 133-150

    work page 1980

  27. [27]

    E. C. Lance . Unitary operators on Hilbert C*-modules. Bull. London Math. Soc. 26(1994), 363–366

    work page 1994

  28. [28]

    E. C. Lance . Hilbert C*-modules - a toolkit for operator algebraists. C ambridge University Press, Cambridge, England, London Mathematical Society Lecture Note Series 210, 1995

    work page 1995

  29. [29]

    A Hilbert C*-module admitting no frames

    Hanfeng Li . A Hilbert C*-module admitting no frames. Bull. London Math. Soc. 42(2010), 388–394

    work page 2010

  30. [30]

    Injective Hilbert C*-modules

    Huaxin Lin . Injective Hilbert C*-modules. Pacific J. Math. 154(1992), no. 1, 131–164

    work page 1992

  31. [31]

    B. Magajna . Hilbert C*-modules in which all closed submodules are comp lemented. Proc. Amer. Math. Soc. 125(1997), 849—852

    work page 1997

  32. [32]

    V. M. Manuilov, E. V. Troitsky . Hilbert C∗-Modules. American Mathematical Society, Providence, R.I., 2005

    work page 2005

  33. [33]

    V. M. Manuilov . On extendability of functionals on Hilbert C*-modules. Math. Nachr. (2023), https://doi.org/10.1002/mana.202200471, prepr int math.OA/2205.07089 at www.arxiv.org, https://doi.org/10.48550/arXiv.2205.07089

    work page doi:10.1002/mana.202200471 2023

  34. [34]

    G. J. Murphy . C∗-Algebras and Operator Theory. Academic Press, Boston, 200 4

    work page

  35. [35]

    W. L. Paschke . Inner product modules over B∗-algebras. Trans. Amer. Math. Soc. 182(1973), 443–468

    work page 1973

  36. [36]

    W. L. Paschke . Inner product modules arising from compact automorphism g roups of von Neumann algebras. Trans. Amer. Math. Soc. 224(1976), 87–102

    work page 1976

  37. [37]

    G. K. Pedersen . Multipliers of A W*-algebras. Math. Z. 187(1984), 23-24

    work page 1984

  38. [38]

    G. K. Pedersen . Factorizations in C*-algebras. Expos. Math. 16(1998), no. 2, 145–156

    work page 1998

  39. [39]

    G. K. Pedersen . C*-Algebras and Their Automorphism Groups. Academic Pres s (Elsevier), 2nd extended edition, London, 2018

    work page 2018

  40. [40]

    Kazuyuki Sait ˆo, J. D. Maitland Wright . Monotone Complete C*-algebras and Generic Dynamics. Springer-Verlag, London, 2015

    work page 2015

  41. [41]

    O. M. Shalit, M. Skeide . CP-semigroups and dilations, subproduct systems and supe rprod- uct systems: the multi-parameter case and beyond. Dissertationes Mathematicae 585(2023), 1–233, doi: 10.4064/dm823-5-2022

    work page doi:10.4064/dm823-5-2022 2023

  42. [42]

    O. M. Shalit, B. Solel . Subproduct systems. Documenta Mathematica 14(2009), 801–868

    work page 2009

  43. [43]

    B. Solel . Isometries of Hilbert C*-modules. Trans. Amer. Math. Soc. 353(2001), no. 11, 4637–4660

    work page 2001

  44. [44]

    N. E. Wegge-Olsen . K-theory and C*-algebras – a friendly approach. Oxford Uni versity Press, Oxford, 1993. Hochschule f ¨ur Technik, Wirtschaft und Kultur (HTWK) Leipzig, F akult ¨at Infor- matik und Medien, PF 301166, D-04251 Leipzig, Germany. Email address : michael.frank@htwk-leipzig.de

    work page 1993