Number Theory Web Seminar

This number theory seminar is purely online. Our talks come from various corners of the field and of the world. They are streamed live on Zoom.

Organizers:

  • Michael Bennett (University of British Columbia)

  • Philipp Habegger (University of Basel)

  • Alina Ostafe (UNSW Sydney)


There are no fees, but registration is necessary. To register please follow this link.

Registered users will receive an email a few hours before the talk with a link to the Zoom meeting.

The seminar runs every Thursday. Please note the usual times of the seminar below and in the FAQ Section.

Talks are usually 50 minutes and then time for some questions.

Contact: ntweb.seminar@gmail.com

Please consider the following:

  • Each talk has a unique Zoom meeting-ID that all registered participants receive by email before the talk. You will receive this email from organizers@ntwebseminar.org. Never publicly share this ID or the password.

  • If you did not received an invitation one hour before the talk please check your spam folder. If you cannot find the email there please contact ntweb.seminar@gmail.com.

  • Some mail servers are blocking our domain. Registered participants can click here to get the link to the next talk.

  • To unsubscribe from the mailing list please follow the link at the bottom of the invitation email.

  • Participant's audio is muted by default. You can unmute to ask questions.

  • You can ask questions in the chat window or by unmuting the microphone and asking them directly.

Next talk:



Johan Commelin, Liquid Tensor Experiment
(Albert–Ludwigs-Universität Freiburg)


Thursday, October 21, 2021 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 8:30pm Indian Standard Time, 11pm CST)
Friday, October 22, 2021 (2am AEST, 4am NZST)

Abstract: In December 2020, Peter Scholze posed a challenge to formally verify the main theorem on liquid $\mathbb{R}$-vector spaces, which is part of his joint work with Dustin Clausen on condensed mathematics. I took up this challenge with a team of mathematicians to verify the theorem in the Lean proof assistant. Half a year later, we reached a major milestone, and our expectation is that in a couple of months we will have completed the full challenge.

In this talk I will give a brief motivation for condensed/liquid mathematics, a demonstration of the Lean proof assistant, and discuss our experiences formalizing state-of-the-art research in mathematics.


Upcoming talks:

Dimitris Koukoulopoulos, tba
(University of Montreal)


Thursday, October 28, 2021 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 8:30pm Indian Standard Time, 11pm CST)
Friday, October 29, 2021 (2am AEST, 4am NZST)

Abstract: tba


Katherine Stange, tba
(University of Colorado, Boulder)


Thursday, November 4, 2021 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, November 5, 2021 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Avi Wigderson, Randomness
(Institute for Advanced Study)


Thursday, November 11, 2021 (8am PST, 11am EST, 4pm GMT, 5pm CET, 6pm Israel Standard Time, 9:30pm Indian Standard Time)
Friday, November 12, 2021 (12am CST, 3am AEDT, 5am NZDT)

Abstract: Is the universe inherently deterministic or probabilistic? Perhaps more importantly - can we tell the difference between the two?

Humanity has pondered the meaning and utility of randomness for millennia.

There is a remarkable variety of ways in which we utilize perfect coin tosses to our advantage: in statistics, cryptography, game theory, algorithms, gambling... Indeed, randomness seems indispensable! Which of these applications survive if the universe had no (accessible) randomness in it at all? Which of them survive if only poor quality randomness is available, e.g. that arises from somewhat "unpredictable" phenomena like the weather or the stock market?

A computational theory of randomness, developed in the past several decades, reveals (perhaps counter-intuitively) that very little is lost in such deterministic or weakly random worlds. In the talk I'll explain the main ideas and results of this theory, notions of pseudo-randomness, and connections to computational intractability.

It is interesting that Number Theory played an important role throughout this development. It supplied problems whose algorithmic solution make randomness seem powerful, problems for which randomness can be eliminated from such solutions, and problems where the power of randomness remains a major challenge for computational complexity theorists and mathematicians. I will use these problems (and others) to demonstrate aspects of this theory.


Myrto Mavraki, tba
(Harvard University)


Thursday, November 18, 2021 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, November 19, 2021 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Alexei Skorobogatov, tba
(Imperial College London)


Thursday, November 25, 2021 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, November 26, 2021 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Kiran Kedlaya, tba
(University of California San Diego)


Thursday, December 2, 2021 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, December 3, 2021 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Samir Siksek, tba
(University of Warwick)


Thursday, December 9, 2021 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, December 10, 2021 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Sarah Zerbes, tba
(University College London, UK)


Thursday, December 16, 2021 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, December 17, 2021 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Péter Varjú, tba
(University of Cambridge)


Thursday, January 13, 2022 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, January 14, 2022 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Larry Guth, tba
(MIT)


Thursday, January 27, 2022 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, January 28, 2022 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Peter Humphries, tba
(University of Virginia)


Thursday, February 3, 2022 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, February 4, 2022 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


David Harvey, tba
(UNSW Sydney)


Thursday, February 10, 2022 (12pm PST, 3pm EST, 8pm GMT, 9pm CET, 10pm Israel Standard Time)
Friday, February 11, 2022 (1:30am Indian Standard Time, 4am CST, 7am AEDT, 9am NZDT)

Abstract: tba


Ekin Özman, tba
(Boğaziçi University)


Thursday, March 3, 2022 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 9:30pm Indian Standard Time)
Friday, March 4, 2022 (12am CST, 3am AEST, 5am NZST)

Abstract: tba


Ana Caraiani, tba
(Imperial College London)


Thursday, April 7, 2022 (8am PDT, 11am EDT, 4pm BST, 5pm CEST, 6pm Israel Daylight Time, 8:30pm Indian Standard Time, 11pm CST)
Friday, April 8, 2022 (1am AEST, 3am NZST)

Abstract: tba


Sponsors:

We gratefully acknowledge the generous support of:

  • University of Basel (financial support, zoom licence)

  • Max Planck Institute for Mathematics (zoom licence, 2020)

  • University of New South Wales (zoom licence)