Kevin Buzzard

Datei:Kevin buzzard in 2007.jpg

K. Buzzard, 2007

Kevin Mark Buzzard (* 21. September 1968) ist ein britischer Mathematiker, der sich mit Zahlentheorie und Modulformen beschäftigt. Er ist Professor für reine Mathematik am Imperial College London.<ref>Home - Professor Kevin Buzzard. Abgerufen am 29. August 2020. </ref>

Buzzard studierte an der Cambridge University (Bachelor 1990, Master 1994), wo er 1990 Senior Wrangler in den Tripos-Prüfungen war und 1995 bei Richard Taylor promovierte (The levels of modular representations). Als Post-Doc war er 1995 am Institute for Advanced Study und 1996/97 an der University of California, Berkeley. Ab 1998 war er Lecturer, ab 2002 Reader und ab 2004 Professor am Imperial College in London. Er war 2002 am Institut Henri Poincaré in Paris und Gastprofessor in Harvard.<ref>Kevin Buzzard: CV Kevin Buzzard. Abgerufen am 29. August 2020 (). </ref>

In der Laudatio auf den Whitehead-Preis werden seine Arbeiten zur vollständigen Beschreibung der möglichen Stufen modularer mod l Galois-Darstellungen und seine Arbeiten zu p-adischen Modulformen hervorgehoben.<ref name=":0">LMS Prizes 2001. 3. Oktober 2009, archiviert vom Vorlage:IconExternal am 3. Oktober 2009; abgerufen am 29. August 2020. </ref> Unter anderem vereinfachte er die Theorie von Robert F. Coleman und Barry Mazur über Familien p-adischer Modulformen (und verallgemeinerte deren Konstruktion von Eigencurves 2007 auf Eigenvarieties) und gab ein Kriterium aus der Galoistheorie dafür, wann eine p-adische Modulform analytisch zu einer klassischen Modulform fortgesetzt werden kann.

1993 erhielt er den Smith-Preis der Universität Cambridge.<ref>Prizes and Awards. Abgerufen am 29. August 2020 (). </ref> 2002 erhielt er den Whitehead-Preis der London Mathematical Society<ref name=":0" /> und 2008 den Senior Berwick-Preis.<ref>LMS Prizes. 4. August 2007, archiviert vom Vorlage:IconExternal (nicht mehr online verfügbar) am 4. August 2007; abgerufen am 29. August 2020. </ref>

Zusätzlich zu seinem Hintergrund in Zahlentheorie entwickelte er ein Interesse an der formalen, maschinengestützen Verifikation von mathematischen Beweisen.<ref>Home - Professor Kevin Buzzard. Abgerufen am 29. August 2020. </ref> Er initiierte und leitet das Xena Projekt, welches unter anderem Bachelor-Studenten dabei helfen soll, den Umgang mit dem Beweisassistenten Lean beizubringen.<ref>What is the Xena project? In: Xena. 8. Mai 2019, abgerufen am 29. August 2020 (). </ref> Buzzard hielt verschiedene Vorträge über damit verbundene Themen, wie der Homotopietypentheorie als Grundlegung für Mathematik auf dem Online Worldwide Seminar on Logic and Semantics<ref>OWLS. Abgerufen am 29. August 2020. </ref> oder maschinengestützten formalen Beweisen als mögliche Zukunft der Mathematik bei Microsoft Research.<ref>The Future of Mathematics? In: Microsoft Research. Abgerufen am 29. August 2020 (). </ref> Zusammen mit Johan Commelin und Patrick Massot gelang es Buzzard das mathematische Konzept des perfektoiden Raums, welches von Peter Scholze eingeführt wurde, in Lean zu formalisieren. Da es sich bei perfektoiden Räumen um komplexe Objekte handelt, welche erst 2012 eingeführt wurden<ref>Peter Scholze: Perfectoid Spaces. In: Publications mathématiques de l'IHÉS. Band 116, Nr. 1, November 2012, ISSN 0073-8301, S. 245–313, doi:10.1007/s10240-012-0042-x (springer.com [abgerufen am 29. August 2020]). </ref> und signifikant zu Scholzes Auszeichnung mit der Fields-Medaille beigetragen haben, soll dies demonstrieren, dass nicht nur einfache Mathematik mit verfügbaren Technologien formalisiert werden kann.<ref>Kevin Buzzard, Johan Commelin, Patrick Massot: Formalising perfectoid spaces. In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, New Orleans LA USA 2020, ISBN 978-1-4503-7097-4, S. 299–312, doi:10.1145/3372885.3373830 (acm.org [abgerufen am 29. August 2020]). </ref>

2022 war er Plenarsprecher auf dem Internationalen Mathematikerkongress (The rise of formalism in mathematics).

Schriften

• mit J. Nekovar, David Burns (Hrsg.): L-Functions and Galois-Representations. London Mathematical Society Lecturenotes, 2007.
• Eigenvarieties, in: David Burns, Kevin Buzzard, Jan Nekovář (Hrsg.), L-functions and Galois representations, London Math. Soc. Lecture Note Ser., 320, Cambridge University Press, 2007, S. 59–120
• What is the point of computers? A question for pure mathematicians, ICM 2022, Arxiv

Weblinks

Datei:Commons-logo.svg

Commons: Kevin Buzzard – Sammlung von Bildern, Videos und Audiodateien

• Homepage am Imperial College
• Kevin Buzzard in der Datenbank zbMATH

Einzelnachweise

<references />