Duality properties for quantum groups. (Q657345): Difference between revisions

Let \(K=k[[h]]\) where \(k\) is a field of characteristic zero and \(A_0\) a Noetherian \(k\)-algebra such that \(k\) admits an \(A_0\)-module structure. Assume that \[ \text{Ext}^i_{A_0}(k,A_0)=\begin{cases} 0, &i\neq d;\\ k, &i=d\end{cases} \] for some positive integer \(d\). Consider a deformation \(A_h\) of \(A_0\) such that there exists an \(A_h\)-module structure on \(K\) whose reduction modulo \(h\) coincides with the given \(A_0\)-structure on \(k\). It is shown that \(\text{Ext}^i_{A_h}(K,A_h)=0\) if \(i\neq d\) and \(\text{Ext}^d_{A_h}(K,A_h)\) is a free \(K\)-module of rank 1. The right \(A_h\)-module structure is induced by right multiplication which lifts the action of \(A_0\) on \(\text{Ext}^d_{A_0}(k,A_0)\). If \(M\) is an \(A_h\)-module and \(K\) has a finite projective dimension over \(A_h\), then the \(K\)-modules \(\text{Ext}^i_{A_h}(K,M)\) and \(\text{Tor}^{A_h}_{d_{A_h}-i}(\Omega_{A_h},M)\) are isomorphic.