  |
はてなキーワード: リー代数とは
Chern-Simons理論は、特に3次元のトポロジカル量子場理論（TQFT）における中心的な役割を果たす理論でござって、その定式化は主に接続（connection）と曲率（curvature）という微分幾何学の概念に基づいておるのでござる。この理論は、特にゲージ理論とトポロジーの交差点で深い意味を持ち、リー群上の接続のトポロジー的性質を探るものでござる。以下では、厳密な数学的枠組みのもとで、Chern-Simons理論を詳細に説明いたすでござる。
Chern-Simons理論は、主束上で定義される接続から構築されるのでござる。ここで、P(E) を G 群の主束とし、G をリー群、𝔤 をそのリー代数といたすでござる。主束は次のように定義されるのでござる：
P(E) → M,
ここで M は3次元の多様体で、E はファイバー空間を表すのでござる。接続 A ∈ Ω¹(M, 𝔤) はこの主束上の1-形式でござって、各点でリー代数 𝔤 の値を取るのでござる。
接続 A は、接続を持つファイバー上の接続のトランスポートを表現し、リー群の基準を用いて測地線のようにデータを運ぶのでござる。接続 A によって定義される曲率は、外微分 dA と二次の項 A ∧ A を含む、次の形で表現されるのでござる：
F_A = dA + A ∧ A.
ここで、F_A は接続 A の曲率2-形式でござって、ゲージ群 G の接続が示す物理的な局所的な場を表すのでござる。
Chern-Simons形式は、主に接続の曲率を用いて定義されるのでござる。3次元多様体 M 上でのChern-Simons形式 CS(A) は、接続 A の曲率 F_A に基づいて次のように表されるのでござる：
CS(A) = ∫_M Tr(A ∧ dA + ⅔ A ∧ A ∧ A),
ここで、Tr はリー代数 𝔤 のトレースを取る演算子でござって、各項は外積（wedge product）によって形成されるのでござる。具体的には、A ∧ dA は接続 A とその外微分 dA の外積を、A ∧ A ∧ A は接続の3重積を意味するのでござる。
Chern-Simons形式は、ゲージ変換に対して不変であることが重要な特徴でござる。ゲージ変換は、接続 A に対して次のように作用するのでござる：
A → g⁻¹Ag + g⁻¹dg,
ここで g ∈ G はゲージ群の元でござる。この変換によって、Chern-Simons形式がどのように振る舞うかを調べると、次のように変換することがわかるのでござる：
CS(A) → CS(A) + ∫_M Tr(g⁻¹dg ∧ g⁻¹dg ∧ g⁻¹dg).
これは、Chern-Simons形式がゲージ変換の下でトポロジカル不変量として振る舞うことを示しておるのでござる。すなわち、Chern-Simons形式の値は、ゲージ変換による局所的な変更には依存せず、主に多様体のトポロジーに依存することが分かるのでござる。
Chern-Simons理論の量子化は、パスインテグラルを用いた量子場理論の枠組みで行われるのでござる。具体的には、Chern-Simons作用を用いた量子化は次のように記述されるのでござる：
Z_CS(M) = ∫ 𝒟A exp(i ∫_M Tr(A ∧ dA + ⅔ A ∧ A ∧ A)).
この積分は、接続 A に関するパスインテグラルでござって、Chern-Simons理論における量子場理論の構築に用いられるのでござる。ここで 𝒟A は接続 A の変分に関する積分を示すのでござる。
Chern-Simons形式は、特に3次元多様体に対するトポロジカル不変量としての性質が重要でござる。3次元多様体 M に対して、Chern-Simons不変量は以下のように定義され、計算されるのでござる：
Z_CS(M) = ∫ 𝒟A exp(i ∫_M Tr(A ∧ dA + ⅔ A ∧ A ∧ A)).
この不変量は、3次元の量子ホール効果やトポロジカル絶縁体などの物理的現象を記述するのに重要でござる。具体的には、Chern-Simons形式によって、3次元多様体のトポロジーを示す不変量が得られ、量子化されたゲージ理論における位相的な特性を理解するために利用されるのでござる。
目標：与えられた高度な数学的概念（高次トポス理論、(∞,1)-カテゴリー、L∞-代数など）をフルに活用して、三平方の定理程度の簡単な定理を証明します。
定理：1次元トーラス上の閉曲線のホモトピー類は整数と一対一に対応する
背景：
高次トポス理論：ホモトピー論を高次元で一般化し、空間や位相的構造を抽象的に扱うための枠組み。
(∞,1)-カテゴリー：対象と射だけでなく、高次の同値（ホモトピー）を持つカテゴリー。
L∞-代数：リー代数の高次元一般化であり、物理学や微分幾何学で対称性や保存量を記述する。
証明：
トーラス
𝑇
1
T
1
は、円周
𝑆
1
S
1
[
,
1
]
[0,1] の両端を同一視して得られる。
𝑇
1
T
1
を高次トポス理論の枠組みで扱うために、位相空間のホモトピータイプとして考える。
これは、1つの0次元セルと1つの1次元セルを持つCW複体としてモデル化できる。
閉曲線のホモトピー類：
𝑇
1
T
1
上の閉曲線は、連続写像
𝛾
:
𝑆
1
→
𝑇
1
γ:S
1
→T
1
で表される。
2つの閉曲線
𝛾
1
,
𝛾
2
γ
1
,γ
2
がホモトピックであるとは、ある連続変形（ホモトピー）によって互いに移り合うことを意味する。
基本群の計算：
トーラス
𝑇
1
T
1
の基本群
𝜋
1
(
𝑇
1
)
π
1
(T
1
𝑍
Z と同型である。
これは、高次トポス理論においても同様であり、(∞,1)-カテゴリーにおける自己同型射として解釈できる。
各閉曲線
𝛾
𝑛
この対応は、ホモトピータイプ理論（HoTT）の基礎に基づいて厳密に定式化できる。
円周
𝑆
1
S
1
のループ空間のL∞-代数構造を考えると、ホモトピー類の加法的性質を代数的に記述できる。
つまり、2つの曲線の合成に対応するホモトピー類は、それらの巻数の和に対応する。
結論：
𝑇
1
T
1
上の閉曲線のホモトピー類が整数と一対一に対応することを証明した。
解説：
この証明では、与えられた高度な数学的概念を用いて、基本的なトポロジーの結果を導き出しました。具体的には、トーラス上の閉曲線の分類というシンプルな問題を、高次トポス理論とL∞-代数を使って厳密に定式化し、証明しました。
高次トポス理論は、空間のホモトピー的性質を扱うのに適しており、基本群の概念を一般化できます。
(∞,1)-カテゴリーの言葉で基本群を考えると、対象の自己同型射のホモトピー類として理解できます。
L∞-代数を使うことで、ホモトピー類の代数的構造を詳細に記述できます。
まとめ：
このように、高度な数学的枠組みを用いて、基本的な定理を新たな視点から証明することができます。これにより、既存の数学的知見を深めるだけでなく、新たな一般化や応用の可能性も見えてきます。
超弦理論は、2次元の共形場理論を基礎としている。この理論は、以下の数学的要素で構成される：
1. 共形対称性: 2次元の世界面上で定義される場の理論で、局所的なスケール不変性を持つ。これは無限次元のビラソロ代数によって記述される。
[Lₘ, Lₙ] = (m - n)Lₘ₊ₙ + c/12 m(m² - 1)δₘ₊ₙ,₀
2. モジュライ空間: 弦の運動を記述する際、リーマン面のモジュライ空間が重要な役割を果たす。これは複素多様体の変形理論と密接に関連している。
3. カラビ・ヤウ多様体: 超対称性を保つためには、6次元の余剰次元がカラビ・ヤウ多様体の形をしている必要がある。これは複素3次元のケーラー多様体で、リッチ曲率テンソルが消えるという特徴を持つ。
Rᵢⱼ̄ = 0
M理論は11次元の超重力理論を基礎としており、以下の数学的要素が重要である：
1. 超多様体: 11次元の時空は超多様体として記述され、通常の座標に加えてグラスマン数値の座標を持つ。
2. E₈ × E₈ ゲージ群: ヘテロ型E₈理論との関連で、E₈ × E₈という例外型リー群が重要な役割を果たす。
3. G₂ホロノミー: M理論のコンパクト化において、7次元の内部空間がG₂ホロノミーを持つ多様体である必要がある。これは、7次元多様体上の3-形式ωが以下の条件を満たす場合である：
dω = d*ω = 0
数学的宇宙仮説の観点から、M理論と超弦理論は以下のように解釈できる：
1. 圏論的視点: これらの理論は、物理的実在を圏論的な言語で記述しようとする試みと見なせる。例えば、弦の世界面のカテゴリーと、それに対応する共形場理論のカテゴリーの間の対応関係が重要である。
2. 代数幾何学的構造: カラビ・ヤウ多様体や例外型リー群などの登場は、宇宙の根本的構造が代数幾何学的な性質を持つ可能性を示唆している。
3. 双対性: 様々な双対性（例：T双対性、S双対性、ミラー対称性）の存在は、異なる数学的記述が同じ物理的実在を表現可能であることを示唆し、プラトン的数学構造の多様性を示唆している。
4. 高次圏論: ブレーンの階層構造は、高次圏論的な記述と自然に対応する。n-カテゴリーの概念が、p-ブレーンの理論と密接に関連している。
5. 無限次元リー代数: 弦理論における無限次元対称性（例：カッツ・ムーディ代数）の出現は、宇宙の基本法則が無限次元の数学的構造に基づいている可能性を示唆している。
これらの理論が示唆する数学的構造の豊かさと複雑さは、数学的宇宙仮説が主張するような、宇宙の根本的な数学的性質を支持する証拠と解釈できる。
ループ量子重力理論は、4次元ローレンツ多様体 M 上で定義される。この多様体上に、SU(2)主束 P(M,SU(2)) を考え、その上の接続 A を基本変数とする。
A ∈ Ω^1(M) ⊗ su(2)
ここで、Ω^1(M) は M 上の1-形式の空間、su(2) は SU(2)のリー代数である。
Ψ_γ[A] = f(hol_γ[A])
ここで、γ は M 上の閉曲線、hol_γ[A] は γ に沿った A のホロノミー、f は SU(2)上の滑らかな関数である。これらのシリンダー関数の完備化により、運動学的ヒルベルト空間 H_kin が構成される。
H_kin の正規直交基底は、スピンネットワーク状態 |Γ,j,i⟩ で与えられる。ここで、Γ は M 上のグラフ、j はエッジに付随するスピン、i は頂点に付随する内部量子数である。
面積演算子 Â と体積演算子 V̂ は、これらの状態上で離散スペクトルを持つ：
Â|Γ,j,i⟩ = l_P^2 Σ_e √j_e(j_e+1) |Γ,j,i⟩
V̂|Γ,j,i⟩ = l_P^3 Σ_v f(j_v,i_v) |Γ,j,i⟩
ここで、l_P はプランク長さ、f は頂点での量子数の関数である。
時空の発展は、スピンフォーム σ: Δ → SU(2) で記述される。ここで、Δ は2-複体である。物理的遷移振幅は、
Z(σ) = Σ_j Π_f A_f(j_f) Π_v A_v(j_v)
で与えられる。A_f と A_v はそれぞれ面と頂点の振幅である。
W_γ[A] = Tr P exp(∮_γ A)
を通じて特徴づけられる。ここで、P は経路順序付け演算子である。
理論は微分同相不変性を持ち、変換群 Diff(M) の作用の下で不変である。さらに、ゲージ変換 g: M → SU(2) の下での不変性も持つ：
A → gAg^-1 + gdg^-1
理論の数学的構造は、BF理論を通じてトポロジカル場の理論と関連付けられる。これにより、4次元多様体のドナルドソン不変量との関連が示唆される。
量子論の幾何学的側面は、数学的な抽象化を通じて物理現象を記述する試みである。
物理的には、SO(3)は角運動量の保存則や回転対称性に関連している。
SU(2)は、2×2の複素行列で行列式が1である特殊ユニタリ群である。
SU(2)はSO(3)の二重被覆群であり、スピン1/2の系における基本的な対称性を記述する。
SU(2)のリー代数は、パウリ行列を基底とする3次元の実ベクトル空間である。
この群は、SU(2)×SU(2)として表現され、四次元の回転が二つの独立したSU(2)の作用として記述できることを示している。
これは、特にヤン・ミルズ理論や一般相対性理論において重要な役割を果たす。
ファイバー束は、基底空間とファイバー空間の組み合わせで構成され、局所的に直積空間として表現される。
ファイバー束の構造は、場の理論におけるゲージ対称性を記述するために用いられる。
ゲージ理論は、ファイバー束の対称性を利用して物理的な場の不変性を保証する。
例えば、電磁場はU(1)ゲージ群で記述され、弱い相互作用はSU(2)ゲージ群、強い相互作用はSU(3)ゲージ群で記述される。
具体的には、SU(2)ゲージ理論では、ファイバー束のファイバーがSU(2)群であり、ゲージ場はSU(2)のリー代数に値を持つ接続形式として表現される。
幾何学的量子化は、シンプレクティック多様体を量子力学的なヒルベルト空間に関連付ける方法である。
これは、古典的な位相空間上の物理量を量子化するための枠組みを提供する。
例えば、調和振動子の位相空間を量子化する際には、シンプレクティック形式を用いてヒルベルト空間を構成し、古典的な物理量を量子演算子として具体的に表現する。
コホモロジーは、場の理論におけるトポロジー的性質を記述する。
特に、トポロジカルな場の理論では、コホモロジー群を用いて物理的な不変量を特徴づける。
例えば、チャーン・サイモンズ理論は、3次元多様体上のゲージ場のコホモロジー類を用いて記述される。
チャーン・サイモンズ理論は、3次元多様体上のゲージ場を用いて構成され、そのトポロジカル不変量を計算する。
今日は朝から頭の中で魔法を数学的に抽象化することを考えてみたんやけど、これがまためちゃくちゃ深いんや。まず、魔法の呪文をバナッハ空間の作用素として考えるっちゅうのは基本やけど、これをさらに進めて、フォン・ノイマン代数の元として捉えてみたんや。ここでは、呪文を自己随伴作用素 T として、スペクトル分解を通じてその効果を解析するんや。これが無限次元空間での作用を考えると、スペクトル理論や作用素環論が絡んできて、ほんまに深遠やわ。
次に、変身術をリー群の作用として捉えるんやけど、これをさらに高次元の多様体上の微分同相群の作用として考えてみたんや。対象の集合 X 上の微分同相群 Diff(X) の滑らかな作用として、g ∙ x = y みたいに表現できるんやけど、ここでリー代数のエレメントを使って無限小変換を考えると、接束や微分形式が出てきて、微分幾何学的な視点がさらに深まるんや。ホンマに、変身術って奥が深いわ。
さらに、魔法の相互作用をホモトピー型理論と∞-カテゴリーを使って考えてみたんや。これを使うと、魔法は∞-グループイドの間の射として捉えられて、ホモトピー同値な空間の間の射として表現されるんや。例えば、呪文 f: A → B は対象 A を対象 B に変える射と見なせて、これがホモトピー同値やったら、逆射が存在するんやで。これを使って、魔法の可逆性とかを高次元のホモトピー理論の文脈で議論できるんや。
最後に、魔法のエネルギー保存をシンプレクティック幾何学の枠組みで考えると、エネルギーの変化をシンプレクティック多様体上のハミルトニアン力学系として解析できるんや。シンプレクティック形式 ω を使って、エネルギー E の時間変化を考慮すると、ハミルトンの方程式が出てきて、これが魔法の持続時間や効果を決定するんや。ほんまに、魔法って物理的にも数学的にも奥が深いわ。
今日はこんなことを考えながら、また一日が過ぎていったわ。魔法のことを考えると、なんや心が落ち着くんや。ほんまに不思議なもんやなぁ。
今日はええ天気やなぁ。東北は雨ザーザーらしいけど、こっちはええ感じやで。ほんなら、SO(3)っちゅうのが何なんか、ちょっと考えてみよか。
量子力学っちゅうのは、ミクロの世界を説明するための理論で、抽象数学のいろんな分野とガッチリ結びついてんねん。
特に、線形代数や群論、リー代数、微分幾何学なんかが重要な役割を果たしてるんやで。
例えば、空間の回転対称性は特殊直交群 SO(3) で表されるっちゅう話やね。
SO(3) は、三次元空間での回転を記述する群で、回転を合成してもまた回転になるっちゅうことで、群の構造を持ってるんや。
この群の性質を理解することで、角運動量の保存則やスピンの性質を説明できるんやで。
SO(3) はリー群の一例で、リー代数はその接空間として定義されるんや。
リー代数は、群の局所的な性質を記述し、量子力学における角運動量演算子の交換関係を表すんや。
リー代数の構造定数は、演算子の交換関係を通じて、物理的な対称性を反映してるんやで。
量子力学では、物理系の状態はヒルベルト空間上のベクトルとして表されるんや。
群の表現論は、これらの状態がどんなふうに変換されるかを記述するための数学的な枠組みを提供するんや。
特に、SO(3) の既約表現は、整数または半整数のスピン量子数によって特徴付けられ、スピン j の表現は (2j + 1) 次元の複素ベクトル空間上で作用するんやで。
微分幾何学は、量子場理論におけるゲージ理論の基礎を提供するんや。
ゲージ理論では、場の局所的な対称性が重要で、これが微分幾何学の概念を通じて記述されるんや。
例えば、ファイバー束や接続形式は、ゲージ場の数学的記述において中心的な役割を果たしてるんやで。
量子力学の数学的抽象性は、古典的な直感とはちゃう現象を説明するために必要不可欠や。
観測問題や波動関数の確率解釈、量子もつれなんか、これらの現象は、抽象数学を駆使することで初めて理解できるんや。
特に、ヒルベルト空間の理論や作用素代数は、量子系の解析において重要な役割を果たしてるんやで。
今日はオブザーバブルと状態の関係、リー代数、ポアソンブラケット、などを学びました。
「○○を超えるものを作ったことがないくせに○○を批判するなど愚か」
公共のサービスに改善点があれば、誰でもそれについて指摘できた方が良いでしょう。
○○に入るのが"Twitter"であるならば「反ユダヤ主義の投稿が拡散するようなFor you機能は改善すべき」と言えたほうが良いのです。
なぜ特定のものを作れる能力で張り合う必要があるのでしょうか (例: これを作る能力がないくせに批判するな、等)
本質を見れば、物事をみんなの力で改善していこうという話なのです。
民主主義を否定する論法は、自分の立場を守るために他人の発言を無視したり、軽視したりするものです。
それは公正でなく、建設的でなく、社会の発展にとって有害です。
量子力学を理解しようとして、Faddevの本と、Takhtajanの本を買ったことがありますが、積読になっていました。
個人的な懸念を表明すると、量子力学を学ぶことは神への冒涜なのか否かということで、これは単に個人的な宗教観の問題です。
しかし、おそらく神は、私たちに知ってもらいたい事柄だけにアクセスを許可するよう設計しているはずです。
どちらも数学マニアが量子力学を学ぶために書かれた本ですが、やりがいがありそうなTakhtajanの方をやろうと思います。
エドワード・フレンケル教授の「Love and Math」ではSO(3)について書かれていましたが、それについての解説も書かれているようです。
追記: Takhtajanをちょっと読んだのですが、リー代数を理解済みとして話が進んでいたので、学生向けのFaddevの本からやっぱりやります。
３０代のオッサンなんだけど、
いわゆる、大学院入試レベルの数学やら物理やらというのは、マアマアできる。
いわゆる、イプシロンデルタだの、一様収束だの、解析力学だの、熱力学だの。
そういうのは、一応理解できる。そのレベルまでは、割とサックリ行って、３か月くらいだった。
関数解析、多様体、リー代数。物理で言えば、シュレディンガー方程式、ソリトン。こういうやつらだ。
１９００年前後の物理と数学、このあたりで一気にレベルが上がる。アインシュタインあたりね。ネーター定理とかの保存量とかが出てくるあたりがヤバイ。ポアソンカッコがヤバイ。数学と物理が抽象度を上げて一気に交じりだす。
1960年前後の数学となると、そっから更に難易度が上がる。レーザーとかが出来たせい（レーザーの光は量子力学の理屈からできた）で、実験系と理論系が相互に影響あたえあってるのがあるらしい（ちなみに、大抵の場合、実験系が圧勝らしい）。
実験系の話も、ギリギリ分かる程度だけど、理論系は鬼のように難しい。
ヤバイだろ。現代の人たちってどのレベルにいるんだろ。数学は流石にそんなにゴリゴリ進まないと思うけど（数学の年表みると、数年間隔は保っている）。理論物理はヤバそう。なんたって、実験系の物理のレベルがいまだに毎年レベルが上がり続けている。レンズとか光（レーザーの改善とか）とかがレベルアップし続けているから、新しい観測がドンドン生まれている（ノーベル物理学賞は光系の実験系やMRI系の波動への授与がかなり多い）。
いわゆる数学で食っている人も、「数学は小説と違うから、１日１ページでも理解できたらいい」とかそういう感じらしい。
どんだけ頭よくても、「記述の意味が分からない」時というのはあるらしい。
こんな事あるのかな。かなりビックリしている。
悔しい。
人文系の文献の取り扱いとか業績についてちょっとだけ - dlitの殴り書き
確かに異分野の事情をお互いにわかっていたほうがみんな幸せになりますよね。パーマネントや学振の採用とか。
素粒子分野は大きく分けて
に分かれています。これらの間には超えられない壁がありまして全てをまとめるのはちょっと難しいのですがなんとか書いてみます。
間違いを見つけたら教えてください。
素粒子の論文は全て英語で書かれます。国内雑誌としてはPTEP（旧PTP）がありますがこちらも英文です。当然どれも査読があります。
業績リストの論文（査読なし）には国際会議や研究会の proceeding を載せたりします。
素粒子分野には論文投稿前に arXiv に載せる慣習があります。
これは投稿前に業界の人たちに意見をもらい論文を修正するためです。accept 後に査読済みの論文に差し替えます。
arXiv に載っているのは基本的に 投稿前／査読中／査読済み の論文及び国際会議の proceeding です。
特に素晴らしい研究は Physical Review Letters (Phys. Rev. Lett) に投稿されます。IF8.839 です。
Nature や Science に投稿することはまずありません。
おそらくは [ 業界の人数 ] x [ 1年間に発表する論文数 ] に依存するはずです。まあ人数の少ない分野は引用数も少なくなるでしょうね。
同じ素粒子業界でもその専門ごとにかなり違うはずですが、とりあえず Inspires によると以下のように分類されています。
| # of citations | |
|---|---|
| Renowned papers | 500+ |
| Famous papers | 250-499 |
| Very well-known papers | 100-249 |
| Well-known papers | 50-99 |
| Known papers | 10-49 |
| Less known papers | 1-9 |
| Unknown papers | 0 |
自分で確認したい人は Inspires で fin a s Masukawa などと打ってみてください。
素粒子実験、特に高エネルギー方面ではなかなか論文が出せないことがあります。
理由は簡単で実験計画から結果が出るまで多数の歳月がかかるからです。
例えばLHCは計画からヒッグス発見まで20年弱かかりました。論文の著者数は5000人を超えました。
このような事情なので「博士課程単位取得満期退学後に研究を続けて論文を出すと同時に博士を得る」というような方がたまにいらっしゃいます。
博士号をもっていない素粒子実験の人に出会っても決してバカにしてはいけません。
まず 場の量子論／超対称性理論／群論・リー代数 あたりは三分野共通で勉強すると思います。
加えてそれぞれの分野の専門的教科書、例えば弦理論なら String Theory (Polchinski) 格子なら Lattice Gauge Theories (Rothe) など。
分野によっては位相幾何学、微分幾何学を勉強しなければなりません。共形場理論もですね。
この辺りでようやく基礎ができてきましてこのあと30年分くらいの論文を読みます。
研究に入るまでの勉強に時間がかかるので修論はレビューになることが多いです。
当然学振は出せない・・はずだったのですが最近どうも事情が変わってきたようです。
学生の方が学振(DC1)に固執して勉強も途中に研究を始めてしまう、勉強途中のM1に研究できることなんてたかが知れているので
必然的にあまり重要ではない研究に貴重な時間を費やしてしまう、というような話をぼちぼち聞くようになりました。
学振についての考え方は人によるとは思うのですが、ちょっと危うい傾向だなと私は思うことがあります。
そこでちょっとお願いなのですが
「学振は研究者の登竜門！取れなかったらやめよう！」などとblogに書いて煽るのをやめていただけないでしょうか？
いや書いてもいいのですが主語を書いてください。「情報系では」「生物では」とかね。
「博士号は足の裏のご飯粒」と言われて久しいですが、弦理論では博士号を取るのはまだまだ難しいと思います。
まあとったところで「足の裏のご飯粒」なんですけれどもね・・・
放置していてすみません。まさか今頃上がるとは思っていませんでした。
new3 言いたいことはわかるけど､普通は｢ヒッグス発見｣を博論のテーマにせずもうちょっと控え目な研究に留めるものでは?日本でもJ-PARCからSuper-Kにニュートリノ撃てるんだし10年に1本はさすがに少ないと思う｡
どうもありがとうございます。文章を少し修正いたしました。他にも間違ったところがありましたら教えてください。
niaoz 懐かしい。補足するとストリングやるなら一般相対論がベースの重力理論も必要/場の理論は確かに簡単じゃないけど楽しい。量子力学と特殊相対論(電磁気学含む)を修めたらやってみるとよいです。
monopole 素粒子理論分野では修士で論文書きにくいけどDC1の枠はあるので、採用者は実績によらずほぼランダムだったり有名研究室に偏ったりする。まあ論文なしでも通る可能性あるから学振は気合い入れて書け
kowa 素粒子系は知性の墓場だと感じてる。優秀な人材があまりに何もできなくて、消えている。魅力はわかるが、1/5000のcontributionだかでいいのだろうか
きみ数学あんま使ってないんでしょ。
可換性の話をするとき、普通は交換子[a,b]=ab-baを導入するが、
それに対するある種の双対として反交換子{a,b}=ab+baが自然に入る。
別に反交換関係{a,b}=0が成り立つものを可換であるとして議論してもいいわけ。
そういう発想からすると普通非可換の典型的な例として外積はでてこない。
ちょっと何を言いたいのか理解できない。
別にベクトルも行列も単なる代数構造であって本質は記法ではなくその上に定義された演算ルールだよ。
学術的には大問題に決まってるよ。
実数に対してアーベル群の構造を入れて議論するのかそうでないのか、という話なので、それによって全く別物の構造になるよ。
もちろん現実（の物理）を良く説明するのはアーベル群の方だよ。
非可換が重要な意味を持つ物理というのもあって、一番有名なのは量子力学の交換関係[x,p]:=xp-px=ih_barというもので、これはリー代数と呼ばれる代数構造に対応しているよ。
つまり量子力学の世界では非可換なリー代数の構造が物理をよく説明するわけで、ここでは可換な代数構造は全然役に立たない。
可換な構造を利用するか、非可換な構造を利用するかは状況によって完全に決まるものであって、文科省だか何だかが自由に決めていいものではないよ。
