Differential operators on the base affine space of $SL_n$ and quantized Coulomb branches

Tom Gannon,Harold Williams

2023-12-16

Abstract:We show that the algebra $D_\hbar(SL_n/U)$ of differential operators on the base affine space of $SL_n$ is the quantized Coulomb branch of a certain 3d $\mathcal{N} = 4$ quiver gauge theory. In the semiclassical limit this proves a conjecture of Dancer-Hanany-Kirwan about the universal hyperkähler implosion of $SL_n$. We also formulate and prove a generalization identifying the Hamiltonian reduction of $T^* SL_n$ with respect to an arbitrary unipotent character as a Coulomb branch. As an application of our results, we provide a new interpretation of the Gelfand-Graev symmetric group action on $D_\hbar(SL_n/U)$.

Representation Theory,Mathematical Physics,Algebraic Geometry

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to relate the algebra of differential operators \( D_\hbar(\text{SL}_n/U) \) on the basic affine space of the special linear group \( \text{SL}_n \) to the quantum Coulomb branch of a specific three - dimensional \( N = 4 \) quiver gauge theory. Specifically, the core objective of the paper is to prove the following theorem:

\[ \text{Theorem 1.1:} \quad D_\hbar(\text{SL}_n/U) \cong C_\hbar[\mathcal{M}_C(Q_n)] \]

where \( C_\hbar[\mathcal{M}_C(Q_n)] \) represents the quantum Coulomb branch of the three - dimensional \( N = 4 \) quiver gauge theory associated with the quiver \( Q_n \).

In addition, the paper also aims to:
1. Verify and generalize the Dancer - Hanany - Kirwan conjecture regarding the hyper - Kahler implosion of \( \text{SL}_n \).
2. Provide a new interpretation of the Gelfand - Graev symmetry group action on \( D_\hbar(\text{SL}_n/U) \).
3. Generalize the above results to an arbitrary nilpotent orbit reduction \( T^* \text{SL}_n \sslash_\psi U \) and prove that it is the Coulomb branch of the corresponding quiver gauge theory.

### Specific problems and background

- **Algebra of differential operators**: Study the algebra of differential operators \( D(\text{SL}_n/U) \) on the basic affine space \( \text{SL}_n/U \) of \( \text{SL}_n \) and its asymptotic form \( D_\hbar(\text{SL}_n/U) \).
- **Coulomb branch**: Explore the Coulomb branch, a geometric object in three - dimensional \( N = 4 \) supersymmetric gauge theory, and relate it to the algebra of differential operators.
- **Gelfand - Graev action**: Explain the Weyl group action on \( D_\hbar(\text{SL}_n/U) \) and understand these actions from the perspective of the Coulomb branch.

### Paper contributions

1. **New isomorphism relation**: Establish an isomorphism relation between \( D_\hbar(\text{SL}_n/U) \) and the quantum Coulomb branch.
2. **Verify the conjecture**: Prove the Dancer - Hanany - Kirwan conjecture regarding hyper - Kahler implosion.
3. **New interpretation**: Provide a new interpretation of the Gelfand - Graev symmetry group action.
4. **Generalization**: Generalize the results to an arbitrary nilpotent orbit reduction \( T^* \text{SL}_n \sslash_\psi U \).

### Methods and tools

- **Geometric Satake correspondence**: Use the geometric Satake correspondence to interpret \( D_\hbar(\text{SL}_n/U) \) as a constructible sheaf on the affine Grassmannian \( \text{Gr}_{\text{PGL}_n} \).
- **Braverman - Finkelberg - Nakajima construction**: Apply the results of Braverman - Finkelberg - Nakajima to relate the constructible sheaf to the Coulomb branch of the quiver gauge theory.
- **Base - change results**: Use the base - change results of loop objects in the derived Satake categories of different groups to prove the main theorem.

Through these methods, the paper not only solves the above problems but also provides new perspectives and tools for further research on related problems in Lie theory, representation theory, and quantum field theory.