Abstract:Improvements in the exposition.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove Nakajima's conjecture regarding the geometric relationships between type - A quiver varieties, partial flag varieties and nilpotent varieties. Specifically, the author Andrea Maffei aims to prove the correspondence between these different types of varieties and show their geometric connections.
### Specific Problem Description
1. **Background Introduction**
- Quiver varieties are a class of geometric objects introduced by Nakajima, which are used to generalize the description of the moduli spaces of anti - self - dual connections on ALE spaces by Kronheimer and Nakajima.
- These varieties have rich geometric structures and were used by Nakajima to construct representations of Kac - Moody algebras.
- Similarly, Ginzburg also made a similar construction through partial flag varieties, especially in the case of sl_n.
2. **Core Problem**
- Nakajima proposed a conjecture that describes the relationships between type - A quiver varieties, partial flag varieties and nilpotent varieties.
- The core of this conjecture lies in establishing the isomorphism relationships between these different geometric objects, especially by constructing specific mappings to achieve this.
3. **Specific Goals**
- Prove the existence of an isomorphism mapping from type - A quiver varieties to Slodowy varieties (a special type of nilpotent variety).
- Ensure that these isomorphism mappings maintain the consistency of geometric properties under certain specific conditions, such as the relationship between stability conditions and projection mappings.
### Summary of Mathematical Formulas
To describe these problems more precisely, the involved mathematical formulas include:
- **Definition of Quiver**
\[
S(d,v)=\bigoplus_{i\in I}\text{Hom}(D_i,V_i)\oplus\bigoplus_{h\in H}\text{Hom}(V_{h_0},V_{h_1})
\]
where \(I\) is the set of vertices, \(H\) is the set of arrows, and \(D_i\) and \(V_i\) are vector spaces with dimensions \(d_i\) and \(v_i\) respectively.
- **ADHM Equations**
\[
\begin{cases}
B_1A_1 = \gamma_1\delta_1\\
B_iA_i=A_{i - 1}B_{i - 1}+\gamma_i\delta_i&\text{for }2\leq i\leq n - 2\\
0=A_{n - 2}B_{n - 2}+\gamma_{n - 1}\delta_{n - 1}
\end{cases}
\]
- **Stability Conditions**
\[
\forall U=(U_1,\ldots,U_{n - 1})\subseteq V,\quad\text{Im}(\gamma)\subseteq U,\quad A_i(U_i)\subseteq U_{i + 1},\quad B_i(U_{i + 1})\subseteq U_i\implies U = V
\]
- **Definition of Nilpotent Variety**
\[
N = N_N=\{u\in\mathfrak{gl}(D)\mid u\text{ is nilpotent}\}
\]
- **Definition of Slodowy Variety**
\[
S_x=\{u\in N\mid[u - x,y]=0\}
\]
Through these formulas, the author can precisely describe the geometric relationships between quiver varieties, partial flag varieties and nilpotent varieties, and finally prove Nakajima's conjecture.