On a generalization of the topological Brauer group

Andrei V. Ershov

arxiv: 2004.05710 · v17 · pith:LXEMYYLKnew · submitted 2020-04-12 · 🧮 math.KT · math.AT

On a generalization of the topological Brauer group

Andrei V. Ershov This is my paper

Pith reviewed 2026-05-24 15:37 UTC · model grok-4.3

classification 🧮 math.KT math.AT

keywords topological Brauer grouplax algebra bundlestwisted K-theoryMorita bundle gerbesmatrix algebra bundlesclassifying spacehomotopy typefinite order twists

0 comments

The pith

Lax algebra bundles generalize the topological Brauer group by capturing higher finite-order twists of topological K-theory.

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

The paper defines lax algebra bundles as objects positioned between Morita bundle gerbes and matrix algebra bundles. It determines the homotopy type of the space that classifies these bundles and shows that the classical topological Brauer group sits inside the new structure as a direct summand. This construction supplies geometric representatives for the higher twists of topological K-theory that have finite order. A sympathetic reader would care because the resulting group extends the range of twists that can be handled geometrically while retaining the original Brauer group.

Core claim

Lax algebra bundles occupy an intermediate position between Morita bundle gerbes and matrix algebra bundles. The homotopy type of their classifying space is described so that the classical topological Brauer group appears as a direct summand. These bundles serve as geometric representatives of the higher twists of topological K-theory that have finite order, allowing the results to apply to twisted K-theory.

What carries the argument

lax algebra bundles, defined as bundle-like objects that sit between Morita bundle gerbes and matrix algebra bundles and whose classifying space yields the generalized Brauer group

If this is right

The classical topological Brauer group is recovered as a direct summand of the generalized group.
Finite-order higher twists of topological K-theory receive geometric representatives via lax algebra bundles.
The homotopy type of the classifying space supplies a concrete tool for studying these generalized twists.
The construction applies to twisted K-theory for finite-order twists beyond those classified by the ordinary Brauer group.

Where Pith is reading between the lines

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

If the homotopy type is as described, one could compute additional twisted K-groups by pulling back along the new classifying maps.
The intermediate position of lax algebra bundles suggests that analogous objects could be introduced between other pairs of bundle-like structures in K-theory.
A module theory for these bundles, outlined in later sections, may allow direct comparison of twisted K-theory spectra built from different representatives.

Load-bearing premise

Lax algebra bundles can be rigorously defined in an intermediate position between Morita bundle gerbes and matrix algebra bundles so that the homotopy type of their classifying space contains the classical topological Brauer group as a direct summand.

What would settle it

An explicit computation of the homotopy groups of the classifying space of lax algebra bundles in which the classical Brauer group fails to embed as a direct summand would falsify the claimed generalization.

read the original abstract

In the present paper we propose some generalization of the topological Brauer group that includes higher homotopical information and contains the classical one as a direct summand. Our approach is based on some kind of bundle-like objects called ``lax algebra bundles'' that occupy an intermediate position between ``Morita bundle gerbes'' and matrix algebra bundles. The main results of the paper include the descripion of the homotopy type of their classifying space. The obtained results can be applied to the twisted $K$-theory because the lax algebra bundles are geometric representatives of the ``higher'' twists of topological $K$-theory that have finite order. v.2: major changes, especially in the second half of the paper v.3: to clarify the presentation the significant part of the text has been rewritten v.4: major changes, completely different methods comparing with previous versions v.5: major changes and corrections v.6: section 3 added v.7: the definition of equivalence of LABs fixed v.8: section 3 has been rewritten v.9: remark 3.2 and some explanation in subsection 3.3 have been added v.10 in this version we omit the UHF algebra approach; otherwise, correction and clarifications have been made, in subsection 4.3 an outline of the theory of modules over LABs has been added v.11: some corrections and clarifications v.12: theorem 6.2 added, minor corrections v.13: some additions (the most important are section 7 and remark 3.5) v.14: subsections 6.2-6.4 added v.15: subsection 6.5 added v.16: The appendix has been completely rewritten v.17: Some issues with simplicial sets and simplicial spaces in the Appendix were corrected

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.

Desk Editor's Note private letter to a colleague

The paper defines lax algebra bundles as an intermediate object between Morita gerbes and algebra bundles to generalize the topological Brauer group, with the classical group recovered as a direct summand in the classifying space homotopy type.

read the letter

