Cor3.12の不等式の計算で、スカラーj^2が現れる理由を
望月もその支持者も全く説明できていない

おそらく全く想定していなかったと考えられる
なぜなら、IUTに関する論文でmonodromyがまず現れないから