数论讨论班

9月11日 (周五)

15:00–17:00

光华楼东主楼 1601

吉泽坤

(中国科学技术大学)

Title: Periods and de Rham-Betti Groups of Abelian Varieties.

Abstract: The theory of de Rham-Betti (dRB) structures and groups was introduced by André to study polynomial relations among the periods of smooth projective varieties over $\overline{\mathbb{Q}}$, within the framework of Grothendieck's period conjecture. In this talk, I will focus on the case of abelian varieties. Much of our current knowledge about their dRB structures relies on Wüstholz's powerful Analytic Subgroup Theorem. I will explain both the role of this theorem and its limitations in detecting relations among periods. In the second part of the talk, inspired by the work of Kreutz, Shen, and Vial, I will outline a strategy for determining the dRB groups of type IV abelian fourfolds, despite our limited knowledge of the relations among their periods. This talk is based on the preprint https://arxiv.org/abs/2607.23171

9月18日 (周五)

15:00–16:30

光华楼东主楼 2001

袁轶君

(西湖大学)

Title: Formalization of non-Archimedean functional analysis

Abstract: In this talk, I will introduce the formalization of the foundations of non-Archimedean functional analysis in Lean 4. This work includes the basic properties of spherical completeness, examples and non-examples such as the field $\mathbb{C}_p$ of p-adic complex numbers. As applications, we formalize Hahn-Banach extension theorem and the spherical completion for non-Archimedean Banach spaces. If time permits, I will also talk about how formalization strengthen our trust on mathematical proofs in the era of AI.