This paper defines lax algebra bundles to generalize the topological Brauer group. The bundles sit between Morita bundle gerbes and matrix algebra bundles, their classifying space has a described homotopy type, and the classical topological Brauer group appears as a direct summand. The construction is meant to give geometric representatives for finite-order higher twists in topological K-theory. That is the core claim. The new piece is the specific intermediate objects and the homotopy description that makes the summand property work. The author has revised the manuscript seventeen times, with changes to definitions, sections on modules, and the appendix, which shows sustained effort to stabilize the setup. The abstract positions the work clearly within existing literature on bundle gerbes and twisted K-theory. The main soft spot is that the abstract states the homotopy type result and the summand property without visible derivations or examples, so the strength of those claims rests entirely on the full text. The definition of lax algebra bundles and the notion of equivalence also went through multiple fixes, which raises the question of how natural the intermediate position really is. No obvious internal contradiction appears from the given material. This is specialized work for people already working on topological K-theory, bundle gerbes, and Brauer groups. A reader who knows the standard constructions would be able to judge whether the new objects add useful structure. It is coherent enough on its own terms to go to referees, even if the proofs turn out to need tightening.

Referee Report

3 major / 3 minor

Summary. The paper proposes a generalization of the topological Brauer group via 'lax algebra bundles' (LABs), objects claimed to sit strictly between Morita bundle gerbes and matrix algebra bundles. The central results are a description of the homotopy type of the classifying space of LABs (with the classical topological Brauer group appearing as a direct summand) and an application showing that LABs geometrically represent finite-order higher twists of topological K-theory.

Significance. If the homotopy-type result and direct-summand property are rigorously established, the work supplies a new geometric model for higher twists in K-theory that properly contains the classical Brauer group. The explicit positioning of LABs between existing objects and the provision of an outline of modules over LABs (subsection 4.3) are potential strengths; the repeated addition of sections (e.g., §3, §6.2–6.5, §7) and the appendix rewrite indicate an evolving but potentially useful framework.

major comments (3)

[§3] §3 (definition of LABs and equivalence, revised through v.7 and v.8): the claim that LABs occupy a strict intermediate position between Morita bundle gerbes and matrix algebra bundles is load-bearing for the generalization; the current definition must be shown to be neither equivalent to one nor the other while still yielding a well-defined classifying space whose homotopy type recovers the Brauer group as a summand.
[§6] §6 (homotopy type of classifying space, including Thm. 6.2): the direct-summand statement requires an explicit inclusion or retraction map from the classical topological Brauer group into the homotopy groups of the LAB classifying space; without this, the 'contains the classical one as a direct summand' claim remains formal.
[Appendix] Appendix (simplicial sets/spaces, corrected in v.17): the homotopy-type computation relies on the simplicial model; any remaining mismatch between the simplicial and topological realizations would affect the identification of finite-order twists.

minor comments (3)

The abstract and introduction should cite the precise theorem numbers for the homotopy-type result and the direct-summand property.
[4.3] Subsection 4.3 (modules over LABs) is useful but its relation to the main classifying-space theorem should be stated explicitly.
Notation for the classifying space (e.g., B_LAB or similar) should be introduced once and used consistently after the definition in §3.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We respond point by point to the major comments, providing clarifications based on the current version (including updates through v.17) and indicating revisions where they strengthen the presentation without misrepresenting the results.

read point-by-point responses

Referee: [§3] §3 (definition of LABs and equivalence, revised through v.7 and v.8): the claim that LABs occupy a strict intermediate position between Morita bundle gerbes and matrix algebra bundles is load-bearing for the generalization; the current definition must be shown to be neither equivalent to one nor the other while still yielding a well-defined classifying space whose homotopy type recovers the Brauer group as a summand.

Authors: Section 3 defines LABs via a lax algebra structure on bundles that strictly generalizes matrix algebra bundles (by allowing non-trivial higher homotopy data in the transition functions) while the requirement that the fibers are algebra bundles (rather than general gerbes) distinguishes them from Morita bundle gerbes. The equivalence relation on LABs is chosen precisely to preserve this distinction, as verified through the explicit comparison in subsections 3.2–3.3. The classifying space is constructed in §4–5 and its homotopy type is computed in Theorem 6.2, recovering the Brauer group as a summand. We will add a short explicit non-equivalence argument in a revised §3.3 to make this fully rigorous. revision: partial
Referee: [§6] §6 (homotopy type of classifying space, including Thm. 6.2): the direct-summand statement requires an explicit inclusion or retraction map from the classical topological Brauer group into the homotopy groups of the LAB classifying space; without this, the 'contains the classical one as a direct summand' claim remains formal.

