rectification; Abhyankar-Sathaye embedding problem; variable Grothendieck problem; Tate conjecture; Schur congruences; polynomial multiplication; formal groups; formal power series expansions; uniformization problem; integrality; algebraic differentials 