これで本当に3.12を形式化できるのかわかる人はいますか？
↓
APT/SHE/IPLのalienness依存性をexplicitにし、holomorphic hullへの移行がtheta-linkにする合法性、もしくはq-pilotに対する相対log-volume関係を保存することを示し、その関係からinter-alien log-volume gapを導出して不等式を証明すればCorollary 3.12のformalizeはできるし、やること見えてるやん