abhyankar-points-at-infinity
Status and infobox
- status:
—→ proved - tier:
—→ V3 - kind:
—→ theorem - year:
—→ 1977 - statement:
—→ Let $\operatorname{char}k=0$. If $J(f,g)\in k^{\times}$, then over $\bar k$ the top-degree form of $f$ (and of $g$) is a product of powers of at most two pairwise coprime linear forms. - short:
—→ Each component of a Jacobian pair has at most two points at infinity
Relations
- + related to jc-plane: So the plane conjecture is equivalent to the claim that no Jacobian pair has a component with exactly two points at infinity.
Source +17 −0
Revision 238 as rendered
A polynomial has points at infinity when its top-degree form factors, over the algebraic closure, into powers of distinct linear forms. Abhyankar proved that each component of a Jacobian pair has at most two (Cor. 18.15 of his Tata lectures). The same bound holds for any grading with positive weights. He also proved that the components of an automorphism have one point at infinity, and that a pair with one point at infinity and degree above 2 can be lowered in degree by an automorphism (Thm 19.2).[1]
Together these reduce the plane conjecture to one configuration. If JC₂ fails, a counterexample of least degree has both components with exactly two points at infinity. The same lectures prove JC₂ equivalent to three statements about all Jacobian pairs (Thm 19.4): every component has one point at infinity; its Newton polygon is a triangle; or one component degree divides the other. So the plane conjecture is equivalent to the claim that no Jacobian pair has a component with exactly two points at infinity.
This is the setting of the Newton-polygon attack, including the gcd bounds. McKay and Wang reproved and refined the two-point statement through Newton-polygon edges (Proc. AMS 1991).
- ↑ S. S. Abhyankar, Lectures on Expansion Techniques in Algebraic Geometry, notes by Balwant Singh, Tata Institute Lectures 57 (1977), searched through the archive.org OCR index.