Pith. sign in

REVIEW 4 major objections 5 minor 13 references

On the Hochschild Cohomology for Frobenius Kernels

T0 review · 4 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper computes the full $G$-algebra structure of the Hochschild cohomology of the first Frobenius kernel of $SL_2$, for all primes $p$.

desk verdict The SL2 main theorem is internally inconsistent (HH0 multiplicity off by (p+1)/2); the spectral sequence approach is promising but the paper needs major correction. read the letter →

arxiv 2411.15569 v1 pith:OZM75WB5 submitted 2024-11-23 math.RT math.GRmath.RA

Tekin Karadag , Daniel K. Nakano This is my paper · ORCID
classification math.RTmath.GRmath.RA MSC 20G1016E4017B5020G05
keywords HochschildcohomologyFrobeniuskernelsSL2algebraicgroupsspectralsequencesrestrictedenvelopingalgebratiltingmodulesG-algebrastructure
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper aims to determine the Hochschild cohomology of the Frobenius kernels of an algebraic group, and it gives a complete answer for the first Frobenius kernel $G_1$ of $G=SL_2$ over any algebraically closed field of characteristic $p$. The authors build spectral sequences that compute $HH^*(G_r)$ from the cohomology of a Borel subgroup and the adjoint action on the distribution algebra, shifting the method away from explicit resolutions. The main result describes $HH^*(G_1)$ as a $G$-algebra: the even cohomology is built from copies of the coordinate ring of the nilpotent cone, the odd cohomology from specific induced modules, and the full ring is an explicit quotient of a symmetric algebra tensor a subalgebra of $\mathfrak{u}$-cohomology invariants. A reader should care because this is the first complete $G$-algebra structure of Hochschild cohomology for a Frobenius kernel, and it shows precisely where the induction conjecture for $HH^*(G_r)$ is corrected for $SL_2$.

What carries the argument

The central object is the restricted enveloping algebra $\operatorname{Dist}(G_1)_{\mathrm{ad}}$ equipped with the adjoint action; for $SL_2$ this identifies with the truncated symmetric algebra $\overline{S}(\mathfrak{g})$ on $\mathfrak{g}=\mathfrak{sl}_2$, and its $G$-module decomposition into tilting modules $T(2n)$, the Steinberg module $L(2p-2)$, and copies of $k$ carries the cohomology computation. The argument is powered by a chain of spectral sequences (Theorems 2.2.1, 2.2.2, 2.2.3) that reduce $HH^*(G_1)$ first to $B_1$-cohomology, then to $T_1$-invariants in $\mathfrak{u}$-cohomology. The load-bearing computational pieces are the tilting-module decomposition of $\overline{S}(\mathfrak{g})$ (Proposition 4.1.1), the explicit basis and multiplication of $H^\bullet(\mathfrak{u},\overline{S}(\mathfrak{g})_0)^{T_1}$ (Proposition 4.4.1), and the ideal $I_p$ that records the elements killed by the $E_3$ differentials. The technique of Drupieski, Nakano, and Ngo is used to 'ungrade' the collapsed spectral sequence and obtain a genuine ring isomorphism.

What would settle it

Compute the $E_2$-differential in the spectral sequence for $N=T(2p-2)$ at $p=5$ on the class $e^*\otimes f^{p-1}$: if this class already survives to $E_3$, or lands somewhere other than the predicted place in $S^{(p-1)/2}(\mathfrak{u}^*)^{(1)}\otimes x^{(p-1)/2}$, then the ideal $I_p$ in Theorem 4.4.2 is wrong; an explicit resolution of $\overline{S}(\mathfrak{g})_0$ as a $B_1$-module in low degrees would settle the question.

Watch

Extended reading notes

Core claim

