The affine-space parametrization conjecture for complements of codimension-two subvarieties

At least 2 years old · documented by

Let Z⊂AnZ\subset \mathbb{A}^n be an algebraic subvariety of codimension at least 22. Suppose W1,…,WN⊂AnW_1,\ldots,W_N\subset \mathbb{A}^n are hypersurfaces containing ZZ with

⋂iWi=Z,\bigcap_i W_i=Z,

and let Gi⊂Aut⁡(An,Wi)G_i\subset \operatorname{Aut}(\mathbb{A}^n,W_i) be Ga\mathbb{G}_a-subgroups. Choose a point p∈An∖Zp\in \mathbb{A}^n\setminus Z and a subvariety H⊂ANH\subset \mathbb{A}^N isomorphic to An\mathbb{A}^n. Define

ψ=(GN⋅…⋅G1).p ⁣:AN⟶An∖Z.\psi=(G_N\cdot\ldots\cdot G_1).p\colon \mathbb{A}^N\longrightarrow \mathbb{A}^n\setminus Z.

Conjectural approach. There exist such NN, hypersurfaces WiW_i, Ga\mathbb{G}_a-subgroups GiG_i, a point pp, and a subvariety HH for which the restricted map ψ∣H\psi|_H is surjective. This would provide a surjective morphism from an affine space isomorphic to An\mathbb{A}^n onto An∖Z\mathbb{A}^n\setminus Z.

References

Primary source

Viktor Balch Barth and Tuyen Trung Truong, “Images of dominant endomorphisms of affine space”, arXiv:2311.08238 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.