<B> <center>SCUOLA DI DOTTORATO "GALILEO GALILEI" <br></br> DOTTORATO IN MATEMATICA - UNIVERSIT&Agrave; DI PISA <br></br> <b>I Semestre 2002</b></center> </B> <br></br><br></br> <b>1 - Corsi del Dottorato</b> <br></br> <p> F. Amoroso, <i>Altezza dei Numeri Algebrici</i> [20 h., Giugno]. <br></br> V. Georgiev, <i>Analisi di Fourier su Variet&agrave;</i> [20 h., Marzo - Aprile] <br></br> M. Labb&eacute;, <i>Topics in Combinatorial Optimization</i> [30 h., Maggio - Giugno] <br></br> S. Matveev, <i>Normal Surfaces and Algorithmic Classification of Haken 3-Manifolds </i>[30 h., Maggio - Giugno] <br></br> R. Pardini - P. Gianni <i>Introduzione alla Geometria Algebrica e Computer Algebra </i>[20 h., Febbraio - Marzo] <br></br> R.Turner <i>Dinamica dei neuroni</i> [12 h., Marzo] <br></br> <p><b>2 - Altri Corsi</b> <br></br><I><a href="http://www.dm.unipi.it/pages/cdl/prog0102.html">Corsi del C.di L. in Matematica</a> <br><a href="http://www.sns.it/ClasseScienze/ordstud.html">Corsi della Scuola Normale</a> <br><a href="http://www.sns.it/~fbeux/PERFEZIONA/perfmain.html">Perfezionamento in Matematica per la Tecnologia e l'Industria</a></I> <p><b>3 - Convegni, Scuole, Cicli di seminari</b><br></br> <p><I><a href="http://math.sns.it/degiorgi/dynsys">Special Research Trimester on Dynamical Systems</a></I> <br>&nbsp;&nbsp; Centro di Ricerca Matematica "Ennio De Giorgi", 1 Febbraio - 30 Aprile <p><I><a href="http://cvgmt.sns.it/Scuola2002">School of Calculus of Variations</a></I> <br>&nbsp; Scuola Normale, 20 - 25 Maggio <p><I><a href="http://www.dm.unipi.it/cluster-pages/meet2002/">First Joint Meeting AMS - UMI</a></I> <br>&nbsp;&nbsp; Pisa, 12 - 16 Giugno <p><I>Ciclo di seminari in Geometria</I> <p><I>Colloqui della Scuola "Galileo Galilei"</I> <br>&nbsp; <br>&nbsp; <p><b>4 - Programmi dei corsi per il Dottorato</b> <br></br> <p><I>Altezza dei numeri algebrici</I> (F. Amoroso). <br></br> Scopo del corso: Definizione e studio delle altezze su un campo di numeri, nello spazio proiettivo e in un gruppo algebrico. Minorazioni delle altezze per punti non di torsione e applicazioni. <p>1) Valutazioni e valori assoluti su un campo di numeri. Formula del prodotto. Altezze di punti nello spazio proiettivo e altezze di polinomi. <br>2) Teorema di finitezza di Northcott e numeri algebrici di altezza nulla. <br>3) Versioni effettive del teorema di Northcott: risultati recenti di Loher e Masser. <br>4) Minorazioni dell'altezza in un'estensione abeliana e applicazioni al gruppo delle classi di ideali. Minorazione dell'altezza di un numero algebrico non reciproco. <br>5) Congettura di Lehmer e teorema di Dobrowolski. <br>6) Risultati in dimensione 2: altezza normalizzata e minimo essenziale. <br></br><br></br> <p><I>Haken's theory of normal surfaces and algorithmic classification of Haken 3-manifolds</I> (S. Matveev) <br></br> <p>1. Definition of a normal surface, geometric summation, fundamental surfaces. <br>2. First algorithms based on Haken's theory: recognition of the unknot and of splittable links. <br>3. Jaco -Tollefson theorem on essential fundamental surfaces. <br>4. JSJ-decomposition theorem. <br>5. Costruction of hierarchies and the Stallings barrier. <br>6. Algorithmic recognition theorem for Haken 3-manifolds. <br>7. New developments of Haken's theory: a finiteness theorem for boundary slopes. <br></br><br></br> <p><I>Analisi di Fourier su Variet&agrave;</I> (V. Georgiev) <br></br> <p>1. Operatore di Laplace-Beltrami su una variet&agrave;. Modelli di variet&agrave; a curvatura costante positiva e a curvatura costante negativa. <br>2. Autofunzioni dell'operatore di Laplace-Beltrami su una variet&agrave; a curvatura costante negativa. <br>3. Trasformata di Fourier su una variet&agrave; a curvatura costante negativa. La funzione di Harish-Chandra. <br>4. Convoluzione, moltiplicatori di Fourier su una variet&agrave; a curvatura costante negativa. <br>5. Spazi di Sobolev su una variet&agrave; <br>6. Applicazione: stime di decadimento per equazioni iperboliche. <p>Riferimenti Bibliografici <p>1. S. Helgason, <i>Groups and Geometrical Transformations</i>, Acad. Press, New York, 1984. <br>2. V. Georgiev, <i>Nonlinear Hyperbolic Equations</i>, Memoirs J.M.S, Vol. 7, 1-208, 2000. <br></br><br></br> <p><I>Topics in Combinatorial Optimization</I> (M. Labb&eacute;) <br></br> <p>The course is devoted to problems that can be formulated as mixed integer linear programs. We will focus on the polyhedral aspects. Basic knowledge of linear programming and linear algebra are required. <p>Part I: Polyhedral methods for Combinatorial Optimization <br>Part II: Polyhedral descripion of Combinatorial Optimization problems <p>Riferimenti Bibliografici <p>L.A. Wolsey, <i>Integer programming</i>, Wiley, New York 1998 <br>G.L. Nemhauser and L.A. Wolsey, <i>Integer and combinatorial Optimization</i>, Wiley, New York 1988 <br>M.M. Deza and M. Laurent, <i>Geometry of Cut and Metrics</i>, Springer, Berlin 1991. <br></br><br></br> <p><I>Introduzione alla Geometria algebrica e Algebra computazionale</I> (P. Gianni &amp; R. Pardini) <br></br> <p>Lo scopo di questo corso &egrave; di presentare i principali concetti e strumenti della geometria algebrica e dell'algebra computazionale, mettendo in rilievo i punti di contatto tra le due discipline. Affronteremo in particolare i seguenti argomenti: <br>1. L'anello dei polinomi: ideali, basi di Gr&ouml;bner e applicazioni; <br>2. Variet&agrave; affini; <br>3. Il Nullstellensatz di Hilbert. Il dizionario algebra-geometria. Spettro di un anello; <br>4. Variet&agrave; proiettive e quasi-proiettive; <br>5. Morfismi e applicazioni razionali; <br>6. Teoria dell'eliminazione; <br>7. Dimensione; <br>8. Spazi tangenti e liscezza; <br>9. Risoluzione di sistemi di equazioni polinomiali <p>Il corso comprender&agrave; un'introduzione al sistema di calcolo simbolico CoCoA. Verranno svolte alcune esercitazioni di laboratorio. <p>Riferimenti Bibliografici <p>M. Atiyah - I. MacDonald, <i>Introduction to Commutative Algebra</i>, Addison - Wesley (1969). <br>D. Cox, J. Little, D. O'Shea, <i>Ideals, varieties and algorithms</i>, Springer UTM (1991). <br>D. Eisenbud, <i>Commutative algebra with a view toward algebraic geometry</i>, Springer GTM, vol. 150 (1994). <br>J. Harris, <i>Algebraic Geometry</i>, Springer (1992). <br>R. Hartshorne, <i>Algebraic Geometry</i>, Springer (1977). <br>M. Kreuzer, L. Robbiano, <i>Computational commutative algebra I</i>, Springer (2000). <br>M. Reid, <i>Undergraduate Algebraic Geometry</i>, Cambridge University Press (1988). <br>Safarevic, <i>Basic Algebraic Geometry 1</i>, 2nd. edition, Springer (1994). <br>K. Smith and others, <i>An invitation to algebraic geometry</i>, Springer UTX (2000). <p> </body> </html>