-

Perfectoid spaces in Lean

组织者

文鏞碩 , 清水浩二

演讲者

文鏞碩

时间

2024年09月19日 12:15 至 13:00

地点

A4-1

摘要

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

演讲者介绍

Yong Suk Moon于2022年秋作为助理研究员入职BIMSA。他的研究方向包括数论和算术几何。具体而言，他现在的研究集中在p-进霍奇理论，Fontaine-Mazur猜想和p-进Langlands纲领。他于2016年在哈佛大学取得博士学位，之后在普度大学作为访问助理教授工作3年，2019-2022年在美国亚利桑那大学做博士后。