{"id":"arxiv/2610.13469","url":"https://arxiv.org/abs/2610.13469","tags":["math.AG","math.AC","math.KT"],"score":0,"title":"Quillen's local parameter conjecture in dimension four","domain":"math.AG","source":"arxiv","authors":["Yunpeng Li"],"reviews":0,"subject":"math.AG","summary":"Let $R$ be a Noetherian regular local ring of mixed characteristic and dimension four, and let $r$ be a member of a regular system of parameters. We prove that every finitely generated projective module over $R[1/r]$ is free. We also prove that $\\mathrm{Sp}_4(R[1/r])$ acts transitively on unimodular columns of length four and that every determinant orientation of a rank-two projective module is induced by a basis. The argument reduces freeness to two vanishing results: the degree-three Zariski cohomology of the naive degree-four Milnor--Witt sheaf and the alternating Witt group of $R[1/r]$.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-09","reactions":{}}