pith. sign in

arxiv: 1906.08153 · v1 · pith:YISNRYSAnew · submitted 2019-06-19 · 🧮 math.QA · math.RT

Braid group representations from twisted tensor products of algebras

Paul Gustafson , Andrew Kimball , Eric C. Rowell , Qing Zhang This is my paper

Pith reviewed 2026-05-25 19:53 UTC · model grok-4.3

classification 🧮 math.QA math.RT
keywords braid group representationstwisted tensor productsfinite groupsmodular categoriesgaugingpointed categoriesalgebras
0
0 comments X

The pith

Iterated twisted tensor products unify and extend constructions of braid group representations from finite groups.

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

The paper establishes that several known constructions of braid group representations arising from finite groups can be recovered and extended as instances of iterated twisted tensor products of associated algebras. A reader would care because these representations underpin quantum invariants and the structure of modular tensor categories used in topological models. The work further indicates that the braiding on G-gaugings of a pointed modular category C(A,Q) relates directly to the braiding on C(A,Q) itself. This unification organizes disparate examples under a single algebraic operation.

Core claim

We unify and generalize several approaches to constructing braid group representations from finite groups, using iterated twisted tensor products. Our results hint at a relationship between the braidings on the G-gaugings of a pointed modular category C(A,Q) and that of C(A,Q) itself.

What carries the argument

Iterated twisted tensor products of algebras arising from finite groups, which carry compatible braiding structures for the representations.

If this is right

  • Existing constructions from finite groups appear as special cases of the iterated product construction.
  • The method produces additional braid representations beyond those previously known.
  • A direct comparison becomes available between the braiding on a pointed modular category and the braiding on its G-gaugings.

Where Pith is reading between the lines

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

  • The same algebraic operation might organize representations coming from structures other than finite groups.
  • Explicit formulas for the resulting representations could be extracted from the tensor product data in many cases.
  • The hinted relationship between gaugings and the base category may simplify calculations of invariants in both settings.

Load-bearing premise

The iterated twisted tensor products of the algebras from finite groups can be defined in a way that remains compatible with the braiding structures on the associated modular categories.

What would settle it

An explicit computation for a concrete finite group where the iterated twisted tensor product fails to satisfy the braid relations would show the unification does not hold in general.

Figures

Figures reproduced from arXiv: 1906.08153 by Andrew Kimball, Eric C. Rowell, Paul Gustafson, Qing Zhang.

