IUTを細かいところまでキチンと全部解説しろとまでは言わないが
類体論、スキームの基本群、ディオファントス幾何くらいの講義は前提知識の為の講義として別に用意すべきではないかと思う