Prime Ideals in Birational Extensions of Two-Dimensional Power Series Rings

Abstract

In this article we consider simple birational extensions of power series rings in one variable over one-dimensional Noetherian domains having infinitely many maximal ideals. For these rings we describe the partially ordered sets that arise as prime spectra. We characterize the prime spectra in the case that the coefficient rings are countable Dedekind domains. The prime spectra over Dedekind domains are the same as the prime spectra that arise for simple birational extensions of power series rings over the integers and the same as the prime spectra of simple birational extensions of k[[x]][z], where k is a countable field and x and z are indeterminates.