Polynomial ring in one variable/Integral closure and submersion/Example

From Wikiversity
Jump to navigation Jump to search

Let be a field and consider . Since this is a principal ideal domain, the only interesting forcing algebras (if we are only interested in the local behavior around ) are of the form . For this -algebra admits a section (corresponding to the fact that ), and if there exists an affine line over the maximal ideal . So now assume . If then we have a hyperbola mapping to an affine line, with the fiber over being empty, corresponding to the fact that does not belong to the radical of for . So assume finally . Then belongs to the radical of , but not to its integral closure (which is the identical closure on a one-dimensional regular ring). We can write the forcing equation as . So the spectrum of the forcing algebra consists of a (thickened) line over and of a hyperbola. The forcing morphism is surjective, but it is not a submersion. For example, the preimage of is a connected component hence open, but this single point is not open.