website of the fourth SAG meeting, taking place in Gothenburg March 11-15, 2024.
Contributions to this file are very welcome!
If there is a specific topic you would really like to discuss or learn more about, please add it here.
We can use the list here.
We can try to figure out how to formulate open problems of classical algebraic geometry synthetically. We can also discuss how much is gained by reasoning synthetically in each case.
- Jacobian conjecture (wikipedia):
This is formulated for a field of characteristic zero.
We do not know if it is to assume characteristic zero and naively translate the conjecture.
It seems to work in the dimension=1 case with what we know from #4.
A possibly helpful question is if being an automorphism of
$R^n$ is$\neg\neg$ -stable.
There is the idea to discuss a couple of possible renamings.
| Current name | Alternatives | Remarks |
|---|---|---|
| SQC axiom | Duality principle (or axiom) | In general we should speak of a 'principle' |
| Regularity principle (or axiom) | ||
| Blechschmidt duality | Kock used a precursor of SQC | |
| Reflexivity principle (or axiom) | ||
| formally étale replacement | Crytalline modality, Coreduction, deRham stack | |
| o-étale | o-cover | o-étale is already used a lot |
| finitely copresented module | Vector space |