Home
Welcome to my personal website! Here is the definition of me.
I'm Xiang Li 李想, a math PhD student of algebra and number theory in the University of Edinburgh working with Prof. Minhyong Kim since 2023. My interests are in algebraic number theory and arithmetic geometry. To be more specific, I am interested in non-abelian Chabauty methods, which provide an efficient way to find rational points on a curve.
Am I the first person coming up with an idea to make the personal website look like a math book that contains definition/remark etc.?
In workdays, you can find me on the fifth floor of the Bayes Centre of the University of Edinburgh.
CV
You can find my detailed CV (curriculum vitae) here. Below is my education background.
-
Sep 2023 – Now
PhD in Mathematics
The University of Edinburgh, School of Mathematics (Hodge Institute)
-
Oct 2022 – Jun 2023
MASt in Mathematics (Part III)
University of Cambridge, Department of Pure Mathematics and Mathematical Statistics
-
Sep 2020 – May 2022
BSc in Mathematics
The University of Edinburgh, School of Mathematics
-
Sep 2018 – Jun 2020
BSc in Mathematics
South China University of Technology, School of Mathematics
Research
Recent Research Interests
With Martin Lüdtke, we establish foundations for the Chabauty–Kim method over number fields for the thrice-punctured line \(X = \mathbb{P}^1 \setminus \{0,1,\infty\}\). We investigate Kim's Conjecture for \(X\) over quadratic fields, verifying it in some cases and showing it fails in others. For imaginary quadratic fields \(K\) where \(S\) is empty or consists of a single Galois-unstable prime, we provide a proof of the \(S\)-Selmer section conjecture based on Chabauty–Kim methods.
Preprints
-
\(S\)-integral Points on the Thrice-punctured Line over Cyclotomic Fields
Expository Notes
Talks
-
Chabauty–Kim Methods over Number Fields: \(\mathbb{P}^1\backslash \left\{0,1,\infty\right\}\)
2 Jul 2026, 16:30 · MPIM Lecture Hall, Max Planck Institute for Mathematics
Speed talk at ChaBONNty Conference. See the slides here.
- S-integral Points on the Thrice-punctured Line over Cyclotomic Fields 5 Sep 2025, 15:00–15:30 · C17 Pope Building, University of Nottingham
- Rigid Geometry and Coleman Function 7 Feb 2025, 14:55–15:45 · Room 110, School of Mathematics and Statistics, University of Glasgow
- Introduction to Chabauty–Kim Methods on S-unit Equations 2 Aug 2024, 14:30–15:00 · TCC Room, Mathematical Institute, University of Oxford
-
Tannakian Category, Unipotent Completion, and de Rham Fundamental Group
1 Dec 2023, 10:45–11:15 · ICMS
Examples Showcase at GlaMS
-
Euler's Totient Theorem and the Prime Number Theorem
16 Feb 2023, 16:00–17:00 · Zoom / Huxley 410, Imperial College
(with Ella Yu) — Seminar of London Learning Lean. Watch the recording here. See the slides here.
Travel
- Young Researchers in Algebraic Number Theory VIII 2 – 4 Sep 2026 · University of Bristol, UK
- ChaBONNty Conference 29 Jun – 3 Jul 2026 · Max Planck Institute for Mathematics, Germany
- Young Researchers in Algebraic Number Theory VII 3 – 5 Sep 2025 · University of Nottingham, UK
- The GEARS seminar 7 Feb 2025 · University of Glasgow, UK
- Arithmetic, Geometry, Space and Time: A workshop on the occasion of Minhyong Kim's 61st birthday 25 – 29 Nov 2024 · ICMS, Edinburgh, UK
- Young Researchers in Algebraic Number Theory VI 31 Jul – 2 Aug 2024 · University of Oxford, UK
- The Mordell conjecture 100 years later 8 – 12 Jul 2024 · MIT, US
- Gauge Fields in Arithmetic, Topology and Physics 15 – 19 Apr 2024 · ICMS, Edinburgh, UK
- Winter Workshop Chabauty-Kim 2024 14 – 16 Feb 2024 · Heidelberg University, Germany
Teaching
Past Tutoring
Also, I am a tutor for the MathsBase.
Codes
Computing polylogarithmic Chabauty–Kim loci over number fields
Sage code for the paper "Polylogarithmic Chabauty–Kim loci over number fields" by X. Li and M. Lüdtke (preprint). See the Github repository.
\(L\exists \forall N\)
Lean is a proof assistant, which allows people to write the proof of theorems in a computer programme language. See the website of the Lean community.
A team of me, Huajian Xin, Ella Yu and others attempted to prove the prime number theorem on Lean. See our Github repository. Ella Yu and I gave a talk about this project on a seminar of London Learning Lean held by Imperial College. Watch the recording here. See the slides here.
Numerical Library of Mathematics Algorithm
I made a simple C++ library for numerical algorithms such as solving linear systems, integrals, differential equations and so on numerically. See my Github repository.