16
$\begingroup$

Let $A$ be a commutative integral domain, with fraction field $K$. Let $T$ be a torsion-free finitely generated $A$ module, so $T \otimes_A K$ is a finite dimensional vector space $V$. Let $T^*$ be the set of $y$ in the dual vector space, $V^*$, such that $\langle x, y \rangle \in A$ for every $x \in T$.

Under what hypotheses on $A$ can I conclude that $T^*$ is a free $A$-module? My current conjecture is that this holds whenever $A$ is a UFD. (Of course, it trivially holds if $A$ is a PID.)

Here are a few ideas of mine. Define the rank of $T$ to be $\dim_K T \otimes_A K$. I can show that, if $A$ is a UFD, then $T^*$ is free for $T$ of rank $1$. For any $T$, we can make a short exact sequence $$0 \to S \to T \to U \to 0$$ where $S$ is rank $1$ and $U$ is torsion free with rank one less than $T$. So we have $$0 \to U^* \to T^* \to S^* \to \mathrm{Ext}^1(U,A) \to \cdots$$. This looks like a good start, but I don't know how to control that Ext group. I suspect that one of you does!

This is motivated by Kevin Buzzard's question about matrix rings.

$\endgroup$
1
  • $\begingroup$ As user Hans pointed out, there is a mistake in the answer that you accepted. $\endgroup$ Jul 17, 2016 at 19:33

5 Answers 5

17
$\begingroup$

The dual module of a finitely generated module is reflexive, that is, $M^{**}=M$, and reflexives are awfully close to projectives. Specifically, if $R$ is a Noetherian domain, then a module is projective if $Ext^i(M,R)=0$ for all $i>0$, and its reflexive if $Ext^i(M,R)=0$ for $i=1,2$.

It is also worth noting that every reflexive is the dual of some module, specifically of $M^*$. Therefore, your question amounts to "for what rings is every reflexive module free?" In this light, its very similar to the question of when every projective module is free.

From the above Ext criterion, its clear that if the global dimension of $R$ is less than or equal to 2, that being reflexive is the same as being projective. I would go so far as to conjecture the converse is true: that if gldim of R is 3 or more, that there is a non-projective module which is reflexive (and hence it is non-free).

If this conjecture is true, then the answer to your question is "rings with global dimension 2 or less, such that every projective is free". Of course, its not immediately clear what these are, but its a start.

