In this paper we consider linear systems of $\mathbb{P}^2$ with all but one of the base points of multiplicity 5. We give an explicit way to evaluate the dimensions of such systems.
In this paper we prove the Harbourne-Hirschowitz conjecture for quasi-homogeneous linear systems of multiplicity 6 on P^2. For the proof we use the degeneration of the plane by Ciliberto and Miranda and results by Laface, Seibert, Ugaglia and Yang. As an application we derive a classification of the special systems of multiplicity 6.
A linear system of plane curves satisfying multiplicity conditions at points in general position is called special if the dimension is larger than the expected dimension. A (-1) curve is an irreducible curve with self intersection -1 and genus zero. The Harbourne-Hirschowitz Conjecture is that a linear system is special only if a multiple of some fixed (-1) curve is contained in every curve of the linear system. This conjecture is proven for linear systems with multiplicity four at all but one of the points.
In the paper we prove Harbourne-Hirschowitz conjecture for quasi-homogeneous linear systems on $\mathbb P^2$ for $m=7$, 8, 9, 10, i.e. systems of curves of given degree passing through points in general position with multiplicities at least $m,...,m,m_0$, where $m=7$, 8, 9, 10, $m_0$ is arbitrary.
The Segre-Gimigliano-Harbourne-Hirschowitz Conjecture can be naturally formulated for Hirzebruch surfaces F_n. We show that this Conjecture holds for imposed base points of equal multiplicity bounded by 8.
In this paper we prove that for all pairs $(d,m)$ with $d/m \geq 174/55$, the linear system of plane curves of degree $d$ with ten general base points of multiplicity $m$ has the expected dimension.
Let X=G/B be a complete flag variety, and L' and L" two line bundles on X. Consider the cup product map H^{d'}(X,L') x H^{d"}(X, L") --> H^{d}(X,L), where L=L' x L" and d=d'+d". We answer two natural questions about the map above: When is it a nonzero map of irreducible G-representations? Conversely, given generic irreducible representations V' and V" of G, which irreducible components of V' x V" may appear in the right hand side of the map above? We also give bounds on the multiplicities appearing in a tensor product, and relate these considerations to the boundary of the Littlewood-Richardso…
We prove: if $d/m < 2280/721$, there is no curve of degree $d$ passing through $n = 10$ general points with multiplicity $m$ in $\bf{P}^2$. Similar results are given for other special values of $n$. Our bounds can be naturally written as certain palindromic continued fractions.
We extend the range of linear systems of plane curves for which it is known that the dimension is equal to the expected dimension. We use a degeneration technique due to C. Ciliberto and R. Miranda. From our result we deduce, as a Corollary, a theorem due to Evain on homogeneous systems of curves through a number of base points given by a power of 4.
In this paper we give a new proof of the fact that for all pairs of positive integers (d, m) with d/m < 117/37, the linear system of plane curves of degree d with ten general base points of multiplicity m is empty.
We show that the Hilbert-Kunz multiplicity is a rational number for an R_+-primary homogeneous ideal I=(f_1, ..., f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic. Moreover we give a formula for the Hilbert-Kunz multiplicity in terms of certain rational numbers coming from the strong Harder-Narasimhan filtration of the syzygy bundle Syz(f_1, . . ., f_n) on the projective curve Y = Proj R.
Let $G$ be a semisimple algebraic group and $B$ a Borel subgroup. We consider generalisations of Lusztig's q-analogues of weight multiplicity, where the set of positive roots is replaced with the multiset of weights of a $B$-submodule of an arbitrary finite-dimensional $G$-module.
Let Z be a fat point scheme in P^2 supported on general points. Here we prove that if the multiplicities are at most 3 and the length of Z is sufficiently high then the number of generators of the homogeneous ideal I_Z in each degree is as small as numerically possible. Since it is known that Z has maximal Hilbert function, this implies that Z has the expected minimal free resolution.
In this work, we consider a quasi-homogeneous, corank $1$, finitely determined map germ $f$ from $(\mathbb{C}^2,0)$ to $(\mathbb{C}^3,0)$. We consider the invariants $m(f(D(f))$ and $J$, where $m(f(D(f))$ denotes the multiplicity of the image of the double point curve $D(f)$ of $f$ and $J$ denotes the number of tacnodes that appears in a stabilization of the transversal slice curve of $f(\mathbb{C}^2)$. We present formulas to calculate $m(f(D(f))$ and $J$ in terms of the weights and degrees of $f$.
The Richardson variety $X_w^v$ is defined to be the intersection of the Schubert variety $X_w$ and the opposite Schubert variety $X^v$. For $X_w^v$ in the Grassmannian, we obtain a standard monomial basis for the homogeneous coordinate ring of $X_w^v$. We use this basis first to prove the vanishing of $H^i(X_w^v,L^m)$, $i > 0 $, $m \geq 0$, where $L$ is the restriction to $X_w^v$ of the ample generator of the Picard group of the Grassmannian; then to determine a basis for the tangent space and a criterion for smoothness for $X_w^v$ at any $T$-fixed point $e_\t$; and finally to derive a recursi…
We propose a combinatorial method of proving non-specialty of a linear system of curves with multiple points in general positions. As an application we obtain a classification of special linear systems on P1xP1 for which the multiplicities do not exceed 3.
In this article we address the problem of computing the dimension of the space of plane curves of degree $d$ with $n$ general points of multiplicity $m$. A conjecture of Harbourne and Hirschowitz implies that when $d \geq 3m$, the dimension is equal to the expected dimension given by the Riemann-Roch Theorem. Also, systems for which the dimension is larger than expected should have a fixed part containing a multiple $(-1)$-curve. We reformulate this conjecture by explicitly listing those systems which have unexpected dimension. Then we use a degeneration technique developed in a previous artic…
We consider the problem of estimating the intersection multiplicity between an algebraic variety and a Pfaffian foliation, at every point of the variety. We show that this multiplicity can be majorized at every point $p$ by the local algebraic multiplicity at $p$ of a suitably constructed algebraic cycle. The construction is based on Gabrielov's complex analog of the Rolle-Khovanskii lemma. We illustrate the main result by deriving similar uniform estimates for the complexity of the Milnor fiber of a deformation (under a smoothness assumption) and for the order of contact between an algebraic …
We study special linear systems of surfaces of $\mathbb{P}^3$ interpolating nine points in general position having a quadric as fixed component. By performing degenerations in the blown-up space, we interpret the quadric obstruction in terms of linear obstructions for a quasi-homogeneous class. By degeneration we also prove a Nagata type result for $\mathbb{P}^2$ that implies a base locus lemma for the quadric. As an application we establish Laface-Ugaglia Conjecture for linear systems with multiplicities bounded by 8 and for homogeneous linear systems with multiplicity m and degree up to 2m+1…
Let $K$ be an algebraically closed field. There has been much interest in characterizing multiple structures in $¶^n_K$ defined on a linear subspace of small codimension under additional assumptions (e.g. Cohen-Macaulay). We show that no such finite characterization of multiple structures is possible if one only assumes Serre's $(S_1)$ property holds. Specifically, we prove that for any positive integers $h, e \ge 2$ with $(h,e) \neq (2,2)$ and $p \ge 5$ there is a homogeneous ideal $I$ in a polynomial ring over $K$ such that (1) the height of $I$ is $h$, (2) the Hilbert-Samuel multiplicity of…
We present a proof of the Harbourne-Hirschowitz conjecture for linear systems with base points of multiplicity seven or less. This proof uses a well-known degeneration of the projective plane, as well as a combinatorial technique that arises from specializing points onto a line.
We show that Serre's Intersection Multiplicity Conjecture holds for a formal power series ring A over a complete, two-dimensional regular local ring R. From this, we deduce the corresponding result for the local rings of any scheme X which is a smooth extension of a regular, two-dimensional base Y. We also investigate the connection between intersection multiplicity and transversality in the unramified setting via a local analysis on the blowup.