光滑射影簇上有理点的存在性

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要翻译：
修正一个数字域k。我们证明了如果存在一个判定光滑射影几何积分k-簇是否有k-点的算法，那么就存在一个判定任意k-簇是否有k-点的算法，并且对于X(k)是有限的任何k-簇X也存在一个计算X(k)的算法。证明包括构造一个单参数代数Chatelet曲面族，使得其中一个曲面不具有k点。
---
英文标题：
《Existence of rational points on smooth projective varieties》
---
作者：
Bjorn Poonen
---
最新提交年份：
2007
---
分类信息：

一级分类：Mathematics        数学
二级分类：Number Theory        数论
分类描述：Prime numbers, diophantine equations, analytic number theory, algebraic number theory, arithmetic geometry, Galois theory
素数，丢番图方程，解析数论，代数数论，算术几何，伽罗瓦理论
--
一级分类：Mathematics        数学
二级分类：Algebraic Geometry        代数几何
分类描述：Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology
代数簇，叠，束，格式，模空间，复几何，量子上同调
--

---
英文摘要：
  Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and also an algorithm for computing X(k) for any k-variety X for which X(k) is finite. The proof involves the construction of a one-parameter algebraic family of Chatelet surfaces such that exactly one of the surfaces fails to have a k-point.
---
PDF链接：
https://arxiv.org/pdf/0712.1782

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：存在性 Construction mathematics Projective Mathematic 计算 projective points 曲面 deciding