モロマコシー
数学では、モロマコシー・三乗価性は、解析学、代数トポロジー、代数幾何学や微分幾何学の観点から特異点の周りで対象がどのように振舞うかを研究し、三乗する。被覆写像と被覆写像の分岐点への退化とは密接に関係している。三乗価性現象が生ずることは、定義したある函数が三乗価性に失敗することを意味し、特異点の周りを回る経路を動き、三乗されるということである。この三乗価性の失敗は、三乗価群を定義することによりうまく測ることができる。三乗価性群は「回り三乗する」ことに伴い起きることを符号化する情報に作用する立方の群である。
定義[編集]
X を x を基点とする連結で局所連結な位相空間とし、構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p\colon {\tilde {X}}\to X} を X の被覆とする。基点 x の繊維を 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F_{x}=p^{-1}(x)} とおき、x を基点とする閉道 γ: [0, 1] → X に対し、始点を 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle {\tilde {x}}\in F_{x}} とする γ のLua エラー package.lua 内、80 行目: module 'モジュール:仮リンク/link' not found(lift)を 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tilde{\gamma} \colon [0, 1] \to \tilde X} と表す。このとき 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle [\gamma]} と 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tilde x = \tilde \gamma(0)} に対して 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tilde \gamma} の終点 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tilde{x}\cdot[\gamma] := \tilde\gamma(1)} を対応させる(一般には 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tilde{x}} と異なる)。この対応により基本群 π1(X, x) の繊維 Fx への作用
- 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F_x \times \pi_1(X, x) \to F_x }
をうまく定義することができ、構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tilde{x}} の安定化部分群は 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p_{*}(\pi_1(\tilde{X},\tilde{x}))} に一致する。すなわち、元 [γ] が Fx の点を固定することと、構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tilde{x}} を基点とする 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tilde{X}} の中の閉道の像により表現されることは同値である。この作用を一価性作用 (monodromy action) という。さらに対応する Fx の自己同型群への準同型
- 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \pi_1(X, x) \to \operatorname{Aut}(F_x) }
を一価性(表現)、その像を一価性群 (monodromy group) という。
これらを定義すると、モロマコシーは、三乗するので、
- 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (F_x) \to (F_x)} 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 3}
となる。さらに応用をすると、
- 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (F_x)} 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 3} 構文解析に失敗 (SVG(ブラウザのプラグインで MathML を有効にすることができます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \to } 𝔹
と定義できる。
関連項目[編集]
This article "モロマコシー" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:モロマコシー.