## Mathematics, Department of

#### ORCID IDs

#### First Advisor

Brian Harbourne

#### Date of this Version

8-2017

#### Abstract

Fat points and their ideals have stimulated a lot of research but this dissertation concerns itself with aspects of only two of them, broadly categorized here as, the ideal containments and polynomial interpolation problems.

Ein-Lazarsfeld-Smith and Hochster-Huneke cumulatively showed that for all ideals I in k[**P**^{n}], I^{(mn)} ⊆ I^{m} for all m ∈ N. Over the projective plane, we obtain I^{(4)}< ⊆ I^{2}. Huneke asked whether it was the case that I^{(3)} ⊆ I^{2}. Dumnicki, Szemberg and Tutaj-Gasinska show that if I is the saturated homogeneous radical ideal of the 12 points of the Hesse configuration, then I^{(3)} ̸⊆ I^{2}. Since then, additional examples have been found, but all of them, are the intersection loci of lines. Here we extend all the examples of I^{(3)} ̸⊆ I2 to points that are not directly the intersection loci of lines but are the intersection loci of curves.

In the case of the interpolation problem, this dissertation makes the following contribution. Let k be an algebraically closed field of arbitrary characteristic. Let q_{1},...,q_{r} be a set of not necessarily general points and let p_{1},...,p_{s} be a set of general points in **P**^{2}, r+s ≤ 8. Let X be a blow up of the points with e_{1},...,e_{r} and E_{1}, . . . , E_{s} the corresponding exceptional curves. Write e = a_{1}e_{1} + · · · + a_{r}e_{r} and E = b_{1}E_{1} +···+b_{s}E_{s}. For the two linear systems [dL−e−E] and [dL−e] with [dL − e − E] ⊆ [dL − e], we give a condition sufficient to guarantee that

h0(X, dL − e − E) > max{0, h0(X, dL − e) − ∑((bi+1) choose 2)} and another condition necessary for h^{0}(X, dL − e − E) > max{0, h^{0}(X, dL − e) − ∑((bi+1) choose 2)}. When r =7,s=1,d=3,a_{j} =1,1≤j≤7 and b=2, we connect the discussion to quasi-elliptic fibrations and show that when q_{1} + · · · + q_{7} is reduced, then h^{0}(X,3L−e_{1} −···−e_{7} −2E) > max{0,h^{0}(X,3L−e_{1} −···−e_{7})−3} if and only if q_{1} + · · · + q_{7} is the union of the seven points of the Fano plane. Allowing infinitely near points, we obtain nonreduced subschemes q_{1} + · · · + q_{7}, consisting of essentially distinct points, that form part of the base loci of quasi-elliptic fibrations such that h^{0}(X,3L−e_{1} −···−e_{7} −2E) > max{0,h^{0}(X,3L−e_{1} −···−e_{7})−3}.

Adviser: Brian Harbourne

## Comments

A DISSERTATION Presented to the Faculty of The Graduate College at the University of Nebraska In Partial Fulfillment of Requirements For the Degree of Doctor of Philosophy, Major: Mathematics, Under the Supervision of Professor Brian Harbourne. Lincoln, Nebraska: August, 2017

Copyright (c) 2017 Solomon Akesseh