Some Koszul rings from geometry (Q2268833)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some Koszul rings from geometry |
scientific article |
Statements
Some Koszul rings from geometry (English)
0 references
9 March 2010
0 references
Let \(k\) be a field. The property on a standard graded \(k\)-algebra \(R\) to be Koszul (having a linear minimal free resolution as an \(R\)-algebra) is interesting in different areas of mathematics. In algebraic geometry when \(X\) is a projective variety (over \(k\)) and \(L\) a very ample line bundle of \(X\), the property on the \(k\)-algebra \(R(L)=\bigoplus_n H^0(X,L^{\otimes n})\) to be Koszul (\(L\) is Koszul for brevity) implies that \(X\) satisfies property \(N_1\), i.e. \(L\) embeds \(X\) in a projective space as a projectively normal variety and its ideal is generated by quadrics. High enough tensor powers \(L^{\otimes n}\) (\(n \geq n_0\)) of ample line bundles tend to be Koszul and it is natural to try to bound \(n_0\). In the first part of the paper under review (Section 3) it is shown that for a base point free ample line bundle \(n_0 \leq \text{reg}(B)+1\), being \(\text{reg}(B)\) the regularity of \(B\) in the sense of Castelnuovo-Mumford. To be precise: \(B\) is \(\text{reg}(B)\)-regular but not \((\text{reg}(B)-1)\)-regular and \(B\) is \(m\)-regular if \(H^{i}(B^{\otimes m+1-i})=0\) for \(i>0\). The second part of the paper is devoted to the study of certain adjoint line bundles on minimal irregular surfaces of general type showing that they are Koszul (extending analogous results for regular surfaces). Concretely (see Theorem 4.11): Let \(X\) be a complex nonsingular projective minimal irregular surface of general type whose canonical bundle \(K_X\) is base point free and consider an ample and base point free line bundle \(B\) such that: \(B'\) is also base point free for any line bundle \(B'\) numerically equivalent to \(B\) and \(h^1(B')=0\); \(B^2>BK_X\). Then for \(n \geq2\) the adjoint bundles \(K_X \otimes B^{\otimes n}\) are Koszul.
0 references
Koszul ring
0 references
Castelnuovo-Mumford regularity
0 references
surfaces
0 references