Topological modular forms and the absence of a heterotic global anomaly. - Tachikawa, Yuji (Progress of Theoretical & Experimental Physics: PTEP, 2022)