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

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 $$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?

Heavensfall
  • 123
  • 1
  • 1
  • 6