Thèse soutenue

Syzygies : algèbre, combinatoire et géométrie

FR  |  
EN
Auteur / Autrice : Navid Nemati
Direction : Marc Chardin
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 28/05/2019
Etablissement(s) : Sorbonne université en cotutelle avec University of Teheran
Ecole(s) doctorale(s) : École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....)
Partenaire(s) de recherche : Laboratoire : Institut de mathématiques de Jussieu-Paris Rive Gauche (1997-....)
Jury : Président / Présidente : Bernard Teissier
Examinateurs / Examinatrices : Jürgen Herzog, Julien Grivaux
Rapporteurs / Rapporteuses : Aldo Conca, Laurent Busé

Résumé

FR  |  
EN

La régularité de Castelnuovo-Mumford est l'un des principaux invariants numériques permettant de mesurer la complexité de la structure des modules gradués de type fini sur des anneaux polynomiaux. Il mesure le degré maximal des générateurs des modules de syzygies. Dans cette thèse, nous étudions la régularité de Castelnuovo-Mumford avec différents points de vue et, dans certaines parties, nous nous concentrons principalement sur les syzygies linéaires. Dans le chapitre 2, nous étudions la régularité des homologies de Koszul et des cycles de Koszul de quotients unidimensionnels. Dans le chapitre 3, nous étudions les propriétés de Lefschetz faibles et fortes d'une classe d'idéaux monomiaux artiniens. Nous donnons, dans certains cas, une réponse affirmative à une conjecture d'Eisenbud, Huneke et Ulrich. Dans les chapitres 4 et 5, nous étudions deux comportements asymptotiques différents de la régularité de Castelnuovo-Mumford. Dans le chapitre 4, nous travaillons sur un quotient d'une algèbre noethérienne standard par suite régulière homogène. Au chapitre 5, nous étudions la régularité des puissances des idéaux monomiaux associés aux graphes en haltère. Dans le chapitre 6, nous travaillons sur des espaces projectifs. Au début de ce chapitre, nous présentons un package pour le logiciel informatique Macaulay2. De plus, nous étudions les cohomologies des ''intersections complètes'' dans Pnx Pm.