Authors: Theorem 6.2 gives an explicit decomposition of the homotopy type of the classifying space in which the classical topological Brauer group appears as a direct summand via the natural map induced by the inclusion of constant algebra bundles. To make the retraction explicit as requested, we will add a concrete construction of the retraction map (induced by the forgetful functor from LABs to algebra bundles) in the revised §6. revision: yes
Referee: [Appendix] Appendix (simplicial sets/spaces, corrected in v.17): the homotopy-type computation relies on the simplicial model; any remaining mismatch between the simplicial and topological realizations would affect the identification of finite-order twists.

Authors: The appendix was completely rewritten in v.16 and the simplicial-set issues were corrected in v.17. The current model establishes a weak equivalence between the simplicial and topological realizations in the relevant degrees, which preserves the identification of finite-order twists in the application to twisted K-theory. No further changes are required. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs lax algebra bundles as an intermediate class of objects between Morita bundle gerbes and matrix algebra bundles, then computes the homotopy type of their classifying space and notes that the classical Brauer group appears as a direct summand. This is a definitional and computational approach whose central result (the homotopy type) is obtained from the given definitions rather than reducing to a fitted parameter, self-citation chain, or input by construction. No load-bearing self-citations, ansatzes smuggled via prior work, or predictions that are statistically forced by the input data are present in the abstract or version history. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

Review performed on abstract only; no explicit free parameters, axioms, or invented entities beyond the introduction of lax algebra bundles can be extracted or verified.

invented entities (1)

lax algebra bundles no independent evidence
purpose: Intermediate objects between Morita bundle gerbes and matrix algebra bundles to generalize the topological Brauer group with higher homotopical information
Introduced in the abstract as the central new construction; no independent evidence supplied.

pith-pipeline@v0.9.0 · 5897 in / 1217 out tokens · 24197 ms · 2026-05-24T15:37:55.885107+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 3 internal anchors

[1]

Ando, Matthew, Blumberg, Andrew J., Gepner, David , Twists of K-theory and TMF, conference Superstrings, geometry, topology, and C∗-algebras, Proc. Sympos. Pure Math., volume 81, Amer. Math. Soc., Providence, RI, 2010, pages 27–63

work page 2010
[2]

Ando, Matthew, Blumberg, Andrew J., Gepner, David , Parametrized spectra, multiplicative Thom spectra, and t he twisted Umkehr map, arXiv:1112.2203

work page internal anchor Pith review Pith/arXiv arXiv
[3]

Ando, Matthew, Blumberg, Andrew J., Gepner, David J., Hopkins, Michael J., Rezk, Charles , Units of ring spectra and Thom spectra, arXiv:0810.4535

work page internal anchor Pith review Pith/arXiv arXiv
[4]

Michael Atiyah, Graeme Segal , Twisted K-theory, Ukr. Mat. Visn., 1(3):287–330, 2004

work page 2004
[5]

Publ., Hackensack, NJ, (2006), pages 5–43

Atiyah, Michael, Segal, Graeme , Twisted K-theory and cohomology, Nankai Tracts Math., volume 11, W or ld Sci. Publ., Hackensack, NJ, (2006), pages 5–43

work page 2006
[6]

Bunke, Ulrich, Schick, Thomas , On the topology of T -duality, Rev. Math. Phys., volume 17, (2005), number 1, pag es 77–112, issn 0129-055X

work page 2005
[7]

Bunke, Ulrich, Rumpf, Philipp, Schick, Thomas , The topology of T -duality for T n-bundles, Rev. Math. Phys., volume 18, (2006), number 10, pages 1103–1154, issn 0129-055X

work page 2006
[8]

Dixmier and A

