Table of Contents
Fetching ...

A Lie-theoretic generalization of some Hilbert schemes

Oscar Kivinen

TL;DR

The authors generalize Hilbert schemes to arbitrary complex reductive Lie algebras by constructing three variants X_g (sgn, diag, symb) with isospectral counterparts, and they connect these spaces to rational Cherednik algebras and Coulomb branches. They establish a Gordon-Stafford-type localization linking H_c to a noncommutative/commutative degeneration framework via a Z-algebra, and show that X_g,symb serves as a natural, normal, symplectic object closely related to Calogero-Moser spaces, with type-A recovering the classical Hilbert scheme. They prove key structural results (normality, symplectic singularities) and provide detailed evidence in low-rank types (ABC, BC) including a quiver-variety realization in B/C and conjectural hyper-Kähler equivalences. The work also proposes deep conjectures linking fixed points to Weyl-group two-sided cells, endoscopy, and Shalika germs, suggesting broad unifications between representation theory, algebraic geometry, and geometric aspects of affine Springer fibers.

Abstract

We define several versions of a class of varieties $X_{\mathfrak{g}}$ attached to a complex reductive Lie algebra $\mathfrak{g}$, generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions attached to the corresponding groups. We also define the corresponding isospectral varieties $Y_{\mathfrak{g}}$. We prove a Gordon-Stafford localization theorem for $X_{\mathfrak{g}}$ and the corresponding equal-parameter rational Cherednik algebras, relate these varieties to the affine Springer fiber-sheaf correspondence of arXiv:2204.00303, and discuss examples. We conjecture that the torus-fixed points of our varieties are in bijection with two-sided cells in the finite Weyl group and prove this in types $ABC$. We relate these results to known results about Calogero-Moser spaces.

A Lie-theoretic generalization of some Hilbert schemes

TL;DR

The authors generalize Hilbert schemes to arbitrary complex reductive Lie algebras by constructing three variants X_g (sgn, diag, symb) with isospectral counterparts, and they connect these spaces to rational Cherednik algebras and Coulomb branches. They establish a Gordon-Stafford-type localization linking H_c to a noncommutative/commutative degeneration framework via a Z-algebra, and show that X_g,symb serves as a natural, normal, symplectic object closely related to Calogero-Moser spaces, with type-A recovering the classical Hilbert scheme. They prove key structural results (normality, symplectic singularities) and provide detailed evidence in low-rank types (ABC, BC) including a quiver-variety realization in B/C and conjectural hyper-Kähler equivalences. The work also proposes deep conjectures linking fixed points to Weyl-group two-sided cells, endoscopy, and Shalika germs, suggesting broad unifications between representation theory, algebraic geometry, and geometric aspects of affine Springer fibers.

Abstract

We define several versions of a class of varieties attached to a complex reductive Lie algebra , generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions attached to the corresponding groups. We also define the corresponding isospectral varieties . We prove a Gordon-Stafford localization theorem for and the corresponding equal-parameter rational Cherednik algebras, relate these varieties to the affine Springer fiber-sheaf correspondence of arXiv:2204.00303, and discuss examples. We conjecture that the torus-fixed points of our varieties are in bijection with two-sided cells in the finite Weyl group and prove this in types . We relate these results to known results about Calogero-Moser spaces.

Paper Structure

This paper contains 10 sections, 15 theorems, 45 equations, 1 figure.

Key Result

Theorem 2.1

where $\Delta A\subseteq {\mathbb C}[x_1,\ldots,x_n, y_1,\ldots,y_n]^{S_n}$ is the ideal consisting of products of the form $\Delta f$, where $\Delta=\prod_{i<j}(x_i-x_j)$ and $f\in A:={\mathbb C}[x_1,\ldots, x_n,y_1,\ldots,y_n]^{sgn}$ is an alternating polynomial for the diagonal action.

Figures (1)

  • Figure 1:

Theorems & Definitions (48)

  • Theorem 2.1
  • proof
  • Corollary 2.2
  • Remark 2.3
  • Remark 2.4
  • Definition 3.1
  • Definition 3.2
  • Conjecture 3.3
  • Definition 3.4
  • Definition 3.5
  • ...and 38 more