Your spaceIn your particular case, $X_L$ has a smooth $k'$-rational point $x$ with $k'/k$ finite. In the neighborhood of this point, the spaceso it is isomorphic to a disc over $k'$$P^{1,\mathrm{an}}_L$, hence simply connected. On suchIf your covering $X_L \to X$ were a disccovering, it is not difficult to findwould then be a $k''$-rational point with $k''$ not linearly disjoint from $L$ over $k$ (at least if $k$ is not trivially valued and if $L \ne k$)universal covering. This impliesBut we know that there are several pointsBerkovich curves retract by deformation onto graphs, so the topological fundamental group of $X_L$ over $x$$X$ is a free group. In particular, hence the coveruniversal covering of $X$ is not trivialeither $X$ itself or of infinite degree, and we get a contradiction.
Jérôme Poineau
- 4.1k
- 1
- 23
- 35