The central claim is that for $G=SL_2$ the Hochschild cohomology of the first Frobenius kernel is completely determined by the $G$-structure of the truncated symmetric algebra $\overline{S}(\mathfrak{g})$, where $\mathfrak{g}=\mathfrak{sl}_2$. Using the identification $HH^*(G_1)\cong H^*(G_1,\operatorname{Dist}(G_1)_{\mathrm{ad}})$, the authors decompose $\operatorname{Dist}(G_1)_{\mathrm{ad}}\cong \overline{S}(\mathfrak{g})$ into $G$-summands $k$, $T(2p-2)$, and $L(2p-2)$ for $p\ge 3$, and compute the $G_1$-cohomology of each summand. The resulting module structure is $HH^0(G_1)(-1)\cong k^{\oplus (p-1)/2}$, $HH^{2\bullet}(G_1)(-1)\cong k[\mathcal{N}]^{\oplus (p-1)}$ for $\bullet>0$, and $HH^{2\bullet+1}(G_1)(-1)\cong [\operatorname{ind}_G^B[S^\bullet(\mathfrak{u}^*)\otimes \omega]\otimes L(1)]^{\oplus (p-1)/2}$. For the ring structure, the spectral sequence through the Borel subgroup collapses only at the $E_3$ page, and the associated graded ring is explicitly identified as $[S^\bullet(\mathfrak{u}^*)^{(1)}\otimes H^\bullet(\mathfrak{u},\overline{S}(\mathfrak{g})_0)^{T_1}]/I_p$; an ungrading argument then promotes this to an isomorphism of $B$-algebras, and induction from $B$ to $G$ gives the full $G$-algebra structure. The case $p=2$ is computed separately as a quotient $[S^\bullet(\mathfrak{u}^*)\otimes \overline{S}(\mathfrak{g})]/I_2$.

Load-bearing premise

The load-bearing premise is that the spectral sequence computing $H^\bullet(B_1,\overline{S}(\mathfrak{g})_0)$ collapses at the $E_3$ page with exactly the differentials the authors describe, so that the quotient they write down is the actual ring and not merely a graded approximation.

Editorial extensions

If this is right

  • For $p\ge 3$, the even-degree part of $HH^*(G_1)(-1)$ is exactly $(p-1)$ copies of $k[\mathcal{N}]$ in positive degrees, so the Hilbert series of the even subring is known completely.
  • The odd-degree part is $(p-1)/2$ copies of $\operatorname{ind}_G^B[S^\bullet(\mathfrak{u}^*)\otimes \omega]\otimes L(1)$, giving the complete $G$-module structure of all odd cohomology groups.
  • The ring isomorphism $HH^\bullet(G_1)(-1)\cong \operatorname{ind}_G^B H^\bullet(B_1,\overline{S}(\mathfrak{g})_0)(-1)$ holds for all $p\ge 2$; for $p\ge 3$ the right-hand side is the quotient by $I_p$, and for $p=2$ the quotient by $I_2$.
  • The spectral sequence in Theorem 2.2.3(b) collapses at $E_3$, not $E_2$, for $N=T(2p-2)$, which is why the naive induction form $HH^*(G_1)\cong S^\bullet(\mathfrak{u}^*)^{(1)}\otimes H^\bullet(\mathfrak{u},\operatorname{Dist}(G_1)_{\mathrm{ad}})^{T_1}$ fails for $SL_2$.
  • The tables for $p=2,3,5,7$ give explicit $G$-module decompositions of every $HH^n(G_1)$ for small primes, providing concrete data that any alternative computation must match.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same spectral-sequence framework should extend to higher Frobenius kernels $G_r$ for $SL_2$; since the authors note the $r>2$ spectral sequence is not first-quadrant, testing $HH^*(G_2)$ for $p=3$ would reveal whether the $I_p$-type quotient pattern persists.
  • The failure of $E_2$-collapse is tied to the presence of the projective summand $T(2p-2)$ in $\overline{S}(\mathfrak{g})$, suggesting that for general reductive $G$ the deviation from the induction conjecture is measured by tilting modules whose highest weights lie in the upper alcove; one could test this by computing $H^\bullet(B_1,T(\lambda))$ for such $\lambda$.
  • Because the ungrading argument uses the ring structure of $H^\bullet(U_1,k)$, extending this computation to quantum groups at roots of unity would likely require a new ingredient, and the paper's restriction to Frobenius kernels is motivated by the relative simplicity of the adjoint action there.
  • The module decomposition implies a closed-form Hilbert series for $HH^*(G_1)$ in terms of the Hilbert series of $k[\mathcal{N}]$ and of the induced modules, and checking this series against the $p=5$ and $p=7$ tables is a quick consistency test.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper develops spectral sequence methods for computing the Hochschild cohomology of Frobenius kernels and applies them to G = SL2. The main advertised result is a complete description of the G-algebra structure of HH^*(G1) for all primes p, obtained by analyzing the adjoint action on Dist(G1). The paper also contains computations for the Borel subgroup B1 and the unipotent subgroup U1, together with appendix tables for p = 2, 3, 5, 7.

