Off-campus UNL users: To download campus access dissertations, please use the following link to log into our proxy server with your NU ID and password. When you are done browsing please remember to return to this page and log out.

Non-UNL users: Please talk to your librarian about requesting this dissertation through interlibrary loan.

# Results on containments and resurgences, with a focus on ideals of points in the plane

#### Abstract

Let *K* be a field of arbitrary characteristic and let * I* be a nontrivial homogeneous ideal in *R* = * K*[ P^{N} ]. Then we can take two different kinds of powers of *I* - ordinary powers of the form *I ^{r}* and symbolic powers of the form

*I*

^{(}

^{m}^{ )}=

*R*∩ ⋂ P∈AssII

^{m}RP . A question that has been of particular interest to the mathematical community over the last two decades is that of the relationship between

*I*and

^{r}*I*

^{(}

^{ m}^{)}. How do these two notions compare?^ It can be shown that

*I*⊆

^{r}*I*

^{(}

^{m}^{)}if and only if

*r*≥

*m*, so the question that remains is what we can say about the containment of

*I*

^{ (}

^{m}^{)}in

*I*.^ Results by Ein/Lazarsfeld/Smith and Hochster/Huneke showed that

^{ r}*I*

^{(}

^{m}^{)}⊆

*I*whenever

^{r}*m*≥

*Nr*. Moreover, it can be shown that

*I*

^{(}

^{ m}^{)}⊈

*I*whenever

^{r}*r*>

*m*, and, in addition, improvements on the bound

*m*≥

*Nr*have been made in many specific situations. However, the question of exactly when

*I*

^{(}

^{m}^{ )}⊆

*I*holds for

^{r}*r*≤

*m*<

*Nr*remains open in general.^ An asymptotic variant of this Containment Question is the Resurgence Problem posed by Bocci and Harbourne: Define the resurgence of a homogeneous ideal

*I*by ρ(

*I*) = sup

*&cubl0;mr&vbm0;I*

_{ m,r}^{ m}⊈I

^{r}&cubr0; . What can we say about its value in general or for certain classes of ideals?^ Most work in this direction has been done in the geometric setting of ideals of points in P

^{N}.^ In this thesis we will address both the Containment Question and the Resurgence Problem for a family of ideals of points in P

^{2}. We start in chapter 2 with a point configuration for which we can give a complete answer to both questions. The key to comparing the symbolic and ordinary powers of

*I*in these cases is to find a vector space basis for the homogeneous coordinate ring of the plane such that subsets of this basis give bases for all powers and symbolic powers of

*I*. In chapter 3, we describe a way to obtain a lower bound for ρ(

*I*) for point configurations for which the vector space basis approach does not apply. We connect the configuration of points under consideration in this chapter to the one we examine in the preceding chapter to demonstrate how to obtain partial results through the vector space approach. In chapter 4, we develop computational methods for estimating resurgences arbitrarily accurately for nontrivial homogeneous ideals in

*K*[ P

^{N}] whenever there is an

*m*∈ N such that powers of

*I*

^{(}

^{ m}^{)}are symbolic, i.e.

*I*

^{ (}

^{mt}^{)}= (

*I*

^{ (}

^{m}^{)})

*for all*

^{ t}*t*∈ N . Our main result here is Theorem 4.1.5, which gives for such ideals

*I*a computational method for determining ρ(

*I*) to any desired accuracy. We also demonstrate the application in several examples. ^

#### Subject Area

Applied Mathematics|Mathematics

#### Recommended Citation

Denkert, Annika, "Results on containments and resurgences, with a focus on ideals of points in the plane" (2013). *ETD collection for University of Nebraska - Lincoln*. AAI3590312.

http://digitalcommons.unl.edu/dissertations/AAI3590312