Abstract:Let $G$ be a reductive algebraic group with Lie algebra $\mathfrak{g}$ and $V$ a finite-dimensional representation of $G$. Costello-Gaiotto studied a graded Lie algebra $\mathfrak{d}_{\mathfrak{g}, V}$ and the associated affine Kac-Moody algebra. In this paper, we show that this Lie algebra can be made into a sheaf of Lie algebras over $T^*[V/G]=[\mu^{-1}(0)/G]$, where $\mu: T^*V\to \mathfrak{g}^*$ is the moment map. We identify this sheaf of Lie algebras with the tangent Lie algebra of the stack $T^*[V/G]$. Moreover, we show that there is an equivalence of braided tensor categories between the bounded derived category of graded modules of $\mathfrak{d}_{\mathfrak{g}, V}$ and graded perfect complexes of $[\mu^{-1}(0)/G]$.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve can be summarized in the following two aspects:
1. **Geometrize the Lie algebra \(\mathfrak{d}_{g,V}\)**:
- The author shows how to construct the Lie algebra \(\mathfrak{d}_{g,V}\) into a sheaf of Lie algebras on the symplectic reduction space \(T^*[V/G]=[\mu^{-1}(0)/G]\), denoted as \(\mathcal{l}[M]\). Specifically, this construction can recover \(\mathfrak{d}_{g,V}\) when restricted at the cone point \(0\in [M]\).
- In this way, the author proves that this sheaf of Lie algebras is actually the tangent Lie algebra \(T[M][-1]\) of the symplectic reduction space \([M]\), and establishes the correspondence between quadratic forms and symplectic forms.
2. **Establish the connection between geometry and algebra**:
- The author shows how to relate the category of sheaves on \([M]\) to the category of \(\mathfrak{d}_{g,V}\) -modules. Specifically, they prove that there is an equivalence of braided tensor categories:
\[
F: D^b_{\text{gr}}(U(\mathfrak{d}_{g,V})[[\hbar]])\simeq \text{Perf}_{C^\times}([M][[\hbar]])
\]
- This equivalence means that the module object of \(\mathfrak{d}_{g,V}\) is mapped to \(\mathcal{l}[M]\) under the functor \(F\).
### Specific formulas and definitions
- **Symplectic reduction**: Let \(G\) be a reductive algebraic group, \(V\) be its finite - dimensional representation, and \(\mu: T^*V\to \mathfrak{g}^*\) be the moment map. The symplectic reduction space \(M:=\mu^{-1}(0)//G\) is the quotient space as an affine variety, and \([M]:=[\mu^{-1}(0)/G]\) is the quotient stack.
- **Lie algebra \(\mathfrak{d}_{g,V}\)**: It is defined as \(\mathfrak{d}_{g,V}=h\ltimes h^*[-2]\), where \(h = \mathfrak{g}\ltimes V[-1]\). It is a graded Lie algebra with the following non - trivial commutation relations:
\[
[x_a, x_b]=\sum_c f^c_{ab}x_c,\quad [x_a,\psi^+_i]=\rho(x_a)^j_i\psi^+_j,\quad [x_a, t_b]=-\sum_c f^c_{ab}t_c,\quad [x_a,\psi^-_i]=-\rho(x_a)^j_i\psi^-_j,\quad [\psi^+_i,\psi^-_j]=\sum_a\rho^i_j(x_a)t_a
\]
- **Equivalence of braided tensor categories**: By introducing a larger weighted category and defining the inverse of \(F\) at the chain level, the author proves the equivalence of the above - mentioned braided tensor categories. This depends on the role of the Atiyah class.
### Summary
The main goal of this paper is to reveal the deep relationships between these structures by geometrizing the Lie algebra \(\mathfrak{d}_{g,V}\) and relating its module category to the category of sheaves on the symplectic reduction space. This work...