Significance. If correct, the paper would provide the first complete computation of the G-algebra structure of HH^*(G1) for SL2, a substantial result in the representation theory of infinitesimal group schemes. The spectral sequence setup (Theorems 2.2.1–2.2.3) and the use of Kostant's theorem, tilting modules, and good filtrations are appropriate, and the appendix tables are useful data. However, the main theorem contains a clear internal inconsistency: Theorem 4.3.2(a) gives a multiplicity for HH^0(G1)(-1) that contradicts Proposition 4.3.1, and the proof of the ring structure in Theorem 4.4.2 relies on an unproved spectral sequence collapse. The advertised 'complete description' is therefore not established as stated.

major comments (4)
  1. [Theorem 4.3.2(a), Proposition 4.3.1, (4.3.2)] Theorem 4.3.2(a) states HH^0(G1)(-1) is isomorphic to k^{⊕(p-1)/2}. However, combining Proposition 4.3.1 with (4.3.2) gives multiplicity (3p-1)/2. Indeed, even n in the first range 0 ≤ n < p-1 contribute (p-1)/2 copies of k; even n in the range p-1 ≤ n ≤ 2(p-1) contribute (p+1)/2 copies of T(2p-2), each contributing one copy of k by (4.3.2); and even n in 2(p-1) < n ≤ 3(p-1) contribute another (p-1)/2 copies of k. For p=5 this gives 7, not 2, and the appendix table for p=5 (rows n = 0, 2, 4, 6, 8, 10, 12) confirms exactly those seven trivial summands in H^0(G1, S^n(g))(-1). The theorem as stated is false.
  2. [Theorem 4.4.2, proof] The proof of Theorem 4.4.2 asserts that the spectral sequence of (4.4.1) 'must stop at E3' for the summand N = T(2p-2), but no differential computation is shown. Since the definition of I_p depends on exactly which differentials kill which terms, the reader cannot verify the claimed B-algebra isomorphism. The later 'ungrading' step, from the associated graded ring to an isomorphism of rings, is justified only by reference to (4.4.4) and two sentences on weight considerations. This is load-bearing because Theorem 4.4.2 is used in Theorem 4.4.3 to obtain the ring structure of HH^*(G1).
  3. [Theorem 4.4.3, proof] The proof states: 'From Theorem 4.3.3, it follows that as a B-module, H^•(B1, \bar S(g)_0)(-1) is a direct sum of B-module factors isomorphic to k, and S^•(u*), ω, and -ω (when p=2).' For p ≥ 3 the relevant statement is Theorem 4.3.2, not 4.3.3, and Theorem 4.4.2(a) describes H^•(B1, \bar S(g)_0) as a quotient of S^•(u*)(1) ⊗ H^•(u, \bar S(g)_0)^{T1} by I_p, a structure that includes summands such as ind_G^B[S^•(u*)⊗ω]⊗L(1). Those are not of the simple listed form. Therefore the collapse of the spectral sequence in Theorem 2.2.1 is not established for p ≥ 3.
  4. [Theorem 4.4.2(a), definition of I_p] The definition of I_p is not mathematically well-formed: the notation I_p = ⟨ \bigoplus_{i=0}^{(p-1)/2} S^•(u*)(1) ⊗ f^{p-1}x^i, \bigoplus_{j=(p-1)/2}^{p-1} S^•(u*)(1)_+ ⊗ x^j ⟩ mixes direct sums with products inside an ideal, and the ranges and tensor structures of the generators are ambiguous. This obscures the claimed isomorphism and prevents the reader from verifying the ring structure.
