AbstractWe will discuss how the notion of "schemes" in algebraic geometry can beformalized in the Lean theorem proverSpeaker IntroYong Suk Moon joined BlMSA in 2022 fall as an assistant professor. His research area is numbertheory and arithmetic geometry. More specifically, his current research focuses on p-adic Hodgetheory, Fontaine-Mazur conjecture, and p-adic Langlands program. He completed ...
AbstractHeights may be viewed as a tool that turns geometry into arithmetic. l will explain this bridgethrough a few concrete examples.Speaker IntroArnaud Plessis is an assistant professor at BlMSA from September 2023. His research is mainlyfocused on diophantine geometry. He obtained his Phd. thesis in 2019 at Universit de CaenNormandie. Before ioining BlMSA, he has been Attach Temporaire d'En...
版权所有 © 清华大学 2024 京ICP备15006448号 京公网安备 110402430053 号
