Two invariant subalgebras of rational Cherednik algebras

This paper investigates the ring-theoretic and homological properties of two invariant subalgebras of rational Cherednik algebras by realizing them as rings of invariants under reductive subgroups of $\rm SL_2$, thereby characterizing their centers, establishing their Cohen-Macaulay and Auslander-Gorenstein nature, and analyzing their quantum Hamiltonian reductions at parameters $t=0$ and $t=1$.

The Gist

Imagine a vast, complex machine called the Rational Cherednik Algebra. Mathematicians built this machine to help solve tricky puzzles involving "integrable systems"—think of these as perfectly synchronized dance routines where every move is predictable and balanced.

This paper, written by Bellamy, Feigin, and Hird, focuses on two specific, smaller rooms inside this massive machine. These rooms contain special collections of rules (subalgebras) that the authors want to understand better.

Here is a simple breakdown of what they found, using everyday analogies:

1. The Two Special Rooms

Inside the big machine, there are two distinct "rooms" the authors are studying:

• Room A: The "Degree Zero" Room ($H_{gl(n)}$)

  • The Analogy: Imagine a spinning top. Some parts of the top move fast, some slow, and some don't move at all relative to the spin. This room contains only the parts that have a "net spin" of zero. It's like a collection of perfectly balanced scales.
  • The Math: It is generated by elements that look like $x_i y_j$. The authors realized this room is actually a "Ring of Invariants." Think of it as a pattern that looks exactly the same no matter how you rotate a specific part of the machine (a group called $T$).

• Room B: The "Dunkl Angular Momentum" Room ($H_{so(n)}$)

  • The Analogy: Imagine a figure skater spinning. Angular momentum is about the rotation itself. This room contains the rules for how things rotate and twist relative to each other (generated by $x_i y_j - x_j y_i$).
  • The Math: This room is also a "Ring of Invariants," but it stays the same under a much larger group of rotations (the group $SL_2$).

The Big Discovery: The authors realized that instead of trying to understand these rooms by looking at their messy internal gears (generators and relations), they could understand them by looking at the "symmetry" that keeps them unchanged. It's like understanding a snowflake not by counting its ice crystals, but by understanding the symmetry that makes it a snowflake.

2. What They Found About the Rooms' "Centers"

Every complex machine has a "control center" or a Centre (a set of rules that commute with everything else).

• The "Zero" Setting ($t=0$): When the machine is set to a specific mode (called $t=0$), the control centers of these rooms are surprisingly large and structured.

  • The authors proved that the control center is made of two parts: the invariants of the symmetry group, combined with the "center" of the reflection group (a small, repeating cycle of symmetry).
  • The Shape of the Center: They showed that the geometric shape formed by these centers is "normal" and "Gorenstein." In plain English, this means the shape is solid, has no weird holes or tears, and is mathematically "well-behaved" even if it has some sharp corners (singularities).

• The "Non-Zero" Setting ($t \neq 0$): When the machine is turned on to a different mode ($t=1$), the control center shrinks dramatically.

  • For the "Degree Zero" room, the center becomes very small, essentially just containing the "Euler element" (a specific rule about scaling) and the small repeating cycle. It's like the control panel has been stripped down to just one essential button.

3. The "Hamiltonian Reduction" (The Magic Squeeze)

The authors performed a mathematical operation called Hamiltonian Reduction.

