arxiv: 2604.10869 · v1 · submitted 2026-04-13 · 🧮 math.QA

Recognition: unknown

Putting the Brauer back in Brauer-Picard

Sean Sanford

Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:29 UTC · model grok-4.3

classification 🧮 math.QA

keywords fusion categoriesBrauer-Picard groupoidGalois cohomologygraded extensionsbraided tensor categoriesduality morphismsexact sequences

0 comments

The pith

A six-term left exact sequence relates Galois cohomology of the base field to the Brauer-Picard groupoid of a fusion category.

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

The paper constructs a six-term left exact sequence that incorporates Galois cohomology groups of an arbitrary base field K with the Brauer-Picard groupoid of a given fusion category. This extends previous work that required the field to be algebraically closed, allowing computations for fields like the real numbers. The sequence arises from viewing fusion categories as objects in a higher categorical setting and analyzing their duality properties. A sympathetic reader would care because it enables explicit calculations of graded extensions of fusion categories over non-closed fields, which have applications in representation theory and tensor categories. The work also includes structural results on duality morphisms in the 4-category of braided tensor categories and ends with speculation on higher categorical interpretations.

Core claim

We establish a 6-term left exact sequence involving the Galois cohomology of the base field K and the Brauer-Picard groupoid of a fusion category. This generalizes a result of Etingof, Nikshych, and Ostrik to the setting where K is not algebraically closed. We use this to compute examples of graded extensions of fusion categories over the real numbers. Along the way, we prove several structural theorems regarding the duality morphisms for a fusion category as an object in the 4-category of braided tensor categories.

What carries the argument

The Brauer-Picard groupoid of a fusion category, constructed using duality morphisms for the category viewed as an object in the 4-category of braided tensor categories.

If this is right

The exact sequence allows computation of graded extensions of fusion categories over the real numbers.
It generalizes prior results that assumed algebraically closed base fields.
Structural theorems on duality morphisms support the construction over general fields.
The sequence provides a tool for studying the Brauer-Picard groupoid in arithmetic settings.

Where Pith is reading between the lines

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

This opens the door to classifying fusion categories and their extensions over number fields beyond the reals.
A higher categorical explanation might unify this sequence with other Galois-theoretic phenomena in tensor categories.
Similar sequences could exist for other invariants of fusion categories in higher categorical contexts.

Load-bearing premise

The structural theorems on duality morphisms hold for fusion categories in the 4-category of braided tensor categories in a form that permits the exact sequence over general base fields.

What would settle it

A specific fusion category over a non-algebraically closed field, such as the reals, for which the six-term sequence fails to be left exact would disprove the main result.

read the original abstract

We establish a 6-term left exact sequence, involving Galois cohomology of the base field $\mathbb K$, and the Brauer-Picard groupoid of a fusion category. This generalizes a result of Etingof, Nikshych, and Ostrik to the setting where $\mathbb K$ is not algebraically closed. Following their example, we use this exact sequence to compute examples of graded extensions of fusion categories over $\mathbb R$. Along the way, we establish several structural theorems regarding the duality morphisms for a fusion category as an object in the 4-category of braided tensor categories. The paper ends with a speculative look at a potential higher categorical explanation of the main result.

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

This generalizes the ENO 6-term sequence to arbitrary base fields via new duality theorems in the 4-category of braided tensor categories, then applies it to graded extensions over R.

read the letter

The main takeaway is that Sanford has extended the Etingof-Nikshych-Ostrik exact sequence to any base field K by proving structural results on duality morphisms for a fusion category inside the 4-category of braided tensor categories. This produces a 6-term left exact sequence that incorporates Galois cohomology of K and the Brauer-Picard groupoid, and the paper uses it to compute graded extensions over the reals as a concrete check.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes a 6-term left exact sequence relating Galois cohomology of the base field K to the Brauer-Picard groupoid of a fusion category C. This generalizes the Etingof-Nikshych-Ostrik result to the case where K is not algebraically closed. The authors prove supporting structural theorems on duality morphisms for a fusion category viewed as an object in the 4-category of braided tensor categories, apply the sequence to compute examples of graded extensions over R, and conclude with a speculative discussion of a possible higher-categorical explanation.

Significance. If the central claims hold, the work supplies a practical computational tool for Brauer-Picard groups and graded extensions over non-closed fields such as R, extending an important result in tensor category theory to settings relevant for applications. The self-contained proofs of the duality-morphism theorems constitute a clear strength, as they remove the need for an external assumption on the 4-categorical structure.

minor comments (2)

The introduction would benefit from an explicit roadmap indicating which sections contain the new structural theorems on duality morphisms and which contain the exact-sequence construction.
Notation for the Brauer-Picard groupoid and its 4-categorical embedding is introduced without a dedicated preliminary subsection; a short table or diagram summarizing the relevant 1-, 2-, and 3-morphisms would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including recognition of the generalization of the Etingof-Nikshych-Ostrik result, the self-contained proofs of the duality-morphism theorems, and the computational applications over non-algebraically closed fields such as R. We note the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper constructs its 6-term left exact sequence by proving new structural theorems on duality morphisms for fusion categories in the 4-category of braided tensor categories, then generalizing the Etingof-Nikshych-Ostrik result to non-algebraically closed fields K. These theorems are established internally before the sequence is applied to compute graded extensions over R. No step reduces by definition or construction to prior fitted quantities, and the cited Etingof-Nikshych-Ostrik work is external (different authors) rather than a self-citation chain. The argument supplies both the supporting theorems and the sequence without hidden reductions to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of fusion categories, braided tensor categories, and Galois cohomology; no free parameters, new entities, or ad-hoc assumptions are indicated in the abstract.

axioms (2)

standard math Standard axioms and properties of fusion categories and their Brauer-Picard groupoids
Invoked throughout the construction of the exact sequence.
standard math Standard properties of Galois cohomology groups for a field K
Used to form the 6-term sequence.

pith-pipeline@v0.9.0 · 5398 in / 1397 out tokens · 51291 ms · 2026-05-10T16:29:18.107478+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 5 canonical work pages

[1]

Descent and forms of tensor cate- gories.Int

[EG12] Pavel Etingof and Shlomo Gelaki. Descent and forms of tensor cate- gories.Int. Math. Res. Not. IMRN, 2012(13):3040–3063,

2012
[2]

Braidings for non-split tambara yamagami categories over the reals.arXiv preprint [math.QA], arXiv:2412.21012,

[GJS24] David Green, Yoyo Jiang, and Sean Sanford. Braidings for non-split tambara yamagami categories over the reals.arXiv preprint [math.QA], arXiv:2412.21012,

work page arXiv
[4]

[GS18] Owen Gwilliam and Claudia Scheimbauer

arXiv: 1407.2783. [GS18] Owen Gwilliam and Claudia Scheimbauer. Duals and adjoints in higher morita categories,

work page arXiv
[6]

[LF13] Ignacio L´ opez Franco

arXiv: math/0209256. [LF13] Ignacio L´ opez Franco. Tensor products of finitely cocomplete and abelian categories.J. Algebra, 396:207–219,

work page arXiv
[7]

Tambara-yamagami categories over the reals: The non-split case.arXiv preprint [math.QA], arXiv:2303.17843,

[PSS23] Julia Plavnik, Sean Sanford, and Dalton Sconce. Tambara-yamagami categories over the reals: The non-split case.arXiv preprint [math.QA], arXiv:2303.17843,

work page arXiv
[8]

Sanford, N

[SS24] Sean Sanford and Noah Snyder. Invertible fusion categories.arXiv preprint [math.QA], arXiv:2407.02597, 2024

work page arXiv 2024