Abstract:In this paper, we give a geometrization of semicanonical bases of quantum groups via Grothendieck groups of the derived categories of Lusztig's nilpotent varieties. Meanwhile, we describe the dual semicanonical bases in terms of Serre polynomials of Grassmannians of modules over preprojective algebras.
What problem does this paper attempt to address?
This paper aims to solve the problem of geometric representation of the dual semicanonical bases of the quantum group \(U_q(n)\). Specifically, the author attempts to geometrize the semicanonical bases through the Grothendieck group and Lusztig's nilpotent varieties in the derived category, and to characterize the dual semicanonical bases by the Serre polynomial of the Grassmannian module.
### Main research objectives:
1. **Geometrize the semicanonical bases**: Geometrize the semicanonical bases of the quantum group \(U_q(n)\) through the Grothendieck group \(K(\Lambda_\alpha)\) and the derived category \(D^b_{G_\alpha}(\Lambda_\alpha)\).
2. **Characterize the dual semicanonical bases**: Use the Serre polynomial of the Grassmannian module to describe the dual semicanonical bases.
### Specific problems:
- How to geometrize the semicanonical bases through the Grothendieck group of Lusztig's nilpotent varieties?
- How to characterize the dual semicanonical bases by the Serre polynomial?
### Key results:
- **Theorem 1.1**: For a quiver \(Q\) without multiple arrows, there exists a \(\mathbb{C}(q)\)-algebra isomorphism \(\Phi: \tilde{K}_{\text{nil}}(\Lambda_Q)\cong U_q(n_Q)\) such that the irreducible components of the constant sheaf form the semicanonical bases of \(U_q(n_Q)\).
- **Theorem 1.2**: For a quiver \(Q\) without multiple arrows, the dual space \(\tilde{K}^*(\Lambda_Q)\) can be embedded into \(\mathbb{C}(q)\langle Q_0\rangle\), and the image (under certain \(q\)-powers) of any irreducible component \(Z\) is:
\[
\delta_Z=\sum_{i\in\langle Q_0\rangle_\alpha}q^{-d_i}\chi_q(\text{Gr}_i(z))i
\]
where \(\chi_q(\text{Gr}_i(z))\) is the Serre polynomial of \(\text{Gr}_i(z)\), and \(d_i = \dim\Lambda_{i,\alpha}\).
### Methods and techniques:
- **Derived category and Grothendieck group**: Utilize the derived category \(D^b_{G_\alpha}(\Lambda_\alpha)\) and its Grothendieck group \(K(\Lambda_\alpha)\).
- **Serre polynomial**: Characterize the dual semicanonical bases by the Serre polynomial of the Grassmannian module.
- **Induction functor**: Define the induction functor from \(D^b_{G_\beta}(\Lambda_\beta)\times D^b_{G_\gamma}(\Lambda_\gamma)\) to \(D^b_{G_\alpha}(\Lambda_\alpha)\).
### Background and significance:
- **Semicanonical bases**: Lusztig introduced the semicanonical bases of the enveloping algebra \(U(n)\), and Geiss, Leclerc, and Schröer used the modules of the pre - projection algebra to construct the dual semicanonical bases of the coordinate ring of the one - parameter group \(C[N]\).
- **Quantum cluster algebras**: Geiss, Leclerc, and Schröer also proved the quantum cluster algebra structure in the quantum coordinate ring \(A\) of a specific Weyl group element \(w\in W\).