查看“︁格罗滕迪克拓扑”︁的源代码

[[范畴论 (数学)|范畴论]]中，'''格罗滕迪克拓扑'''是范畴''C''上的一种结构，它使''C''中对象的表现如[[拓扑空间]]的[[开集]]一样。范畴连同格罗滕迪克拓扑的选择，统称为'''景'''（site）。

格罗滕迪克拓扑将[[覆盖_(拓扑学)#拓撲學中覆蓋|开覆盖]]的概念公理化。利用格罗滕迪克拓扑提供的覆盖，就可定义范畴上的[[层 (数学)|层]]及其[[上同调]]。[[亚历山大·格罗滕迪克]]首先运用[[代数几何]]与[[代数数论]]定义了[[概形]]的[[平展上同调]]，此后被用来定义其他上同调论，如ℓ进上同调、[[平坦拓扑]]、[[晶体上同调]]等。格罗滕迪克拓扑最常用于定义上同调论，但也有其他应用，如[[约翰·泰特]]的[[刚性解析几何]]等。

有一种自然的方法将景与普通[[拓扑空间]]相联系，格罗滕迪克的理论被松散地视为经典拓扑学的推广。在贫点集假设（即[[索伯空间|索伯度]]）下，这是完全正确的：可从关联的景恢复出一个索伯空间。然而，[[不可分拓扑]]空间等简单例子表明，并非所有拓扑空间都能用格罗滕迪克拓扑表达。相反，有些格罗滕迪克拓扑并非来自拓扑空间。

“格罗滕迪克拓扑”一词的含义已经变化了。{{harvtxt|Artin|1962}}中，这指的是现在所谓格罗滕迪克前拓扑（pretopology），有学者仍在使用这个定义。{{harvtxt|Giraud|1964}}改用[[筛 (范畴论)|筛]]，弃用覆盖，这大多不会引起太大的差别，因为每个格罗滕迪克前拓扑都唯一确定了的格罗滕迪克拓扑，不过，不同的前拓扑可以给出相同的拓扑。

== 概览 ==
[[安德烈·韦伊]]提出了著名的{{WikidataLink|Q1479613}}，认为带[[整数]]系数[[代数方程|方程]]的某些性质应被理解为其定义的[[代数簇]]的几何性质。他的猜想假设，代数簇应有[[上同调]]理论——所谓“韦伊上同调”，可提供关于其定义的方程的数论信息。而用现有工具没能构造出来这样的上同调。

20世纪60年代初，亚历山大·格罗滕迪克将[[平展映射]]引入了代数几何，是[[解析几何]]中局部解析同构的代数类似物，接着用平展覆盖定义了拓扑空间[[基本群]]的代数类似物。不久，[[让-皮埃尔·塞尔]]注意到平展覆盖的某些性质模仿了开[[浸入]]的性质，于是有可能得到模仿[[上同调]]函子<math>H^1</math>的构造。格罗滕迪克认为，顺着这个想法可以定义一个上同调理论，他怀疑就是韦伊上同调。这需要把通常用的开覆盖换成使用平展覆盖的拓扑概念。格罗滕迪克还想到了该怎样抽象地表述覆盖，这就是格罗滕迪克拓扑的由来。

== 定义 ==
=== 动机 ===
层的经典定义始于拓扑空间''X''。层将信息关联到''X''的开集，这种信息可以抽象地表为：令<math>O(X)</math>为范畴，其对象是''X''的开子集''U''，其态射是''X''的开集''U''、''V''的[[包含映射]]<math>V\rightarrow U</math>。我们按[[概形]]的语境，将这样的映射称作开浸入（open immersion）。那么，''X''上的预层是<math>O(X)</math>到集合范畴的[[函子#協變與反變|反变函子]]，层就是满足[[胶合公理]]（此处包括分离公理）的预层。胶合公理用逐点[[覆盖 (拓扑学)|覆盖]]表示，即当且仅当<math> \bigcup_i U_i = U</math>时，称<math>\{U_i\}</math>覆盖''U''。这样，<math>U_i</math>是''X''的开子集。格罗滕迪克拓扑用开子集的整个族图替换了每个<math>U_i</math>，在这个例子中<math>U_i</math>被换成了所有开浸入<math>V_{ij} \to U_i</math>的族。这样的集合叫做“筛”（sieve）。逐点覆盖则被换成覆盖族（covering family），在上例中，所有<math>\{V_{ij}  \to U_i\}_j</math>的集合就是''U''的一个覆盖族。筛与覆盖族可以公理化，公理化后就可以替换成描述空间''X''其他性质的其他概念。

=== 筛 ===
格罗滕迪克拓扑将''U''的开子集（在包含下稳定）这一概念发展为[[筛 (范畴论)|筛]]（sieve）。若''c''是''C''中任意给定对象，则其上的'''筛'''是函子<math>{\rm Hom}(-,\ c)</math>（应用于''c''的[[米田嵌入]]）的[[子函子]]。在<math>O(X)</math>的情形下，开集''U''上的筛''S''选择了''U''的开子集集合，其在包含下是稳定的。更确切地说，对''U''的任意开子集''V''，<math>S(V)</math>都是<math>{\rm Hom}(V,\ U)</math>的子集，只有一个元素，即开浸入<math>V\to U</math>。当且仅当<math>S(V)</math>非空，''V''才可能被''S''“选择”。若''W''是''V''的子集，则有态射<math>S(V)\to S(W)</math>，是由包含<math>W\to V</math>组合而来。若<math>S(V)</math>非空，<math>S(W)</math>也非空。

若''S''是''X''上的筛，<math>f:\ Y\to X</math>是态射，则与''f''的左复合给出了''Y''上的筛，称作''S''沿''f''的[[拉回 (范畴论)|拉回]]，记作<math>f^{^\ast}S</math>，定义为[[纤维积]]<math>S\times_{{\rm Hom}(-,\ X)}{\rm Hom}(-,\ Y)</math>及其在<math>{\rm Hom}(-,\ Y)</math>中的自然嵌入。更具体地说，对''C''的每个对象''Z''，<math>f^{^\ast}S(Z)=\{g:\ Z\to Y|fg\in S(Z)\},\ f^{^\ast}S</math>通过成为<math>{\rm Hom}(-,\ Y)</math>的子函子，继承了对态射的作用。在经典的例子中，''U''的子集集合<math>\{V_i\}</math>沿包含<math>W\to U</math>的拉回是集合<math>\{V_i\cap W\}</math>。

=== 格罗滕迪克拓扑 ===
范畴''C''上的'''格罗滕迪克拓扑'''''J''是''C''的每个对象''c''上的筛，记作<math>J(c)</math>，称作''c''的'''覆盖筛'''。这种选择将受制于一些公理（下详）。继续前面的例子，当且仅当<math>S(V)</math>非空的所有开集''V''之交等于''U''，换句话说当且仅当''S''为我们提供了经典意义上[[覆盖 (拓扑)|覆盖]]''U''的开集集合时，<math>O(X)</math>中开集''U''上的筛''S''是覆盖筛。

==== 公理 ====
我们对格罗滕迪克拓扑施加的条件是
* (T 1)（基变换）：若''S''是''X''上的覆盖筛，<math>f:\ Y\to X</math>是态射，则拉回<math>f^{^\ast}S</math>是''Y''上的覆盖筛；
* (T 2)（局部特征）：令''S''为''X''上的覆盖筛，令''T''为''X''上的筛。假设对''C''中对象''Y''、<math>S(Y)</math>中箭头<math>f:\ Y\to X</math>，拉回筛<math>f^{^\ast}T</math>是''Y''上的覆盖筛，则''T''是''X''上的覆盖筛。
* (T 3)（同一性）：对''C''中对象''X''，<math>{\rm Hom}(-,\ X)</math>是''X''上的覆盖筛。

基变换公理对应的思想是，若<math>\{U_i\}</math>覆盖了''U''，则<math>\{U_i\cap V\}</math>应覆盖了<math>U\cap V</math>。局部特征公理对应的思想是，若<math>\{U_i\}</math>覆盖了''U''，<math>\{V_{ij}\}_{}j\in J_i</math>覆盖了<math>U_i</math>（对所有''i''），则对所有''i''、''j''，集合<math>\{V_{ij}\}</math>应覆盖了''U''。最后，同一性公理与任一集合通过恒等映射被自身覆盖的思想相近。

==== 格罗滕迪克前拓扑 ====
事实上，可以将这些公理换成另一种形式，假定底范畴''C''包含某些纤维积，它们的几何性质将更明显。这就可以选择一些值域相同的映射集，覆盖它们的值域，而不是选择筛。这样的集合叫做'''覆盖族'''。若所有覆盖族的集合都满足以下公理，就称它们构成了'''格罗滕迪克前拓扑'''：
* (PT 0)（纤维积存在）：对''C''中所有对象''X''、所有见于''X''覆盖族的态射<math>X_0\to X</math>、所有态射<math>Y\to X</math>，纤维积<math>X_0\times_XY</math>都存在。
* (PT 1)（基变换下的稳定性）：对''C''中所有对象''X''、所有态射<math>Y\to X</math>、所有覆盖族<math>\{X_{\alpha}\to X\}</math>，族<math>\{X_{\alpha}\times_XY\to Y\}</math>是覆盖族。
* (PT 2)（局部特征）：若<math>\{X_{\alpha}\to X\}</math>是覆盖族，且对所有α，<math>\{X_{\beta\alpha}\to X_{\alpha}\}</math>是覆盖族，则组合族<math>\{X_{\beta\alpha}\to X_{\alpha}\to X\}</math>是覆盖族。
* (PT 3)（同构）：若<math>f:\ Y\to X</math>是同构，则<math>\{f\}</math>是覆盖族。

对任何前拓扑，所有包含来自前拓扑的覆盖族的筛集总是格罗滕迪克拓扑。

对于有纤维积的范畴，还有个相反的方法。给定箭头集<math>\{X_{\alpha}\to X\}</math>，构造筛''S''使<math>S(Y)</math>成为函子通过某箭头<math>X_{\alpha}\to X</math>的所有态射之集，这就是<math>\{X_{\alpha}\to X\}</math>生成的筛。然后，选择一个拓扑。当且仅当<math>\{X_{\alpha}\to X\}</math>生成的筛是给定拓扑的覆盖筛时，<math>\{X_{\alpha}\to X\}</math>是覆盖族。很容易证明这定义了一个前拓扑。

(PT 3)有时会被一个较弱的公理取代：

* (PT 3')（单位元）：若<math>1_X:\ X\to X</math>是恒等箭头，则<math>\{1_X\}</math>是覆盖族。

(PT 3)可推出(PT 3')，反之则不行。不过，假设有一个覆盖族集，通过(PT 2)、(PT 3')满足(PT 0)而不满足(PT 3)，则它们会生成一个前拓扑。由原覆盖族集合生成的拓扑与由前拓扑生成的相同，因为由<math>Y\to X</math>生成的筛是<math>{\rm Hom}(-,\ X)</math>。因此，若只关注拓扑，则(PT 3)与(PT 3')是等价的。

== 景与层 ==
{{See also|拓扑斯}}

记''C''为范畴，令''J''为''C''上的格罗滕迪克拓扑。二元组<math>(C,\ J)</math>称作'''景'''（site）。

范畴上的'''[[预层 (范畴论)|预层]]'''是''C''到集合范畴的反变函子。注意，此定义不要求''C''具有拓扑结构。而景上的层则应允许胶合，就像经典拓扑中的层一样。因此，定义景上的'''层'''为预层''F''，使得对所有对象''X''与''X''上的所有覆盖筛''S''，由''S''到<math>{\rm Hom}(-,\ X)</math>的包含导出的自然映射<math>{\rm Hom}({\rm Hom}(-,\ X),\ F)\to{\rm Hom}(S,\ F)</math>是双射。介于预层与层之间的是'''分离预层'''，其上的自然映射对所有筛''S''都只能是单射。预层或层的'''态射'''是函子的自然变换。''C''上所有层的范畴是景<math>(C,\ J)</math>定义的'''拓扑斯'''（或称'''意象'''）。

由[[米田引理]]可证明，当且仅当范畴<math>O(X)</math>上的预层是经典意义上的层，它才是上述定义的拓扑上的层。

前拓扑上的层有个特别简单的描述：对每个覆盖族<math>\{X_{\alpha}\to X\}</math>，图

:<math>F(X) \rightarrow \prod_{\alpha\in A} F(X_\alpha) {{{} \atop \longrightarrow}\atop{\longrightarrow \atop {}}} \prod_{\alpha,\beta \in A} F(X_\alpha\times_X X_\beta)</math>

必须是[[等化子]]。对分离预层，第一个箭头必须是内射。

相似地，可以定义[[阿贝尔群]]、[[环 (数学)|环]]、[[模]]等等。可以要求预层''F''是到达阿贝尔群（或环、模等等）范畴的反变函子，也可要求''F''是''C''到集合范畴的所有反变函子范畴中的阿贝尔群（或环、模等等）对象，这两个定义等价。

== 景的例子 ==
=== 可分与不可分拓扑 ===
令'''C'''为范畴。为定义'''可分拓扑'''，断言所有筛都是覆盖筛。若'''C'''具有所有纤维积，这就等同于宣布所有族都是覆盖族。为定义'''不可分拓扑'''（或称粗拓扑、混沌拓扑<ref>[[Séminaire de Géométrie Algébrique du Bois Marie|SGA]] IV, II 1.1.4.</ref>），只声明<math>{\rm Hom}(-,\ X)</math>形式的筛是覆盖筛。不可分拓扑由只对覆盖族由同构的前拓扑生成。不可分景上的层与预层是一回事。

=== 规范拓扑 ===
令'''C'''为范畴。米田嵌入对其每个对象''X''给出函子<math>{\rm Hom}(-,\ X)</math>。'''规范拓扑'''是使每个可表预层（即<math>{\rm Hom}(-,\ X)</math>形式的与岑）是层的最大（最细）拓扑。称这个景的覆盖筛或覆盖族是''严格普遍满态射''，因为 其包含余极限锥（colimit cone）（在其构成态射的域上的全图下）的腿，其中余极限沿着'''C'''中的态射拉回下是稳定的。比规范拓扑粗的拓扑，即每个覆盖筛都是严格普遍满态射的拓扑，称作'''次规范'''（subcanonical）拓扑。次规范景正是<math>{\rm Hom}(-,\ X)</math>形式预层都是层的景。实践中大多数景都是次规范的。

=== 与拓扑空间关联的小景 ===
重复上例。令''X''为拓扑空间，定义<math>O(X)</math>为范畴，其对象是''X''的开集，其态射是开集的包含。注意，对开集''U''、其上的筛''S''与每个开集''V''，集合<math>S(V)</math>不会包含多个元素。<math>O(X)</math>中对象''U''上的覆盖筛是满足下列条件的筛''S''：
* 若''W''是所有使<math>S(V)</math>非空的集合''V''之并，则''W'' = ''U''。
这种覆盖概念吻合点集拓扑中的通常概念。

这种拓扑也可自然表为前拓扑。我们说，当且仅当并<math>\cup V_{\alpha}=U</math>时，包含族<math>\{V_{\alpha}\sube U\}</math>是覆盖族。这个景称作与拓扑空间''X''的小景。

=== 与拓扑空间关联的大景 ===
令''Spc''为拓扑空间范畴。给定任意函数族<math>\{u_{\alpha}:\ V_{\alpha}\to X\}</math>，若有<math>\cup u_{\alpha}(V_{\alpha})=X</math>，则称其是'''满射族'''，或态射<math>u_{\alpha}</math>是'''联合满射'''（jointly surjective）。将覆盖族视为其所有成员都是开浸入的满射族，定义''Spc''上的前拓扑。令''S''为''Spc''上的筛，则当且仅当满足下列条件，''S''是这个拓扑的覆盖筛：
* 对所有''Y''与<math>S(Y)</math>中的态射<math>f:\ Y\to X</math>，存在''V''与<math>g:\ V\to X</math>使''g''是<math>S(V)</math>中的开浸入，''f''有通过''g''的函子。
* <math>f:\ Y\to X</math>在<math>S(Y)</math>中，若''W''是所有集合<math>f(Y)</math>之并，则''W'' = ''X''。

固定拓扑空间''X''。考虑具有到''X''的固定连续映射的拓扑空间的[[逗号范畴]]''Spc/X''。''Spc''上的拓扑导出了''Spc/X''上的拓扑。覆盖筛与覆盖族几乎完全相同，唯一的区别是，现在所涉映射都与到''X''的固定映射交换。这就是与拓扑空间''X''关联的大景。注意，''Spc''是与单点空间关联的大景。[[让·纪劳]]最先考虑到了大景。

=== 流形的大景与小景 ===
令''M''是[[流形]]。''M''有开集范畴<math>O(M)</math>，因为其是拓扑空间，且得到了如上例的拓扑。对''M''的两开集''U''、''V''，纤维积<math>U\times_MV</math>是开集<math>U\cap V</math>，仍在<math>O(M)</math>中。这意味着，<math>O(M)</math>上的拓扑是由前拓扑定义的，与之前的前拓扑相同。

令''Mfd''为流形与连续映射（或光滑流形与光滑映射，或实解析流形与解析映射等等）范畴。''Mfd''是''Spc''的子范畴，开浸入连续（或光滑、解析等等），于是''Mfd''继承了''Spc''的拓扑，这样就可以把''M''的大景构造为景''Mfd/M''。也可用上述前拓扑定义这拓扑，但请注意，为满足(PT 0)需要确保所有连续映射<math>X\to Y</math>与''Y''的所有开子集''U''，纤维积<math>U\times_YX\in Mfd/M</math>。这只是说明开集的原像是开集，不过并非所有纤维积都在''Mfd''中，因为光滑映射在临界值处的原像不一定是流形。

=== 概形范畴上的拓扑 ===
[[概形]]范畴记作''Sch''，有大量有用的拓扑。要完全理解某些问题，可能需要用多种拓扑结构研究同一概形。所有这些拓扑都有相关联的小景与大景。大景由整个概形范畴及其态射，连同拓扑指定的覆盖筛组成的；给定概形上的小景则是通过只取给定概形的覆盖中的对象与态射形成。

其中最基本的是[[扎里斯基拓扑]]。令''X''为概形，有底拓扑空间，其确定了格罗滕迪克拓扑。''Sch''上的扎里斯基拓扑由前拓扑生成，此前拓扑的覆盖族是概形论开浸入的联合满射族。''Zar''的覆盖筛有以下两个特征：
* 对所有''Y''与<math>S(Y)</math>中的态射<math>f:\ Y\to X</math>，存在''V''与<math>g:\ V\to X</math>使得''g''是<math>S(V)</math>中的开浸入，''f''有通过''g''的函子。
* 若''W''是所有集合<math>f(Y)</math>之并，其中<math>f:\ Y\to X</math>在<math>S(Y)</math>中，则''W'' = ''X''。
虽然两者看上去很相似，但''Zar''上的拓扑并不是''Spc''上拓扑的限制！这是因为有些概形态射是拓扑开浸入，而不是概形论开浸入。例如，令''A''为非[[退化环]]，令''N''为其幂零理想。商映射<math>A\to A/N</math>导出了映射<math>{\rm Spec}A/N\to{\rm Spec}A</math>，其是底拓扑空间的恒等映射。要成为概形论开浸入，它还要在结构层上诱导一个同构，而此映射没有做到。实际上，这个映射是闭浸入。

[[平展拓扑]]比扎里斯基拓扑细，是第一个被仔细研究的格罗滕迪克拓扑。其覆盖族是平展态射的联合满射族，比Nisnevich拓扑细，但和''cdh''、l&prime;拓扑相比不粗不细。

有两[[平坦拓扑]]：''fppf''拓扑与''fpqc''拓扑。''fppf''表示'''{{lang|fr|fidèlement plate de présentation finie}}''，当中仿射概形的态射若是忠实平坦的，或有限呈现的，或准有限的，就是覆盖态射。''fpqc''表示'''{{lang|fr|fidèlement plate et quasi-compacte}}''，当中仿射概形的态射若是忠实平坦的，就是覆盖态射。两个范畴中，覆盖族的定义都是在扎里斯基开子集上的覆盖族。<ref>[[Séminaire de Géométrie Algébrique du Bois Marie|SGA]] III<sub>1</sub>, IV 6.3.</ref>fpqc拓扑中，任何忠实平坦的准紧态射都是覆盖。<ref>SGA III<sub>1</sub>, IV 6.3, Proposition 6.3.1(v).</ref>这些拓扑与[[下降 (数学)|下降]]的概念密切相关。''fpqc''拓扑比上述所有拓扑都细，且与规范拓扑很接近。

格罗滕迪克引入了[[晶体上同调]]，以研究特征''p''簇的上同调中的''p''挠部分。晶体拓扑是这一理论的基础，当中底范畴的对象由无穷小加厚与[[除幂结构]]给出。晶体景是没有终对象的景。
== 连续与上连续函子 ==
景之间有两种自然函子，由在一定意义上与拓扑相容的函子给出。

=== 连续函子 ===
设<math>(C,\ J),\ (D,\ K)</math>是景，<math>u:\ C\to D</math>是函子。若对''D''上关于拓扑''K''的每个层''F''而言，关于拓扑''J''的预层''Fu''都是层，则称''u''连续。连续函子将层''F''发送到''Fu''，以诱导相应拓扑间的函子，就是'''前推'''（pushforwards）。若<math>\tilde C,\ \tilde D</math>分别表示与''C''、''D''相关联的拓扑斯，则前推函子是<math>u_s : \tilde D \to \tilde C</math>。

<math>u_s</math>的左伴随<math>u^s</math>称作'''拉回'''（pullback）。<math>u_s</math>不需要保极限，甚至不需保留有限极限。

同样，''u''把''C''的对象''X''上的筛发送到''D''的对象''uX''上的筛。连续函子将覆盖筛送到覆盖筛。若''J''是前拓扑定义的拓扑、''u''与纤维积交换，则当且仅当''u''将覆盖筛送到覆盖筛/将覆盖族送到覆盖族，''u''连续。总之，''u''将覆盖筛送到覆盖筛的条件还不够（见SGA IV 3, {{lang|fr|Exemple}} 1.9.3）。

=== 上连续函子 ===
再设<math>(C,\ J),\ (D,\ K)</math>是景，<math>v:\ C\to D</math>是函子。若''X''是''C''的对象，''R''是''vX''上的筛，则''R''可以如下拉回到筛''S''：当且仅当<math>v(f):\ vZ\to vX\in R</math>，态射<math>f:\ Z\to X\in S</math>。这就定义了一个筛。当且仅当对''C''的每个对象''X''、''vX''的每个覆盖筛''R''，''R''的拉回''S''是''X''上的覆盖筛时，才称''v''是'''上连续'''的。

与''v''的复合将''D''上的预层''F''送到''C''上的预层''Fv''，但若''v''连续，就不必将层送到层。不过，这在预层范畴上的函子通常表示为<math>\hat v^*</math>，允许右伴随<math>\hat v_*</math>，则当且仅当<math>\hat v_*</math>将层送到层/限制为函子<math>v_* : \tilde C \to \tilde D</math>时，''v''是上连续的。这时，<math>\hat v^*</math>与相关联层函子的复合是<math>v_*</math>的左伴随<math>v^*</math>。此外，<math>v^*</math>保有限极限，所以伴随函子<math>v_*,\ v^*</math>确定了拓扑斯<math>\tilde C \to \tilde D</math>的几何态射。

=== 景的态射 ===
有连续函子<math>u:\ C\to D</math>，若<math>u^s</math>保有限极限，则是'''景的态射'''<math>D\to C</math>。这时，<math>u^s,\ u_s</math>确定了拓扑斯<math>\tilde C \to \tilde D</math>的几何态射。之所以说连续函子<math>C\to D</math>在反方向上决定了拓扑的态射，是因为这与拓扑空间的直觉一致，拓扑空间连续映射<math>X\to Y</math>确定了连续函子<math>O(Y)\to O(X)</math>。由于拓扑空间的原映射将''X''送到''Y''，所以景的态射也被说成是。

当连续函子允许左伴随时，就会出现这种特殊情况。设<math>u:\ C\to D,\ v:\ D\to C</math>都是函子，''u''右伴随于''v''，则当且仅当''v''连续时，''u''也连续。这时，<math>u^s</math>自然同构于<math>v^*</math>，<math>u_s</math>自然同构与<math>v_*</math>。特别是，''u''是景的态射。

== 另见 ==
*[[纤维范畴]]
*[[劳维尔–蒂尔内拓扑]]

==注释==
{{Reflist}}

== 参考文献 ==
*{{Cite book | last1=Artin | first1=Michael | author1-link=Michael Artin | title=Grothendieck topologies. Notes on a Seminar Spring 1962 | publisher=Department of Mathematics, Harvard University | year=1962 | zbl=0208.48701 |oclc=680377057 |url=http://catalog.hathitrust.org/api/volumes/oclc/19073454.html }}
*{{cite book
 | editor1-last = Demazure | editor1-first = Michel | editor1-link = Michel Demazure
 | editor2-last=Grothendieck | editor2-first=Alexandre | editor2-link=Alexandre Grothendieck
 | title = Séminaire de Géométrie Algébrique du Bois Marie — 1962–64 — Schémas en groupes — (SGA 3) vol. 1
 | series=Lecture notes in mathematics | volume=151
 | year = 1970
 | publisher = [[Springer Science+Business Media|Springer]]
 | language = fr
 | pages = xv+564 | zbl=0212.52810
}}
*{{cite book
 | first = Michael
 | last = Artin
 | author-link = Michael Artin |editor=Alexandre Grothendieck |editor-link=Alexandre Grothendieck |editor2=Jean-Louis Verdier |editor2-link=Jean-Louis Verdier | title = Séminaire de Géométrie Algébrique du Bois Marie — 1963–64  — Théorie des topos et cohomologie étale des schémas — (SGA 4) vol. 1
 | series=Lecture notes in mathematics  |volume=269 |doi=10.1007/BFb0081551
 | year = 1972 |isbn=978-3-540-37549-4
 | publisher = [[Springer Science+Business Media|Springer]]
 | language = fr
 | pages = xix+525
 | no-pp = true
}}
*{{citation|mr=0193122|last=Giraud|first=Jean|chapter=Analysis situs|year=1964|title=Séminaire Bourbaki, 1962/63. Fasc. 3,|issue=256|publisher=Secrétariat mathématique|place=Paris|url=http://www.numdam.org/item?id=SB_1962-1964__8__189_0|accessdate=2024-02-02|archive-date=2024-02-02|archive-url=https://web.archive.org/web/20240202021649/http://www.numdam.org/item/?id=SB_1962-1964__8__189_0|dead-url=no}}
* {{cite book | last=Shatz | first=Stephen S. | title=Profinite groups, arithmetic, and geometry | series=Annals of Mathematics Studies | volume=67 | publisher=[[Princeton University Press]] | year=1972 | isbn=0-691-08017-8 | zbl=0236.12002 | mr=0347778 }}
* {{cite conference | first = Yevsey A. | last = Nisnevich | doi = 10.1007/978-94-009-2399-7_11 | orig-year = 1989 | date = 2012 | title = The completely decomposed topology on schemes and associated descent spectral sequences in algebraic K-theory | book-title = Algebraic K-theory: connections with geometry and topology.  Proceedings of the NATO Advanced Study Institute held in Lake Louise, Alberta, December 7–11, 1987 | series = NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences | volume = 279 | editor1-first = J. F. | editor1-last = Jardine | editor2-first = V. P. | editor2-last = Snaith | publisher = Springer | isbn = 978-94-009-2399-7 | pages = 241–342 | url = http://www.cims.nyu.edu/~nisnevic/ | zbl = 0715.14009 | access-date = 2024-02-02 | archive-date = 2023-04-19 | archive-url = https://web.archive.org/web/20230419074325/https://cims.nyu.edu/~nisnevic/ | dead-url = no }}

== 外部链接 ==
* [https://web.archive.org/web/20140706171851/http://www.noncommutative.org/the-birthday-of-grothendieck-topologies/ The birthday of Grothendieck topologies]
* [http://www.neverendingbooks.org/?s=the+birthday+of+Grothendieck+topologies/ The birthday of Grothendieck topologies (non-archived version)] {{Wayback|url=http://www.neverendingbooks.org/?s=the+birthday+of+Grothendieck+topologies/ |date=20240202021710 }}

[[Category:层论]]