Stixのエタールホモトピータイプ使った遠アーベル幾何があるけど、エタールホモトピータイプ一致したらl進実現も一致するしAyoubの予想からモチーフもかなり近いよね
遠アーベル幾何みたいな幾何的一致は難しくても、モチーフの一致なら高次元でも狙えるんじゃない？