卡夫卡先生

摘要： 双有理等价： 考虑一个例子： We define "birational equivalent of elliptic curves'' more precisely, 在复数域上我们有结论：genus为0的elliptic curve有理等价为一条直线，但在有理数域上，我们只能有：genus为0的 阅读全文

摘要： Def. derived category并不一定存在，但如果存在那由universal property知在同构意义下唯一 我们自然会问的一个问题是：derived category上的algebraic structure是什么？ 阅读全文

摘要： 阅读全文

摘要： Def.Universe/U-set/U-small set/U-category/U-small category Def.fully faithful/essentially surjective Def.essentially U-small Def. half-full fucntor/ha 阅读全文

摘要： 阅读全文

摘要： 我们只讨论abel群上的sheaf。 4. 1. - Faisceaux différentiels 定义：（faisceau gradué，les homomorphismes，faisceau différentiel，le faisceau dérivé） 因为截断函子是左正合的，我们考虑取值 阅读全文

摘要： 一类重要的sheaf是松软层flabby sheaf： flabby sheaf是局部性质，即只要限制在足够小的邻域上总是flabby的，那么这个层就是flabby的： 关于flabby的两个基本性质： 从five lemma看，前后两个是flabby的则中间的sheaf是flabby的。 flab 阅读全文

摘要： Godement的定义中，section是可以定义在任意集合上的：这就产生了一个问题，关于层的第二要求，如果我们都定义在开集上是可以保证连续性的。但如果一般集合，第二要求不一定能满足。我们有一个弱化的定理： Godement定义sheaf间的homomorphism的时候我看不懂，因为他考虑给定sh 阅读全文

摘要： 阅读全文