报告人：任金波 厦门大学
时间：12月2日19：30
地点：二教306
题目：TBA
摘要：TBA
报告人：丁一文 北京大学
时间：2025年11月21日19:30
地点：二教306教室
题目：Hodge filtration and p-adic Langlands program
摘要：An initializing problem in p-adic local Langlands program to find the information of Hodge filtration on the automorphic side. This is a key issue making the p-adic local Langlands program much more delicate than the classical local Langlands correspondence. We will discuss some history and recent progress on the problem, with a focus on examples.
报告人：文再文 北京大学
时间：2025年11月21日16:30
地点：五教101教室
题目：智能数学推理：形式化与定理证明
摘要：本报告探讨通过数学形式化推动智能数学推理的技术路线。与传统依赖直觉的证明方式不同，形式化要求每一步都经过严格论证，具有验证可靠性高、定理可复用、支持模块化思维、可自动化验证等优势。我们将介绍数学优化形式化进展和在线协作ReasLab IDE，随后阐述利用Lean核心表达式树实现基于树状结构的前提选择，通过状态链将自然语言证明翻译为形式化证明方法，以及从结构到实例的定理自动形式化框架。
报告人：杨文元 北京大学
时间：11月19日19：30
地点：二教306
题目：Counting Problems in Geometric Group Theory and Applications
摘要：In this talk, we shall study a class of groups with contracting elements and survey several counting results in this class of groups. We will explain a basic tool called extension lemma in obtaining those counting results. This tool could be thought of as an orbit closing lemma in group theory. Appilcations are given to the coarse marked length spectrum and Hausdorff dimension of limit sets.
报告人：Tuvi Etzion, ISRAEL INSTITUTE OF TECHNOLOGY
报告时间：11月12日，10:00-11:00am
报告地点：二教 2204
报告题目：Nearly Perfect Codes
摘要：Nearly perfect packing codes are those codes that meet the Johnson upper bound on the size of error-correcting codes. This bound is an improvement to the sphere-packing bound. A related bound for covering codes is known as the van Wee bound. Codes that meet this bound will be called nearly perfect covering codes.This talk studies such codes with covering radius 1. It is shown that theset of these codes can be partitioned into three families, depending on the distribution of the Hamming distances between neighboring codewords. General properties of these code families are discussed. Constructions of codes for each of the families are presented. Finally,extended perfect covering codes are considered. Their punctured codes yield a variety of nearly perfect covering codes.
报告人：李琼玲 南开大学陈省身数学研究所
时间：10月31日19：30
地点：二教306
题目：An introduction to the non-Abelian Hodge correspondence
摘要：Many of the most beautiful discoveries in modern geometry arise from correspondences—deep relationships between seemingly different mathematical worlds. The Non-Abelian Hodge correspondence unites the topology of surface group representations, the differential geometry of harmonic maps and minimal surfaces, and the algebraic geometry of Higgs bundles. Beginning with familiar ideas such as minimal surfaces and energy minimization, we will explore how these concepts come together in this correspondence and how they open the door to modern topics including higher Teichmüller theory.
报告人：李平 复旦大学
时间：10月24日19：30
地点：二教306
题目：Rational projective planes and beyond
摘要：有理投影平面（RPP）的存在性最早应是庞加莱在研究流形Betti数实现问题上提出的。它在指定维数的存在性与某些二次同余方程的解密切相关。对RPP存在与否的研究也激发了与指标定理相关量的显示表达式的一些工作。在这个报告中我们将从最基础开始讲述这些事情。
报告人：吴云辉 清华大学
时间：10月15日19：30
地点：五教101
题目：Recent developments on Weil-Petersson random hyperbolic surfaces
摘要：In this talk, we report several very recent asymptotic results on certain classical geometric and spectral quantities viewed as random variables on the moduli space of Riemann surfaces for large genus. This subject had been initiated by M. Mirzakhani in 2010. This talk is based on several joint works with Yuxin He and Yuhao Xue.
报告人：谢俊逸 北京大学
时间：10月11日15：30
地点：五教101
题目：复动力系统的乘子谱刚性
摘要：将一个有理映射的周期点的乘子收集起来便得到其乘子谱。McMullen的一个著名结果证明除去一族显然的反例外，相同乘子谱的动力系统只有有些个。同一篇文章中McMullen问一个一般的有理映射是否能通过乘子谱唯一决定这个有理映射。这可以看成是复动力系统中的“听音辨鼓”问题。我与冀诸超合作证明，在模空间的一个低维代数子簇外，有理映射可以被其乘子谱唯一决定。这肯定的回答了McMullen的问题。
报告人：周宇 北京师范大学
时间：9月26日19：30
地点：二教306
题目：Geometric models in algebraic representation theory
摘要：This talk offers an accessible introduction to algebraic representation theory. After presenting some basic ideas, I will use simple examples to demonstrate how to construct geometric models that make abstract algebra more visual, and how these models can then be applied to address certain problems.
报告人：Tengren Zhang（新加坡国立大学）
时间：9月15日19：30
地点：五教104
题目: An introduction to Patterson-Sullivan theory for Fuchsian groups
摘要: The aim of this talk is to introduce the notion of Patterson–Sullivan measures in the context of Fuchsian groups. I will begin by motivating the definition through the example of uniform lattices in PSL(2,R), then describe Patterson’s construction of these measures, and conclude with Sullivan’s ergodic dichotomy theorem.
时间：9月8日（周一）上午10:00
地点：五教5107