Let P be a proper smooth formal ν-scheme, ε ∈ F-Db coh(D†P,Q). We check that E is D†P ,Q-overcoherent if and only if, for any morphism f : P'→ P of smooth formal ν-schemes, f!(ε) is D†P', Q-coherent.
雑誌名
Journal of mathematical sciences, the University of Tokyo
巻
16
号
1
ページ
1 - 21
発行年
2009-06-30
ISSN
13405705
書誌レコードID
AA11021653
日本十進分類法
415
Mathematical Reviews Number
MR
Mathmatical Subject Classification
14F30(MSC2000)
14F40(MSC2000)
出版者
Graduate School of Mathematical Sciences, The University of Tokyo