Researcher profile

Bas Edixhoven

Bas Edixhoven contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2020arXiv

Pink's conjecture on unlikely intersections and families of semi-abelian varieties

The Poincaré torsor of a Shimura family of abelian varieties can be viewed both as a family of semi-abelian varieties and as a mixed Shimura variety. We show that the special subvarieties of the latter cannot all be described in terms of the group subschemes of the former. This provides a counter-example to the relative Manin-Mumford conjecture, but also some evidence in favour of Pink's conjecture on unlikely intersections in mixed Shimura varieties. The main part of the article concerns mixed Hodge structures and the uniformization of the Poincaré torsor, but other, more geometric, approaches are also discussed.

preprint2013arXiv

Group schemes out of birational group laws, Néron models

In this note, we present the theorem of extension of birational group laws in both settings of classical varieties (Weil) and schemes (Artin). We improve slightly the original proof with a more direct construction of the group extension and the systematic use of algebraic spaces, and we discuss the separation properties of the group extension. We also explain the important application to the construction of Néron models of abelian varieties. This note grew out of lectures given by Ariane Mézard and the second author at the Summer School "Schémas en groupes" held in the CIRM (Luminy) from 29 August to 9 September, 2011.

preprint2012arXiv

Approximate computations with modular curves

This article gives an introduction for mathematicians interested in numerical computations in algebraic geometry and number theory to some recent progress in algorithmic number theory, emphasising the key role of approximate computations with modular curves and their Jacobians. These approximations are done in polynomial time in the dimension and the required number of significant digits. We explain the main ideas of how the approximations are done, illustrating them with examples, and we sketch some applications in number theory.

preprint2010arXiv

Computational aspects of modular forms and Galois representations

This is a book about computational aspects of modular forms and the Galois representations attached to them. The main result is the following: Galois representations over finite fields attached to modular forms of level one can, in almost all cases, be computed in polynomial time in the weight and the size of the finite field. As a consequence, coefficients of modular forms can be computed fast via congruences, as in Schoof's algorithm for the number of points of elliptic curves over finite fields. The most important feature of the proof of the main result is that exact computations involving systems of polynomial equations in many variables are avoided by approximations and height bounds, i.e., bounds for the accuracy that is necessary to derive exact values from the approximations.

preprint2009arXiv

Covers of surfaces with fixed branch locus

Given a connected smooth projective surface X over the complex numbers, together with a simple normal crossings divisor D on it, we study finite normal covers Y of X that are unramified outside D. Given moreover a fibration of X onto a curve C, we prove that the `height' of Y over C is bounded linearly in terms of the degree of Y over X. We indicate how an arithmetic analogue of this result, if true, can be auxiliary in proving the existence of a polynomial time algorithm that computes the mod-l Galois representations associated to a given smooth projective geometrically connected surface over the rational numbers. A precise conjecture is formulated.