学术文章
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六函子保持.