arxiv: 2604.21833 · v1 · submitted 2026-04-23 · 🧮 math.OA · math.CT· math.QA

Recognition: unknown

Gauging the Categorical Connes' tilde{chi}(M)

Quan Chen

Pith reviewed 2026-05-08 12:59 UTC · model grok-4.3

classification 🧮 math.OA math.CTmath.QA

keywords II1 factorsMcDuff factorsbraided fusion categoriesConnes chi invariantouter actionscrossed productsrepresentation categoriesgauging

0 comments

The pith

For any finite group G there exists a McDuff II1 factor M such that its categorical Connes invariant tilde chi(M) is braided equivalent to the representation category Rep(G).

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

The paper establishes that the categorical Connes invariant tilde chi of II1 factors can realize the representation category of any finite group as a braided fusion category. It proves that an outer action of G on a McDuff factor M makes Rep(G/KL) a braided monoidal subcategory of tilde chi of the crossed product, with K and L the centrally trivial and approximately inner parts. It supplies an explicit gauging formula for the invariant when L is trivial, extending Connes' classical short exact sequence. The resulting construction yields the first examples in which tilde chi takes a non-modular value.

Core claim

If a finite group G acts outerly on a McDuff II1 factor M, then Rep(G/KL) is a braided monoidal full subcategory of the categorical Connes' tilde chi(M rtimes G). When L is trivial an explicit G/K-gauging procedure exists on tilde chi(M rtimes G) that categorically generalizes Connes' short exact sequence on chi(M rtimes G). This machinery produces, for every finite G, a McDuff II1 factor M whose tilde chi(M) is braided equivalent to Rep(G).

What carries the argument

The categorical Connes' tilde chi(M), a braided fusion category attached to the II1 factor M that records its outer symmetries, together with the gauging operation induced by outer actions of finite groups on crossed products.

If this is right

Rep(G) arises as tilde chi(M) for McDuff II1 factors M constructed via outer actions.
The invariant tilde chi can take values in non-modular braided fusion categories.
The gauging formula supplies a categorical version of Connes' exact sequence for chi under crossed products by finite groups.
Every finite group appears as the value of this invariant for some II1 factor.

Where Pith is reading between the lines

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

The construction suggests that further fusion categories beyond group representations may be realizable as tilde chi by varying the acting group or the base factor.
Explicit computations of tilde chi for crossed products by small groups such as cyclic or dihedral groups could confirm the equivalence in low-dimensional cases.
The gauging technique may extend to other invariants of von Neumann algebras or subfactors that admit categorical lifts.
One could check whether two factors with the same chi but different tilde chi can be distinguished by this invariant.

Load-bearing premise

An outer action of the finite group G on some McDuff II1 factor M must exist so that the crossed product and the prior definition of tilde chi allow the gauging to produce the stated braided equivalence.

What would settle it

A concrete finite group G together with an explicit outer action on a McDuff II1 factor for which the computed tilde chi of the crossed product fails to contain Rep(G/KL) as a braided subcategory, or for which no M with tilde chi(M) equivalent to Rep(G) can be built.

read the original abstract

We prove that if a finite group $G$ acts outerly on a McDuff $\rm II_1$ factor $M$, then $\mathsf{Rep}(G/KL)$ is a braided monoidal full subcategory of the categorical Connes' $\tilde{\chi}(M\rtimes G)$ defined in arXiv:2111.06378, where $K$ and $L$ are the centrally trivial and approximately inner parts in $G$ respectively. When $L$ is trivial, we give an explicit formula for the $G/K$-gauging procedure on $\tilde{\chi}(M\rtimes G)$. This is the categorical generalization of Connes' short exact sequence on $\chi(M\rtimes G)$. Using this machinery, for any finite group $G$, we construct a McDuff $\rm II_1$ factor $M$, whose $\tilde{\chi}(M)$ is braided equivalent to $\mathsf{Rep}(G)$. This is the first example of a braided fusion category which is not modular as $\tilde\chi$.

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 constructs a McDuff II1 factor M for any finite G with tilde chi(M) braided equivalent to Rep(G), as the first non-modular case, via outer actions and a gauging formula extending prior work.

read the letter

The key point is that the authors construct a McDuff II1 factor M for every finite group G such that tilde chi(M) is braided equivalent to Rep(G), presented as the first non-modular braided fusion category arising this way. They prove a general embedding result for Rep(G/KL) into tilde chi(M rtimes G) under outer actions, and supply a gauging formula when the approximately inner part L is trivial. This formula is the categorical version of Connes' short exact sequence. Using these tools, they build the M explicitly. This work extends their earlier definition of the categorical Connes invariant and provides a way to produce new examples in subfactor theory. It does a good job of organizing these constructions systematically for arbitrary finite groups. The soft spots are minor but worth noting. The construction requires the existence of an outer G-action on M with L trivial, and the paper claims to deliver this, but the verification of the properties relies on the details of the action chosen. Also, the entire framework depends on the correctness of the tilde chi definition from the cited paper. If those hold, the argument seems sound, with no obvious circularity. This paper is aimed at researchers in operator algebras interested in categorical invariants and braided tensor categories. Readers who want concrete realizations of non-modular categories as such invariants will get value from it. I would recommend sending it to peer review. The new construction is specific enough to be checked by referees in the area.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that if a finite group G acts outerly on a McDuff II_1 factor M, then Rep(G/KL) embeds as a braided monoidal full subcategory of the categorical Connes' tilde chi(M rtimes G), with K and L the centrally trivial and approximately inner parts. When L is trivial, it supplies an explicit G/K-gauging formula on tilde chi(M rtimes G), categorifying Connes' short exact sequence. It then constructs, for every finite group G, a McDuff II_1 factor M such that tilde chi(M) is braided equivalent to Rep(G), yielding the first example of a non-modular braided fusion category realized as tilde chi.

