Abstract:We give an explicit construction of the cluster scattering diagram for any acyclic exchange matrix of affine type. We show that the corresponding cluster scattering fan coincides both with the mutation fan and with a fan constructed in the almost-positive roots model.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a cluster scattering diagram for the exchange matrix of any acyclic (loop - free) affine type. Specifically, the author aims to provide an explicit construction method so that the corresponding cluster scattering fan coincides with the mutation fan and the fan constructed in the almost positive root model.
### Decomposition of the Main Problem
1. **Construction of the Cluster Scattering Diagram**:
- The author gives a specific construction method for the cluster scattering diagram of the exchange matrix of any acyclic affine type. These constructions are based on combinatorial tools such as shards and sortable elements.
- Each wall in the cluster scattering diagram consists of a pair \((d, f_d)\), where \(d\) is a rational cone of codimension 1 in \(V^*\), and \(f_d\) is a formal power series of the variables \(\hat{y}\), which are indexed by simple roots.
2. **Coincidence of the Cluster Scattering Fan and the Mutation Fan**:
- The author proves that in the acyclic affine case, the cluster scattering fan coincides with the mutation fan. Moreover, they also show that the cluster scattering fan coincides with the generalized associahedron fan.
- This coincidence provides an explicit construction of the cluster scattering fan and the mutation fan, especially in the almost positive root model.
3. **Theoretical Extension and Application**:
- The author further explores how to use these results to calculate theta functions and their structure constants, and plans to use these results to study more extensive geometric cluster algebras in future work.
### Formula Representation
- **Wall in the Cluster Scattering Diagram**:
\[
(d, f_d), \quad \text{where} \quad d \subset \beta^\perp, \quad f_d=\text{a formal power series of } \ \hat{y}_\beta
\]
- **Definition of the Imaginary Wall**:
\[
f_\infty =
\begin{cases}
(1 - \hat{y}_\delta)^{-2}, & \text{if } \ W \ \text{is not of type } \ A^{(2)}_{2k}\\
(1+\hat{y}_\delta)\cdot(1 - \hat{y}_\delta)^{-2}, & \text{if } \ W \ \text{is of type } \ A^{(2)}_{2k}
\end{cases}
\]
- **Intersection Relationship**:
\[
\text{Given two positive roots } \ \beta,\gamma, \ \text{we say } \ \gamma \ \text{cuts } \ \beta \ \text{if } \ \beta^\perp \ \text{is cut at its intersection with } \ \gamma^\perp
\]
By solving these problems, the author not only provides a specific construction method for the cluster scattering diagram, but also reveals the profound connections between different mathematical structures, laying the foundation for further research.