${\rm pro-}l$ Johnson準同型 $\tau_m: \mbox{Gal}_k^{\rm Joh}(m) \to \mbox{Hom}_{Z_l}(H_{Z_l},\mbox{gr}^r_{m+1}(F_r^{{\rm pro-}l}))$

\[1 \longrightarrow {\mathop{\pi_1(\overline{X})}_{_{_{_{_{\textstyle 幾何的基本群}}}}}} \longrightarrow {\mathop{\pi_1(X)}_{_{_{_{_{\textstyle 数論的基本群}}}}}} \longrightarrow {\mathop{G_K}_{_{_{_{_{_{\textstyle {\rm 絶対Galois群}}}}}}}} \longrightarrow 1\]

Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.