Appendix to "Congruences for rational points on varieties over finite fields" by N. Fakhruddin and C. S. Rajan

Essential dimension of moduli of curves and other algebraic stacks

In this paper we address questions of the following type. Let k be a base field and K/k be a field extension. Given a geometric object X over a field K (e.g. a smooth curve of genus g) what is the least transcendence degree of a field of definition of $X$ over the base field k? In other words, how many independent parameters are needed to define X? To study these questions we introduce a notion of essential dimension for an algebraic stack. In particular, we give a complete answer to the question above when the geometric objects X are smooth or stable curves, and, in the appendix by N. Fakhrud…