OpenFrontiers
← Back to the index
OP-0874OpenAlgebra

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

Source assessment · not reviewedAs of 2026-08-18Source & evidence ↓

Problem statement

Let KK be a simply connected compact semisimple Lie group of rank rr, let GG be its complexification, let N⊂GN\subset G be a maximal unipotent subgroup, and let A=N\GA=N\backslash G be the principal affine space, equipped with its invariant measure dada. For each i=1,…,ri=1,\ldots,r, let ρi:G→GL⁡(Vi)\rho_i:G\to\operatorname{GL}(V_i) be the ii-th fundamental representation, choose a highest-weight vector ξi∈Vi\xi_i\in V_i, and equip ViV_i with a KK-invariant Hermitian inner product. Define

Hi(Ng)=⟨ρi(g)ξi,ρi(g)ξi⟩,H=∑i=1rHi, H_i(Ng)=\left\langle \rho_i(g)\xi_i,\rho_i(g)\xi_i\right\rangle, \qquad H=\sum_{i=1}^r H_i,

and let HK\mathcal H_K be the Hilbert space of holomorphic functions on AA that are square-integrable with respect to e−H(a) dae^{-H(a)}\,da. Let D(A)\mathscr D(A) be the ring of finite-order algebraic differential operators on AA with regular algebraic coefficients. Prove that D(A)\mathscr D(A) is closed under adjoints on the subspace of regular algebraic functions in HK\mathcal H_K: for every D∈D(A)D\in\mathscr D(A), there exists D∗∈D(A)D^*\in\mathscr D(A) such that

⟨Df,g⟩HK=⟨f,D∗g⟩HK \langle Df,g\rangle_{\mathcal H_K}=\langle f,D^*g\rangle_{\mathcal H_K}

for all regular algebraic functions f,gf,g on AA.

Lean 4

Not yet attached

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 e−He^{-H} and reported that it had been checked for SU(3)SU(3), in addition to the classical SU(2)SU(2) 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 KK, nor a counterexample.

The closest detailed follow-up changes an essential datum. In Differential Operators on the Base Affine Space and a Study of g\mathfrak g-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 e−He^{-H} by an unknown weight u(∑iqiHi)u(\sum_i q_iH_i), states adjoint-closure as Conjecture II, proves the SL(2,C)SL(2,\mathbb C) case, and verifies SL(3,C)SL(3,\mathbb C) only for a specially chosen uu satisfying an ODE. Thus it does not settle the fixed u(t)=e−tu(t)=e^{-t} 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 D(G/U)\mathscr D(G/U), 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 D(G/U)\mathscr D(G/U) using partial Fourier transforms and proves Noetherian and homological properties. Its unitary Fourier transforms act on a different L2L^2-space attached to a split real form, not on the e−He^{-H} 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 D(G/U)\mathscr D(G/U) by Weyl-transformed regular functions and Cartan vector fields. It does not identify the adjoints of those generators for the fixed weight e−He^{-H}.
  • Victor Ginzburg and David Kazhdan, Differential Operators on G/UG/U 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 SU(3)SU(3) check. Beyond these low-rank reports and results for modified weights, the all-groups fixed-weight assertion remains the unfilled part.

References
  1. [1]ICM Conjectures · 1970-lie-163 link
  2. [2]ICM 1970: I. M. GEL'FAND. - The cohomology of infinite dimensional Lie algebras; some questions of integral geometry link

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts 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 notes

Notes 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.