MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
2

Hi,

it is a folklore, that:

let $p$, $q$ be two primes of a commutative Gorenstein ring $R$. $$ \operatorname{Tor}^k(E(R/p), E(R/q)) \neq 0 \iff p = q\mbox{ and }k = \operatorname{height} p. $$ where $E(R/p)$ is an injective hull of the cyclic module $R/p$ and $\operatorname{Tor}^k(-,-)$ means $k$-th Tor (derived functor to tensor product).

My question is: are there some other modules satisfying this orthogonality? (over some commutative noetherian rings)

So what I'm looking for:

for any $p \in \operatorname{Spec}(R)$ a module $M(p)$ such that $\operatorname{Ext}^k$ or $\operatorname{Tor}^k$ of $M(p)$ and $M(q)$ is not zero iff $p=q$ and $k = \operatorname{height} p$. (so the same as for $M(p) = E(R/p)$ and Tor in the Gorenstein case above)

Thank you,

flag
Could you explain what is $E(R/p)$ ? – BS Dec 18 at 11:36
1 
That's the injective hull of the $R$-module $R/p$. – Ralph Dec 18 at 12:18
yes, that is an injective hull of R/p – Zdenek Dec 18 at 15:59
I think, that again for Gorenstein commutative rings, k(p) (residue field), p \in Spec(R) and Tor should work as well. – Zdenek Dec 20 at 10:20

Your Answer

Get an OpenID
or

Browse other questions tagged or ask your own question.