0046132人目の素数さん垢版 | 大砲2021/01/08(金) 20:34:31.50ID:o8jNRgcg >>45 え? 引き戻しになるの? f:M→NでNの接束はm-4i次元のバンドル その引き戻しf*T(N)はM上のランクn-4iのバンドルで接束はcovariantだから自然な射T(M)→f*T(N)があってランクがそれぞれn,n-4iでこの射のkernelがf^-1(y)の接束だと思うんだけど