umn logo IMA home |  Contact IMA 
IMA Web

IMA Annual Program Year Workshop

Algorithms in Algebraic Geometry

September 18-22, 2006
Organizers:
Alicia Dickenstein Mathemática, University of Buenos Aires
Frank-Olaf Schreyer Mathematik und Informatik, Universität des Saarlandes
Andrew J. Sommese Mathematics, University of Notre Dame

Schedule Participants Program Application Feedback
IMA Live Streaming and Webcasting Maps
Abstracts and Talk Materials Dining Guide
Photo Gallery

Description:

There has been much activity in the last ten years in creating and implementing algorithms in algebraic geometry. Many of these algorithms were originally designed for abstract algebraic geometry, but now have the potential to be used in applications. A good example is the primary decomposition of an ideal. Several diverse techniques have been used to decompose an ideal, including Groebner bases, resultants, triangular sets, homotopy methods. Recently, mixing symbolic and numeric techniques has become a reality, with much research activity including algorithms for solving systems of polynomial equations. For example, Sommese, Verschelde and Wampler have given algorithms and software for numeric primary decompositions, which is based more on geometry rather than algebra. Many other researchers have done exciting work combining numeric and symbolic methods. Other important areas of current algorithm research especially relevant for applications include resolution of singularities of algebraic varieties and real algebraic geometry.

Our aim is to bring together experts in algebraic geometry, experts on algorithms, both symbolic and numeric, practitioners who have problems which could be solvable with new algorithms, and implementors, who can bring these ideas to fruition. We anticipate that bringing this wide range of expertise together will lead to exciting progress in algorithms and applications of algebraic geometry.

