openproblem.space·the wiki Sign in to edit
Difference between revisions

stabilization-question

Revision 279 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Written for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (content/wiki/Statement__stabilization-question.md).”
Revision 279 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Written for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (content/wiki/Statement__stabilization-question.md).”

Source +0 −0

Revision 279 as rendered

Padding makes every three-dimensional counterexample a four-dimensional one. The question is whether dimension four and up has anything new.

Two candidates are open.

  • Harish's map of ℂ⁴ has fiber degree 8, which rules out a padded Alpöge map, of degree 3. It does not rule out a padded three-dimensional map of fiber degree 8, and Gallagher's F8F_8 is one.
  • Gao's F4F_4 has degree 5. It is proved inequivalent to Φ×id\Phi\times\mathrm{id} only for Φ\Phi of a different degree, and he leaves the degree-5 case open.[1]

Geometric degree is invariant under the equivalence, so it cannot settle the question alone. A proof would need a finer invariant, such as the non-properness set or the grading, compared across source and target. This question is left open by Gao's tangent-sweep paper for its own four-dimensional maps.

  1. ↑ S. Gao, Counterexamples to the Jacobian conjecture in dimensions greater than two, arXiv:2608.00222, Theorem 4.3 and the remark after it.