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.