So far this is a proof of concept. It shows that it could be nice (and isn't too difficult, as expected) to have comparison tables, based on information from the Stacks project.
The setup is different from the one originally described. It works as follows:
- this repository contains both the base code and the instances
- 3 tables are created for each table by
database/create.py, based on the standard format and extra fields (which are described in
prefixstands for the prefix that is used for the 3 tables
database/import.pythe JSON files in the directory for a given table are imported
table.phpcontains a basic table, which can then be extended to take into acount the extra fields present in the database
People are free to fork this repository and / or propose changes, which will then be merged (if we like them).
Ideas for tables
Some ideas for tables:
- properties of morphisms versus whether they are preserved under certain operations (base change, composition, fpqc descent, fppf descent, "spreading out", ...), see also Poonen's table in Rational points on varieties
- properties of morphisms / objects versus schemes, algebraic spaces, stacks: a nice overview table of where you can find which property
- properties of objects in derived categories of modules (perfectness, pseudo-coherence, tor-amplitude, boundedness, ...) versus whether they are local for a topology, preserved under pullback...
- similar to the previous one, but just for sheaves of modules, not in the derived category
- similar to the second, but now for "main theorems" such as Grothendieck existence, formal functions, cohomology and base change, Leray spectral sequence, projection formula, ...: we could see which things are missing, which things are not true, where the similar results are written down
- comparison of properties for topologies (e.g. closed immersions correspond to exact pushforward)
Some general ideas:
- refer to EGA's (as in Poonen's table, relates to having more explicit references to the EGA's in the Stacks project too)
- sorting things, based on location in the stacks project, being true or not, ...
- more visual clues (colour?)
- if we at some point have slogans in the Stacks project, these tables serve as an excellent reality check as the format of the slogans could be standardised for some of the tables
- dependency check: when you click on a fact, show which other things depend on it (or it depends on)
To anyone who reads this: feel free to make suggestions.