Significance. If the embedding, gauging formula, and construction hold, the work supplies the first systematic realization of arbitrary Rep(G) (typically non-modular) as the categorical Connes invariant tilde chi(M) for II_1 factors. This extends the range of braided fusion categories arising from von Neumann algebra invariants and provides a categorical gauging procedure that may connect subfactor theory with braided tensor categories.

major comments (2)

[§4] §4 (Construction of M): the central claim that for arbitrary finite G there exists a McDuff II_1 factor M admitting an outer action with L trivial is load-bearing for the final theorem, yet the explicit construction or citation establishing L=0 is not detailed enough to verify the required properties independently of the prior definition in arXiv:2111.06378.
[§3.2] §3.2, gauging formula: the explicit formula for the G/K-gauging procedure when L=0 is stated as a categorical generalization, but the derivation steps showing it reduces to the braided equivalence with Rep(G) when applied to the constructed M are not expanded with intermediate steps or checks against the embedding theorem.

minor comments (2)

The abstract phrasing 'braided fusion category which is not modular as tilde chi' is slightly unclear; rephrase to 'realized as tilde chi(M) that is non-modular' for precision.
Notation for the parts K and L should include a brief reminder of their definitions from the cited prior work at first use in the main text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance of our results, and constructive comments. We address the major comments point by point below and will revise the manuscript accordingly to improve clarity and self-containment.

read point-by-point responses

Referee: [§4] §4 (Construction of M): the central claim that for arbitrary finite G there exists a McDuff II_1 factor M admitting an outer action with L trivial is load-bearing for the final theorem, yet the explicit construction or citation establishing L=0 is not detailed enough to verify the required properties independently of the prior definition in arXiv:2111.06378.

Authors: We acknowledge that the construction in §4 builds on definitions and techniques from arXiv:2111.06378. In the revised manuscript, we will expand §4 with a more self-contained exposition: we will include an explicit step-by-step outline of the McDuff II_1 factor construction for arbitrary finite G, followed by direct verifications (using the cited definitions) that the action is outer and that L is trivial. This will allow independent checking of the key properties without requiring extensive reference to the prior paper. revision: yes
Referee: [§3.2] §3.2, gauging formula: the explicit formula for the G/K-gauging procedure when L=0 is stated as a categorical generalization, but the derivation steps showing it reduces to the braided equivalence with Rep(G) when applied to the constructed M are not expanded with intermediate steps or checks against the embedding theorem.

Authors: We agree that additional intermediate steps would strengthen the presentation. In the revision, we will augment §3.2 (and add a short appendix if needed) with a detailed derivation: starting from the G/K-gauging formula under L=0, we will show step-by-step how it specializes via the embedding theorem of §3.1 to the braided equivalence with Rep(G) for our constructed M. This will include explicit checks on the preservation of fusion rules, braiding, and the relevant morphisms. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior definition; central proofs and construction remain independent.

full rationale

The paper cites arXiv:2111.06378 solely for the definition of categorical Connes' tilde chi(M rtimes G) and then proves new embedding theorems, an explicit gauging formula when L=0, and an explicit construction of M for arbitrary finite G such that tilde chi(M) is braided equivalent to Rep(G). These steps are presented as original extensions rather than reductions of the new claims to the prior definition by construction, fitting, or self-referential equations. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing uniqueness theorems imported from the same authors appear. The existence of the required outer actions with L trivial is asserted as part of the construction in this work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the definition of categorical Connes tilde-chi from the cited paper, standard domain assumptions about McDuff II1 factors and outer group actions, and properties of braided monoidal categories. No free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption M is a McDuff II1 factor admitting an outer action by the finite group G
Required for the embedding of Rep(G/KL) into tilde-chi(M rtimes G) to hold.
domain assumption The categorical Connes tilde-chi is defined exactly as in arXiv:2111.06378
The object whose properties are proved is taken from the referenced prior work.

pith-pipeline@v0.9.0 · 5483 in / 1467 out tokens · 77620 ms · 2026-05-08T12:59:32.253441+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 14 canonical work pages

[1]

[CJP24] Quan Chen, Corey Jones, and David Penneys

