Uniformization of abelian varieties

This is an in-person seminar at BIMSA over lunch, aimed to promote communications in the Number Theory teams at BIMSA and YMSC. Each talk is 45 minutes long and does not focus on research results.

Simpson's correspondence and the P=W conjecture

Abstract： For a complex projective curve C and a reductive group G, the character variety M_B and the moduli of Higgs bundles M_Dol are canonically homeomorphic via the Simpson's correspondence an

求真体育 | 马杯定向越野

定向越野战报 秋风渐凉,求真书院迎来了又一个自己的体育队！让我看看是哪个体育代表队这么姗姗来迟呢?原来它是——求真定向越野队！ （图为求真定向越野图标） 定向队可能是求真唯一一个先参与马杯比赛后才建队的...

一二·九 | 数见“一二·九”，真情忆初心主题活动

求真体育 | 马杯定向越野

求真体育 | 第六周总结&第七周预告

女赛三年 | 周末又开赛

​

OpenRL通用强化学习框架

Abstract 强化学习作为机器学习领域中重要的训练范式，在机器人、自然语言、内容生成、自动驾驶、推荐系统中都发挥着极其重要的作用。OpenRL作为一个通用强化学习框架，通过统一的训练接口，同时支持单智能体，多...

Differential Geometry Seminar | Recovering contact forms from boundary data

Abstract： Let $X$ be a compact connected smooth manifold with boundary. The paper deals with contact $1$-forms $\beta$ on $X$, whose Reeb vector fields $v_\b$ admit Lyapunov functions $f$. We prov...

Introduction to Topos Theory | Categorical logic

Abstract： We will begin our introduction to (many-sorted) first-order predicate logic and the interpretation of various fragments of this logic in categories with sufficient structure. Reference