C. Birkbeck

collaborators

3 papers

cs.FL2024

A complete formalization of Fermat's Last Theorem for regular primes in Lean

Alex Best, Christopher Birkbeck, Riccardo Brasca +3

We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstr…

math.NT2018

On the $p$ -adic Langlands correspondence for algebraic tori

Christopher Birkbeck

We extend the results by R.P. Langlands on representations of (connected) abelian algebraic groups. This is done by considering characters into any divisible abelian topological gr…

math.NT2018

$2$ -adic slopes of Hilbert modular forms over $Q (5)$

Christopher Birkbeck

We show that for arithmetic weights with a fixed finite order character, the slopes of $U_{p}$ (for $p = 2$ ) acting on overconvergent Hilbert modular forms of level $U_{0} (4)$ are indepe…

A complete formalization of Fermat's Last Theorem for regular primes in Lean

On the p-adic Langlands correspondence for algebraic tori

2-adic slopes of Hilbert modular forms over Q(5​)

On the $p$ -adic Langlands correspondence for algebraic tori

$2$ -adic slopes of Hilbert modular forms over $Q (5)$