議論の中心であるColl.3.12問題に対する非常に詳細な説明が、このサーベイには書かれてある。

P142-146(example 3.11.4)を参照してほしい。

なぜScholze-Stixがこれを理解できないのか?しないのか?