University of Notre Dame
Browse
GorlaE042004.pdf (508.1 kB)

Lifting Properties from the General Hyperplane Section of a Projective Scheme

Download (508.1 kB)
thesis
posted on 2004-04-09, 00:00 authored by Elisa Gorla
In this dissertation, we discuss some necessary and sufficient conditions for a curve to be arithmetically Cohen-Macaulay, in terms of its general hyperplane section. We obtain a characterization of the degree matrices that can occur for points in the plane that are the general plane section of a non arithmetically Cohen-Macaulay curve of P^3. We prove that almost all the degree matrices with positive subdiagonal that occur for the general plane section of a non arithmetically Cohen-Macaulay curve of P^3, arise also as degree matrices of some smooth, integral, non arithmetically Cohen-Macaulay curve, and we characterize the exceptions. We give a necessary condition on the graded Betti numbers of the general plane section of an arithmetically Buchsbaum (non arithmetically Cohen-Macaulay) curve in P^n. For curves in P^3, we show that any set of Betti numbers that satisfy that condition can be realized as the Betti numbers of the general plane section of an arithmetically Buchsbaum, non arithmetically Cohen-Macaulay curve. We also show that the matrices that arise as degree matrix of the general plane section of an arithmetically Buchsbaum, integral (or smooth and connected), non arithmetically Cohen-Macaulay space curve are exactly those that arise as degree matrix of the general plane section of an arithmetically Buchsbaum, non arithmetically Cohen-Macaulay space curve and have positive subdiagonal. We prove some bounds on the dimension of the deficiency module of an arithmetically Buchsbaum curve in P^n, in terms of entries of the lifting matrix of a general hyperplane section of the curve, and we show that they are sharp. We then turn to the question of whether it is possible to lift the property of being standard or good determinantal from the general hyperplane section of a scheme to the scheme itself. We produce examples of schemes that are not standard determinantal, but whose general hyperplane section is good determinantal. Using a result of Kleppe and Miro'-Roig, we show that if one hyperplane section of a scheme of codimension 3 by a hyperplane that meets it properly is good determinantal, then a general hyperplane section of the scheme is good determinantal.

History

Date Created

2004-04-09

Date Modified

2018-10-30

Defense Date

2004-04-01

Research Director(s)

Juan Migliore

Committee Members

Juan Migliore Claudia Polini Andrew Sommese Karen Chandler

Degree

  • Doctor of Philosophy

Degree Level

  • Doctoral Dissertation

Language

  • English

Alternate Identifier

etd-04092004-192242

Publisher

University of Notre Dame

Program Name

  • Mathematics