>>18
導来圏の同値性
Db(X) (同値) Db(Fuk(Y))

X カラビ・ヤウ多様体
Y ミラー対象
Db 導来圏
Fuk 深谷圏