About

My Automorphic Project is a reference work on automorphic forms, under construction. Its aim is to collect definitions and statements in one place, with consistent notation, and to give every one of them a permanent tag so that it can be cited precisely.

Unlike the projects it is modelled on, it does not try to prove everything. Proofs are, as a rule, outsourced to the classics: each statement comes with a pointer to a place in the literature where a proof can be found.

At the moment the site is an empty shell. It contains a placeholder introduction and one example chapter that shows what the text will look like.

Inspiration

This project is inspired by two others, and borrows their organisation openly:

• the Stacks project, the open source textbook and reference work on algebraic geometry maintained by Johan de Jong, which invented the tag system used here;
• the Automorphic Project, an open source textbook and reference work on automorphic representations maintained by Yiannis Sakellaridis, itself modelled on the Stacks project.

No text or software from either project is used here. If you are looking for complete proofs written out in one place, those are the projects to read.

How it is built

This website was constructed using Claude, Anthropic’s AI model. Claude wrote the program that turns the LaTeX sources into these pages, together with the layout of the site.

The text is written in LaTeX, one file per chapter. A small Python script uses pandoc to read the chapters, numbers the statements, assigns the tags, resolves cross-references and citations, and writes plain HTML files. Formulas are displayed with MathJax. There is no database and no server-side code, so the site can be hosted anywhere.