rectification; Abhyankar-Sathaye embedding problem; variable \(p\)-adic Barsotti-Tate groups; ring of Witt vectors; embedding; Witt bialgebra; Kodaira-Spencer mapping; Gauss-Manin connection; lifting 