Return to Question

Let $X,Y$ be two closed subschemes of $\mathbb{A}^n_{\mathbb{C}}$ for some fixed $n$. Assume that I have an isomorphism of the underlying reduced spaces: $$f : X_{red} \stackrel{\sim}\longrightarrow Y_{red}$$ which induces an isomorphism of $\mathcal{O}_{X_{red}}$-module:

$$ f^{*} \left(\Omega_{Y/\mathbb{C}} \otimes \mathcal{O}_{Y_{red}} \right) \stackrel{\sim}\longrightarrow \Omega_{X/\mathbb{C}} \otimes \mathcal{O}_{X_{red}}.$$

Can I lift $f$ to an actual isomorphism $X \stackrel{\sim}\longrightarrow Y$? Note that in the situation I am interested $Y$ is very singular. If $Y$ were smooth, I guess the theory of infinitesimal liftings would give the answer.

This is related to this question. Indeed, the existence of such a lift would guarantee the isomorphism between the rings introduced by the OP in that other question.

Let $X,Y$ be two closed subschemes of $\mathbb{A}^n_{\mathbb{C}}$ for some fixed $n$. Assume that I have an isomorphism of the underlying reduced spaces: $$f : X_\text{red} \stackrel{\sim}\longrightarrow Y_\text{red}$$ which induces an isomorphism of $\mathcal{O}_{X_\text{red}}$-module:

$$ f^{*} \left(\Omega_{Y/\mathbb{C}} \otimes \mathcal{O}_{Y_\text{red}} \right) \stackrel{\sim}\longrightarrow \Omega_{X/\mathbb{C}} \otimes \mathcal{O}_{X_\text{red}}.$$

Can I lift $f$ to an actual isomorphism $X \stackrel{\sim}\longrightarrow Y$? Note that in the situation I am interested $Y$ is very singular. If $Y$ were smooth, I guess the theory of infinitesimal liftings would give the answer.

This is related to this question. Indeed, the existence of such a lift would guarantee the isomorphism between the rings introduced by the OP in that other question.

Let $X,Y$ be two closed subschemes of $\mathbb{A}^n_{\mathbb{C}}$ for some fixed $n$. Assume that I have an isomorphism of the underlying reduced spaces: $$f : X_{red} \stackrel{\sim}\longrightarrow Y_{red}$$ which induces an ismorphism of $\mathcal{O}_{X_{red}}$-module:

$$ f^{*} \left(\Omega_{Y/\mathbb{C}} \otimes \mathcal{O}_{Y_{red}} \right) \longrightarrow \Omega_{X/\mathbb{C}} \otimes \mathcal{O}_{X_{red}}.$$

Can I lift $f$ to an actual isomorphism $X \stackrel{\sim}\longrightarrow Y$? Note that in the situation I am interested $Y$ is very singular. If $Y$ were smooth, I guess the theory of infinitesimal liftings would give the answer.

This is related to this question. Indeed, the existence of such a lift would guarantee the isomorphism between the rings introduced by the OP in that other question.

Let $X,Y$ be two closed subschemes of $\mathbb{A}^n_{\mathbb{C}}$ for some fixed $n$. Assume that I have an isomorphism of the underlying reduced spaces: $$f : X_{red} \stackrel{\sim}\longrightarrow Y_{red}$$ which induces an isomorphism of $\mathcal{O}_{X_{red}}$-module:

$$ f^{*} \left(\Omega_{Y/\mathbb{C}} \otimes \mathcal{O}_{Y_{red}} \right) \stackrel{\sim}\longrightarrow \Omega_{X/\mathbb{C}} \otimes \mathcal{O}_{X_{red}}.$$

Can I lift $f$ to an actual isomorphism $X \stackrel{\sim}\longrightarrow Y$? Note that in the situation I am interested $Y$ is very singular. If $Y$ were smooth, I guess the theory of infinitesimal liftings would give the answer.

This is related to this question. Indeed, the existence of such a lift would guarantee the isomorphism between the rings introduced by the OP in that other question.

Let $X,Y$ be two affine $\mathbb{C}$-schemes. Assume that I have an isomorphism of the underlying reduced spaces: $$f : X_{red} \stackrel{\sim}\longrightarrow Y_{red}$$ which induces an ismorphism of $\mathcal{O}_{X_{red}}$-module:

$$ f^{*} \Omega_{Y/\mathbb{C}} \longrightarrow \Omega_{X/\mathbb{C}}.$$

Can I lift $f$ to an actual isomorphism $X \stackrel{\sim}\longrightarrow Y$? Note that in the situation I am interested $Y$ is very singular. If $Y$ were smooth, I guess the theory of infinitesimal liftings would give the answer.

This is related to this question. Indeed, the existence of such a lift would guarantee the isomorphism between the rings introduced by the OP in that other question.

Let $X,Y$ be two closed subschemes of $\mathbb{A}^n_{\mathbb{C}}$ for some fixed $n$. Assume that I have an isomorphism of the underlying reduced spaces: $$f : X_{red} \stackrel{\sim}\longrightarrow Y_{red}$$ which induces an ismorphism of $\mathcal{O}_{X_{red}}$-module:

$$ f^{*} \left(\Omega_{Y/\mathbb{C}} \otimes \mathcal{O}_{Y_{red}} \right) \longrightarrow \Omega_{X/\mathbb{C}} \otimes \mathcal{O}_{X_{red}}.$$

Can I lift $f$ to an actual isomorphism $X \stackrel{\sim}\longrightarrow Y$? Note that in the situation I am interested $Y$ is very singular. If $Y$ were smooth, I guess the theory of infinitesimal liftings would give the answer.

This is related to this question. Indeed, the existence of such a lift would guarantee the isomorphism between the rings introduced by the OP in that other question.