Perfectoid spaces in Lean

Time：Thur., 12:00-1:00 pm, Sept. 19, 2024

Venue：BIMSA A4-1

Organizer：Yong Suk Moon, Koji Shimizu

Speaker：Yong Suk Moon

BIMSA-YMSC Number Theory Lunch Seminar

This is an in-person seminar at BIMSA over lunch, aimed to promote communications in the Number Theory teams at BIMSA and YMSC. Each talk is 45 minutes long and does not focus on research results. Instead, we encourage each speaker to discuss either (1) a basic notion in Number Theory or related fields or (2) applications or computational aspects of Number Theory. People interested in Number Theory are welcome to attend.

Organizers：

Yong Suk Moon, Koji Shimizu

Speaker：

Yong Suk Moon

Time：

Thur., 12:00-1:00 pm, Sept. 19, 2024

Note: The lunch gathering starts at noon, and the talk begins at 12:15.

Venue：

BIMSA A4-1

Title：

Perfectoid spaces in Lean

Abstract:

We will briefly discuss how the notion of perfectoid spaces is formalized in Lean.

DATESeptember 17, 2024

Related News

0
Perfectoid felds and perfectoid spaces
Abstractin the late 1970s, Fontaine and Wintenberger found that certain interesting fields of characteristic zero and p have the same Galois groups, which eventually led to the theory of perfectoid fields and perfectoid spaces by Schoize. I will explain examples of these mathematical obiects and why they are interesting. This is a less technical talk aimed at people in Number Theory and related...
1
BIMSA-YMSC Number Theory Lunch Seminar | Perfectoid fields and perfectoid spaces
This is an in-person seminar at BIMSA over lunch, aimed to promote communications in the Number Theory teams at BIMSA and YMSC. Each talk is 45 minutes long and does not focus on research results. Instead, we encourage each speaker to discuss either (1) a basic notion in Number Theory or related fields or (2) applications or computational aspects of Number Theory. People interested in Number Th...