学术文章
Prüfer 基概形上 Brauer 群的纯性（准备中；与Yisheng Tian合作）
非稳定 K1 函子的 A1 不变性（准备中）
赋值环上的 Bass–Quillen 猜想（与Fei Liu合作; Int. Math. Res. Not, 2025, doi: 10.1093/imrn/rnaf142）
以半局部 Prüfer 环上的光滑代数为基环，其上仿射空间的全迷向约化群主丛均为基环上主丛的拉回（该全迷向假设为最优条件）.
常约化群概形的 Grothendieck–Serre 猜想（已提交; 与Fei Liu合作; 预印本 arXiv: 2301.12460）
在半局部 Prüfer 环上的光滑代数上的约化群概形若来自基概形, 则其主丛 Zariski 半局部平凡当且仅当其在一般点处平凡. 另外, 我们建立半局部 Prüfer 环上光滑代数上的完全迷向群主丛同构类的 A1 不变性和 Nisnevich 猜想的几种情形.
Prüfer基概形上的拟分裂主丛和纯性（与Fei Liu合作, Journal de l'École Polytechnique Mathématiques, 2024, doi: 10.5802/jep.253）
我们建立任意局部环上的 Auslander–Buchsbaum 公式, 证明向量丛的纯性定理, 并得到约化群主丛的纯性定理. 另一方面, 通过研究 Prüfer 基上光滑概形的仿因子(parafactorial)对, 建立乘型群的上同调纯性定理, 并通过 Panin–Fedorov–Česnavičius 的几何方法证明半局部 Prüfer 基概形上 Grothendieck–Serre 猜想的几种情形.
混合特征情形光滑射影概形的Grothendieck–Serre猜想（与Ivan Panin合作；预印本 arXiv: 2302.02842）
在混合特征的离散赋值环上的光滑射影概形上，半单单连通群概形的主丛若在函数域上平凡，则其 Zariski 局部平凡.
弱初等纤维化（与Ivan Panin合作；Algebra i Analiz, 37(1): 32–56）
我们定义概形的弱初等纤维化以推广 Artin 在 SGA4 中定义的"好邻域"概念. 我们证明了离散赋值环 R 上光滑射影概形 X 容许Zariski局部的弱初等纤维化，其中纤维化的参数空间为 R 上仿射空间中的仿射开子集，使得 X 局部展现为紧化边界良好的相对光滑曲线.
离散赋值环上光滑射影概形的几何表现定理（与Ivan Panin合作; 预印本 arXiv: 2302.02818）
一维Prüfer概形上分离群代数空间的可表性（可来函索取）
在一维的 Prüfer 概形(特别地，秩一赋值环)上，代数空间范畴中的群对象若分离则都是概形.
Prüfer基概形上群主丛上的丰沛层 (预印本 arXiv: 2209.02443)
本文研究 Prüfer 基概形上的 Hartogs 现象，获得丰沛性判据，以此在群主丛上显式构造丰沛线丛，最后证明丰沛与半丰沛性的延拓定理.
赋值环上的Grothendieck–Serre猜想 (Compositio Mathematica, 2024, doi: 10.1112/S0010437X23007583)
在赋值环上，约化群概形的主丛若在分式域上平凡，则其本身平凡.
半局部戴德金环上的Grothendieck–Serre猜想 (Transform. Groups, 2020, doi: 10.1007/s00031-020-09619-8)
野相容系统与六函子 (预印本 arXiv 1801.06065)
我们给可构层定义一种野分歧的相容性，并证明其被 Grothendieck 六函子保持.