Schedule
Monday, September 18
8:30a-9:15a Registration and coffee   EE/CS 3-176
9:15a-9:30a Welcome to the IMA Douglas N. Arnold (University of Minnesota Twin Cities) EE/CS 3-180
9:30a-10:20a Generalizing the cross-ratio: the moduli space of n points on the projective line is cut out by simple quadrics if n is not six Ravi Vakil (Stanford University) EE/CS 3-180
10:20a-10:50a Coffee   EE/CS 3-176
10:50a-11:40a Factorization of sparse polynomials Teresa Krick (University of Buenos Aires) EE/CS 3-180
11:40a-1:40p Lunch    
1:40p-2:30p Counting rational points on varieties over finite fields Daqing Wan (University of California) EE/CS 3-180
2:30p-3:00p Coffee   EE/CS 3-176
3:00p-3:50p Maple's algebraic curves package Mark van Hoeij (Florida State University) EE/CS 3-180
4:00p-4:30p Second Chances, a discussion period to revisit workshop topics and issues and look towards future directions.   EE/CS 3-180
4:30p-6:00p Reception and Poster Session
Lind Hall 400
Computing the Abel map and vector of Riemann constants Bernard Deconinck (University of Washington)
Matt Patterson (University of Washington)
Zhuang-Zi: A New algorithm for solving multivariate polynomial equations over a finite field Jintai Ding (University of Cincinnati)
Bounds and algebraic algorithms for ordinary differential characteristic sets Oleg Golubitsky (Queen's University)
Computation of rankings on partial derivatives Oleg Golubitsky (Queen's University)
Algorithms for finding symmetric Gröbner Bases in infinite dimensional rings Christopher Hillar (Texas A & M University)
Degenerating ideals to toric ideals: a method used in the solution of a problem from classical invariant theory Benjamin J. Howard (University of Minnesota Twin Cities)
Approximate radicals for clusters: an approach based on Gaussian elimination or SVD Itnuit Janovitz-Freireich (North Carolina State University)
Smooth and algebraic invariants of a group action Irina Kogan (North Carolina State University)
Representing NP-complete problems with polynomials ideals: an exploration of computational complexity based on Gröbner bases and Hilbert's nullstellensatz Susan Margulies (University of California)
An ideal separating extension of affine space Paul Pedersen (Los Alamos National Laboratory)
Partial differential equations and real, finitely generated, commutative, and associative algebra Paul Pedersen (Los Alamos National Laboratory)
Change of order for regular chains in positive dimension Eric Schost (École Polytechnique)
Computing holes in semi-groups Ruriko Yoshida (University of Kentucky)
Irreducible decomposition of monomial ideals and upper bound on number of irreducible components Mingfu Zhu (Clemson University)
Counting components heuristically Hans-Christian von Bothmer (Universität Hannover)
Tuesday, September 19
9:00a-9:30a Coffee   EE/CS 3-176
9:30a-10:20a Polar and dual varieties of real curves and surfaces Ragni Piene (University of Oslo) EE/CS 3-180
10:20a-10:50a Coffee   EE/CS 3-176
10:50a-11:40a Intersection and self-intersection of surfaces by means of Bezoutian matrices Laurent Buse (Institut National de Recherche en Informatique Automatique (INRIA)) EE/CS 3-180
11:40a-1:40p Lunch    
1:40p-2:30p Projections methods for the topology of algebraic curves and surfaces Bernard Mourrain (Institut National de Recherche en Informatique Automatique (INRIA)) EE/CS 3-180
2:30p-3:00p Coffee   EE/CS 3-176
3:00p-3:50p Applications of monomial ideals and computational algebra in the reverse engineering of biological networks. Michael E. Stillman (Cornell University) EE/CS 3-180
4:00p-4:30p Second Chances, a discussion period to revisit workshop topics and issues and look towards future directions.   EE/CS 3-180
4:30p-4:40p Group pictures    
Wednesday, September 20
9:00a-9:30a Coffee   EE/CS 3-176
9:30a-10:20a Finding all real solutions contained in a complex algebraic curve Charles W. Wampler (General Motors Corporation) EE/CS 3-180
10:20a-10:50a Coffee   EE/CS 3-176
10:50a-11:40a On the effectiveness of number theory in algebraic geometry J. Maurice Rojas (Texas A & M University) EE/CS 3-180
11:40a-1:40p Lunch    
1:40p-2:30p Tools for extracting information from numerically approximated varieties and schemes Chris Peterson (Colorado State University) EE/CS 3-180
2:30p-3:00p Coffee   EE/CS 3-176
3:00p-3:50p The numerical computation of the multiplicity of a component of an algebraic set Daniel J. Bates (University of Notre Dame) EE/CS 3-180
4:00p-4:30p Second Chances, a discussion period to revisit workshop topics and issues and look towards future directions.   EE/CS 3-180
Thursday, September 21
9:00a-9:30a Coffee   EE/CS 3-176
9:30a-10:20a New fewnomial upper bounds from Gale dual polynomial systems Frank Sottile (Texas A & M University) EE/CS 3-180
10:20a-10:50a Coffee   EE/CS 3-176
10:50a-11:40a Gröbner basis structure and decomposition of polynomial systems Xuhong Gao (Clemson University) EE/CS 3-180
11:40a-1:20p Lunch    
1:20p-2:10p On the complexity of Gröbner basis computation for regular and semi-regular systems Bruno Salvy (Institut National de Recherche en Informatique Automatique (INRIA)) EE/CS 3-180
2:10p-2:30p Coffee   EE/CS 3-176
2:30p-3:20p Mixed volume computation Tien-Yien Li (Michigan State University) EE/CS 3-180
4:00p-4:30p Second Chances- Moved to Friday.   EE/CS 3-180
6:30p-8:30p Workshop Dinner   Kikugawa at River Place 
Friday, September 22
9:00a-9:30a Coffee   EE/CS 3-176
9:30a-10:20a The Newton polytope of the implicit equation Bernd Sturmfels (University of California) EE/CS 3-180
10:20a-10:50a Coffee   EE/CS 3-176
10:50a-11:40a Algorithms for invariant rings of algebraic groups Harm Derksen (University of Michigan) EE/CS 3-180
11:50a-12:30p Second Chances, a discussion period to revisit workshop topics and issues and look towards future directions.   EE/CS 3-180
12:30p-12:40p Closing Discussion   EE/CS 3-180

LIST OF CONFIRMED PARTICIPANTS

Name Department Affiliation
Douglas N. Arnold Institute for Mathematics and its Applications University of Minnesota Twin Cities
Donald G. Aronson Institute for Mathematics and its Applications University of Minnesota Twin Cities
Evgeniy Bart   University of Minnesota Twin Cities
Daniel J. Bates Institute for Mathematics and its Applications University of Minnesota Twin Cities
Gian Mario Besana Department of Computer Science-Telecommunications DePaul University
Laurent Buse Project GALAAD Institut National de Recherche en Informatique Automatique (INRIA)
Eduardo Cattani Department of Mathematics and Statistics University of Massachusetts
Ionut Ciocan-Fontanine Institute for Mathematics and its Applications University of Minnesota Twin Cities
Maria Angelica Cueto Departamento de Matematica - FCEyN University of Buenos Aires
Wolfram Decker Fachrichtung Mathematik Universität des Saarlandes
Bernard Deconinck Department of Applied Mathematics University of Washington
Jesus Antonio De Loera Department of Mathematics University of California
Harm Derksen Department of Mathematics University of Michigan
Alicia Dickenstein Departamento de Matematica - FCEyN University of Buenos Aires
Jintai Ding Department of Mathematical Sciences University of Cincinnati
Sandra Di Rocco Department of Mathematics Royal Institute of Technology (KTH)
Xuan Vinh Doan Operations Research Center Massachusetts Institute of Technology
Kenneth R. Driessel Mathematics Department Iowa State University
David Eklund Matematiska Institutionen Royal Institute of Technology (KTH)
Makan Fardad Department of Electrical and Computer Engineering University of Minnesota Twin Cities
Xuhong Gao Department of Mathematical Sciences Clemson University
Luis Garcia-Puente Department of Mathematics Texas A & M University
Oleg Golubitsky School of Computing Queen's University
Jason E. Gower Institute for Mathematics and its Applications University of Minnesota Twin Cities
Genhua Guan Department of Mathematics Clemson University
Marshall Hampton Department of Mathematics and Statistics University of Minnesota
Gloria Haro Ortega Institute for Mathematics and its Applications University of Minnesota Twin Cities
Michael Corin Harrison Department of Mathematics and Statistics University of Sydney
Milena Hering Institute for Mathematics and its Applications University of Minnesota Twin Cities
Christopher Hillar Department of Mathematics Texas A & M University
Benjamin J. Howard Institute for Mathematics and its Applications University of Minnesota Twin Cities
Evelyne Hubert Project CAFE Institut National de Recherche en Informatique Automatique (INRIA)
Farhad Jafari Department of Mathematics University of Wyoming
Itnuit Janovitz-Freireich Department of Mathematics North Carolina State University
Anders Nedergaard Jensen Institut for Matematiske Fag Aarhus University
Gabriela Jeronimo Departamento de Matematica - FCEyN University of Buenos Aires
Roy Joshua Department of Mathematics Ohio State University
Irina Kogan Department of Mathematics North Carolina State University
Martin Kreuzer Department of Mathematics Universität Dortmund
Teresa Krick Departamento de Matematica - FCEyN University of Buenos Aires
Michael Kunte Fachrichtung Mathematik Universität des Saarlandes
Song-Hwa Kwon Institute for Mathematics and its Applications University of Minnesota Twin Cities
Oliver Labs Mathematik und Informatik Universität des Saarlandes
Sanjay Lall Department of Aeronautics and Astronautics 4035 Stanford University
Niels Lauritzen Institut for Matematiske Fag Aarhus University
Anton Leykin Institute for Mathematics and its Applications University of Minnesota Twin Cities
Tien-Yien Li Department of Mathematics Michigan State University
Hstau Liao Institute for Mathematics and its Applications University of Minnesota Twin Cities
Tie Luo Division of Mathematical Sciences National Science Foundation
Gennady Lyubeznik School of Mathematics University of Minnesota Twin Cities
Diane Maclagan Department of Mathematics Rutgers University
Susan Margulies Department of Computer Science University of California
Hannah Markwig Institute for Mathematics and its Applications University of Minnesota Twin Cities
Thomas Markwig Department of Mathematics Universität Kaiserslautern
Guillermo Matera Instituto de Desarrollo Humano Universidad Nacional de General Sarmiento
Laura Felicia Matusevich Department of Mathematics Texas A & M University
Richard Moeckel School of Mathematics University of Minnesota Twin Cities
Bernard Mourrain Project GALAAD Institut National de Recherche en Informatique Automatique (INRIA)
Uwe Nagel Department of Mathematics University of Kentucky
Jiawang Nie Institute of Mathematics and its Applications University of Minnesota Twin Cities
Michael E. O'Sullivan Department of Mathematics and Statistics San Diego State University
Jang-Woo Park Department of Mathematical Sciences Clemson University
Pablo A. Parrilo Laboratory for Information and Decision Systems Massachusetts Institute of Technology
Matt Patterson Department of Applied Mathematics University of Washington
Paul Pedersen Department of Computer and Computation Science Los Alamos National Laboratory
Chris Peterson Department of Mathematics Colorado State University
Sonja Petrovic Department of Mathematics University of Kentucky
Ragni Piene Centre of Mathematics for Applications University of Oslo
Sorin Popescu Department of Mathematics SUNY
Kristian Ranestad Department of Mathematics University of Oslo
Gregory J. Reid Department of Applied Mathematics University of Western Ontario
Victor Reiner School of Mathematics University of Minnesota Twin Cities
Joel Roberts School of Mathematics University of Minnesota Twin Cities
J. Maurice Rojas Department of Mathematics Texas A & M University
Fabrice Rouillier Projet SALSA Institut National de Recherche en Informatique Automatique (INRIA)
David Rusin Department of Mathematical Sciences Northern Illinois University
Michael Sagraloff Algorithms and Complexity Max-Planck-Institut für Informatik
Bruno Salvy Projet ALGO Institut National de Recherche en Informatique Automatique (INRIA)
Arnd Scheel Institute for Mathematics and its Applications University of Minnesota Twin Cities
Eric Schost LIX École Polytechnique
Frank-Olaf Schreyer Mathematik und Informatik Universität des Saarlandes
Chehrzad Shakiban Institute of Mathematics and its Applications University of Minnesota Twin Cities
Tanush Shaska Department of Mathematics and Statistics Oakland University
Andrew Sommese Department of Mathematics University of Notre Dame
Ivan Soprunov Department of Mathematics Cleveland State University
Frank Sottile Department of Mathematics Texas A & M University
Steven Sperber School of Mathematics University of Minnesota Twin Cities
Dumitru Stamate School of Mathematics University of Minnesota Twin Cities
Michael E. Stillman Department of Mathematics Cornell University
Bernd Sturmfels Department of Mathematics University of California
David Swinarski Department of Mathematics Columbia University
Agnes Szanto Department of Mathematics North Carolina State University
Nobuki Takayama Department of Mathematics Kobe University
Kathleen Iwancio Thompson   North Carolina State University
Carl Toews Institute for Mathematics and its Applications University of Minnesota Twin Cities
Ravi Vakil Department of Mathematics Stanford University
Mark van Hoeij Department of Mathematics Florida State University
Mauricio Velasco Department of Mathematics Cornell University
Jan Verschelde Department of Mathematics, Statistics and Computer Science University of Illinois
John Voight Institute for Mathematics and its Applications University of Minnesota Twin Cities
Hans-Christian von Bothmer Institut fur Mathematik Universität Hannover
Charles W. Wampler General Motors Research Lab General Motors Corporation
Daqing Wan Department of Mathematics University of California
Mingsheng Wang Institute of Software Chinese Academy of Sciences
Oliver Wienand Department of Mathematics University of California
Wenyuan Wu Department of Applied Mathematics University of Western Ontario
Ruriko Yoshida Department of Statistics University of Kentucky
Cornelia Yuen Department of Mathematics University of Kentucky
Zhonggang Zeng Department of Mathematics Northeastern Illinois University
Mingfu Zhu Dept of Mathematical Sciences Clemson University