Hostname: page-component-586b7cd67f-gb8f7 Total loading time: 0 Render date: 2024-11-25T07:05:10.036Z Has data issue: false hasContentIssue false

A STRENGTHENING OF RESOLUTION OF SINGULARITIES IN CHARACTERISTIC ZERO

Published online by Cambridge University Press:  06 March 2003

A. BRAVO
Affiliation:
Current address: Department of Mathematics, University of Michigan, Ann Arbor, MI 48109-1109, USA. [email protected]
O. VILLAMAYOR U.
Affiliation:
Departamento de Matemáticas, Facultad de Ciencias, Universidad Autónoma de Madrid, Canto Blanco, 28049 Madrid, Spain. [email protected].
Get access

Abstract

Let $X$ be a closed subscheme embedded in a scheme $W$, smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I} (X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We prove that there exists a proper, birational morphism, $\pi : W_r \longrightarrow W$, obtained as a composition of monoidal transformations, so that if $X_r \subset W_r$ denotes the strict transform of $X \subset W$ then:

(1) the morphism $\pi : W_r \longrightarrow W$ is an embedded desingularization of $X$ (as in Hironaka's Theorem);

(2) the total transform of ${\mathcal I} (X)$ in ${\mathcal O}_{W_r}$ factors as a product of an invertible sheaf of ideals ${\mathcal L}$ supported on the exceptional locus, and the sheaf of ideals defining the strict transform of $X$ (that is, ${\mathcal I}(X){\mathcal O}_{W_r} = {\mathcal L} \cdot {\mathcal I}(X_r)$).

Thus (2) asserts that we can obtain, in a simple manner, the equations defining the desingularization of $X$.

2000 Mathematical Subject Classification: 14E15.

Type
Research Article
Copyright
2003 London Mathematical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)