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
Une caractérisation de la surcohérence
jms160101.pdf
(216.36KB)
