rectification; Abhyankar-Sathaye embedding problem; variable Bogomolov conjecture over function fields; discrete embedding of curve; Néron-Tate height pairing; admissible pairing; Green function; semistable arithmetic surface 