Arithmetic fundamental groups and moduli of curves

This is a short note on the algebraic (or sometimes called arithmetic) fundamental groups of an algebraic variety, which connects classical fundamental groups with Galois groups of fields. A large part of this note describes the algebraic fundamental groups in a concrete manner. This note gives only a sketch of the fundamental groups of the algebraic stack of moduli of curves. Some application to a purely topological statement, i.e., an obstruction to the subjectivity of Johnson homomorphisms in the mapping class groups, which comes from Galois group of Q, is explained. (author)