pith. sign in

arxiv: 2606.12134 · v1 · pith:AZOAYVASnew · submitted 2026-06-10 · 🧮 math.OA

A non-locally trivial W^*-bundle with fixed factorial fibres

Kiefer Mommaerts This is my paper

Pith reviewed 2026-06-27 07:31 UTC · model grok-4.3

classification 🧮 math.OA
keywords W*-bundlesII1 factorslocal trivialityspectral gapoperator algebrasnon-locally trivial bundlescovering dimension zero
0
0 comments X

The pith

A W*-bundle with every fibre isomorphic to one fixed II1 factor need not be locally trivial.

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

The paper constructs the first example of a non-locally trivial W*-bundle in which every fibre is isomorphic to the same II1 factor. It introduces the uniform spectral gap property for W*-bundles and shows that its absence blocks local triviality when fibres are fixed and factorial. This produces examples even when the base space has covering dimension zero, separating constant fibres from local triviality in W*-bundle theory.

Core claim

We construct the first example of a non-locally trivial W*-bundle whose fibres are all isomorphic to some fixed II1 factor. This is achieved by introducing a notion of uniformly having spectral gap for W*-bundles. For bundles with fixed factorial fibres, the negation of having this uniform spectral gap property provides an obstruction for being locally trivial. This results in seemingly elementary examples of W*-bundles whose fibres are all isomorphic to some fixed factor but that are not locally trivial, even over spaces with covering dimension equal to zero.

What carries the argument

The uniform spectral gap property for W*-bundles, whose negation obstructs local triviality when all fibres are isomorphic to a fixed II1 factor.

Load-bearing premise

The negation of the uniform spectral gap property provides an obstruction to local triviality specifically for W*-bundles with fixed factorial fibres.

What would settle it

An explicit W*-bundle with all fibres isomorphic to a fixed II1 factor that lacks uniform spectral gap yet remains locally trivial.

read the original abstract

In this paper we construct the first example of a non-locally trivial $\mathrm{W}^*$-bundle whose fibres are all isomorphic to some fixed $\mathrm{II}_1$ factor. This is achieved by introducing a notion of uniformly having spectral gap for $\mathrm{W}^*$-bundles. For bundles with fixed factorial fibres, the negation of having this uniform spectral gap property provides an obstruction for being locally trivial. This results in seemingly elementary examples of $\mathrm{W}^*$-bundles whose fibres are all isomorphic to some fixed factor but that are not locally trivial, even over spaces with covering dimension equal to zero.

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

2 major / 2 minor

Summary. The paper constructs the first example of a non-locally trivial W*-bundle with all fibres isomorphic to a fixed II_1 factor. It introduces a notion of 'uniformly having spectral gap' for W*-bundles and shows that, for bundles with fixed factorial fibres, the negation of this property obstructs local triviality. This yields examples even over base spaces of covering dimension zero.

Significance. If the construction and the obstruction are correct, the result is significant: it supplies the first concrete counterexamples to local triviality in the constant-fibre W*-bundle setting and introduces a new spectral-gap obstruction that may be useful more broadly in the classification of W*-bundles and C*-bundles. The zero-dimensional examples are particularly striking if the implication holds without extra topological hypotheses.

major comments (2)
  1. [Definition of uniform spectral gap and the implication theorem (likely §2–3)] The central obstruction claim (local triviality implies uniform spectral gap for fixed II_1 fibres) must be verified with explicit quantifiers. The abstract states the implication, but the proof must confirm it holds for the zero-dimensional base spaces used in the examples without requiring positive covering dimension or paracompactness; otherwise the obstruction does not apply to the constructed bundles.
  2. [Construction of the examples (likely §4)] The concrete examples must be checked to ensure they indeed fail the uniform spectral gap property while having constant II_1 fibres; the construction details (how the bundle is assembled from the factor and the base) need to be spelled out so that the failure can be verified directly rather than asserted.
minor comments (2)
  1. Clarify the precise definition of 'uniformly having spectral gap' with all quantifiers (over sections, over the base, over the factor) made explicit; the current abstract phrasing leaves the uniformity quantifier ambiguous.
  2. Add a short comparison with existing notions of spectral gap for bundles or for actions to situate the new definition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We appreciate the recognition of the potential significance of the results and will revise the paper to improve clarity on the points raised.

read point-by-point responses

  1. Referee: [Definition of uniform spectral gap and the implication theorem (likely §2–3)] The central obstruction claim (local triviality implies uniform spectral gap for fixed II_1 fibres) must be verified with explicit quantifiers. The abstract states the implication, but the proof must confirm it holds for the zero-dimensional base spaces used in the examples without requiring positive covering dimension or paracompactness; otherwise the obstruction does not apply to the constructed bundles.

    Authors: We agree that explicit quantifiers and confirmation of applicability to zero-dimensional bases improve the exposition. Section 2 defines the uniform spectral gap property via a single δ > 0 that works uniformly over the entire base. The implication in Section 3 is proved for an arbitrary topological base space using only the definition of local triviality and factoriality of the fibres; the argument transfers a gap from the trivial bundle via local sections and does not invoke covering dimension or paracompactness. We will add an explicit remark after the theorem stating that the result applies verbatim to bases of covering dimension zero, and we will restate the quantifiers in the theorem statement for emphasis. revision: yes

  2. Referee: [Construction of the examples (likely §4)] The concrete examples must be checked to ensure they indeed fail the uniform spectral gap property while having constant II_1 fibres; the construction details (how the bundle is assembled from the factor and the base) need to be spelled out so that the failure can be verified directly rather than asserted.

    Authors: We accept that the construction section would benefit from greater explicitness. The bundles are assembled by equipping a fixed II_1 factor M with a continuous field of *-homomorphisms from C(X) into the multiplier algebra that realize constant fibres isomorphic to M while ensuring the gap constants deteriorate uniformly; the zero-dimensional base is chosen so that no single δ works globally. We will expand Section 4 with a step-by-step description of the assembly, including the explicit choice of the base space and direct estimates showing that the infimum of the gap constants over the base is zero. revision: yes

