## Return to Answer

2 typo fixed; added 38 characters in body

As long as $Z$ is projective or quasi-projective over say $k = \mathbb{C}$, this is fine. This can be generalized, but let me keep it simple for now.

The quasi-projective case reduces to the projective case by taking the closure of $Z$ in projective space. Therefore, let's do the projective case, $Z \subseteq X = \mathbb{P}^n_k$. Let $I_Z$ denote the ideal sheaf of $Z$. Consider $$I_Z \otimes O_X(n)$$ for $n \gg 0$. This sheaf is globally generated, and so has no basepoints away from $Z$. For a general section $\gamma \in \Gamma(X, I_Z \otimes O_X(n))$, the hypersurface $H = V(\gamma)$ is therefore smooth away from $Z$ (here I'm using Bertini -- characteristic zero and algebraically closed). Any of these hyperplanes passes through $Z$ by construction.

Now, let $d$ denote the codimension of $Z \subseteq X$. Choose $n$ d$general hyperplanes$H_1, \dots, H_d$coming from general global sections of$\gamma_1, \dots, \gamma_d \in \Gamma(X, I_Z \otimes O_X(n)$O_X(n))$.

The scheme theoretic intersection $W = H_1 \cap \dots \cap H_d$ satisfies what you want.

In fact, $W = Z \cup Y$ where $Y$ is some other irreducible scheme which is smooth away from from $Z$ (the fact that $Y$ is irreducible and smooth away from $W$ comes from Bertini's theorem).

Ok, how do you know that the irreducible component of $W$ corresponding to $Z$ is reduced? This is also pretty easy. This comes from the fact that $Z$ was reduced in the first place. Indeed, your general sections $\gamma_1, \dots, \gamma_d$ generate maximal ideal of the stalk at the generic point of $W$ since $I_Z \otimes O_X(n)$ was globally generated.

Of course, for arbitrary schemes, there's no hope. $Z$ need not embed in a nonsingular scheme at all.

1

As long as $Z$ is projective or quasi-projective over say $k = \mathbb{C}$, this is fine. This can be generalized, but let me keep it simple for now.

The quasi-projective case reduces to the projective case by taking the closure of $Z$ in projective space. Therefore, let's do the projective case, $Z \subseteq X = \mathbb{P}^n_k$. Let $I_Z$ denote the ideal sheaf of $Z$. Consider $$I_Z \otimes O_X(n)$$ for $n \gg 0$. This sheaf is globally generated, and so has no basepoints away from $Z$. For a general section $\gamma \in \Gamma(X, I_Z \otimes O_X(n))$, the hypersurface $H = V(\gamma)$ is therefore smooth away from $Z$ (here I'm using Bertini -- characteristic zero and algebraically closed). Any of these hyperplanes passes through $Z$ by construction.

Now, let $d$ denote the codimension of $Z \subseteq X$. Choose $n$ general hyperplanes $H_1, \dots, H_d$ coming from general global sections of $I_Z \otimes O_X(n)$.

The scheme theoretic intersection $W = H_1 \cap \dots \cap H_d$ satisfies what you want.

In fact, $W = Z \cup Y$ where $Y$ is some other irreducible scheme which is smooth away from from $Z$ (the fact that $Y$ is irreducible and smooth away from $W$ comes from Bertini's theorem).

Ok, how do you know that the irreducible component of $W$ corresponding to $Z$ is reduced? This is also pretty easy. This comes from the fact that $Z$ was reduced in the first place. Indeed, your general sections $\gamma_1, \dots, \gamma_d$ generate maximal ideal of the stalk at the generic point of $W$ since $I_Z \otimes O_X(n)$ was globally generated.

Of course, for arbitrary schemes, there's no hope. $Z$ need not embed in a nonsingular scheme at all.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 61, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9460724592208862, "perplexity_flag": "head"}