Mathematician Jim Geelen of the University of Waterloo and his colleagues Bert Gerards (CWI and Maastricht University, the Netherlands) and Geoff Whittle (Victoria University of Wellington, New Zealand) have proved the famous 40-year old Rota's conjecture. The team has been working for almost 15 years on solving this mathematical problem posed by the famous mathematician and philosopher Gian-Carlo Rota in 1970. Earlier this year, in Waterloo, the trio completed the final step in their epic project.
Rota's conjecture relates to a specialized area of mathematics known as matroid theory, a modern form of geometry, which was pioneered by the world-famous Waterloo-based mathematician Bill Tutte. The theory investigates the embedding of abstract geometric structures (matroids) into concrete geometric frameworks (namely, projective geometries over a given finite field). The conjecture is that, for each finite field, there is a finite set of obstructions preventing such a realization. The conjecture was posed by Rota at the International Congress of Mathematics in 1970, serendipitously, one week before Geelen was born.
In 1999, Geelen, Gerards and Whittle joined forces to work on Rota's conjecture and, simultaneously, on generalizing the famous Graph Minor Theory developed by Robertson and Seymour to matroids. Last year they completed their Matroid Minor Theory (PDF) which gives deep insights into the structure of matroids. The proof of Rota's conjecture relies on the full power of that theory and, in addition, required groundbreaking new results on matroid connectivity.
According to the trio, the real hard work only just began when early this year they started writing up the results of their work. The Graph Minors Theory itself filled more than 600 journal pages and the Matroid Minors Theory will certainly be at least as long. The team expects that it will take them at least three years to complete the writing.
"For me the most rewarding part of the research project has been the collaboration with Bert and Geoff. We work together about three times a year typically for periods of three weeks either here in Waterloo or in New Zealand or the Netherlands. Those visits are intense; we sit in a room together, all day every day, in front of a whiteboard. The discussion can be very lively at times, while at other times, when we are stuck, we might sit there for two hours without saying a word; each just thinking about ways to overcome the particular obstacle," says Jim.
Jim Geelen is a professor in the Department of Combinatorics and Optimization at the University of Waterloo and holds a Canada Research Chair. He has received several prestigious honours including a Fulkerson Prize, a Sloan Fellowship, and the Coxeter-James Prize.
Read more about Jim's work on Rota's conjecture in the Kitchener-Waterloo Record.