Stevo Todorčević

mathematician

Stevo Todorčević FRSC (Serbian Cyrillic: Стево Тодорчевић; born February 9, 1955) is a Canadian-French-Serbian mathematician, one of the world’s leading logicians and a world leader in set theory and its applications to pure mathematics.[1] He is a Canada Research Chair Professor in mathematics at the University of Toronto,[2] and a senior director of research at the Centre national de la recherche scientifique (CNRS) in Paris.[3]

Stevo Todorčević
Todorčević in 1984
BornFebruary 9, 1955 (1955-02-09) (age 69)
Alma materUniversity of Belgrade
AwardsBalkan Mathematical Society First Prize 1980, 1982
CRM-Fields-PIMS 2012
Shoenfield 2013
Gödel Lecturers 2016
Scientific career
Fields
InstitutionsUniversity of Toronto
CNRS
ThesisResults and Independence Proofs in Combinatorial Set Theory (1979)
Doctoral advisorĐuro Kurepa
Doctoral students

Early life and education

change

Todorčević was born at Ubovića Brdo, Bosnia and Herzegovina where he lived until the second grade of primary school. After, his family moved to Banatsko Novo Selo where he finished primary school.[4] He enrolled "Uroš Predić"[5] grammar school in Pančevo. He demonstrated his talent and affinity toward mathematics in the third and fourth years of the grammar school. After finishing grammar school he enrolled Faculty of Science, Belgrade University, where he studied pure mathematics. During his undergraduate studies he attended Đuro Kurepa's advanced mathematical classes. In 1978 he finished graduate studies. Kurepa validated Todorčević's master thesis as good enough to be accepted as a doctoral thesis. Regardless, Todorčević wrote his doctoral thesis in 1979 with Kurepa as his advisory. In his address, preceding the oral defense of the doctoral thesis, Kurepa stressed that he was not able to find external readers of the Stevo's doctoral thesis in Yugoslavia, capable of fully understanding and evaluating Stevo's work, and turned to two university professors from England. Kurepa added that Stevo's talent was a miracle and that Stevo was the most talented out of the 40 Ph.D. students he advised in the past.[6]

Career

change

Summary

change

According to the Centre de Recherches Mathématiques, the Fields Institute and the Pacific Institute for Mathematical Sciences announcement, as of December 14, 2014,[7]his work is recognized for its striking originality and technical brilliance. He was an invited speaker at the 1998 ICM in Berlin for his discovery and work on rho-functions. He made major contributions to the study of S- and L-spaces in topology, proved a remarkable classification theorem for transitive relations on the first uncountable ordinal, made a deep study of compact subsets of the Baire class 1 functions thus continuing work of Bourgain, Fremlin, Talagrand, and others in Banach space theory. Together with P. Larson he completed the solution of Katetov’s old compact spaces metrization problem. Among the most striking recent accomplishments of Todorčević (and co-authors) are major contributions to the von Neumann and Maharam problems on Boolean algebras, the theory of non-separable Banach spaces, including the solution of an old problem of Davis and Johnson, the solution of a long-standing problem of Laver, and the development of a duality theory relating finite Ramsey theory and topological dynamics.

Further,[8] Todorčević is known for his the side-condition method in set-theoretic forcing, the invention and development of walks on ordinals and their characteristics, and other research that bridge between different areas of mathematics.

Research and career relevant events

change

Todorčević's first recognized contribution to Set theory was given in his 1978 Master’s Thesis. He constructed a model of   in a way to allow him to make the continuum any regular cardinal and derived a variety of topological consequences of   Here   is an abbreviation for Martin's Axiom and  – for weak Kurepa Hypothesis.[9]

Todorčević earned his doctoral degree in 1979 at the University of Belgrade with Đuro Kurepa as advisor and Keith Devlin as outside reader. Devlin attended the defense; he encouraged Todorčević to visit Jerusalem where he attended Saharon Shelah's lectures on forcing.[10]

In the July–August 1980 Todorčević attended the six-week summer school called Settop held in Toronto. At the conference, Todorčević along with Abraham had proved the existence of rigid Aronszajn trees and the consistency of   + there exists a first countable  -space.   is an abbreviation for the Continuum Hypotesis.[11]

