2.1 Structure group

Let $\Gamma $ be a fixed data consisting of the following:

• • a lattice N of rank r,

• • a skew-symmetric bilinear form $\{\cdot , \cdot \}: N \times N \rightarrow \mathbb {Q}$ ,

• • a sublattice $N^{\circ }\subset N$ of finite index such that $\{N^{\circ }, N\}\subset \mathbb {Z}$ ,

• • positive integers $\delta _1$ , …, $\delta _r$ such that there is a basis $(e_1,\dots ,e_r)$ of N, where $(\delta _1e_1,\dots ,\delta _re_r)$ is a basis of $N^{\circ }$ ,

• • $M=\mathrm {Hom}(N, \mathbb {Z})$ and $M^{\circ }=\mathrm {Hom}(N^{\circ }, \mathbb {Z})$ .

Let $M_{\mathbb {R}}=M\otimes _{\mathbb {Z}} \mathbb {R}$ . Let $\langle n, m\rangle $ denote the canonical paring either for $N^{\circ }\times M^{\circ }$ or for $N\times M_{\mathbb {R}}$ . For $n\in N$ , $n\neq 0$ , let $n^{\perp }:=\{ z\in M_{\mathbb {R}} \mid \langle n, z\rangle =0\}$ .

Let $\mathfrak {s}=(e_1,\dots , e_r)$ be a seed for $\Gamma $ , which are a basis of N such that $(\delta _1e_1,\dots , \delta _re_r)$ are a basis of $N^{\circ }$ . Let

(2.1) $$ \begin{align} N^+=\Biggl\{ \sum_{i=1}^r a_i e_i \mid a_i \in \mathbb{Z}_{\geq 0}, \sum_{i=1}^r a_i>0\Biggr\} \end{align} $$

be the set of the positive vectors of N with respect to $\mathfrak {s}$ . Let $N^+_{\mathrm {pr}}$ denote the set of primitive elements in $N^+$ . The degree function $\deg : N^+\rightarrow \mathbb {Z}_{> 0}$ is defined by $\deg ( \sum _{i=1}^r a_i e_i ):=\sum _{i=1}^r a_i$ . Let $\mathfrak {g}$ be the $N^+$ -graded Lie algebra defined by

