Packets in Grothendieck's section conjecture (Q2483173)

Let \(X\) be an absolutely connected scheme over a field \(k\) of characteristic 0. In this paper, Grothendieck's section conjecture in anabelian geometry is reformulated in terms of the Tannaka category \(FC(X)\) of finite connections that generalize Nori's finite bundles on proper schemes to the case of open smooth schemes. In this formulation, the conjugation classes of sections of \(\pi_1(X,\bar x)\to \Gamma_k\) correspond bijectively to the equivalence classes of neutral fiber functors of \(FC(X)\). In the 1-dimensional case, the section conjecture means that those neutral fiber functors are only those coming from \(k\)-rational points on \(X\) or those from ``packets'' arising from \(k\)-rational tangential points at cusps, i.e., points at infinity. For \(V\subset U\) non-empty smooth curves, the authors conjecture that each fiber functor of \(FC(U)\) extends to one on \(FC(V)\), and under this conjecture, they show that the section conjecture for hyperbolic curves over number fields can be reduced to the special case \(X=\mathbb{P}^1-\{0,1,\infty\}\).