About
I am a fourth-year Mathematics PhD student at the University of Michigan studying number theory and arithmetic geometry.
My advisor is Professor Kartik Prasanna.
Before PhD, I completed my undergraduate and Master's degrees at Trinity College, University of Cambridge.
While the preferred spelling of my name is Bomsok, my legal first name is Beomseok, following the Korean Revised Romanization system. The pronunciation is /bʌ̹msʌ̹k/, which would actually be closer if you read out the preferred spelling rather than the legal spelling.
Contact: beomseok [at] umich [dot] edu
Office: East Hall 2860
Research Interests
My research area is number theory and arithmetic geometry.
I am currently focusing on a version of the p-adic Gross-Zagier formula for real singular moduli (in the sense of RM values of rigid meromorphic cocycles). More broadly though, I am interested in topics related to the special values of L-functions, Kudla program, theta correspondence/lifting, and p-adic automorphic forms.
Conference Activities
- Aug 3-7, 2026 at MIT — The Gross-Zagier formula, 40 years later
- Jun 8-19, 2026 at CIRM — Research school (first week) and conference (second week) on classical and p-adic aspects of the Kudla program
- Mar 8-12, 2025 at Univ of Arizona — Arizona winter school: representation theory of p-adic groups
- Oct 7-8, 2023 at Univ of Michigan — Midwest arithmetic geometry and number theory series
- Aug 16, 2019 at KIAS — q-series and related topics
- Aug 12-16, 2019 at KIAS — Arithmetic geometry and conformal field theory
Curriculum Vitae
CV.pdf (Updated: Oct 31, 2026)
Fall 2026
I am organizing a study group on the Kudla program this fall semester.
Expository Notes
Here are some of the notes that I have written. I claim no originality of the contents.
I am hoping to rewrite most of these notes sometime for better presentation.
More notes will be uploaded later.
Number theory
The Gross-Zagier formula
Borcherds lifts
Rigid meromorphic cocycles of weight 2
The Colmez conjecture
Not number theory
A geometric theory of quantisation
An ultrafilter proof of the van der Waerden's theorem (Korean)
Please let me know if you find any errors or typos.