Existence of birational small Cohen-Macaulay modules over biquadratic extensions in mixed characteristic

Abstract: Let

S

be an unramified regular local ring of mixed characteristic two and

R

the integral closure of

S

in a biquadratic extension of its quotient field obtained by adjoining roots of sufficiently general square free elements

f, g i n S

. Let

S^{2}

denote the subring of

S

obtained by lifting to

S

the image of the Frobenius map on

S / 2 S

. When at least one of

f, g i n S^{2}

, we characterize the Cohen-Macaulayness of

R

and show that

R

admits a birational small Cohen-Macaulay module. It is noted that

R

is not automatically Cohen-Macaulay in case

f, g i n S^{2}

or if

f, g o t i n S^{2}

.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Existence of birational small Cohen-Macaulay modules over biquadratic extensions in mixed characteristic