ベクトル束ってなんの役に立つの？

なんでこんなものを考えるの？

局所的には直積だが、大域的にはねじれてるので直積でない
したがって、至る所０でない切断が存在しないことがある
典型的な例は球面の接束

働け殻潰し

数学が何の役に立つの？
https://rio2016.5ch.net/test/read.cgi/math/1731158219/

ガロア理論って何の役に立つの？
https://rio2016.5ch.net/test/read.cgi/math/1727131300/

現代数学って結局役に立たないじゃん
https://rio2016.5ch.net/test/read.cgi/math/1533288181/

p進数ってなんの役にたつの？
https://rio2016.5ch.net/test/read.cgi/math/1705719090/

>>3
そういうM5XnspsE君の仕事は？

特性類

多変数関数論

>>1
あるからだよ

>>1
接線とか微分系式とかテンソルとかデヴァイザーとかいらないか

束値微分形式

束凸性

高校生にline bundleについて質問された

spray

ベクトル束は高校生でも知っている

保形形式をベクトル束の切断とみなす

「概保型形式」というものがあれば
葉層構造の「切断」のようなものではないか

K理論の拡張が非常に有用らしい

一変数代数函数論の一般化に役立つ

岡の原理の定式化にも

接束が最も重要な例

標準束も

多様体上の解析と幾何で絶対に必要

なんで多様体上で解析せなあかんの？

論文書けるから

解析学者は難しい式を簡単な空間上で考えるが
幾何学者は難しい空間上で簡単な式を考える
一長一短であろうか

束になってかかってこい

スカラー束

テンソル束

物理学では色々な量がベクトル束の切断として定式化される。
正確には主G束を導入することで対称性を定式化する。主G束は一次元層コホモロジーでパラメトライズされるから、コホモロジー長完全列に現れる特性類を用いて対称性構造の一意性や存在性に関する分析ができる。さらに主G束に接続を導入することでさまざまなG不変な微分方程式を同伴束に定式化できるし、切断をLpやソボレフ、ヘルダーにすれば通常の偏微分方程式論を展開できる。方程式の解のなす空間を対称性によって割るとモジュライ空間になり、この空間のトポロジーを調べると、もとの多様体の解析的構造に関する情報が推測できる。成果としてはリッチフローの方程式を使って幾何化予想を解いたり、ヤンミルズ方程式を使ってドナルドソンの定理を示したり。

> 主G束は一次元層コホモロジーでパラメトライズされるから、
　それ分割原理(Splitting principle)のこと？
https://en.wikipedia.org/wiki/Splitting_principle

>>33
1次の乗法的コサイクルの同値類が束

>>33
主G束での変換関数についてのg_ab g_bc=g_abは{g_ab}が層コホモロジーのKerδの元なことと同じ。
Imδで割るのは複数の変換関数が同じ束を定める条件式が出るから。

そもそも層コホモロジーのモチベーションって貼り合わせ方を分類することだから。
だから複素幾何では正則線束を調べるためにピカール群使ってる。

g_ab g_bc=g_acだ

光゜

光゜ると
ある場ねえぜ

寝論背減り

>>34-35
これのことか？

バーコフ・グロタンディークの定理
https://en.wikipedia.org/wiki/Birkhoff%E2%80%93Grothendieck_theorem

リーマン球面上の正則ベクトル束に限る

>>40
「主束 層コホモロジー」
でググれば出てくる
Wikiには無いんじゃない？nLabには書いてあった気がする。

「光゜る」はググっても出てこない

ベクトル束と言えば特性類

Chern-Weil

Xをスキームとして、準連接次数付きOX代数の層Rの相対Specをconeと呼び、特にRが有限階数局所自由層Eの双対によって生成される対称代数であるときにベクトル束と呼ぶ
つまりスキームに対して次数付き代数が対応することが便利

有限階数局所自由層をベクトル束と呼んでも
かまわないのでは？

次数付きなので乗法群スキームの作用が入るとか、射影バンドルはSpecをProjに置き換えるだけとか、導来圏だとconeの方が扱いやすいとか

磁束

Gauss-Bonnetの定理の一般化ができる

prolongation

束凸性は
いろいろ役に立つ

上空移行の原理が発端とも考えられる

消滅定理から埋め込み定理へ

>>2
3次元球面の接束は直積束だが

>>55

>3次元球面の接束は直積束だが

2を見たらこう書いてあるのだが↓

局所的には直積だが、大域的にはねじれてるので直積でない
したがって、至る所０でない切断が存在しないことがある
典型的な例は球面の接束

S²の接束は自明ではない
S³はリー群だから接束は自明

接束が自明なStein多様体は
複素数空間上の不分岐なRiemann領域であるというのが
未解決の難問の一つ

7次元球面の接束も自明

>>2の文章の球面はもちろん２次元曲面
だから>>55がスットコドッコイ

逆に言うと接束が自明なｎ次元球面はn=1,3,7の場合に限る・・・筈（笑）

>>60
ベクトル束(幾何)のスレで、球面と書けばすべての次元の球面と捉えるのが普通
幾何学の世界で「球面=2次元」と思っている方が非常識

>>61
ボットの周期性から分かる

>>60
数学もロクに知らん素人が大多数の５ｃｈで、球面と書けば２次元の球面のこと
球「面」と書いてるのに、任意ｎ次元だと飛躍するのは独善的な玄人だけ

>>63
そういうものがあるのは知ってるが
どうやって証明するかは知らんから
自分にとっては全然自明ではない（開き直り）

>>64
素人だろうが、ベクトル束を語るには「球面=2次元」という認識は非常識

球面＝S^2=2次元なのは当たり前の話、それ以外ありえない！
な人がべくたーばんどるガーって面白いね

