AbstractThe p-curvature is a fundamental invariant for connections in characteristic p. I will explain the definition and basic properties
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 ...