分解 (ホモロジー代数)




数学のホモロジー代数において，分解（ぶんかい，英: resolution）（あるいは左分解 (left resolution); 双対の余分解 (coresolution) あるいは右分解 (right resolution)[1]）は加群（あるいはより一般に，アーベル圏の対象）の完全列であり，加群あるいはこの圏の対象の構造を特徴づける不変量を定義するために用いられる．通常通り射が右向きのときは，列は（左）分解については左側に無限で，右分解については右側に無限であるとされる．しかしながら，有限分解 (finite resolution) は列の対象の有限個だけが零でない分解である．そのようなものは通常，（左分解について）左端の対象あるいは（右分解について）右端の対象が零対象である有限完全列によって表される[2]．


一般に，列の対象はなんらかの性質 P（例えば自由である）を持つよう制限される．したがって P 分解が語られる．とくに，任意の加群は自由分解，射影分解，平坦分解をもつ．それらはそれぞれ自由加群，射影加群，平坦加群からなる左分解である．同様に任意の加群は単射分解をもつ．これは単射加群からなる右分解である．




目次






  • 1 加群の分解


    • 1.1 定義


    • 1.2 自由，射影，単射，平坦分解


    • 1.3 次数付き加群と代数


    • 1.4 例




  • 2 アーベル圏における分解


  • 3 非輪状分解


  • 4 関連項目


  • 5 脚注


  • 6 参考文献


  • 7 外部リンク





加群の分解



定義


環 R 上の加群 M が与えられると，M の左分解 (left resolution)（あるいは単に分解 (resolution)）とは，R 加群の（無限でもよい）完全列


⋯⟶dn+1En⟶dn⋯⟶d3E2⟶d2E1⟶d1E0⟶ϵM⟶0{displaystyle cdots {overset {d_{n+1}}{longrightarrow }}E_{n}{overset {d_{n}}{longrightarrow }}cdots {overset {d_{3}}{longrightarrow }}E_{2}{overset {d_{2}}{longrightarrow }}E_{1}{overset {d_{1}}{longrightarrow }}E_{0}{overset {epsilon }{longrightarrow }}Mlongrightarrow 0}{displaystyle cdots {overset {d_{n+1}}{longrightarrow }}E_{n}{overset {d_{n}}{longrightarrow }}cdots {overset {d_{3}}{longrightarrow }}E_{2}{overset {d_{2}}{longrightarrow }}E_{1}{overset {d_{1}}{longrightarrow }}E_{0}{overset {epsilon }{longrightarrow }}Mlongrightarrow 0}

である．準同型 di は境界写像 (boundary map) と呼ばれる．写像 ε は添加写像 (augmentation map) と呼ばれる．簡明のため，上の分解は次のように書ける．


E∙⟶ϵM⟶0.{displaystyle E_{bullet }{overset {epsilon }{longrightarrow }}Mlongrightarrow 0.}{displaystyle E_{bullet }{overset {epsilon }{longrightarrow }}Mlongrightarrow 0.}

双対概念は右分解 (right resolution)（あるいは余分解 (coresolution)，あるいは単に分解）の概念である．具体的には，環 R 上の加群 M が与えられると，右分解とは R 加群の無限でもよい完全列


0⟶M⟶ϵC0⟶d0C1⟶d1C2⟶d2⋯⟶dn−1Cn⟶dn⋯{displaystyle 0longrightarrow M{overset {epsilon }{longrightarrow }}C^{0}{overset {d^{0}}{longrightarrow }}C^{1}{overset {d^{1}}{longrightarrow }}C^{2}{overset {d^{2}}{longrightarrow }}cdots {overset {d^{n-1}}{longrightarrow }}C^{n}{overset {d^{n}}{longrightarrow }}cdots }{displaystyle 0longrightarrow M{overset {epsilon }{longrightarrow }}C^{0}{overset {d^{0}}{longrightarrow }}C^{1}{overset {d^{1}}{longrightarrow }}C^{2}{overset {d^{2}}{longrightarrow }}cdots {overset {d^{n-1}}{longrightarrow }}C^{n}{overset {d^{n}}{longrightarrow }}cdots }

