Skip to main content
Answer rewritten since I had missed the point before.
Source Link
Jérôme Poineau
  • 4.1k
  • 1
  • 23
  • 35

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.

Your space has a smooth $k'$-rational point $x$ with $k'/k$ finite. In the neighborhood of this point, the space is isomorphic to a disc over $k'$. On such a disc, it is not difficult to find 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$). This implies that there are several points of $X_L$ over $x$, hence the cover is not trivial.

In your particular case, $X_L$ has a point, so it is isomorphic to $P^{1,\mathrm{an}}_L$, hence simply connected. If your covering $X_L \to X$ were a covering, it would then be a universal covering. But we know that Berkovich curves retract by deformation onto graphs, so the topological fundamental group of $X$ is a free group. In particular, the universal covering of $X$ is either $X$ itself or of infinite degree, and we get a contradiction.

Source Link
Jérôme Poineau
  • 4.1k
  • 1
  • 23
  • 35

Your space has a smooth $k'$-rational point $x$ with $k'/k$ finite. In the neighborhood of this point, the space is isomorphic to a disc over $k'$. On such a disc, it is not difficult to find 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$). This implies that there are several points of $X_L$ over $x$, hence the cover is not trivial.