• The Analogy: Imagine you have a giant, flexible balloon filled with water (the algebra). You want to squeeze it through a specific hole (defined by a value $\zeta$) to see what shape comes out the other side.
• The Result:
  • When they squeezed the "Degree Zero" room through this hole, the shape that came out was a filtered quantization of a famous geometric object called the minimal nilpotent orbit closure (let's call it the "Minimal Orbit").
  • Think of the "Minimal Orbit" as a specific, elegant geometric sculpture. The authors showed that their algebra is a "quantum version" of this sculpture.
  • When $t=0$, this process creates a "deformation" of the sculpture. It's like taking a clay model of the sculpture and gently reshaping it while keeping its essential symmetries.

4. Why This Matters (According to the Paper)

The authors didn't just find these shapes; they proved they are mathematically robust:

• Cohen-Macaulay & Auslander-Gorenstein: These are fancy terms meaning the algebra is "sturdy." It doesn't collapse under pressure, and its internal structure is predictable and consistent.
• PI-Degree: They calculated a specific number (the size of the group $W$) that tells us how "big" the algebra is in terms of matrix representations.
• The "Double Centralizer" Property: They proved that if you look at the algebra from the outside (via a specific idempotent), you can perfectly reconstruct the whole algebra. It's like looking at a shadow and being able to perfectly deduce the 3D object casting it.

Summary

In short, this paper takes two complex, abstract mathematical rooms inside a larger machine. By realizing these rooms are actually "symmetry rooms" (invariant rings), the authors were able to:

1. Describe their control centers (centres) in detail.
2. Prove they are structurally sound and well-behaved.
3. Show that when you "squeeze" one of these rooms, you get a quantum version of a famous geometric shape (the minimal nilpotent orbit).

They used the language of symmetry to turn a messy algebraic problem into a clean geometric picture.

Technical Summary

Technical Summary: Two Invariant Subalgebras of Rational Cherednik Algebras

Problem Statement
The paper investigates the ring-theoretic and homological properties of two specific subalgebras of the rational Cherednik algebra $H_{t,c}(W)$ associated with a complex reflection group $W$ acting on a vector space $h$. These subalgebras are:

1. The degree zero subalgebra ($H_{t,c}^{\mathfrak{gl}(n)}$): Generated by elements of the form $x_i y_j$ (where $x \in h^*, y \in h$) and the group $W$. This algebra is related to Calogero–Moser systems in harmonic confinement.
2. The Dunkl angular momentum subalgebra ($H_{t,c}^{\mathfrak{so}(n)}$): Generated by the Dunkl-deformed angular momentum operators $x_i y_j - x_j y_i$ and $W$. This algebra is related to the angular part of generalized Calogero–Moser systems.

While these algebras arise naturally in the context of integrable systems and deformed Howe dualities, their abstract structural properties (such as their centers, primality, and homological dimensions) are difficult to determine directly from their generators and relations. The authors focus particularly on the case $t=0$, where the rational Cherednik algebra becomes a skew group ring, and the case $t \neq 0$.

Methodology
The core methodological innovation of the paper is the realization of both subalgebras as rings of invariants under the action of specific reductive subgroups of $SL_2$ acting on the rational Cherednik algebra.

• Let $T \subset SL_2$ be the maximal torus of diagonal matrices. The authors show that $H_{t,c}^{\mathfrak{gl}(n)} = H_{t,c}^T$.
• When $W$ is a real reflection group, the entire group $SL_2$ acts on $H_{t,c}$. The authors prove that $H_{t,c}^{\mathfrak{so}(n)} = H_{t,c}^{SL_2}$.

This realization allows the authors to leverage invariant theory and the properties of reductive group actions. Their approach involves:

1. Filtration and Grading: Utilizing the natural filtration of the Cherednik algebra to relate the subalgebras to their associated graded algebras, which are rings of invariants in the commutative polynomial ring $P = \mathbb{C}[h \times h^*]$.
2. Invariant Theory: Analyzing the structure of $P^\Gamma \rtimes W$ (where $\Gamma$ is $T$ or $SL_2$) to deduce properties of the non-commutative algebras.
3. Hamiltonian Reduction: Investigating the quantum Hamiltonian reduction of the spherical subalgebra with respect to the torus $T$, defined as $A_{t,c,\zeta} = a H_{t,c}^{\mathfrak{gl}(n)} a / \langle a e_{\text{euc}} - \zeta \rangle$, where $e_{\text{euc}}$ is the Euler element.

Key Contributions and Results

1. Structural Properties and Centers

• Centers at $t=0$: The authors describe the centers of these algebras. They prove that $\text{gr } Z(H_{0,c}^\Gamma) = Z(P^\Gamma \rtimes W)$. Consequently, the center $Z(H_{0,c}^\Gamma)$ is isomorphic to $Z(H_{0,c})^\Gamma \otimes \mathbb{C}Z(W)$, where $Z(W)$ is the center of the reflection group.
• Geometric Nature of the Center: The affine scheme $Y_c = \text{Spec } Z(H_{0,c}^\Gamma)$ is shown to be a normal, irreducible, Gorenstein variety with rational singularities.
• Centers at $t \neq 0$: For the degree zero subalgebra, the center is shown to be $Z(H_{t,c}^{\mathfrak{gl}(n)}) = \mathbb{C}[e_{\text{euc}}] \otimes \mathbb{C}Z(W)$.

2. Homological and Ring-Theoretic Properties

• Auslander–Gorenstein and Cohen–Macaulay: The algebras $H_{t,c}^\Gamma$ and their components $a_i H_{t,c}^\Gamma a_i$ (associated with primitive idempotents of $Z(W)$) are proven to be Auslander–Gorenstein and (GK) Cohen–Macaulay.
• Gelfand–Kirillov Dimension: The GK-dimension of these algebras is computed as $2 \dim h - \dim \Gamma$.
• Primality: The components $a_i H_{t,c}^\Gamma a_i$ are shown to be prime rings. Specifically, the "spherical" component $a H_{t,c}^\Gamma a$ is a prime PI-algebra.

3. Representation Theory at $t=0$

• PI-Degree: The PI-degree of the prime algebra $a H_{0,c}^\Gamma a$ is computed to be $|W|$.
• Simple Modules: For simple modules $L$ supported on the regular locus of the center $Y_c$, the restriction $L|_W$ is isomorphic to the regular representation $\mathbb{C}W$.
• Azumaya Locus: The regular locus of $Y_c$ is contained within the Azumaya locus of the algebra. The authors note that it remains an open question whether these two loci are equal.

4. Hamiltonian Reduction and Symplectic Singularities

• Quantization of $O_{\min}/W$: The algebra $e A_{t,c,\zeta} e$ (for $t \neq 0$) is identified as a filtered quantization of the quotient of the minimal nilpotent orbit closure $O_{\min} \subset \mathfrak{gl}(n)$ by the reflection group $W$.
• Global Dimension: For Weil generic parameters $(t, c, \zeta)$, the algebra $A_{t,c,\zeta}$ has finite global dimension.
• Poisson Deformations: At $t=0$, the center of the Hamiltonian reduction provides a graded Poisson deformation of the symplectic singularity $O_{\min}/W$.

Significance and Claims
The paper claims that realizing these subalgebras as rings of invariants provides a "remarkably uniform treatment" of their properties, bypassing the difficulties of working directly with generators and relations.

• The identification of the Hamiltonian reduction $A_{t,c,\zeta}$ as a quantization of $O_{\min}/W$ connects the representation theory of rational Cherednik algebras to the geometry of symplectic singularities.
• The result that the center of the Hamiltonian reduction at $t=0$ yields a Poisson deformation of $O_{\min}/W$ is presented as a potential representation-theoretic tool for enumerating projective $\mathbb{Q}$-factorial terminalizations of this singularity.
• The authors explicitly state modesty regarding the equality of the regular and Azumaya loci, noting that standard arguments for the reverse inclusion do not apply in this context.

The work relies heavily on established results from invariant theory, the theory of symplectic singularities (Beauville), and previous work on rational Cherednik algebras (Etingof, Ginzburg, Brown, Changtong), extending these frameworks to the specific subalgebras of interest.