# Local Obstructions at a *p*-adic Place

Chapter

First Online:

## Abstract

Let where

*X*be a geometrically connected variety over a number field*k*, and let*k*_{ v }denote the completion of*k*in a place*v*. Base change \(s\mapsto (s \otimes {k}_{v})\) as in Sect. 3.2 induces a localisation map$${\mathcal{S}}_{{\pi }_{{}_{ 1}}(X/k)} \rightarrow {\prod \limits }_{v}{\mathcal{S}}_{{\pi }_{{}_{ 1}}(X{\times }_{k}{k}_{v}/{k}_{v})}$$

*v*ranges over all places of*k*. We will address the section conjecture from this local to global point of view. More of the purely local problem will be addressed in Chap. 16, and the classical obstructions against the passage from local to global form the topic of Chap. 11.If the local curve \({X}_{v} = X {\times }_{k}{k}_{v}\) does not admit a section of \({\pi }_{{}_{1}}({X}_{v}/{k}_{v})\), then we say that there is a*local obstruction against sections*for \({\pi }_{{}_{1}}(X/k)\) at the place*v*. Any consequence of the existence of the section for a curve over a local field can be turned around to produce an example of a curve over a number field that satisfies the section conjecture: the example has neither a section nor a rational point, because sections are obstructed locally due to the arithmetic consequence not being true. Examples of this kind by considering period and index of*p*-adic curves with a section were first constructed in Stix (Am. J. Math. 132(1):157–180, 2010) §7 and are recalled below in Theorem 114.If a*p*-adic curve with a section fails to have index 1, then we can construct a \({\mathbb{Q}}_{p}\)-linear form on \(Lie ({{\mathrm{Pic}}}_{X}^{0})\) for which no natural explanation exists and which we therefore consider bizarre (in the hope that this case does not exist in compliance with the local section conjecture).## Keywords

Abelian Variety Number Field Finite Extension Scalar Extension Local Obstruction
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## References

- EsWi09.Esnault, H., Wittenberg, O.: Remarks on the pronilpotent completion of the fundamental group. Mosc. Math. J.
**9**, 451–467 (2009)MathSciNetMATHGoogle Scholar - Ja88.Jannsen, U.: Continuous étale cohomology. Math. Annalen
**280**, 207–245 (1988)MathSciNetMATHCrossRefGoogle Scholar - Li69.Lichtenbaum, S.: Duality theorems for curves over
*p*-adic fields. Invent. Math.**7**, 120–136 (1969)MathSciNetMATHCrossRefGoogle Scholar - PoSt99.Poonen, B., Stoll, M.: The Cassels-Tate pairing on polarized abelian varieties. Ann. Math. (2)
**150**, 1109–1149 (1999)Google Scholar - Sx10b.Stix, J.: On the period-index problem in light of the section conjecture. Am. J. Math.
**132**, 157–180 (2010)MathSciNetMATHCrossRefGoogle Scholar - Wi08.Wittenberg, O.: On the Albanese torsors and the elementary obstruction. Math. Annalen
**340**, 805–838 (2008)MathSciNetMATHCrossRefGoogle Scholar

## Copyright information

© Springer-Verlag Berlin Heidelberg 2013