Homework $\def\Z{\mathbb Z} \def\Q{\mathbb Q} \def\Torelli{\mathcal I}$