加载中…
Given number fields , smooth projective curves defined over and defined over , and a non-constant -morphism $h \colon C \to B_LC_hKK$-rational points parametrize the -rational points on whose images under are defined over . Our construction provides a framework which includes as a special case that used in Elliptic Curve Chabauty techniques and their higher genus versions. The set can be infinite only when has genus at most 1; we analyze completely the case when has genus 1.

生成讲解博客的中文版本

生成AI智能校验的中文版本