The Dolgachev-Weisfeiler affine-fibration conjecture

Lineage and corrections

Lean Comparator challenge ComplexCancellation (covers the key input only) evidence for this event

Weisfeiler-Dolgachev 1974, Math. USSR-Izv. 8 evidence for this event

Corollary 7.1: for the fourfold $X=\mathrm{Spec}\,A$ of the cancellation counterexample, the maps $\pi:X\to\mathbb A^1$ (given by $p$) and $\rho=(p,H):\mathbb A^5\to\mathbb A^2$ are smooth surjective morphisms of relative dimension three whose fiber over every point is $\mathbb A^3$ over the residue field, yet neither is Zariski-locally trivial. Local triviality would make $A$ a locally polynomial algebra over $\mathbb C[p]$ and hence, by Bass-Connell-Wright and Quillen-Suslin, a polynomial ring, contradicting Theorem 1.1. So the conjecture fails in relative dimension three over the smooth bases $\mathbb A^1$ and $\mathbb A^2$. Relative dimension two is not addressed. parent of this event

This event attributed to Unreleased internal OpenAI model

The Dolgachev-Weisfeiler affine-fibration conjecture evidence for this event

VibeMathed record: The Dolgachev-Weisfeiler affine-fibration conjecture evidence for this event

The Dolgachev-Weisfeiler affine-fibration conjecture parent of this event