Return to Answer

It is a result of Tamagawa that for two affine curves $C_1, C_2$ over finite fields $k_1,k_2$ any continuous $\pi_1(C_1)\rightarrow \pi_1(C_2)$ isomorphism arises from an isomorphism of schemes $C_1\rightarrow C_2$. Hence, if $\pi_1( \mathbb{P}^1\setminus\{a_1,\ldots, a_r\})$ were independent of the choice of the $a_i$, then the isomorphism class of the schemes $\mathbb{P}^1\setminus\{a_1,\ldots, a_r\}$ would be independent of the choice of $a_1,\ldots,a_r$.

Tamagawa's result is Theorem 0.6 in this paper:

The Grothendieck conjecture for affine curves, A Tamagawa - Compositio Mathematica, 1997 http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=298922

In the case of an algebraically closed field, the answer is also that the fundamental group depends on the choice of the points that are being removed. Again by a theorem by Tamagawa: If $k$ is the algebraic closure of $\mathbb{F}_p$, and $G$ a profinite group not isomorphic to $(\hat{\mathbb{Z}}^{(p')})^2\times \mathbb{Z}_p$, then there are only finitely many $k$-isomorphism classes of smooth curves $C$ with fundamental group $G$ (the restriction on $G$ excludes ordinary elliptic curves).

This can be found in

Finiteness of isomorphism classes of curves in positive characteristic with prescribed fundamental groups, A Tamagawa - Journal of Algebraic Geometry, 2004

It is a result of Tamagawa that for two affine curves $C_1, C_2$ over finite fields $k_1,k_2$ any continuous isomorphism $\pi_1(C_1)\rightarrow \pi_1(C_2)$ arises from an isomorphism of schemes $C_1\rightarrow C_2$. Hence, if $\pi_1( \mathbb{P}^1\setminus\{a_1,\ldots, a_r\})$ were independent of the choice of the $a_i$, then the isomorphism class of the schemes $\mathbb{P}^1\setminus\{a_1,\ldots, a_r\}$ would be independent of the choice of $a_1,\ldots,a_r$.

Tamagawa's result is Theorem 0.6 in this paper:

The Grothendieck conjecture for affine curves, A Tamagawa - Compositio Mathematica, 1997 http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=298922

In the case of an algebraically closed field, the answer is also that the fundamental group depends on the choice of the points that are being removed. Again by a theorem by Tamagawa: If $k$ is the algebraic closure of $\mathbb{F}_p$, and $G$ a profinite group not isomorphic to $(\hat{\mathbb{Z}}^{(p')})^2\times \mathbb{Z}_p$, then there are only finitely many $k$-isomorphism classes of smooth curves $C$ with fundamental group $G$ (the restriction on $G$ excludes ordinary elliptic curves).

This can be found in

Finiteness of isomorphism classes of curves in positive characteristic with prescribed fundamental groups, A Tamagawa - Journal of Algebraic Geometry, 2004

It is a result of Tamagawa that for two affine curves $C_1, C_2$ over finite fields $k_1,k_2$ any continuous $\pi_1(C_1)\rightarrow \pi_1(C_2)$ arises from an isomorphism of schemes $C_1\rightarrow C_2$. Hence, if $\pi_1( \mathbb{P}^1\setminus\{a_1,\ldots, a_r\})$ were independent of the choice of the $a_i$, then the isomorphism class of the schemes $\mathbb{P}^1\setminus\{a_1,\ldots, a_r\}$ would be independent of the choice of $a_1,\ldots,a_r$.

Tamagawas is Theorem 0.6 in this paper:

The Grothendieck conjecture for affine curves, A Tamagawa - Compositio Mathematica, 1997 http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=298922

In the case of an algebraically closed field, the answer is also that the fundamental group depends on the choice of the points that are being removed. Again by a theorem by Tamagawa: If $k$ is the algebraic closure of $\mathbb{F}_p$, and $G$ a profinite group not isomorphic to $(\hat{\mathbb{Z}}^{(p')})^2\times \mathbb{Z}_p$, then there are only finitely many $k$-isomorphism classes of smooth curves $C$ with fundamental group $G$ (the restriction on $G$ excludes ordinary elliptic curves).

This can be found in

Finiteness of isomorphism classes of curves in positive characteristic with prescribed fundamental groups, A Tamagawa - Journal of Algebraic Geometry, 2004

It is a result of Tamagawa that for two affine curves $C_1, C_2$ over finite fields $k_1,k_2$ any continuous $\pi_1(C_1)\rightarrow \pi_1(C_2)$ isomorphism arises from an isomorphism of schemes $C_1\rightarrow C_2$. Hence, if $\pi_1( \mathbb{P}^1\setminus\{a_1,\ldots, a_r\})$ were independent of the choice of the $a_i$, then the isomorphism class of the schemes $\mathbb{P}^1\setminus\{a_1,\ldots, a_r\}$ would be independent of the choice of $a_1,\ldots,a_r$.

Tamagawa's result is Theorem 0.6 in this paper:

The Grothendieck conjecture for affine curves, A Tamagawa - Compositio Mathematica, 1997 http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=298922

In the case of an algebraically closed field, the answer is also that the fundamental group depends on the choice of the points that are being removed. Again by a theorem by Tamagawa: If $k$ is the algebraic closure of $\mathbb{F}_p$, and $G$ a profinite group not isomorphic to $(\hat{\mathbb{Z}}^{(p')})^2\times \mathbb{Z}_p$, then there are only finitely many $k$-isomorphism classes of smooth curves $C$ with fundamental group $G$ (the restriction on $G$ excludes ordinary elliptic curves).

This can be found in

Finiteness of isomorphism classes of curves in positive characteristic with prescribed fundamental groups, A Tamagawa - Journal of Algebraic Geometry, 2004

It is a result of Tamagawa that for two affine curves $C_1, C_2$ over finite fields $k_1,k_2$ any continuous $\pi_1(C_1)\rightarrow \pi_1(C_2)$ arises from an isomorphism of schemes $C_1\rightarrow C_2$. Hence, if $\pi_1( \mathbb{P}^1\setminus\{a_1,\ldots, a_r\})$ were independent of the choice of the $a_i$, then the isomorphism class of the schemes $\mathbb{P}^1\setminus\{a_1,\ldots, a_r\}$ would be independent of the choice of $a_1,\ldots,a_r$.

Tamagawas is Theorem 0.6 in this paper:

The Grothendieck conjecture for affine curves, A Tamagawa - Compositio Mathematica, 1997 http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=298922

It is a result of Tamagawa that for two affine curves $C_1, C_2$ over finite fields $k_1,k_2$ any continuous $\pi_1(C_1)\rightarrow \pi_1(C_2)$ arises from an isomorphism of schemes $C_1\rightarrow C_2$. Hence, if $\pi_1( \mathbb{P}^1\setminus\{a_1,\ldots, a_r\})$ were independent of the choice of the $a_i$, then the isomorphism class of the schemes $\mathbb{P}^1\setminus\{a_1,\ldots, a_r\}$ would be independent of the choice of $a_1,\ldots,a_r$.

Tamagawas is Theorem 0.6 in this paper:

The Grothendieck conjecture for affine curves, A Tamagawa - Compositio Mathematica, 1997 http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=298922

In the case of an algebraically closed field, the answer is also that the fundamental group depends on the choice of the points that are being removed. Again by a theorem by Tamagawa: If $k$ is the algebraic closure of $\mathbb{F}_p$, and $G$ a profinite group not isomorphic to $(\hat{\mathbb{Z}}^{(p')})^2\times \mathbb{Z}_p$, then there are only finitely many $k$-isomorphism classes of smooth curves $C$ with fundamental group $G$ (the restriction on $G$ excludes ordinary elliptic curves).

This can be found in

Finiteness of isomorphism classes of curves in positive characteristic with prescribed fundamental groups, A Tamagawa - Journal of Algebraic Geometry, 2004