Abstract:We show that the moduli space of $A$-line bundles with minimal second Chern class is a fine moduli space, where $A$ is a maximal quaternion order on $\mathbb{P}^{2}$ ramified along a smooth quartic. We prove that there is a fully faithful embedding from the derived category of this moduli space into the derived category of $A$-modules. Furthermore, we find a semiorthogonal decomposition for $D^{b}(\mathbb{P}^{2},A)$.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on certain specific aspects in the moduli space theory. Specifically:
1. **Fine Structure of Moduli Space**: The paper explores whether the moduli space of A - line bundles over a specific maximal order can be a fine moduli space. The author proves that for some specific maximal quaternion order, its moduli space is indeed a fine moduli space.
2. **Embedding of Derived Categories**: The paper proves that there exists a fully faithful embedding from the derived categories of these moduli spaces to the derived category of A - modules. This indicates a strong connection between these two derived categories.
3. **Semiorthogonal Decomposition**: The paper further gives the semiorthogonal decomposition of \( \mathcal{D}^b(\mathbb{P}^2, A) \), where \( A \) is a specific maximal quaternion order.
Specifically, the main results of the paper are as follows:
- **Theorem 1.0.2**: Let \( C \) be the moduli space of A - line bundles described above. Then there exists a universal family \( E_A \). Moreover, the Fourier - Mukai transform \( \Phi_{E_A}: \mathcal{D}^b(C) \to \mathcal{D}^b(\mathbb{P}^2, A) \) is fully faithful.
- **Theorem 1.0.3**: We have the semiorthogonal decomposition of \( \mathcal{D}^b(\mathbb{P}^2, A) \):
\[
\mathcal{D}^b(\mathbb{P}^2, A)=\langle \mathcal{D}^b(C), E \rangle,
\]
where \( E \) is a specific A - line bundle.
- **Theorem 1.0.4**: Let \( J(X_A) \) be the intermediate Jacobian of the triple symmetric product \( X_A \). Then \( J(C) \cong J(X_A) \) as principally polarized abelian varieties.
Through these results, the paper not only provides an in - depth understanding of the moduli space of A - line bundles over the maximal order, but also reveals the relationships between these moduli spaces and other important objects in non - commutative algebraic geometry.