The original publication of [Reference Ariki, Kase and MiyamotoAKM] contained several errors that the authors wish to correct in the following.
Throughout,
${\mathcal{O}}$
will be a complete discrete valuation ring, and
$A$
will be a symmetric
${\mathcal{O}}$
-order (refer to [Reference Curtis and ReinerCR, Definition 23.1] for the definition of an
${\mathcal{O}}$
-order). We write
$\mathit{latt}$
-
$A$
for the category of
$A$
-lattices and the stable Auslander–Reiten quiver of
$A$
means that for
$\mathit{latt}$
-
$A$
.
In [Reference Ariki, Kase and MiyamotoAKM], we introduced the stable Auslander–Reiten quiver of
$A$
and determined stable components of
$A$
that contain Heller lattices for the case
$A={\mathcal{O}}[X]/(X^{n})$
. The final result Theorem 3.1 is correct, but preparatory results Lemma 1.23 and Theorem 1.27 need to be stated more precisely. We correct those parts in this corrigendum. We also correct the careless statement of Lemma 1.21(3) in the original paper.
1.1 On [Reference Ariki, Kase and MiyamotoAKM, Definition 1.20 and Lemma 1.21].
Let
$(\unicode[STIX]{x1D6E5},v)$
be a valued quiver. We denote the map
$v:\unicode[STIX]{x1D6E5}_{1}\rightarrow \mathbb{Z}_{{>}0}\times \mathbb{Z}_{{>}0}$
by
$v(x\rightarrow y)=(d_{xy},d_{xy}^{\prime })$
. In this paper, we assume that
$\unicode[STIX]{x1D6E5}$
does not have loops, two cycles and multiple arrows. Therefore, underlying undirected graph of the quiver is a simple graph, and each edge is given an orientation. In other words, if two vertices
$x$
and
$y$
are connected by an arrow then
$x\neq y$
and either
$x\rightarrow y$
or
$y\rightarrow x$
holds exclusively. In this setting, the valued quiver
$(\unicode[STIX]{x1D6E5},v)$
gives rise to the Cartan matrix
$C=(c_{xy})_{x,y\in \unicode[STIX]{x1D6E5}_{0}}$
on
$\unicode[STIX]{x1D6E5}_{0}$
below, since
$c_{xy}\neq 0$
if and only if
$c_{yx}\neq 0$
holds.
$$\begin{eqnarray}c_{xy}:=\left\{\begin{array}{@{}ll@{}}2 & \text{if }x=y,\\ -d_{xy} & \text{if }x\in y^{-},\\ -d_{yx}^{\prime } & \text{if }x\in y^{+},\\ 0 & \text{otherwise},\end{array}\right.\end{eqnarray}$$
where
$y^{+}=\{x\in \unicode[STIX]{x1D6E5}_{0}\mid y\rightarrow x\in \unicode[STIX]{x1D6E5}_{1}\}$
and
$y^{-}=\{x\in \unicode[STIX]{x1D6E5}_{0}\mid x\rightarrow y\in \unicode[STIX]{x1D6E5}_{1}\}$
. The following is a well-known statement about Cartan matrices, which we may find in [Reference BensonB, Theorem 4.5.8].
Lemma 1.21. Let
$(\unicode[STIX]{x1D6E5},v)$
be a connected valued quiver as above and
$\overline{\unicode[STIX]{x1D6E5}}$
the underlying graph of
$\unicode[STIX]{x1D6E5}$
.
(1) Assume that
$(\unicode[STIX]{x1D6E5},v)$
admits a function
$f:\unicode[STIX]{x1D6E5}_{0}\rightarrow \mathbb{Q}_{{>}0}$
which satisfies or, equivalently,$$\begin{eqnarray}2f(y)\geqslant \mathop{\sum }_{x\in y^{-}}f(x)d_{xy}+\mathop{\sum }_{x\in y^{+}}f(x)d_{yx}^{\prime },\quad \text{for all }y\in \unicode[STIX]{x1D6E5}_{0}\end{eqnarray}$$
$\sum _{x\in \unicode[STIX]{x1D6E5}_{0}}f(x)c_{xy}\geqslant 0$
, for all
$y\in \unicode[STIX]{x1D6E5}_{0}$
. Then the following hold.(i) If
$\unicode[STIX]{x1D6E5}$
has a finite number of vertices, then
$\overline{\unicode[STIX]{x1D6E5}}$
is one of the finite or affine Dynkin diagrams.(ii) If
$\unicode[STIX]{x1D6E5}$
has infinite number of vertices, then
$\overline{\unicode[STIX]{x1D6E5}}$
is one of the infinite Dynkin diagrams
$A_{\infty },B_{\infty },C_{\infty },D_{\infty }$
or
$A_{\infty }^{\infty }$
.
(2) If the inequality is strict for a vertex of
$\unicode[STIX]{x1D6E5}$
, then
$\overline{\unicode[STIX]{x1D6E5}}$
is either a finite Dynkin diagram or
$A_{\infty }$
.(3) If
$f$
is unbounded, then
$\overline{\unicode[STIX]{x1D6E5}}$
is
$A_{\infty }$
.
1.2 On [Reference Ariki, Kase and MiyamotoAKM, Lemma 1.23]
Lemma 1.23 states that there are no loops in periodic stable components with infinitely many vertices of
$A$
. However, the statement is false in the general setting assumed in Lemma 1.23. We correct the statement of [Reference Ariki, Kase and MiyamotoAKM, Lemma 1.23] and give a proof by modifying the original proof.
Lemma 1.23. Let
$C$
be a component of the stable Auslander–Reiten quiver of
$A$
. Assume that
$C$
satisfies the following conditions:
(i) There exists a
$\unicode[STIX]{x1D70F}$
-periodic indecomposable
$A$
-lattice in
$C$
.(ii)
$C$
has infinitely many vertices.
Then
$C\setminus \{\text{loops}\}$
is of the form
$\mathbb{Z}A_{\infty }/\langle \unicode[STIX]{x1D70F}\rangle$
if
$C$
has a loop. In this case, there exists exactly one loop and it appears at the endpoint of
$C$
such that the valuation of the loop is trivial.
Proof. First, we show that if
$X\in C$
has a loop, then
$X\simeq \unicode[STIX]{x1D70F}X$
. Suppose that
$X\in C$
has a loop and
$X\not \simeq \unicode[STIX]{x1D70F}X$
. Then the almost split sequence ending at
$X$
is of the form
$$\begin{eqnarray}0\rightarrow \unicode[STIX]{x1D70F}X\rightarrow X^{\oplus l_{1}}\oplus E_{X}\oplus \unicode[STIX]{x1D70F}X^{\oplus l_{2}}\rightarrow X\rightarrow 0,\end{eqnarray}$$
where
$E_{X}\in \mathit{latt}$
-
$A$
and
$l_{1},l_{2}\geqslant 1$
. Therefore,
$$\begin{eqnarray}\operatorname{rank}(X)+\operatorname{rank}(\unicode[STIX]{x1D70F}X)=l_{1}\operatorname{rank}(X)+l_{2}\operatorname{rank}(\unicode[STIX]{x1D70F}X)+\operatorname{rank}(E_{X}),\end{eqnarray}$$
implies
$\operatorname{rank}(E_{X})=0$
and
$l_{1}=l_{2}=1$
. However, it follows from [Reference MiyataM, Theorem 1] that the almost split sequence ending at
$X$
splits, a contradiction. Therefore, if
$X$
has a loop, then
$X$
and
$\unicode[STIX]{x1D70F}X$
are isomorphic.
As in the proof of [Reference Ariki, Kase and MiyamotoAKM, Lemma 1.23], which was taken from [Reference Happel, Preiser and RingelHPR], we choose
$n_{X}\geqslant 1$
, for each
$X\in C$
, such that
$\unicode[STIX]{x1D70F}^{n_{X}}X\simeq X$
, and define
$f:C_{0}\rightarrow \mathbb{Q}_{{>}0}$
by
$$\begin{eqnarray}f(X)={\displaystyle \frac{1}{n_{X}}}\mathop{\sum }_{i=0}^{n_{X}-1}\operatorname{rank}(\unicode[STIX]{x1D70F}^{i}X).\end{eqnarray}$$
Note that
$f(X)=f(\unicode[STIX]{x1D70F}X)$
holds, for all
$X\in C$
. Set
$\widetilde{C}:=C\setminus \{\text{loops}\}$
. By the Riedtmann structure theorem [Reference BensonB, Theorem 4.15.6], there exist a directed tree
$T$
and an admissible group
$G$
such that
$\widetilde{C}=\mathbb{Z}T/G$
. We denote the
$G$
-orbit of
$(t,r)$
, for a vertex
$t$
of
$T$
and
$r\in \mathbb{Z}$
, by
$\overline{(t,r)}$
. Let
$X_{t}=\overline{(t,0)}$
. Then, we define a function
$\widetilde{f}:T_{0}\rightarrow \mathbb{Q}_{{>}0}$
by
$\widetilde{f}(t)=f(X_{t})$
. By considering the almost split sequence
$$\begin{eqnarray}0\rightarrow \unicode[STIX]{x1D70F}X_{t}\rightarrow \left(\bigoplus _{s\in t^{-}}X_{s}^{d_{st}}\right)\oplus \left(\bigoplus _{s\in t^{+}}\unicode[STIX]{x1D70F}X_{s}^{d_{ts}^{\prime }}\right)\oplus X_{t}^{l}\oplus \unicode[STIX]{x1D70F}X_{t}^{l^{\prime }}\rightarrow X_{t}\rightarrow 0,\end{eqnarray}$$
where
$l,l^{\prime }\geqslant 0$
, we have
$$\begin{eqnarray}2\widetilde{f}(t)\geqslant \mathop{\sum }_{s\in t^{-}}\widetilde{f}(s)d_{st}+\mathop{\sum }_{s\in t^{+}}\widetilde{f}(s)d_{ts}^{\prime }.\end{eqnarray}$$
Now, suppose that
$X=\overline{(t,r)}\in C$
has a loop. It implies that the above inequality is strict for
$t$
. Thus, by the assumption (ii) and Lemma 1.21(2), the underlying tree
$\overline{T}$
is
$A_{\infty }$
so that
$\widetilde{C}=\mathbb{Z}A_{\infty }/\langle \unicode[STIX]{x1D70F}\rangle$
. We may assume without loss of generality that
$T$
has a linear orientation, that is,
$T$
does not have a sink. Thus, we may take a path in
$\widetilde{C}$
$$\begin{eqnarray}X_{1}\rightarrow X_{2}\rightarrow \cdots \rightarrow X_{r}\rightarrow \cdots \,.\end{eqnarray}$$
We assume that
$X_{r}$
has a loop. If
$r>1$
then the almost split sequence starting at
$X_{r}$
is
$$\begin{eqnarray}0\longrightarrow X_{r}\longrightarrow X_{r}^{\oplus l}\oplus X_{r+1}\oplus X_{r-1}\oplus P\longrightarrow X_{r}\longrightarrow 0\end{eqnarray}$$
where
$l\geqslant 1$
and
$P$
is a projective
$A$
-lattice. Since
$f(X_{t})\geqslant 1$
for all
$t\geqslant 1$
, we have
$$\begin{eqnarray}f(X_{r})\geqslant (2-l)f(X_{r})\geqslant f(X_{r+1})+f(X_{r-1})\geqslant f(X_{r+1})+1.\end{eqnarray}$$
We show that
$f(X_{m})\geqslant f(X_{m+1})+1$
for
$m\geqslant r$
. Suppose that
$f(X_{m-1})\geqslant f(X_{m})+1$
holds. The same argument as above shows
$2f(X_{m})\geqslant f(X_{m-1})+f(X_{m+1})$
, and the induction hypothesis implies
$$\begin{eqnarray}2f(X_{m})\geqslant f(X_{m-1})+f(X_{m+1})\geqslant f(X_{m})+f(X_{m+1})+1,\end{eqnarray}$$
so that
$f(X_{m})\geqslant f(X_{m+1})+1$
follows. Thus, there exists a positive integer
$t$
such that
$f(X_{t})<0$
, which contradicts with
$f(X_{t})\geqslant 1$
. We conclude that
$r=1$
. Then,
$l=1$
by
$2\operatorname{rank}X_{1}>l\operatorname{rank}X_{1}$
. We have proved that the loop is unique and it appears at the endpoint of the homogeneous tube such that the valuation is
$(1,1)$
.◻
1.3 On [Reference Ariki, Kase and MiyamotoAKM, Theorem 1.27]
In the proof of Theorem 1.27, we used Lemma 1.23 to ensure that
$\unicode[STIX]{x1D70F}$
-periodic stable components of
$A$
with infinitely many vertices do not admit a loop. However, there is a possibility that a loop appears at the endpoint of a homogeneous tube in the general setting of Theorem 1.27. Hence we correct the statement of [Reference Ariki, Kase and MiyamotoAKM, Theorem 1.27] as follows.
Theorem 1.27. Let
$A$
be a symmetric
${\mathcal{O}}$
-order over a complete discrete valuation ring
${\mathcal{O}}$
, and let
$C$
be a component of the stable Auslander–Reiten quiver of
$A$
. Suppose that:
(i) there exists a
$\unicode[STIX]{x1D70F}$
-periodic indecomposable
$A$
-lattice in
$C$
;(ii) the stable Auslander–Reiten quiver of
$A$
has infinitely many vertices.
Then, the number of vertices of
$C$
is infinite, and either:
(a)
$C$
is a valued stable translation quiver; or(b) a loop with trivial valuation appears at the endpoint of
$C$
and if we delete the loop, then
$C$
becomes a homogeneous tube
$\mathbb{Z}A_{\infty }/\langle \unicode[STIX]{x1D70F}\rangle$
.
1.4 The case of
$A={\mathcal{O}}[X]/(X^{n})$
Now we apply Theorem 1.27 to a component of the stable Auslander–Reiten quiver of
$A={\mathcal{O}}[X]/(X^{n})$
that contains a Heller lattice. If there exists a loop in the component, Proposition 2.4 implies that the endpoint must be a Heller lattice. However, Heller lattices have no loops. Thus any component of the stable Auslander–Reiten quiver of
$A$
that contains a Heller lattice is a valued stable translation quiver, so that the proof of [Reference Ariki, Kase and MiyamotoAKM, Theorem 3.1] works without change.
