Skip to main content
4 of 4
added 25 characters in body
Michael Hardy
  • 1
  • 12
  • 85
  • 126

schemes having same reduced underlying space and same cotangent sheaf are isomorphic?

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.

Libli
  • 7.3k
  • 25
  • 48