minor comments (5)
  1. [Section 3] A literal '[cite]' placeholder appears in the text: 'prior calculations of this type for the Taft algebra used techniques involving resolutions. [cite]' This must be replaced with a proper reference.
  2. [Section 1.2] The phrase 'still an open for problem' should be corrected to 'still an open problem'.
  3. [Proposition 4.4.1(b) and its proof] Part (b) says x is represented by 1 ⊗ [ef − h], while the proof says x is represented by 1 ⊗ [ef − h2] and later 1⊗[ef − h^2]. The exponent on h should be 2 consistently.
  4. [References] The reference [BNP04] is listed in the bibliography but does not appear to be cited in the text.
  5. [Notation] The paper switches between S(g) and \bar S(g) for the truncated symmetric algebra without a clear definition of \bar S(g); the reader must infer from context that both denote S^•(g) modulo p-th powers.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the SL2 Hochschild cohomology computation is a bookkeeping application of external cohomology results, not a self-referential derivation.

full rationale

The paper's central claims reduce to standard identifications and external cohomology computations rather than to the results being proved. The key step HH^•(G1) = H^•(G1, S(g)_0) in (4.3.5) is a standard isomorphism using Dist(G1)_ad ≅ S(g). Theorem 4.3.2 is then obtained by decomposing S^n(g)_0 into k, T(2p−2), and L(2p−2) (Proposition 4.3.1) and applying external results: Andersen–Jantzen [AJ84] for H^*(G1,k), (4.3.2) for the projective cover T(2p−2)|_{G1} ≅ Q1(0), and (4.3.4) for L(2p−2). This is direct bookkeeping of previously established summand cohomology, not fitting or renaming an input as a prediction. The ring-structure theorem 4.4.2 similarly uses a spectral sequence whose collapse is asserted without fully displayed differentials—an omitted-detail/correctness concern—but the ungrading step is justified for SL2 by the explicit ring identification H^•(U1,k) ≅ S^•(u*)(1) ⊗ H^•(u,k) in (4.4.4), which the paper says is not hard to verify for SL2, together with the weight-based argument given in the proof of Theorem 3.2.1. The self-citation [DNN12] is used only for a general ungrading technique; the SL2 case supplies its own argument, so the self-citation is not load-bearing. No parameter is fitted to data, no uniqueness theorem from the authors is invoked to force a choice, and no known empirical pattern is simply renamed. The skeptic's count suggesting possible undercounted trivial summands in Theorem 4.3.2(a) is an internal-consistency/correctness issue, not circularity. Overall, the derivation is self-contained against external benchmarks; at most a minor, non-load-bearing self-citation exists, so the circularity score is 1.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper does not introduce new free parameters or invented entities. It relies on standard theorems from the modular representation theory of algebraic groups and restricted Lie algebras.

assumptions (4)
  • domain assumption Kostant's theorem for Lie algebra cohomology of nilpotent radicals
    Used in Section 3.2 to compute H1(u, L(lambda)) and in Section 4 to compute u-cohomology.
  • domain assumption Andersen-Jantzen cohomology computations for G1
    Invoked in Section 4.3 and Theorem 4.4.2 for the cohomology of k and L(2p-2) as G1-modules.
  • domain assumption Kempf vanishing theorem and higher induction vanishing
    Used in Theorem 4.4.3 to collapse the induction spectral sequence.
  • domain assumption Linkage principle and tilting module properties
    Used in Proposition 4.1.1 to decompose symmetric powers into tilting modules.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Hochschild Cohomology for Frobenius Kernels." pith.science (2026). https://pith.science/paper/OZM75WB5

