Some results about modules over discrete Hodge algebras (Q1057944)

For a commutative noetherian ring A, an A-algebra R is said to be a ''discrete Hodge algebra'' over A if \(R\approx A[X_ 1,...,X_ n]/I\) where I is generated by monomials. Ton Vorst extended and proved Serre's conjecture for discrete Hodge algebras over fields. In this paper, for a discrete Hodge algebra R over A with dim R\(>\dim A\), we prove the following: (Theorem 2.1) If M is an R-module with \(\mu\) (P,M)\(\geq \dim R\) for all minimal primes P of R then M has a basic element. (Theorem 3.1) Suppose P is a projective R-module with rank \(P\geq \dim R\). Then for projective R-modules P' and Q, \(P\oplus Q\approx P'\oplus Q\) implies \(P\approx P'.\) (Theorem 4.1) Suppose M is an R-module and \(e(M)=Sup\{\mu (P,M)+\dim R/P| P\in spec R\quad with\quad \dim R/P< R\}.\) Then M is generated by e(M) elements. (Theorem 3.2) Suppose P is a projective R-module with rank P\(>\dim A\) and P is stably extended from A. Then for projective R-modules P' and Q, \(P\oplus Q\approx P'\oplus Q\) implies \(P\approx P'.\) The statements of theorem 2.1, 3.1, 4.1 are actually analogous to the statements of Eisenbud-Evans conjectures, which were conjectured for polynomial rings and had already been proved by Mohan Kumar and Plumstead. And theorem 3.2 extends the stability theorem of Swan for projective modules over polynomial rings.