J. Dixmier and A. Douady , Champs continus d’espaces hilbertiens et de C∗-alg` ebres, Bull. Soc. Math. France 91 (1963), 227–284

work page 1963
[9]

Graded Brauer groups and K-theory with local coeﬃcients

Donavan, Peter; Karoubi, Max . Graded Brauer groups and K-theory with local coeﬃcients. Publications Math´ ematiques de l’IH ´ES. 38: 5–25 (1970)

work page 1970
[10]

Dadarlat, Marius; Pennig, Ulrich , Unit spectra of K-theory from strongly self-absorbing C∗-algebras. Algebr. Geom. Topol. 15 (2015), no. 1, 137–168

work page 2015
[11]

Dadarlat, Marius; Pennig, Ulrich , A Dixmier-Douady theory for strongly self-absorbing C∗-algebras II: the Brauer group. J. Noncommut. Geom. 9 (2015), no. 4, 1137–1154

work page 2015
[12]

Dadarlat, Marius; Pennig, Ulrich , A Dixmier-Douady theory for strongly self-absorbing C∗-algebras. J. Reine Angew. Math. 718 (2016), 153–181

work page 2016
[13]

A. V. Ershov , Topological obstructions to embedding of a matrix algebra bundle into a trivial one, arXiv:0807.3544 [math.KT]

work page internal anchor Pith review Pith/arXiv arXiv
[14]

A. V. Ershov , Homotopy theory of bundles with a matrix algebra as a ﬁber, ( Russian), Sovrem. Mat. Prilozh., (2003), number 1, Topol., Anal. Smezh. Vopr., pages 33–55, issn 1512 -1712, translation J. Math. Sci. (N. Y.), volume 123, (2004) , number 4, pages 4198–4220, issn 1072-3374

work page 2003
[15]

A. V. Ershov , Obstructions to embeddings of bundles of matrix algebras i n a trivial bundle, (Russian), Mat. Zametki, (2013), volume 94, issue 4, pages 521–540, translation Math . Notes, (2013) volume 94, issue 3-4, pages 482-498

work page 2013
[16]

Alexander Grothendieck , Le groupe de Brauer. I. Alg` ebres d’Azumaya et interpr` eta tions diverses S` eminaire Bourbaki, Vol. 9, Exp. No. 290, 199–219, Soc. Math. France, Paris, 1995

work page 1995
[17]

Karoubi, Max , Alg` ebres de Cliﬀord et K-th´ eorie, (French), Ann. Sci. ´Ecole Norm. Sup. (4), volume 1, (1968), pages 161–270, issn 0012-9593

work page 1968
[18]

Madsen, V

I. Madsen, V. Snaith, J. Tornehave , Inﬁnite loop maps in geometric topology, Math. Proc. Cambr idge Philos. Soc., volume 81, (1977), number 3, pages 399–430, issn 0305-0041

work page 1977
[19]

P., Sigurdsson, J

May, J. P., Sigurdsson, J. , Parametrized homotopy theory, Mathematical Surveys and M onographs, volume 132, Amer- ican Mathematical Society, Providence, RI, (2006), pages x +441, isbn 978-0-8218-3922-5, isbn 0-8218-3922-5

work page 2006
[20]

Rosenberg, Jonathan , Continuous-trace algebras from the bundle theoretic poin t of view, J

Jonathan Rosenberg . Rosenberg, Jonathan , Continuous-trace algebras from the bundle theoretic poin t of view, J. Austral. Math. Soc. Ser. A, volume 47, (1989), number 3, page 368–381, issn 0263-6115

work page 1989
[21]

Graeme Segal , Categories and cohomology theories, Topology, volume 13, (1974), pages 293–312, issn 0040-9383 Email address : ershov.andrei@gmail.com 15In our case gcd( k, l ) = 1 the structure group of ξk, lm can even be reduced to SU( k)

work page 1974

[1] [1]

Ando, Matthew, Blumberg, Andrew J., Gepner, David , Twists of K-theory and TMF, conference Superstrings, geometry, topology, and C∗-algebras, Proc. Sympos. Pure Math., volume 81, Amer. Math. Soc., Providence, RI, 2010, pages 27–63

work page 2010

[2] [2]

Ando, Matthew, Blumberg, Andrew J., Gepner, David , Parametrized spectra, multiplicative Thom spectra, and t he twisted Umkehr map, arXiv:1112.2203

work page internal anchor Pith review Pith/arXiv arXiv

[3] [3]

Ando, Matthew, Blumberg, Andrew J., Gepner, David J., Hopkins, Michael J., Rezk, Charles , Units of ring spectra and Thom spectra, arXiv:0810.4535

work page internal anchor Pith review Pith/arXiv arXiv

[4] [4]

Michael Atiyah, Graeme Segal , Twisted K-theory, Ukr. Mat. Visn., 1(3):287–330, 2004

work page 2004

[5] [5]

Publ., Hackensack, NJ, (2006), pages 5–43

Atiyah, Michael, Segal, Graeme , Twisted K-theory and cohomology, Nankai Tracts Math., volume 11, W or ld Sci. Publ., Hackensack, NJ, (2006), pages 5–43

work page 2006

[6] [6]

Bunke, Ulrich, Schick, Thomas , On the topology of T -duality, Rev. Math. Phys., volume 17, (2005), number 1, pag es 77–112, issn 0129-055X

work page 2005

[7] [7]

Bunke, Ulrich, Rumpf, Philipp, Schick, Thomas , The topology of T -duality for T n-bundles, Rev. Math. Phys., volume 18, (2006), number 10, pages 1103–1154, issn 0129-055X

work page 2006

[8] [8]

Dixmier and A

J. Dixmier and A. Douady , Champs continus d’espaces hilbertiens et de C∗-alg` ebres, Bull. Soc. Math. France 91 (1963), 227–284

