The rationality of the moduli space of curves of genus 3 after P. Katsylo

This article is a survey of P. Katsylo’s proof that the moduli space of smooth projective complex curves of genus 3 is rational. We hope to make the argument more comprehensible and transparent by emphasizing the underlying geometry in the proof and its key structural features.