5.6.0.1 [A-1] の場合

この場合は、$i$,$j$-特性族の front の世代、符号は $t=\tau$ の前後で変わらず、 それ以外の特性族に出る front は (67) より すべて $k$ 世代となる。 よって、$Q_k(\tau-)$ $\vert\sigma'_i\sigma''_j\vert$ を含まないが、

\begin{eqnarray*}\Delta Q_k(\tau)
&=&
\sum_{\ell\neq i,j}\vert\bar{\sigma}_\el...
...igma'_i\vert
+\vert\bar{\sigma}_j-\sigma''_j\vert\right)V(\tau-)\end{eqnarray*}

となり、よって Lemma 7.2 (i) より (68) の 1 本目が得られる。

竹野茂治@新潟工科大学
2020-06-03