(2.2) $$ \begin{align} \mathfrak{g}=\bigoplus_{n\in N^+} \mathbb{Q} X_n, \quad [X_n, X_{n'}]:=\{n,n'\}X_{n+n'}. \end{align} $$

Let $\widehat {\mathfrak {g}}$ be the completion of $\mathfrak {g}$ with respect to $\deg $ , and let $G=G_{\Gamma ,\mathfrak {s}}=\exp (\widehat {\mathfrak {g}})$ be the exponential group of $\widehat {\mathfrak {g}}$ . Namely, an element of G is given by a formal symbol $\exp (X)$ ( $X\in \widehat {\mathfrak {g}}$ ) and the product is defined by the Baker–Campbell–Hausdorff formula. We call G the structure group for the forthcoming scattering diagrams. Let $G^{>\ell }$ be the normal subgroup of G generated by the elements with degrees greater than $\ell $ , and let $G^{\leq \ell }:=G/G^{>\ell }$ be its quotient. For each $n\in N_{\mathrm {pr}}^+$ , let $G_n^{\parallel }$ be the abelian subgroup of G generated by elements $\exp (c_{jn}X_{jn})$ ( $j>0$ , $c_{jn}\in \mathbb {Q}$ ) admitting the infinite product.

2.2 Initial seed for cluster pattern

Let $(e^*_1, \dots , e^*_r)$ be the basis of M which is dual to $\mathfrak {s}=(e_1,\dots , e_r)$ . Let $f_i= \delta _i^{-1}e^*_i$ . Then, $(f_1, \dots , f_r)$ is a basis of $M^{\circ }$ , which is dual to the basis $(\delta _1 e_1,\dots , \delta _r e_r)$ of $N^{\circ }$ . Let $\mathbf {x}=(x_i)_{i=1}^r$ , $\mathbf {y}=(y_i)_{i=1}^r$ , and $B=B_{\Gamma ,\mathfrak {s}}=(b_{ij})_{i,j=1}^r$ with

(2.3) $$ \begin{align} x_i = x^{f_i}, \quad y_i = y^{e_i}, \quad b_{ij}=\{\delta_i e_i,e_j\}, \end{align} $$

where x and y are formal variables for formal exponentials. Then, B is a skew-symmetrizable integer matrix with a left skew-symmetrizer $\Delta ^{-1}$ , where we set $\Delta =\mathrm {diag}(\delta _1,\dots ,\delta _r)$ . Thus, $\Sigma =(\mathbf {x}, \mathbf {y}, B)$ is naturally identified with the initial seed for the cluster pattern $\mathbf {\Sigma }_{\mathfrak {s}}$ corresponding to $\mathfrak {D}_{\mathfrak {s}}$ . Conversely, for a given skew-symmetrizable integer matrix B, there is a (not unique) pair of $\Gamma $ and $\mathfrak {s}$ such that $B=B_{\Gamma ,\mathfrak {s}}$ . Moreover, two groups $G_{\Gamma ,\mathfrak {s}}$ and $G_{\Gamma ',\mathfrak {s}'}$ are isomorphic if $B_{\Gamma ,\mathfrak {s}}=B_{\Gamma ',\mathfrak {s}'}$ . In this paper, we concentrate on y-variables only.

2.3 y-representation

We introduce a monoid $Q:=N^+ \sqcup \{0\}\subset N$ , the monoid algebra $\mathbb {Q}[Q]$ of Q over $\mathbb {Q}$ , and its completion $ \mathbb {Q}[[Q]]$ with respect to $\deg $ . An element of $ \mathbb {Q}[[Q]]$ is written as a formal infinite sum with a formal variable y as

(2.4) $$ \begin{align} \sum_{n\in Q}c_n y^{n}, \quad (c_n\in \mathbb{Q}). \end{align} $$

It is also regarded as a formal power series of the initial y-variables $\mathbf {y}=(y_1,\dots ,y_r)$ in (2.3). We consider an action of $X_n$ ( $n\in N^+$ ) on $\mathbb {Q}[[Q]]$

(2.5) $$ \begin{align} X_n(y^{n'})= \{n,n'\} y^{n'+n}, \end{align} $$

which is a derivation, and we linearly extend it to the action of any $X\in \widehat {\mathfrak {g}}$ . Then, the resulting map $\widehat {\mathfrak {g}} \rightarrow \mathrm {Der}(\mathbb {Q}[[Q]])$ is a Lie algebra homomorphism. Moreover, its exponential action

(2.6) $$ \begin{align} (\mathrm{Exp}\, X)(y^{n'}):= \sum_{j=0}^{\infty} \frac{1}{j!} X^j(y^{n'}) \quad (X\in \widehat{\mathfrak{g}}) \end{align} $$

is well defined on $\mathbb {Q}[[Q]]$ . Then, $\mathrm {Exp}\, X$ is an algebra automorphism of $\mathbb {Q}[[Q]]$ (e.g., [Reference Jacobson17, §1.2]). Thus, we have a representation of G

(2.7) $$ \begin{align} \begin{matrix} \rho_y:& G& \rightarrow & \mathrm{Aut}(\mathbb{Q}[[Q]]) \\ & \exp X & \mapsto &\mathrm{Exp}\, X. \end{matrix} \end{align} $$

We call it the y-representation of G.

2.4 Dilogarithm elements and pentagon relation

Let us introduce some distinguished elements in G.

Definition 2.1 (Dilogarithm element).

For any $n\in N^+$ , we define

(2.8) $$ \begin{align} \Psi[n]:=\exp\Biggl(\, \sum_{j=1}^{\infty} \frac{(-1)^{j+1}}{j^2} X_{jn}\Biggr) \in G_{n_0}^{\parallel}, \end{align} $$

where $n_0\in N_{\mathrm {pr}}^+$ is the one such that $n=jn_0$ for some $j\in \mathbb {Z}_{>0}$ . We call it the dilogarithm element for n.

The element $\Psi [n]$ acts on $ \mathbb {Q}[[Q]]$ under $\rho _y$ as

(2.9) $$ \begin{align} \begin{split} \Psi[n](y^{n'})&= \exp\Biggl(\,\sum_{j=1}^{\infty} \frac{(-1)^{j+1}}{j^2} X_{jn}\Biggr)(y^{n'})\\ &= y^{n'}\exp\Biggl(\{n, n'\} \sum_{j=1}^{\infty} \frac{(-1)^{j+1}}{j} y^{jn}\Biggr)\\ &=y^{n'}(1+y^n)^{\{n,n'\}}. \end{split} \end{align} $$

Observe that this is essentially the automorphism part of the Fock–Goncharov decomposition of mutations of y-variables [Reference Fock and Goncharov7, §2.1].

It is easy to see that the dilogarithm elements $\Psi [n]^c$ ( $n\in N^+$ , $c\in \mathbb {Q}$ ) are generators of G admitting the infinite product. Moreover, they satisfy the following remarkable relations.

Proposition 2.2. Let $n_1,n_2\in N^+$ . The following relations hold in G.

(a) If $\{n_2,n_1\}=0$ , for any $c_1,c_2\in \mathbb {Q}$ ,

(2.10) $$ \begin{align} \Psi[n_2]^{c_2} \Psi[ n_1]^{c_1}=\Psi[ n_1 ]^{c_1} \Psi[ n_2]^{c_2}. \end{align} $$

(b) (Pentagon relation [Reference Gross, Hacking, Keel and Kontsevich14, Exam. 1.14], [Reference Nakanishi29, Prop. III.1.13].) If $\{n_2,n_1\}=c\ (c\in \mathbb {Q}, c\neq 0)$ ,

(2.11) $$ \begin{align} \quad \Psi[n_2 ]^{1/c} \Psi[ n_1]^{1/c}= \Psi[ n_1 ]^{1/c} \Psi[n_1+n_2]^{1/c} \Psi[ n_2]^{1/c}. \end{align} $$

2.5 Cluster scattering diagrams

A wall $\mathbf {w}=(\mathfrak {d}, g)_{n}$ for $\mathfrak {s}$ is a triplet such that $n\in N_{\mathrm {pr}}^+$ , a cone $\mathfrak {d}\subset n^{\perp }$ of codimension 1, and $g\in G_n^{\parallel }$ . We call n, $\mathfrak {d}$ , and g the normal vector, the support, and the wall element of $\mathbf {w}$ , respectively. Let $p^*:N \rightarrow M^{\circ }$ and $n \mapsto \{ \cdot , n\}$ . We say that a wall $\mathbf {w}=(\mathfrak {d}, g)_{n}$ is incoming if $p^*(n)\in \mathfrak {d}$ holds.

For a scattering diagram $\mathfrak {D}$ , we define

(2.12) $$ \begin{align} \mathrm{Supp}(\mathfrak{D})&=\bigcup_{\lambda\in \Lambda} \mathfrak{d}_{\lambda}, \quad \mathrm{Sing}(\mathfrak{D})=\bigcup_{\lambda\in \Lambda} \partial\mathfrak{d}_{\lambda} \cup \bigcup_{\scriptstyle \lambda, \lambda'\in \Lambda \atop \scriptstyle \dim \mathfrak{d}_{\lambda}\cap \mathfrak{d}_{\lambda'}=r-2 } \mathfrak{d}_{\lambda}\cap \mathfrak{d}_{\lambda'}. \end{align} $$

A curve $\gamma :[0,1]\rightarrow M_{\mathbb {R}}$ is admissible for $\mathfrak {D}$ if it satisfies the following properties:

1. (i) The end points of $\gamma $ are in $M_{\mathbb {R}}\setminus \mathrm {Supp}(\mathfrak {D})$ .

2. (ii) It is a smooth curve, and it intersects $\mathrm {Supp}(\mathfrak {D})$ transversally.

3. (iii) $\gamma $ does not intersect $\mathrm {Sing}(\mathfrak {D})$ .

For any admissible curve $\gamma $ , the path-ordered product $\mathfrak {p}_{\gamma , \mathfrak {D}}\in G$ is defined as the product of the wall elements $g_{{\lambda }}^{\epsilon _{\lambda }}$ of walls $\mathbf {w}_{\lambda }$ of $\mathfrak {D}$ intersected by $\gamma $ in the order of intersection, where $\epsilon _{\lambda }$ is the intersection sign defined by

(2.13) $$ \begin{align} \epsilon_{\lambda}= \begin{cases} 1, & \langle n_{\lambda}, \gamma'\rangle <0,\\ -1, & \langle n_{\lambda}, \gamma'\rangle>0, \end{cases} \end{align} $$

and $\gamma '$ is the velocity vector of $\gamma $ at the wall $\mathbf {w}_{\lambda }$ . The product $\mathfrak {p}_{\gamma , \mathfrak {D}}$ is an infinite one in general, and it is well defined in G due to the finiteness condition. See [Reference Gross, Hacking, Keel and Kontsevich14, §1.1] for a more precise definition. We say that a pair of scattering diagrams $\mathfrak {D}$ and $\mathfrak {D}'$ are equivalent if $\mathfrak {p}_{\gamma , \mathfrak {D}}=\mathfrak {p}_{\gamma , \mathfrak {D}'}$ for any admissible curve $\gamma $ for both $\mathfrak {D}$ and $\mathfrak {D}'$ . We say that a scattering diagram $\mathfrak {D}$ is consistent if $\mathfrak {p}_{\gamma , \mathfrak {D}}=\mathrm {id}$ for any admissible loop (i.e., closed curve) $\gamma $ for $\mathfrak {D}$ .

Definition 2.4 (Cluster scattering diagram).

A CSD $\mathfrak {D}_{\mathfrak {s}}$ for $\mathfrak {s}$ is a consistent scattering diagram whose set of incoming walls are given by

(2.14) $$ \begin{align} \mathrm{In}_{\mathfrak{s}}:=\{ \mathbf{w}_{e_i}=(e_i^{\perp}, \Psi[e_i]^{\delta_i})_{e_i} \mid i=1,\dots, r\}. \end{align} $$

For $n\in N^+$ , let $\delta (n)$ be the smallest positive rational number such that $\delta (n) n \in N^{\circ }$ , which is called the normalization factor of n. For example, $\delta (e_i)=\delta _i$ . Note that $\delta (tn)=\delta (n)/t$ holds for any $n\in N^+_{\mathrm {pr}}$ and $t\in \mathbb {Z}_{>0}$ . Also, $\delta (n)$ is an integer for any $n\in N^+_{\mathrm {pr}}$ .

The following is the most fundamental theorem on CSDs.

In this paper, we exclusively use $\mathfrak {D}_{\mathfrak {s}}$ given in Theorem 2.5(b), which we call a positive realization, a CSD $\mathfrak {D}_{\mathfrak {s}}$ .

3.1 y-variables for CSD

Let us extend the notion of y-variables (coefficients) for a cluster pattern $\mathbf {\Sigma }_{\mathfrak {s}}$ to a CSD $\mathfrak {D}_{\mathfrak {s}}$ . We say that a curve is weakly admissible for $\mathfrak {D}$ if it satisfies the conditions (ii) and (iii) for an admissible curve. The definition of the path-ordered product $\mathfrak {p}_{\gamma ,\mathfrak {D}}$ is extended to a weakly admissible curve $\gamma $ by ignoring the contribution from the walls at the end points.

Definition 3.1 (y-variable/c-vector for CSD).

Let $\mathbf {w}=(\mathfrak {d}, g)_{n}$ be any wall of $\mathfrak {D}_{\mathfrak {s}}$ with $g=\Psi [tn]^{s \delta (tn)}$ as in (2.15). Let $z\in \mathfrak {d}$ with $z\not \in \mathrm {Sing}(\mathfrak {D}_{\mathfrak {s}})$ . Let

(3.1) $$ \begin{align} \mathcal{C}^+:=\{ z \in M_{\mathbb{R}}\mid \langle e_i, z\rangle \geq 0\ (i=1,\dots, r)\}. \end{align} $$

Let $\gamma _{z}$ be any weakly admissible curve in $\mathfrak {D}_{\mathfrak {s}}$ from z to any point in $\mathrm {Int}(\mathcal {C}^+)$ . Then, we define a y-variable $y_{z}[tn]$ at z with the c-vector $tn$ by

(3.2) $$ \begin{align} y_{z}[tn]:=\mathfrak{p}_{\gamma_{z},\mathfrak{D}_{\mathfrak{s}}}(y^{tn}) \in \mathbb{Q}[[Q]], \end{align} $$

where the path-ordered product $\mathfrak {p}_{\gamma _{z},\mathfrak {D}_{\mathfrak {s}}}\in G$ acts on $ y^{tn}$ under the y-representation $\rho _y$ .

Since any $g\in G_n^{\parallel }$ acts trivially on $y^{tn}$ , $y_{z}[tn]$ is independent of the choice of $\gamma _z$ due to the consistency of $\mathfrak {D}_{\mathfrak {s}}$ . Also, due to our assumption on $\mathfrak {D}_{\mathfrak {s}}$ , any wall element of $\mathfrak {D}_{\mathfrak {s}}$ has the form (2.15). Therefore, $\mathfrak {p}_{\gamma _{z},\mathfrak {D}_{\mathfrak {s}}}$ acts as a (possibly infinite) product of mutations in (2.9).

3.2 Euler and Rogers dilogarithms

We define the Euler dilogarithm [Reference Lewin23]

(3.4) $$ \begin{align} \!\!\!\mathrm{Li}_2(x)&= \sum_{j=1}^{\infty}\frac{1}{j^2}x^j \quad (|x|< 1)\qquad\qquad\qquad \end{align} $$

(3.5) $$ \begin{align} &=-\int_{0}^{x} \frac{\log (1-y)}{y} \, dy \quad (x\leq 1) \end{align} $$

and the Rogers dilogarithm

(3.6) $$ \begin{align} L(x) = \mathrm{Li}_2(x)+ \frac{1}{2}\log x \log(1-x) \quad (0\leq x\leq 1). \end{align} $$

The celebrated pentagon identity (Abel’s identity, the five-term relation) for $\mathrm {Li}_2(x)$ is neatly expressed in terms of $L(x)$ as $(0\leq x, y <1)$

(3.7) $$ \begin{align} L(x)+L(y) =L(xy) + L\biggl( \frac{x(1-y)}{1-xy}\biggr) + L\biggl( \frac{y(1-x)}{1-xy}\biggr). \end{align} $$

We introduce a variant of the Rogers dilogarithm, which we call the modified Rogers dilogarithm, as follows:

(3.8) $$ \begin{align} \tilde L(x):&= L\left(\frac{x}{1+x}\right)= - \mathrm{Li}_2(-x) - \frac{1}{2}\log x \log(1+x)\qquad \end{align} $$

(3.9) $$ \begin{align} &\!\!\!\!= \frac{1}{2} \int_{0}^x \left\{ \frac{\log (1+y)}{y} - \frac{\log y}{1+y} \right\} dy \quad (0 \leq x). \end{align} $$

The function $\tilde L(x)$ is smooth but not analytic at $x=0$ ; however, it has the following Puiseux expansion around $x=0$ with $\log $ factor:

(3.10) $$ \begin{align} \tilde L(x) &= \sum_{j=1}^{\infty} \frac{(-1)^{j+1} }{j^2}x^j -\frac{1}{2}\log x \sum_{j=1}^{\infty} \frac{(-1)^{j+1} }{j}x^j. \end{align} $$

The pentagon identity (3.7) is expressed in terms of $\tilde L(x)$ as follows (e.g., [Reference Nakanishi28, §5.3]):

(3.11) $$ \begin{align} \begin{split} &\tilde L (y_2(1+y_1)) + \tilde L (y_1) \\ &\qquad = \tilde L(y_1(1+y_2+y_1y_2)^{-1}) + \tilde L(y_1y_2(1+y_2)^{-1}) + \tilde L(y_2). \end{split} \end{align} $$

The above arguments in $\tilde L(x)$ are identified with the y-variables with positive c-vectors in the Y-pattern of type $A_2$ with the initial exchange matrix

(3.12) $$ \begin{align} B= \begin{pmatrix} 0 & -1\\ 1 & 0 \end{pmatrix} \end{align} $$

as follows:

(3.13)

Also, observe the pentagon periodicity [Reference Fomin and Zelevinsky10, §2]. Namely, both results in (3.13) coincide up to the transposition $\tau _{12}$ .

Remark 3.3. A dilogarithm element $\Psi [n]$ in (2.8) is formally expressed as

(3.14) $$ \begin{align} \Psi[n]=\exp( -\mathrm{Li}_2(-X_n)) \end{align} $$

if we identify the power $X_n^j$ with $X_{jn}$ . Be careful, however, that this is only formal, because $X_n^j$ and $X_{jn}$ act differently on $\mathbb {Q}[[Q]]$ .

3.3 Dilogarithm identity associated with a loop in $\mathfrak {D}_{\mathfrak {s}}$

Let $\mathfrak {D}_{\mathfrak {s},\ell }$ be the scattering diagram consisting of walls of $\mathfrak {D}_{\mathfrak {s}}$ such that $\pi _{\ell }(g_{\lambda })\neq \mathrm {id}$ in $G^{\leq \ell }$ . We call $\mathfrak {D}_{\mathfrak {s},\ell }$ the reduction of $\mathfrak {D}_{\mathfrak {s}}$ at degree $\ell $ . Due to the finiteness condition, $\mathfrak {D}_{\mathfrak {s},\ell }$ has only finitely many walls.

Let $\gamma $ be any admissible loop for $\mathfrak {D}_{\mathfrak {s}}$ . Let us fix degree $\ell $ . Suppose that $\gamma $ intersects walls of $\mathfrak {D}_{\mathfrak {s},\ell }$ at $z_1$ , …, $z_{P-1}$ in this order. There might be multiple walls with a common normal vector intersected by $\gamma $ at a time. We distinguish them by allowing the multiplicity $z_a=z_{a+1}$ . Then, the walls crossed at $z_0, \ldots , z_{P-1}$ are parametrized as $\mathbf {w}_0,\dots , \mathbf {w}_{P-1}$ . By Theorem 2.5(b), each wall $\mathbf {w}_a$ has the form

(3.15) $$ \begin{align} \mathbf{w}_a = \left(\mathfrak{d}_a, \Psi[t_a n_a]^{s_a \delta(t_a n_a)}\right)_{n_a}. \end{align} $$

By the consistency of $\mathfrak {D}_{\mathfrak {s}}$ , we have $\mathfrak {p}_{\gamma , \mathfrak {D}_{\mathfrak {s}}}=\mathrm {id}$ . Thus, we have a consistency relation around  $\gamma $ ,

(3.16) $$ \begin{align} \begin{split} \mathfrak{p}_{\gamma, \mathfrak{D}_{\mathfrak{s},\ell}}&= \Psi[t_{P-1} n_{P-1}]^{\epsilon_{P-1} s_{P-1} \delta(t_{P-1} n_{P-1})}\cdots \Psi[t_1 n_1]^{\epsilon_1 s_1 \delta(t_1 n_1)} \equiv \mathrm{id} \\ & \hskip230pt \mod G^{> \ell}, \end{split} \end{align} $$

where $\epsilon _a$ is the intersection sign defined by (2.13).

For the variable $\mathbf {y}=(y_1$ …, $y_r)$ , we call the following formal sum

(3.17) $$ \begin{align} f(\mathbf{y}) +\sum_{i=1}^r (\log y_i) g_i(\mathbf{y}) \quad (f(\mathbf{y}), g_i(\mathbf{y})\in \mathbb{Q}[[Q]]) \end{align} $$

a formal (generalized) Puiseux series in $\mathbf {y}$ with $\log $ factor. Let $\mathcal {F}^{> \ell }$ be the set of all formal power series $f(\mathbf {y}) \in \mathbb {Q}[[Q]]$ such that all coefficients of $f(\mathbf {y})$ vanish up to the total order $\ell $ . Let

(3.18) $$ \begin{align} \mathcal{F}^{> \ell}_{\log}:=\mathcal{F}^{> \ell} + \sum_{i=1}^r (\log y_i) \mathcal{F}^{> \ell}. \end{align} $$

We first prove the reduced DI at level $\ell $ associated with $\gamma $ .

Theorem 3.4. The following identity holds as a formal Puiseux series in $\mathbf {y}$ with $\log $ factor:

(3.19) $$ \begin{align} \sum_{a=0}^{P-1} \epsilon_a s_a \delta(t_a n_a) \tilde L( y_{z_a}[t_an_a]) \equiv 0\quad \mod \mathcal{F}^{> \ell}_{\log}. \end{align} $$

Here, we present a proof based on the classical mechanical method employed in [Reference Gekhtman, Nakanishi and Rupel13] with some modification. (An alternative proof will be given later by Theorem 4.6.) First, let us give an outline of the method. The basic observation therein and also here, which is originated in [Reference Fock and Goncharov8], is that the action of $\Psi [n]$ in (2.9) (i.e., a mutation) is described by a Hamiltonian system with a log-canonical Poisson bracket

(3.20) $$ \begin{align} \{y^n, y^{n'}\}_{\mathrm{P}}:= \{n,n'\} y^n y^{n'}, \quad \{e_i,e_j\}=\delta_i^{-1} b_{ij} \end{align} $$

and a Hamiltonian

(3.21) $$ \begin{align} \mathscr{H}[n]:=\mathrm{Li}_2(-y^n). \end{align} $$

Here, we change the normalizations of (3.20) and (3.21) from the convention in [Reference Gekhtman, Nakanishi and Rupel13]. Indeed,

(3.22) $$ \begin{align} \{\mathscr{H}[n], y^{n'}\}_{\mathrm{P}}=-\{n, n'\} y^{n'} \log(1+y^n), \end{align} $$

which is the infinitesimal (or log) form of the action of $\Psi [n]^{-1}$ in (2.9). We also note that the calculation is essentially the same as (2.9). The main ingredient of the method in [Reference Gekhtman, Nakanishi and Rupel13] is the canonical coordinates $\mathbf {u}=(u_1,\dots ,u_r)$ and $\mathbf {p}=(p_1,\dots ,p_r)$ satisfying

(3.23) $$ \begin{align} \{p_i,u_j\}_{\mathrm{P}}=\delta_{ij}, \quad \{u_i,u_j\}_{\mathrm{P}}=\{p_i,p_j\}_{\mathrm{P}}=0. \end{align} $$

Then, the y-variables $\mathbf {y}$ are represented as

(3.24) $$ \begin{align} y_i = \exp((\delta_i^{-1} p_i + w_i )/\sqrt{2}), \quad w_i=\sum_{j=1}^r b_{ji} u_j. \end{align} $$

In the phase space $\tilde M\simeq \mathbb {R}^{2r}$ with the canonical coordinates $(\mathbf {u}, \mathbf {p})$ , the point $(\overline {\mathbf {u}},\overline {\mathbf {p}})$ moves to $(\overline {\mathbf {u}}',\overline {\mathbf {p}}')$ under the time-one flow of $\mathscr {H}[n]$ as

(3.25) $$ \begin{align} \overline u_i' &= \overline u_i - \frac{1}{\sqrt{2}} n_i \delta_i^{-1} \log (1+\overline y^{n}),\qquad\ \ \end{align} $$

(3.26) $$ \begin{align} \overline p_i' &= \overline p_i + \frac{1}{\sqrt{2}} \biggl(\sum_{j=1}^r n_j b_{ij}\biggr) \log (1+\overline y^{n}), \end{align} $$

where $\overline y_i = \exp ((\delta _i^{-1} \overline p_i + \overline w_i )/\sqrt {2})$ . We concentrate on the subspace (called the small phase space) $\tilde M_0$ of $\tilde M$ defined by $\delta _i^{-1}p_i = w_i$ ( $i=1,\dots ,r$ ). Then, the modified Rogers dilogarithm

(3.27) $$ \begin{align} \mathscr{L}[n]:=\tilde L ( y^n) \end{align} $$

appears as the Lagrangian. Moreover, it is constant under the above time-one flow because $\{\mathscr {H}[n],y^n\}_{\mathrm {P}}=0$ . We regard $\mathscr {L}[n]$ as a function of $\overline {\mathbf {u}}$ and consider its infinitesimal variation $\delta \mathscr {L}[n] $ by $\overline {\mathbf {u}} +\delta \overline {\mathbf {u}}$ . Then, the following formula holds.

Lemma 3.5 (cf. [Reference Gekhtman, Nakanishi and Rupel13, Lem. 6.4]).

In the small phase space $\tilde M_0$ , we have

(3.28) $$ \begin{align} \delta \mathscr{L}[n] = \sum_{i=1}^r \overline p^{\prime}_i \delta \overline u^{\prime}_i - \sum_{i=1}^r \overline p_i \delta \overline u_i. \end{align} $$

The formula is identical to the one in [Reference Gekhtman, Nakanishi and Rupel13, Lem. 6.4]. However, the proof therein is applicable only when n is a c-vector of the cluster pattern for B. So, we give a different line of a proof.

Proof. By (3.9), the left-hand side is written as

(3.29) $$ \begin{align} \delta \mathscr{L}[n] =\frac{1}{\sqrt{2}} \biggl(\, \sum_{i,j=1}^r n_j b_{ij} \delta \overline u_i\biggr) \biggl\{ \log(1+\overline y^{n}) - \frac{ \overline y^{n} \log \overline y^{n}} {1+\overline y^{n}} \biggr\}. \end{align} $$

By (3.25), we have

(3.30) $$ \begin{align} \delta \overline u_i' &= \delta \overline u_i - \frac{1}{\sqrt{2}} n_i \delta_i^{-1} \biggl(\, \sum_{j,k=1}^r n_j b_{kj} \delta \overline u_k\biggr) \frac{ \overline y^{n}}{1+\overline y^{n}}. \end{align} $$

Let us write (3.26) and (3.30) as $ \overline p_i' = \overline p_i + A_i $ and $ \delta \overline u_i' = \delta \overline u_i - B_i $ . Then, the right-hand side of (3.28) is given by

(3.31) $$ \begin{align} \sum_{i=1}^r A_i \delta \overline u_i - \sum_{i=1}^r \overline p_i B_i - \sum_{i=1}^r A_i B_i. \end{align} $$

They are calculated as

(3.32) $$ \begin{align} \!\!\!\!\!\sum_{i=1}^r A_i \delta \overline u_i &= \frac{1}{\sqrt{2}} \biggl(\, \sum_{i, j=1}^r n_j b_{ij} \delta \overline u_i \biggr) \log (1+\overline y^{n}),\qquad\qquad\qquad\qquad\qquad \end{align} $$

(3.33) $$ \begin{align} \!\!\!\!\!\!\!\!\sum_{i=1}^r \overline p_i B_i &= \frac{1}{\sqrt{2}} \biggl(\, \sum_{i, j=1}^r n_j b_{ij} \delta \overline u_i \biggr) \frac{ \overline y^{n} \log \overline y^{n}} {1+\overline y^{n}},\qquad\qquad\qquad\qquad\qquad \end{align} $$

(3.34) $$ \begin{align} \sum_{i=1}^r A_i B_i &= \frac{1}{{2}} \biggl(\, \sum_{i, j=1}^r n_j b_{ij} n_i \delta_i^{-1} \biggr) \biggl(\, \sum_{i, j=1}^r n_j b_{ij} \delta \overline u_i \biggr) \frac{\overline y^{n} \log (1+ \overline y^{n})}{1+\overline y^{n}} =0, \end{align} $$

where the last equality is due to the skew-symmetry of $\delta _i^{-1}b_{ij}$ . Thus, the equality (3.28) holds.

Now, we are ready to prove Theorem 3.4.

Proof of Theorem 3.4

We prove (3.19) based on Lemma 3.5.

(a) Assume that B is nonsingular. Then, the y-variables $\mathbf {y}$ represented in (3.24) are algebraically independent on the small phase space $\tilde M_0$ .

We consider the Hamiltonian system in the small phase space $\tilde M_0$ for the time span $[0,P]$ , where P is the one in (3.19). The Hamiltonian for the time span $[a,a+1]$ ( $a=0,\dots ,P$ ) is given by

(3.35) $$ \begin{align} \mathscr{H}_a= \epsilon_a s_a \delta(t_a n_a) \mathrm{Li}_2( -y^{t_a n_a}). \end{align} $$

Accordingly, for a trajectory $\alpha =(\overline {\mathbf {u}}(t), \overline {\mathbf {p}}(t))_{t\in [0,j]}$ in the small phase space $\tilde M_0$ , we consider the quantity

(3.36) $$ \begin{align} S[\alpha]=\sum_{a=0}^{P-1} \mathscr{L}_a, \quad \mathscr{L}_a = \epsilon_a s_a \delta(t_a n_a) \tilde L( \overline y(a)^{t_a n_a}), \end{align} $$

where

(3.37) $$ \begin{align} \overline y_i(a) =\exp( \sqrt{2} \delta_i^{-1} \overline p_i (a) )=\exp\biggl( \sqrt{2} \sum_{j=1}^r b_{ji} \overline u_j(a)\biggr). \end{align} $$

For the ith coordinate function $y_i$ at time 0, let $y^{\prime }_i$ be the one at time P after the above time development. Then, by (3.22), it is described as a function of $\mathbf {y} $ by

(3.38) $$ \begin{align} y^{\prime}_i = \mathfrak{p}_{\gamma, \mathfrak{D}_{\mathfrak{s},\ell}}^{-1} (y_i), \end{align} $$

where

(3.39) $$ \begin{align} \mathfrak{p}_{\gamma, \mathfrak{D}_{\mathfrak{s},\ell}}^{-1}= \Psi[t_0 n_0]^{- \epsilon_0 s_0 \delta(t_0 n_0)} \cdots \Psi[t_{P-1} n_{P-1}]^{- \epsilon_{P-1} s_{P-1} \delta(t_{P-1} n_{P-1})}. \end{align} $$

Note that the dilogarithm elements act in the opposite order along the time development on the coordinate functions.

For simplicity, suppose that equality for $ \mathfrak {p}_{\gamma , \mathfrak {D}_{\mathfrak {s},\ell }}$ in (3.16) is the exact one without modulo $G^{>\ell }$ . Then, by (3.38), we have

(3.40) $$ \begin{align} y^{\prime}_i = y_i. \end{align} $$

It follows form Lemma 3.5 that $\delta S[\alpha ]=0$ under any infinitesimal deformation $\alpha + \delta \alpha $ . This implies that $S[\alpha ]$ is constant with respect to $\alpha $ . Moreover, it is easy to show that the constant is zero by taking the limit $ \mathbf {y} \rightarrow \mathbf {0}$ . On the other hand, $S[\alpha ]$ can be viewed as a formal Puiseux series in $\mathbf {y}=\overline {\mathbf {y}}(0)$ with $\log $ factor. More explicitly, $\overline y(a)^{t_a n_a}$ in (3.36) is replaced with

(3.41) $$ \begin{align} \begin{split} &\ \Psi[t_0 n_0]^{-\epsilon_0 s_0 \delta (t_0 n_0)} \cdots \Psi[t_{a-1} n_{a-1}]^{-\epsilon_{a-1} s_{a-1} \delta (t_{a-1} n_{a-1})} (y^{t_a n_a}) \\ =&\ \mathfrak{p}_{\gamma_a, \mathfrak{D}_{\mathfrak{s},\ell}}^{-1}(y^{t_a n_a}), \end{split} \end{align} $$

where $\gamma _a$ is the subpath of $\gamma $ from the base point of $\gamma $ to $z_a$ . Take any admissible path $\gamma _0$ from the base point of $\gamma $ to a point in $\mathrm {Int}(\mathcal {C}^+)$ and apply $ \mathfrak {p}_{\gamma _0, \mathfrak {D}_{\mathfrak {s},\ell }}$ to $S[\alpha ]$ . Then, we obtain the desired formula (3.19).

Now, we consider the general case in (3.16). The equality (3.40) is replaced with

(3.42) $$ \begin{align} y^{\prime}_{i}= y_{i} (1+ h_i(\mathbf{y})) \end{align} $$

for some $h_i(\mathbf {y})\in \mathcal {F}^{>\ell }$ . Then, again by Lemma 3.5, under any infinitesimal variation $\alpha + \delta \alpha $ ,

(3.43) $$ \begin{align} \delta S[\alpha] =\sum_{i=1}^r (\overline p^{\prime}_i \delta \overline u^{\prime}_i - \overline p_i \delta \overline u_i), \end{align} $$

(3.44) $$ \begin{align} \delta_i^{-1}\overline p_i= \sum_{j=1}^r b_{ji} \overline u_j= \frac{1}{\sqrt{2}}\log \overline y_i, \quad \delta_i^{-1}\overline p^{\prime}_i= \sum_{j=1}^r b_{ji} \overline u^{\prime}_j= \frac{1}{\sqrt{2}}\log \overline y^{\prime}_i, \end{align} $$

where we set $\overline p_i = \overline p_i(0)$ and $\overline p^{\prime }_i = \overline p^{\prime }_i(P)$ , and so forth. From now on, we view $\overline p_i$ , $\overline p^{\prime }_i$ , $\overline u_i$ , $\overline u^{\prime }_i$ as formal Puiseux series in $\mathbf {y}=\overline {\mathbf {y}}(0)$ with $\log $ factor as before, and also we omit the bars, for simplicity. By (3.42) and (3.44), we can write them as

(3.45) $$ \begin{align} p^{\prime}_i- p_i= f_i, \quad u^{\prime}_j- u_j=g_i \quad (f_i,g_i \in \mathcal{F}^{>\ell}). \end{align} $$

Then, we have

(3.46) $$ \begin{align} \begin{split} \quad \ \delta S[\alpha] &=\sum_{i=1}^r \biggl((p_i + f_i) \biggl(\delta u_i + \sum_{j=1}^r \frac{\partial g_i }{\partial y_j} \frac{\partial y_j }{\partial u_i}\delta u_i \biggr) - p_i \delta u_i\biggr) \\ &=\sum_{i=1}^r ((\log y_i) \tilde f_i + \tilde g_i)\delta u_i \quad (\tilde f_i, \tilde g_i\in \mathcal{F}^{>\ell}) \\ &=\sum_{i=1}^r ((\log y_i) \hat f_i + \hat g_i) \delta y_i \quad (\hat f_i, \hat g_i\in \mathcal{F}^{>\ell-1}). \end{split} \end{align} $$

It follows that

(3.47) $$ \begin{align} \frac{\partial S[\alpha]}{\partial y_i} \in \mathcal{F}_{\log}^{>\ell-1}. \end{align} $$

Therefore, we have

(3.48) $$ \begin{align} S[\alpha]\in \mathcal{F}_{\log}^{>\ell}, \end{align} $$

where the constant term is shown to be zero as before. Then, applying $ \mathfrak {p}_{\gamma _0, \mathfrak {D}_{\mathfrak {s},\ell }}$ to $S[\alpha ]$ , we obtain the desired formula (3.19).

(b) When B is singular, we have the problem that $\mathbf {y}$ represented in (3.24) are not algebraically independent on the small phase space $\tilde M_0$ . To remedy it, we apply the standard principal extension technique [Reference Fomin and Zelevinsky12], [Reference Gross, Hacking, Keel and Kontsevich14]. Namely, let $\tilde N= N \oplus M^{\circ }$ . We extend the skew-symmetric bilinear form $\{\cdot , \cdot \}$ on N to the one on $\tilde N$ as

(3.49) $$ \begin{align} \{(n,m),(n',m')\}:=\{n,n'\} + \langle n',m\rangle - \langle n, m'\rangle. \end{align} $$

Then, we extend the y-representation (2.5) of G to the one (the principal y-representation) on $\mathbb {Q}[[\tilde {\mathbf {y}}]]$ ( $\tilde {\mathbf {y}}=( y_1,\dots , y_{2r})$ ) by

(3.50) $$ \begin{align} X_n(\tilde y^{(n',m')})= \{(n,0),(n',m')\} \tilde y^{(n'+n,m')}. \end{align} $$

Accordingly, we extend the canonical coordinates $\mathbf {u}$ and $\mathbf {p}$ to $\tilde {\mathbf {u}}=(u_1,\dots ,u_{2r})$ and $\tilde {\mathbf {p}}=(p_1,\dots ,p_{2r})$ to express $\tilde y_i$ in the same way as (3.24), where the matrix B is replaced with the principally extended matrix of B

(3.51) $$ \begin{align} \tilde B= \begin{pmatrix} B& -I \\ I & O \end{pmatrix}. \end{align} $$

Then, in particular, the subvariables $ \mathbf {y}=( y_1,\dots , y_{r})$ are now algebraically independent on the small phase space for $(\tilde {\mathbf {u}}, \tilde {\mathbf {p}})$ . After this, the proof of (a) is applicable.

Now, we take the limit $\ell \rightarrow \infty $ . We parametrize the intersection of $\gamma $ and the walls in $\mathfrak {D}_{\mathfrak {s}}$ as $z_a$ ( $a \in J$ ) by a countable and totally ordered set J so that $\gamma $ crosses $z_a$ earlier than $z_{a'}$ only if $a<a'$ . Then, the consistent relation is presented by the infinite product in the increasing order in J from right to left,

(3.52) $$ \begin{align} \mathfrak{p}_{\gamma, \mathfrak{D}_{\mathfrak{s}}}= \prod_{a\in J}^{\leftarrow} \Psi[t_a n_a]^{\epsilon_a s_a \delta(t_a n_a)} = \mathrm{id}. \end{align} $$

Thus, we obtain the first main theorem of the paper.

Theorem 3.6. For any admissible loop $\gamma $ with the consistent relation (3.52), the following identity holds as a formal Puiseux series in $\mathbf {y}$ with $\log $ factor:

(3.53) $$ \begin{align} \sum_{a\in J} \epsilon_a s_a \delta(t_a n_a) \tilde L( y_{z_a}[t_an_a]) =0. \end{align} $$

We call the identity (3.53), together with its reduction (3.19) at degree $\ell $ , the DI associated with a loop $\gamma $ in $\mathfrak {D}_{\mathfrak {s}}$ .

4.1 Construction and reduction of CSD by pentagon relation

Let us briefly review the construction of a CSD $\mathfrak {D}_{\mathfrak {s}}$ satisfying the property in Theorem 2.5(b) by [Reference Gross, Hacking, Keel and Kontsevich14], [Reference Nakanishi29].

Let $\Gamma $ be fixed data of rank 2. We say that a product of dilogarithm elements $\Psi [n]^c$ ( $n\in N^+$ , $c\in \mathbb {Q}_{>0}$ ) is ordered (resp. anti-ordered) if, for any adjacent pair $\Psi [n']^{c'}\Psi [n]^{c}$ , $\{n',n\}\leq 0$ (resp. $\{n',n\}\geq 0$ ) holds.

The following is a key lemma which we use in the construction of the abovementioned CSD.

Proposition 4.1 (Ordering lemma [Reference Nakanishi29, Prop. III.5.4]).

Let $\mathfrak {s}$ be a seed for a fixed data $\Gamma $ of rank 2. Let

(4.1) $$ \begin{align} C^{\mathrm{in}}= \Psi[t^{\prime}_j n^{\prime}_j]^{s^{\prime}_j \delta(t^{\prime}_j n^{\prime}_j)} \cdots \Psi[t^{\prime}_1n^{\prime}_1]^{s^{\prime}_1\delta(t^{\prime}_1 n^{\prime}_1)} \quad (n^{\prime}_a\in N_{\mathrm{pr}}^+, \ s^{\prime}_a,t^{\prime}_a \in \mathbb{Z}_{>0}) \end{align} $$

be any finite anti-ordered product. Then, $C^{\mathrm {in}}$ equals to a (possibly infinite) ordered product $C^{\mathrm {out}}$ of factors of the same form

(4.2) $$ \begin{align} \Psi[t_a n_a]^{s_a \delta(t_a n_a) } \quad (n_a\in N_{\mathrm{pr}}^+, \ s_a,t_a \in \mathbb{Z}_{>0}). \end{align} $$

Moreover, the above relation $C^{\mathrm {in}}=C^{\mathrm {out}}$ is obtained from a trivial relation $C^{\mathrm {in}}=C^{\mathrm {in}}$ by applying the relations in Proposition 2.2 possibly infinitely many times.

The explicit algorithm of obtaining $C^{\mathrm {out}}$ from $C^{\mathrm {in}}$ is given in [Reference Nakanishi29, Algorithm III.5.7].

We recall important notions for a scattering diagram [Reference Gross, Hacking, Keel and Kontsevich14].

Based on Proposition 4.1, we present the construction of a CSD $\mathfrak {D}_{\mathfrak {s}}$ , which was given by [Reference Gross, Hacking, Keel and Kontsevich14] and modified with Proposition 4.1 by [Reference Nakanishi29]. The resulting CSD satisfies the property in Theorem 2.5(b).

Construction 4.3 [Reference Gross, Hacking, Keel and Kontsevich14, Appendix C.3], [Reference Nakanishi29, Construction III.5.14].

We construct scattering diagrams $\mathfrak {D}_1\subset \mathfrak {D}_2 \subset \cdots $ as below. Then, a CSD $\mathfrak {D}_{\mathfrak {s}}$ in Theorem 2.5(b) is given by

(4.4) $$ \begin{align} \mathfrak{D}_{\mathfrak{s}}= \bigcup_{\ell=1}^\infty \mathfrak{D}_{\ell}. \end{align} $$

1. (1) We start with $\mathfrak {D}_1=\mathrm {In}_{\mathfrak {s}}$ .

2. (2) We construct $\mathfrak {D}_{\ell +1}$ from $\mathfrak {D}_{\ell }$ as follows: For any perpendicular joint $\mathfrak {j} $ of $\mathfrak {D}_{\ell }$ , let $N_{\mathfrak {j}}$ be the one in (4.3). Let $N_{\mathfrak {j}}^+ :=N^+\cap N_{\mathfrak {j}}$ and $N_{\mathfrak {j},\mathrm {pr}}^+ :=N^+_{\mathrm {pr}}\cap N_{\mathfrak {j}}$ . Then, there exists a unique pair $\tilde {e}_1, \tilde {e}_2\in N_{\mathfrak {j},\mathrm {pr}}^+$ such that $N_{\mathfrak {j}}^+ \subset \mathbb {Q}_{\geq 0} \tilde {e}_1+ \mathbb {Q}_{\geq 0}\tilde {e}_2$ and $\{ \tilde {e}_2, \tilde {e}_1 \}>0$ . See Figure 1. Thus, $p^*(n)$ is in the second quadrant in $M_{\mathbb {R}}$ with respect to $\tilde {e}_1^{\perp }$ and $\tilde {e}_2^{\perp }$ . Then, by the construction of walls as described below, all wall elements in $\mathfrak {D}_{\ell }$ have the form in (2.15). We say that a product of dilogarithm elements $\Psi [n]^c$ ( $n\in N_{\mathfrak {j}}^+$ , $c\in \mathbb {Q}_{>0}$ ) is ordered (resp. anti-ordered) if, for any adjacent pair $\Psi [n']^{c'}\Psi [n]^{c}$ , $\{n',n\}\leq 0$ (resp. $\{n',n\}\geq 0$ ) holds. We take the wall elements of all walls which contain $\mathfrak {j}$ and lie in the second quadrant with respect to $\tilde {e}_1^{\perp }$ and $\tilde {e}_2^{\perp }$ , and we consider the anti-ordered product of them

   (4.5) $$ \begin{align} C^{\mathrm{in}}=\Psi[t^{\prime}_{j'} n^{\prime}_{j'}]^{s^{\prime}_{j'} \delta(t^{\prime}_{j'} n^{\prime}_{j'})} \cdots \Psi[t^{\prime}_1n^{\prime}_1]^{s^{\prime}_1\delta(t^{\prime}_1 n^{\prime}_1)} \quad (\deg(t^{\prime}_a n^{\prime}_a) \leq \ell), \end{align} $$
   

   Figure 1 Walls containing a perpendicular joint $\mathfrak {j}$ .

   where $n^{\prime }_a \in N_{\mathfrak {j},\mathrm {pr}}^+$ and $s^{\prime }_a, t^{\prime }_a\in \mathbb {Z}_{>0}$ . Then, we apply Proposition 4.1 to $C^{\mathrm {in}}$ modulo $ G^{>\ell +1}$ , and obtain a finite-ordered product

   (4.6) $$ \begin{align} C^{\mathrm{out}}(\ell)= \Psi[t_j n_j]^{s_j \delta(t_j n_j)} \cdots \Psi[t_1n_1]^{s_1\delta(t_1 n_1)} \quad (\deg(t_a n_a )\leq \ell+1) \end{align} $$

   such that

   (4.7) $$ \begin{align} C^{\mathrm{in}}\equiv C^{\mathrm{out}}(\ell)\quad \mod G^{>\ell+1}. \end{align} $$

   By the construction of walls which we describe below, all factors in (4.6) with $\deg (t_a n_a)\leq \ell $ already appear as wall elements in $\mathfrak {D}_{\ell }$ . Now, we add new walls

   (4.8) $$ \begin{align} (\sigma(\mathfrak{j}, -p^*(n_a)), \Psi[t_a n_a ]^{s_a \delta(t_a n_a)})_{n_a} \end{align} $$

   to $\mathfrak {D}_{\ell }$ for all factors in (4.6) with $\deg (t_a n_a)= \ell +1$ . The cone $\sigma (\mathfrak {j}, -p^*(n_a))$ , which is generated by $\mathfrak {j}$ and $-p^*(n_a)$ , is of codimension 1 due to the perpendicular condition $p^*(n_a)\not \in \mathbb {R}\mathfrak {j}$ . Also, it is outgoing because it is in the fourth quadrant in $M_{\mathbb {R}}$ with respect to $\tilde {e}_1^{\perp }$ and $\tilde {e}_2^{\perp }$ . We do the procedure for all perpendicular joints of $\mathfrak {D}_{\ell }$ to obtain $\mathfrak {D}_{\ell +1}$ .

The consistency around parallel joints of the above constructed $\mathfrak {D}_{\mathfrak {s}}$ is not obvious, but it was proved in [Reference Gross, Hacking, Keel and Kontsevich14, Appendix C.3].

The above construction of a CSD immediately implies the following important result, which is implicit in [Reference Gross, Hacking, Keel and Kontsevich14, Appendix C.3], and described explicitly in [Reference Nakanishi29].

Proof. For the reader’s convenience, we present the proof of [Reference Nakanishi29, Th. III.5.17]. Fix $\ell>0$ , and consider the reduction $\mathfrak {D}_{\mathfrak {s}, \ell }$ at $\ell $ . By the topological reason, any consistency relation is reduced to the consistency relations for admissible loops around joints in $\mathfrak {D}_{\mathfrak {s},\ell }$ . For a parallel joint $\mathfrak {j}$ , which is a trivial case, the consistency relation has the form

(4.9) $$ \begin{align} \begin{split} &\quad \ \Psi[t^{\prime}_{j'} n^{\prime}_{j'}]^{s^{\prime}_{j'} \delta(t^{\prime}_{j'} n^{\prime}_{j'})} \cdots \Psi[t^{\prime}_1n^{\prime}_1]^{s^{\prime}_1\delta(t^{\prime}_1 n^{\prime}_1)} \\ & = \Psi[t^{\prime}_1n^{\prime}_1]^{s^{\prime}_1\delta(t^{\prime}_1 n^{\prime}_1)} \cdots \Psi[t^{\prime}_{j'} n^{\prime}_{j'}]^{s^{\prime}_{j'} \delta(t^{\prime}_{j'} n^{\prime}_{j'})}, \end{split} \end{align} $$

where the left-hand side is an anti-ordered product. By applying (2.10), it is reduced to a trivial relation. For a perpendicular joint $\mathfrak {j}$ , which is a nontrivial case, the consistency relation has the form

(4.10) $$ \begin{align} \begin{split} &\quad \ \Psi[t^{\prime}_{j'} n^{\prime}_{j'}]^{s^{\prime}_{j'} \delta(t^{\prime}_{j'} n^{\prime}_{j'})} \cdots \Psi[t^{\prime}_1n^{\prime}_1]^{s^{\prime}_1\delta(t^{\prime}_1 n^{\prime}_1)} \\ &\equiv \Psi[t_j n_j]^{s_j \delta(t_j n_j)} \cdots \Psi[t_1n_1]^{s_1\delta(t_1 n_1)}\quad \mod G^{>{\ell}}, \end{split} \end{align} $$

where the left- and right-hand sides are the ones in (4.5) and (4.6), respectively. The right-hand side is obtained from the left-hand side by Proposition 4.1 (more precisely, by Algorithm III.5.7 of [Reference Nakanishi29]), which depends only on the relations (2.10) and (2.11). By applying the relations in the reverse way, the relation (4.10) is reduced to a trivial one.

4.2 Construction and reduction of DIs by pentagon identity

Based on Construction 4.3 and Theorem 4.4, we will give parallel results for DIs, where the role of the pentagon relation (2.11) is played by the pentagon identity (3.11) of the Rogers dilogarithm.

For this purpose, we reformulate the pentagon identity in (3.11) into a form which is closer to the pentagon relation (2.11).

Lemma 4.5. Let $n_1, n_2\in N^+$ . If $\{n_2,n_1\}=c\ (c\in \mathbb {Q}, c\neq 0)$ , the following pentagon identity holds:

(4.11) $$ \begin{align} \begin{split} \frac{1}{c} \Psi[n_1 ]^{-1/c} (\tilde L (y^{n_2})) + \frac{1}{c} \tilde L (y^{n_1}) & = \frac{1}{c} \Psi[n_2 ]^{-1/c} \Psi[n_1+n_2]^{-1/c}(\tilde L( y^{n_1})) \\ &\quad\ + \frac{1}{c} \Psi[n_2 ]^{-1/c} (\tilde L( y^{n_1+n_2})) + \frac{1}{c} \tilde L(y^{n_2}). \end{split} \end{align} $$

Proof. we have

(4.12) $$ \begin{align} \!\Psi[n_1 ]^{-1/c} (y^{n_2}) &= y^{n_2} (1+y^{n_1}),\qquad\qquad\qquad\quad\quad \end{align} $$

(4.13) $$ \begin{align} \!\Psi[n_2 ]^{-1/c} (y^{n_1+n_2}) &= y^{n_1+n_2} (1+y^{n_2})^{-1},\qquad\qquad\qquad\quad \end{align} $$

(4.14) $$ \begin{align} \begin{split} \Psi[n_2 ]^{-1/c} \Psi[n_1+n_2]^{-1/c} (y^{n_1}) &= \Psi[ n_2 ]^{-1/c} (y^{n_1} (1+y^{n_1+n_2})^{-1}) \\ &= y^{n_1} (1+y^{n_2})^{-1} (1+y^{n_1+n_2} (1+y^{n_2})^{-1})^{-1}\\ &= y^{n_1} ( 1+y^{n_2}+y^{n_1+n_2})^{-1}. \end{split} \end{align} $$

Then, the identity (4.11) is obtained from (3.11) by setting $y_1=y^{n_1}$ and $y_2=y^{n_2}$ .

The overall factor $1/c$ was put so that the identity (4.11) perfectly matches (the log form of) the corresponding pentagon relation (2.11). Also, observe that action of dilogarithm elements in (4.11) is parallel to the one in (3.41).

Figure 2 Configuration for the consistency relation in (4.10).

Thanks to the correspondence between (4.11) and (2.11), we obtain a parallel result to Construction 4.3 and Theorem 4.4 for the DIs. This is the second main result of the paper.

Proof. Fix $\ell>0$ , and consider the reduction $\mathfrak {D}_{\mathfrak {s}, \ell }$ at $\ell $ . We may concentrate on a sufficiently small loop around a perpendicular joint $\mathfrak {j}$ . The constancy relation is given in (4.10), where the underlying configuration in $\mathfrak {D}_{\mathfrak {s}, \ell }$ is depicted in Figure 2. The corresponding DI in (3.19) has the form

(4.15) $$ \begin{align} \sum_{a=1}^{j'} s^{\prime}_a \delta(t^{\prime}_a n^{\prime}_a) \tilde L (y_{z^{\prime}_a}[t^{\prime}_a n^{\prime}_a]) \equiv \sum_{a=1}^{j} s_a \delta(t_a n_a) \tilde L (y_{z_a}[t_a n_a])\quad \mod \mathcal{F}^{> \ell}_{\log}. \end{align} $$

In view of Figure 2, this is rewritten in the form

(4.16) $$ \begin{align} \begin{split} &\quad \ \sum_{a=1}^{j'} \Psi[t^{\prime}_1 n^{\prime}_1 ]^{- s^{\prime}_1\delta (t^{\prime}_1 n^{\prime}_1)} \cdots \Psi[t^{\prime}_{a-1} n^{\prime}_{a-1}]^{- s^{\prime}_{a-1} \delta (t^{\prime}_{a-1} n^{\prime}_{a-1})} ( s^{\prime}_a \delta (t^{\prime}_a n^{\prime}_a) \tilde L (y^{t^{\prime}_a n^{\prime}_a}) ) \\ &\equiv \sum_{a=1}^{j} \Psi[t_1 n_1 ]^{- s_1\delta (t_1 n_1)} \cdots \Psi[t_{a-1} n_{a-1}]^{- s_{a-1} \delta (t_{a-1} n_{a-1})} ( s_a \delta (t_a n_a) \tilde L (y^{t_a n_a}) ) \end{split} \end{align} $$

modulo $\mathcal {F}^{> \ell }_{\log }$ . Along the procedure, say, $\mathcal {P}$ of obtaining (4.6) from (4.5) by Proposition 4.1 (more precisely, by Algorithm III.5.7 of [Reference Nakanishi29]), we do the following procedure:

• • As the initial input, we set $F(y)$ to be the left-hand side of (4.16).

• • If the pentagon relation (2.11) is applied to the adjacent pair $\Psi [t' n']^{c'}$ and $\Psi [t n]^c$ in the procedure $\mathcal {P}$ , we apply the pentagon identity (4.11) to the corresponding terms in $F(y)$ . We also apply the pentagon relation (2.11) itself to the corresponding pair $\Psi [t' n']^{c'}$ and $\Psi [t n]^c$ in $F(y)$ . (This does not change $F(y)$ as a formal Puiseux series in $\mathbf {y}$ with $\log $ factor.)

• • If the commutative relation modulo $G^{>\ell }$ is applied to the adjacent pair $\Psi [t' n']$ and $\Psi [t n]$ in the procedure $\mathcal {P}$ , we also apply it to the corresponding pair $\Psi [t' n']^{c'}$ and $\Psi [t n]^c$ in $F(y)$ . (This occurs for the relation (2.10) or the truncation of the relation (2.11) with $\deg (n_1+n_2)>\ell $ . In the former case, this does not change $F(y)$ , whereas in the latter case, the result equals to $F(y)$ modulo $\mathcal {F}^{> \ell }_{\log }$ .)

Then, thanks to the correspondence between (4.11) and (2.11), the final result is the right-hand side of (4.16). Thus, the equality (4.16) is reduced to the trivial one. Also, by reversing the procedure, the identity (4.16) is obtained from a trivial one.

Note that this also provides an alternative proof of Theorem 3.4 without the classical mechanical method.

Example 4.7 (Type $B_2$ ).

Let us demonstrate how the procedure in the proof of Theorem 4.6 works in practice. Consider the consistency relation for a CSD of type $B_2$ obtained by the successive application of the pentagon relation [Reference Nakanishi29, §III.2.2],

(4.17) $$ \begin{align} \begin{split} \begin{bmatrix} 0\\ 1 \end{bmatrix} \left( \begin{bmatrix} 0\\ 1 \end{bmatrix} \begin{bmatrix} 1\\ 0 \end{bmatrix} \right) &= \left( \begin{bmatrix} 0\\ 1 \end{bmatrix} \begin{bmatrix} 1\\ 0 \end{bmatrix} \right) \begin{bmatrix} 1\\ 1 \end{bmatrix} \begin{bmatrix} 0\\ 1 \end{bmatrix} \\ &= \begin{bmatrix} 1\\ 0 \end{bmatrix} \begin{bmatrix} 1\\ 1 \end{bmatrix} \left( \begin{bmatrix} 0\\ 1 \end{bmatrix} \begin{bmatrix} 1\\ 1 \end{bmatrix} \right) \begin{bmatrix} 0\\ 1 \end{bmatrix} \\ &= \begin{bmatrix} 1\\ 0 \end{bmatrix} \begin{bmatrix} 1\\ 1 \end{bmatrix} \begin{bmatrix} 1\\ 1 \end{bmatrix} \begin{bmatrix} 1\\ 2 \end{bmatrix} \begin{bmatrix} 0\\ 1 \end{bmatrix} \begin{bmatrix} 0\\ 1 \end{bmatrix} , \end{split} \end{align} $$

where the pentagon relation (2.11) is applied to the pairs in the parentheses. The associated DI in the form (4.16) is obtained as follows:

(4.18) $$ \begin{align} \begin{split} &\ \Psi[\mathbf{e}_1]^{-1}\Psi[\mathbf{e}_2]^{-1}\tilde L(y^{\mathbf{e}_2}) + ( \Psi[\mathbf{e}_1]^{-1}\tilde L (y^{\mathbf{e}_2}) + \tilde L (y^{\mathbf{e}_1}) ) \\ =&\ ( \Psi[\mathbf{e}_2]^{-1} \Psi[(1,1)]^{-1} \Psi[\mathbf{e}_1]^{-1}\tilde L(y^{\mathbf{e}_2}) + \Psi[\mathbf{e}_2]^{-1} \Psi[(1,1)]^{-1} \tilde L (y^{\mathbf{e}_1}) ) \\ &\quad + \Psi[\mathbf{e}_2]^{-1}\tilde L (y^{(1,1)}) + \tilde L (y^{\mathbf{e}_2}) \\ =&\ \Psi[\mathbf{e}_2]^{-1} \Psi[(1,1)]^{-1} \Psi[\mathbf{e}_2]^{-1} \Psi[(1,1)]^{-1} \tilde L(y^{\mathbf{e}_1}) \\ &\quad + \Psi[\mathbf{e}_2]^{-1} \Psi[(1,1)]^{-1} \Psi[\mathbf{e}_2]^{-1} \tilde L(y^{(1,1)}) \\ &\quad + (\Psi[\mathbf{e}_2]^{-1} \Psi[(1,1)]^{-1} \tilde L (y^{\mathbf{e}_2}) + \Psi[\mathbf{e}_2]^{-1}\tilde L (y^{(1,1)})) + \tilde L (y^{\mathbf{e}_2}) \\ =&\ \Psi[\mathbf{e}_2]^{-1} \Psi[\mathbf{e}_2]^{-1} \Psi[(1,2)]^{-1} \Psi[(1,1)]^{-1} \Psi[(1,1)]^{-1} \tilde L(y^{\mathbf{e}_1}) \\ &\quad + \Psi[\mathbf{e}_2]^{-1} \Psi[\mathbf{e}_2]^{-1} \Psi[(1,2)]^{-1} \Psi[(1,1)]^{-1} \tilde L(y^{(1,1)}) \\ &\quad + \Psi[\mathbf{e}_2]^{-1} \Psi[\mathbf{e}_2]^{-1} \Psi[(1,2)]^{-1} \tilde L (y^{(1,1)}) \\ &\quad + \Psi[\mathbf{e}_2]^{-1} \Psi[\mathbf{e}_2]^{-1} \tilde L (y^{(1,2)}) + \Psi[\mathbf{e}_2]^{-1}\tilde L (y^{\mathbf{e}_2}) + \tilde L (y^{\mathbf{e}_2}). \end{split} \end{align} $$

For example, in the first equality, the pentagon identity (4.11) is applied to the second and third terms, whereas the corresponding pentagon relation (2.11) is applied to the first term.

Recall that a sequence of mutations for a seed of a cluster pattern is called a $\sigma $ -period if it acts as a permutation $\sigma $ of the indices of the seed [Reference Nakanishi, Skowroński and Yamagata27]. Any $\sigma $ -period of a cluster pattern corresponds to a loop $\gamma $ contained in the support of the G-fan in the corresponding CSD. Thus, we have the following corollary.

Thus, our DIs have the infinite reducibility in view of the reducibility problem of the DIs to the pentagon relation [Reference Zagier32, §2.A].

5.1 Type $A_1^{(1)}$

Without loss of generality, we may assume that $\{e_2, e_1\}=1$ [Reference Nakanishi29, §III.1.5]. We consider the case $\delta _1=\delta _2=2$ so that the initial exchange matrix B in (2.3) is given by

(5.1) $$ \begin{align} B= \begin{pmatrix} 0 & -2\\ 2 & 0 \end{pmatrix}. \end{align} $$

Let $ \bigl [ { n_1 \atop n_2 } \bigr ] $ denote the dilogarithm element $\Psi [n]$ with $n=n_1 e_1 + n_2 e_2$ . The structure of the CSD is well known (see [Reference Gross, Hacking, Keel and Kontsevich14, Exam. 1.15], [Reference Reineke31, Th. 6.1], [Reference Reading30, Th. 3.4]), and it is represented by the following relation:

(5.2) $$ \begin{align} \begin{bmatrix} 0\\ 1 \end{bmatrix} ^2 \begin{bmatrix} 1\\ 0 \end{bmatrix} ^2 = \begin{bmatrix} 1\\ 0 \end{bmatrix} ^2 \begin{bmatrix} 2\\ 1 \end{bmatrix} ^2 \begin{bmatrix} 3\\ 2 \end{bmatrix} ^2 \cdots \prod_{j=0}^{\infty} \begin{bmatrix} 2^j\\ 2^j \end{bmatrix} ^ {2^{2-j}} \cdots \begin{bmatrix} 2\\ 3 \end{bmatrix} ^2 \begin{bmatrix} 1\\ 2 \end{bmatrix} ^2 \begin{bmatrix} 0\\ 1 \end{bmatrix} ^2. \end{align} $$

See also [Reference Nakanishi29, §III.5.7] and [Reference Matsushita25] for an alternative derivation of the relation by the pentagon identity. See Figure 3a. Here, the left-hand side is the path-ordered product $\mathfrak {p}_{\gamma _1, \mathfrak {D}_{\mathfrak {s}}}$ along the curve $\gamma _1$ , whereas the right-hand side is the path-ordered product $\mathfrak {p}_{\gamma _2, \mathfrak {D}_{\mathfrak {s}}}$ along the curve $\gamma _2$ . There are infinitely many walls with support $\mathfrak {d}=\mathbb {R}_{\geq 0}(1,-1)\subset (1,1)^{\perp }$ . We have $\delta (2^j (1,1))=2^{1-j}$ . Thus, the factor $s_a$ is 2 for these walls, and 1 for the rest.

Figure 3 Rank 2 CSDs of affine type, where types $A_1^{(1)}$ and $A_2^{(2)}$ are depicted in (a) and (b), respectively.

We only need to consider the loop $\gamma _2^{-1}\circ \gamma _1$ , where the consistency relation is given by the relation (5.2). Then, the associated DI in (3.19) is written as follows:

(5.3) $$ \begin{align} &\ \tilde L(y_2(1+y_1)^2)+\tilde L(y_1) = \tilde L(y_1(1+y_2(1+y_1)^2)^{-2}) + \Lambda + \tilde L(y_2) , \end{align} $$

(5.4) $$ \begin{align} \begin{split} &\Lambda= \tilde L (y[(2,1)]) + \tilde L (y[(3,2)]) + \cdots \\ &\qquad + \sum_{j=0}^{\infty} 2^{1-j} \tilde L (y[2^j(1,1)]) + \cdots +\tilde L (y[(2,3)]) + \tilde L (y[(1,2)]). \end{split} \end{align} $$

In the sum $\Lambda $ , $y_{z_a}[t_an_a]$ in (3.19) is unambiguously parametrized by $t_a n_a \in N^+$ , so that $z_a$ is omitted. Also, the common factor 2 is omitted. Since the left-hand side is a finite sum, the right-hand side converges as a function of $\mathbf {y}\in \mathbb {R}^2_{\geq 0}$ .

It seems difficult to obtain the explicit expression for $y[t_a n_a]$ in $\Lambda $ , and we do not seek it here. Instead, we demonstrate the validity of the reduced identity (3.19) for small degrees  $\ell $ .

(i) $\ell =1$ . The relation (5.2) is reduced at $\ell =1$ to

(5.5) $$ \begin{align} \begin{bmatrix} 0\\ 1 \end{bmatrix} ^2 \begin{bmatrix} 1\\ 0 \end{bmatrix} ^{2} \equiv \begin{bmatrix} 1\\ 0 \end{bmatrix} ^2 \begin{bmatrix} 0\\ 1 \end{bmatrix} ^2\quad \mod G^{>1}. \end{align} $$

We have

(5.6) $$ \begin{align} y_2(1+y_1)^2\equiv y_2, \quad y_1(1+y_2(1+y_1)^2)^{-2}\equiv y_1\quad \mod \mathcal{F}^{>1}. \end{align} $$

The reduced DI at $\ell =1$ is

(5.7) $$ \begin{align} \tilde{L}(y_2) + \tilde{L}(y_1) \equiv \tilde{L}(y_1) + \tilde{L}(y_2)\quad \mod \mathcal{F}^{> 1}_{\log}. \end{align} $$

This holds trivially.

(ii) $\ell =2$ . The relation (5.2) is reduced at $\ell =2$ to

(5.8) $$ \begin{align} \begin{bmatrix} 0\\ 1 \end{bmatrix} ^2 \begin{bmatrix} 1\\ 0 \end{bmatrix} ^{2} \equiv \begin{bmatrix} 1\\ 0 \end{bmatrix} ^2 \begin{bmatrix} 1\\ 1 \end{bmatrix} ^4 \begin{bmatrix} 0\\ 1 \end{bmatrix} ^2\quad \mod G^{>2}. \end{align} $$

We have, modulo $\mathcal {F}^{>2}$ ,

(5.9) $$ \begin{align} \begin{split} y_2(1+y_1)^2&\equiv y_2+2y_1y_2, \\ y_1(1+y_2(1+y_1)^2)^{-2}&\equiv y_1-2y_1y_2, \\ y[(1,1)]&\equiv y_1y_2. \end{split} \end{align} $$

Thus, the reduced DI at $\ell =2$ is

(5.10) $$ \begin{align} \tilde{L}( y_2+2y_1y_2 ) + \tilde{L}(y_1) \equiv \tilde{L}(y_1-2y_1y_2) + 2 \tilde{L}(y_1y_2) +\tilde{L}(y_2)\quad \mod \mathcal{F}^{> 2}_{\log}. \end{align} $$

This can be also verified directly by (3.10).

(iii) $\ell =3$ . The relation (5.2) is reduced at $\ell =3$ to

(5.11) $$ \begin{align} \begin{bmatrix} 0\\ 1 \end{bmatrix} ^2 \begin{bmatrix} 1\\ 0 \end{bmatrix} ^{2} \equiv \begin{bmatrix} 1\\ 0 \end{bmatrix} ^2 \begin{bmatrix} 2\\ 1 \end{bmatrix} ^2 \begin{bmatrix} 1\\ 1 \end{bmatrix} ^4 \begin{bmatrix} 1\\ 2 \end{bmatrix} ^2 \begin{bmatrix} 0\\ 1 \end{bmatrix} ^2\quad \mod G^{>3}. \end{align} $$

We have, modulo $\mathcal {F}^{>3}$ ,

(5.12) $$ \begin{align} \begin{split} y_2(1+y_1)^2 &\equiv y_2+2y_1y_2 + y_1^2 y_2, \\ y_1(1+y_2(1+y_1)^2)^{-2}&\equiv y_1-2y_1y_2-4y_1^2y_2 + 3y_1y_2^2, \\ y[(1,2)]&\equiv y_1y_2^2. \\ y[(1,1)]&\equiv y_1y_2(1+y_{2})^{-2}\equiv y_1y_2- 2y_1 y_2^2. \\ y[(2,1)]&\equiv y_1^2y_2. \end{split} \end{align} $$

Thus, the reduced DI at $\ell =3$ is

(5.13) $$ \begin{align} \begin{split} &\quad \ \tilde{L}( y_2+2y_1y_2+ y_1^2 y_2 ) + \tilde{L}(y_1) \\ & \equiv \tilde{L}(y_1-2y_1y_2-4y_1^2y_2 + 3y_1y_2^2) +\tilde{L}(y_1^2y_2) + 2 \tilde{L}(y_1y_2- 2y_1 y_2^2) \\ &\qquad + \tilde{L}(y_1y_2^2) + \tilde{L}(y_2)\quad \mod \mathcal{F}^{> 3}_{\log}. \end{split} \end{align} $$

Again, this can be also verified directly by (3.10).

5.2 Type $A_2^{(2)}$

We consider the case $\delta _1=1$ , $\delta _2=4$ so that the initial exchange matrix B in (2.3) is given by

(5.14) $$ \begin{align} B= \begin{pmatrix} 0 & -1\\ 4 & 0 \end{pmatrix}. \end{align} $$

The structure of the CSD is well known [Reference Gross, Hacking, Keel and Kontsevich14], [Reference Reading30], and it is represented by the following relation:

(5.15) $$ \begin{align} \begin{split} & \begin{bmatrix} 0\\ 1 \end{bmatrix} ^4 \begin{bmatrix} 1\\ 0 \end{bmatrix} = \begin{bmatrix} 1\\ 0 \end{bmatrix} \begin{bmatrix} 1\\ 1 \end{bmatrix} ^4 \begin{bmatrix} 3\\ 4 \end{bmatrix} \begin{bmatrix} 2\\ 3 \end{bmatrix} ^4 \begin{bmatrix} 5\\ 8 \end{bmatrix} \begin{bmatrix} 3\\ 5 \end{bmatrix} ^4 \cdots \\ & \hskip60pt \times \begin{bmatrix} 1\\ 2 \end{bmatrix} ^6 \prod_{j=1}^{\infty} \begin{bmatrix} 2^j\\ 2^{j+1} \end{bmatrix} ^ {2^{2-j}} \cdots \begin{bmatrix} 5\\ 12 \end{bmatrix} \begin{bmatrix} 2\\ 5 \end{bmatrix} ^4 \begin{bmatrix} 3\\ 8 \end{bmatrix} \begin{bmatrix} 1\\ 3 \end{bmatrix} ^4 \begin{bmatrix} 1\\ 4 \end{bmatrix} \begin{bmatrix} 0\\ 1 \end{bmatrix} ^4. \end{split} \end{align} $$

See also [Reference Nakanishi29, §III.5.7] and [Reference Matsushita25] for an alternative derivation by the pentagon identity. Here, the canonical paring $\langle n, z\rangle $ for $N\times M_{\mathbb {R}}$ is given by

(5.16) $$ \begin{align} \langle n, z\rangle =(n_1,n_2) \begin{pmatrix} 1 & 0\\ 0 & 1/4 \end{pmatrix} \begin{pmatrix} z_1\\ z_2 \end{pmatrix} \end{align} $$

under the identification $N \simeq \mathbb {Z}^2$ , $e_i\mapsto \mathbf {e}_i$ and $M_{\mathbb {R}} \simeq \mathbb {R}^2$ , $f_i\mapsto \mathbf {e}_i$ . There are infinitely many walls with support $\mathfrak {d}=\mathbb {R}_{\geq 0}(1,-2)\subset (1,2)^{\perp }$ . We have $\delta (2^j (1,2))=2^{1-j}$ . Thus, the factor $s_a$ is 2 or 3 for these walls, and 1 for the rest. The associated DI (3.19) is written as follows:

(5.17) $$ \begin{align} &4 \tilde L(y_2(1+y_1))+\tilde L(y_1) = \tilde L(y_1(1+y_2(1+y_1))^{-4}) + \Lambda + 4 \tilde L(y_2) , \end{align} $$

(5.18) $$ \begin{align} \begin{split} &\Lambda= 4 \tilde L (y[(1,1)]) + \tilde L (y[(3,4)]) + \cdots + 6 \tilde L (y[(1,2)]) \\ &\qquad + \sum_{j=1}^{\infty} 2^{2-j}\tilde L (y[2^j (1, 2)]) + \cdots +4\tilde L (y[(1,3)]) + \tilde L (y[(1,4)]). \end{split} \end{align} $$

Since the left-hand side is a finite sum, the right-hand side converges as a function of $\mathbf {y}\in \mathbb {R}^2_{\geq 0}$ .

Let us concentrate on the reduction at $\ell =3$ . The relation (5.15) is reduced at $\ell =3$ to

(5.19) $$ \begin{align} \begin{bmatrix} 0\\ 1 \end{bmatrix} ^4 \begin{bmatrix} 1\\ 0 \end{bmatrix} \equiv \begin{bmatrix} 1\\ 0 \end{bmatrix} \begin{bmatrix} 1\\ 1 \end{bmatrix} ^4 \begin{bmatrix} 1\\ 2 \end{bmatrix} ^6 \begin{bmatrix} 0\\ 1 \end{bmatrix} ^4\quad \mod G^{>3}. \end{align} $$

We have, modulo $\mathcal {F}^{>3}$ ,

(5.20) $$ \begin{align} \begin{split} y_1(1+y_2(1+y_1))^{-4}&\equiv y_1-4y_1y_2-4y_1^2y_2 + 10y_1y_2^2, \\ y[(1,2)]&\equiv y_1y_2^2. \\ y[(1,1)]&\equiv y_1y_2(1+y_{2})^{-4}\equiv y_1y_2- 4y_1 y_2^2. \end{split} \end{align} $$

Thus, the reduced DI at $\ell =3$ is

(5.21) $$ \begin{align} \begin{split} &\quad \ 4 \tilde{L}( y_2+y_1y_2 ) + \tilde{L}(y_1) \\ & \equiv \tilde{L}(y_1-4y_1y_2-4y_1^2y_2 + 10y_1y_2^2) + 4 \tilde{L}(y_1y_2- 4y_1 y_2^2) \\ &\qquad + 6 \tilde{L}(y_1y_2^2) + 4 \tilde{L}(y_2)\quad \mod \mathcal{F}^{> 3}_{\log}. \end{split} \end{align} $$

Again, this can be also verified directly by (3.10).