Photo of Zhuoni Chi

Zhuoni Chi 池卓倪

PhD Candidate in Mathematics, Zhejiang University

Advisor: Prof. Yifeng Liu

znchi [at] zju.edu.cn CV

About

I am a fifth-year PhD candidate in Mathematics at Zhejiang University (2022–now), advised by Prof. Yifeng Liu. I received my B.S. in Mathematics from Peking University (2018–2022).

Research interests: algebraic number theory, automorphic representation theory, the classical Langlands program, and arithmetic theta lifting for unitary groups.

I am also interested in formalized mathematics. In particular, I enjoy using Lean4 to formalize olympiad and undergraduate-level problems.

Publications & Preprints

  1. On the Manin constant
    (with Shurui Liu and Ping Nie) · Preprint, 2026 · arXiv:2610.25672
  2. Density of forces producing Navier–Stokes blowup
    (with Shaozhen Cao and Ping Nie) · Preprint, 2026 · arXiv:2609.10262 · Lean formalization
  3. Spherical representations of unitary groups at ramified places and the arithmetic inner product formula
    Preprint, 2026 · arXiv:2602.02492

Teaching & Service

Teaching assistant: Homological Algebra (2022) and Algebra III (2023) at Zhejiang University; Lean4 Summer Camp (2024) at Peking University.

Seminar organizer at Zhejiang University: étale cohomology, the arithmetic inner product formula, GL2 local Langlands, p-adic Hodge theory, and p-adic geometry.