Speaker
Emre Sertöz
(Leiden University)
Description
I will sketch a modestly practical algorithm to compute all linear relations with algebraic coefficients between any given finite set of 1-periods. As a special case, we can algorithmically decide transcendence of 1-periods. This is based on the “qualitative description” of these relations by Huber and Wüstholz. We combine their result with the recent work on computing the endomorphism ring of abelian varieties. This is a work in progress with Jöel Ouaknine and James Worrell.