Figure 1
Figure 1. Figure 1: (2) Consider the fixed point subalgebra Cn(G, τi) for the automorphism ι induced by inversion on An(G, τi). Then for n ≥ 3 odd, Cn(G, τi) is a direct sum of two matrix algebras of dimensions  mn−1 ± 1 2 2 . For n ≥ 4 and even, Cn(G, τi) has m2+3 2 simple summands: m2−1 2 of dimension m2n−4 and two others of di￾mensions  mn−2 ± 1 2 2 . Moreover, the Bratteli diagram for · · · ⊂ Cn(G, τi) ⊂ Cn+1(G, τi) ⊂… view at source ↗
Figure 1
Figure 1. Figure 1: Bratteli diagram for An(Zm × Zm, τi) for m odd. 1 1 1 1 m2+1 2 m2−1 2 m2+1 2 m2 m2 m2−1 2 m4+1 2 m4−1 2 . . . . . . ··· ··· ··· ··· ··· ··· ··· [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Bratteli diagram for Cn(Zm × Zm, τi) for m odd [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Bratteli diagram for C(A, Q) ×,Z2 Z2 for |A| odd. and their equivariantizations are found in [17] (see also [22]). There are two distinct Z2-gaugings D± := C(A, Q) ×,Z2 Z2 of the inversion action ρ. Each modular category D± has dimension 4 |A|. It has the following simple objects: two invertible objects, 1 = X+ and X−, m−1 2 two-dimensional objects Ya, a ∈ A − {0} (with Y−a = Ya) two √ m-dimensional object… view at source ↗
read the original abstract

We unify and generalize several approaches to constructing braid group representations from finite groups, using iterated twisted tensor products. Our results hint at a relationship between the braidings on the $G$-gaugings of a pointed modular category $\mathcal{C}(A,Q)$ and that of $\mathcal{C}(A,Q)$ itself.

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

0 major / 1 minor

Summary. The manuscript claims to unify and generalize several approaches to constructing braid group representations from finite groups, using iterated twisted tensor products of algebras. It additionally hints at a relationship between the braidings on the G-gaugings of a pointed modular category C(A,Q) and the braiding on C(A,Q) itself.

Significance. If the claimed unification is established with explicit constructions and compatibility conditions, the work could supply a common algebraic framework for braid representations arising from finite groups and clarify how gauging operations interact with braiding data in pointed modular categories. Such a framework would be of interest in quantum algebra and topological quantum field theory.

minor comments (1)
  1. The abstract refers to 'several approaches' without naming them or indicating the finite groups involved; adding this information would clarify the scope of the unification.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report. The provided summary accurately reflects the abstract and main claims of the manuscript. We appreciate the recognition that an established unification could be of interest in quantum algebra and TQFT. No specific major comments appear in the report, so we have none to address point-by-point at this stage. We remain available to supply additional explicit constructions, compatibility details, or clarifications if that is what prompted the uncertain recommendation.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The abstract and available context present a high-level unification claim via iterated twisted tensor products without exhibiting any equations, explicit derivations, fitted parameters renamed as predictions, or load-bearing self-citations. No self-definitional steps, ansatz smuggling, or uniqueness theorems reducing to prior author work are visible. The derivation chain cannot be walked to a reduction by construction from the given material, so the result is treated as self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities can be identified.

pith-pipeline@v0.9.0 · 5569 in / 1022 out tokens · 29921 ms · 2026-05-25T19:53:02.766921+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

37 extracted references · 37 canonical work pages · 1 internal anchor

  1. [1]

    Pointed Hopf algebras

    Nicol´ as Andruskiewitsch and Hans-J¨ urgen Schneider. Pointed Hopf algebras. In New directions in Hopf algebras , volume 43 of Math. Sci. Res. Inst. Publ. , pages 1–68. Cambridge Univ. Press, Cambridge, 2002

    work page 2002

  2. [2]

    Rowell, and Zhenghan Wang

    Eddy Ardonne, Meng Cheng, Eric C. Rowell, and Zhenghan Wang. C lassification of metaplectic modular categories. J. Algebra, 466:141–146, 2016. Bn REPRESENTATIONS FROM TWISTED TENSOR PRODUCTS 27

    work page 2016

  3. [3]

    Birman and Hans Wenzl

    Joan S. Birman and Hans Wenzl. Braids, link polynomials and a new alge bra. Trans. Amer. Math. Soc., 313(1):249–273, 1989

    work page 1989

  4. [4]

    Rowell, Ala n Tran, and Zhenghan Wang

    Parsa Bonderson, Colleen Delaney, Csar Galindo, Eric C. Rowell, Ala n Tran, and Zhenghan Wang. On invariants of modular categories beyond modular data. Journal of Pure and Applied Algebra , 223(9):4065 – 4088, 2019

    work page 2019

  5. [5]

    The Magma alg ebra system

    Wieb Bosma, John Cannon, and Catherine Playoust. The Magma alg ebra system. I. The user language. J. Symbolic Comput. , 24(3-4):235–265, 1997. Computational algebra and number the ory (London, 1993)

    work page 1997

  6. [6]

    On twisted tensor products of algebras

    Andreas Cap, Hermann Schichl, and Jiˇ r ´ ı Vanˇ zura. On twisted tensor products of algebras. Comm. Algebra, 23(12):4701–4735, 1995

    work page 1995

  7. [7]

    Cui, C´ esar Galindo, Julia Yael Plavnik, and Zhenghan Wan g

    Shawn X. Cui, C´ esar Galindo, Julia Yael Plavnik, and Zhenghan Wan g. On gauging symmetry of modular categories. Comm. Math. Phys. , 348(3):1043–1064, 2016

    work page 2016

  8. [8]

    On braided fusion cate- gories

    Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. On braided fusion cate- gories. I. Selecta Math. (N.S.) , 16(1):1–119, 2010

    work page 2010

  9. [9]

    Reflection fusion categories

    Pavel Etingof and C´ esar Galindo. Reflection fusion categories. J. Algebra, 516:172–196, 2018

    work page 2018

  10. [10]

    Weakly grou p-theoretical and solvable fusion categories

    Pavel Etingof, Dmitri Nikshych, and Victor Ostrik. Weakly grou p-theoretical and solvable fusion categories. Adv. Math., 226(1):176–205, 2011

    work page 2011

  11. [11]

    Braid group representations from twisted quantum doubles of finite groups

    Pavel Etingof, Eric Rowell, and Sarah Witherspoon. Braid group representations from twisted quantum doubles of finite groups. Pacific J. Math. , 234(1):33–41, 2008

    work page 2008

  12. [12]

    The irreducible complex repre- sentations of the braid group on n strings of degree ≤ n

    Edward Formanek, Woo Lee, Inna Sysoeva, and Monica Vaziran i. The irreducible complex repre- sentations of the braid group on n strings of degree ≤ n. J. Algebra Appl. , 2(3):317–333, 2003

    work page 2003

  13. [13]

    Franko, Eric C

    Jennifer M. Franko, Eric C. Rowell, and Zhenghan Wang. Extras pecial 2-groups and images of braid group representations. J. Knot Theory Ramifications , 15(4):413–427, 2006

    work page 2006

  14. [14]

    Freedman, Michael Larsen, and Zhenghan Wang

    Michael H. Freedman, Michael Larsen, and Zhenghan Wang. A m odular functor which is universal for quantum computation. Comm. Math. Phys. , 227(3):605–622, 2002

    work page 2002

  15. [15]

    C´ esar Galindo, Seung-Moon Hong, and Eric C. Rowell. Generalize d and quasi-localizations of braid group representations. Int. Math. Res. Not. IMRN , (3):693–731, 2013

    work page 2013

  16. [16]

    C´ esar Galindo and Eric C. Rowell. Braid representations from un itary braided vector spaces. J. Math. Phys. , 55(6):061702, 13, 2014

    work page 2014

  17. [17]

    Centers of gr aded fusion categories

    Shlomo Gelaki, Deepak Naidu, and Dmitri Nikshych. Centers of gr aded fusion categories. Algebra Number Theory, 3(8):959–990, 2009

    work page 2009

  18. [18]

    Goldschmidt and V

    David M. Goldschmidt and V. F. R. Jones. Metaplectic link invariant s. Geom. Dedicata, 31(2):165– 191, 1989

    work page 1989

  19. [19]

    Goodman, Pierre de la Harpe, and Vaughan F

    Frederick M. Goodman, Pierre de la Harpe, and Vaughan F. R. Jo nes. Coxeter graphs and towers of algebras, volume 14 of Mathematical Sciences Research Institute Publications . Springer-Verlag, New York, 1989

    work page 1989

  20. [20]

    Metaplectic Categories, Gauging and Property F

    Paul Gustafson, Yuze Ruan, and Eric Rowell. Metaplectic categ ories, gauging and property F. Tohoku Math. J. to appear, arXiv:1808.00698

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    All solutions to the constant quantum Yang- Baxter equation in two dimensions

    Jarmo Hietarinta. All solutions to the constant quantum Yang- Baxter equation in two dimensions. Phys. Lett. A , 165(3):245–251, 1992

    work page 1992

  22. [22]

    The structure of sectors associated with Long o-Rehren inclusions

    Masaki Izumi. The structure of sectors associated with Long o-Rehren inclusions. II. Examples. Rev. Math. Phys. , 13(5):603–674, 2001

    work page 2001

  23. [23]

    On iterated twisted tensor products of algebras

    Pascual Jara Mart ´ ınez, Javier L´ opez Pe˜ na, Florin Panaite,and Freddy van Oystaeyen. On iterated twisted tensor products of algebras. Internat. J. Math. , 19(9):1053–1101, 2008. 28 PAUL GUSTAFSON 1, ANDREW KIMBALL 2, ERIC C. ROWELL 2, QING ZHANG 2

    work page 2008

  24. [24]

    V. F. R. Jones. Braid groups, Hecke algebras and type II 1 factors. In Geometric methods in operator algebras (Kyoto, 1983) , volume 123 of Pitman Res. Notes Math. Ser. , pages 242–273. Longman Sci. Tech., Harlow, 1986

    work page 1983

  25. [25]

    V. F. R. Jones. Notes on subfactors and statistical mechanic s. In Braid group, knot theory and statistical mechanics, volume 9 of Adv. Ser. Math. Phys. , pages 1–25. World Sci. Publ., Teaneck, NJ, 1989

    work page 1989

  26. [26]

    V. F. R. Jones. On knot invariants related to some statistical m echanical models. Pacific J. Math. , 137(2):311–334, 1989

    work page 1989

  27. [27]

    Larsen and Eric C

    Michael J. Larsen and Eric C. Rowell. An algebra-level version of a link-polynomial identity of Lickorish. Math. Proc. Cambridge Philos. Soc. , 144(3):623–638, 2008

    work page 2008

  28. [28]

    The Kauffman polynomial of links and representat ion theory

    Jun Murakami. The Kauffman polynomial of links and representat ion theory. Osaka J. Math. , 24(4):745–758, 1987

    work page 1987

  29. [29]

    Deepak Naidu and Eric C. Rowell. A finiteness property for braide d fusion categories. Algebr. Represent. Theory, 14(5):837–855, 2011

    work page 2011

  30. [30]

    The core of a weakly group-theoretical braided f usion category

    Sonia Natale. The core of a weakly group-theoretical braided f usion category. Internat. J. Math. , 29(2):1850012, 23, 2018

    work page 2018

  31. [31]

    Classifying braidings on fusion categories

    Dmitri Nikshych. Classifying braidings on fusion categories. In Tensor categories and Hopf alge- bras, volume 728 of Contemp. Math. , pages 155–167. Amer. Math. Soc., Providence, RI, 2019

    work page 2019

  32. [32]

    Eric C. Rowell. A quaternionic braid representation (after Golds chmidt and Jones). Quantum Topol., 2(2):173–182, 2011

    work page 2011

  33. [33]

    Rowell and Zhenghan Wang

    Eric C. Rowell and Zhenghan Wang. Localization of unitary braid g roup representations. Comm. Math. Phys. , 311(3):595–615, 2012

    work page 2012

  34. [34]

    Rowell and Hans Wenzl

    Eric C. Rowell and Hans Wenzl. SO( N )2 braid group representations are Gaussian. Quantum Topol., 8(1):1–33, 2017

    work page 2017

  35. [35]

    Tensor categories with fusion rules of self-duality for finite abelian groups

    Daisuke Tambara and Shigeru Yamagami. Tensor categories with fusion rules of self-duality for finite abelian groups. J. Algebra, 209(2):692–707, 1998

    work page 1998

  36. [36]

    Representations of the braid group B3 and of SL(2 , Z)

    Imre Tuba and Hans Wenzl. Representations of the braid group B3 and of SL(2 , Z). Pacific J. Math., 197(2):491–510, 2001

    work page 2001

  37. [37]

    Waterhouse

    William C. Waterhouse. The number of congruence classes in Mn(Fq). Finite Fields Appl. , 1(1):57– 63, 1995. 1Department of Electrical Engineering, Wright State Univer sity, Dayton, OH 45435, U.S.A. E-mail address : paul.gustafson@wright.edu 2Department of Mathematics, Texas A&M University, College S tation, TX 77843- 3368, U.S.A. E-mail address: amkimball...

    work page 1995