2023/05/05 by Jones, Adam · 1 citation
#13A18 #13C11 #13F25 #13F30 #16E10 #16P70 #Commutative Algebra (math.AC) #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.2305.03483
We examine the power series ring R[[X]] over a valuation ring R of rank 1, with proper, dense value group. We give a counterexample to Hilbert's syzygy theorem for R[[X]], i.e. an R[[X]]-module C that is flat over R and has flat dimension at least 2 over R[[X]], contradicting a previously published result. The key ingredient in our construction is an exploration of the valuation theory of R[[X]]. We also use this theory to give a new proof that R[[X]] is not a coherent ring, a fact which is essential in our construction of the module C.