Toric pullback irreducibility conjecture for finite maps

At least 8 years old · documented by

Let WW be an irreducible quasiprojective variety and let φ ⁣:W→Gmn\varphi\colon W\to\mathbb{G}_{\rm m}^n be a map finite onto its image. Let φ(W)‾\overline{\varphi(W)} denote the closure of its image.

Toric pullback irreducibility conjecture. There is a finite union E\mathcal{E} of proper subtori of Gmn\mathbb{G}_{\rm m}^n and a finite set Λ\Lambda of isogenies of Gmn\mathbb{G}_{\rm m}^n such that, for every subtorus T⊂GmnT\subset\mathbb{G}_{\rm m}^n satisfying

dim⁡(T)≥codim⁡(φ(W)‾)+1\dim(T)\geq\operatorname{codim}(\overline{\varphi(W)})+1

and every point p∈Gmn(C)p\in\mathbb{G}_{\rm m}^n(\mathbb{C}), one of the following holds: T⊆ET\subseteq\mathcal{E}; there is λ∈Λ\lambda\in\Lambda such that λ∗W\lambda^*W is reducible and a subtorus T′⊂GmnT'\subset\mathbb{G}_{\rm m}^n on which λ\lambda induces an isomorphism T′→TT'\to T; or φ−1(p⋅T)\varphi^{-1}(p\cdot T) is irreducible.

This conjecturally extends the preceding toric Bertini statement by allowing reducibility to be detected after finitely many isogeny pullbacks. Its status is not resolved in the supplied text.

References

Primary source

Francesco Amoroso and Martín Sombra, “Factorization of bivariate sparse polynomials”, arXiv:1710.11479 (2018).

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.