×

Homaloidal nets and ideals of fat points. I. (English) Zbl 1336.13007

The authors study plane Cremona maps with proper base points and the base ideal generated by the linear system of forms defining the map. Before we formulate some results for Cremona maps (including the main result for a plane Cremona map of degree \(d \geq 4\)) we need to recall some definitions. Assume that \(k\) is an infinite field. A linear system of plane curves of degree \(d\) is a \(k\)-vector subspace \(L_{d}\) of the vector space of forms of degree \(d\) in the standard graded polynomial ring \(R := k[x,y,z]\). A linear system \(L_{d}\) defines a rational map \(\mathcal{L}_{d} : \mathbb{P}^{2} \rightarrow \mathbb{P}^{r}\), where \(r+1\) is the vector space dimension of \(L_{d}\). If a map is birational, then it is called a Cremona map. Write \(I = (I : F)F\), where \(F \in R\) is, up to non-zero scalars, a uniquely defined form of degree \( \leq d\) such that \(I : F\) has codimension greater or equal to two. Then \(F\) is the fixed part of the system. We say that the linear system has no fixed part meaning that \(\text{deg} \,F = 0\). Here in the paper the authors assume that \(I : F\) has codimension equal to two.
Given a variety \(X\), a smooth point \(P\) and a divisor \(D\) then the multiplicity \(e_{P}(D)\) is defined as \[ e_{P}(D) = \text{max} \{s \geq 0 : f \in \mathfrak{m}_{P}^{s}\}, \] where \(f\) is a local equation of \(D\) and \(\mathfrak{m}_{P}\) is the maximal ideal of the local ring of \(X\) at \(P\).
The virtual multiplicity of \(L_{d}\) at one of its proper base points \(P\) is defined as \[ \mu_{P} = \mu_{P}(L_{d}) : = \text{min}\{e_{P}(f) : f \in L_{d}\}. \] An important property of a plane Cremona maps is that its virtual multiplicities satisfy the classical equations of condition \[ \sum_{P} \mu_{P} = 3d-3, \,\,\,\, \sum_{P} \mu_{P}^{2} = d^{2} - 1, \] where \(P\) runs over the set of base points of the corresponding \(L_{d}\) with respect to multiplicities \(\mu_{P}\). An abstract configuration \((d, \mu_{1},\dots, \mu_{r})\) satisfying the equations of condition is called a homaloidal type. A homaloidal type is called proper if there exists a plane Cremona map with this type.
A de Jonquiéres map is a plane Cremona map \(\mathfrak{F}\) of degree \(d\geq 2\) having the homaloidal type \((d; d-1, 1^{2d-2})\).
Now we are given a set \(\mathcal{P} = \{P_{1}, \dots, P_{n} \} \subset \mathbb{P}^{2}\) of points with multiplicities \((\mu_{1}, \dots, \mu_{n})\). The \(\mu\)-fat ideal of \(\mathcal{P}\) is given by \[ I(\mathcal{P}; \mu) = \bigcap_{i=1}^{n} I(P_{i})^{\mu_{i}}, \] where \(I(P_{i})\) is the homogeneous prime ideal of the point \(P_{i}\). Recall that a net of degree \(d\) is a linear system \(L_{d}\) spanned by three independent forms in \(R_{d}\) without a proper common factor. We say that the net defined by \(L_{d}\) is complete if \(L_{d} = J_{d}\), where \(J = I(\mathcal{P}; \mu)\). At last, the net \(L_{d}\) is homaloidal if it defines a Cremona map of \(\mathbb{P}^{2}\).
Now we are ready to present the main result of the paper.
Theorem. Let \(\mathfrak{F} : \mathbb{P}^{2} \dashrightarrow \mathbb{P}^{2}\) be a Cremona map with homaloidal type \((d; \mu)\), with \(d \geq 4\), whose base points \(\mathcal{P}\) are proper and let \(I\) denote its base ideal. Let \(J: = I(\mathcal{P};\mu)\) denote the associated ideal of fat points.
a) The minimal graded free resolution of \(J\) is of the form \[ 0 \rightarrow R(-(d+2))^{d-2} \oplus R(-(d+1))^{s} \rightarrow R(-(d+1))^{d-4+s} \oplus R(-d)^{3} \rightarrow J \rightarrow 0, \] where \(s\) is the number of independent linear syzygies of the ideal \(I\). Furthermore, \(0\leq s \leq 1\), while \(s=1\) if and only if \(\mathfrak{F}\) is a de Jonquiéres map.
b) The linear system \(J_{d+1}\) defines a birational mapping of \(\mathbb{P}^{2}\) onto the image in \(\mathbb{P}^{d+4+s}\).
Moreover, in Section 3 the authors present a partial classification of homaloidal types according to the highest virtual multiplicity. Some classical inequalities for Cremona map stem from the consideration of the three highest virtual multiplicities, but not much has been obtained by stressing the role of the behavior of the map in the neighborhood of a single point with highest virtual multiplicity \(\mu_{1} = \mu\), so the authors study this case in detail. For instance, they show that for \(\mu=d-2\) any Cremona map on general points of such a homaloidal type is saturated (Proposition 3.1). In the last section the authors study the following question.
Question. Let \((d, \mu_{1}, \dots)\) denote a proper homaloidal type and let \(F\) be a Cremona map of this type and general base points. If the base ideal of \(F\) is not saturated, then \(\mu_{1} \leq \lfloor d/2 \rfloor\).
As a result the authors show that the base ideal \(I\) of a Cremona map \(\mathfrak{F} : \mathbb{P}^{2} \dashrightarrow \mathbb{P}^{2}\) of degree \(d\), whose virtual multiplicities are all even, is not saturated under the hypothesis that there are three virtual multiplicities equal to \(\lfloor d/2 \rfloor\).

