ALGORITMI SI
COMBINATORICA IN ALGEBRA SI GEOMETRIE
PROGRAM PN II-IDEI, COD ID_1903, contract nr. 542/13.01.2009
Descriere succinta a proiectului de cercetare
Algebrele standard graduate reprezinta un obiect de studiu central in domenii importante ale matematicii, cum ar fi algebra comutativa, combinatorica si geometria algebrica proiectiva. Prezentul proiect de cercetare isi propune studierea idealelor monomiale, precum si a modulelor multigraduate finit generate peste inele de polinoame prin mijloace provenind din directii diferite foarte importante in cercetarea matematica actuala, precum: aspecte combinatoriale si computationale ale algebrei comutative, metode de factorizare combinatoric algebrice.
In cele ce urmeaza vom descrie, in contextul actual al cercetarii mondiale, problemele pe care ne propunem sa le abordam. Idealele monomiale sunt ideale omogene in raport cu N^n graduarea, reprezentand un caz particular de ideale polinomiale omogene. Studiul idealelor polinomiale omogene se reduce prin deformare Groebner la cazul idealelor monomiale, care pastreaza o parte semnificativa a invariantilor numerici ai idealelor initiale, cum ar fi regularitatea, seria Hilbert, dimensiunea proiectiva.
Trecerea la ideale monomiale permite studiul acestora prin mijloace specifice combinatoricii precum si a algebrei computationale. Un caz aparte de ideale monomiale este cel al idealelor Stanley-Reisner, adica idealele monomiale libere de patrate. Studiul acestor ideale este esential, deoarece prin polarizare orice ideal monomial poate fi redus la un ideal monomial liber de patrate, pastrand invarianti algebrici precum numerele Betti, inaltime, dimensiune proiectiva si regularitate. Avantajul obtinut cu ajutorul polarizarii este ca pentru studiul idealelor monomiale libere de patrate pot fi utilizate si metode provenind din geometria convexa, topologia algebrica, combinatorica matroizilor si a complexelor simpliciale.
Toate aceste metode computationale si combinatoriale au importante aplicatii in Geometria Algebrica. Ele dau metode efective de calcul al unor invarianti, cum ar fi: polinomul Hilbert, gradul sau dimensiunea unei varietati algebrice proiective. De fapt, regularitatea Mumford - Castelnuovo provine din Geometria Algebrica, dar metodele geometrice nu au fost suficiente pentru a raspunde acestei probleme. Folosind algoritmi de calcul cu baze Groebner, se pot aborda de asemenea probleme delicate de clasificare a varietatilor algebrice scufundate, cum ar fi, de exemplu, clasificarea suprafetelor netede din P^4.
Un subiect de mare interes in cercetarea matematica actuala il constituie o conjectura formulata de Richard Stanley. Ea a fost lansata intr-un articol faimos Linear Diophantine equations and local cohomology aparut in Inventiones Mathematicae. Timp de 23 de ani ea a fost validata doar in cateva cazuri izolate. Aceasta conjectura afirma ca orice modul multigraduat finit generat peste inelul de polinoame in mai multe variabile standard graduat admite o descompunere Stanley al carei Stanley depth (sdepth) este marginit inferior de depth-ul modulului.Conjectura este larg deschisa. Ea a fost verificata pentru inele de polinoame cu cel mult 5 variabile si in alte cateva cazuri. Legatura dintre depth (un invariant omologic) si sdepth (un invariant combinatorial) este oarecum neclara. In lipsa unei strategii globale, metodele folosite au depins foarte mult de particularitatile cazurilor tratate. Ne propunem sa investigam noi metode de abordare a conjecturii care ne vor permite sa gasim mai multe cazuri in care aceasta e valida.
SusDirector de proiect
Prof. Dr. Dorin Popescu, Facultatea de Matematica si Informatica a Universitatii din Bucuresti (FMI-UB) .Echipa de cercetare a grantului
Rapoarte
2009 Etapa intermediara: septembrie 2009Rezultate obtinute
Prezentari conferinte/Diseminarea rezultatelor
Data | Titlul prezentarii - autor |
---|---|
19.07.2009 | The problem solving process between static and dynamic - Cristian Voica, 33rd Conference of the International Group for the Psichology of Mathematics Education (PME), Salonic, Grecia |
20.07.2009 | When the infinite sets uncover structures: An analysis of students' reasoning on infinity - Cristian Voica, 33rd Conference of the International Group for the Psichology of Mathematics Education (PME), Salonic, Grecia |
15.10.2009 | Geometrie tropicala-Aplicatii in geometria enumerativa- Cristian Voica, Seminarul de Geometrie Algebrica, IMAR |
17.11.2009 | Conjectura Stanley- Dorin Popescu, Seminarul de Algebra, FMI-IMAR |
24.11.2009 | Conjectura Stanley in codimensiune mica - Dorin Popescu, Seminarul de Algebra, FMI-IMAR |
8.12.2009 | Progrese in Conjectura Stanley - Dorin Popescu, Seminarul de Algebra, FMI-IMAR |
17.04.2010 | Bounds of Stanley depth- Dorin Popescu, Conference and Humboldt Kolleg on Fundamental Structures of Algebra, Constanta |
20.09.2010 | Polyhedra and their faces - Marius Vladoiu, SNA- Combinatorics in Commutative Algebra, IMAR |
21.09.2010 | Finite generation of cones - Marius Vladoiu, SNA- Combinatorics in Commutative Algebra, IMAR |
22.09.2010 | Affine monoids and their Hilbert bases -Marius Vladoiu, SNA- Combinatorics in Commutative Algebra, IMAR |
14.10.2010 | Este experienta didactica suficienta in procesul de propunere a problemelor? - Cristian Voica, Consuela Voica, Conferinta de Matematica Aplicata si Industriala CAIM, Iasi |
29.06.2011 | Recent results on Stanley's conjecture - Dorin Popescu, 7th Congress of Romanian Mathematicians, Brasov |
29.06.2011 | Pre-service teacher training: new understandings of the teaching profession - Cristian Voica, 7th Congress of Romanian Mathematicians, Brasov |
10.07.2011 | In-service and pre-service teachers' strategies of task adaptation - Cristian Voica, Conferinta PME 35, Ankara, Turcia. |
11.07.2011 | Stanley depth and size of a monomial ideal - Marius Vladoiu, MONomial Ideals, Computations and Applications,CIEM Castro Urdiales (Cantabria, Spania) |
19.09.2011 | Affine monoids and Hilbert bases I - Marius Vladoiu, SNA- Computer Algebra and Combinatorics, IMAR |
20.09.2011 | Affine monoids and Hilbert bases II - Marius Vladoiu, SNA- Computer Algebra and Combinatorics, IMAR |
22.09.2011 | Computing convex hulls and triangulations - Marius Vladoiu, SNA- Computer Algebra and Combinatorics, IMAR |
23.09.2011 | Depth, graphs and minimal number of generators of a square free monomial ideal - Dorin Popescu, SNA- Computer Algebra and Combinatorics, IMAR |
20.10.2011 | The Koszul property for numerical semigroups - Dumitru Stamate, SNA- Computer Algebra and Combinatorics, IMAR |
19-26.11.2011 | Arcs Spaces and Artin Approximation - Dorin Popescu, ciclu de 6 prezentari la Algebraic versus Analytic Geometry, Noi. 19 - Dec. 13, 2011, ESI - Vienna, Austria |