pith. sign in

arxiv: 2512.03511 · v2 · pith:CUMXXGAFnew · submitted 2025-12-03 · 🧮 math.KT · math.RT

Magnetic Equivariant Graded Brauer Group

Higinio Serrano , Bernardo Uribe This is my paper

Pith reviewed 2026-05-21 18:25 UTC · model grok-4.3

classification 🧮 math.KT math.RT
keywords magnetic equivariant graded Brauer groupcentral simple graded algebrasmagnetic groupsequivariant K-theorytwistingssimilarity classesabelian group structure
0
0 comments X

The pith

Similarity classes of magnetic equivariant central simple graded algebras over the complex numbers form an abelian group that parametrizes twistings of magnetic equivariant 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 the magnetic equivariant graded Brauer group for any given magnetic finite group as the set of similarity classes of magnetic equivariant central simple graded algebras over the complex numbers. It proves that this set carries the structure of an abelian group and computes that structure explicitly. The construction follows Karoubi by showing that group elements label the possible twistings of magnetic equivariant K-theory evaluated at a single point. A reader might care because the result supplies an algebraic classification tool for deformations in equivariant K-theory when magnetic symmetries are present.

Core claim

Given a magnetic finite group, the set of similarity classes of magnetic equivariant central simple graded algebras over the complex numbers forms an abelian group, called the magnetic equivariant graded Brauer group, whose structure is explicitly determined. Elements of this group parametrize the twistings of the magnetic equivariant K-theory of a point.

What carries the argument

Similarity classes of magnetic equivariant central simple graded algebras over the complex numbers, with tensor product inducing the abelian group operation.

If this is right

  • Twistings of magnetic equivariant K-theory at a point are classified by an explicitly known abelian group.
  • Tensor product of two such algebras corresponds to addition of their associated twistings.
  • Every twisting has an inverse, so twistings can be cancelled.
  • The group structure is available for any magnetic finite group once the magnetic action is fixed.

Where Pith is reading between the lines

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

  • The same algebraic construction could be used to label twistings when the base space is not a point.
  • For magnetic groups that reduce to ordinary finite groups the new Brauer group should recover known graded Brauer groups.
  • Explicit tables of the group for small magnetic groups would give concrete lists of admissible twistings.

Load-bearing premise

The similarity relation on magnetic equivariant central simple graded algebras is compatible with tensor product so that the set forms an abelian group, and Karoubi's parametrization argument applies directly without further conditions on the group or grading.

What would settle it

An explicit calculation of the magnetic equivariant graded Brauer group for one concrete magnetic finite group, followed by a direct check of whether its order and elements match the independently computed set of twistings in the corresponding magnetic equivariant K-theory of a point.

read the original abstract

Given a magnetic finite group, we consider the similarity classes of magnetic equivariant central simple graded algebras over the complex numbers. We call this set the magnetic equivariant graded Brauer group and its structure as an abelian group is explicitly determined. Following Karoubi, we argue that the elements of this graded Brauer group parametrize the twistings of the magnetic equivariant K-theory of a point.

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 manuscript defines the magnetic equivariant graded Brauer group as the set of similarity classes of magnetic equivariant central simple graded algebras over the complex numbers, for a given magnetic finite group. It claims that this set forms an abelian group whose structure is explicitly determined, and that its elements parametrize the twistings of the magnetic equivariant K-theory of a point, following Karoubi's parametrization.

Significance. If established, the result would extend the graded Brauer group and its parametrization role to the magnetic equivariant setting. This could provide a concrete tool for classifying twistings in magnetic equivariant K-theory, with potential relevance to equivariant topology or physics contexts involving magnetic symmetries. Explicit determination of the group structure would be a strength if supported by clear, self-contained arguments.

major comments (2)
  1. The abstract asserts that the structure is explicitly determined and that the parametrization follows Karoubi, but the text provides no derivation steps, no explicit group presentation (e.g., an isomorphism to a known abelian group such as ℤ/2ℤ or a product), and no verification that similarity classes form a group under tensor product. This is load-bearing for the central claim that the set is an abelian group.
  2. The compatibility of the similarity relation with tensor product under magnetic equivariance is not verified. In particular, it is unclear whether the tensor product preserves magnetic equivariance, centrality, and graded simplicity up to similarity, or whether the opposite algebra carries a compatible magnetic action (especially for non-abelian groups, where cocycle obstructions may arise). This directly affects the well-definedness of the group operation and existence of inverses.
minor comments (2)
  1. Include a specific citation to Karoubi's relevant work and a short outline of the adaptations required for the magnetic equivariant graded case.
  2. Define 'magnetic finite group' and the precise meaning of 'magnetic equivariant' at the outset, including any homomorphism or cocycle data involved.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We agree that the current text requires additional explicit derivations and verifications to fully support the central claims. We will revise the manuscript to include these details while preserving the overall structure and results.

