在整个人类的文明历史发展中,数学是被研究时间最长的学科。而其中关于整数和方程的性质,更是两千多年来一直吸引无数智者的问题。而作为方程零点集的代数簇,通过研究它们的性质可以得出许多强大的定理。而上个世纪,在法国的天才数学及亚历山大.格罗滕迪克的带领下,人们提出了所谓的概型的概念,它是代数簇的概念的更加抽象和一般的推广,建立在层的语言之上。自从有了概型的语言,整个代数几何的面貌焕然一新,在这中新的语言下,人们解决了许多重要的问题,比如困扰数学家们三百多年的费马大定理,被怀尔斯证明,以及莫德尔猜想被德国数学家法尔廷斯证明,这些无不显示了代数几何的强大。我们知道同调群是一类重要的几何不变量,其在代数拓扑中非常重要。同样的在代数几何中,研究层及概型的上同调也是非常的重要,在代数几何中,上同调群也是非常的重要。我们知道有几种定义上同调的方式,比如整体截面函子的右导出函子,还有所谓的平展上同调,我们将在本文中介绍一种新的上同调,即所谓的晶体上同调。它在研究所的特征p的域k上的概型的吋候,特別有用。本文第一章主要介绍一些代数几何的基础知识,包括代数簇,层和概型的基本定义和性质以及层的上同调。第二章主要介绍除幂结构,晶体上同调的定义,以及如何用更加范畴语言来叙述晶体上同调。