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