である．ただし各 Ci は R 加群である（そのような分解の双対性を示すため分解における対象や対象の間の射には上付きの添え字を使うのが一般的である）．簡単のため，上の分解は以下のように書ける．


0⟶M⟶ϵC∙.{displaystyle 0longrightarrow M{overset {epsilon }{longrightarrow }}C^{bullet }.}{displaystyle 0longrightarrow M{overset {epsilon }{longrightarrow }}C^{bullet }.}

（余）分解が有限 (finite) であるとは，現れる加群のうち有限個だけが零でないことをいう．有限分解の長さ (length) は加群が非零な添え字 n の最大値である．



自由，射影，単射，平坦分解


多くの状況では，与えられた加群 M を分解する加群 Ei に条件が課される．例えば，加群 M の自由分解はすべての加群 Ei が自由 R 加群であるような左分解である．同様に，射影分解あるいは平坦分解はすべての Ei が射影加群あるいは平坦加群であるような左分解である．単射分解は Ci がすべて単射加群であるような右分解である．


すべての R 加群は自由左分解を持つ[3]．したがって当然（英語版）任意の加群は射影分解や平坦分解も持つ．証明のアイデアは，E0 を M の元によって生成される自由 R 加群と定義し，E1 を自然な写像 E0 → M の核の元によって生成される自由 R 加群と定義し，……とすることである．双対的に，任意の R 加群は移入分解を持つ．射影分解（そしてより一般に平坦分解）は Tor 関手を計算するのに使うことができる．


加群 M の射影分解は鎖ホモトピー（英語版）の違いを除いて一意的である，すなわち，M の2つの射影分解 P0 → M と P1 → M が与えられると，それらの間の鎖ホモトピーが存在する．


分解はホモロジー次元を定義するために使われる．加群 M の有限射影分解の最小の長さはその射影次元と呼ばれ，pd(M) と表記される．例えば，加群の射影次元が 0 であることとそれが射影加群であることは同値である．M が有限射影分解を持たないときは射影次元は無限大である．例えば，可換局所環 R に対して，射影次元が有限であることと R が正則であることは同値であり，そのとき射影次元と R のクルル次元と一致する．同様に加群に対して 移入次元 id(M) や平坦次元 fd(M) も定義される．


移入次元や射影次元は右 R 加群の圏上 R の右大域次元と呼ばれる R のホモロジー次元を定義するために用いられる．同様に，平坦次元は弱大域次元を定義するために用いられる．これらの次元の振る舞いは環の特徴を反映する．例えば，環の右大域次元が 0 であることと半単純環であることは同値であり，環の弱大域次元が 0 であることとフォン・ノイマン正則環であることは同値である．



次数付き加群と代数


M を体上次数が正の元によって生成される次数付き代数上の次数付き加群とする．すると M は，自由加群 Ei が di たちと ε が次数付き線型写像であるように次数付けられる自由分解を持つ．これらの次数付き自由分解の中で，極小自由分解 (minimal free resolution) は各 Ei の基底元の個数が極小であるようなものである．各 Ei の基底元の個数とそれらの次数は次数付き加群のすべての極小自由分解に対して同じである．


I が体上の多項式環における斉次イデアルであるとき，I によって定義される射影代数的集合（英語版）のカステルヌオヴォ・マンフォード正則性（英語版）は，I の極小自由分解における Ei の基底元の次数がすべて r − i よりも小さいような最小の整数 r である．



例


自由分解の古典的な例は局所環における正則列あるいは体上有限生成の次数付き代数における斉次正則列のコズュル複体（英語版）によって与えられる．


X を 非球面型空間（英語版） とする，すなわちその普遍被覆 E が可縮であるとする．すると E のすべての特異（あるいは単体（英語版））鎖複体は環 Z 上だけでなく群環 Z [π1(X)] 上加群 Z の自由分解である．



アーベル圏における分解


アーベル圏 A の対象 M の分解の定義は上と同じであるが，Ei と Ci は A の対象であり，すべての写像は A の射である．


