Skip to main content
added 29 characters in body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

Let $X/\mathbb{Z}_p$ be a smooth hyperbolic curve and $\pi^{un}_1(X_{\overline{\mathbb{Q}_p}},b)$$\pi^{un}_1(X_{\overline{\mathbb{Q}}_p},b)$ denotes the pro-unipotent completion  (over $\mathbb{Q}_p$) of the etale fundamental group of $X$ base changed to $\overline{\mathbb{Q}_p}$$\overline{\mathbb{Q}}_p$, based at a point $b\in X(\mathbb{Z}_p)$. 

Then we have a map from $X(\mathbb{Z}_p)$ to $H^1(Gal(\overline{\mathbb{Q}_p}/\mathbb{Q}_p),\pi^{un}_1(X_{\overline{\mathbb{Q}_p}},b))$$$X(\mathbb{Z}_p) \longrightarrow H^1(Gal(\overline{\mathbb{Q}}_p/\mathbb{Q}_p), \,\pi^{un}_1(X_{\overline{\mathbb{Q}}_p},b)),$$ defined by sending $x\in X(\mathbb{Z}_p)$ to the (cohomology class of) the path torsor $P(b,x)$.

My questions is: is this map always injective?

Question. Is this map always injective?

Let $X/\mathbb{Z}_p$ be a smooth hyperbolic curve and $\pi^{un}_1(X_{\overline{\mathbb{Q}_p}},b)$ denotes the pro-unipotent completion(over $\mathbb{Q}_p$) of the etale fundamental group of $X$ base changed to $\overline{\mathbb{Q}_p}$ based at a point $b\in X(\mathbb{Z}_p)$. Then we have a map from $X(\mathbb{Z}_p)$ to $H^1(Gal(\overline{\mathbb{Q}_p}/\mathbb{Q}_p),\pi^{un}_1(X_{\overline{\mathbb{Q}_p}},b))$ by sending $x\in X(\mathbb{Z}_p)$ to the (cohomology class of) path torsor $P(b,x)$.

My questions is: is this map always injective?

Let $X/\mathbb{Z}_p$ be a smooth hyperbolic curve and $\pi^{un}_1(X_{\overline{\mathbb{Q}}_p},b)$ denotes the pro-unipotent completion  (over $\mathbb{Q}_p$) of the etale fundamental group of $X$ base changed to $\overline{\mathbb{Q}}_p$, based at a point $b\in X(\mathbb{Z}_p)$. 

Then we have a map $$X(\mathbb{Z}_p) \longrightarrow H^1(Gal(\overline{\mathbb{Q}}_p/\mathbb{Q}_p), \,\pi^{un}_1(X_{\overline{\mathbb{Q}}_p},b)),$$ defined by sending $x\in X(\mathbb{Z}_p)$ to the (cohomology class of) the path torsor $P(b,x)$.

Question. Is this map always injective?

Source Link
Heavensfall
  • 123
  • 1
  • 1
  • 6

Is the unipotent section map of hyperbolic curve over local field injective?

Let $X/\mathbb{Z}_p$ be a smooth hyperbolic curve and $\pi^{un}_1(X_{\overline{\mathbb{Q}_p}},b)$ denotes the pro-unipotent completion(over $\mathbb{Q}_p$) of the etale fundamental group of $X$ base changed to $\overline{\mathbb{Q}_p}$ based at a point $b\in X(\mathbb{Z}_p)$. Then we have a map from $X(\mathbb{Z}_p)$ to $H^1(Gal(\overline{\mathbb{Q}_p}/\mathbb{Q}_p),\pi^{un}_1(X_{\overline{\mathbb{Q}_p}},b))$ by sending $x\in X(\mathbb{Z}_p)$ to the (cohomology class of) path torsor $P(b,x)$.

My questions is: is this map always injective?