Oriented right-angled Artin pro-$\ell$ groups and maximal pro-$\ell$ Galois groups

Abstract

For a prime number $\ell$ we introduce and study oriented right-angled Artin pro-$\ell$ groups $G_{Γ,λ}$(oriented pro-$\ell$ RAAGs for short) associated to a finite oriented graph $Γ$ and a continuous group homomorphism $λ\colon\mathbb Z_\ell\to\mathbb Z_\ell^\times$. We show that an oriented pro-$\ell$ RAAG $G_{Γ,λ}$ is a Bloch-Kato pro-$\ell$ group if, and only if, $(G_{Γ,λ},θ_{Γ,λ})$ is an oriented pro-$\ell$ group of elementary type generalizing a recent result of I. Snopche and P. Zalesskii. Here $θ_{Γ,λ}\colon G_{Γ,λ}\to\mathbb Z_p^\times$ denotes the canonical $\ell$-orientation on $G_{Γ,λ}$. We invest some effort in order to show that oriented right-angled Artin pro-$\ell$ groups share many properties with right-angled Artin pro-$\ell$-groups or even discrete RAAG's, e.g., if $Γ$ is a specially oriented chordal graph, then $G_{Γ,λ}$ is coherent, generalizing a result of C. Droms. Moreover, in this case $(G_{Γ,λ},θ_{Γ,λ})$ has the Positselski-Bogomolov property generalizing a result of H. Servatius, C. Droms and B. Servatius for discrete RAAG's. If $Γ$ is a specially oriented chordal graph and ${\rm Im}(λ)\subseteq 1+4\mathbb Z_2$ in case that $\ell=2$, then ${\rm H}^\bullet(G_{Γ,λ},\mathbb F_\ell) \simeq Λ^\bullet(\ddotΓ^{\rm op})$ generalizing a well known result of M. Salvetti.