射影加群と単射加群の類似の概念は射影的対象と単射的対象であり，したがって，射影分解と単射分解が定義される．しかしながら，そのような分解は一般のアーベル圏 A において存在するとは限らない．A のすべての対象が射影（resp. 単射）分解をもつとき，A は十分射影的（resp. 十分入射的）であるという．それらが存在するときでさえ，そのような分解はしばしば扱うのが難しい．例えば，上で指摘したように，すべての R 加群は単射分解を持つが，この分解は関手的ではない，すなわち，準同型 M → M′ と単射分解


0→M→I∗,0→M′→I∗′{displaystyle 0to Mto I_{*},quad 0to M'to I'_{*}}{displaystyle 0to Mto I_{*},quad 0to M'to I'_{*}}

が与えられたとき，I∗{displaystyle I_{*}}{displaystyle I_{*}} と I∗′{displaystyle I'_{*}}{displaystyle I'_{*}} の間の写像を得る関手的方法は一般には存在しない．



非輪状分解


多くの場合分解に現れる対象には実際には興味はなく，与えられた関手に対する分解の振る舞いに興味がある．したがって，多くの状況で，非輪状分解 (acyclic resolution) の概念が使われる： 2つのアーベル圏の間の左完全関手 F: A → B が与えられると，A の対象 M の分解


0→M→E0→E1→E2→⋯{displaystyle 0to Mto E_{0}to E_{1}to E_{2}to dotsb }{displaystyle 0to Mto E_{0}to E_{1}to E_{2}to dotsb }

が F 非輪状とは，導来関手 RiF(En) がすべての i > 0 と n ≥ 0 に対して消えることをいう．双対的に，左分解が右完全関手について非輪状とは，その導来関手が分解の対象上消えることをいう．


例えば，R 加群 M が与えられると，テンソル積 --⊗RM{displaystyle {text{--}}otimes _{R}M}{displaystyle {text{--}}otimes _{R}M} が右完全関手 Mod(R) → Mod(R) である．すべての平坦分解はこの関手について非輪状である．平坦分解はすべての M によるテンソル積に対して非輪状である．同様に，すべての関手 Hom(–, M) に対して非輪状な分解は射影分解であり，関手 Hom(M, –) に対して非輪状なのは単射分解である．


任意の単射（resp. 射影）分解は任意の左（resp. 右）完全関手に対して F 非輪状である．


非輪状分解の重要性は，（左完全関手の）導来関手 RiF（同様に右完全関手の導来関手 LiF）が F 非輪状分解のホモロジーから得られることにある：対象 M の非輪状分解 E∗{displaystyle E_{*}}{displaystyle E_{*}} が与えられると，


RiF(M)=HiF(E∗){displaystyle R_{i}F(M)=H_{i}F(E_{*})}{displaystyle R_{i}F(M)=H_{i}F(E_{*})}

が成り立つ，ただし右辺は複体 F(E∗){displaystyle F(E_{*})}{displaystyle F(E_{*})} の i 次ホモロジー対象である．


この状況は多くの状況に適用できる．例えば，可微分多様体 M 上の定数層（英語版） R に対して，滑らかな微分形式の層 C∗(M){displaystyle {mathcal {C}}^{*}(M)}{displaystyle {mathcal {C}}^{*}(M)} によって分解できる：
0→R⊂C0(M)→dC1(M)→d⋯→CdimM(M)→0.{displaystyle 0to Rsubset {mathcal {C}}^{0}(M){stackrel {d}{to }}{mathcal {C}}^{1}(M){stackrel {d}{to }}dots to {mathcal {C}}^{dim !M}(M)to 0.}{displaystyle 0to Rsubset {mathcal {C}}^{0}(M){stackrel {d}{to }}{mathcal {C}}^{1}(M){stackrel {d}{to }}dots to {mathcal {C}}^{dim !M}(M)to 0.}
層 C∗(M){displaystyle {mathcal {C}}^{*}(M)}{displaystyle {mathcal {C}}^{*}(M)} は細層であり，大域切断関手 Γ:F↦F(M){displaystyle Gamma colon {mathcal {F}}mapsto {mathcal {F}}(M)}{displaystyle Gamma colon {mathcal {F}}mapsto {mathcal {F}}(M)} に関して非輪状であることが知られている．したがって，大域切断関手 Γ の導来関手である層係数コホモロジーは次のように計算される：
Hi⁡(M,R)=Hi⁡(C∗(M)).{displaystyle operatorname {H} ^{i}(M,mathbf {R} )=operatorname {H} ^{i}({mathcal {C}}^{*}(M)).}{displaystyle operatorname {H} ^{i}(M,mathbf {R} )=operatorname {H} ^{i}({mathcal {C}}^{*}(M)).}


