http://www.numdam.org/article/PMIHES_1985__61__5_0.pdf w:H_+ \to HをZ \times N行列w = (w+, w-)と考える。 前の条件は、w+-1がtrace classであるということ。 Det(W)の元を(w,\lambda)で\lambda \in CでwをWのadmissible basisとし、N \times N行列（つ…