Séminaire de Géométrie Algébrique du Bois Marie

数学において，Séminaire de Géométrie Algébrique du Bois Marie (SGA, マリーの森の代数幾何学セミナー) は Alexander Grothendieck による影響力の大きいセミナーであった．それは，主要な数学ジャーナル（英語版）を除いては，1960年から1969年までパリの近くの IHÉS で開かれた研究と出版の唯一の現象であった．（名前は1962年から IHÉS が位置している Bures-sur-Yvette（英語版） の estate の小さな森から来ている．）セミナーノートはやがて12巻になって出版され，1つを除いてすべてが Springer Lecture Notes in Mathematics series に出版されている． SGA はいくつかの理由で読み難いとの評判がある．より初等的あるいは基本的な部分はグロタンディークとデュドネの EGA に任されており，主張に長大な論理的依存性を引き起こしている．様式は非常に抽象的で，圏論を大いに用いている．さらに，最大限に一般的な主張を達成するための試行がなされているが，読者は動機や具体例を知っていることが仮定されている． SGA の最初のノートは IHÉS によって分冊（英語版）で出版され，そのほとんどが2, 3回改訂された．これらはセミナーが進むにつれて出版され，それは60年代初期に始まり，10年のほとんど続いた．それらはまだ大きい数学図書館で見つけられるが，流通は限られていた．60年代後期と70年代初期に，元のセミナーノートは後の発展を考慮に入れるために徹底的に改訂され書き直された．さらに，新しい巻 SGA 4½ が Pierre Deligne によって編纂され，1977年に出版された; it contains simplified and new results by Deligne within the scope of SGA4 as well as some material from SGA5, which had not yet appeared at that time. 改訂されたノートは，SGA2 を除いて，Springer によってその Lecture Notes in Mathematics シリーズに出版された． Springer との論争の後，Grothendieck はシリーズの再版の許可を拒んだ．これらの後の改訂版は元の分冊よりも広く流通しているが，それでも図書館の外では珍しい． SGA への参照は通常後者の改訂版を意味し，元の分冊ではない．元のいくつかは大文字でラベル付けられ，例えば S.G.A.D. = SGA3 であり S.G.A.A. = SGA4 である． SGA シリーズの巻は以下のとおりである： SGA1 Revêtements étales et groupe fondamental, 1960–1961 (エタール被覆と基本群), Lecture Notes in Mathematics 224, 1971 SGA2 Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux, 1961–1962 (連接層の局所コホモロジー（英語版）と大域および局所レフシェッツの定理（英語版）), North Holland 1968 SGA3 Schémas en groupes, 1962–1964 (群スキーム（英語版）), Lecture Notes in Mathematics 151, 152 and 153, 1970 SGA4 Théorie des topos et cohomologie étale des schémas, 1963–1964 (トポス理論（英語版）とスキームのエタール・コホモロジー), Lecture Notes in Mathematics 269, 270 and 305, 1972/3 SGA4½ Cohomologie étale (エタール・コホモロジー), Lecture Notes in Mathematics 569, 1977. SGA 4½ はどの実際のセミナーとも対応していない．これはいくつかのサーベイ論文，SGA4 の範囲内にある新しい結果，最後に SGA5 の題材の，Pierre Deligne による編集物である． SGA5 Cohomologie l-adique et fonctions L, 1965–1966 (l 進コホモロジーと L 関数), Lecture Notes in Mathematics 589, 1977 SGA6 Théorie des intersections et théorème de Riemann-Roch, 1966–1967 (交叉理論とリーマン・ロッホの定理), Lecture Notes in Mathematics 225, 1971 SGA7 Groupes de monodromie en géométrie algébrique, 1967–1969 (代数幾何学におけるモノドロミー群), Lecture Notes in Mathematics 288 and 340, 1972/3. SGA8 が書かれることはなかった．SGA8 と時折呼ばれることがあるのは通常 SAG1 の第8章か後に SGA シリーズ外で出版された Berthelot の crystalline cohomology（英語版） に関する著作を指す． 1990年代，SGA が入手しがたいことが代数幾何学の研究者や院生にとってますます問題となってきていることが明らかになった。増える研究者の数に比べて本の形でのコピーが少なすぎるだけでなく，タイプセットのされ方（電子タイプライターに手書きの数式）のために読みづらくもあった。いくらかの国の数学者達の運動の結果、SGAをLaTeXで書き直し、些細な間違いやわかりにくさの解消のために注を付け、広く利用可能な電子ファイルフォーマットで再販する計画が始動した。フランス数学会から出版される予定である。著作を再版する法的許可は Alexander Grothendieck 自身を除くすべての著者から得られたが、隠遁中だった彼とは連絡がつかなかった。Springer-Verlag による SGA の再版を彼が拒んだのは Springer に対する反対であって主義の1つではなかったという理由で、彼の明示的な承諾なしに進めることが決定された。 最初の段階として、Frank Calegari, Jim Borger, William Stein によって、全著作がスキャンされオンラインで入手可能となった（下のリンク節参照）。それからテキストを新しくタイプセットし、それを校正する仕事は数十人のボランティアに分配され（フランス語の流暢さと代数幾何学の知識が要求されるため、彼らの多くは若いフランスの数学者であった）、SGA1 から2001年後半に始まった。 SGA1 の仕事の coordinating editor はライデン大学（当時レンヌ大学（英語版））の Bas Edixhoven（英語版） であった。最初のバージョンは arXiv で2002年7月20日に挙がり、校正されたバージョンは2004年1月4日にアップロードされ、後にフランス数学会によって本の形で出版された。SGA2 の仕事は2004年に Yves Laszlo（英語版） を coordinating editor として開始された。LaTeX のソースファイルは arXiv で入手可能である。SGA2 は2005年後半にフランス数学会によって印刷された（http://smf.emath.fr/Publications/DocumentsMathematiques/ を参照）。 Laszlo は SGA4 も編集し、最近[いつ?] Philippe Gille と Patrick Polo が SGA3 の TeX 化されたバージョンをアップロードした、しかしながら，2010年1月、Grothendieck は SGA の再発行をやめるよう要請した。Grothendieck が死去した2014年後半、SGA の再発行の仕事は再開され、Grothendieck circle site に復活した。 Grothendieck, Alexander; Raynaud, Michèle (2003) [1971], Revêtements étales et groupe fondamental (SGA 1), Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 3, Paris: Société Mathématique de France, arXiv:math/0206203, ISBN 978-2-85629-141-2, MR2017446  Grothendieck, Alexandre (1971) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1960-61 - Revêtements étales et groupe fondamental - (SGA 1) (Lecture notes in mathematics 224). Berlin; New York: Springer-Verlag. xxii+447. doi:10.1007/BFb0058656. ISBN 978-3-540-05614-0. MR0354651  Grothendieck, Alexander; Raynaud, Michele (2005) [1968], Laszlo, Yves, ed., Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2), Documents Mathématiques (Paris), 4, Paris: Société Mathématique de France, arXiv:math/0511279, ISBN 978-2-85629-169-6, MR2171939  Grothendieck, Alexandre; Raynaud, Michele (1968) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1962 - Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux - (SGA 2) (Advanced Studies in Pure Mathematics 2). Amsterdam: North-Holland Publishing Company. vii+287. MR0476737  Demazure, Michel, ed (1970) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1962-64 - Schémas en groupes - (SGA 3) - vol. 1 (Lecture notes in mathematics 151). Berlin; New York: Springer-Verlag. pp. xv+564. doi:10.1007/BFb0058993. ISBN 978-3-540-05179-4. MR0274458  Demazure, Michel, ed (1970) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1962-64 - Schémas en groupes - (SGA 3) - vol. 2 (Lecture notes in mathematics 152). Berlin; New York: Springer-Verlag. pp. ix+654. doi:10.1007/BFb0059005. ISBN 978-3-540-05180-0. MR0274459  Demazure, Michel, ed (1970) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1962-64 - Schémas en groupes - (SGA 3) - vol. 3. Lecture notes in mathematics. 153. Berlin; New York: Springer-Verlag. vii+529. doi:10.1007/BFb0059027. ISBN 978-3-540-05181-7. MR0274460  Artin, Michael, ed (1972) (French). 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. Lecture notes in mathematics. 269. Berlin; New York: Springer-Verlag. xix+525. doi:10.1007/BFb0081551. ISBN 978-3-540-05896-0. MR0354652  Artin, Michael, ed (1972) (French). 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. 2. Lecture notes in mathematics. 270. Berlin; New York: Springer-Verlag. pp. iv+418. doi:10.1007/BFb0061319. ISBN 978-3-540-06012-3. MR0354653  Artin, Michael, ed (1972) (French). 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. 3. Lecture notes in mathematics. 305. Berlin; New York: Springer-Verlag. pp. vi+640. doi:10.1007/BFb0070714. ISBN 978-3-540-06118-2. MR0354654. http://www.normalesup.org/~forgogozo/SGA4/tomes/tome3.pdf  Deligne, Pierre (1977) (French). Séminaire de Géométrie Algébrique du Bois Marie - Cohomologie étale - (SGA 4½). Lecture notes in mathematics. 569. Berlin; New York: Springer-Verlag. pp. iv+312. doi:10.1007/BFb0091516. ISBN 978-3-540-08066-4. MR0463174  Illusie, Luc, ed (1977) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1965-66 - Cohomologie l-adique et Fonctions L - (SGA 5). Lecture notes in mathematics. 589. Berlin; New York: Springer-Verlag. xii+484. doi:10.1007/BFb0096802. ISBN 3-540-08248-4. MR0491704  Berthelot, Pierre, ed (1971) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1966-67 - Théorie des intersections et théorème de Riemann-Roch - (SGA 6) (Lecture notes in mathematics 225). Berlin; New York: Springer-Verlag. xii+700. doi:10.1007/BFb0066283. ISBN 978-3-540-05647-8. MR0354655  Grothendieck, Alexandre (1972) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1967-69 - Groupes de monodromie en géométrie algébrique - (SGA 7) - vol. 1. Lecture notes in mathematics. 288. Berlin; New York: Springer-Verlag. viii+523. doi:10.1007/BFb0068688. ISBN 978-3-540-05987-5. MR0354656  Deligne, Pierre, ed (1973) (French). Séminaire de Géométrie Algébrique du Bois Marie - 1967-69 - Groupes de monodromie en géométrie algébrique - (SGA 7) - vol. 2. Lecture notes in mathematics. 340. Berlin; New York: Springer-Verlag. pp. x+438. doi:10.1007/BFb0060505. ISBN 978-3-540-06433-6. MR0354657  Éléments de géométrie algébrique Fondements de la Géometrie Algébrique（英語版） Scanned version of SGA hosted by MSRI