MSC:

13D02 Syzygies, resolutions, complexes and commutative rings
13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
13H15 Multiplicity theory and related topics
14E05 Rational and birational maps
14E07 Birational automorphisms, Cremona group and generalizations
14M05 Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal)
13A02 Graded rings
13C14 Cohen-Macaulay modules
14C20 Divisors, linear systems, invertible sheaves
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] DOI: 10.1007/s13348-014-0122-y · Zbl 1329.13008
[2] DOI: 10.2307/2374214 · Zbl 0467.13009
[3] DOI: 10.4153/CJM-2014-037-3 · Zbl 1337.14014
[4] DOI: 10.1007/s00229-005-0573-2 · Zbl 1093.14018
[5] DOI: 10.1090/S0002-9939-00-05749-X · Zbl 0966.14009
[6] DOI: 10.1016/S0764-4442(00)00142-7 · Zbl 1011.14003
[7] DOI: 10.1112/S1461157013000181 · Zbl 1319.14008
[8] Nagata, Univ. Kyoto, Ser. A 33 pp 271– (1960) · Zbl 0100.16801
[9] DOI: 10.1016/j.aim.2011.12.005 · Zbl 1251.14007
[10] Miranda, Notices Amer. Math. Soc. 46 pp 192– (1999)
[11] Davis, Bull. Sci. Math., 2e série 108 pp 143– (1984)
[12] DOI: 10.1016/j.jalgebra.2012.08.022 · Zbl 1275.13019
[13] DOI: 10.4310/MRL.2013.v20.n4.a3 · Zbl 1299.14014
[14] DOI: 10.1016/S0022-4049(96)00126-0 · Zbl 0901.14030
[15] DOI: 10.1016/j.jalgebra.2007.09.018 · Zbl 1139.14041
[16] DOI: 10.1016/j.aim.2008.03.025 · Zbl 1144.14009
[17] DOI: 10.1016/0021-8693(82)90101-6 · Zbl 0502.14001
[18] DOI: 10.1007/BF01446634 · Zbl 0813.14008
[19] DOI: 10.1007/s00209-015-1539-z · Zbl 1354.14024
[20] DOI: 10.1007/s12220-013-9459-9 · Zbl 1322.14034
[21] DOI: 10.1007/b82933 · Zbl 0991.14008
[22] DOI: 10.1090/S0025-5718-2011-02556-1 · Zbl 1259.14010
[23] DOI: 10.1007/BF03323372 · Zbl 1107.13025
[24] DOI: 10.1016/j.jalgebra.2004.03.025 · Zbl 1067.14014
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.