• 検索結果がありません。

幾何学 II / 幾何学概論 II :レポート問題その 3

N/A
N/A
Protected

Academic year: 2021

シェア "幾何学 II / 幾何学概論 II :レポート問題その 3 "

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

幾何学 II / 幾何学概論 II :レポート問題その 3

12

1

17:00

までに理

1

号館

105

号室で出して下さい。

問題

1. U R n

を開集合とし、次のように定める微分形式

dx i 1 (U )

を思い出す。

dx i (x)(v) = e i (v) = v i (1 ⩽ in)

ただし、

x U

v = (v 1 , . . . , v n ) R n

である。さらに、

vol = dx 1 ∧ · · · ∧ dx n n (U )

とする。このとき、次のように定める線形写像を考える。

: Ω p (U ) n p (U ), ( ω)(x) = (ω(x))

ここで、右辺の

: Alt p ( R n ) Alt n p ( R n )

は、

vol(x) = e 1 ∧ · · · ∧ e n Alt n ( R n )

に関するホッジの

演算子である。線形写像

: Ω p (U ) n p (U )

もホッジの

演算子と呼 ばれ、レポート問題

2

より、次の性質

(i)–(ii)

を満たす。

(i)

任意の

0 ⩽ pn

σ S p,n p

に対して、

(dx σ(1) ∧ · · · ∧ dx σ(p) ) = sgn(σ)dx σ(p+1) ∧ · · · ∧ dx σ(n)

である。

(ii)

任意の

0 ⩽ pn

に対して、

∗ ◦ ∗ = ( 1) p(n p)

である。

今回、次のように定める線形写像

d : Ω p (U ) p 1 (U)

を考える。

d = ( 1) np+n 1 ∗ ◦ d ◦ ∗

この写像について、次の命題

(1)–(3)

を示せ。

1

(2)

(1)

合成写像

d d

は、ゼロ写像と等しい。

(2)

任意の

f 0 (U )

に対して、

d (f dx 1 ∧ · · · ∧ dx p ) =

p

s=1

( 1) s ∂f

∂x s dx 1 ∧ · · · ∧ dx s 1 dx s+1 ∧ · · · ∧ dx p

である。

(3)

任意の

f 0 (U )

1 ⩽ i 1 < · · · < i pn

に対して、

d (f dx i

1

∧ · · · ∧ dx i

p

) =

p

s=1

( 1) s ∂f

∂x i

s

dx i

1

∧ · · · ∧ dx i

s1

dx i

s+1

∧ · · · ∧ dx i

p

である。

問題

2.

開集合

U R n

において、次のように定める線形写像は、ラプラス演算子とよばれる。

∆ : Ω p (U ) p (U ), ∆ = d d + d d

ただし、

d : Ω q (U ) q 1 (U )

は、問題

1

で勉強した演算子である。

∆(ω) = 0

を満たす

ω p (U )

は、調和形式と呼ばれる。次の命題を示せ。

(1)

任意の

f 0 (U )

1 ⩽ i 1 < · · · < i pn

に対して、

∆(f dx i

1

∧ · · · ∧ dx i

p

) = ( 2 f

∂x 2 1 + · · · + 2 f

∂x 2 n

) dx i

1

∧ · · · ∧ dx i

p

である。

(2)

ホッジの演算子

: Ω p (U ) n p (U )

は、調和形式を保つ。すなわち、任意の

ω p (U )

に対して、∆(ω) = 0なら、∆(

ω) = 0

が成り立つ。

2

参照

関連したドキュメント

ベクトル計算と解析幾何 移動,移動の加法 移動と実数との乗法 ベクトル空間の概念 平面における基底と座標系

氏名 学位の種類 学位記番号 学位授与の日付 学位授与の要件 学位授与の題目

氏名 学位の種類 学位記番号 学位授与の日付 学位授与の要件 学位授与の題目

学位授与番号 学位授与年月日 氏名

定理 ( 長谷川 ) 直積を持つ圏と、トレース付きモノイダル圏の間のモ ノイダル随伴関手から、 dinaturality

Our translation L M can be extracted by a categorical interpretation on the model Per 0 that is the Kleisli category of the strong monad 0 on the cartesian closed category Per!.

A limiting analysis on regularization of singular SDP and its implication to infeasible interior-point algorithms.. 3.非正則な SDP

特に, “宇宙際 Teichm¨ uller 理論において遠 アーベル幾何学がどのような形で用いられるか ”, “ ある Diophantus 幾何学的帰結を得る