The Statement of Mochizuki's Corollary 3.12: Initial Theta Data
Abstract
We show that Mochizuki's initial theta data is computable from an elliptic curve defined over Q. We work out the case of initial theta data for the elliptic curve with Cremona label 11a1 in detail.
