中国科学院数学与系统科学研究院
数学研究所
数学科学全国重点实验室
数学所讲座
（第127讲）
(The Institute Lecture)
报告人： 林伟南 教授（复旦大学）
题 目：代数拓扑中的乘法结构与机械化计算
时 间：2026.5.6(星期三), 15:30-17:00(15:00-15:30为茶点时间, 茶点地点: 数学院南楼N920)
地 点：数学院南楼N204/ZOOM会议:216-832-109密码：123456
摘 要: 自上世纪中叶以来，上同调环与Steenrod代数等乘法结构的引入，极大地深化了我们对流形与空间同伦型的理解。本报告中，我们将介绍代数拓扑中丰富的乘法理论，阐释乘法结构如何成为撬动高维几何与拓扑问题的最有力杠杆，以及我们在高效机械化计算稳定同伦范畴中乘法结构的算法工作。
林伟南教授简介: 林伟南，现为复旦大学上海数学中心青年研究员。2021年在美国芝加哥大学取得博士学位，2021年-2024年在北京大学做博士后研究。目前获国家青年科学基金及天元前沿重点专项资助。他的主要研究方向为代数拓扑学，特别关注稳定同伦论、motivic同伦论，注重机械化在现代同伦论中的应用。
数学所讲座(The Institute Lecture)：旨在讲解现代数学的重要内容及其思想、方法和影响，扩展科研人员和研究生的视野，提高数学修养，加强相互交流，增强学术气氛。时间一般安排在每月第一个星期三（寒暑假除外）。
附件：