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 ...
版权所有 © 清华大学 2024 京ICP备15006448号 京公网安备 110402430053 号
