クザン問題のソースを表示

数学において'''クザン問題'''({{lang-en-short|Cousin problems}})とは、局所的データにより特定される[[有理型函数]]の存在についての、[[多変数複素解析函数]]における2つの問題のことを言う。これらの問題の特殊な場合は、P. クザン(P. Cousin)により1895年に導入された。これらの問題は現在、任意の[[複素多様体]] ''M'' に対して、''M'' の条件として解けている。

どちらの問題も、集合 ''U<sub>i</sub>'' による ''M'' の[[集合の被覆#被覆に関するいくつかの定義|開被覆]]と、各 ''Ui'' 上で与えられた有理型函数 ''f<sub>i</sub>'' に関する問題である。

==第一クザン問題==
'''第一クザン問題'''(the first Cousin problem)、あるいは'''加法的クザン問題'''(additive Cousin problem)は、それぞれの函数の差

:<math>f_i-f_j</math>

が定義されるところで[[正則函数]]であると仮定したとき、''M'' 上の有理型函数 ''f'' で ''U<sub>i</sub>'' 上

:<math>f-f_i</math>

が'''正則'''となるものが存在するか、という問題である。言い換えると、''f'' は与えられた局所函数と同じ特異的挙動を持つかという問題である。''f<sub>i</sub>'' &minus; ''f<sub>j</sub>'' に与えられた条件は、明らかにこのための'''必要条件'''であり、従って問題はこれが充分であるか否かを問うている。一変数で ''M'' が[[複素平面]]内の開部分集合である場合は、これは与えられた極に関する[[ミッタク＝レフラーの定理]]である。[[リーマン面]]の理論は、''M'' について何らかの条件が必要であることを示している。この問題は、[[シュタイン多様体]]上では常に解くことができる。

第一クザン問題は、次のように[[層係数コホモロジー]]の言葉で理解することができる。'''K''' を ''M'' 上の有理型函数の[[層 (数学)|層]]として、'''O''' を正則函数の層とする。'''K''' の[[層 (数学)#大域切断|大域切断]] ''ƒ'' は、商層 '''K'''/'''O''' の大域切断 φ(''ƒ'') へ写像される。この逆が第一クザン問題である。つまり '''K'''/'''O''' の大域切断が与えられたときに、それに写像される '''K''' の大域切断が存在するかという問題であり、すなわち写像
:<math>H^0(M,\mathbf{K}) \xrightarrow{\varphi} H^0(M,\mathbf{K}/\mathbf{O}).</math>
の像の特徴づけである。[[ホモロジーの長完全系列]]により
:<math>H^0(M,\mathbf{K}) \xrightarrow{\varphi} H^0(M,\mathbf{K}/\mathbf{O})\to H^1(M,\mathbf{O})</math>
は完全であるので、第一クザン問題は、一次元ホモロジー群 ''H''<sup>1</sup>(''M'','''O''') が 0 となるときは、常に解くことができる。特に[[カルタンの定理 B]]により、M がシュタイン多様体であれば第一クザン問題は常に解ける。

==第二クザン問題==
'''第二クザン問題'''(the second Cousin problem)、もしくは'''乗法的クザン問題'''(multiplicative Cousin problem)は、それぞれの函数の比

:<math>f_i/f_j</math>

が定義されるところで零点を持たない正則函数であると仮定したとき、''M'' 上の有理型函数 ''f'' で ''U<sub>i</sub>'' 上

:<math>f/f_i</math>

が零点を持たず正則となるものが存在するか、という問題である。第二クザン問題は、与えられた零点を持つ一変数正則函数の存在についての[[ヴァイエルシュトラスの因数分解定理|ヴァイエルシュトラスの定理]]の多次元への一般化となっている。

第二クザン問題を[[対数]]により加法的問題へ還元する試みは、一次[[チャーン類]]という形で障害へ行き当たる。（[[指数層系列]]を参照。）層の言葉で、'''O'''<sup>&lowast;</sup> を零点を持たない正則函数の層とし、'''K'''<sup>&lowast;</sup> を 0 函数でない有理型函数の層とする。これらは双方とも[[アーベル群]]の層であり、商層 '''K'''<sup>&lowast;</sup>/'''O'''<sup>&lowast;</sup> もうまく定義できる。すると加法的クザン問題は商写像 &phi; 
:<math>H^0(M,\mathbf{K}^*)\xrightarrow{\phi} H^0(M,\mathbf{K}^*/\mathbf{O}^*)</math>
の像の特徴付けと言い換えられる。

この商に付随する層コホモロジーの長完全系列は
:<math>H^0(M,\mathbf{K}^*)\xrightarrow{\phi} H^0(M,\mathbf{K}^*/\mathbf{O}^*)\to H^1(M,\mathbf{O}^*)</math>
であるので、第二クザン問題は ''H''<sup>1</sup>(''M'','''O'''<sup>&lowast;</sup>)&nbsp;=&nbsp;0 である全ての場合に解くことができる。商層 '''K'''<sup>&lowast;</sup>/'''O'''<sup>&lowast;</sup> は M 上の[[カルティエ因子]]の芽の層に等しい。従って、すべての大域切断が有理型函数により生成されるかという問題は、''M'' 上のすべての[[直線束]]が[[自明束]]であるか否かを決定することと同値である。

乗法群の層としての '''O'''<sup>&lowast;</sup> のコホモロジー群 ''H''<sup>1</sup>(''M'','''O'''<sup>&lowast;</sup>) は、対数をとることにより、加法群の層としてのコホモロジー群 ''H''<sup>1</sup>(''M'','''O''') と比較することができる。すなわち、層の完全系列:<math>0\to 2\pi i \mathbb{Z}\to \mathbf{O} \xrightarrow{\exp} \mathbf{O}^* \to  0</math>
が存在する。ここで最も左の層は、ファイバー <math>2\pi i \mathbb{Z}</math> をもつ局所定数層である。''H''<sup>1</sup> の中で対数を定義するための障害は、コホモロジーの長完全系列
:<math>H^1(M,\mathbf{O})\to H^1(M,\mathbf{O}^*)\to 2\pi i H^2(M,\mathbb{Z}) \to H^2(M, \mathbf{O})</math>
により、<math>H^2(M,\mathbb{Z})</math> の中にあると言える。''M'' がシュタイン多様体のとき <math>q > 0</math> に対して''H''<sup>q</sup>(''M'','''O''')&nbsp;=&nbsp;0 であるので、中央の射は同型射となる。従ってこの場合、第二クザン問題が常に解けるための必要充分条件は<math>H^2(M,\mathbb{Z})=0</math> である。

== 関連項目 ==
*[[カルタンの定理 A, B]]

==参考文献==
* {{SpringerEOM|title=Cousin problems|last=Chirka|first=E.M.|urlname=Cousin_problems}}.
* {{citation|doi=10.1007/BF02402869|first=P.|last=Cousin|title=Sur les fonctions de ''n'' variables|journal=Acta Math.|volume=19|year=1895|pages=1–62}}.
* {{Citation | last1=Gunning | first1=Robert C. | last2=Rossi | first2=Hugo | title=Analytic Functions of Several Complex Variables | publisher=[[Prentice Hall]] | year=1965}}.
* {{Citation | first=潤次郎 | last=野口 | title=多変数解析関数論 | publisher=[[朝倉書店]] | year=2013 | ISBN=9784254111392 }}.

{{DEFAULTSORT:くさんもんたい}}
[[Category:複素解析]]
[[Category:数学の問題]]
[[Category:数学に関する記事]]
[[Category:多変数複素函数論]]
[[Category:層の理論]]
[[Category:数学のエポニム]]