連接層の導来圏に関わる諸問題　問題・予想・原理の数学１