Scheme-theoretic complete intersections in \(\mathbb P^1 \times\mathbb P^1\). (English) Zbl 1271.14013
Let \(\mathbb {P}^1=\mathbb {P}^1_{k}\) with \(k\) an algebraically closed field and let \(\mathcal{Q}=\mathbb {P}^1\times \mathbb {P}^1\) be a smooth quadric. Let \(S=k[u,u',v,v']\) be the bigraded ring, \(X\) be a zero-dimensional scheme and \(I=I(X)\) its saturated bigraded ideal in \(S\). A zero-dimensional scheme \(X\subseteq \mathcal{Q}\) is said scheme-theoretically generated by \(r\) forms \(f_1,\dots,f_r\in S\) with \(\deg f_i=(a_i,b_i)\) if there exists a sheaves surjection \(\bigoplus_{i=1}^r \mathcal{O}_{\mathcal{Q}}(a_i,b_i)\overset{\phi}\rightarrow \mathcal{I}_X\rightarrow 0\) with \(\phi=(f_1,\dots,f_r)\). If \(r=2\), \(X\) is called scheme-theoretically complete intersection.
Since in general in \(\mathbb {P}^1\times \mathbb {P}^1\) a bigraded ideal \(I(X)\) generated by a regular sequence is not saturated, it is interesting to study zero-dimensional schemes \(X\) defined by ideals that are the saturation of bigraded ideals generated by regular sequence.
In this paper, the authors study the case \(r=2.\)
In particular, Section 3 is devoted to the minimal case, i.e., when \(X\), arising by the ideal \((f,g),\) with \(\deg f=(a,b)\) and \(\deg g=(c,d)\), is contained in two curves of type \((a+c,0)\) and \((0,b+d).\) They found that \(X\) is the union of two \(0\)-grids and describe a minimal free bigraded resolution, showing that \(X\) has only four minimal generators (in the minimal case).
Section 4 is devoted to the general case, i.e., the curves \(C\) and \(D\) are two general curves of bidegree \((a,b)\geq (1,1)\) and \((c,d)\geq (1,1)\), respectively. They compute the Hilbert function of \(X\) and prove that the saturated ideal of \(X\) can be obtained by saturating the row ideals or the column ideals.
Since in general in \(\mathbb {P}^1\times \mathbb {P}^1\) a bigraded ideal \(I(X)\) generated by a regular sequence is not saturated, it is interesting to study zero-dimensional schemes \(X\) defined by ideals that are the saturation of bigraded ideals generated by regular sequence.
In this paper, the authors study the case \(r=2.\)
In particular, Section 3 is devoted to the minimal case, i.e., when \(X\), arising by the ideal \((f,g),\) with \(\deg f=(a,b)\) and \(\deg g=(c,d)\), is contained in two curves of type \((a+c,0)\) and \((0,b+d).\) They found that \(X\) is the union of two \(0\)-grids and describe a minimal free bigraded resolution, showing that \(X\) has only four minimal generators (in the minimal case).
Section 4 is devoted to the general case, i.e., the curves \(C\) and \(D\) are two general curves of bidegree \((a,b)\geq (1,1)\) and \((c,d)\geq (1,1)\), respectively. They compute the Hilbert function of \(X\) and prove that the saturated ideal of \(X\) can be obtained by saturating the row ideals or the column ideals.
Reviewer: Elena Guardo (Catania)
MSC:
14C20 | Divisors, linear systems, invertible sheaves |
13D02 | Syzygies, resolutions, complexes and commutative rings |
13D40 | Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series |
Keywords:
bigraded rings; bigraded modules; complete intersection; Hilbert function; minimal free resolution; scheme-theoretic complete intersectionSoftware:
Macaulay2References:
[1] | Bonacini P., Collect. Math. 62 (1) pp 57– (2011) · Zbl 1228.13025 · doi:10.1007/s13348-010-0004-x |
[2] | Choi Y., Proc. of the A. M. S. 137 (12) pp 3999– (2009) · Zbl 1196.14041 · doi:10.1090/S0002-9939-09-09996-1 |
[3] | Giuffrida S., Collect. Math. 54 (3) pp 309– (2003) |
[4] | Giuffrida S., Pac. J. Math. 155 (2) pp 251– (1992) · Zbl 0723.14035 · doi:10.2140/pjm.1992.155.251 |
[5] | Giuffrida , S. , Maggioni , R. , Ragusa , A. (1994). Resolutions of 0-dimensional subschemes of a smooth Quadric.Proceedings of the Intern. Conf. ”Zero-Dimensional Schemes,” Ravello 1992, Chiantini, L., Orecchia, F. (eds.), Walter de Gruyter, pp. 191–204. · Zbl 0826.14029 |
[6] | Giuffrida S., Manuscripta Math. 91 pp 421– (1996) · Zbl 0873.14041 · doi:10.1007/BF02567964 |
[7] | Giuffrida S., Collect. Math. 63 (1) pp 1– (2012) · Zbl 1258.14022 · doi:10.1007/s13348-010-0011-y |
[8] | Guardo E., J. Pure Appl. Algebra 162 (2) pp 183– (2001) · Zbl 1044.14025 · doi:10.1016/S0022-4049(00)00123-7 |
[9] | Ragusa A., J. Algebra 310 pp 41– (2007) · Zbl 1113.13008 · doi:10.1016/j.jalgebra.2006.10.034 |
[10] | Van Tuyl A., J. Algebra 264 (2) pp 420– (2003) · Zbl 1039.13008 · doi:10.1016/S0021-8693(03)00232-1 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.