Posts

Showing posts from May, 2024

Curves with many torsion points

(Jit here.) I am going to write about some recent ideas in diophantine geometry. Consider a curve $C$ inside $\mathbb{C}^2$ given by some polynomial $P(x,y) = 0$. Can there be infinitely many points $(x,y)$ lying on our curve $C$ such that both $x$ and $y$ are roots of unity? <--!more--> If we just want one of the coordinates to be a root of unity, it is clear that there are infinitely such points, although they should be "sparse". The idea is then that if we impose this condition on both coordinates, there should somehow only be finitely many such points, unless $C$ is a special curve. For example, if $C$ was of the form $\{\omega \} \times \mathbb{C}$ where $\omega$ is a root of unity, then clearly it has infinitely many such points on it. In general, if our curve $C$ were given by $x^i y^j = \omega$, where $\omega$ is a root of unity, then $y$ will be a root of unity if $x$ is and so we get infinitely many points with both coordinates roots of unity. We can unders

Too lazy to integrate

Image
(David here.) A math teacher from Primary school once told me that "lazy people make good mathematicians". This is one story of laziness-inspired mathematics.

Vieta’s formulas and $\zeta(2)$

Image
(This is Yan Sheng.) At some point I came up with a new idea to prove the famous identity$$\zeta(2)\coloneqq\sum_{n=1}^\infty\frac1{n^2}=\frac{\pi^2}6.$$