He gave a survey of work on trees from combinatorial and set-theoretic perspectives, in the 1980s and continued this work on exploring consistent possibilities for various types of trees, looking for results for trees on multiple cardinals, or with required or forbidden types of subtrees. The elegance of his presentation drew a wide audience for this work.[12]

As to the partition calculus in 1980’s, "Todorčević proved a startling square bracket partition result for the uncountable and introduced new technology whose ramifications are still unfolding, and proved a stepping up lemma for negative square bracket partition relations.[13]"

Todorčević was a Miller Research Fellow in Berkeley from 1983 to 1985. In the 1985/6 academic year, he was a member of the Institute for Advanced Study.

For his proof of the partition relation  ,[14] Todorčević earned explicit appreciations. Paul Erdös wrote, "This certainly is an unexpected and sensational result."[15] and Jean A. Larson added, "... (it) was a wonderful shock that introduced a wide audience to the walks on ordinals[note 1] and the oscillation function."[17] Todorčević obtained this partition relation in September 1984, while lecturing on it in the Berkeley seminar, wrote up the notes of his lectures and circulated them in January 1985 and published the result later, in 1987. The walks on ordinals method Todorčević devised in May 1984 when he came up with a new proof of the existence of a Countryman line.[18]

In order to establish this partition relation, Todorčević discovered an entirely new mathematical object called rho functions.[19] Sierpinski in 1933 coloured the edges of the complete graph   whose vertices are the elements of the smallest uncountable cardinal number. He coloured the edges of   with 2 colours in such a way that each colour appears on some edge of any uncountable subgraph of  . Galvin and Shelah in 1980s had increased the number of colours from 2 to 3. Improving 3 to 4 seemed beyond any available methods. Todorčević used his newly discovered rho functions to increase the colours not just to 4, but all the way up to the smallest uncountable cardinal, which is the maximum conceivable number. This was one of the results for which he was invited to the Berlin ICM.

The discovery of rho functions (and the various applications they have found), an entirely new mathematical object, one out of the five in Set theory in the twentieth century, is celebrated as a major advance in understanding of mathematics and an extended period of exciting progress.[1]

In 1989 Todorčević published a monograph, Partition Problems in Topology. He wrote that proof techniques developed for solving the S-space problem and the L-space problem turn out to be useful in many other problems in general topology, writing "this is so because Ramsey-type theorems are basic and so much needed in many parts of mathematics and (S) and (L) happen to be Ramsey-type properties of the uncountable most often needed by the topologist".[20]

He became a corresponding member of the Serbian Academy of Sciences and Arts as of 1991 and a full member of the Academy in 2009.[21]

He was invited to deliver the Tarski Lectures in 2014[22].

Todorčević is the Royal Society of Canada fellow.[23] In the 2016 RSC fellowship nomination detailed appraisal it was written:

"Dr. Todorcevic has been a brilliantly creative and productive mathematician for almost forty years, and is now clearly a world leader in set theory and its applications to pure mathematics."[1]

Advisory work

change

One of his Ph.D. students, Ilijas Farah, won the 1997 Sacks Prize for his Ph.D. dissertation. The Ph.D. was received on June, 1997, at the University of Toronto.[24] Farah, now a York University professor,[25] was an invited speaker on the ICM, Seoul 2014, Logic session where he presented his work related to the Logic and operator algebras.[26] Another Todorčević's Ph.D. student, Justin Tatch Moore, won the "Young Scholar's Competition" award in 2006, in Vienna, Austria. The Competition was a part of the "Horizons of Truth" celebrating the Gödel Centenary 2006.[27] Moore, now a Cornell University professor,[28] was an invited speaker on the ICM, Hyderabad 2010, Logic session where he presented his work related to the Proper forcing axiom.[29]

Awards and recognitions

change

Todorčević is the winner of

  • the first prize of the Balkan Mathematical Society for 1980 and 1982,[30]
  • the 2012 CRM-Fields-PIMS prize in mathematical sciences,[7]
  • the Shoenfield prize for 2013,[31]

He was also

  • the ICM 2006 Madrid, Spain - Sectional Panels Member for Logic and Foundations [32]
  • the Tarski lecturer (2014) at UC Berkeley [33]
  • the Twenty-seventh annual Gödel lecturer (2016) of the Association for Symbolic Logic.[34] and
  • the Distinguished lecturer (2023) at the Fields Institute [35]

References

