AH conjecture. There exists an exact sequence
HK conjecture. The even and odd homology groups of G\mathcal{G}G satisfy
