{"id":"651a0436-3baa-496b-a28e-2b81debb5367","arxiv_id":"1908.06551","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"If the fixed rings U(g)^W and U(g')^W' of enveloping algebras are derived equivalent, then g is isomorphic to g' and W is isomorphic to W'.","lead":"The paper proves that the derived category of modules over the fixed ring of an enveloping algebra determines both the original semisimple Lie algebra and the finite group acting on it. This is a rigidity result: passing from ring isomorphism to the much weaker notion of derived equivalence still recovers the full data, using reduction modulo large primes and geometry of Zassenhaus varieties.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof imports the reduction-to-p Poisson-center transfer from [T, Lemma 4] without proof; if that lemma fails, the derived-equivalence assumption never reaches the Zassenhaus varieties and the central theorem is unsupported.","rationale":"The reader's weakest assumption identifies exactly the step I also regard as most load-bearing: the transfer from a derived equivalence over C to a Poisson isomorphism of centers after reduction modulo p. I do not see a way to reach the Zassenhaus varieties without this lemma, and the lemma is neither proved nor even stated in this paper. My reading of the rest of the proof: Proposition 1.1 is plausible but written too tersely (the existence of the cover isomorphism needs a fundamental-group argument, and Lemma 4.1 is cited where the purity statement or [T2, Lemma 5] is needed). Lemma 4.3 similarly uses 'Lemma 4.1' for a covering-triviality statement; the intended argument is likely correct for p large, but the cross-references are wrong. These are fixable. The central theorem would stand if [T, Lemma 4] is true and the cover step is expanded, so I do not move the verdict from the reader's CONDITIONAL; I would ask the author to either prove the transfer lemma or give a detailed proof in a revision. No ad hominem is intended; the paper is openly building on its own earlier results, but the reliance is too heavy for the proof to be considered self-contained.","tokens_in":6536,"tokens_out":28074,"duration_ms":306890,"concrete_test":"Obtain [T] and independently reprove Lemma 4; specifically, starting only from an S-linear derived equivalence given by a two-sided tilting complex P, derive the induced isomorphism Z(A_p) isomorphic to Z(B_p) and check that it intertwines the reduction Poisson bracket {a,b}=p^{-1}[tilde a, tilde b] mod p. A minimal computational check: let A=A_1(Z), B=M_n(A_1(Z)) for n prime to p, and verify that the Morita equivalence sends the known bracket {x^p,y^p}=1 on Z(A_p)=F_p[x^p,y^p] to the bracket on Z(B_p); then repeat for the Fourier-transform autoequivalence (x maps to y, y maps to -x). If the bracket is not preserved, [T, Lemma 4] needs additional hypotheses that the paper must supply before Theorems 1.1 and 1.2 are accepted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The derived categories of U(g)^W and U(g')^W' are used only through the assertion (Proof of Theorem 1.1, following [T, Lemma 4]) that a derived equivalence over a finitely generated subring S induces, for p >> 0, a Poisson algebra isomorphism Z(U(g_k))^W isomorphic to Z(U(g'_k))^{W'}. This is the load-bearing bridge between the Morita-theoretic hypothesis and the Poisson-geometric conclusion. The paper does not prove it; it cites a lemma from the author's earlier work. The lemma is not a formality: ordinary Hochschild cohomology is a derived invariant, but the reduction-mod-p Poisson bracket {a,b} = p^{-1}[tilde a, tilde b] mod p is defined using lifts to characteristic zero and is not determined by the F_p-algebra structure of the center alone. One must show that the S-linear derived equivalence preserves this divided p-bracket on HH^0. If the cited lemma has hidden hypotheses (e.g., a PBW filtration, a chosen integral model, or p larger than some invariant), the paper does not record them. Since every subsequent step (Proposition 1.1, Lemmas 4.3 and 4.4, and the Lie algebra identification via [T, Lemma 3]) starts from this Poisson isomorphism, the central claim currently rests on an unverified external lemma. A secondary gap: Proposition 1.1's cover-isomorphism step and Lemma 4.3's use of 'Lemma 4.1' are too terse and contain mis-citations, but they are repairable; the transfer lemma is the part whose failure would be fatal.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":6878,"tokens_out":4864,"duration_ms":47327,"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":[{"comment":"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.","section":"§4, Proof of Theorem 1.1"},{"comment":"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.","section":"§4, Proposition 1.1"},{"comment":"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.","section":"§4, Lemma 4.3"},{"comment":"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.","section":"§4, Lemma 4.4"}],"minor_comments":[{"comment":"There is a typo: 'k contains a primitive l-th rooth of unity' should read 'root of unity'.","section":"§2, Corollary 2.1 proof"},{"comment":"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).","section":"§4, Proof of Theorem 1.2"},{"comment":"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'}.","section":"§4, Proof of Theorem 1.1"},{"comment":"The word 'nonytivial' is a typo for 'nontrivial'.","section":"§4, Lemma 4.3"},{"comment":"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'.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The main issue is the heavy, unstated dependence on [T, Lemma 4] for the reduction-mod-p transfer from derived equivalence to Poisson-center isomorphism. I would ask the editor to verify that [T, Lemma 4] in the published IMRN paper indeed contains exactly the transfer statement used here, including the Poisson bracket compatibility, since the present manuscript does not state it. If it does, the proof strategy is viable and the remaining gaps are repairable; if not, the central theorem is unsupported. The paper would be substantially improved by stating and proving the transfer lemma locally rather than sending the reader to a previous paper for the core mechanism."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper has a real theorem. Under a derived equivalence of U(g)^W and U(g')^{W'}, it recovers both g and W—strictly stronger than Caldero's ordinary isomorphism results. The reduction-mod-p method via Zassenhaus varieties is a good fit for the problem, and Proposition 1.1, once spelled out, is a nice geometric rigidity statement. I'd send it to a serious referee.\n\nThe main new content: Theorem 1.1 upgrades ring-isomorphism invariants to derived-equivalence invariants, which is a genuinely weaker hypothesis. The use of Veldkamp's description of centers of enveloping algebras in characteristic p, plus Tange's Zassenhaus variety and the non-existence of etale coverings of its smooth locus, is the right geometric engine. The proof of Proposition 1.1 is the core geometric statement and is essentially correct in outline: because V admits no nontrivial p'-degree etale cover, the two Galois covers are trivial, so the actions can be matched.\n\nNow the soft spots, in order of importance. The load-bearing bridge in Theorem 1.1 (and 1.2) is the claim that a derived equivalence over a finitely generated subring S induces, after reduction mod p, a Poisson algebra isomorphism of centers Z(U(g_k))^W ≅ Z(U(g'_k))^{W'}. This is imported from [T, Lemma 4] without proof and without stating its hypotheses. The reduction-mod-p Poisson bracket is defined using lifts to characteristic zero, so preservation of the bracket is not automatic from preserving the center as an algebra. If that lemma has hidden conditions—e.g., p larger than some invariant, or a choice of integral model—the paper doesn't say. Everything after that, including the identification of g via tangent spaces at a Poisson maximal ideal, depends on this transfer. The referee needs to verify the lemma in situ.\n\nThere are also mechanical slips: in the proof of Proposition 1.1, 'p1^{-1}(V)' is duplicated, and Lemma 4.1 is cited where Theorem 4.1 (purity of the branched locus) is meant; Lemma 4.3 does the same. Those are fixable and don't affect the argument once corrected. The cover-isomorphism step is stated too tersely but the reasoning is standard.\n\nBottom line: the central theorem is new, the strategy is sound, and the gaps are cited external lemmas rather than circular reasoning. But the paper is not self-contained at the critical step. I'd send it to peer review, and if the referee confirms [T, Lemma 4], accept after a revision that states the transfer lemma and fixes the citations.","headline":"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.","tokens_in":7393,"tokens_out":4047,"would_cite":true,"duration_ms":40494,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B35","16E35","16S30","14F35","14L30"],"pacs":[],"model":"deepseek-v4-flash","headline":"If two fixed rings of enveloping algebras are derived equivalent, their Lie algebras and automorphism groups are the same.","keywords":["derived equivalence","enveloping algebras","fixed rings","semisimple Lie algebras","reduction modulo p","Poisson varieties","Zassenhaus variety","etale coverings"],"falsifier":"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.","tokens_in":6327,"feed_emoji":"🧮","tokens_out":13998,"duration_ms":134709,"temperature":0.7,"pith_summary":"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.","feed_headline":"Derived equivalence of fixed rings forces same Lie algebra and group","feed_subtitle":"Reducing modulo a large prime turns derived equivalence into a rigid statement about Poisson varieties and etale coverings.","key_machinery":"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.","core_discovery":"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}'$.","pith_inferences":["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)$."],"forward_implications":["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."],"supporting_citations":[{"why":"Establishes the rigidity baseline: a fixed ring of an enveloping algebra that is isomorphic to an enveloping algebra forces the group to be trivial and the algebras to coincide.","marker":"[AP]"},{"why":"Shows that isomorphisms of fixed rings recover the Lie algebra and, under extra hypotheses, the group; the present paper replaces isomorphism by derived equivalence.","marker":"[C]"},{"why":"Supplies the X-outer automorphism lemma used to prove that the center of a fixed ring is the fixed ring of the center.","marker":"[M]"},{"why":"Provides the description of the Zassenhaus variety and the regular-semisimple comparison used to rule out nontrivial prime-to-$p$ étale coverings on its smooth locus.","marker":"[Ta]"},{"why":"Carries the derived equivalence through reduction modulo $p$ and gives the Poisson algebra isomorphism of reduced centers, the load-bearing transfer step.","marker":"[T]"},{"why":"Shows that simple connectivity over $\\mathbb{C}$ rules out nontrivial prime-to-$p$ étale coverings after reduction, used in the differential-operator theorem.","marker":"[T2]"},{"why":"Provides purity of the branched locus: an open subset with complement of codimension at least two has the same étale fundamental group as the ambient scheme.","marker":"[SGA]"},{"why":"Identifies the center of the reduced ring of differential operators with the Frobenius twist of the cotangent bundle, used in Theorem 1.2.","marker":"[BMR]"},{"why":"Supplies the description of the center of the reduced enveloping algebra as a free module, underlying the geometry of the Zassenhaus variety.","marker":"[MR]"}],"fun_headline_variants":["Derived equivalence fixes Lie algebra and group","Derived category of fixed ring recovers Lie algebra and group","Derived invariants of fixed rings determine algebra and automorphism group","Fixed ring derived category pins down Lie algebra and action","Derived equivalence of fixed rings forces same g and W"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Derived equivalence fixes Lie algebra and group","Derived category of fixed ring recovers Lie algebra and group","Derived invariants of fixed rings determine algebra and automorphism group","Fixed ring derived category pins down Lie algebra and action","Derived equivalence of fixed rings forces same g and W"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000587,"raw_usage":{"total_tokens":2737,"prompt_tokens":902,"completion_tokens":1835,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":518,"completion_tokens_details":{"reasoning_tokens":1769}},"tokens_in":518,"tokens_out":1835,"duration_ms":14986,"temperature":1.0,"reasoning_tokens":1769,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:41:17.787157+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}