Grothendieck gave two forms of his "main conjecture of anabelian geometry", namely the section conjecture and the hom conjecture. He stated that these two forms are equivalent and that if they hold for hyperbolic curves, then they hold for elementary anabelian varieties too. We state a stronger form of Grothendieck's conjecture (equivalent in the case of curves) and prove that Grothendieck's statements hold for our form of the conjecture. We work with DM stacks, rather than schemes. If X is a DM stack over k subset of C, we prove that whether X satisfies the conjecture or not depends only on X-C. We prove that the section conjecture for hyperbolic orbicurves stated by Borne and Emsalem follows from the conjecture for hyperbolic curves.