同様に，ゴドマン分解（英語版）は大域切断関手に関して非輪状である．



関連項目



  • 標準分解（英語版）

  • ヒルベルト・ブルフの定理（英語版）

  • ヒルベルトのジヂジー定理（英語版）

  • 自由表示（英語版）



脚注





  1. ^ Jacobson 2009, §6.5 は coresolution を用いているが，right resolution の方が，Weibel 1994, Chap. 2 にあるように，一般的である．


  2. ^ projective resolution in nLab, resolution in nLab


  3. ^ Jacobson 2009, §6.5




参考文献




  • Iain T. Adamson (1972), Elementary rings and modules, University Mathematical Texts, Oliver and Boyd, ISBN 0-05-002192-3 


  • Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry, Graduate Texts in Mathematics, 150, Berlin, New York: Springer-Verlag, ISBN 3-540-94268-8, MR 1322960, Zbl 0819.13001 


  • Jacobson, Nathan (2009) [1985], Basic algebra II (Second ed.), Dover Publications, ISBN 978-0-486-47187-7 


  • Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley Pub. Co., ISBN 978-0-201-55540-0, Zbl 0848.13001 


  • Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, 38, Cambridge University Press, ISBN 978-0-521-55987-4, OCLC 36131259, MR.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
    1269324     



外部リンク



  • Sakharov, Alex; Weisstein, Eric W.. "Resolution". MathWorld（英語）.


  • resolution in nLab


  • Projective and injective resolutions in nLab


  • construction of an injective resolution - PlanetMath.（英語）


  • injective resolution - PlanetMath.（英語）


  • flat resolution - PlanetMath.（英語）


  • free resolution - PlanetMath.（英語）


  • projective resolution - PlanetMath.（英語）


  • resolution of a sheaf - PlanetMath.（英語）


  • Govorov, V.E. (2001), "Resolution", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4




Popular posts from this blog

android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

Image
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 This is a simple project showing cubes on Unity, exported to android project and imported on Android studio. On maifest file it showed following warning: Expecting <uses-feature android:name="android.software.leanback" android:required="false" /> tag I have no information about it. And also on default emptyview android project does not use/mention this feature. I know it is required by TV's and such but why its not added by default? Why is this? And Should I concern about it? android unity3d
Read more

SQL update select statement

Image
0 I'm trying to update an entry in my database (postgresql). I'm having a problem with updating the query: INSERT INTO prices (price, product_id) SELECT product_price, commn_id FROM products_temp as prod WHERE NOT EXISTS (SELECT * FROM prices od WHERE prod.commn_id = od.product_id) OR prod.product_price != ( SELECT price FROM prices as p WHERE p.product_id = prod.commn_id order by p.end desc LIMIT 1 ) Query works fine when i delete: OR prod.product_price != ( SELECT price FROM prices as p WHERE p.product_id = prod.commn_id order by p.end desc LIMIT 1 ) So it seems to me that it's looping through this operation. My question is, how can I fix it? sql postgresql
Read more

'app-layout' is not a known element: how to share Component with different Modules

Image
0 My application was working fine until I decided to go with lazy loading: So, my shared component looks like this: import { Component, Renderer2 } from '@angular/core'; export interface FormModel { captcha?: string; } @Component({ selector: 'app-layout', templateUrl: './app-layout.component.html', styleUrls: ['./app-layout.css'] }) export class FullLayoutComponent { } app-layout.component.ts I am using this component in my Another component say school-home.component.html like this: <app-layout> </app-layout> and it was working fine until I created a Module school-home.module.ts like this: import { NgModule } from '@angular/core'; import { CommonModule } from '@angular/common'; import { SchoolhomeRoutingModule
Read more