ジグザグ補題
https://ja.wikipedia.org/wiki/ジグザグ補題
数学、特にホモロジー代数学におけるジグザグ補題
（ジグザグほだい、英: zig-zag lemma）は、
鎖複体のホモロジー群から成るある種の長完全列の存在を述べるものである。
この結果は任意のアーベル圏で通用する。 任意のアーベル圏において、A,B,Cが以下の短完全列を満たす鎖複体だとする
0→A→B→C→0
ジグザグ補題は境界写像（族）
δ_n: H_[n](C)→H_[n-1](A)
が存在して、次の系列を完全にすることができることを主張する
･･･→H_[n+1](C)→H_[n](A)→H_[n](B)→H_[n](C)→H_[n-1](A)→…
写像 δ_n は標準的な図式追跡の議論を使って定義できる。
c∈C_[n] を、 H_[n](C) に属すある同値類の代表元とする。
よって ∂_[n]''(c)=0 。
行方向の完全性より β_[n]:B_[n]→C_[n] は全射なので、
β_[n](b)=c となる b∈B_[n] が存在しなければならない。
図式の可換性より、
β_[n-1]∂_[n]'(b)=∂_[n]''β_[n](b)=∂_[n]''(c)=0
再び行方向の完全性より、
∂_[n]'(b)∈Ker β_[n-1](=Im α_[n-1])
α_[n-1] は単射だから、
α_[n-1](a)=∂_[n]'(b) を満たす a∈A_[n-1] が一意的に存在する。
aは輪体（すなわち∂_[n-1](a)=0）である。
なぜなら α_[n-2]:A_[n-2]→B_[n-2] は単射で、かつ ∂^2=0 より
α_[n-2]∂_[n-1](a)=∂_[n-1]'α_[n-1](a)=∂_[n-1]'∂_[n]'(b)=0
が従うからである
（つまり ∂_[n-1](a)∈Ker α_[n-2](={0}) ）。
a は輪体なので、H_[n-1] }(A) に属すある同値類の代表元になる。
ここで
δ[c]=[a] （つまり β_[n-1]α_[n-1](a)=∂_[n]''(c))
と定義する。
このように定義された境界写像は well-defined であることが示せる
（つまり写像が c と b の選択に依らずに定まる。
証明は上記の図式追跡の議論と同様である）。
また同様の議論で、長系列が各ホモロジー群のところで完全であることも示せる。
オレは、ジグザグ補題でなく、蛇の補題から、長完全列の証明を学んだ。
>>6 なるほど
ところで、蛇の補題の前提は
ジグザグ補題の前提より
弱いのかな？(ボソッ) >>5
そういうのは伝統と格式のある
ナンセンス
とシュプレヒコールする習わしなのだ。 ないとは思うが、(志甫の層とホモロジー代数などで)アーベル圏から層論を勉強してきた院試受験生に対して、
おじいちゃん先生がくだらんと一蹴し、小木曽の代数曲線論かなんかを引っ張り出してきて複素解析からの具体例を求めてきたりしてたら、
受験生がめちゃくちゃ可哀想だな
>>10
小木曽の代数曲線論って古いの？
ついでなんで、典型的な「古いスタイル」の本、教えて >>11
小木曽本は有限性定理の証明を丁寧に書いているのはよいのだが
どこかForsterの本の引き写しに見えてしまう。
「古いスタイル」は閉リーマン面が代数構造を持つことにこだわる。
「新しい(=くだらない)スタイル」は最初から代数的なものしか
扱わない。 >>12
(=くだらない)を取り除けばこういうことだな
層を定義するだけなら簡単な圏論で出来る
アブストラクトナンセンスみたいな昭和の頃の流行語を今も好んでいる人は、リーマン面から始めて層を学ぶのが分かりやすいと信じているが、実際には道はそれだけではない
別の道を通ってきた人を低評価付けるようなことがあればそれこそくだらない(さすがに日本でそんなことないと思うが) >>リーマン面から始めて層を学ぶのが分かりやすいと信じているが、
層が本体だと勘違いしないように
>>13
別の道ってどんな道？
全然複素的じゃない代数多様体ってどんなん？
典型的な例あげてみて >>15
代数多様体が体k上有限型かつ被約な整スキームと定義できるのはよく知られているが、複素的な定義はどこだ？ >>15
任意の有限群は代数群だけど、ここに複素的な要素ある？ >>16
>>17
そんなものをいくら調べてもリーマン面については
何にも言えない
最初から別の世界の話 他愛ない質問
複素数とか実数の位相を一切利用しないことで
得られる利点って具体的に何かな？
５項補題
https://ja.wikipedia.org/wiki/5%E9%A0%85%E8%A3%9C%E9%A1%8C
任意のアーベル圏（アーベル群の圏や与えられた体上のベクトル空間の圏など）や
群の圏において以下の可換図式を考える。
A →B →C →D →E
↓ ↓ ↓ ↓ ↓
A'→B'→C'→D'→E'
f:A→B g:B→C h:C→D i:D→E
l:A→A' m:B→B' n:C→C' p:D→D' q:E→E'
r:A'→B' s:B'→C' t:C'→D' u:D'→E'
5項補題は次のものである。
2つの行が完全で、m と p が同型射で、
l がエピ射(全射の抽象化)で、q がモノ射(単射の抽象化)であれば、
n も同型射である。 >>20
５項補題
「2つの行が完全で、
m と p が同型射で、l がエピ射で、q がモノ射であれば、
n も同型射である。」
は以下の２つの４項補題から証明される
・m と p がエピ射で q がモノ射ならば、
n はエピ射である。
・m と p がモノ射で l がエピ射ならば、
n はモノ射である。 ・m と p がエピ射で q がモノ射ならば、n はエピ射である。
証明
c′ ∈C′ の元とする。
p は全射なので、∃ d ∈ D . p(d) = t(c′).
図式の可換性より、u(p(d)) = q(j(d)).
完全性より im t = ker u なので、0 = u(t(c′)) = u(p(d)) = q(j(d)).
q は単射なので、j(d) = 0 であり、d は ker j = im h の元である。
したがって ∃ c ∈ C . h(c) = d.
すると t(n(c)) = p(h(c)) = t(c′) である。
t は準同型なので、t(c′ − n(c)) = 0 である。
完全性より、c′ − n(c) は s の像に入っているので、
∃ b′ ∈ B′ . s(b′) = c′ − n(c).
m は全射なので、∃ b ∈ B . b′ = m(b).
可換性により、n(g(b)) = s(m(b)) = c' − n(c).
n は準同型なので、n(g(b) + c) = n(g(b)) + n(c) = c′ − n(c) + n(c) = c′.
したがって、n は全射である。
・m と p がモノ射で l がエピ射ならば、n はモノ射である。
証明
c ∈ C を n(c) = 0 であるような元とする。
すると t(n(c)) は 0 である。
可換性より、p(h(c)) = 0.
p は単射なので、h(c) = 0.
完全性により、∃ b ∈ B . g(b) = c.
可換性により、s(m(b)) = n(g(b)) = n(c) = 0.
すると完全性により、∃ a′ ∈ A′ . r(a′) = m(b).
l は全射なので、∃a ∈ A . l(a) = a′.
可換性より、m(f(a)) = r(l(a)) = m(b).
m は単射なので、f(a) = b.
よって c = g(f(a)).
g と f の合成は自明なので、c = 0.
したがって n は単射である。
くだらんついでに、スペクトル系列
まず完全対から
完全対 とは、対象 A と C の対と、この対象間の3つの準同型
f : A → A, g : A → C , h : C → A であって、
次の完全性の条件を満たすものを言う:
Im f = Ker g
Im g = Ker h
Im h = Ker f
A → A
↖ ↙
C
>>27
次に、導来対
次の記号を準備する
d = g o h
A' = f(A)
C' = Ker d / Im d
f' = f|A'、f の A' への制限
h' : C' → A'、h から誘導されるもの。
h がこのような写像を誘導することは簡単に分かる。
g' : A' → C' は次のように定義する。
A' の元 a に対して、A の元 b が存在して a は f(b) と書ける。
g'(a) を、C' における g(b) の像として定義する。
一般の状況では、g' はアーベル圏に対する埋込み定理の一つを使って作られる。
定義からすぐに (A', C', f', g', h') が完全対となることが分かる。
これを導来対と呼ぶ。 >>29
C' をスペクトル系列の E1 項とする。
この操作を繰り返して完全対の列
(A(n), C(n), f(n), g(n), h(n)) が得られる。
C(n) を En 項とし、dn を g(n) o h(n) と置くことで、
スペクトル系列になる。 スレタイの本を読んだことはないが、こういうことをやってるんでしょ
本題に沿ってるんだから荒らしでもなんでも無い
>>32
人に読ませることを考慮していない書き込みは荒らしと変わらない >>34
後学のために確認しますけど
あなたが読めるようにするには、何をどうすればいいですか
具体的に実行可能な指摘をお願いしますね >>34
図式とか書くの面倒なのにきちんと書いてるじゃん マイヤー・ヴィートリス完全系列はチェックコホモロジーと関係する。
特に、チェックコホモロジーを計算するために用いた開被覆が
二つの開集合からなる場合において、
スペクトル系列の退化から生じるもの
（マイヤー・ヴィートリススペクトル系列とも呼ばれる）は、
チェックコホモロジーを層係数コホモロジーに結び付ける。
どういうこと？
マイヤービートリスはそりゃチェックに限らず(コ)ホモロジーと関係するというかそもそもホモロジーを計算する手段だし関係しないわけがない
チェックコホモロジーと層係数コホモロジーの結びつき？そもそもチェックコホモロジーが層係数コホモロジーだし結びつけるもなにもなくね？
>>38
チェックコホモロジーの考え方がマイヤー・ヴィートリスの一般化 端的にいえば、開被覆を単体複体のように扱う、といえばいいか
ウェブの標準仕様に数式が当初から盛り込まれなかったのは失敗だったな
レオポルド・ヴィエトリス (1891年6月4日 -2002年4月9日)はオーストリアの数学者、第一次世界大戦のベテランとスーパーセンテナリアンでした。彼はラドカーズバーグで生まれ、インスブルックで亡くなりました。
ヴィートリスさんはうちのジイちゃんよりチョイ上だなｗ
チェックがマイヤー・ヴィートリスの一般化で
エタールはそれをさらに一般化したと思えばいいの？
>>48
位相を圏の上に一般化したグロタン位相で考える >>51
グロタンディーク位相でチェックコホモロジーってどうやって考えるんだ？ 考えないというか、多様体のチェックコホモロジーより一般的な
代数幾何学的な設定で位相を入れて被服の圏を考えることになるが、わざわざ
そうまでしてチェックコホモロジー自体を調べるというのはあまりやらないんじゃね？
>>52
位相空間上の層理論が圏の上でも使えるようになる
だから一般化された層係数コホモロジーが得られる >>56
被服じゃなくて被覆ね
ところでCechコホモロジーの場合
開被覆を単体複体のように扱うことで
Mayer-Vietorisの一般化が可能だけど
この方法自体、エタールコホモロジーでも可能なの？ エタールな開・閉被覆それぞれのMVスペクトル系列はあるね
>>53
チェックもドラムも層係数の一種と思えばいい
初めに層（もしくはトポス）ありきという訳だ >56
エタール被覆で、チェックコホモロジーを考えるのが、エタールコホモロジー。
一般ににチェックコホモロジーは、ハウスドルフのとき、うまく行く。
が、ザリスキー位相は、ハウスドルフじゃないから、コホモロジーを導来関手で定義する。
で、チェックコホモロジーと導来関手による定義の一致するときが役に立つ。
エタール被覆でチェックコホモロジーを考えると、一般のハウスドルフのときと同じようにうまく行く。
これをエタールコホモロジーという。
MV 系列を Cech に一般化するのって確か Bott-Tu の2章に書いてあるよな?(昔1章までしか読まなかった)
ブックマークへ