19/05/22 17:04:22.45 9OIINzUU.net
>>773
そういうことでしたか。
不等式しか出ないというのは
log-Kummer対応における対数殻間のKummer同型が対数写像との「両立性」を満たさないが「上半両立性」だけを満たすことにより
対数殻の次数(より一般には数論的直線束の次数)についての「等式」ではなく「不等式」が得られる仕組みとなっている
ということですよね。
個人的には不等式や不定性が生じるよう「工夫している」というより
「自然とそのような仕組みになっている」という印象を受けたのですが
ID:vfA14a+Uさんはどのあたりがどう工夫されていると思ったのですか？