read point-by-point responses

  1. Referee: The abstract asserts that the structure is explicitly determined and that the parametrization follows Karoubi, but the text provides no derivation steps, no explicit group presentation (e.g., an isomorphism to a known abelian group such as ℤ/2ℤ or a product), and no verification that similarity classes form a group under tensor product. This is load-bearing for the central claim that the set is an abelian group.

    Authors: We acknowledge that although the abstract states the group structure is explicitly determined, the body of the manuscript does not contain the full derivation steps or an explicit isomorphism. In the revised version we will add a dedicated subsection that computes the group explicitly, establishing an isomorphism to a product of copies of ℤ/2ℤ indexed by the conjugacy classes of the magnetic finite group (or an analogous presentation derived from the graded central simple algebras). We will also insert a proposition that verifies the set of similarity classes forms an abelian group under tensor product, proving closure, associativity, commutativity, and the existence of an identity element by direct adaptation of the standard arguments to the magnetic-equivariant graded setting. revision: yes

  2. Referee: The compatibility of the similarity relation with tensor product under magnetic equivariance is not verified. In particular, it is unclear whether the tensor product preserves magnetic equivariance, centrality, and graded simplicity up to similarity, or whether the opposite algebra carries a compatible magnetic action (especially for non-abelian groups, where cocycle obstructions may arise). This directly affects the well-definedness of the group operation and existence of inverses.

    Authors: We agree that explicit verification of these compatibilities is required, particularly for non-abelian magnetic groups. In the revision we will add a lemma showing that the tensor product of two magnetic-equivariant central simple graded algebras remains magnetic equivariant, central, and graded simple up to similarity. We will also specify the induced magnetic action on the opposite algebra and prove that it is compatible with the grading and centrality conditions; any potential cocycle obstructions are shown to be resolved by the definition of magnetic equivariance, thereby establishing that the opposite algebra supplies the group inverse. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation adapts external Karoubi parametrization to new magnetic setting

full rationale

The paper defines the magnetic equivariant graded Brauer group directly as the set of similarity classes of magnetic equivariant central simple graded C-algebras and states that its abelian group structure is explicitly determined. It then follows Karoubi's prior argument to conclude that these classes parametrize twistings of magnetic equivariant K-theory of a point. Karoubi is external literature, not a self-citation. No equation or step reduces a claimed prediction or group structure to a fitted parameter or self-defined input by construction. The adaptation to the magnetic action and grading supplies independent content rather than renaming or re-deriving prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard background from graded algebra theory and equivariant K-theory. No free parameters appear because the result is a structural computation rather than a numerical fit. The main axioms are the usual properties of central simple algebras and the existence of a well-defined similarity relation that respects the group action and grading.

axioms (2)
  • domain assumption Similarity classes of central simple graded algebras form an abelian group under tensor product
    Invoked when the set is declared to be a group; this is a standard fact in Brauer group theory extended to the graded and equivariant setting.
  • domain assumption Karoubi's parametrization of twistings by Brauer group elements extends to the magnetic equivariant graded case
    Stated explicitly in the abstract as the justification for the K-theory interpretation.

pith-pipeline@v0.9.0 · 5576 in / 1584 out tokens · 55240 ms · 2026-05-21T18:25:11.775061+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

