Aizenbud–Gourevitch regularity conjecture

For every connected complex reductive algebraic group GG and every involutive automorphism θ:GG\theta:G\to G, let H=GθH=G^\theta and let g=hs\mathfrak{g}=\mathfrak{h}\oplus\mathfrak{s} be the corresponding eigenspace decomposition of Lie(G)\operatorname{Lie}(G), where s={Xg:dθ(X)=X}\mathfrak{s}=\{X\in\mathfrak{g}:d\theta(X)=-X\}. Every HH-invariant Schwartz distribution on s\mathfrak{s} is invariant under the map XXX\mapsto -X; equivalently, every symmetric pair (G,H)(G,H) is regular in the sense of Aizenbud–Gourevitch.

Progress summary

Solved

A new preprint claims to settle the conjecture, but the claim has not yet received independent mathematical confirmation.

Aizenbud and Gourevitch proposed that every symmetric pair is regular in 2008; this would imply van Dijk’s conjecture for complex symmetric pairs.

Known results

  • Aizenbud and Gourevitch (2008) proved regularity for several classical families, including (GL(V),O(V))(\operatorname{GL}(V),\operatorname{O}(V)), (GL(V),U(V))(\operatorname{GL}(V),\operatorname{U}(V)), and orthogonal and unitary block pairs.
  • A later preprint (2022) proved the Gelfand property for eight exceptional complex symmetric pairs and (Spin4q+2,Spin4q+1)(\operatorname{Spin}_{4q+2},\operatorname{Spin}_{4q+1}).
  • The 2022 preprint reduced the remaining problem to DIII, CII, Spin-block, and EVII families, while describing their regularity as work in progress.

August 2026 claimed completion

A preprint dated August 19, 2026 claims to treat the remaining DIII, CII, Spin-block, and EVII families and derive consequences for Gelfand–Kazhdan pairs, thereby settling the conjecture and implying van Dijk’s conjecture. The retrieved evidence provides no independent verification or resolution of possible gaps.

Current status (as of August 2026): The conjecture has a new unverified preprint claim of resolution; absent independent confirmation, the remaining families and the full theorem remain mathematically unsettled.

Sources
Sources & referencesView supporting material

Primary source

arXiv

Solutions 0

No solutions have been posted yet.