MR4419534 DOI:10.1016/j.jfa.2022.109524 arXiv:2105.12010. [CJP24] Quan Chen, Corey Jones, and David Penneys. A categorical Connes’ χ(M). Math. Ann., 389(3):2051– 2121,

work page doi:10.1016/j.jfa.2022.109524 2022
[2]

[DHR71] Sergio Doplicher, Rudolf Haag, and John E

MR2609644 DOI:10.1007/s00029-010-0017-z arXiv:0906.0620. [DHR71] Sergio Doplicher, Rudolf Haag, and John E. Roberts. Local observables and particle statistics. I. Comm. Math. Phys. , 23:199–230,

work page doi:10.1007/s00029-010-0017-z
[3]

[ENO05] Pavel Etingof, Dmitri Nikshych, and Viktor Ostrik

MR65163 DOI:10.2307/1969849. [ENO05] Pavel Etingof, Dmitri Nikshych, and Viktor Ostrik. On fusion categories. Ann. of Math. (2) , 162(2):581–642,

work page doi:10.2307/1969849
[4]

[FRS89] K

MR2183279 DOI:10.4007/annals.2005.162.581 arXiv:math.QA/0203060. [FRS89] K. Fredenhagen, K.-H. Rehren, and B. Schroer. Superselection sectors with braid group statistics and exchange algebras. I. General theory. Comm. Math. Phys. , 125(2):201–226,

work page doi:10.4007/annals.2005.162.581 2005
[5]

[GS12] Pinhas Grossman and Noah Snyder

MR2732052, arXiv:0712.2904v2. [GS12] Pinhas Grossman and Noah Snyder. Quantum subgroups of the Haagerup fusion categories. Comm. Math. Phys., 311(3):617–643,

work page arXiv
[6]

[Haa96] Rudolf Haag

MR2909758, DOI:10.1007/s00220-012-1427-x. [Haa96] Rudolf Haag. Local quantum physics . Texts and Monographs in Physics. Springer-Verlag, Berlin, second edition,

work page doi:10.1007/s00220-012-1427-x
[7]

Haag.Local Quantum Physics

Fields, particles, algebras. MR1405610 DOI:10.1007/978-3-642-61458-3. [Jon] Vaughan F. R. Jones. Notes on Connes’ invariant χ(M). Available at https://math.berkeley.edu/ ~vfr/CHI/index.html. [Jon80a] V. F. R. Jones. A II 1 factor anti-isomorphic to itself but without involutory antiautomorphisms. Math. Scand., 46(1):103–117,

work page doi:10.1007/978-3-642-61458-3
[8]

[Jon80b] Vaughan F

MR585235 DOI:10.7146/math.scand.a-11855. [Jon80b] Vaughan F. R. Jones. Actions of finite groups on the hyperfinite type II 1 factor. Mem. Amer. Math. Soc., 28(237):v+70,

work page doi:10.7146/math.scand.a-11855
[9]

[Jon22] V

MR587749. [Jon22] V. F. R. Jones. Planar algebras, I. New Zealand J. Math. , 52:1–107, 2021 [2021–2022]. [Jon24] Corey Jones. DHR bimodules of quasi-local algebras and symmetric quantum cellular automata. Quantum Topol., 15(3):633–686,

2021
[10]

[JPR23] Corey Jones, David Penneys, and David Reutter

MR3948170 DOI:10.1016/j.aim.2019.04.039 arXiv:1704.02035. [JPR23] Corey Jones, David Penneys, and David Reutter. A 3-categorical perspective on G-crossed braided categories. J. Lond. Math. Soc. (2) , 107(1):333–406,

work page doi:10.1016/j.aim.2019.04.039 2019
[11]

[Lon89] Roberto Longo

MR1838752 DOI:10.1007/PL00005565. [Lon89] Roberto Longo. Index of subfactors and statistics of quantum fields. I. Comm. Math. Phys. , 126(2):217–247,

work page doi:10.1007/pl00005565
[12]

[M¨ ug05] Michael M¨ uger

MR1966524 DOI:10.1016/S0022-4049(02)00247-5 arXiv:math.CT/0111204. [M¨ ug05] Michael M¨ uger. Conformal orbifold theories and braided crossed G-categories. Comm. Math. Phys. , 260(3):727–762,

work page doi:10.1016/s0022-4049(02)00247-5
[13]

[Pop10] Sorin Popa

MR1278111, DOI:10.1007/BF02392646. [Pop10] Sorin Popa. On spectral gap rigidity and Connes invariant χ(M). Proc. Amer. Math. Soc. , 138(10):3531–3539,

work page doi:10.1007/bf02392646
[14]

[PS03] Sorin Popa and Dimitri Shlyakhtenko

MR2661553 DOI:10.1090/S0002-9939-2010-10277-0 arXiv:0909.5639. [PS03] Sorin Popa and Dimitri Shlyakhtenko. Universal properties of L(F∞) in subfactor theory. Acta Math., 191(2):225–257,

work page doi:10.1090/s0002-9939-2010-10277-0 2010
[15]

MR2051399 DOI:10.1007/BF02392965. 36

work page doi:10.1007/bf02392965