Home

Welcome to SheafofThoughts.

This is a mathematics blog with posts at different levels and on different themes. Below you can find the most recent posts. For the complete list, click “Browse posts” in the upper-left corner of the page, or use the boxes below to browse by category or series.

Recent posts

Étale cohomology of curves

A computation of the étale cohomology of the multiplicative sheaf on curves

Proof of Fermat’s Christmas Theorem

Fermat’s Christmas Theorem series

We prove Fermat’s Christmas Theorem using Gaussian integers, linking sums of two squares to the solvability of \(x^2\equiv_p -1\).

Why Fermat had (probably) no proof?

We explain why, if Fermat had a proof, it should have been very remarkable.

Browse by category

Topic

Algebraic Geometry

Topic

Number Theory

Level

Beginner

Level

Intermediate

Level

Advanced

Series

Series

Fermat’s Christmas Theorem

A series of posts aimed at proving Fermat’s Christmas Theorem.