Regularity and the Gelfand Property for Complex Symmetric Pairs
Abstract
We prove that every symmetric pair of a connected complex reductive group is regular in the sense of Aizenbud--Gourevitch. This settles the Aizenbud--Gourevitch regularity conjecture over the complex numbers. Generalized Harish--Chandra descent then makes the canonical central cover of every complex symmetric pair a Gelfand--Kazhdan pair. An anti-automorphism arising from a compatible Chevalley involution upgrades the resulting GP2 bound to GP1 on the cover, and finite central descent transfers GP1 to the original pair. In particular, van Dijk's conjecture on complex symmetric pairs follows. Rubio reduced the unresolved irreducible regularity problem to four families: the DIII family (Dr,Ar−1+ℂ), the balanced CII family (C2r,Cr+Cr), some remaining Spin block pairs, and the EVII pair (E7,E6+ℂ). We treat these cases by four different mechanisms. For DIII we construct a sign-equivariant Schwartz distribution on the regular set and extend it across a common orbit boundary by the Chen--Sun theorem. For balanced CII we combine homogeneity, distinguished nilpotent orbits, and a stable-density theorem for the centralizer representation. For Spin blocks we prove pleasantness for unequal odd--odd blocks, use Przebinda's orthogonal-distribution theorem in odd smaller rank, and construct a finite orbit closure with automatic extension in even smaller rank. For EVII we compute the graded-sl2 data for all twenty-two nilpotent orbits and use central-torus characters to eliminate the remaining resonances, including the two residual triple-centralizer cases. A finite-component assembly theorem then handles arbitrary connected central quotients and diagonal couplings among simple factors.
Related
- Kashiwara--Nakashima tableaux, Gelfand--Tsetlin patterns, and quantum symmetric pairs
- Sobolev spaces arising from the Stockwell transform on Gelfand pairs
- Skein theory, line defects, and quantum symmetric pairs
- Shifted quantum affine symmetric pairs: finite presentations and graded coideal structures
- Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties
BibTeX
@misc{li2026regularity,
title = {{Regularity and the Gelfand Property for Complex Symmetric Pairs}},
author = {Yufeng Li and Junyan Xiao and Jun Yu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.18928},
eprint = {2608.18928},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.18928},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Regularity and the Gelfand Property for Complex Symmetric Pairs
AU - Yufeng Li
AU - Junyan Xiao
AU - Jun Yu
PY - 2026
DA - 2026/10/09
PB - arXiv
DO - 10.48550/arxiv.2608.18928
UR - https://arxiv.org/abs/2608.18928
AB - We prove that every symmetric pair of a connected complex reductive group is regular in the sense of Aizenbud--Gourevitch. This settles the Aizenbud--Gourevitch regularity conjecture over the complex numbers. Generalized Harish--Chandra descent then makes the canonical central cover of every complex symmetric pair a Gelfand--Kazhdan pair. An anti-automorphism arising from a compatible Chevalley involution upgrades the resulting GP2 bound to GP1 on the cover, and finite central descent transfers GP1 to the original pair. In particular, van Dijk's conjecture on complex symmetric pairs follows. Rubio reduced the unresolved irreducible regularity problem to four families: the DIII family (D_r,A_r−1+ℂ), the balanced CII family (C_2r,C_r+C_r), some remaining Spin block pairs, and the EVII pair (E_7,E_6+ℂ). We treat these cases by four different mechanisms. For DIII we construct a sign-equivariant Schwartz distribution on the regular set and extend it across a common orbit boundary by the Chen--Sun theorem. For balanced CII we combine homogeneity, distinguished nilpotent orbits, and a stable-density theorem for the centralizer representation. For Spin blocks we prove pleasantness for unequal odd--odd blocks, use Przebinda's orthogonal-distribution theorem in odd smaller rank, and construct a finite orbit closure with automatic extension in even smaller rank. For EVII we compute the graded-sl_2 data for all twenty-two nilpotent orbits and use central-torus characters to eliminate the remaining resonances, including the two residual triple-centralizer cases. A finite-component assembly theorem then handles arbitrary connected central quotients and diagonal couplings among simple factors.
ER -