$\endgroup$
9
  • $\begingroup$ I should mention, this should provide examples of UFDs where there are non-free duals. Take the ring C[x,y]/y^2-x(x-1)(x-2), so the ring of functions on a smooth elliptic curve minus a point at infinity. Since it is a smooth curve, its global dimension is 1, and so reflexive=projective. However, this ring has non-free projectives. To see this, consider the sheaf of ideals which vanish at some point on the curve. Its a line bundle and so its projective. However, no matter how you complete it to the missing point, you can't get a principle divisor, and so it can't be free. $\endgroup$ Nov 8, 2009 at 5:46
  • 1
    $\begingroup$ That's not a UFD! It's locally factorial, but not globally. A variety with nontrivial Pic can't be a UFD. But the rest of your answer looks very useful, thanks! $\endgroup$ Nov 8, 2009 at 13:27
  • 2
    $\begingroup$ Ha, yes, that is a good point. Unfortunately, comments aren't editable, so that lapse can be documented for all eternity. $\endgroup$ Nov 8, 2009 at 15:19
  • 5
    $\begingroup$ I'm not sure about this part: a module is projective if Ext^i(M,D)=0 for all i>0, and it's reflexive if Ext^i(M,D)=0 for i=1, 2. (I'm assuming D=R, the domain, yes?) For the second half, I think you mean something like Ext^i(D(M),D)=0, where now D(-) is Auslander's transpose. The first half is problematic too: there are lots of modules (e.g., so-called "totally reflexive" modules, which have no extensions against the ring but are not necessarily projective. $\endgroup$ Nov 10, 2009 at 14:57
  • 1
    $\begingroup$ Notice that your claim about characterizing projective modules with the vanishing of Ext to the ring is actually independendent of ZFC, as its special case over the integers is the Whitehead problem. $\endgroup$ Jan 8, 2010 at 20:58
8
$\begingroup$

Every dual $T^*$, where $T$ is torsion-free -- and hence every reflexive module -- is a second syzygy, as displayed by dualizing a projective presentation of $T$. On the other hand, it follows from Auslander-Bridger (or see a slightly more readable presentation by Masek (last Corollary in this paper) that if a ring $R$ satisfies S1 and is Gorenstein at the minimal primes, then every second syzygy is reflexive.

Therefore, for reduced rings being a dual of a torsion-free is equivalent to being reflexive is equivalent to being a second syzygy. In particular, as long as the global dimension is at least 3, there are duals that are not projective.

Back to the original question: when can you conclude the dual of $T$ is free? (I'm going to talk only about local rings, so ignore the distinction between free and projective.) Assume $A$ is a regular local ring. If there is a module $N$ such that $\operatorname{Ext}(T,N)=0$ for $i = 1, ..., \operatorname{depth} (N)-2$, then the dual of $T$ is free. In particular, if $N$ has depth less than or equal to $3$ and $\operatorname{Ext}_R^1(T,N)=0$, then the dual of $T$ is free. This is in a recent paper by Jothilingam, but is not hard to prove directly. It's not a condition solely on $A$, but maybe it's useful.

$\endgroup$
1
  • $\begingroup$ For future readers, the paper of Jothilingam that Graham Leuschke is referring to is this one doi.org/10.1080/00927870903061576 $\endgroup$
    – sdey
    Jun 27, 2020 at 6:29
7
$\begingroup$

OK, I now have a counter-example. Thanks to the previous answers for showing me where to look.

Let $A = k[x,y,z]$. Let $M$ be the kernel of the map $(x,y,z) : A^3 \to A$ and $N$ the co-kernel of the map $(x,y,z)^T: A \to A^3$. I claim that $M = N^{*}$ but $M$ is not free.

To see that $M=N^{*}$, consider the defining sequence $$0 \to A \to A^3 \to N \to 0.$$ This gives rise to $$0 \to N^{*} \to A^3 \to A.$$ The kernel of the right hand map is $M$ by definition.

Now, let's see that $M$ is not free. We have a graded short exact sequence $$0 \to M \to A^3 \to A[1] \to k[1] \to 0.$$ So the Hilbert series of $M$ is $$\frac{3}{(1-t)^3} - \frac{t^{-1}}{(1-t)^3} + t^{-1} = \frac{(1-t)^3 - 1 + 3t}{t(1-t)^3} = \frac{3t-t^2}{(1-t)^3}.$$ If $M$ were a free module, its Hilbert series would look like $(t^a+t^b)/(1-t)^3$.

$N$ is also not free; I have not figured out whether $N$ is reflexive.

$\endgroup$
2
$\begingroup$

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.

$\endgroup$
2
  • 1
    $\begingroup$ Dear Greg: your last paragraph sounds very interesting. Would you say a bit more about what you tried to improve?(I like to think a bit about when Ext vanishing implies freeness, that's why I like to hear more about your thoughts) $\endgroup$ Oct 16, 2010 at 18:11
  • $\begingroup$ The link you gave for the Ext vanishing criteria seems not to be working anymore, so I take the liberty to give the link doi.org/10.1007/BF01229753 (Theorem 2.1) $\endgroup$
    – sdey
    Jun 27, 2020 at 6:34
0
$\begingroup$

Generalizing your counter-example a bit:

Over a noetherian normal domain, being a reflexive is the same as being a second syzygy (by Auslander). Take any second syzygy of a finite length module, it will have depth 2 - not enough to be depth of the ring in general.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.