Pith. sign in

REVIEW 4 major objections 5 minor 11 references

Derived invariants of the fixed ring of enveloping algebras of semisimple Lie algebras

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

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

Pith's one-line read If two fixed rings of enveloping algebras are derived equivalent, their Lie algebras and automorphism groups are the same.

desk verdict A genuinely new rigidity theorem for derived equivalences of fixed rings, with a clever reduction-mod-p strategy that currently leans on a substantial unproved transfer lemma from the author's own earlier work. read the letter →

arxiv 1908.06551 v3 pith:EIV4QU7Y submitted 2019-08-19 math.QA math.RT

Akaki Tikaradze This is my paper · ORCID
classification math.QAmath.RT MSC 17B3516E3516S3014F3514L30
keywords derivedequivalenceenvelopingalgebrasfixedringssemisimpleLiereductionmodulopPoissonvarietiesZassenhausvarietyetalecoverings
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 asks how much of a Lie algebra and a finite group of its symmetries can be recovered from the fixed-point subalgebra they leave invariant. It proves a rigidity theorem: if the enveloping algebras $U(\mathfrak{g})$ and $U(\mathfrak{g}')$ of complex semisimple Lie algebras carry finite automorphism groups $W$ and $W'$, and the fixed rings $U(\mathfrak{g})^W$ and $U(\mathfrak{g}')^{W'}$ are derived equivalent—meaning their module categories agree up to quasi-isomorphism—then $\mathfrak{g}\cong\mathfrak{g}'$ and $W\cong W'$. The same method proves a companion statement for fixed rings of rings of differential operators on smooth affine simply connected varieties, where the finite automorphism group is recovered. A sympathetic reader should care because a coarse invariant such as the derived category is shown to force the full rigid structure: neither the Lie algebra nor its symmetry group is lost in passing to invariants.

What carries the argument

The argument rests on three pieces. First, the reduction modulo $p$ Poisson bracket on the center $Z(R_p)$ of a reduced algebra: if $z,w$ are lifts of $a,b$, then $\{a,b\}=\frac{1}{p}[z,w]\bmod p$, which turns automorphisms of $R$ into Poisson automorphisms of the center. Second, the Zassenhaus variety $X=\operatorname{Spec} Z(U(\mathfrak{g}_k))$, the spectrum of the center of the reduced enveloping algebra; its smooth locus admits no nontrivial étale covering of degree prime to $p$, proved by comparing it with the regular semisimple locus inside $\mathfrak{g}_k^*$ and using purity of the branched locus. Third, Proposition 1.1, the Poisson-variety rigidity statement: when the groups act with only large-codimension fixed loci and the symplectic loci have no such coverings, an isomorphism of quotient Poisson varieties lifts to an isomorphism of the varieties that intertwines the group actions. Together these pieces carry a derived equivalence through the centers to a statement about finite group actions on Poisson varieties, and finally to a Lie algebra isomorphism via maximal Poisson ideals.

What would settle it

A direct counterexample to the main theorem—two non-isomorphic pairs whose fixed rings are derived equivalent—would settle the claim immediately. A more local falsifier is an instance of Proposition 1.1 with $X/W\cong Y/W'$ but no compatible isomorphism of the pairs; this would break the characteristic-$p$ step, and can be searched for among affine normal Poisson varieties with no prime-to-$p$ étale coverings on their symplectic loci.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.1, is that the derived equivalence class of the fixed ring $U(\mathfrak{g})^W$ determines both the complex semisimple Lie algebra $\mathfrak{g}$ and the finite subgroup $W$ of $\mathbb{C}$-algebra automorphisms, up to isomorphism. The proof spreads the equivalence over a finitely generated ring, reduces modulo a very large prime $p$, and uses the induced Poisson bracket on the center of the reduced algebra. This turns the question into Proposition 1.1, a statement about affine normal Poisson varieties in characteristic $p$: if $X/W\cong Y/W'$ and the symplectic loci have no nontrivial étale coverings of degree prime to $p$ and have complement of codimension at least two, then there is a Poisson isomorphism $X\cong Y$ that carries the $W$-action to the $W'$-action. Applied to the Zassenhaus varieties of $\mathfrak{g}_k$ and $\mathfrak{g}'_k$, this yields an isomorphism of centers intertwining the group actions, and comparing tangent spaces at a maximal Poisson ideal gives $\mathfrak{g}_k\cong\mathfrak{g}'_k$, hence $\mathfrak{g}\cong\mathfrak{g}'$.

Load-bearing premise

The proof assumes that a derived equivalence over $\mathbb{C}$ can be spread out to a finitely generated subring and, after reduction modulo a large prime $p$, remains a derived equivalence and induces a Poisson algebra isomorphism of the reduced centers; this transfer step is cited to earlier work and is not proved in this paper.

Editorial extensions

If this is right

  • No two distinct pairs $(\mathfrak{g},W)$ and $(\mathfrak{g}',W')$ can have derived equivalent fixed rings; in particular, with trivial groups, the derived category of $U(\mathfrak{g})$ alone determines the semisimple Lie algebra $\mathfrak{g}$ among complex semisimple Lie algebras.
  • For fixed rings of rings of differential operators on smooth affine simply connected varieties, derived equivalence forces the finite automorphism groups $W$ and $W'$ to be isomorphic.
  • The recovered isomorphism is not just abstract: the proof produces an isomorphism of the relevant centers or cotangent varieties that conjugates the $W$-action to the $W'$-action, so the group actions themselves are rigidly determined.
  • The result strengthens earlier rigidity theorems that needed ring isomorphisms of the fixed rings; here the much weaker relation of derived equivalence already suffices.

Reading between the lines

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

  • The same reduction-to-$p$ strategy is likely to prove analogous rigidity for fixed rings of other filtered algebras whose characteristic-$p$ centers have symplectic geometry, such as symplectic reflection algebras or rational Cherednik algebras.
  • A testable consequence of Proposition 1.1 is that a Poisson automorphism of a quotient $X/W$ of a symplectic variety with no prime-to-$p$ étale coverings on its smooth locus must lift to an automorphism of $X$ normalizing $W$; this could be checked in concrete examples.
  • Because derived equivalence preserves Hochschild cohomology, the theorem also predicts that these fixed rings are distinguished by their Hochschild cohomology rings, giving a computable invariant that should separate non-isomorphic pairs $(\mathfrak{g},W)$.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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 claims that for semisimple complex Lie algebras g, g' and finite subgroups W, W' of C-algebra automorphisms of U(g), U(g'), a derived equivalence between the fixed-point algebras U(g)^W and U(g')^{W'} forces g ≅ g' and W ≅ W'. The proof is reduction-to-characteristic-p: after spreading the derived equivalence over a finitely generated subring S ⊂ C, the author invokes a lemma from his earlier work [T, Lemma 4] to obtain, for p ≫ 0, an isomorphism of the centers of the reductions modulo p as Poisson algebras; the centers are then interpreted as Zassenhaus varieties, and a Poisson-geometric proposition (Proposition 1.1) is used to lift the isomorphism to an equivariant isomorphism of the Zassenhaus varieties. A parallel statement (Theorem 1.2) is proved for rings of differential operators on smooth affine simply connected varieties. The proof of Proposition 1.1 relies on absence of nontrivial p'-degree étale coverings of the symplectic loci, proved for Zassenhaus varieties in Lemma 4.3 via purity of the branched locus.

Significance. If the main theorem is established, it is a strong derived-invariant rigidity result: it says that the derived category of the fixed ring U(g)^W remembers both the Lie algebra and the group, a significant strengthening of the earlier isomorphism-rigidity results of Alev–Polo and Caldero. The reduction-to-p strategy and the use of étale fundamental groups of Zassenhaus varieties are original and conceptually appealing. The paper is not self-contained: the decisive bridge from derived equivalence to the Poisson-center isomorphism is imported from the author's previous publication [T, Lemma 4], and the geometric arguments are compressed to the point that several load-bearing steps need to be filled in. The claimed results are plausible and, given the cited published lemmas, likely correct, but the manuscript in its current form does not give the reader enough to verify the central mechanism.

major comments (4)
  1. [§4, Proof of Theorem 1.1] The proof of Theorem 1.1 rests on the assertion, imported from [T, Lemma 4], that a derived equivalence between U(g)^W and U(g')^{W'} over a finitely generated subring S ⊂ C induces, for p ≫ 0, an isomorphism of Poisson k-algebras Z(U(g_k))^W ≅ Z(U(g'_k))^{W'}. This is the only step that connects the derived-Morita hypothesis to the Poisson-geometric input used in the rest of the proof, and the lemma is not stated or proved in this paper. The reduction-modulo-p Poisson bracket {a,b} = p^{-1}[\tilde a,\tilde b] mod p is not a formal derived invariant of the F_p-algebra structure, so this transfer lemma carries genuine content. The manuscript should state [T, Lemma 4] explicitly, give its precise hypotheses (integral models, size of p, filtrations), and either prove it or indicate exactly where in [T] it is proved; otherwise Theorem 1.1 is unsupported at its central step.
  2. [§4, Proposition 1.1] The proof of Proposition 1.1 asserts that from the two Galois covers p_1: p_1^{-1}(V) → V with group W and p_2: p_2^{-1}(V) → V with group W' one obtains an isomorphism f: p_1^{-1}(V) → p_2^{-1}(V) with f_*(W)=W'. This is not automatic; it needs the absence of nontrivial p'-degree étale covers of V, which should be used to trivialize both covers (or make a fundamental-group argument). In the same proof, the sentence 'Hence by Lemma 4.1 p_1^{-1}(V) and p_1^{-1}(V) do not admit any nontrivial p'-degree étale coverings' contains a typo in the second occurrence of p_1^{-1}(V), and the symbol U_2 is used without definition (presumably U'_1). These are not merely typographical: the current text does not give a complete justification of the equivariant isomorphism that is essential for the proposition.
  3. [§4, Lemma 4.3] The proof of Lemma 4.3 repeatedly cites Lemma 4.1 for facts about étale coverings, but Lemma 4.1 is the Poisson-algebra lemma; the intended statement is Theorem 4.1 (purity of the branched locus / étale fundamental group surjectivity). In addition, the step 'π' must be a trivial covering, hence so is its restriction on O' requires the fact that W = φ^{-1}(U) has complement of codimension at least 2 in g*_k and that this complement condition is what forces triviality of π' on W; this should be spelled out. The conclusion that triviality of π on U_rss implies triviality of π on U again uses Theorem 4.1 and the codimension-at-least-2 condition. Please correct the references and state the codimension hypotheses explicitly.
  4. [§4, Lemma 4.4] The final contradiction in Lemma 4.4 is stated in one sentence: since X_χ is symplectic outside a codimension-2 subset and Γ acts faithfully on it preserving the symplectic structure, the fixed locus X_χ^Γ cannot have codimension 1. This is plausible but not proved. The manuscript should justify that a finite faithful symplectic action on a smooth symplectic variety has no codimension-1 fixed locus, for example by étale-local coordinates and the linearization of the action. Without this justification the lemma, which is used to control stabilizers in the proof of Theorem 1.1, is incomplete.
minor comments (5)
  1. [§2, Corollary 2.1 proof] There is a typo: 'k contains a primitive l-th rooth of unity' should read 'root of unity'.
  2. [§4, Proof of Theorem 1.2] In the sentence 'we have Z(A_k) = Z(D(X_k))^W and Z(B_k) = Z(D(X_k))^W', the second equality should be Z(B_k) = Z(D(Y_k))^{W'} (or at least the second variety should be Y, not X).
  3. [§4, Proof of Theorem 1.1] The displayed isomorphism 'Z(U(g_k))^W ∼= Z(U(g_k))^W' repeats g_k; the second factor should be Z(U(g'_k))^{W'}.
  4. [§4, Lemma 4.3] The word 'nonytivial' is a typo for 'nontrivial'.
  5. [Introduction] The phrase 'By a p'-degree we will mean a degree not divisible by p' would be clearer as 'By a p'-degree cover we will mean a finite étale cover whose degree is not divisible by p'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof uses independent prior lemmas, including the author's own, but none of them is the target theorem or a restatement of it.

full rationale

The derivation chain of Theorem 1.1 does not use the desired conclusion as an input. The derived equivalence hypothesis is converted into a Poisson algebra isomorphism of reduction-modulo-p centers by citing [T, Lemma 4], which is a general statement about derived invariance of Hochschild cohomology and the reduction-modulo-p Poisson bracket; it is not the theorem being proved and its assumptions do not include the target isomorphism of Lie algebras or groups. The geometric step Proposition 1.1 is proved in the text using purity of the branched locus (Theorem 4.1) and a derivation-restriction lemma (Lemma 4.1); while terse, this is not a circular reduction. The final identification of the Lie algebra from the tangent space m/m^2 cites [T, Lemma 3], a separate description of tangent spaces of Zassenhaus varieties, again independent of the target result. No fitted parameter is renamed as a prediction, and no definition is made in terms of the quantity that is supposedly derived. The paper's reliance on the author's earlier lemmas is a self-citation burden, but the cited lemmas are stated as independent results with their own hypotheses and are not equivalent to Theorem 1.1. I therefore cannot exhibit a specific reduction of any equation or claim to its own input, and the finding is no significant circularity.

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

The proof has no free parameters and introduces no new mathematical entities. It relies on several established or cited theorems, including purity of the branch locus, Veldkamp's description of the p-center, the BMR description of centers of differential operators, and a set of lemmas from the author's prior papers [T] and [T2]. The latter are domain assumptions that are load-bearing but not proved in this text.

assumptions (6)
  • standard math Purity of the branched locus: if U is an open subscheme of a regular scheme with complement of codimension at least 2, then the étale fundamental group of U is isomorphic to that of the whole scheme.
    Invoked as Theorem 4.1 from [SGA] in Lemma 4.3 and in the proof of Proposition 1.1 to transfer absence of coverings.
  • domain assumption Veldkamp's theorem: the center of U(g_k) is a free module over the p-center Z_p(g_k) with basis given by products of lifts of Harish-Chandra generators.
    Theorem 3.1, used to describe Spec Z(U(g_k)) and its symplectic locus.
  • domain assumption The center of the reduction modulo p of the ring of differential operators is isomorphic to the Frobenius twist of the cotangent bundle (BMR).
    Used in the proof of Theorem 1.2 to identify Z(D(X_k)) with functions on T*(X_k).
  • domain assumption Derived equivalence of algebras implies an isomorphism of the centers of their reductions modulo p as Poisson algebras ([T, Lemma 4]).
    Crucial transfer step in both main theorems; cited but not proved in this paper.
  • domain assumption If a smooth affine variety is simply connected, then its reduction modulo p admits no nontrivial p'-degree étale coverings ([T2, Lemma 5]).
    Used in the proof of Theorem 1.2 to verify the hypotheses of Proposition 1.1.
  • domain assumption There exists a morphism φ: g*_k to the Zassenhaus variety X inducing an isomorphism over the regular semisimple locus ([Ta, Remark 2.4]).
    Used in Lemma 4.3 to show that X has no nontrivial p'-degree étale coverings.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Derived invariants of the fixed ring of enveloping algebras of semisimple Lie algebras." pith.science (2026). https://pith.science/paper/EIV4QU7Y

@misc{pith2026190806551,
  author       = {Pith},
  title        = {Pith review of: Derived invariants of the fixed ring of enveloping algebras of semisimple Lie algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EIV4QU7Y}},
  note         = {Machine review of arXiv:1908.06551}
}
abstract

Let $\mathfrak{g}$ be a semisimple complex Lie algebra, and let $W$ be a finite subgroup of $\mathbb{C}$-algebra automorphisms of the enveloping algebra $U(\mathfrak{g})$. We show that the derived category of $U(\mathfrak{g})^W$-modules determines isomorphism classes of both $\mathfrak{g}$ and $W.$ Our proofs are based on the geometry of the Zassenhaus variety of the reduction modulo $p\gg 0$ of $\mathfrak{g}.$ Specifically, we use non-existence of certain \'etale coverings of its smooth locus

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

  1. [1]

    J. Alev, P. Polo, A rigidity theorem for finite group actions on enveloping algebras of semisimple Lie algebras , Advances in Math. 111(1995) no.2 208--226

    work page 1995

  2. [2]

    Belov-Kanel, M Kontsevich, The Jacobian Conjecture is stably equivalent to the Dixmier Conjecture , Moscow Mathematical Journal, 7 (2007), no.2, 209--218

    A. Belov-Kanel, M Kontsevich, The Jacobian Conjecture is stably equivalent to the Dixmier Conjecture , Moscow Mathematical Journal, 7 (2007), no.2, 209--218

    work page 2007

  3. [3]

    Bezrukavnikov, I

    R. Bezrukavnikov, I. Mirkovic, D. Rumynin, Localization of modules for a semisimple Lie algebra in prime characteristic , Annals of Mathematics, 167 (2008), 945--991

    work page 2008

  4. [4]

    Caldero, Isomorphisms of finite invariants for enveloping algebras, semisimple case , Advances in Math

    P. Caldero, Isomorphisms of finite invariants for enveloping algebras, semisimple case , Advances in Math. Vol 134, No 2, (1998), 294-307

    work page 1998

  5. [5]

    Mirkovic, D

    I. Mirkovic, D. Rumynin, Centers of reduced enveloping algebras , Math. Z. 231 (1) (1999) 123--132

    work page 1999

  6. [6]

    V. Kac, A. Radul, Poisson structures for restricted Lie algebras , The Gelfand Mathematical Seminars, 1996--1999

    work page 1996

  7. [7]

    Montgomery, Fixed rings of finite automorphism groups of associative rings , (1980) Lecture Notes in Math

    S. Montgomery, Fixed rings of finite automorphism groups of associative rings , (1980) Lecture Notes in Math

    work page 1980

  8. [8]

    Grothendieck, M

    A. Grothendieck, M. Raynaud, Rev\^etements \'Etales et Groupe Fondamental , (1971) Lecture Notes in Mathematics, 224

    work page 1971

Show all 11 references
  1. [9]

    Tange, The Zassenhaus variety of a reductive Lie algebra in positive characteristic , Advances in Math

    R. Tange, The Zassenhaus variety of a reductive Lie algebra in positive characteristic , Advances in Math. 224 (2010), no. 1, 340--354

    2010

  2. [10]

    Tikaradze, On automorphisms of enveloping algebras , IMRN (2019)

    A. Tikaradze, On automorphisms of enveloping algebras , IMRN (2019)

    2019

  3. [11]

    Tikaradze, The Weyl algebra as the fixed ring , Advances in Math

    A. Tikaradze, The Weyl algebra as the fixed ring , Advances in Math. 345 (2019), 756--766

    2019

Pith tools

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