Final Activity Report Summary - K3 ARITHMETIC (Arithmetic of K3 Surfaces)
The project made substantial progress on several fronts. One of the most striking results shows (under very mild conditions) that the rational points on diagonal quartic surfaces (whose study goes back to Euler in the 18th Century) are dense; a crude way of saying this is that these classical equations have very many solutions.
A second result of the project establishes unexpected and striking links between arithmetic geometry and topology (knot theory in particular). Another result of the project simplifies writing down the equations of genus 2 Jacobians. This is expected to have interesting cryptographic applications.