Este artículo ofrece una prueba autónoma de la conjetura de Abhyankar–Sathaye en dimensión tres: sobre un campo algebraicamente cerrado de característica cero, se demuestra que cada mapa polinómico sobreyectivo f: A³ₖ -> A¹ₖ cuyo fibra general es A²ₖ es un polinomio de coordenadas. El argumento desarrolla un enfoque de campo vectorial basado en compactificaciones adaptadas a la envoltura, una red de traducción de rango dos de derivaciones verticales localmente nilpotentes, y un análisis de pureza de límite en las fibras malas, culminando en un criterio de colapso afín que fuerza la trivialidad global. En este sentido, el trabajo no solo resuelve un problema de larga data en geometría algebraica afín, sino que también ofrece un marco geométrico coherente para transformar el control local del límite en una conclusión global de coordenadas.
Chao Ma (Fri,) estudió esta cuestión.