28 extracted references · 28 canonical work pages

  1. [1]

    M. F. Atiyah, R. Bott, and A. Shapiro. Clifford modules. Topology , 3(suppl):3--38, 1964

    work page 1964

  2. [2]

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

    work page 2004

  3. [3]

    Zirnbauer

    Alexander Altland and Martin R. Zirnbauer. Nonstandard symmetry classes in mesoscopic normal-superconducting hybrid structures. Phys. Rev. B , 55:1142--1161, Jan 1997

    work page 1997

  4. [4]

    John C. Baez. The tenfold way. Notices Amer. Math. Soc. , 67(10):1599--1601, 2020

    work page 2020

  5. [5]

    Kenneth S. Brown. Cohomology of groups , volume 87 of Grad. Texts Math. Springer, Cham, 1982

    work page 1982

  6. [6]

    Notes on spinors

    Pierre Deligne. Notes on spinors. In Quantum fields and strings: a course for mathematicians, V ol. 1, 2 ( P rinceton, NJ , 1996/1997) , pages 99--135. Amer. Math. Soc., Providence, RI, 1999

    work page 1996

  7. [7]

    Donovan and M

    P. Donovan and M. Karoubi. Graded B rauer groups and K -theory with local coefficients. Inst. Hautes \'Etudes Sci. Publ. Math. , (38):5--25, 1970

    work page 1970

  8. [8]

    Johan L. Dupont. Symplectic bundles and KR -theory. Math. Scand. , 24:27--30, 1969

    work page 1969

  9. [9]

    Freeman J. Dyson. The threefold way. A lgebraic structure of symmetry groups and ensembles in quantum mechanics. J. Mathematical Phys. , 3:1199--1215, 1962

    work page 1962

  10. [10]

    Freed and Gregory W

    Daniel S. Freed and Gregory W. Moore. Twisted equivariant matter. Ann. Henri Poincar\' e , 14(8):1927--2023, 2013

    work page 1927

  11. [11]

    Ueber lineare S ubstitutionen und bilineare F ormen

    Herrn Frobenius. Ueber lineare S ubstitutionen und bilineare F ormen. J. Reine Angew. Math. , 84:1--63, 1878

    work page

  12. [12]

    Fr \"o hlich

    A. Fr \"o hlich. Orthogonal and symplectic representations of groups. Proc. Lond. Math. Soc. (3) , 24:470--506, 1972

    work page 1972

  13. [13]

    Roman Geiko and Gregory W. Moore. Dyson's classification and real division superalgebras. J. High Energy Phys. , (4):Paper No. 299, 26, 2021

    work page 2021

  14. [14]

    Freed- M oore K -theory

    Kiyonori Gomi. Freed- M oore K -theory. Comm. Anal. Geom. , 31(4):979--1067, 2023

    work page 2023

  15. [15]

    Central simple algebras and G alois cohomology , volume 101 of Cambridge Studies in Advanced Mathematics

    Philippe Gille and Tam\'as Szamuely. Central simple algebras and G alois cohomology , volume 101 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2006

    work page 2006

  16. [16]

    Cohomologie des cat\'egories de B anach

    Max Karoubi. Cohomologie des cat\'egories de B anach. C. R. Acad. Sci. Paris S\'er. A-B , 263:A275--A278, 1966

    work page 1966

  17. [17]

    M. Karoubi. Alg \`e bres de Clifford et K -th \'e orie. Ann. Sci. \'E c. Norm. Sup \'e r. (4) , 1(2):161--270, 1968

    work page 1968

  18. [18]

    K -theory

    Max Karoubi. K -theory . Classics in Mathematics. Springer-Verlag, Berlin, 2008. An introduction, Reprint of the 1978 edition, With a new postface by the author and a list of errata

    work page 2008

  19. [19]

    Twisted \(K\) -theory -- old and new

    Max Karoubi. Twisted \(K\) -theory -- old and new. In \(K\)-theory and noncommutative geometry. Proceedings of the ICM 2006 satellite conference, Valladolid, Spain, August 31--September 6, 2006 , pages 117--149. Z \"u rich: European Mathematical Society (EMS), 2008

    work page 2006

  20. [20]

    Periodic table for topological insulators and superconductors

    Alexei Kitaev. Periodic table for topological insulators and superconductors. In AIP Conference Proceedings , volume 1134, pages 22--30. American Institute of Physics, 2009

    work page 2009

  21. [21]

    Twisted \(K\) -theory, real \(A\) -bundles and Grothendieck - Witt groups

    Max Karoubi and Charles Weibel. Twisted \(K\) -theory, real \(A\) -bundles and Grothendieck - Witt groups. J. Pure Appl. Algebra , 221(7):1629--1640, 2017

    work page 2017

  22. [22]

    T. Y. Lam. Introduction to quadratic forms over fields , volume 67 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2005

    work page 2005

  23. [23]

    Carl R. Riehm. Equivariant central simple graded algebras and the equivariant B rauer- W all group. J. Algebra , 287(2):501--520, 2005

    work page 2005

  24. [24]

    Schnyder, Shinsei Ryu, Akira Furusaki, and Andreas W

    Andreas P. Schnyder, Shinsei Ryu, Akira Furusaki, and Andreas W. W. Ludwig. Classification of topological insulators and superconductors in three spatial dimensions. Phys. Rev. B , 78:195125, Nov 2008

    work page 2008

  25. [25]

    Magnetic equivariant K -theory

    Bernardo Uribe Jongbloed, Higinio Serrano Garcia, and Miguel Alejandro Xicot \'e ncatl Merino. Magnetic equivariant K -theory. Topological invariants of magnetic symmetries (to appear) . Cham: Springer, 2026

    work page 2026

  26. [26]

    V. S. Varadarajan. Supersymmetry for mathematicians: an introduction , volume 11 of Courant Lecture Notes in Mathematics . New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2004

    work page 2004

  27. [27]

    C. T. C. Wall. Graded B rauer groups. J. Reine Angew. Math. , 213:187--199, 1963/64

    work page 1963

  28. [28]

    Eugene P. Wigner. Group theory and its application to the quantum mechanics of atomic spectra , volume Vol. 5 of Pure and Applied Physics . Academic Press, New York-London, 1959. Expanded and improved ed. Translated from the German by J. J. Griffin

    work page 1959