change
  1. 1.0 1.1 1.2 RSC Fellowship Citation and Detailed Appraisal: Stevo Todorcevic
  2. Stevo Todorcevic, a Canada Research Chair Professor, retrieved 2024-11-12.
  3. CNRS Directeurs de recherche de 2e classe: TODORCEVIC Stevo
  4. Rešavač „nerešivih“ problema (Solver "unsolved" problems)
  5. "„Uroš Predić" Grammar School, Pančevo". Archived from the original on 2012-06-04. Retrieved 2017-12-27.
  6. Stevo Todorčević, memories of Ž. Miloradović
  7. 7.0 7.1 Stevo Todorcevic (Toronto) receives 2012 CRM-Fields-PIMS Prize, Fields Institute, retrieved 2012-03-07.
  8. "Boole's Conferences Cork Ireland: Stevo Todorčević's biographical note". Archived from the original on 2016-12-13. Retrieved 2016-11-18.
  9. [Gabbay, Kanamori and Woods, 2012], p. 281
  10. [Gabbay, Kanamori and Woods, 2012], p. 282
  11. [Gabbay, Kanamori and Woods, 2012], p. 290
  12. [Gabbay, Kanamori and Woods, 2012], p. 152
  13. [Gabbay, Kanamori and Woods, 2012], p. 156
  14. S. Todorcevic: Partitioning pairs of countable ordinals. Acta Math., 159(3-4):261-294, 1987,
  15. P. Erdös: My joint work with Richard Rado in Surveys in Combinatorics 1987: Invited Papers for the Eleventh British Combinatorial Conference by C. Whitehead, CUP Archive, Jul 16, 1987, p. 70
  16. Bulletin of Symbolic Logic Reviews
  17. [Gabbay, Kanamori and Woods, 2012] p. 296
  18. [Gabbay, Kanamori and Woods, 2012], p. 296
  19. Stevo Todorcevic: Partitioning pairs of countable ordinals. Acta Math. , 159(3-4):261-294, 1987.
  20. [Gabbay, Kanamori and Woods, 2012] p. 291
  21. Membership Archived 2016-03-05 at the Wayback Machine, Serbian Academy, retrieved 2012-03-07.
  22. Tarski Lectures Archived 2016-09-27 at the Wayback Machine
  23. Eight U of T science faculty join Royal Society of Canada as fellows
  24. 1997 Sacks Prize winners
  25. "York University Ilijas Farah CV" (PDF). Archived from the original (PDF) on 2016-12-22. Retrieved 2017-12-24.
  26. "Jang,Sun Young; Kim, Young Rock; Lee, Dae-Woong; Yie, Ikkwon (ed): Proceedings of the International Congress of Mathematicians, Seoul 2014, VOLUME II, Invited Lectures, p. 15" (PDF). Archived from the original (PDF) on 2017-04-13. Retrieved 2017-12-24.
  27. University of Toronto, Department of Mathematics: Outstanding award for Justin Moore
  28. Cornell University Justin Tatch Moore CV
  29. Bhatia, Rajendra (ed): Proceedings of the International Congress of Mathematicians, Volume 1, Plenary Lectures and Ceremonies, Hyderabad 2010 p. 3
  30. Le 6ème Congrès Européen de Mathématiques Cracovie, 2 au 7 Juillet 2012
  31. Stevo Todorcevic receives 2013 Shoenfield Prize for a book Archived 2016-03-04 at the Wayback Machine, ASL, retrieved 2014-07-07
  32. "ICM PC 2006 Program Committee and Sectional Panels 2006 Madrid, Spain". Retrieved 2024-11-12.
  33. "2014 Tarski Lectures". Retrieved 2024-11-12.
  34. "The Twenty-seventh Annual Gödel Lecture 2016: Stevo Todorcevic". Archived from the original on 2016-10-21. Retrieved 2016-11-18.
  35. "Distinguished Lecture Series: Stevo Todorčević". Retrieved 2024-11-12.
  1. Method of minimal walks is a tool for constructing uncountable objects -- from set-theoretic trees to non-separable Banach spaces -- by utilizing a careful analysis of certain descending sequences of ordinals known as minimal walks.[16]

Sources

change
  • [Gabbay, Kanamori and Woods, 2012] Sets and Extensions in the Twentieth Century by Dov M. Gabbay, Akihiro Kanamori, and John Woods (editors), Elsevier, 2012

Other websites

change