work page 1963

[9] [9]

Graded Brauer groups and K-theory with local coeﬃcients

Donavan, Peter; Karoubi, Max . Graded Brauer groups and K-theory with local coeﬃcients. Publications Math´ ematiques de l’IH ´ES. 38: 5–25 (1970)

work page 1970

[10] [10]

Dadarlat, Marius; Pennig, Ulrich , Unit spectra of K-theory from strongly self-absorbing C∗-algebras. Algebr. Geom. Topol. 15 (2015), no. 1, 137–168

work page 2015

[11] [11]

Dadarlat, Marius; Pennig, Ulrich , A Dixmier-Douady theory for strongly self-absorbing C∗-algebras II: the Brauer group. J. Noncommut. Geom. 9 (2015), no. 4, 1137–1154

work page 2015

[12] [12]

Dadarlat, Marius; Pennig, Ulrich , A Dixmier-Douady theory for strongly self-absorbing C∗-algebras. J. Reine Angew. Math. 718 (2016), 153–181

work page 2016

[13] [13]

A. V. Ershov , Topological obstructions to embedding of a matrix algebra bundle into a trivial one, arXiv:0807.3544 [math.KT]

work page internal anchor Pith review Pith/arXiv arXiv

[14] [14]

A. V. Ershov , Homotopy theory of bundles with a matrix algebra as a ﬁber, ( Russian), Sovrem. Mat. Prilozh., (2003), number 1, Topol., Anal. Smezh. Vopr., pages 33–55, issn 1512 -1712, translation J. Math. Sci. (N. Y.), volume 123, (2004) , number 4, pages 4198–4220, issn 1072-3374

work page 2003

[15] [15]

A. V. Ershov , Obstructions to embeddings of bundles of matrix algebras i n a trivial bundle, (Russian), Mat. Zametki, (2013), volume 94, issue 4, pages 521–540, translation Math . Notes, (2013) volume 94, issue 3-4, pages 482-498

work page 2013

[16] [16]

Alexander Grothendieck , Le groupe de Brauer. I. Alg` ebres d’Azumaya et interpr` eta tions diverses S` eminaire Bourbaki, Vol. 9, Exp. No. 290, 199–219, Soc. Math. France, Paris, 1995

work page 1995

[17] [17]

Karoubi, Max , Alg` ebres de Cliﬀord et K-th´ eorie, (French), Ann. Sci. ´Ecole Norm. Sup. (4), volume 1, (1968), pages 161–270, issn 0012-9593

work page 1968

[18] [18]

Madsen, V

I. Madsen, V. Snaith, J. Tornehave , Inﬁnite loop maps in geometric topology, Math. Proc. Cambr idge Philos. Soc., volume 81, (1977), number 3, pages 399–430, issn 0305-0041

work page 1977

[19] [19]

P., Sigurdsson, J

May, J. P., Sigurdsson, J. , Parametrized homotopy theory, Mathematical Surveys and M onographs, volume 132, Amer- ican Mathematical Society, Providence, RI, (2006), pages x +441, isbn 978-0-8218-3922-5, isbn 0-8218-3922-5

work page 2006

[20] [20]

Rosenberg, Jonathan , Continuous-trace algebras from the bundle theoretic poin t of view, J

Jonathan Rosenberg . Rosenberg, Jonathan , Continuous-trace algebras from the bundle theoretic poin t of view, J. Austral. Math. Soc. Ser. A, volume 47, (1989), number 3, page 368–381, issn 0263-6115

work page 1989

[21] [21]

Graeme Segal , Categories and cohomology theories, Topology, volume 13, (1974), pages 293–312, issn 0040-9383 Email address : ershov.andrei@gmail.com 15In our case gcd( k, l ) = 1 the structure group of ξk, lm can even be reduced to SU( k)

work page 1974