@misc{pith2026241115569,
  author       = {Pith},
  title        = {Pith review of: On the Hochschild Cohomology for Frobenius Kernels},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OZM75WB5}},
  note         = {Machine review of arXiv:2411.15569}
}
abstract

In this paper the authors investigate the structure of the Hochschild cohomology for Frobenius kernels. The authors first establish some fundamental constructions to compute Hochschild cohomology by using spectral sequences. This enables us to provide a complete description of the $G$-algebra structure of the Hochschild cohomology for the first Frobenius kernel $G_{1}$ where $G=SL_{2}$. This computation heavily relies on the calculation of the adjoint action on the restricted enveloping algebra.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    Andersen, J.C

    H.H. Andersen, J.C. Jantzen, Cohomology of induced representations for algebraic groups, Math. Ann. , 269 , (1984), 487-525

    work page 1984

  2. [2]

    Bendel, Cohomology of algebraic groups, Lie algebras and finite groups of Lie type, Proc

    C.P. Bendel, Cohomology of algebraic groups, Lie algebras and finite groups of Lie type, Proc. of the Symposia of Pure Mathematics , 108 , (2024), 35--58

    work page 2024

  3. [3]

    Bendel, D.K

    C.P. Bendel, D.K. Nakano, C. Pillen, Extensions for Frobenius kernels, J. Algebra , 272 , (2004), 476-511

    work page 2004

  4. [4]

    Bendel, D.K

    C.P. Bendel, D.K. Nakano, B.J. Parshall, C. Pillen, Cohomology for quantum groups via the geometry of the nullcone, Memoirs of the AMS , 229 , no. 1077, (2014)

    work page 2014

  5. [5]

    Drupieski, D.K

    C.M. Drupieski, D.K. Nakano, N. Ngo, Cohomology for infinitesimal unipotent algebraic and quantum groups, Transformation Groups , 17 , (2012), 393-416

    work page 2012

  6. [6]

    Friedlander, B.J

    E.M. Friedlander, B.J. Parshall, Cohomology of Lie algebras and algebraic groups, American J. Math. , 108 , (1986), 235--253

    work page 1986

  7. [7]

    Friedlander, A

    E.M. Friedlander, A. Suslin, Cohomology of finite group schemes over a field, Invent. Math. , 127 , (1997), 209--270

    work page 1997

  8. [8]

    Ginzburg, S

    V. Ginzburg, S. Kumar, Cohomology of quantum groups at roots of unity, Duke J. Math. , 69 , (1993), 179--198

    work page 1993

Show all 13 references
  1. [9]

    Jantzen, Representations of Algebraic Groups , Second Edition, Mathematical Surveys and Monographs, Vol

    J.C. Jantzen, Representations of Algebraic Groups , Second Edition, Mathematical Surveys and Monographs, Vol. 107, American Mathematical Society, Providence RI, 2003

    2003

  2. [10]

    Lin, D.K

    Z. Lin, D.K. Nakano, Realizing rings of regular functions through quantum group cohomology, Proc. of the Symposia of Pure Mathematics , 108 , (2024), 337-369

    2024

  3. [11]

    Nguyen, Tate and Tate-Hochschild cohomology for finite dimensional Hopf algebras, J

    V.C. Nguyen, Tate and Tate-Hochschild cohomology for finite dimensional Hopf algebras, J. Pure Appl. Algebra , 217 (2013), 1967-1979

    2013

  4. [12]

    University of Georgia VIGRE Algebra Group, On Kostant's theorem for Lie algebra cohomology, Cont. Math. , 478 , (2009), 39--60

    2009

  5. [13]

    Witherspoon, Hochschild Cohomology for Algebras , Graduate Studies in Mathematics, Vol

    S. Witherspoon, Hochschild Cohomology for Algebras , Graduate Studies in Mathematics, Vol. 204, American Mathematical Society, 2019

    2019

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.