Skip to main content
3 of 3
doi link and human-readable reference added
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

In the case of regular local rings a criterion for a reflexive module to be free is given in

  • M. I. Jinnah, Reflexive modules over regular local rings, Archiv der Mathematik volume 26, (1975) pages 367–371, doi: 10.1007/BF01229753.

The result is as follows:

Let $A$ be a regular local ring and $M$ a finitely generated reflexive $A$-module. Then if $\operatorname{Ext}_A^1(\operatorname{Hom}(M,M),A) = 0$ $M$ is free over $A$. This is not great though since we have just asked for cohomological vanishing elsewhere.

A criterion is also given in terms of unmixed ideals of height $2$ (more vanishing though). This I guess is not terribly surprising since the obstruction in your construction lives in codimension $\ge 2$. Indeed, with the hypothesis that $A$ be a UFD one has $\operatorname{codim} \operatorname{Supp}_A(\operatorname{Ext}_A^1(U,A)) \ge 2$

I've been trying to do a bit better (or find a counterexample) by assuming that $A$ is at least Gorenstein of finite Krull dimension and using the fact that one can write down the injective resolution for $A$ but I haven't had any luck yet.

Greg Stevenson
  • 8.7k
  • 1
  • 40
  • 38