>>66-67
非自明束の例を示すのに「球面」といってるんだから
２次元球面のことだなと考えない奴のほうが独善的じゃね？

ベクトル束ね、あれ、めっちゃ難しい概念だけど、簡単に言うと、なんか空間の各点にベクトル空間がくっついてるみたいなイメージかな。

で、なんの役に立つかっていうと、物理とかで結構使われてるみたい。例えば、電磁気学とか、素粒子物理学とかのゲージ理論っていうやつで、このベクトル束の考え方が出てくるらしいよ。

あとは、多様体っていう、ぐにゃぐにゃした図形の上で、ベクトル場とか関数を考えるときに、土台になってるんだって。なんか、球の表面でベクトルがどうなってるかとか、そういうのを数学的に厳密に扱うために必要なんだってさ。

まあ、正直、私もそこまで詳しくないんだけど、そういう最先端の物理とか数学の理論を理解するためには、ベクトル束って概念が欠かせないってことみたい。

>>69　高卒？

>>70
専門家でないとここまで要点を抑えた説明はできない

>>69は何かGrokっぽい

>>71　かいかぶり　相手を見る目が全くない

>>73
その理由を要点を抑えて的確に述べるなら？

見る目がまったくないのはどっちだろうね

知る人ぞ知る

耄碌爺　AIを絶賛ｗｗｗｗｗｗｗ

AIがここまで成長したとは

微分可能多様体では各点における接空間が基本的で重要
各点の接空間を全て集めたものを考える。これが接バンドル
接バンドルの一般化がベクトルバンドル
ベクトルバンドルを調べるのに重要なのが特性類

多様体Mの接バンドルTM=∪p∈M T𝔭M
接ベクトルX∈T𝔭Mに対してπ(X)=pとおくとπ: TM→Mは射影である
π⁻¹: M→TMでありπ⁻¹(p)=T𝔭M

(1) M=Rⁿの時、TMは積多様体Rⁿ×Rⁿと同一視出来る
(2) MがRⁿの部分多様体の時、
TM={(p, v)∈(M, T𝔭M)⊂TRⁿ}と書ける
TRⁿ=Rⁿ×Rⁿ、
v∈T𝔭M⊂T𝔭Rⁿ={p}×Rⁿ
(3) 一般の場合
多様体MのアトラスをS、Sに属する局所座標系を(U, φ)とする。φ(U)⊂Rⁿ
接ベクトルv∈T𝔭Uに対して
φ※(v)=∑aᵢ∂/∂xᵢ
写像φ~: π⁻¹(U)→φ(U)×Rⁿ⊂R²ⁿを次で定義する
v∈T𝔭Uに対し、φ~(v)=(φ(p), a1, a2, …, an)∈φ(U)×Rⁿ
φ~は1対1上への対応
各π⁻¹(U)が開集合であり、φ~は位相同型であることを要請することによりTMの位相を定義する
TMのアトラスS~={(π⁻¹(U), φ~)}={(T𝔭U, φ~)}
(U, φ)∈S、接ベクトルの変換公式
座標変換が全てC^∞級となる

n次元実ベクトルバンドルξ=(E, π, M)
E, MはC^∞多様体、π: E→Mは上へのC^∞写像
(1) ∀p∈M: π⁻¹(p)はR上のn次元ベクトル空間
(2) ∀p∈M, ∃pの開近傍U: 微分同相写像φᴜ: π⁻¹(U)≅U×Rⁿが存在し、
π⁻¹(q)への制限が線型同型写像∀q∈U: φᴜ: π⁻¹(q)≅{q}×Rⁿを与える
ここでRをCに変えるとn次元複素ベクトルバンドル
直線バンドル

Eは全空間、Mは底空間、πは射影
π⁻¹(p)=E𝔭をp上のファイバーと言う
(E, π, M)でなくπまたはEだけでもベクトルバンドルと言う
一般に、開集合とは限らずMの部分多様体Nに対して局所自明性の条件を満たす微分同相写像φɴ: π⁻¹(N)≅N×RⁿをN上の自明化と言う
変換関数は2つの自明化のずれを表す

コサイクル条件αβ βγ=αγ
開被覆とコサイクル条件によりベクトルバンドルを構成出来る

ベクトルバンドル同士の写像をバンドル写像
π: E→M、π: F→N、f: M→Nに対して
f~: E→F
積バンドルと自明なバンドル
同型はベクトルバンドル全体に同値関係を定める

ベクトルバンドルπ: E→Mに対して
π◦s=idᴍとなるC^∞写像s: M→Eを切断と言う
切断sとは点pに対してその上のファイバーの点s(p)を対応させるもの
切断を使って自明化を言い換えることが出来る
切断全体に加法とスカラー倍を定義することが出来てベクトル空間になる。
接バンドルTMの切断はM上のベクトル場

一点上のベクトル束って何になるの？

包茎には無理だよ
こほもろじーでもやってな

一点上のK理論を考えよ

物理法則に幾何学的根拠を与える

特性類

幾何構造の表現のためにはリー環などが必要

節子「なんでベクトル束すぐねじれてしまうん？」

君が清太なら、妹になんて説明する？

Pingali論文の解題

曲がっていることをアピールしたいから

>>91
>曲がっていることをアピールしたいから

誰がアピールしたいの？ベクトル束自身が？それともそれを見つけた数学者が？

深奥の輝きが

無用の用

これが馬鹿だって事はこの板総崩れなんだがwwww　意味分かる？
https://i.imgur.com/C8pcBsw.png

変なリンク

ベクトル？ChatGPTに聞いてみ？
超高次元世界に彼の疑似意識が宿っている世界だから

3次曲線が楕円曲線であることを発見したのは
ワイルズだと答えてきた

曲率の正値性の理解

微分幾何には不可欠

ファイバー束は基本的