Fundamental groups and Diophantine geometry

DOI10.2478/S11533-010-0047-YMaRDI QIDQ607443zbMATH OpenOpenAlexFDO

Authors Minhyong Kim

Publication date 22 November 2010

Published in Central European Journal of Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://arxiv.org/abs/0804.1008

zbMATH Keywords

Diophantine geometryfundamental group

Mathematics Subject Classification ID

Varieties over global fields (11G35) Étale and other Grothendieck topologies and (co)homologies (14F20) Global ground fields in algebraic geometry (14G25)

Abstract: We give a brief exposition on the uses of non-commutative fundamental groups for the study of Diophantine problems via a non-abelian Albanese map.

Review text

In this survey article, the author describes the uses of the étale fundamental group and its variations in the study of Diophantine problems. Let \(X\) be a variety defined over \(\mathbb Q\) and let \(\pi_1^{et}(\overline{X},b)\) be the etale fundamental group of \(X\), where \(\overline{X}=X\times_{\mathrm{Spec}(\mathbb Q)}\mathrm{Spec}(\mathbb{\overline{Q}})\) and \(b\in X(\mathbb{Q})\). He explains how one can define a map \(X(\mathbb{Q})\rightarrow H^1(\Gamma,\pi_1^{et}(\overline{X},b))\), and a similar map to \(H^1(\Gamma,\pi_1^{u,\mathbb{Q}_p}(\overline{X},b))\) associated with the \(\mathbb{Q}_p\)-pro-unipotent completion of the étale fundamental group. Thereafter he states his recent result in [Publ. Res. Inst. Math. Sci. 45, No. 1, 89--133 (2009; Zbl 1165.14020)] which gives a sufficient condition for the finiteness of \(X(\mathbb{Z}_S)\), where \(\mathbb{Z}_S\) is the ring of \(S\)-integers, in terms of the size of a subspace of the unipotent fundamental group.

Recommendations

• Galois theory and Diophantine geometry
• The motivic fundamental group of \(\mathbf P^1\setminus\{0,1,\infty\}\) and the theorem of Siegel
• On a Motivic Method in Diophantine Geometry
• Some fundamental groups in arithmetic geometry
• Arithmetic representations of fundamental groups. I.

Cites work

• \(p\)-adic \(L\)-functions and Selmer varieties associated to elliptic curves with complex multiplication
• \(p\)-adic multiple zeta values. I: \(p\)-adic multiple polylogarithms and the \(p\)-adic KZ equation
• scientific article; zbMATH DE number 15170 (Why is no real title available?)
• Selmer varieties for curves with CM Jacobians
• The \(\ell\)-component of the unipotent Albanese map
• The motivic fundamental group of \(\mathbf P^1\setminus\{0,1,\infty\}\) and the theorem of Siegel
• The unipotent Albanese map and Selmer varieties for curves

Cited in

(9)

• Diophantine geometry over groups. VIII: Stability.
• The motivic fundamental group of \(\mathbf P^1\setminus\{0,1,\infty\}\) and the theorem of Siegel
• Galois theory and Diophantine geometry
• scientific article; zbMATH DE number 1789956 (Why is no real title available?)
• The polylog quotient and the Goncharov quotient in computational Chabauty-Kim theory. I.
• Some fundamental groups in arithmetic geometry
• Hyperbolicity of varieties of log general type
• Motivic fundamental groups and integral points
• Integral points on varieties with infinite étale fundamental group

This page was built for publication: Fundamental groups and Diophantine geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q607443)