I. M. GEL'FAND. - The cohomology of infinite dimensional Lie algebras; some questions of integral geometry · 1970-lie-163
Lie Groups and Their Representations · ICM 1970: I. M. GEL'FAND. - The cohomology of infinite dimensional Lie algebras; some questions of integral geometry
Problem statement
Let be a simply connected compact semisimple Lie group of rank , let be its complexification, let be a maximal unipotent subgroup, and let be the principal affine space, equipped with its invariant measure . For each , let be the -th fundamental representation, choose a highest-weight vector , and equip with a -invariant Hermitian inner product. Define
and let be the Hilbert space of holomorphic functions on that are square-integrable with respect to . Let be the ring of finite-order algebraic differential operators on with regular algebraic coefficients. Prove that is closed under adjoints on the subspace of regular algebraic functions in : for every , there exists such that
for all regular algebraic functions on .
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Progress & source assessment
Source-reported assessment from the ICM catalogue snapshot. This is not an independent review by Frontier Science.
The exact assertion is unresolved. Gel'fand posed it for the fixed weight and reported that it had been checked for , in addition to the classical Bargmann case, but gave no general proof. I found no later source proving closure under the adjoint defined by this particular weight for every simply connected compact semisimple , nor a counterexample.
The closest detailed follow-up changes an essential datum. In Differential Operators on the Base Affine Space and a Study of -Modules, I. N. Bernstein, I. M. Gel'fand, and S. I. Gel'fand, in Lie Groups and Their Representations (Proceedings of the 1971 Bolyai Janos Summer School), Halsted Press/Akademiai Kiado, 1975, pp. 21-64 (direct PDF), Section 5 replaces by an unknown weight , states adjoint-closure as Conjecture II, proves the case, and verifies only for a specially chosen satisfying an ODE. Thus it does not settle the fixed problem stated here.
Substantial algebraic progress on the same operator ring does not close this analytic gap:
- N. N. Shapovalov, Structure of the Algebra of Regular Differential Operators on a Basic Affine Space, Functional Analysis and Its Applications 8 (1974), 37-46, doi:10.1007/BF02028306, studies the algebraic structure of , but not the adjoint for Gel'fand's weighted holomorphic Hilbert space.
- Roman Bezrukavnikov, Alexander Braverman, and Leonid Positselskii, Gluing of Abelian Categories and Differential Operators on the Basic Affine Space, Journal of the Institute of Mathematics of Jussieu 1 (2002), 543-557, doi:10.1017/S1474748002000154, constructs the Weyl-group action on using partial Fourier transforms and proves Noetherian and homological properties. Its unitary Fourier transforms act on a different -space attached to a split real form, not on the holomorphic space in the problem.
- Thierry Levasseur and J. T. Stafford, Differential Operators and Cohomology Groups on the Basic Affine Space, in Studies in Lie Theory, Progress in Mathematics 243, Birkhauser, 2006, pp. 377-403, doi:10.1007/0-8176-4478-4_14, Theorem 3.6 gives a finite generating description of by Weyl-transformed regular functions and Cartan vector fields. It does not identify the adjoints of those generators for the fixed weight .
- Victor Ginzburg and David Kazhdan, Differential Operators on and the Gelfand-Graev Action, Advances in Mathematics 403 (2022), 108368, doi:10.1016/j.aim.2022.108368, gives an algebraic construction of the Gelfand-Graev Weyl-group action, again without treating the weighted Hilbert-space adjoint in the statement.
The original source is I. M. Gel'fand, The Cohomology of Infinite Dimensional Lie Algebras; Some Questions of Integral Geometry, in Actes du Congres International des Mathematiciens, Nice, 1970, vol. 1, Gauthier-Villars, 1971, pp. 95-111 (direct proceedings PDF). It explicitly formulates the fixed-weight conjecture and reports the check. Beyond these low-rank reports and results for modified weights, the all-groups fixed-weight assertion remains the unfilled part.
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.