ブラウザよりも高速アクセス！
37 関係: 双有理幾何学、多胞体、層係数コホモロジー、一般ガウス・ボネの定理、ミハイル・グロモフ、ミラー対称性 (弦理論)、マイヤー・ヴィートリス完全系列、モチーフ (数学)、モース理論、リーマン幾何学、リーマン・ロッホの定理、リーマン・フルヴィッツの公式、レフシェッツ不動点定理、ヴェイユ予想、フレアーホモロジー、ファノ多様体、フェリックス・クライン、ホモロジカルミラー対称性予想、ホッジ理論、ホッジ構造、周期写像、エミー・ネーター、エンリケス・小平の分類、エンリコ・ベッチ、オイラー標数、キャッソン不変量、ケーラー多様体、ザイフェルト行列、シンプレクティック同相写像、シンプレクティック多様体、シンプレクティック幾何学、サロモン・ボホナー、特異ホモロジー、複素多様体、超楕円曲面、VII型曲面、普遍係数定理。
双有理幾何学
代数幾何学では、双有理幾何学(birational geometry)の目標は、2つの代数多様体が（多様体の次元）より低い次元の部分を除き、どのようなときに同型となるかを決定することである。このことは、多項式というよりも、有理函数により与えられる写像を研究することを意味し、有理函数が極を持つ場合は(写像を）定義することができないかもしれない。.
新しい！!: ベッチ数と双有理幾何学 · 続きを見る »
多胞体
初等幾何学における四次元超多面体(4-polytope) または多胞体（たほうたい、polychoron, polycell, polyhedroid）は四次元の超多面体である。四次元超多面体は連結かつ閉な図形で、より低次の超多面体図形（頂点、辺、多角形面、多面体）から組み立てられる。各面はちょうど二つの胞に共有される。 多くの胞からなる図形という意味で多胞体とも呼ばれるが、「多胞体」を任意の超多面体を表す polytope の訳語としても用いることがあるため注意が必要である。以下、誤解の虞が無いならば、断りなく四次元超多面体の意味で多胞体と呼ぶことにする。 多胞体は二次元の多角形および三次元の多面体の四次元における対応物である。 位相的には、多胞体はに近い関係を持つ。例えば、三次元空間を充填するとの関係は、三次元立方体が無限正方形平面充填に関係するのと同様である。凸多胞体を「切ったり開いたり」して三次元展開図を作ることができる。.
層係数コホモロジー
数学において、層コホモロジー (sheaf cohomology) は、アーベル群の層に関連する層の理論の一面であり、ホモロジー代数を用いて、層 F の大域切断の具体的な計算を可能とする。数値的な領域での幾何学的な問題の記述として、層コホモロジーの理論は、重要な幾何学的な不変量の次元を計算することへ有用なツールとして使うことができる。 1950年以後の数年間で急速に発展した層コホモロジーは、リーマン・ロッホの定理のより古典的な方法や代数幾何学の(linear system of divisors)の解析や多変数複素函数論やホッジ理論へ結びついた。層コホモロジー群のランク、もしくは次元は、幾何学的なデータの新しい情報源になったり以前の研究の新しい解釈を与えたりする。.
新しい！!: ベッチ数と層係数コホモロジー · 続きを見る »
一般ガウス・ボネの定理
一般ガウス・ボネの定理(generalized Gauss–Bonnet theorem)（チャーン・ガウス・ボネの定理とも呼ばれる）は、偶数次元の閉リーマン多様体のオイラー特性数を曲率から導かれるある多項式の積分として表す定理である。 M を境界のないコンパクトな向き付け可能な 2n 次元リーマン多様体とし、Ω をレヴィ・チヴィタ接続の曲率形式とする。これは、Ω が M 上の \mathfrak s\mathfrak o(2n) に値を持つ 2-形式であることを意味する。そのために、Ω は成分が 2-形式である反対称 2n × 2n 行列であるので、可換環 \wedge^\,T^*M 上の行列である。従って、2n-形式を成分にもつパフィアン Pf(Ω) をとることができる。この状況で一般ガウス・ボネの定理は となる。ここで χ(M) は、M のオイラー数を表す。この定理は、ガウス・ボネの定理の高次元化である。.
新しい！!: ベッチ数と一般ガウス・ボネの定理 · 続きを見る »
ミハイル・グロモフ
ミハイル・レオニドヴィッチ・グロモフ（Mikhael Leonidovich Gromov, 1943年12月23日 - ）は、フランスの数学者。現代幾何学において重要な人物のひとり。ロシア出身で、愛称はミーシャ (Misha)。.
新しい！!: ベッチ数とミハイル・グロモフ · 続きを見る »
ミラー対称性 (弦理論)
数学や理論物理学において、ミラー対称性(mirror symmetry)はカラビ・ヤウ多様体と呼ばれる幾何学的な対象の間の関係であり、2つの カラビ・ヤウ多様体が幾何学的には全く異なっているにもかかわらず、弦理論の余剰次元としてそれらを扱うと等価となる対称性のことを言う。この場合、多様体は互いに「ミラー多様体」であると呼ばれる。 ミラー対称性はもともとは、物理学者によって発見された。数学者がミラー対称性に興味を持ち始めたのは1990年頃で、特に、(Philip Candelas)、ゼニア・デ・ラ・オッサ(Xenia de la Ossa)、パウル・グリーン(Paul Green)、リンダ・パークス(Linda Parks)らによって、ミラー対称性を数々の方程式の解の数を数える数学の分野である数え上げ幾何学で使うことができることが示されていた。実際、キャンデラスたちは、ミラー対称性を使いカラビ・ヤウ多様体の上の有理曲線を数えることができ、長きにわたり未解決であった問題を解明できることを示した(参照項目:ミラー対称性の応用)。元来のミラー対称性へのアプローチは、理論物理学者からの必ずしも数学的には厳密(mathematical rigor)ではないアイデアに基づいているにもかかわらず、数学者はミラー対称性予想のいくつかを数学的に厳密な証明に成功しつつある。 今日では、ミラー対称性は純粋数学の主要な研究テーマであり、数学者は物理学者の直感に基づくミラー対称性を数学的に深く理解しつつある。ミラー対称性は弦理論の計算を実行する際の基本的なツールでもある。ミラー対称性への主要なアプローチは、マキシム・コンツェビッチ(Maxim Kontsevich)のホモロジカルミラー対称性予想のプログラムやアンドリュー・ストロミンジャー(Andrew Strominger)、シン＝トゥン・ヤウ(Shing-Tung Yau)、(Eric Zaslow)のSYZ予想を含んでいる。 Yau and Nadis 2010 Although the original approach to mirror symmetry was based on nonrigorous ideas from theoretical physics, mathematicians have gone on to rigorously prove some of the mathematical predictions of mirror symmetry.
新しい！!: ベッチ数とミラー対称性 (弦理論) · 続きを見る »
マイヤー・ヴィートリス完全系列
数学の特に代数的位相幾何学およびホモロジー論におけるマイヤー・ヴィートリス完全系列（マイヤーヴィートリスかんぜんけいれつ、Mayer–Vietoris sequence）は、位相空間が持つホモロジー群やコホモロジー群といった代数的位相不変量を計算するのに便利な道具の一つで、オーストリアの数学者ヴォルター・マイヤーとレオポルト・ヴィートリスによって示された。これは、位相空間を（コ）ホモロジーの計算がより容易にできるような部分空間の小片に分解するとき、得られる部分空間の（コ）ホモロジーの列ともとの空間のそれとの関係を述べたもので、それによりもとの空間のそれらを計算するという方法論を与える。マイヤー・ヴィートリス完全系列と呼ばれる完全系列は、全体空間の（コ）ホモロジー群、部分空間の（コ）ホモロジー群の直和、部分空間の交わりの（コ）ホモロジー群の三者から構成される自然な長完全列である。 マイヤー・ヴィートリス完全系列は、特異ホモロジー・特異コホモロジーを含む様々なホモロジー論およびコホモロジー論において成立する。一般に、アイレンバーグ-スティーンロッド公理系を満足する（コ）ホモロジー理論に対してマイヤー・ビートリスの完全系列が存在しており、それらに対する簡約版と相対版も考えることができる。大部分の位相空間は、その（コ）ホモロジーを定義から直接に計算することができないので、部分的な情報を得るためにマイヤー・ヴィートリス完全系列のような道具を利用する。位相幾何学に現れるような空間の多くは非常に簡単な小片の貼り合わせとして構成されるが、そういったものの中で、空間を被覆する二つの部分空間（およびそれらの交わり）がもとの空間より単純な（コ）ホモロジーを持つものを注意深く選べば、マイヤー・ヴィートリス完全系列によりもとの空間の（コ）ホモロジーが完全に演繹できるというのである。この観点で言えば、マイヤー・ヴィートリス完全系列は、基本群に対するの類似であり、実際一次元ホモロジーに対しては明確な関係がある。.
新しい！!: ベッチ数とマイヤー・ヴィートリス完全系列 · 続きを見る »
モチーフ (数学)
代数幾何学では、モチーフ(motive、ときにはフランス語の使いかたに従い motif とすることもある)は、「代数多様体の本質的な部分を表す。今日まで、ピュアモチーフは定義されているが、一方、予想されている混合モチーフは定義されていない。 ピュアモチーフは、三つ組 (X, p, m) で、この X は滑らかな射影多様体、p: X ⊢ X はべき等な(idempotent)対応、m は整数である。(X, p, m) から (Y, q, n) への射(morphism)は、次数 n - m の対応により与えられる。 アレクサンドル・グロタンディーク(Alexander Grothendieck)に従い、混合モチーフに限っては、数学者たちが「普遍的」なコホモロジー論をもたらす適切な定義を求めている。圏論の言葉では、普遍的なコホモロジーは代数的代数的対応の圏で(splitting idempotents)を通した定義を意図していた。しかし、数十年間、標準予想を証明することに失敗して、これを定義することができなかった。現在示されているように、このことは「充分な」多くの射を持つことができない。 一方、モチーフの圏は、1960年代から1970年代にかけて、多く議論された普遍ヴェイユコホモロジーであることが想定されたが、この期待は完全に証明されてはいない。他方、現在は、全く異なる方法より、(motivic cohomology)が、現在、テクニカルな定義が数多くある。.
新しい！!: ベッチ数とモチーフ (数学) · 続きを見る »
モース理論
微分トポロジーにおいて、モース理論（モースりろん、Morse theory）は、多様体上の微分可能函数を研究することにより、多様体の位相的性質の分析を可能とする。 (Marston Morse) の基本的な見方に従うと、多様体上の典型的な微分可能函数はその位相的性質を極めて直接的に反映する。モース理論は、多様体上のやを見つけたり、多様体のホモロジーの本質的な情報をもたらす。 モース以前は、アーサー・ケイリー (Arthur Cayley) とジェームズ・クラーク・マクスウェル (James Clerk Maxwell) がの脈絡で、モース理論のいくつかのアイデアを考え出した。モースの元来の応用は、測地線の理論（経路上のエネルギー汎函数の臨界点への応用であった。これらのテクニックは、ラウル・ボット (Raoul Bott) のの証明に使われた。 モース理論の複素多様体での類似が、ピカール・レフシェッツ理論である。.
新しい！!: ベッチ数とモース理論 · 続きを見る »
リーマン幾何学
リーマン幾何学（リーマンきかがく、Riemannian geometry）とは、リーマン計量や擬リーマン計量と呼ばれる距離の概念を一般化した構造を持つ図形を研究する微分幾何学の分野である。このような図形はリーマン多様体、擬リーマン多様体とよばれる。ドイツの数学者ベルンハルト・リーマンに因んでこの名前がついている。1850年代に確立された。 楕円・放物・双曲の各幾何学は、リーマン幾何学では、曲率がそれぞれ正、0、負の一定値をとる空間（それぞれ球面、ユークリッド空間、双曲空間）上の幾何学と考えられる。なお、楕円幾何学のことをリーマン幾何と呼ぶことがあるが、本稿で述べるリーマン幾何学はそれとは異なるものである。 アルベルト・アインシュタインは、重力、即ち、一様ではなく湾曲した時空を記述するのに擬リーマン多様体の枠組みが有効であることを見いだし、リーマン幾何学を数学的核心とした一般相対性理論を構築した。 3.
新しい！!: ベッチ数とリーマン幾何学 · 続きを見る »
リーマン・ロッホの定理
リーマン・ロッホの定理（リーマン・ロッホのていり、Riemann–Roch theorem）とは、複素解析学や代数幾何学などで用いられる、閉リーマン面上の複素解析と曲面の種数とを結びつける定理である。特定の位数の零点と極をもつ有理型関数空間の次元計算に役立つ。 まず、ベルンハルト・リーマンがでリーマンの不等式(Riemann's inequality)を証明した。そして短い間ではあったが、リーマンの学生であったグスタフ・ロッホが、で決定的な形に到達した。その後、この定理は代数曲線上や高次元代数多様体に一般化され、さらにそれを超えた一般化もなされている。.
新しい！!: ベッチ数とリーマン・ロッホの定理 · 続きを見る »
リーマン・フルヴィッツの公式
数学では、ベルンハルト・リーマン(Bernhard Riemann)とアドルフ・フルヴィッツ(Adolf Hurwitz)の名前の付いたリーマン・フルヴィッツの公式(Riemann–Hurwitz formula)は、一方が他方の分岐被覆(ramified covering)となっているとき、2つの曲面のオイラー標数関係を記述した公式である。従って、この場合には、分岐と代数トポロジーを関連付ける。他にも多くの典型的な結果があるが、リーマン・フルヴィッツの公式はリーマン面（これが発生元である）や代数曲線の理論へ適用される。.
新しい！!: ベッチ数とリーマン・フルヴィッツの公式 · 続きを見る »
レフシェッツ不動点定理
数学で、レフシェッツ不動点定理(Lefschetz fixed-point theorem)は、コンパクトな位相空間 X からそれ自身への連続写像の不動点の数を、X のホモロジー群の上の誘導された写像のトレースによって数える公式である。この名称はソロモン・レフシェッツ(Solomon Lefschetz)にちなみ、1926年に彼が最初に提唱した。 数え上げの問題は、不動点と呼ばれる点での多重度も考慮して不動点を数える問題である。この定理の弱いバージョンは、全く不動点を持たない写像は、むしろ特別のトポロジー的（円の回転に似た）性質を持つことを示すことができる。.
新しい！!: ベッチ数とレフシェッツ不動点定理 · 続きを見る »
ヴェイユ予想
ヴェイユ予想（ヴェイユよそう、Weil conjectures）とは、数学者のアンドレ・ヴェイユが発表した、非特異代数多様体上の合同ゼータ関数におけるリーマン予想の類似で（下の(3)がリーマン予想の類似）、アレクサンドル・グロタンディークを経てピエール・ルネ・ドリーニュにより1974年に解決された。.
新しい！!: ベッチ数とヴェイユ予想 · 続きを見る »
フレアーホモロジー
数学において、フレアーホモロジー(Floer homology)は、シンプレクティック幾何学や低次元トポロジーの研究に使用される有用なツールである。フレアーホモロジーは、有限次元のモース理論の無限次元の類似として発生した高級な不変量である。アンドレアス・フレアー(Andreas Floer)は、現在はハミルトニアンフレアーホモロジーと呼ばれているフレアーホモロジーの最初のバージョンを導入し、シンプレクティック幾何学のアーノルド予想の証明に使った。フレアーは、これと密接に関連するシンプレクティック多様体のラグランジアン部分多様体の理論を開発した。フレアーは、また、シンプレクティック多様体のラグランジアン部分多様体に密接に関連する理論も開発した。フレアーが第三番目に構成したことは、ヤン・ミルズ汎函数を使い、ホモロジー群を閉 3次元多様体へ関連付けた。これらの理論とそれの適用は、3次元や 4次元トポロジーと同様に、シンプレクティック多様体や接触多様体の現在の研究で、基本的な役割を果たしている。 フレアーホモロジーは、無限次元多様体とその上の実数値函数をある興味深い対象へ結び付けることにより定義される。例えば、シンプレクティック幾何学のバージョンでは、フレアーホモロジーは、シンプレクティック作用汎函数をシンプレクティック多様体の自由ループ空間へ結び付ける。、3次元多様体の（(instanton)）バージョンでは、3次元多様体上のSU(2)-接続の空間へ結び付ける。おまかに言うと、フレアーホモロジーは、無限次元多様体の上の自然な函数から計算されるモースホモロジーである。この自然な函数は、シンプレクティックな場合は、シンプレクティック作用を持つシンプレクティック多様体の自由ループ空間であり、3次元多様体の場合は、チャーン-サイモンズ汎函数を持つ 3次元多様体上の SU(2)-接続の空間である。大まかには、フレアーホモロジーは、無限次元多様体上の函数のモースホモロジーである。フレアーチェーン複体は、函数の臨界点(critical point)（もしくは、臨界点のある集まりでもよい）で張られるアーベル群から構成される。チェーン複体の微分は、臨界点と臨界点と（従って、臨界点の集まり）を結ぶ函数の勾配の力線の数を数えることにより定義される。このベクトル空間の線型な自己準同型は、2つの臨界点を結ぶ函数の勾配の力線を数えることで定義される。フレアーホモロジーは、このチェーン複体のホモロジーである。 フレアーのアイデアをうまく適用できる状況では、勾配の力線の方程式が、幾何学的解析的に扱いやすい典型的な方程式である。シンプレクティックフレアーホモロジーに対し、ループ空間の中の経路の勾配の力線の方程式は、注目しているシンプレクティック多様体への円筒形(cylinder)（ループの経路の全空間）からの写像のコーシー・リーマンの方程式（の摂動バージョン）であり、解は(pseudoholomorphic curves)として知られている。従って、(Gromov compactness theorem)は、微分が well-defined で、二乗が 0 となるので、フレアーホモロジーを定義することができることを示した。インスタントンフレアーホモロジーに対し、勾配の力線の方程式はまさに、実直線と交差する 3次元多様体上のヤン・ミルズ方程式である。.
新しい！!: ベッチ数とフレアーホモロジー · 続きを見る »
ファノ多様体
代数幾何学では、ファノ多様体(Fano variety)は、 により導入され、多様体上の反標準バンドルが豊富な(complete variety) X のことを言う。この定義は、X がある定義体上で(smooth)なことを前提としているが、極小モデルプログラムでは、端末特異点(canonical singularity)やklt特異点(klt singularity)（川又対数端末特異点）といった、様々なタイプの特異点を持ったファノ多様体の研究も進められていた。 X* is ample.
新しい！!: ベッチ数とファノ多様体 · 続きを見る »
フェリックス・クライン
フェリックス・クリスティアン・クライン（Felix Christian Klein, 1849年4月25日 - 1925年6月22日）は、ドイツの数学者。群論と幾何学との関係、関数論などの発展に寄与した。クラインの壺の考案者。ダフィット・ヒルベルトやアンリ・ポアンカレといった次の世代の数学者に影響を与えた。.
新しい！!: ベッチ数とフェリックス・クライン · 続きを見る »
ホモロジカルミラー対称性予想
ホモロジカルミラー対称性は、マキシム・コンツェビッチにより予想された数学の予想である。物理学者が弦理論を研究することにより初めて観察された、ミラー対称性と呼ばれる現象の数学的、系統的な説明を求める。.
新しい！!: ベッチ数とホモロジカルミラー対称性予想 · 続きを見る »
ホッジ理論
数学におけるホッジ理論（ホッジりろん、Hodge theory ）とは可微分多様体 上の微分形式に関する理論である。特に、 上のリーマン計量に付随する（一般化された）ラプラス作用素に関する偏微分方程式論をもちいて得られる 上の実係数コホモロジー群の性質のことをいう。 1930年代にによってド・ラームコホモロジーの拡張として開発され、3つのレベルで大きな応用を持っている。.
新しい！!: ベッチ数とホッジ理論 · 続きを見る »
ホッジ構造
数学では、（William Vallance Douglas Hodge）の名前に因んで付けられたホッジ構造（Hodge structure）とは、滑らかでコンパクトなケーラー多様体のコホモロジー群にホッジ理論が与えた代数構造と同様の、線形代数のレベルの代数構造である。混合ホッジ構造（mixed Hodge structure）は、ホッジ構造のすべての複素多様体（たとえ特異点を持ったり、非であったとしても）への一般化で、1970年にピエール・ドリーニュ（Pierre Deligne）により定義され、。ホッジ構造の変形（variations of Hodge structure）とは、多様体によってパラメトライズされたホッジ構造の族であり、最初にフィリップ・グリフィス（P.
新しい！!: ベッチ数とホッジ構造 · 続きを見る »
周期写像
数学では代数幾何学の分野において、周期写像(period mapping)がケーラー多様体の族とホッジ構造の族とを関係付ける。.
エミー・ネーター
アマーリエ・エミー・ネーター (Amalie Emmy Noether,; 1882年3月23日 - 1935年4月14日) はユダヤ系ドイツ人数学者であり、抽象代数学と理論物理学への絶大な貢献で有名である。ネーターは、パヴェル・アレクサンドロフ (Pavel Alexandrov)、アルベルト・アインシュタイン (Albert Einstein)、ジャン・ディュドネ (Jean Dieudonné)、ヘルマン・ヴァイル (Hermann Weyl)、ノーバート・ウィーナー (Norbert Wiener) によって、数学の歴史において最も重要な女性と評されている。彼女の時代の先導的数学者の一人として、彼女は環、体、多元環の理論を発展させた。物理学では、ネーターの定理は対称性と保存則の間の関係を説明する。 ネーターはエルランゲンのフランケン地方の町のユダヤの家系に生まれた。父は数学者のである。彼女はもともと、必要な試験を通った後フランス語と英語を教える予定だったが、そうしないで数学を彼女の父が講義しているエルランゲン大学で学んだ。 (Paul Gordan) の指導の下1907年に学位論文を完成させた後、彼女は7年間無給でエルランゲンの数学研究所で働いた。当時女性は大学の職から大きく遮断されていた。1915年、彼女はダフィット・ヒルベルト (David Hilbert) とフェリックス・クライン (Felix Klein) によってゲッチンゲン大学数学科、世界規模で有名な数学研究の中心、に招かれた。しかしながら、哲学的な教授陣は反対し、彼女は4年間をヒルベルトの名の下での講義に費やした。彼女の （大学教授資格試験）が1919年に承認され、彼女は Privatdozent （私講師）の地位を得ることができた。 ネーターは1933年までゲッチンゲン数学科の主導的一員だった。彼女の生徒は "Noether boys" と呼ばれることもあった。1924年、オランダ人数学者 は彼女の仲間に入り、すぐにネーターのアイデアの主導的解説者になった。彼女の仕事は彼の影響の大きい1931年の教科書 （現代代数学）の第二巻の基礎であった。1932年のチューリッヒでの国際数学者会議での彼女の plenary address （全員参加の講演）の時までには彼女の代数的な洞察力は世界中で認められていた。翌年、ドイツのナチ政府はユダヤ人を大学の職から解雇し、ネーターはアメリカに移ってペンシルヴァニアので職を得た。1935年、彼女は卵巣嚢腫の手術を受け、回復の兆しにもかかわらず、4日後53歳で亡くなった。 ネーターの数学的研究は3つの「時代」に分けられている。第一の時代 (1908–19)、彼女はと数体の理論に貢献した。変分法における微分不変量に関する彼女の仕事、ネーターの定理は、「現代物理学の発展を先導したこれまでに証明された最も重要な数学な定理の1つ」と呼ばれてきた。第二の時代 (1920–26)、彼女は「代数学の顔を変えた」仕事を始めた。彼女の高尚な論文 Idealtheorie in Ringbereichen (環のイデアル論, 1921) においてネーターは可換環のイデアルの理論を広範な応用を持つ道具へと発展させた。彼女は昇鎖条件を手際よく使った。それを満たす対象は彼女に敬意を表してと呼ばれる。第三の時代 (1927–35)、彼女は非可換代数と超複素数についての研究を出版し、群の表現論を加群とイデアルの理論と統合した。ネーターは自身の出版物に加え、自分の考えに惜しみなく、他の数学者によって出版されたいろいろな研究の功績が、代数的位相幾何学のような彼女の研究とはかけ離れた分野においてさえ、認められている。.
新しい！!: ベッチ数とエミー・ネーター · 続きを見る »
エンリケス・小平の分類
数学においてエンリケス・小平の分類(Enriques–Kodaira classification)とは、コンパクトな複素曲面を10個のクラスへ分類する方法のことである。分類の各クラスはモジュライ空間によりパラメーター化することができる。大部分のクラスのモジュライ空間については良く理解されているが、一般型の曲面については明確に記述するには複雑すぎるとみられており、部分的結果しか知られていない。 初めに が複素射影曲面の分類を記述し、その後小平邦彦 がそれを代数的ではないコンパクト曲面を含む分類へと拡張した。標数 p > 0 における曲面の同様の分類を、 が行い、 により完成された。この分類は、標数 2 の場合に特異および超特異(supersingular)なエンリケス曲面を含むことや、標数 2 又は 3 の場合に準超楕円曲面が得られることを除けば、標数 0 の場合と類似している。.
新しい！!: ベッチ数とエンリケス・小平の分類 · 続きを見る »
エンリコ・ベッチ
ンリコ・ベッチ（Enrico Betti、1823年10月21日 - 1892年8月11日）は、イタリアの数学者である。1871年に書かれ、後にベッチの名前を取ってベッチ数と呼ばれることになる概念を導いた、位相幾何学に関する論文で有名である他、方程式論の研究も行いガロア理論に初期の説明を与えた。物理学（構造力学）の研究の仕事もあり、弾性力理論の帰結としての相反作用の定理を発見した。.
新しい！!: ベッチ数とエンリコ・ベッチ · 続きを見る »
オイラー標数
イラー標数（オイラーひょうすう、）とは、位相空間のもつある種の構造を特徴付ける位相不変量のひとつ。オイラーが多面体の研究においてこの不変量を用いたことからこの名がある。オイラー数と呼ばれることもあるが、オイラー数は別の意味で使われることも多い。.
新しい！!: ベッチ数とオイラー標数 · 続きを見る »
キャッソン不変量
数学の一分野である幾何学的トポロジーの(3-dimensional topology)では、キャッソン不変量(Casson invariant)は、(Andrew Casson)により導入された向き付け可能な整数(homology 3-sphere)の整数値不変量である。 ケルビン・ウォーカー(Kevin Walker)は、1992年に、キャッソン・ウォーカー不変量(Casson-Walker invariant)と呼ばれる(rational homology 3-sphere)の拡張を発見し、クリスティーヌ・レスコップは、1995年にすべての閉じたな向きつけられた(3-manifold)へ拡張した。.
新しい！!: ベッチ数とキャッソン不変量 · 続きを見る »
ケーラー多様体
数学、特に微分幾何学において、ケーラー多様体（Kähler manifold）とは、複素構造、リーマン構造、シンプレクティック構造という３つが互いに整合性を持つ多様体である。ケーラー多様体 X 上には、ケーラーポテンシャルが存在し、X の計量に対応するレヴィ・チヴィタ接続が、標準直線束上の接続を引き起こす。 滑らかな射影代数多様体はケーラー多様体の重要な例である。小平埋め込み定理により、正の直線束を持つケーラー多様体は、常に射影空間の中へ双正則に埋め込むことができる。 ケーラー多様体の名前はドイツ人数学者エーリッヒ・ケーラー (Erich Kähler) にちなんでいる。.
新しい！!: ベッチ数とケーラー多様体 · 続きを見る »
ザイフェルト行列
ある与えられた有向ザイフェルト曲面 F 上の（整係数）一次元ホモロジー群H_1(F;\mathbb)中の任意の二つの元 x, y に対し、それらの纏絡数 (linking number) を対応させる線形写像 φ:H_1(F;\mathbb)\times H_1(F;\mathbb)\rightarrow\mathbbを考える（これをザイフェルト形式と呼ぶ）。ただし、ここで x, y の纏絡数とは、 x を曲面の表方向に少し浮かせたものと y （あるいは y を裏の方に浮かせたものと x ）との纏絡数とする。ホモロジー群の一つの基底に関するザイフェルト形式の表現行列 V_\phi を F の（基底に附随した）ザイフェルト行列という。したがってそれは基底の取り方に依存するが、ザイフェルト曲面 F のベッチ数を β としたとき、いずれも β 次の正方行列となる。 F がある有向絡み目 L のザイフェルト曲面であるとき、 V_\phiを L の（ザイフェルト曲面 F 及び基についての）ザイフェルト行列という。 さいふえるときようれつ さいふえるときようれつ.
新しい！!: ベッチ数とザイフェルト行列 · 続きを見る »
シンプレクティック同相写像
数学では、シンプレクティック同相(symplectomorphism)（あるいは、シンプレクティック写像(symplectic map)とも言う）は、シンプレクティック多様体のカテゴリでの同型のことを言う。古典力学では、シンプレクティック同相は、体積保存する写像で、相空間のシンプレクティック構造を保存する相空間の間の写像変換である。古典力学では正準変換と呼ばれる。.
新しい！!: ベッチ数とシンプレクティック同相写像 · 続きを見る »
シンプレクティック多様体
数学におけるシンプレクティック多様体（symplectic manifold）は、シンプレクティック形式と呼ばれる非退化な閉形式である 2-形式を持つ滑らかな多様体である。シンプレクティック多様体の研究分野はシンプレクティック幾何学やシンプレクティックトポロジーと呼ばれる。シンプレクティック多様体は、古典力学の抽象的定式化であるハミルトン力学などにおいて多様体の余接バンドルとして自然に表れるもので、この分野に対して大きな動機付けを与えた。実際、系の取り得るすべての配位が成す集合を多様体としてモデル化すると、この多様体は系の相空間を記述する。 シンプレクティック多様体上の微分可能な実数値関数 H は(energy function)を与えることができ、これをハミルトニアンと呼ぶ。どのようなハミルトニアンに対してもハミルトンベクトル場が対応付けられる。ハミルトンベクトル場の積分曲線はハミルトン方程式の解曲線になる。ハミルトンベクトル場は、シンプレクティック多様体上のフロー（ハミルトンフロー、あるいは、シンプレクティック同相写像と呼ばれる）を定め、リウヴィルの定理によれば、ハミルトンフローは相空間上の体積要素を保存する。.
新しい！!: ベッチ数とシンプレクティック多様体 · 続きを見る »
シンプレクティック幾何学
ンプレクティック幾何学（シンプレクティックきかがく、symplectic geometry）とは、シンプレクティック多様体上で展開される幾何学をいう。シンプレクティック幾何学は解析力学を起源とするが、現在では大域解析学の一分野でもあり、可積分系・非可換幾何学・代数幾何学などとも深い繋がりを持つ。また、弦理論や超対称性との関わりも盛んに研究がなされている。.
新しい！!: ベッチ数とシンプレクティック幾何学 · 続きを見る »
サロモン・ボホナー
モン・ボホナー英語での読みに倣うなら Bochner はボクナーと読む。（Salomon Bochner, 1899年8月20日 – 1982年5月2日）はアメリカ人の数学者。出身は当時オーストリア＝ハンガリー帝国に属していた（現在はポーランド、クラクフにある）。解析学や確率論、微分幾何学など幅広い分野で貢献が知られている。.
新しい！!: ベッチ数とサロモン・ボホナー · 続きを見る »
特異ホモロジー
数学の一分野である代数トポロジーにおいて、特異ホモロジー (singular homology) とは位相空間 X ののある種の集合、いわゆるホモロジー群 (homology group) H_n(X) の研究のことである。直感的に言えば、特異ホモロジーは、各次元 n に対して、空間の n 次元の穴を数える。特異ホモロジーはホモロジー論の例である。これは今では理論のかなり大きな集まりに成長している。様々な理論の中で、特異ホモロジーはかなり具体的な構成に基づいているのでおそらく理解するのが容易なものの1つである。 手短に言えば、特異ホモロジーは標準 ''n''-単体から位相空間への写像をとり、それらから特異チェイン (singular chain) と呼ばれる形式和を作ることによって構成される。単体上の境界作用素は特異チェイン複体を誘導する。すると特異ホモロジーはそのチェイン複体のホモロジーである。得られるホモロジー群はすべてのホモトピー同値な空間に対して同じであり、これがそれらの研究の理由である。これらの構成はすべての位相空間に対して適用することができるので、特異ホモロジーは圏論の言葉で表現できる。そこではホモロジー群は位相空間の圏から次数付きアーベル群の圏への関手になる。これらのアイデアは以下でもっと詳細に説明される。.
新しい！!: ベッチ数と特異ホモロジー · 続きを見る »
複素多様体
微分幾何学で複素多様体（ふくそたようたい、complex manifold）とは、多様体上の各点の開近傍が、Cn の中の単位開円板への正則な座標変換を持つ多様体のことを言う。座標変換が正則である場合には、Cn の中で、コーシー・リーマンの方程式の制約を受ける。 複素多様体という言葉は、上の意味で可積分複素多様体として特徴づけることができる。 One must use the open unit disk in Cn as the model space instead of Cn because these are not isomorphic, unlike for real manifolds.
新しい！!: ベッチ数と複素多様体 · 続きを見る »
超楕円曲面
数学では、超楕円曲面(hyperelliptic surface)、あるいは双楕円曲面(bi-elliptic surface)は、楕円曲線上の楕円ファイバー(elliptic fibration)を持つ曲面である。すべてのそのような曲面は、有限アーベル群による 2つの楕円曲線の積の商として記述できる。超楕円曲面は、エンリケス・小平の分類の中の小平次元 0 の曲面のひとつのクラスである。.
新しい！!: ベッチ数と超楕円曲面 · 続きを見る »
VII型曲面
数学では、VII型曲面(surfaces of class VII)は、非代数的複素曲面で、で研究され、小平次元 −∞ を持ち、第一ベッチ数が 1 である。VII型曲面（自己交点数が -1 である非有理曲面）の局所モデルは、VII0 型の曲面(surfaces of class VII0)と呼ばれる。全ての VII型曲面は、一意な VII型極小曲面に双有理同値であり、この極小曲面を有限回点でブローアップすることで得ることができる。 「VII型」という名前は、 から来ていて、そこでは極小曲面が I0 から VII0 という番号の付けられた 7つのクラスへ分類されている。しかしながら、小平のクラス VII0 は、小平次元が −∞ であるという条件が付いていなく、代わりに幾何種数が 0 という条件が付いている。結果として、彼の VII0 というクラスは、例えば、第二種小平曲面などのいくつかの他の曲面を含む。現在は、第二種小平曲面は小平次元が −∞ ではないので、VII型とは考えられていない。VII型の極小曲面は、での曲面のリスト上の番号 "7" のクラスである。 0.
新しい！!: ベッチ数とVII型曲面 · 続きを見る »
普遍係数定理
代数トポロジーにおいて、普遍係数定理（ふへんけいすうていり、universal coefficient theorems）はホモロジー論とコホモロジー論の間の関係を確立する。例えば、位相空間 の整係数ホモロジー論と、任意のアーベル群 に係数をもつホモロジーは以下のように関連する。整係数ホモロジー群 は群 を完全に決定する。ここで はあるいはより一般の特異ホモロジー論でもよい： 結果自体は自由アーベル群のチェイン複体についてのホモロジー代数の純粋な成果である。結果の形は、Tor関手を使うという代償を払って、他の係数 を使うことができる形である。 例えば を に取って係数が modulo 2 であるようにすることは一般的である。これはホモロジーに 2-捩れがないことによって straightforward になる。極めて一般的に、結果は のベッチ数 と体 に係数をもつベッチ数 の間に成り立つ関係を示す。これらは異なるかもしれないが、 の標数がホモロジーに -捩れがある素数 であるときのみである。.
新しい！!: ベッチ数と普遍係数定理 · 続きを見る »
