An algorithm to bound the regularity and nonemptiness of linear systems in P^n
The study of spaces of forms of given degree having points of fixed multiplicity is quite classical and it appears in relation to many other problems. Let \(L = {\mathcal L}_n(d,m_1,\dots ,m_r)\) be the linear system of degree \(d\) hypersurfaces passing through \(r\) general points \(p_1,\dots ,p_r\) in \({\mathbb P}^n\) with multiplicity \(m_i\) at each \(p_i\). The virtual dimension vdim\(L\) is defined as vdim\(L := {d+n \choose n}-\sum_{j=1}^r {m_j+n-1\choose n}\), and the expected dimension of \(L\) is edim\(L = \max\, \text{vdim}L, -1 \}\); it is of interest to know when the actual dimension of \(L\) is bigger than edim\(L\) (in this case we say that \(L\) is \(special\)). Except for \(n=2\) or \(d=2\), very little is known about this problem (for \(d=2\), all special system are described by a theorem of Alexander and Hirschowitz, while for \(n=2\) there is a conjecture which describes the special systems, and it has been proved when \(d\), \(r\) or the \(m_i\)'s are ``small enough, but it is still open in the general case). If we let \(\alpha_L=\min \{d\in {\mathbb N}| L \neq \emptyset \}\); \(\tau_L=\min \{d\in {\mathbb N}| L \neq \emptyset \wedge L\;\text{is\;non-special}\}\), then in order to study the speciality of \(L\) it is of interest to have bounds on \(\alpha_L\) and \(\tau_L\). The main result in this paper is the following: Let \(n\geq 2\) and \(d,k,m_1,\dots ,m_s,m_{s+1},\dots ,m_r \in {\mathbb N}\); if \(L_1 = {\mathcal L}_n(k,m_1,\dots ,m_s)\) and \(L_2 = {\mathcal L}_n(d,m_{s+1},\dots ,m_r,k+1)\) are non-special, and \((\text{vdim}L_1+1)(\text{vdim}L_2+1)\geq 0\), then \(L = {\mathcal L}_n(d,m_1,\dots ,m_r)\) is non-special. Based on this result, algorithms are given which bound \(\alpha_L, \tau_L\) for many linear systems \(L\).
- On a notion of speciality of linear systems in \(\mathbb{P}^{n}\)
- New methods for determining speciality of linear systems based at fat points in \(\mathbb P^n\)
- Linear systems of plane curves with a composite number of base points of equal multiplicity
- Regularity of linear systems of plane curves
- scientific article; zbMATH DE number 4177278
- A brief proof of a maximal rank theorem for generic double points in projective space
- Constructing new ample divisors out of old ones
- Curves having one place at infinity and linear systems on rational surfaces
- Cutting diagram method for systems of plane curves with base points
- Degenerations of Planar Linear Systems
- scientific article; zbMATH DE number 5121575 (Why is no real title available?)
- scientific article; zbMATH DE number 125533 (Why is no real title available?)
- scientific article; zbMATH DE number 773851 (Why is no real title available?)
- scientific article; zbMATH DE number 5054810 (Why is no real title available?)
- La methode d'Horace pour l'interpolation à plusieurs variables
- Linear systems of plane curves with base points of equal multiplicity
- Linear systems of plane curves with imposed multiple points
- Linear systems with multiple base points in ℙ2
- Lower bounds for Seshadri constants
- New effective bounds on the dimension of a linear system in \(\mathbb P^2\)
- On a class of special linear systems of $\mathbb{P}^3$
- On linear systems of \(\mathbb P^3\) through multiple points
- On the 14-th Problem of Hilbert
- On the existence of plane curves with imposed multiple points
- Quasi-Homogeneous Linear Systems on ℙ2 with Base Points of Multiplicity 5
- Resolutions of ideals of quasiuniform fat point subschemes of 𝐏²
- Seshadri constants and very ample divisors on algebraic surfaces
- Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques.
- Linear systems, singularity and not too ramified morphisms
- The Lefschetz question for ideals generated by powers of linear forms in few variables
- On the weak Lefschetz property for almost complete intersections generated by uniform powers of general linear forms
- New methods for determining speciality of linear systems based at fat points in \(\mathbb P^n\)
- Linear subspaces, symbolic powers and Nagata type conjectures
- New effective bounds on the dimension of a linear system in \(\mathbb P^2\)
- Lower bounds for Waldschmidt constants of generic lines in \({\mathbb {P}}^3\) and a Chudnovsky-type theorem
- Degenerations of Planar Linear Systems
- Symbolic powers of ideals of generic points in \(\mathbb P^3\)
- On the strong Lefschetz problem for uniform powers of general linear forms in \(k[x,y,z]\)
- Vanishing theorems for linearly obstructed divisors
- Interpolation and the weak Lefschetz property
- On a notion of speciality of linear systems in \(\mathbb{P}^{n}\)
- A containment result in P^n and the Chudnovsky conjecture
- Linear systems over \(\mathbb{P}^{1}\times \mathbb{P}^{1}\) with base points of multiplicity bounded by three
- Containments of symbolic powers of ideals of generic points in \(\mathbb{P}^{3}\)
- Linear systems on the blow-up of \((\mathbb{P}^1)^n\)
- Lefschetz property and powers of linear forms in \(\mathbb{K}[x,y,z]\)
- An asymptotic version of Dumnicki's algorithm for linear systems in \({\mathbb{CP}^2}\)
This page was built for publication: An algorithm to bound the regularity and nonemptiness of linear systems in \(\mathbb P^n\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q840712)
