Orateur
Karim Johannes Becher
(Universiteit Antwerpen)
Description
The interplay between valuations and certain geometrically rational varieties, in particular quadrics, has turned out to be very fruitful for proving that certain subsets of fields are existentially definable or diophantine. In particular, this has been used by J. Koenigsmann to prove that Q\Z is diophantine in Q. His proof combines several ingredients from classical number theory, involving in particular the Hasse-Minkowski local-global principle for quadratic forms. In my talk I want to highlight some ingredients of proofs for showing that certain subsets of fields are diophantine and some interesting questions for quadratic forms arising from this context.
