In this paper, we describe minimal presentations of maximal pro-2 quotients of absolute Galois groups of formally real Pythagorean fields of finite type. For this purpose, we introduce a new class of pro-2 groups: Δ-Right Angled Artin groups. We show that maximal pro-2 quotients of absolute Galois groups of formally real Pythagorean fields of finite type are Δ-Right Angled Artin groups. Conversely, let us assume that a maximal pro-2 quotient of an absolute Galois group is a Δ-Right Angled Artin group. We then show that the underlying field must be Pythagorean, formally real and of finite type. As an application, we provide an example of a pro-2 group which is not a maximal pro-2 quotient of an absolute Galois group, although it has Koszul cohomology and satisfies both the Kernel Unipotent and the strong Massey Vanishing properties. We combine tools from group theory, filtrations and associated Lie algebras, profinite version of the Kurosh Theorem on subgroups of free products of groups, as well as several new techniques developed in this work.
Hamza et al. (Mon,) studied this question.