transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
Arithmetic gauge theory is a theory proposed by Kim 2018 to look at Galois representations with an action of another group (the gauge group) as being analogous to gauge fields in gauge theory. It is an approach to Diophantine problems such as the effective Mordell conjecture and is influenced by the theory of the Selmer group and Chabauty’s method.
Let $K$ be a field of characteristic zero and let $G_{K}$ be its absolute Galois group. A gauge group over $K$ is a topological group $U$ with a continuous action of $G_{K}$.
A $U$-gauge field, or $U$-principal bundle, is a topological space $P$ with compatible continuous left $G_{K}$-action and simply transitive continuous right $U$ action.
This section follows section 8 of Kim 2018.
Let $V$ be a variety over $\mathbb{Q}$ equipped with a base point $b\in V(\mathbb{Q})$. Our motivation is determining the set $V(\mathbb{Q})$ of rational points of $V$. For our gauge group $U$ we let
the $\mathbb{Q}_{p}$-pro-unipotent fundamental group of $V$. For our gauge field $P$ we let
the $U$-torsor of pro-unipotent paths from $b$ to $x$.
Let $S$ be a finite set of primes. Let $H_{f}^{1}(\mathbb{Z}_{S},U)$ be the set of $U$-torsors over $\mathbb{Q}$ which are unramified outside $S$ and crystalline at $p$ (see p-adic Hodge theory for the meaning of crystalline). Similarly let $H^{1}(\mathbb{Q}_{p},U)$ be the set of $U$-torsors over $\mathbb{Q}_{p}$. We have a localization map
where the restricted product on the right means that all but finitely many of the components are unramified, and at $p$ the corresponding component is crystalline.
Recall that we are interested in $V(\mathbb{Q})$, the set of rational points of $V$. Now we have a map $A:V(\mathbb{Q})\to H_{f}^{1}(\mathbb{Z}_{S},U)$ given by
where $P(x)=\pi_{1}(\overline{V},b,x)$ as above. This map fits into the diagram
Kim conjectures the following:
Suppose $V$ is a smooth projective curve of genus $g\geq 2$. Then
Minhyong Kim, Arithmetic Gauge Theory: A Brief Introduction, Modern Physics Letters A 33 29 (2018) 1830012 [arxiv:1712.07602, doi:10.1142/S0217732318300124]
Minhyong Kim, Recent Progress on the Effective Mordell Problem, lecture at the Sydney Mathematical Research Institute YouTube
Minhyong Kim, Foundations of nonabelian Chabauty, lectures at the Arizona Winter School 2020 Slides1, Slides2 Slides3 Slides4
Last revised on July 3, 2022 at 18:45:41. See the history of this page for a list of all contributions to it.