The Factorizable Feigin-Frenkel center
Pith reviewed 2026-05-25 08:42 UTC · model grok-4.3
The pith
The center of the sheaf of completed enveloping algebras at critical level is a factorization algebra canonically isomorphic to the factorization algebra of functions on opers for the Langlands dual Lie algebra.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On any smooth curve C we consider a sheaf of complete topological Lie algebras whose fiber at any point is the usual affine algebra at the critical level and consider its sheaf of completed enveloping algebras. We show that the center of this sheaf is a factorization algebra and establish that it is canonically isomorphic, in a factorizable manner, with the factorization algebra of functions on Opers on the pointed disk for the Langlands dual Lie algebra.
What carries the argument
The sheaf of completed enveloping algebras of the critical-level affine Kac-Moody Lie algebra on a smooth curve, whose center carries a factorization algebra structure canonically isomorphic to the factorization algebra of functions on opers for the Langlands dual.
If this is right
- The classical Feigin-Frenkel isomorphism extends to a global factorizable setting on any smooth curve.
- The isomorphism respects the factorization structures on both the center and the opers side.
- This identification holds in a manner compatible with restrictions to pointed disks.
Where Pith is reading between the lines
- The result may allow the center to serve as a building block for global objects in the geometric Langlands correspondence on curves.
- Similar factorizable centers could be investigated for other levels or for deformed versions of the enveloping algebras.
Load-bearing premise
The sheaf of complete topological Lie algebras on the smooth curve whose fibers are the affine algebras at critical level must admit a factorization structure on its completed enveloping algebras.
What would settle it
Observation that the center fails to be isomorphic as factorization algebras to the opers functions algebra, or that the factorization property does not hold, when evaluated on a specific smooth curve such as the projective line.
read the original abstract
We prove a factorizable version of the Feigin-Frenkel theorem on the center of the completed enveloping algebra of the affine Kac-Moody algebra attached to a simple Lie algebra at the critical level. On any smooth curve C we consider a sheaf of complete topological Lie algebras whose fiber at any point is the usual affine algebra at the critical level and consider its sheaf of completed enveloping algebras. We show that the center of this sheaf is a factorization algebra and establish that it is canonically isomorphic, in a factorizable manner, with the factorization algebra of functions on Opers on the pointed disk for the Langlands dual Lie algebra.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a factorizable version of the Feigin-Frenkel theorem. On a smooth curve C it constructs a sheaf of complete topological Lie algebras whose fiber at each point is the critical-level affine Kac-Moody algebra, forms the associated sheaf of completed enveloping algebras, shows that the center of this sheaf is a factorization algebra, and establishes a canonical factorizable isomorphism with the factorization algebra of functions on Opers on the pointed disk for the Langlands dual Lie algebra.
Significance. If the proofs are correct, the result supplies a global, sheaf-theoretic and factorizable extension of the classical Feigin-Frenkel isomorphism. This is of direct relevance to the geometric Langlands program, the theory of chiral algebras, and factorization homology. The explicit construction of the sheaf of completed enveloping algebras together with its factorization structure is a technical contribution that could serve as a model for similar statements at other levels or for other vertex algebras.
minor comments (3)
- [Introduction] The abstract and introduction should include a brief outline of the main steps of the proof (e.g., how the factorization structure on the center is inherited from the enveloping algebra sheaf and how the isomorphism with the oper functions is constructed).
- Notation for the sheaf of completed enveloping algebras and its center should be introduced once and used consistently; currently the transition between local and global objects is occasionally ambiguous.
- [Introduction] A short comparison paragraph with the original Feigin-Frenkel theorem and with existing factorization-algebra approaches (e.g., those of Beilinson-Drinfeld or Lurie) would help readers situate the new result.
Simulated Author's Rebuttal
We thank the referee for their positive summary of the manuscript and for recommending minor revision. The report correctly captures the main result: a global, factorizable extension of the Feigin-Frenkel isomorphism realized via a sheaf of completed enveloping algebras on a smooth curve. No specific major comments were listed under the MAJOR COMMENTS section.
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper takes as setup the construction of a sheaf of complete topological Lie algebras on C (fibers the critical-level affine Kac-Moody algebras) together with its sheaf of completed enveloping algebras admitting a factorization structure. It then proves that the center of this sheaf is itself a factorization algebra and is canonically isomorphic, factorizably, to the factorization algebra of functions on Opers on the pointed disk for the Langlands dual. The Feigin-Frenkel theorem is invoked as a known prior result whose factorizable extension is the object of proof; the central isomorphism is asserted as a theorem rather than obtained by re-labeling a fitted parameter or by a self-citation chain that itself reduces to the target statement. No equation or definition in the abstract reduces the claimed isomorphism to an input by construction, and the factorization property is derived rather than presupposed. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of affine Kac-Moody algebras at the critical level
- domain assumption Existence of factorization algebra structures on the relevant sheaves
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.