Yijun Yuan

👨🏻About Me

I’m Yijun Yuan (袁 轶君 in Chinese), a Postdoctoral Fellow at Institute of Theoretical Sciences, Westlake University. I major in algebraic number theory, arithmetic geometry and formalization of mathematics.

🔬Research Interests

• \(p\)-adic Galois representations: especially the theory of \((\varphi,\Gamma)\)-modules
• \(p\)-adic transcendental number theory
• \(p\)-adic analysis
• Formalization of math (Lean 4)

👔Curriculum Vitae

• 2025.7 - 2027.6 Postdoctoral Fellow
  Institute of Theoretical Sciences, Westlake University.
  Supervisor: Huayi Chen
• 2022.9 - 2025.6 Ph.D.
  Yau Mathematical Sciences Center, Tsinghua University.
  Advisor: Lei Fu Former advisor: Haoran Wang
• 2018.9 - 2021.6 MSc
  Shanghai Center for Mathematical Sciences, Fudan University
  Advisor 1: Quanshui Wu Advisor 2: Shanwen Wang
• 2014.9 - 2018.6 Undergraduate
  School of Mathematical Sciences, East China Normal University
  Advisor: Guodong Zhou

📓Papers

Preprints

• Multivariable period rings of \(p\)-adic false Tate curve extension. Yijun Yuan*. arXiv:2505.24064 [math.NT]
• Hyper-algebraic invariants of \(p\)-adic algebraic numbers. Shanwen Wang, Yijun Yuan*. arXiv:2402.15947 [math.NT]
• Truncated expansion of \(\zeta_{p^n}\) in the \(p\)-adic Mal’cev-Neumann field. Shanwen Wang, Yijun Yuan*. arXiv:2111.07127 [math.NT]

Publications

• Uniformizer of the false Tate curve extension of \(\mathbb{Q}_p\) (II). International Journal of Number Theory, 2023. Shanwen Wang, Yijun Yuan*. DOI:10.1142/S1793042124500015
• Uniformizer of the false Tate curve extension of \(\mathbb{Q}_p\). The Ramanujan Journal, 2022, 58(2): 549-595. Shanwen Wang, Yijun Yuan*. DOI:10.1007/s11139-021-00473-0

(*Corresponding author)

🎙Talks

• Arithmetic of spherically complete valued fields in mixed characteristic
  Symposium on Number Theory and Algebraic Geometry of Spring 2025
  Capital Normal University, 2025, June 13th
• Hyper-algebraic invariants of \(p\)-adic algebraic numbers
  Second Doctoral Conference on Frontiers of Mathematics
  School of Mathematical Sciences, Peking University, 2024, Nov. 1st
• Arithmetic of \(p\)-adic Mal’cev-Neumann field
  Number Theory Lunch Seminar
  Beijing Institute of Mathematical Sciences and Applications (BIMSA), 2024, Oct. 16th
• \((\varphi, \Gamma)\)-modules for \(p\)-adic false Tate curve extension
  0-1 Seminar
  Department of Mathematical Sciences, Tsinghua University, 2023, Sep. 27th

👨🏻‍🏫Teaching

• TA for Linear Algebra I (2022, autumn), at Tsinghua University
• TA for Linear Algebra I (2023, autumn), at Tsinghua University
• TA for Linear Algebra I (2024, autumn), at Tsinghua University