Proprietà di fasci algebrici coerenti e lisci su varietà algebriche ad algebra fattoriale (Q2536760)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proprietà di fasci algebrici coerenti e lisci su varietà algebriche ad algebra fattoriale |
scientific article; zbMATH DE number 3296980
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proprietà di fasci algebrici coerenti e lisci su varietà algebriche ad algebra fattoriale |
scientific article; zbMATH DE number 3296980 |
Statements
Proprietà di fasci algebrici coerenti e lisci su varietà algebriche ad algebra fattoriale (English)
0 references
1969
0 references
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)}). \]
0 references
algebraic geometry
0 references
0.8734428286552429
0 references
0.7099772095680237
0 references
0.7029650211334229
0 references