Circularity Check

0 steps flagged

No circularity detected; new notion introduced without self-referential reduction in visible text

full rationale

The abstract introduces a new notion of 'uniformly having spectral gap' for W*-bundles and states that its negation obstructs local triviality for fixed factorial fibres. No equations, explicit definitions, or self-citations are provided that would allow verification of whether the implication 'local triviality implies uniform spectral gap' holds by construction or requires independent proof. The construction is presented as yielding examples that fail the property, but without the paper's definitions or derivation steps quoted, no reduction to inputs by definition can be exhibited. This is the expected honest non-finding when the source supplies only high-level claims.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review performed on abstract only; no free parameters, axioms, or invented entities can be extracted or audited from the given text.

pith-pipeline@v0.9.1-grok · 5619 in / 976 out tokens · 18304 ms · 2026-06-27T07:31:25.910455+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

16 extracted references · 9 canonical work pages

  1. [1]

    Ozawa, Narutaka , TITLE =. J. Math. Sci. Univ. Tokyo , FJOURNAL =. 2013 , NUMBER =

    2013

  2. [2]

    Evington, Samuel , year=

  3. [3]

    Internat

    Evington, Samuel and Pennig, Ulrich , TITLE =. Internat. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1142/S0129167X16500889 , URL =

    work page doi:10.1142/s0129167x16500889 2016

  4. [4]

    Carrión and Jorge Castillejos and Samuel Evington and James Gabe and Christopher Schafhauser and Aaron Tikuisis and Stuart White , year=

    José R. Carrión and Jorge Castillejos and Samuel Evington and James Gabe and Christopher Schafhauser and Aaron Tikuisis and Stuart White , year=. Tracially Complete. 2310.20594 , archivePrefix=

    arXiv

  5. [5]

    Connes, Alain , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1976 , NUMBER =. doi:10.2307/1971057 , URL =

    work page doi:10.2307/1971057 1976

  6. [6]

    Marrakchi, Amine , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/proc/14034 , URL =

    work page doi:10.1090/proc/14034 2018

  7. [7]

    Popa, Sorin , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2012 , NUMBER =. doi:10.1090/S0002-9947-2012-05389-X , URL =

    work page doi:10.1090/s0002-9947-2012-05389-x 2012

  8. [8]

    Ioana, Adrian , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2015 , NUMBER =. doi:10.24033/asens.2239 , URL =

    work page doi:10.24033/asens.2239 2015

  9. [9]

    Castillejos, Jorge and Evington, Samuel and Tikuisis, Aaron and White, Stuart , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , NUMBER =. doi:10.1093/imrn/rnaa282 , URL =

    work page doi:10.1093/imrn/rnaa282 2022

  10. [10]

    and Sato, Yasuhiko and Tikuisis, Aaron and White, Stuart and Winter, Wilhelm , TITLE =

    Bosa, Joan and Brown, Nathanial P. and Sato, Yasuhiko and Tikuisis, Aaron and White, Stuart and Winter, Wilhelm , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/memo/1233 , URL =

    work page doi:10.1090/memo/1233 2019

  11. [11]

    Operator algebras, unitary representations, enveloping algebras, and invariant theory (

    Voiculescu, Dan , TITLE =. Operator algebras, unitary representations, enveloping algebras, and invariant theory (. 1990 , ISBN =

    1990

  12. [12]

    , TITLE =

    Kazhdan, David A. , TITLE =. Funkcional. Anal. i Prilo zen. , FJOURNAL =. 1967 , PAGES =

    1967

  13. [13]

    and Ozawa, Narutaka , TITLE =

    Brown, Nathanial P. and Ozawa, Narutaka , TITLE =. 2008 , PAGES =. doi:10.1090/gsm/088 , URL =

    work page doi:10.1090/gsm/088 2008

  14. [14]

    2024 , eprint=

    Spectral gap and character limits in arithmetic groups , author=. 2024 , eprint=

    2024

  15. [15]

    An introduction to

    Anantharaman, Claire and Popa, Sorin , pages =. An introduction to. 2010 , url =

    2010

  16. [16]

    , TITLE =

    Kechris, Alexander S. , TITLE =. 1995 , PAGES =. doi:10.1007/978-1-4612-4190-4 , URL =

    work page doi:10.1007/978-1-4612-4190-4 1995