REVIEW 6 minor 52 references
Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups II
T0 review · 0 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read For the Drinfel'd double of S3 in characteristic 3, the torus's derived block spaces carry an SL(2,Z)-representation in degrees 1 and 2 mod 4 that is absent from ordinary block spaces and cannot be generated from them by Yoneda products.
desk verdict A careful, explicit continuation that delivers the first nonabelian example where derived block space representations genuinely differ from ordinary ones; the S3 characteristic-3 computation is the real payoff. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the isomorphism $\tilde{\Theta}$ of Theorem 4.28 between the linearized representation variety $M_g=K[\mathrm{Hom}(\pi_1(\Sigma_g,x),G)]$ and the degree-zero homogeneous component $W^e$ of $L^{\otimes g}$, sending a homomorphism $f$ to $u(a_1,b_1^{-1})\otimes\cdots\otimes u(a_g,b_g^{-1})$ with $a_i=f([\alpha_i])$, $b_i=f([\beta_i])$. It identifies the coend-based action built from the alternative R-matrix with the geometric action of $\Gamma_g(x)$ on fundamental-group homomorphisms, and Corollary 5.4 converts derived block spaces into group cohomology $H^m(G,M_g)$. The subsequent decomposition of $M_g$ according to subgroups, centralizers, normalizers and Dirichlet characters, together with the periodic projective resolution for cyclic groups, turns this into explicit SL(2,$\mathbb{Z}$)-computations for $S_3$.
What would settle it
Recompute the action of $s^2$ on $Z^1(\Sigma_1)$ for the Drinfel'd double of $S_3$ in characteristic 3, using the standard R-matrix directly. The paper's Theorem 7.7 predicts that this element acts as $-\mathrm{id}$, so that its trace equals minus the dimension; finding the identity instead would show the summand $K_{\chi_2}[\mathbb{P}^1_3]$ is absent and the non-isomorphism claim fails.
Extended reading notes
Core claim
The central claim is that the mapping class group representations on derived block spaces are, in general, genuinely new: for the Drinfel'd double of $G=S_3$ over a field of characteristic 3 and a torus (genus $g=1$), the representation on $Z^m(\Sigma_1)$ is isomorphic to $K_{\chi_2}[\mathbb{P}^1_3]$—a four-dimensional, sign-twisted SL(2,$\mathbb{Z}$)-representation on functions on the projective line over $\mathbb{F}_3$—when $m\equiv 1$ or $2 \pmod 4$, while degree zero is $K\oplus K[\mathbb{P}^1_2]\oplus K[\mathbb{P}^1_3]$. Theorem 7.13 then shows this summand is not contained in the submodule generated by $Z^0(\Sigma_1)$ under the Yoneda product. In other words, the derived block spaces contain mapping class group information that the ordinary block spaces, together with products with the cohomology ring of the point, do not see.
Load-bearing premise
The whole example chain relies on the dictionary that identifies the algebraically defined mapping class group action with the geometric action on homomorphisms from the fundamental group of the surface to S3; that dictionary involves a chosen basepoint, a diffeomorphism moving the capping point to the basepoint, and the convention on whether the group acts by precomposition or postcomposition.
Editorial extensions
If this is right
- The two R-matrices of the Drinfel'd double give isomorphic mapping class group representations (Theorem 4.36), so the new higher-degree representations are intrinsic rather than an artifact of a braiding choice.
- For abelian $G$, $Z^\infty(\Sigma_g)$ is free as a right module over $Z^\infty(\Sigma_0)$, so no genuinely new representations appear; nonabelian finite groups are necessary for the phenomenon.
- For $S_3$ in characteristic 2 all higher-degree representations already occur in degree zero, whereas in characteristic 3 new ones appear in a 4-periodic pattern; the characteristic matters sharply.
- The new summand can still be generated in degree zero if one labels the torus boundary by the nontrivial module $X=I(e,K_\varepsilon)$ and multiplies with $\mathrm{Ext}(K,X)$ (Proposition 7.14), pointing toward a genuine gluing calculus rather than a defect of the Yoneda product.
- By Corollary 5.4, derived block spaces for finite-group doubles are group cohomology groups with coefficients in the character variety, which suggests a derived version of Dijkgraaf-Witten theory in finite characteristic.
Reading between the lines
- The 4-periodic pattern in characteristic 3 likely reflects the 2-periodic resolution of the cyclic subgroup $A_3$ tensored with a sign twist from the normalizer quotient $S_3/A_3$; one could test $A_4$ or $S_4$ in characteristic 2 or 3 for analogous new representations.
- Because the new representation lives in the summand attached to the cyclic subgroup $A_3$, the same mechanism should appear for any finite group with a cyclic subgroup whose normalizer quotient acts by a nontrivial character on the subgroup's cohomology; a systematic check across finite groups would delimit the phenomenon.
- The gluing map in Proposition 7.14 is exactly the kind of datum a derived modular functor would have to assemble consistently; constructing such a functor at the level of categories, rather than only representations, remains an open direction suggested by these computations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper is the second part of the authors' program on mapping class group actions on derived block spaces of non-semisimple modular tensor categories. It specializes to the category of representations of the Drinfel'd double D(G) of a finite group G over an algebraically closed field, in the non-semisimple case where the characteristic divides |G|. The main technical steps are: (i) an explicit comparison (Theorem 4.28) between the Lyubashenko action on W^e = (L^{⊗g})^e and the action on the linearized representation variety M_g = K[Hom(π_1(Σ_g),G)], together with a companion statement for the standard R-matrix (Corollary 4.37); (ii) a reduction of the derived block spaces Z^m(Σ_g) to group cohomology groups H^m(G,M_g) (Corollary 5.4); and (iii) a decomposition of H^m(G,M_g) according to conjugacy classes of cyclic subgroups, reducing the computation to cohomology of centralizers and eigenspaces for Dirichlet characters. The paper then computes the full SL(2,Z)-module structure of Z^*(Σ_1) for G=S_3 in characteristics 2 and 3. In characteristic 3 it finds that for m≡1 or 2 mod 4 the representation is K_{χ2}[P^1_3], which is not isomorphic to any summand of the degree-zero block space because s^2 acts by -1, and Theorem 7.13 shows that this summand is not contained in the submodule generated by Z^0(Σ_1) under the Yoneda product.
Significance. If correct, the paper achieves its stated goal: derived block spaces can carry genuinely new mapping class group representations that are invisible in the ordinary block spaces and are not generated from degree zero by Yoneda products. The proof is unusually explicit. The formulas for S, T, N, A, B, C, G, and U are given on the basis u(a,b); the capping argument in Paragraph 4.9 is checked; the reduction to group cohomology in Section 5 is proved; the decomposition in Section 6 is careful about the finite-group actions; and the final computations in Section 7 use the periodic resolution and the Yoneda/cup product compatibilities from the appendix. The paper is honest about the set-theoretic universe assumption and about its reliance on the authors' Part I. The most delicate point, the isomorphism Θ-tilde of Theorem 4.28, is handled by explicit checks on the generators t'_i, s'_i, and n''_i; the sign and basepoint conventions are discussed, and the distinguishing invariant s^2 = -I is insensitive to the plausible sign ambiguities.
minor comments (6)
- [Paragraph 5.1, Lemma 5.1] The authors state that they do not know a reference for this naturality statement. The proof given is correct, but since the lemma is used to define the vector-space structure on Yext and thereby the Yoneda module structure, a reference to the standard naturality of the Yoneda product would be helpful.
- [Introduction and Paragraph 5.1] The set-theoretic axiom of a universe is stated once in the introduction, but the reader is not told where the smallness assumption is used, e.g., in forming the big groups Yext^m. A footnote at the first occurrence of 'big group' would improve the exposition.
- [Paragraph 4.10, Theorem 4.28] The isomorphism Θ-tilde is the hinge of the paper. The proof is explicit on the generators, but a short remark that the isomorphism is independent of the chosen diffeomorphism φ and that the non-generation conclusion is unchanged under the alternative pre/postcomposition convention would eliminate a possible source of doubt.
- [Throughout] The paper relies heavily on notation and results from Part I, in particular the definition of Z^m(Σ_g), the capping homomorphism, and the generators t_i, s_i, n_l. This dependence is clearly declared, but a brief 'Notation and prerequisites' section or a more detailed recap in the introduction would make the paper more readable for a journal audience.
- [Paragraph 7.5, proof of Proposition 7.11] The sentence 'we can subtract from this element some elements from the submodule so that the resulting element has a scalar λ∈K as its first component' would benefit from one more sentence explaining why this reduction is possible, for instance by using the explicit S-basis and the form of the two generators of the kernel.
- [Various] There are small stylistic issues, such as the use of the Kronecker symbol δ_{h,[b^{-1},a]} in Proposition 4.3 and the repeated use of 'in total' at the ends of proofs. These are harmless and can be smoothed in the final version.
Circularity Check
No significant circularity: the claimed new SL(2,Z)-representations are obtained by explicit group-cohomology computations, not by construction from the input data.
full rationale
The derivation chain is not circular. Section 4 proves Theorem 4.28, identifying the Lyubashenko action on W^e with the action on the linearized representation variety M_g, by checking the generators t'_i, s'_i, and n''_i against the explicit formulas in Propositions 4.4 and 4.13; this dictionary is established in the text rather than assumed. Proposition 5.3 reduces Ext_D(K,W) to H^m(G,W^e) through a projective resolution and an adjunction, and Corollary 5.4 combines this reduction with Theorem 4.28 to identify the derived block spaces with H^m(S3,M_1). The decomposition of M_1 in Section 6 and the cohomology calculations in Section 7 use standard tools such as the periodic resolution for cyclic groups, Lemma 7.6, and the action formula in Proposition A.5. They yield specific modules K[P^1_3] and K_chi2[P^1_3] in specified cohomological degrees; no parameter is fitted and no target representation is inserted as an input. The distinction between these two modules is verified by the action of s^2 = -I, which is computed from the representation-variety action and is not a restatement of the definition of K_chi2[P^1_3]. Likewise, the claim that K_chi2[P^1_3] is not generated from degree zero under the Yoneda product follows from the module structure in Theorem 7.13, not from the label 'new'. The paper does rely on the authors' Part I for the general construction of derived block spaces, but this is a normal continuation of prior work, not an equivalence of the present result with its own assumptions. No quoted step reduces to its own input by definition, and no fitted quantity is renamed as a prediction. Therefore no circularity is identified.
Assumptions & free parameters
assumptions (4)
- ad hoc to paper ZFC plus the existence of a universe; the category is small with respect to that universe
- domain assumption The category of finite-dimensional D(G)-modules satisfies the hypotheses of Part I (ribbon, factorizable, with enough projectives and exact tensor product)
- standard math Standard homological algebra for groups: periodic resolutions for cyclic groups, Eckmann-Shapiro, universal coefficient theorem, and cohomology vanishing for group algebras
- domain assumption The restriction isomorphisms Res^{S3}_{U_i} in characteristic 2 and Res^{S3}_{A3} in characteristic 3 are valid as stated
Cite this review
Pith. "Pith review of Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups II." pith.science (2026). https://pith.science/paper/ZZDXIFYC
@misc{pith2026260811193,
author = {Pith},
title = {Pith review of: Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups II},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZZDXIFYC}},
note = {Machine review of arXiv:2608.11193}
}
read the original abstract
In the first part of this work, we have, for a not necessarily semisimple modular category, generalized the action of the mapping class groups of surfaces on the spaces of conformal blocks to the so-called derived block spaces. In the second part presented here, we compute this action explicitly in the case of Drinfel'd doubles of finite groups over fields of positive characteristic. To do that, we connect Lyubashenko's approach to mapping class group representations with the theory of representation varieties. In this way, we are able to show that the mapping class group representations on the derived block spaces are in general different from those on the ordinary block spaces.
Reference graph
Works this paper leans on
-
[1]
F. W. Anderson, K. R. Fuller, Rings and categories of modules, 2nd ed., Grad. Texts Math., Vol. 13, Springer, Berlin, 1992
work page 1992
-
[2]
D. J. Benson, Representations and cohomology I, 2nd ed., Camb.\ Stud.\ Adv.\ Math., Vol. 30, Cambridge Univ. Press, Cambridge, 1998
work page 1998
-
[3]
G. M. Bergman, On diagram-chasing in double complexes, Theory Appl.\ Categ. 26 (2012), 60-96
work page 2012
-
[4]
F. R. Beyl, The connecting morphism in the kernel-cokernel sequence, Arch. Math. 32 (1979), 305-308
work page 1979
-
[5]
N. Bourbaki, Algebra I, Elem. Math., Springer, Berlin, 1989
work page 1989
-
[6]
K. S. Brown, Cohomology of groups, Grad. Texts Math., Vol. 87, Springer, Berlin, 1982
work page 1982
-
[7]
R. Dijkgraaf, E. Witten, Topological gauge theories and group cohomology, Commun. Math. Phys. 129 (1990), 393--429
work page 1990
-
[8]
Evens, The cohomology of groups, Oxford Math
L. Evens, The cohomology of groups, Oxford Math. Monogr., Clarendon Press, Oxford, 1991
work page 1991
Show all 52 references
-
[9]
B. Farb, R. K. Dennis, Noncommutative algebra, Grad. Texts Math., Vol. 144, Springer, Berlin, 1993
1993
-
[10]
B. Farb, D. Margalit, A primer on mapping class groups, Princeton Math.\ Ser., Vol. 49, Princeton Univ.\ Press, Princeton, 2012
2012
-
[11]
T. H. Fay, K. A. Hardie, P. J. Hilton, The two-square lemma, Publ. Mat., Barc. 33 (1989), 133-137
1989
-
[12]
Fjelstad, J
J. Fjelstad, J. Fuchs, Mapping class group representations from Drinfeld doubles of finite groups, J. Knot Theory Ramifications 29 (2020), 2050033
2020
-
[13]
D. S. Freed, F. Quinn, Chern-Simons theory with finite gauge group, Commun. Math. Phys. 156 (1993), 435--472
1993
-
[14]
Fulton, Algebraic topology, Grad
W. Fulton, Algebraic topology, Grad. Texts Math., Vol. 153, Springer, Berlin, 1995
1995
-
[15]
Gonz\' a lez-Prieto, V
\' A . Gonz\' a lez-Prieto, V. Mu\ n oz, Representation varieties of twisted Hopf links, Mediterr. J. Math. 20 (2023), 89
2023
-
[16]
Greub, Linear algebra, 4th ed., Grad
W. Greub, Linear algebra, 4th ed., Grad. Texts Math., Vol. 23, Springer, Berlin, 1975
1975
-
[17]
Greub, Multilinear algebra, 2nd ed., Universitext, Springer, Berlin, 1978
W. Greub, Multilinear algebra, 2nd ed., Universitext, Springer, Berlin, 1978
1978
-
[18]
Heckenberger, H.-J
I. Heckenberger, H.-J. Schneider, Hopf algebras and root systems, Math.\ Surv. Monogr., Vol. 247, Am. Math. Soc., Providence, 2020
2020
-
[19]
Hermann, Monoidal categories and the Gerstenhaber bracket in Hoch\-schild cohomology, Mem.\ Am.\ Math
R. Hermann, Monoidal categories and the Gerstenhaber bracket in Hoch\-schild cohomology, Mem.\ Am.\ Math. Soc., Vol. 243, No. 1151, Am.\ Math.\ Soc., Providence, 2016
2016
-
[20]
P. J. Hilton, U. Stammbach, A course in homological algebra, 2nd ed., Grad. Texts Math., Vol. 4, Springer, Berlin, 1997
1997
-
[21]
Hochschild, J.-P
G. Hochschild, J.-P. Serre, Cohomology of group extensions, Trans. Am. Math. Soc. 74 (1953), 110--134
1953
-
[22]
Huppert, Endliche Gruppen I, Grundlehren Math.\ Wiss., Vol
B. Huppert, Endliche Gruppen I, Grundlehren Math.\ Wiss., Vol. 134, Springer, Berlin, 1979
1979
-
[23]
Jacobson, Lectures in abstract algebra III: Theory of fields and Galois theory, Grad
N. Jacobson, Lectures in abstract algebra III: Theory of fields and Galois theory, Grad. Texts Math., Vol. 32, Springer, Berlin, 1976
1976
-
[24]
Kassel, Quantum groups, Grad
C. Kassel, Quantum groups, Grad. Texts Math., Vol. 155, Springer, Berlin, 1995
1995
-
[25]
Kashina, Y
Y. Kashina, Y. Sommerh\"auser, Y. Zhu, On higher Frobenius-Schur indicators, Mem. Am.\ Math. Soc., Vol. 181, No. 855, Am. Math. Soc., Providence, 2006
2006
-
[26]
Kobayashi, K
S. Kobayashi, K. Nomizu, Foundations of differential geometry I, Intersci.\ Tracts Pure Appl.\ Math., Vol. 15, Wiley, New York, 1963
1963
-
[27]
T. H. Koornwinder, B. J. Schroers, J. K. Slingerland, F. A. Bais, Fourier transform and the Verlinde formula for the quantum double of a finite group, J. Phys. A: Math. Gen. 32 (1999), 8539--8549
1999
-
[28]
Kurzweil, B
H. Kurzweil, B. Stellmacher, The theory of finite groups, Universitext, Springer, Berlin, 2004
2004
-
[29]
T. Y. Lam, Lectures on modules and rings, Grad. Texts Math., Vol. 189, Springer, Berlin, 1999
1999
-
[30]
Lentner, S
S. Lentner, S. N. Mierach, C. Schweigert, Y. Sommerh\"auser, Hochschild cohomology and the modular group, J. Algebra 507 (2018), 400--420
2018
-
[31]
Lentner, S
S. Lentner, S. N. Mierach, C. Schweigert, Y. Sommerh\"auser, Hochschild cohomology, modular tensor categories, and mapping class groups I, SpringerBriefs Math. Phys., Vol. 44, Springer, Berlin, 2023
2023
-
[32]
Lyubashenko, Modular transformations for tensor categories, J
V. Lyubashenko, Modular transformations for tensor categories, J. Pure Appl. Algebra 98 (1995), 279--327
1995
-
[33]
Lyubashenko, S
V. Lyubashenko, S. Majid, Braided groups and quantum Fourier transform, J. Algebra 166 (1994), 506--528
1994
-
[34]
Mac Lane, Homology, Grundlehren Math
S. Mac Lane, Homology, Grundlehren Math. Wiss., Vol. 114, Springer, Berlin, 1963
1963
-
[35]
Mac Lane, Categories for the working mathematician, 2nd ed., Grad.\ Texts Math., Vol
S. Mac Lane, Categories for the working mathematician, 2nd ed., Grad.\ Texts Math., Vol. 5, Springer, Berlin, 1998
1998
-
[36]
Mitchell, Theory of categories, Pure Appl.\ Math., Vol
B. Mitchell, Theory of categories, Pure Appl.\ Math., Vol. 17, Academic Press, New York, 1965
1965
-
[37]
Newman, J
M. Newman, J. R. Smart, Symplectic modulary groups, Acta Arith. 9 (1964), 83-89
1964
-
[38]
Newman, Integral matrices, Pure Appl.\ Math., Vol
M. Newman, Integral matrices, Pure Appl.\ Math., Vol. 45, Academic Press, New York, 1972
1972
-
[39]
Pickrell, E
D. Pickrell, E. Z. Xia, Ergodicity of mapping class group actions on representation varieties I, Comment. Math. Helv. 77 (2002), 339--362
2002
-
[40]
J. J. Rotman, An introduction to homological algebra, 2nd ed., Universitext, Springer, Berlin, 2009
2009
-
[41]
Schweigert, L
C. Schweigert, L. Woike, The Hochschild complex of a finite tensor category, Algebr. Geom. Topol. 21 (2021), 3689--3734
2021
-
[42]
A. S. Sikora, Character varieties, Trans. Am. Math. Soc. 364 (2012), 5173--5208
2012
-
[43]
Sommerh\"auser, Ribbon transformations, integrals, and triangular decompositions, J
Y. Sommerh\"auser, Ribbon transformations, integrals, and triangular decompositions, J. Algebra 282 (2004), 423--489
2004
-
[44]
Sommerh\"auser, Y
Y. Sommerh\"auser, Y. Zhu, Hopf algebras and congruence subgroups, Mem.\ Am.\ Math. Soc., Vol. 219, No. 1028, Am. Math. Soc., Providence, 2012
2012
-
[45]
Steenrod, The topology of fibre bundles, 3rd ed., Princeton Math.\ Ser., Vol
N. Steenrod, The topology of fibre bundles, 3rd ed., Princeton Math.\ Ser., Vol. 14, Princeton Univ. Press, Princeton, 1960
1960
-
[46]
Suzuki, Group theory I, Grundlehren Math.\ Wiss., Vol
M. Suzuki, Group theory I, Grundlehren Math.\ Wiss., Vol. 247, Springer, Berlin, 1982
1982
-
[47]
R. G. Swan, The p-period of a finite group, Ill. J. Math. 4 (1960), 341--346
1960
-
[48]
R. G. Swan, Periodic resolutions for finite groups, Ann. Math. (2) 72 (1960), 267--291
1960
-
[49]
C. A. Weibel, An introduction to homological algebra, Camb. Stud.\ Adv.\ Math., Vol. 38, Cambridge Univ. Press, Cambridge, 1995
1995
-
[50]
S. J. Witherspoon, The representation ring of the quantum double of a finite group, J. Algebra 179 (1996), 305--329
1996
-
[51]
S. J. Witherspoon, Hochschild cohomology for algebras, Grad. Stud.\ Math., Vol. 204, Am. Math. Soc., Providence, 2019
2019
-
[52]
Yoneda, On ext and exact sequences, J
N. Yoneda, On ext and exact sequences, J. Fac. Sci., Univ. Tokyo, Sect. I 8 (1960), 507--576
1960
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.