Proprietà di fasci algebrici coerenti e lisci su varietà algebriche ad algebra fattoriale (Q2536760): Difference between revisions

The author demonstrates the following results: Let \(A\) be the ring of formal polynomials in \(n>1\) variables over an algebraically closed field \(k\), and \(M\) a torsion-free \(A\)-module whose rank be \(r>1)\). Then there exists a monomorphism \(i\colon M\to A^r\) such that \(i(M)\) includes some elements whose set of zeros over \(k\) has \(\text{cdm} >1\) in \(k^n\). This property is true also if \(A\) is any unique factorization domain finitely generated over \(A\), which allows one to affirm that: any coherent torsion-free algebraic sheaf \(\mathcal M^{(r)}\), of rank \(r>1\), over an affine variety with unique factorization algebra variety \((V, \mathcal A_V\) of dimension \(n>1\), is isomorphic to a subsheaf \(\mathcal M'^{(r)}\) of \(\mathcal A_V^r\) which has some sections whose set of zeros has \(\text{cdm} >1\) in \(V\). From this theorem it follows that for any coherent torsion-free algebraic sheaf \(\mathcal M^{(r)}\) over \((V, \mathcal A_V\) there exist \(r-1\) short exact sequences: \[ 0\longrightarrow \mathcal A_V^h\longrightarrow \mathcal M^{(r)} \longrightarrow \mathcal M^{(r-h)} \longrightarrow 0 \] \((1\le h\le r-1)\) of torsion-free sheaves, such that, for all \(h\), it is \[ \text{Supp}(\mathcal A_V^r)/ \mathcal M'^{(r)}) \subseteq \text{Supp}(\mathcal A_V^{(r-h)}/\mathcal M'^{(r-h)}). \]