A new mathematical preprint proposes a way to treat direct integration of Banach-space families as a functor, meaning the operation is defined for both the families and the maps between them. It asks whether a sensible direct integral can be built for Banach-space families indexed by a measure space while retaining useful categorical and sheaf-theoretic properties.
The work stays at the level of abstract mathematical objects. It studies measurable families of Banach spaces and operators over measured topological spaces, extending the construction to direct integrals, representations and sheaves.
A more structured way to combine spaces
The proposed construction starts with categories of measurable Banach-space families. In the bounded version, the morphism families between fibers are required to be measurable and uniformly bounded. This setup allows the authors to track how maps and exact sequences behave when the construction is applied.
For the core category, the paper restricts attention to pointwise-separable abstract Banach bundles. Within that setting, the measurable and bounded abstract Banach-bundle categories are proved to be quasi-abelian, the paper's term for the exactness framework it develops.
That structure is carried through several parts of the framework. The measurable-sections functor is strictly exact, and the pointwise evaluation functors are strongly exact. The direct-integral functor from the bounded bundle category to Banach spaces is also strongly exact, provided the paper's uniform-boundedness and integrability conditions hold.
Local behavior, duality and operator kernels
The paper then examines local behavior. For a continuous abstract Banach bundle, local embedding maps become arbitrarily close to isometries as the neighborhood around a point shrinks. For a measurable bundle, the corresponding local bounds converge to 1 outside a measure-zero subset, so the result is stated almost everywhere rather than pointwise everywhere.
A second result concerns duality, the passage between a space and the linear functionals that act on it. Pairing the direct integral with an integral built from shrinking dual fibers produces an isometric linear map. The map need not be onto without additional hypotheses, but under conditions including almost all fibers being shrinking, the paper reports that it becomes an isomorphism.
The framework also gives a representation for a class of bounded operators between the specified direct-integral spaces. Under the theorem's stated hypotheses, such an operator can be described using a measure, a disintegration and an essentially bounded family of fiberwise operators. Together, those ingredients provide an integral-kernel representation, turning a global operator into a structured family of local ones.
The important boundary: sheaves may not glue indefinitely
The sharpest qualification appears in the treatment of sheaves, mathematical objects whose local pieces are meant to agree and combine consistently. In the bounded presheaf setting, fiberwise evaluation detects whether the object has the sheaf property. When almost all evaluated fibers are sheaves, the direct-integral presheaf is local and has finite gluing.
That result does not extend automatically to arbitrary gluing. The direct integral of sheaves need not satisfy the infinite gluing axiom, according to a counterexample in the paper. The framework therefore uses sheafification when a full sheaf is required. Its stated result is finite gluing and locality, not unrestricted assembly of infinitely many compatible pieces.
A framework with several conditions attached
The core category focuses on pointwise-separable abstract Banach bundles. The paper notes that several later analytic results come with restrictions on the underlying field and integrability exponents, and that non-Archimedean cases have narrower definitions. Whether the separability condition can be removed remains open in the paper.
The duality identification needs further conditions, including sigma-finiteness, a non-infinite exponent and shrinking fibers almost everywhere. The integral-kernel theorem likewise depends on assumptions about the base spaces, field, exponents, bounded operator and target fibers. These restrictions mean the paper does not provide a general result for every existing notion of Banach bundle.
Finally, the document is an arXiv preprint labeled arXiv:2608.25603v1 and dated 26 Aug 2026. Its acknowledgements thank the Teach@Tübingen Fellowship stipend and the University of Tübingen for financial support. The paper leaves open what conditions could guarantee infinite gluing for direct-integral sheaves.
Paper data and sources
Original title: A Categorical Framework for the Direct Integration of Banach Spaces
Authors: Daniel Funck, Giacomo Gavelli
Journal/Repository: arXiv
Status: Preprint, not yet peer-reviewed
First online: 2026-08-26
DOI: Not available
Original paper · Full text