Sheaves as modules

We revisit sheaves on locales by placing them in the context of the theory of quantale modules. The local homeomorphisms $p:X\to B$ are identified with the Hilbert $B$-modules that are equipped with a natural notion of basis. The homomorphisms of these modules are necessarily adjointable, and the resulting self-dual category yields a description of the equivalence between local homeomorphisms and sheaves whereby morphisms of sheaves arise as the ``operator adjoints’’ of the maps of local homeomorphisms.

💡 Research Summary

The paper revisits the classical equivalence between sheaves on a locale B and local homeomorphisms p : X → B, but it does so from the perspective of quantale‑module theory. The authors begin by treating the locale B as a complete quantale and consider B‑modules equipped with a B‑valued inner product ⟨‑,‑⟩_B. When such a module is also a complete join‑semilattice, it becomes a Hilbert B‑module. This algebraic structure provides a natural setting for describing “sections” of a sheaf as elements of a module.

A central contribution is the introduction of a notion of basis for a Hilbert B‑module. A family {e_i}_i is called a basis if each e_i is idempotent with respect to the inner product (⟨e_i,e_i⟩_B = 1_B) and orthogonal to the others (⟨e_i,e_j⟩_B = 0_B for i ≠ j). The authors show that for any local homeomorphism p : X → B one can construct a Hilbert B‑module M_p whose basis elements correspond bijectively to the points of X; the action of B on a basis element is given by e_x·b = e_x ∧ b. In this way the open subsets of B that appear in the usual sheaf description are recovered as the “coefficients” of the basis elements.

The second major technical result is that every B‑linear map f : M → N between Hilbert B‑modules automatically admits a right adjoint f^† : N → M satisfying ⟨f(m),n⟩_N = ⟨m,f^†(n)⟩_M for all m∈M, n∈N. This property relies crucially on the completeness of the underlying quantale and on the join‑preserving nature of the module operations. Consequently the category of Hilbert B‑modules together with B‑linear maps is self‑dual: morphisms can be reversed simply by taking adjoints.

With these tools the authors reconstruct the classical equivalence. Given a local homeomorphism p : X → B, the associated Hilbert B‑module M_p is defined as above. A continuous map of local homeomorphisms f : X → Y induces a B‑linear map f_* : M_p → M_q. The adjoint f^* of f_* coincides with the usual pull‑back (inverse image) functor on sheaves. Thus the “operator adjoint” of a map of local homeomorphisms is precisely the morphism of sheaves that the traditional theory assigns to the same geometric data. This yields a clean, algebraic description of the equivalence: local homeomorphisms ↔ Hilbert B‑modules with basis, and morphisms ↔ adjointable B‑linear maps.

The paper concludes by discussing the broader significance of this viewpoint. By embedding sheaf theory into quantale‑module and Hilbert‑module language, one opens a bridge to non‑commutative geometry, quantum logic, and operator algebra. The self‑dual nature of the resulting category eliminates the need for separate “push‑forward” and “pull‑back” constructions; both are unified as a single adjoint pair. Moreover, the authors suggest that the framework should extend to non‑complete quantales or to locales that are not sober, potentially leading to new generalized sheaf concepts. Future work is outlined, including the exploration of non‑commutative quantales, connections with categorical quantum mechanics, and applications to the semantics of programming languages where sheaf‑like structures appear.