Il progetto europeo IDMAMIM Un esempio di collaborazione Scuola - Università

Mercoledì 26 maggio 2004 - ore 15,30

Aula Magna del Dipartimento di Matematica dell'Università di Pisa

Via F. Buonarroti, 2 (ex-Marzotto) - Pisa

DA MARTEDI' 25/05/2004 A VENERDI' 28/05/2004

martedi' - 25-05-2004 (11:00 - Sala Seminari) : Wolfgang Metzler 2-dimensional topology and decision problems. argomento: Geometria abstract:

martedi' - 25-05-2004 (12:00 - Sala Seminari) : Cynthia Hog-Angeloni

Embeddability of two-complexes and anannular handle structures argomento: Geometria abstract:

mercoledi' - 26-05-2004 (14:30 - Sala Seminari) : Leslie Wilson Limits of Tangent Spaces to Real Surfaces argomento: Geometria abstract: Let V be an algebraic surface in R^3 containing 0. We investigate the tangent cone C and the Nash space N of the surface. We prove a structure theorem for N analogous to that over the complexes established by Le Dung Trang: there are finitely many ``exceptional rays" in C so that N is the union of N(C) and the set of elements in N containing one of the exceptional rays. We show that there is a sharp dichotomy between exceptional rays in C which are tangent to the singular locus of V and those that aren't. In the former case, the set of elements in N containing the exceptional ray is semialgebraic, but can be disconnected and have discrete elements. In the latter case, we show that any ray along which C is singular must be exceptional (with one exception: if C is locally the union of smooth surfaces tangent along the ray, the ray need not be exceptional), and the set of elements in N containing the exceptional ray cannot contain discrete elements---in fact, it is closed, connected and 1-dimensional, and we can give a lower bound on the size of this set.

giovedi' - 27-05-2004 (15:00 - Sala Seminari) : Alessandro D'Andrea Rappresentazioni di algebre di tipo Cartan con il linguaggio delle pseudoalgebre abstract: la struttura di pseudoalgebra di Lie e' connessa allo studio di teorie conforme di campo, ma e' anche utile per fornire una descrizione finita di alcune algebre di Lie di dimensione finita. Il linguaggio delle pseudoalgebre di Lie puo' allora essere utilizzato per studiare la teoria della rappresentazione delle algebre di Lie di tipo Cartan.

giovedi' - 27-05-2004 (15:30 - Sala delle Riunioni) : Luca Migliorini Alla frontiera del cono ampio argomento: Geometria abstract: Dato un fibrato in rette L, su una varieta' proiettiva si introduce una filtrazione sulla somma dei gruppi di coomologia a coefficienti razionali che misura "il fallimento del teorema di Lefschetz forte". Questa filtrazione e' specialmente interessante per fibrati NEF, le cui classi di Chern sono alla frontiera del cono ampio. Se il fibrato in questione e' globalmente generato si puo' mostrare che la filtrazione coincide con una filtrazione detta perversa che si costruisce in maniera totalmente locale e topologica. Questo risultato puo' considerarsi una sorta di teoria di Hodge relativa. La natura della filtrazione per fibrati non globalmente generati, come mostra la discussione di alcuni esempi, e' ancora misteriosa.

giovedi' - 27-05-2004 (17:00 - Sala Seminari) : Barry Trager Burst error correction for Reed Solomon Codes argomento: Algebra

venerdi' - 28-05-2004 (15:30 - Aula Magna del Dipartimento di Matematica ''L. Tonelli'') : Antonio Bicchi DYNAMIC SYSTEMS WITH SYMBOLIC INPUTS argomento: Per il ciclo di Seminari del dottorato abstract: In this talk I consider some aspects involved in the analysis and control of dynamic systems under symbolic command. Symbolic commands are inputs to the dynamic systems which take values in a finite or countable set, and arise in a wide variety of systems. Their occurrence may be due to the nature of the system itself, or to technological limitations (such as finite band with in networked embedded control systems), or may be intentionally introduced to achieve more compact and efficient abstractions of possible behaviours. I will overview recent results related to the analysis of reachability for such systems, including a discussion of density/discreteness and lattice structures of the reachable set, and an extension of the classical notion of discrete nonholonomy. I will also point at some results and open research directions concerning synthesis of planning strategies and optimization for systems with symbolic inputs, and their stabilization. [http://www.di.unipi.it/galilei/Calendar/040528Seminar/Schedule.html]

Giulia Curciarello Segreteria Didattica tel: 050-2213219 e-mail curciare@dm.unipi.it

_______________________________________________ Settimanale mailing list Settimanale@mail.dm.unipi.it https://mail.dm.unipi.it/mailman/listinfo/settimanale