. Mac Lane [ML98]. 1 2 (strict monoidal category) S 1 R 3 A S 1 [0, 1] C 2 C End C (1) C 4 1 U q (sl 2 ) Drinfeld double. 6 2

Size: px
Start display at page:

Download ". Mac Lane [ML98]. 1 2 (strict monoidal category) S 1 R 3 A S 1 [0, 1] C 2 C End C (1) C 4 1 U q (sl 2 ) Drinfeld double. 6 2"

Transcription

1 (Hopf algebra) (group) Andruskiewitsch-Santos [AFS09] 1980 Drinfeld (quantum group) Lie Lie (ribbon Hopf algebra) (ribbon category) Turaev [Tur94] Kassel [Kas95] (PD) x12005i@math.nagoya-u.ac.jp 1

2 . Mac Lane [ML98]. 1 2 (strict monoidal category) S 1 R 3 A S 1 [0, 1] C 2 C End C (1) C 4 1 U q (sl 2 ) Drinfeld double. 6 2

3 1 1.1 k (U k ) k U k ( k ), k k k k. (a b) c a (b c) 1 a a a 1 k (category) (monoidal category) C (tensor product) : C C C (unit object) 1 C (1.1) ( ) Z ( Z), 1 1 (,, Z C) ( ) Z ( Z) (1.1) (1.2) a,,z : ( ) Z ( Z), l : 1, r : 1. (,, Z) ( ) Z (,, Z) ( Z) C C C C a,,z,, Z l r (1.2) 1,..., n ( 1 (( 2 1) 3 )) (((1 4 ) 5 ) ) 1,..., n 1 n 5 (1.3) A ( 1 2 ) ( 3 ( 4 5 )), B ( 1 (( 2 3 ) 4 )) 5 3

4 ((12)(34))5 1((23)(45)) 1 a 2,34,5 a 12,34,5 1 a 2,3,45 1(2((34)5)) a 1,2,(34)5 1 (2 a 3,4,5 ) (12)((34)5) 1(2(3(45))) (1 2) a 3,4,5 a 1,2,3(45) (12)(3(45)) a 12,34,5 1 a 2,3,45 ((12)(34))5 a 12,3,45 1((23)(45)) a 12,3,4 5 ((12)3)(45) a 1,2,3 (4 5) a 1,23,45 a (12)3,4,5 (((12)3)4)5 (1(23))(45) (a 1,2,3 4) 5 a 1(23),4,5 ((1(23))4)5 a 12,3,4 5 a 1,23,45 ((12)(34))5 a 1,23,4 5 1((23)(45)) a 1,2,34 5 (1((23)4))5 (1 a 2,3,4) 5 a 1,(23)4,5 1 a 23,4,5 (1(2(34)))5 1(((23)4)5) a 1,2(34),5 1 (a 2,3,4 5) 1((2(34))5) a 1,2, a 23,4,5 ((12)(34))5 1((23)(45)) (( 1 2 ) ( 3 4 )) 5 ((12)(34))5 i i

5 (1.2) A B (1.2). (1.2) (1.3) (coherence theorem) 1.1 (). (1),,, Z C (( ) ) Z a,, id Z a,,z ( ( )) Z ( ) ( Z) a,,z (( ) Z) id a,,z a,, Z ( ( Z)) (2), C a,1, ( 1) (1 ) r id id l 1.2. : C C C, 1 C a,,z : ( ) Z ( Z), l : 1, r : 1. C 1 [ML98, II.2] k ec k k (tensor category) 5

6 1.4. Set { } 1.5. ( ) Z ( Z) 1 1 a, l, r (strict monoidal category) Set ec C C End(C) C C End(C) id C : C C 1.2. C D C D (monoidal functor) φ, : F () F ( ) F ( ) φ 0 : 1 F (1) F : C D (1),, Z C (F () F ( )) F (Z) a F (),F ( ),F (Z) F () (F ( ) F (Z)) φ, id F (Z) F ( ) F (Z) id F () φ,z F () F ( Z) φ,z F (( ) Z) F (a,,z ) φ, Z F ( ( Z)) (2) C 2 1 F () l F () F () F () 1 r F () F () φ 0 id F () F (l ) id F () φ 0 F (r ) F (1) F () φ 1, F (1 ) F () F (1) φ,1 F ( 1) lax monoidal functor φ φ 0 F (strong monoidal functor) ψ : F ( ) F () F ( ) (, C) ψ 0 : F (1) 1 comonoidal functor colax monodal functor φ φ 0 (monoidal natural transformation) 6

7 F : C D (monoidal equivalence) G F id C, F G id D (as monoidal functors) G : D C C D F F 1.7 ().. C C str C str C 0 S C str F (S) C F (( 1,..., n )) F (( 1,..., n 1 )) n (n 2), F (( 1 )) 1, F ( ) 1. Hom C str(s, S ) : Hom C (F (S), F (S )) C C str C str S, S C str S S S, S C str φ S,S : F (S) F (S ) F (S S ) C str f : S T g : S T f g φ T,T (f g) φ 1 S,S f g Hom C str(s S, T T ) ( Hom C (F (S S ), F (T T ))) C str C str C S F (S) F : C C str φ φ 0 id 1 : 1 F ( ) C C str [Kas95, I] φ S,S C str C 1.8. C C 0 C 0 C C C 0 C 0 C ( ) Z ( Z) 1 1,, Z C 0 7

8 C 0 a, l, r Isbell C Set [ML98, II.1] 1.9. (C,, 1, a, l, r) [Sch01b, Definition 4.1] : C C C (C,, 1, a, l, r) (C,, 1, id, id, id) [Sch01b, Theorem 4.3] C C C f : 2 f : g : 3 f id f id f 4, C 5 C f : g : C C C (2.1) (g 1 f 1 ) (g 2 f 2 ) (g 1 g 2 ) (f 1 f 2 ) 8 7 well-defined 5 5 id id id C p q C p id id q p p 1 p q 8

9 f g f f g id f f f id 2 f : 3 4 f id f id f f g f g f 1 g 1 f 2 g f g : 7 (1) f 1 f 2 g 1 f 1 g 1 g 2 g 2 f 2 p q 8 (2) p id id q C e : 1 c : 1 C (2.2) (id e) (c id ) id, (e id ) (id c) id (, e, c) (left dual object) (, e, c) (right dual object) C C (left rigid) C 2.2 9

10 ( i, e i, c i ) (i 1, 2) C e 2 e 1 (ϕ 1 id ) c 2 (id ϕ) c 1 ϕ : 1 2 [BK01, 2.1] C C (, ev, coev ) ev : 1 coev : 1 ev coev id (2.2) (2.3) C f : f : (2.4) f : f ( ) : C C (f g) g f 2.2 (). (2.2) Bakalov-Kirillov [BK01] right dual object Kassel [Kas95] left duality Kerler-Lyubashenko [KL01] dual object Majid [Maj95] left dual duality functor Kassel [Kas95] 2.3 (). C (2.2) (id e) (c id ) id 1 c id ( ), ( ) id e 1 a, l, r 10

11 (2.2) r (id e) a,, (c id ) l 1 id, l (e id ) a 1,, (id c) r 1 id 2.4. R R M R M R M R R- M : Hom(M R, R R ) (a f b)(m) : f(b m a) (f M, a, b R, m M) R- M m 1,..., m r M f 1,..., f r M m M m 1 f 1 (m) + + m r f r (m) m ev : M R M R coev : R M R M ev(f m) f(m), coev(a) a m i f i (f M, m M, a R) (M, ev, coev) M M M R C End(C) ε : F G id C η : id C G F End(C) (2.2) counit-unit identity End(C) S 1 R 3 (link) (oriented link) 1 (knot) Reidemeister I Reidemeister II Reidemeister III 11

12 (3.1) C C id, id, coev, ev C C (3.1) C (). C (braiding),, Z C σ, : (, C) (3.2) σ,z (σ,z id ) (id σ,z ), σ, Z (id σ Z, ) (σ, id Z ) (braided monoidal category) (braided category) C σ σ, σ 1, σ, σ 1, (3.2) Z Z Z Z (3.3) Z Z Z Z 12

13 II III II σ 1, σ, id III f : g : σ, (f g) (g f) σ, (3.4) f g g f f g III Z Z Z Z (3.3) σ, (3.4) σ, (3.3) C σ, σ, σ, C (twist) θ : (3.5) θ σ, σ, (θ θ ), (θ ) θ (, C) (ribbon category) (3.5) A : S 1 [0, 1] R 3 13

14 S 1 {1/2} A (blackboard framing) (3.6) II III I Reidemeister I : I, II, III C C ev ev σ, (θ id ), coev (id θ ) σ, coev ev coev (3.7) θ θ 1 14

15 1 (3.7) (3.6) (3.5) 3.4 C C L D D (3.1) L D C 1 1 F (D) End C (1) F ( ) coev coev id σ, id σ 1, id id id σ, id ev ev (ev ev ) (id σ, id ) (σ 1, id id ) (id σ, id ) (coev coev ). F (D) D II III (3.7) I L : F (D) 3.3. L L *1 *1 L : F (D) L (3.1) F (D) Turaev [Tur94] C C-colored ribbon graph I, II, III 15

16 C C L F (D) C k (linear category) Hom C (, ) k k- C (3.8) θ λ id ( λ k) C k L D F (D) End C (1) D II III I w(d) ( D ) () D D F (D ) λ F (D), w(d ) w(d) + 1 F (D) w(d) I 3.4. C L D P (L) : λ w(d) F (D) End C (1) L k H k : H H H ε : H k (h) h (1) h (2) (Sweedler notation) H- h (v w) h (1) v h (2) w (h H, v, w ) 16

17 H- k ε H- h H (h (1) ) h (2) h (1) (h (2) ), ε(h (1) )h (2) h ε(h (2) )h (1) H (H,, ε) (bialgebra) H H- H M k H S : H H h H S(h (1) )h (2) ε(h)1 H h (1) S(h (2) ) H (Hopf algebra) H H- H M fd H M fd : Hom k (, k) (h f)(v) f(s(h)v) (h H, f, v ) H- H R a i b i H H H- (4.1) σ, :, σ, (v w) b i w a i v (v, w ) σ {σ, } H M R (h (1) h (2) ) R 1 h (2) h (1) ( h H), ( id)(r) R 13 R 23, (id )(R) R 13 R 12 R 12 a i b i 1, R 13 a i 1 b i, R 23 1 a i b i R R- (universal R-matrix) (ribbon Hopf algebra) R- R a i b i H θ H (4.2) S(θ) θ, (θ) R 21 R(θ θ) (R 21 b i a i ). H- H M fd (4.1) (4.3) θ (v) θ v (v H M fd ) (4.2) (4.3) (3.5) H 4.1. q U q (sl 2 ) K, K 1, E, F KK 1 1 K 1 K, KEK 1 q 2 E, KF K 1 q 2 F, EF F E (q q 1 ) 1 (K K 1 ) C(q) (E) E K + 1 E, (F ) F 1 + K 1 F, (K) K K, ε(e) ε(f ) 0, ε(k) 1 U q (sl 2 ) q e h/2 h R- well-defined U q (sl 2 )

18 4.2. Lie gl(1 1) U q (gl(1 1)) 3 U q (gl(1 1)) U q (gl(1 1)) [Sar14] self-contained C C Z(C) C e : ( C) (, e) e( ) (id e ) (e id ) (, C) (cf. (3.2)) Z(C) f : (, e) (, e ) C f : e e C (, e) (, e ) : (, ẽ), ẽ() (id e ) (e id ) ( C) C Z(C) σ (,e),(,e ) e k- R R- ec (Schauenburg [Sch01a]) Drifeld double. C H Drinfeld double D(H) H H D(H) R- H M D(H) M D(H) q q C \ {0, ±1} U q (sl 2 ) q C 1 N N > 1 U q (sl 2 ) U q : U q (sl 2 )/(K N 1, E N, F N ) (K N 1, E N, F N ) U q U q (sl 2 ) K E U q A U q D(A) D(A) U q U q R- [Kas95] I.6 I.6 18

19 4.4. k 0 H Drinfeld double D(H) D(H) [S13] D(H) [Maj95, 9.3] (3.8) P ( ) dim k (H) (H ) [AFS09] N. Andruskiewitsch and. Ferrer Santos. The beginnings of the theory of Hopf algebras. Acta Appl. Math., 108(1):3 17, [BK01] B. Bakalov and A. Kirillov, Jr. Lectures on tensor categories and modular functors, volume 21 of University Lecture Series. American Mathematical Society, Providence, RI, [Kas95] C. Kassel. Quantum groups, volume 155 of Graduate Texts in Mathematics. Springer-erlag, New ork, [KL01] T. Kerler and.. Lyubashenko. Non-semisimple topological quantum field theories for 3- manifolds with corners, volume 1765 of Lecture Notes in Mathematics. Springer-erlag, Berlin, [Maj95] S. Majid. Foundations of quantum group theory. Cambridge University Press, Cambridge, [ML98] S. Mac Lane. Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics. Springer-erlag, New ork, second edition, [Sar14] A. Sartori. The Alexander polynomial as quantum invariant of links. Arkiv för Matematik, [Sch01a] P. Schauenburg. The monoidal center construction and bimodules. J. Pure Appl. Algebra, 158(2-3): , [Sch01b] P. Schauenburg. Turning monoidal categories into strict ones. New ork J. Math., 7: (electronic), [S13] K. Shimizu and M. akui. Schrödinger representations from the viewpoint of monoidal categories. ariv:1312:5037. [Tur94]. G. Turaev. Quantum invariants of knots and 3-manifolds, volume 18 of de Gruyter Studies in Mathematics. alter de Gruyter & Co., Berlin,

i Version 1.1, (2012/02/22 24),.,..,.,,. R-space,, ( R- space),, Kahler (Kähler C-space)., R-space,., R-space, Hermite,.

i Version 1.1, (2012/02/22 24),.,..,.,,. R-space,, ( R- space),, Kahler (Kähler C-space)., R-space,., R-space, Hermite,. R-space ( ) Version 1.1 (2012/02/29) i Version 1.1, (2012/02/22 24),.,..,.,,. R-space,, ( R- space),, Kahler (Kähler C-space)., R-space,., R-space, Hermite,. ii 1 Lie 1 1.1 Killing................................

More information

平成 28 年度 ( 第 38 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 ~8 28 月年 48 日開催月 1 日 semantics FB 1 x, y, z,... FB 1. FB (Boolean) Functional

平成 28 年度 ( 第 38 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 ~8 28 月年 48 日開催月 1 日 semantics FB 1 x, y, z,... FB 1. FB (Boolean) Functional 1 1.1 semantics F 1 x, y, z,... F 1. F 38 2016 9 1 (oolean) Functional 2. T F F 3. P F (not P ) F 4. P 1 P 2 F (P 1 and P 2 ) F 5. x P 1 P 2 F (let x be P 1 in P 2 ) F 6. F syntax F (let x be (T and y)

More information

2.1 H f 3, SL(2, Z) Γ k (1) f H (2) γ Γ f k γ = f (3) f Γ \H cusp γ SL(2, Z) f k γ Fourier f k γ = a γ (n)e 2πinz/N n=0 (3) γ SL(2, Z) a γ (0) = 0 f c

2.1 H f 3, SL(2, Z) Γ k (1) f H (2) γ Γ f k γ = f (3) f Γ \H cusp γ SL(2, Z) f k γ Fourier f k γ = a γ (n)e 2πinz/N n=0 (3) γ SL(2, Z) a γ (0) = 0 f c GL 2 1 Lie SL(2, R) GL(2, A) Gelbart [Ge] 1 3 [Ge] Jacquet-Langlands [JL] Bump [Bu] Borel([Bo]) ([Ko]) ([Mo]) [Mo] 2 2.1 H = {z C Im(z) > 0} Γ SL(2, Z) Γ N N Γ (N) = {γ SL(2, Z) γ = 1 2 mod N} g SL(2,

More information

Chern-Simons Jones 3 Chern-Simons 1 - Chern-Simons - Jones J(K; q) [1] Jones q 1 J (K + ; q) qj (K ; q) = (q 1/2 q

Chern-Simons   Jones 3 Chern-Simons 1 - Chern-Simons - Jones J(K; q) [1] Jones q 1 J (K + ; q) qj (K ; q) = (q 1/2 q Chern-Simons E-mail: fuji@th.phys.nagoya-u.ac.jp Jones 3 Chern-Simons - Chern-Simons - Jones J(K; q) []Jones q J (K + ; q) qj (K ; q) = (q /2 q /2 )J (K 0 ; q), () J( ; q) =. (2) K Figure : K +, K, K 0

More information

Milnor 1 ( ), IX,. [KN].,. 2 : (1),. (2). 1 ; 1950, Milnor[M1, M2]. Milnor,,. ([Hil, HM, IO, St] ).,.,,, ( 2 5 )., Milnor ( 4.1)..,,., [CEGS],. Ω m, P

Milnor 1 ( ), IX,. [KN].,. 2 : (1),. (2). 1 ; 1950, Milnor[M1, M2]. Milnor,,. ([Hil, HM, IO, St] ).,.,,, ( 2 5 )., Milnor ( 4.1)..,,., [CEGS],. Ω m, P Milnor 1 ( ), IX,. [KN].,. 2 : (1),. (2). 1 ; 1950, Milnor[M1, M2]. Milnor,,. ([Hil, HM, IO, St] ).,.,,, ( 2 5 )., Milnor ( 4.1)..,,., [CEGS],. Ω m, PC ( 4 5 )., 5, Milnor Milnor., ( 6 )., (I) Z modulo

More information

2016 Course Description of Undergraduate Seminars (2015 12 16 ) 2016 12 16 ( ) 13:00 15:00 12 16 ( ) 1 21 ( ) 1 13 ( ) 17:00 1 14 ( ) 12:00 1 21 ( ) 15:00 1 27 ( ) 13:00 14:00 2 1 ( ) 17:00 2 3 ( ) 12

More information

2010 ( )

2010 ( ) 2010 (2010 1 8 2010 1 13 ( 1 29 ( 17:00 2 3 ( e-mail (1 3 (2 (3 (1 (4 2010 1 2 3 4 5 6 7 8 9 10 11 Hesselholt, Lars 12 13 i 1 ( 2 3 Cohen-Macaulay Auslander-Reiten [1] [2] 5 [1], :,, 2002 [2] I Assem,

More information

Twist knot orbifold Chern-Simons

Twist knot orbifold Chern-Simons Twist knot orbifold Chern-Simons 1 3 M π F : F (M) M ω = {ω ij }, Ω = {Ω ij }, cs := 1 4π 2 (ω 12 ω 13 ω 23 + ω 12 Ω 12 + ω 13 Ω 13 + ω 23 Ω 23 ) M Chern-Simons., S. Chern J. Simons, F (M) Pontrjagin 2.,

More information

Mazur [Ma1] Schlessinger [Sch] [SL] [Ma1] [Ma1] [Ma2] Galois [] 17 R m R R R M End R M) M R ut R M) M R R G R[G] R G Sets 1 Λ Noether Λ k Λ m Λ k C Λ

Mazur [Ma1] Schlessinger [Sch] [SL] [Ma1] [Ma1] [Ma2] Galois [] 17 R m R R R M End R M) M R ut R M) M R R G R[G] R G Sets 1 Λ Noether Λ k Λ m Λ k C Λ Galois ) 0 1 1 2 2 4 3 10 4 12 5 14 16 0 Galois Galois Galois TaylorWiles Fermat [W][TW] Galois Galois Galois 1 Noether 2 1 Mazur [Ma1] Schlessinger [Sch] [SL] [Ma1] [Ma1] [Ma2] Galois [] 17 R m R R R

More information

SAMA- SUKU-RU Contents p-adic families of Eisenstein series (modular form) Hecke Eisenstein Eisenstein p T

SAMA- SUKU-RU Contents p-adic families of Eisenstein series (modular form) Hecke Eisenstein Eisenstein p T SAMA- SUKU-RU Contents 1. 1 2. 7.1. p-adic families of Eisenstein series 3 2.1. modular form Hecke 3 2.2. Eisenstein 5 2.3. Eisenstein p 7 3. 7.2. The projection to the ordinary part 9 3.1. The ordinary

More information

1

1 1 Borel1956 Groupes linéaire algébriques, Ann. of Math. 64 (1956), 20 82. Chevalley1956/58 Sur la classification des groupes de Lie algébriques, Sém. Chevalley 1956/58, E.N.S., Paris. Tits1959 Sur la classification

More information

等質空間の幾何学入門

等質空間の幾何学入門 2006/12/04 08 tamaru@math.sci.hiroshima-u.ac.jp i, 2006/12/04 08. 2006, 4.,,.,,.,.,.,,.,,,.,.,,.,,,.,. ii 1 1 1.1 :................................... 1 1.2........................................ 2 1.3......................................

More information

0. I II I II (1) linear type: GL( ), Sp( ), O( ), (2) loop type: loop current Kac-Moody affine, hyperbolic (3) diffeo t

0. I II I II (1) linear type: GL( ), Sp( ), O( ), (2) loop type: loop current Kac-Moody affine, hyperbolic (3) diffeo t e-mail: koyama@math.keio.ac.jp 0. I II I II (1) linear type: GL( ), Sp( ), O( ), (2) loop type: loop current Kac-Moody affine, hyperbolic (3) diffeo type: diffeo universal Teichmuller modular I. I-. Weyl

More information

E1 (4/12)., ( )., 3,4 ( ). ( ) Allen Hatcher, Vector bundle and K-theory ( HP ) 1

E1 (4/12)., ( )., 3,4 ( ). ( ) Allen Hatcher, Vector bundle and K-theory ( HP ) 1 E1 (4/12)., ( )., 3,4 ( ). ( ) Allen Hatcher, Vector bundle and K-theory ( HP ) 1 (4/12) 1 1.. 2. F R C H P n F E n := {((x 0,..., x n ), [v 0 : : v n ]) F n+1 P n F n x i v i = 0 }. i=0 E n P n F P n

More information

( 3) b 1 b : b b f : a b 1 b f = f (2.7) g : b c g 1 b = g (2.8) 1 b b (identity arrow) id b f a b g f 1 b b c g (2.9) 3 C C C a, b a b Hom C (a, b) h

( 3) b 1 b : b b f : a b 1 b f = f (2.7) g : b c g 1 b = g (2.8) 1 b b (identity arrow) id b f a b g f 1 b b c g (2.9) 3 C C C a, b a b Hom C (a, b) h 2011 9 5 1 Lie 1 2 2.1 (category) (object) a, b, c, a b (arrow, morphism) f : a b (2.1) f a b (2.2) ( 1) f : a b g : b c (composite) g f : a c ( 2) f f a b g f g c g h (2.3) a b c d (2.4) h (g f) = (h

More information

K 2 X = 4 MWG(f), X P 2 F, υ 0 : X P 2 2,, {f λ : X λ P 1 } λ Λ NS(X λ ), (υ 0 ) λ : X λ P 2 ( 1) X 6, f λ K X + F, f ( 1), n, n 1 (cf [10]) X, f : X

K 2 X = 4 MWG(f), X P 2 F, υ 0 : X P 2 2,, {f λ : X λ P 1 } λ Λ NS(X λ ), (υ 0 ) λ : X λ P 2 ( 1) X 6, f λ K X + F, f ( 1), n, n 1 (cf [10]) X, f : X 2 E 8 1, E 8, [6], II II, E 8, 2, E 8,,, 2 [14],, X/C, f : X P 1 2 3, f, (O), f X NS(X), (O) T ( 1), NS(X), T [15] : MWG(f) NS(X)/T, MWL(f) 0 (T ) NS(X), MWL(f) MWL(f) 0, : {f λ : X λ P 1 } λ Λ NS(X λ

More information

平成 15 年度 ( 第 25 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 ~8 15 月年 78 日開催月 4 日 ) X 2 = 1 ( ) f 1 (X 1,..., X n ) = 0,..., f r (X 1,..., X n ) = 0 X = (

平成 15 年度 ( 第 25 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 ~8 15 月年 78 日開催月 4 日 ) X 2 = 1 ( ) f 1 (X 1,..., X n ) = 0,..., f r (X 1,..., X n ) = 0 X = ( 1 1.1 X 2 = 1 ( ) f 1 (X 1,..., X n ) = 0,..., f r (X 1,..., X n ) = 0 X = (X 1,..., X n ) ( ) X 1,..., X n f 1,..., f r A T X + XA XBR 1 B T X + C T QC = O X 1.2 X 1,..., X n X i X j X j X i = 0, P i

More information

Dynkin Serre Weyl

Dynkin Serre Weyl Dynkin Naoya Enomoto 2003.3. paper Dynkin Introduction Dynkin Lie Lie paper 1 0 Introduction 3 I ( ) Lie Dynkin 4 1 ( ) Lie 4 1.1 Lie ( )................................ 4 1.2 Killing form...........................................

More information

main.dvi

main.dvi SGC - 70 2, 3 23 ɛ-δ 2.12.8 3 2.92.13 4 2 3 1 2.1 2.102.12 [8][14] [1],[2] [4][7] 2 [4] 1 2009 8 1 1 1.1... 1 1.2... 4 1.3 1... 8 1.4 2... 9 1.5... 12 1.6 1... 16 1.7... 18 1.8... 21 1.9... 23 2 27 2.1

More information

' , 24 :,,,,, ( ) Cech Index theorem 22 5 Stability 44 6 compact 49 7 Donaldson 58 8 Symplectic structure 63 9 Wall crossing 66 1

' , 24 :,,,,, ( ) Cech Index theorem 22 5 Stability 44 6 compact 49 7 Donaldson 58 8 Symplectic structure 63 9 Wall crossing 66 1 1998 1998 7 20 26, 44. 400,,., (KEK), ( ) ( )..,.,,,. 1998 1 '98 7 23, 24 :,,,,, ( ) 1 3 2 Cech 6 3 13 4 Index theorem 22 5 Stability 44 6 compact 49 7 Donaldson 58 8 Symplectic structure 63 9 Wall crossing

More information

k + (1/2) S k+(1/2) (Γ 0 (N)) N p Hecke T k+(1/2) (p 2 ) S k+1/2 (Γ 0 (N)) M > 0 2k, M S 2k (Γ 0 (M)) Hecke T 2k (p) (p M) 1.1 ( ). k 2 M N M N f S k+

k + (1/2) S k+(1/2) (Γ 0 (N)) N p Hecke T k+(1/2) (p 2 ) S k+1/2 (Γ 0 (N)) M > 0 2k, M S 2k (Γ 0 (M)) Hecke T 2k (p) (p M) 1.1 ( ). k 2 M N M N f S k+ 1 SL 2 (R) γ(z) = az + b cz + d ( ) a b z h, γ = SL c d 2 (R) h 4 N Γ 0 (N) {( ) } a b Γ 0 (N) = SL c d 2 (Z) c 0 mod N θ(z) θ(z) = q n2 q = e 2π 1z, z h n Z Γ 0 (4) j(γ, z) ( ) a b θ(γ(z)) = j(γ, z)θ(z)

More information

2.3. p(n)x n = n=0 i= x = i x x 2 x 3 x..,?. p(n)x n = + x + 2 x x 3 + x + 7 x + x + n=0, n p(n) x n, ( ). p(n) (mother function)., x i = + xi +

2.3. p(n)x n = n=0 i= x = i x x 2 x 3 x..,?. p(n)x n = + x + 2 x x 3 + x + 7 x + x + n=0, n p(n) x n, ( ). p(n) (mother function)., x i = + xi + ( ) : ( ) n, n., = 2+2+,, = 2 + 2 + = 2 + + 2 = + 2 + 2,,,. ( composition.), λ = (2, 2, )... n (partition), λ = (λ, λ 2,..., λ r ), λ λ 2 λ r > 0, r λ i = n i=. r λ, l(λ)., r λ i = n i=, λ, λ., n P n,

More information

第 61 回トポロジーシンポジウム講演集 2014 年 7 月於東北大学 ( ) 1 ( ) [6],[7] J.W. Alexander 3 1 : t 2 t +1=0 4 1 : t 2 3t +1=0 8 2 : 1 3t +3t 2 3t 3 +3t 4 3t 5 + t

第 61 回トポロジーシンポジウム講演集 2014 年 7 月於東北大学 ( ) 1 ( ) [6],[7] J.W. Alexander 3 1 : t 2 t +1=0 4 1 : t 2 3t +1=0 8 2 : 1 3t +3t 2 3t 3 +3t 4 3t 5 + t ( ) 1 ( ) [6],[7] 1. 1928 J.W. Alexander 3 1 : t 2 t +1=0 4 1 : t 2 3t +1=0 8 2 : 1 3t +3t 2 3t 3 +3t 4 3t 5 + t 6 7 7 : 1 5t +9t 2 5t 3 + t 4 ( :25400086) 2010 Mathematics Subject Classification: 57M25,

More information

2/14 2 () (O O) O O (O O) id γ γ id O O γ O O O γ η id id η I O O O O I γ O. O(n) n *5 γ η γ S M, N M N (M N)(n) ( ) M(k) Sk Ind S n S i1 S ik N(i 1 )

2/14 2 () (O O) O O (O O) id γ γ id O O γ O O O γ η id id η I O O O O I γ O. O(n) n *5 γ η γ S M, N M N (M N)(n) ( ) M(k) Sk Ind S n S i1 S ik N(i 1 ) 1/14 * 1. Vassiliev Hopf P = k P k Kontsevich Bar-Natan P k (g,n) k=g 1+n, n>0, g 0 H 1 g ( S 1 H F(Com) ) ((g, n)) Sn. Com F Feynman ()S 1 H S n ()Kontsevich ( - - Lie ) 1 *2 () [LV12] Koszul 1.1 S F

More information

Anderson ( ) Anderson / 14

Anderson ( ) Anderson / 14 Anderson 2008 12 ( ) Anderson 2008 12 1 / 14 Anderson ( ) Anderson 2008 12 2 / 14 Anderson P.W.Anderson 1958 ( ) Anderson 2008 12 3 / 14 Anderson tight binding Anderson tight binding Z d u (x) = V i u

More information

Einstein 1905 Lorentz Maxwell c E p E 2 (pc) 2 = m 2 c 4 (7.1) m E ( ) E p µ =(p 0,p 1,p 2,p 3 )=(p 0, p )= c, p (7.2) x µ =(x 0,x 1,x 2,x

Einstein 1905 Lorentz Maxwell c E p E 2 (pc) 2 = m 2 c 4 (7.1) m E ( ) E p µ =(p 0,p 1,p 2,p 3 )=(p 0, p )= c, p (7.2) x µ =(x 0,x 1,x 2,x 7 7.1 7.1.1 Einstein 1905 Lorentz Maxwell c E p E 2 (pc) 2 = m 2 c 4 (7.1) m E ( ) E p µ =(p 0,p 1,p 2,p 3 )=(p 0, p )= c, p (7.2) x µ =(x 0,x 1,x 2,x 3 )=(x 0, x )=(ct, x ) (7.3) E/c ct K = E mc 2 (7.4)

More information

四変数基本対称式の解放

四変数基本対称式の解放 Solving the simultaneous equation of the symmetric tetravariate polynomials and The roots of a quartic equation Oomori, Yasuhiro in Himeji City, Japan Dec.1, 2011 Abstract 1. S 4 2. 1. {α, β, γ, δ} (1)

More information

Centralizers of Cantor minimal systems

Centralizers of Cantor minimal systems Centralizers of Cantor minimal systems 1 X X X φ (X, φ) (X, φ) φ φ 2 X X X Homeo(X) Homeo(X) φ Homeo(X) x X Orb φ (x) = { φ n (x) ; n Z } x φ x Orb φ (x) X Orb φ (x) x n N 1 φ n (x) = x 1. (X, φ) (i) (X,

More information

1 1, 2016 D B. 1.1,.,,. (1). (2). (3) Milnor., (1) (2)., (3). 1.2,.,, ( )..,.,,. 1.3, webpage,.,,.

1 1, 2016 D B. 1.1,.,,. (1). (2). (3) Milnor., (1) (2)., (3). 1.2,.,, ( )..,.,,. 1.3, webpage,.,,. 1 1, 2016 D B. 1.1,.,,. (1). (2). (3) Milnor., (1) (2)., (3). 1.2,.,, ( )..,.,,. 1.3, 2015. webpage,.,,. 2 1 (1),, ( ). (2),,. (3),.,, : Hashinaga, T., Tamaru, H.: Three-dimensional solvsolitons and the

More information

Black-Scholes [1] Nelson [2] Schrödinger 1 Black Scholes [1] Black-Scholes Nelson [2][3][4] Schrödinger Nelson Parisi Wu [5] Nelson Parisi-W

Black-Scholes [1] Nelson [2] Schrödinger 1 Black Scholes [1] Black-Scholes Nelson [2][3][4] Schrödinger Nelson Parisi Wu [5] Nelson Parisi-W 003 7 14 Black-Scholes [1] Nelson [] Schrödinger 1 Black Scholes [1] Black-Scholes Nelson [][3][4] Schrödinger Nelson Parisi Wu [5] Nelson Parisi-Wu Nelson e-mail: takatoshi-tasaki@nifty.com kabutaro@mocha.freemail.ne.jp

More information

takei.dvi

takei.dvi 0 Newton Leibniz ( ) α1 ( ) αn (1) a α1,...,α n (x) u(x) = f(x) x 1 x n α 1 + +α n m 1957 Hans Lewy Lewy 1970 1 1.1 Example 1.1. (2) d 2 u dx 2 Q(x)u = f(x), u(0) = a, 1 du (0) = b. dx Q(x), f(x) x = 0

More information

(2004 ) 2 (A) (B) (C) 3 (1987) (1988) Shimono and Tachibanaki(1985) (2008) , % 2 (1999) (2005) 3 (2005) (2006) (2008)

(2004 ) 2 (A) (B) (C) 3 (1987) (1988) Shimono and Tachibanaki(1985) (2008) , % 2 (1999) (2005) 3 (2005) (2006) (2008) ,, 23 4 30 (i) (ii) (i) (ii) Negishi (1960) 2010 (2010) ( ) ( ) (2010) E-mail:fujii@econ.kobe-u.ac.jp E-mail:082e527e@stu.kobe-u.ac.jp E-mail:iritani@econ.kobe-u.ac.jp 1 1 16 (2004 ) 2 (A) (B) (C) 3 (1987)

More information

ssp2_fixed.dvi

ssp2_fixed.dvi 13 12 30 2 1 3 1.1... 3 1.2... 4 1.3 Bravais... 4 1.4 Miller... 4 2 X 5 2.1 Bragg... 5 2.2... 5 2.3... 7 3 Brillouin 13 3.1... 13 3.2 Brillouin... 13 3.3 Brillouin... 14 3.4 Bloch... 16 3.5 Bloch... 17

More information

D-brane K 1, 2 ( ) 1 K D-brane K K D-brane Witten [1] D-brane K K K K D-brane D-brane K RR BPS D-brane

D-brane K 1, 2   ( ) 1 K D-brane K K D-brane Witten [1] D-brane K K K K D-brane D-brane K RR BPS D-brane D-brane K 1, 2 E-mail: sugimoto@yukawa.kyoto-u.ac.jp (2004 12 16 ) 1 K D-brane K K D-brane Witten [1] D-brane K K K K D-brane D-brane K RR BPS D-brane D-brane RR D-brane K D-brane K D-brane K K [2, 3]

More information

Donaldson Seiberg-Witten [GNY] f U U C 1 f(z)dz = Res f(a) 2πi C a U U α = f(z)dz dα = 0 U f U U P 1 α 0 a P 1 Res a α = 0. P 1 Donaldson Seib

Donaldson Seiberg-Witten [GNY] f U U C 1 f(z)dz = Res f(a) 2πi C a U U α = f(z)dz dα = 0 U f U U P 1 α 0 a P 1 Res a α = 0. P 1 Donaldson Seib ( ) Donaldson Seiberg-Witten Witten Göttsche [GNY] L. Göttsche, H. Nakajima and K. Yoshioka, Donaldson = Seiberg-Witten from Mochizuki s formula and instanton counting, Publ. of RIMS, to appear Donaldson

More information

sequentially Cohen Macaulay Herzog Cohen Macaulay 5 unmixed semi-unmixed 2 Semi-unmixed Semi-unmixed G V V (G) V G V G e (G) G F(G) (G) F(G) G dim G G

sequentially Cohen Macaulay Herzog Cohen Macaulay 5 unmixed semi-unmixed 2 Semi-unmixed Semi-unmixed G V V (G) V G V G e (G) G F(G) (G) F(G) G dim G G Semi-unmixed 1 K S K n K[X 1,..., X n ] G G G 2 G V (G) E(G) S G V (G) = {1,..., n} I(G) G S square-free I(G) = (X i X j {i, j} E(G)) I(G) G (edge ideal) 1990 Villarreal [11] S/I(G) Cohen Macaulay G 2005

More information

コホモロジー的AGT対応とK群類似

コホモロジー的AGT対応とK群類似 AGT K ( ) Encounter with Mathematics October 29, 2016 AGT L. F. Alday, D. Gaiotto, Y. Tachikawa, Liouville Correlation Functions from Four-dimensional Gauge Theories, Lett. Math. Phys. 91 (2010), arxiv:0906.3219.

More information

Siegel modular forms of middle parahoric subgroups and Ihara lift ( Tomoyoshi Ibukiyama Osaka University 1. Introduction [8] Ihara Sp(2, R) p

Siegel modular forms of middle parahoric subgroups and Ihara lift ( Tomoyoshi Ibukiyama Osaka University 1. Introduction [8] Ihara Sp(2, R) p Siegel modular forms of middle parahoric subgroups and Ihara lift ( Tomoyoshi Ibukiyama Osaka University 1. Introduction [8] Ihara 80 1963 Sp(2, R) p L holomorphic discrete series Eichler Brandt Eichler

More information

[Oc, Proposition 2.1, Theorem 2.4] K X (a) l (b) l (a) (b) X [M3] Huber adic 1 Huber ([Hu1], [Hu2], [Hu3]) adic 1.1 adic A I I A {I n } 0 adic 2

[Oc, Proposition 2.1, Theorem 2.4] K X (a) l (b) l (a) (b) X [M3] Huber adic 1 Huber ([Hu1], [Hu2], [Hu3]) adic 1.1 adic A I I A {I n } 0 adic 2 On the action of the Weil group on the l-adic cohomology of rigid spaces over local fields (Yoichi Mieda) Graduate School of Mathematical Sciences, The University of Tokyo 0 l Galois K F F q l q K, F K,

More information

1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition) A = {x; P (x)} P (x) x x a A a A Remark. (i) {2, 0, 0,

1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition) A = {x; P (x)} P (x) x x a A a A Remark. (i) {2, 0, 0, 2005 4 1 1 2 2 6 3 8 4 11 5 14 6 18 7 20 8 22 9 24 10 26 11 27 http://matcmadison.edu/alehnen/weblogic/logset.htm 1 1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition)

More information

Macdonald, ,,, Macdonald. Macdonald,,,,,.,, Gauss,,.,, Lauricella A, B, C, D, Gelfand, A,., Heckman Opdam.,,,.,,., intersection,. Macdona

Macdonald, ,,, Macdonald. Macdonald,,,,,.,, Gauss,,.,, Lauricella A, B, C, D, Gelfand, A,., Heckman Opdam.,,,.,,., intersection,. Macdona Macdonald, 2015.9.1 9.2.,,, Macdonald. Macdonald,,,,,.,, Gauss,,.,, Lauricella A, B, C, D, Gelfand, A,., Heckman Opdam.,,,.,,., intersection,. Macdonald,, q., Heckman Opdam q,, Macdonald., 1 ,,. Macdonald,

More information

62 Serre Abel-Jacob Serre Jacob Jacob Jacob k Jacob Jac(X) X g X (g) X (g) Zarsk [Wel] [Ml] [BLR] [Ser] Jacob ( ) 2 Jacob Pcard 2.1 X g ( C ) X n P P

62 Serre Abel-Jacob Serre Jacob Jacob Jacob k Jacob Jac(X) X g X (g) X (g) Zarsk [Wel] [Ml] [BLR] [Ser] Jacob ( ) 2 Jacob Pcard 2.1 X g ( C ) X n P P 15, pp.61-80 Abel-Jacob I 1 Introducton Remann Abel-Jacob X g Remann X ω 1,..., ω g Λ = {( γ ω 1,..., γ ω g) C g γ H 1 (X, Z)} Λ C g lattce Jac(X) = C g /Λ Le Abel-Jacob (Theorem 2.2, 4.2) Jac(X) Pcard

More information

Gelfand 3 L 2 () ix M : ϕ(x) ixϕ(x) M : σ(m) = i (λ M) λ (L 2 () ) ( 0 ) L 2 () ϕ, ψ L 2 () ((λ M) ϕ, ψ) ((λ M) ϕ, ψ) = λ ix ϕ(x)ψ(x)dx. λ /(λ ix) ϕ,

Gelfand 3 L 2 () ix M : ϕ(x) ixϕ(x) M : σ(m) = i (λ M) λ (L 2 () ) ( 0 ) L 2 () ϕ, ψ L 2 () ((λ M) ϕ, ψ) ((λ M) ϕ, ψ) = λ ix ϕ(x)ψ(x)dx. λ /(λ ix) ϕ, A spectral theory of linear operators on Gelfand triplets MI (Institute of Mathematics for Industry, Kyushu University) (Hayato CHIBA) chiba@imi.kyushu-u.ac.jp Dec 2, 20 du dt = Tu. (.) u X T X X T 0 X

More information

xia2.dvi

xia2.dvi Journal of Differential Equations 96 (992), 70-84 Melnikov method and transversal homoclinic points in the restricted three-body problem Zhihong Xia Department of Mathematics, Harvard University Cambridge,

More information

Step 2 O(3) Sym 0 (R 3 ), : a + := λ 1 λ 2 λ 3 a λ 1 λ 2 λ 3. a +. X a +, O(3).X. O(3).X = O(3)/O(3) X, O(3) X. 1.7 Step 3 O(3) Sym 0 (R 3 ),

Step 2 O(3) Sym 0 (R 3 ), : a + := λ 1 λ 2 λ 3 a λ 1 λ 2 λ 3. a +. X a +, O(3).X. O(3).X = O(3)/O(3) X, O(3) X. 1.7 Step 3 O(3) Sym 0 (R 3 ), 1 1 1.1,,. 1.1 1.2 O(2) R 2 O(2).p, {0} r > 0. O(3) R 3 O(3).p, {0} r > 0.,, O(n) ( SO(n), O(n) ): Sym 0 (R n ) := {X M(n, R) t X = X, tr(x) = 0}. 1.3 O(n) Sym 0 (R n ) : g.x := gxg 1 (g O(n), X Sym 0

More information

2018/10/04 IV/ IV 2/12. A, f, g A. (1) D(0 A ) =, D(1 A ) = Spec(A), D(f) D(g) = D(fg). (2) {f l A l Λ} A I D(I) = l Λ D(f l ). (3) I, J A D(I) D(J) =

2018/10/04 IV/ IV 2/12. A, f, g A. (1) D(0 A ) =, D(1 A ) = Spec(A), D(f) D(g) = D(fg). (2) {f l A l Λ} A I D(I) = l Λ D(f l ). (3) I, J A D(I) D(J) = 2018/10/04 IV/ IV 1/12 2018 IV/ IV 10 04 * 1 : ( A 441 ) yanagida[at]math.nagoya-u.ac.jp https://www.math.nagoya-u.ac.jp/~yanagida 1 I: (ring)., A 0 A, 1 A. (ring homomorphism).. 1.1 A (ideal) I, ( ) I

More information

Siegel Hecke 1 Siege Hecke L L Fourier Dirichlet Hecke Euler L Euler Fourier Hecke [Fr] Andrianov [An2] Hecke Satake L van der Geer ([vg]) L [Na1] [Yo

Siegel Hecke 1 Siege Hecke L L Fourier Dirichlet Hecke Euler L Euler Fourier Hecke [Fr] Andrianov [An2] Hecke Satake L van der Geer ([vg]) L [Na1] [Yo Siegel Hecke 1 Siege Hecke L L Fourier Dirichlet Hecke Euler L Euler Fourier Hecke [Fr] Andrianov [An2] Hecke Satake L van der Geer ([vg]) L [Na1] [Yo] 2 Hecke ( ) 0 1n J n =, Γ = Γ n = Sp(n, Z) = {γ GL(2n,

More information

Date Wed, 20 Jun (JST) From Kuroki Gen Message-Id Subject Part 4

Date Wed, 20 Jun (JST) From Kuroki Gen Message-Id Subject Part 4 Part 4 2001 6 20 1 2 2 generator 3 3 L 7 4 Manin triple 8 5 KP Hamiltonian 10 6 n-component KP 12 7 nonlinear Schrödinger Hamiltonian 13 http//wwwmathtohokuacjp/ kuroki/hyogen/soliton-4txt TEX 2002 1 17

More information

sakigake1.dvi

sakigake1.dvi (Zin ARAI) arai@cris.hokudai.ac.jp http://www.cris.hokudai.ac.jp/arai/ 1 dynamical systems ( mechanics ) dynamical systems 3 G X Ψ:G X X, (g, x) Ψ(g, x) =:Ψ g (x) Ψ id (x) =x, Ψ gh (x) =Ψ h (Ψ g (x)) (

More information

NP 1 ( ) Ehrgott [3] ( ) (Ehrgott [3] ) Ulungu & Teghem [8] Zitzler, Laumanns & Bleuler [11] Papadimitriou & Yannakakis [7] Zaroliagis [10] 2 1

NP 1 ( ) Ehrgott [3] ( ) (Ehrgott [3] ) Ulungu & Teghem [8] Zitzler, Laumanns & Bleuler [11] Papadimitriou & Yannakakis [7] Zaroliagis [10] 2 1 NP 1 ( ) Ehrgott [3] 2 1 1 ( ) (Ehrgott [3] ) Ulungu & Teghem [8] Zitzler, Laumanns & Bleuler [11] Papadimitriou & Yannakakis [7] Zaroliagis [10] 2 1 1 1 Avis & Fukuda [1] 2 NP (Ehrgott [3] ) ( ) 3 NP

More information

2 (March 13, 2010) N Λ a = i,j=1 x i ( d (a) i,j x j ), Λ h = N i,j=1 x i ( d (h) i,j x j ) B a B h B a = N i,j=1 ν i d (a) i,j, B h = x j N i,j=1 ν i

2 (March 13, 2010) N Λ a = i,j=1 x i ( d (a) i,j x j ), Λ h = N i,j=1 x i ( d (h) i,j x j ) B a B h B a = N i,j=1 ν i d (a) i,j, B h = x j N i,j=1 ν i 1. A. M. Turing [18] 60 Turing A. Gierer H. Meinhardt [1] : (GM) ) a t = D a a xx µa + ρ (c a2 h + ρ 0 (0 < x < l, t > 0) h t = D h h xx νh + c ρ a 2 (0 < x < l, t > 0) a x = h x = 0 (x = 0, l) a = a(x,

More information

D 24 D D D

D 24 D D D 5 Paper I.R. 2001 5 Paper HP Paper 5 3 5.1................................................... 3 5.2.................................................... 4 5.3.......................................... 6

More information

CAPELLI (T\^o $\mathrm{r}\mathrm{u}$ UMEDA) MATHEMATICS, KYOTO UNIVERSITY DEPARTMENT $\mathrm{o}\mathrm{p}$ $0$:, Cape i,.,.,,,,.,,,.

CAPELLI (T\^o $\mathrm{r}\mathrm{u}$ UMEDA) MATHEMATICS, KYOTO UNIVERSITY DEPARTMENT $\mathrm{o}\mathrm{p}$ $0$:, Cape i,.,.,,,,.,,,. 1508 2006 1-11 1 CAPELLI (T\^o $\mathrm{r}\mathrm{u}$ UMEDA) MATHEMATICS KYOTO UNIVERSITY DEPARTMENT $\mathrm{o}\mathrm{p}$ $0$: Cape i Capelli 1991 ( ) (1994 ; 1998 ) 100 Capelli Capelli Capelli ( ) (

More information

Feynman Encounter with Mathematics 52, [1] N. Kumano-go, Feynman path integrals as analysis on path space by time slicing approximation. Bull

Feynman Encounter with Mathematics 52, [1] N. Kumano-go, Feynman path integrals as analysis on path space by time slicing approximation. Bull Feynman Encounter with Mathematics 52, 200 9 [] N. Kumano-go, Feynman path integrals as analysis on path space by time slicing approximation. Bull. Sci. Math. vol. 28 (2004) 97 25. [2] D. Fujiwara and

More information

QCD 1 QCD GeV 2014 QCD 2015 QCD SU(3) QCD A µ g µν QCD 1

QCD 1 QCD GeV 2014 QCD 2015 QCD SU(3) QCD A µ g µν QCD 1 QCD 1 QCD GeV 2014 QCD 2015 QCD SU(3) QCD A µ g µν QCD 1 (vierbein) QCD QCD 1 1: QCD QCD Γ ρ µν A µ R σ µνρ F µν g µν A µ Lagrangian gr TrFµν F µν No. Yes. Yes. No. No! Yes! [1] Nash & Sen [2] Riemann

More information

* 1 1 (i) (ii) Brückner-Hartree-Fock (iii) (HF, BCS, HFB) (iv) (TDHF,TDHFB) (RPA) (QRPA) (v) (vi) *

* 1 1 (i) (ii) Brückner-Hartree-Fock (iii) (HF, BCS, HFB) (iv) (TDHF,TDHFB) (RPA) (QRPA) (v) (vi) * * 1 1 (i) (ii) Brückner-Hartree-Fock (iii) (HF, BCS, HFB) (iv) (TDHF,TDHFB) (RPA) (QRPA) (v) (vi) *1 2004 1 1 ( ) ( ) 1.1 140 MeV 1.2 ( ) ( ) 1.3 2.6 10 8 s 7.6 10 17 s? Λ 2.5 10 10 s 6 10 24 s 1.4 ( m

More information

, CH n. CH n, CP n,,,., CH n,,. RH n ( Cartan )., CH n., RH n CH n,,., RH n, CH n., RH n ( ), CH n ( 1.1 (v), (vi) )., RH n,, CH n,., CH n,. 1.2, CH n

, CH n. CH n, CP n,,,., CH n,,. RH n ( Cartan )., CH n., RH n CH n,,., RH n, CH n., RH n ( ), CH n ( 1.1 (v), (vi) )., RH n,, CH n,., CH n,. 1.2, CH n ( ), Jürgen Berndt,.,. 1, CH n.,,. 1.1 ([6]). CH n (n 2), : (i) CH k (k = 0,..., n 1) tube. (ii) RH n tube. (iii). (iv) ruled minimal, equidistant. (v) normally homogeneous submanifold F k tube. (vi) normally

More information

I II

I II I II I I 8 I I 5 I 5 9 I 6 6 I 7 7 I 8 87 I 9 96 I 7 I 8 I 9 I 7 I 95 I 5 I 6 II 7 6 II 8 II 9 59 II 67 II 76 II II 9 II 8 II 5 8 II 6 58 II 7 6 II 8 8 I.., < b, b, c, k, m. k + m + c + c b + k + m log

More information

V(x) m e V 0 cos x π x π V(x) = x < π, x > π V 0 (i) x = 0 (V(x) V 0 (1 x 2 /2)) n n d 2 f dξ 2ξ d f 2 dξ + 2n f = 0 H n (ξ) (ii) H

V(x) m e V 0 cos x π x π V(x) = x < π, x > π V 0 (i) x = 0 (V(x) V 0 (1 x 2 /2)) n n d 2 f dξ 2ξ d f 2 dξ + 2n f = 0 H n (ξ) (ii) H 199 1 1 199 1 1. Vx) m e V cos x π x π Vx) = x < π, x > π V i) x = Vx) V 1 x /)) n n d f dξ ξ d f dξ + n f = H n ξ) ii) H n ξ) = 1) n expξ ) dn dξ n exp ξ )) H n ξ)h m ξ) exp ξ )dξ = π n n!δ n,m x = Vx)

More information

(2) Fisher α (α) α Fisher α ( α) 0 Levi Civita (1) ( 1) e m (e) (m) ([1], [2], [13]) Poincaré e m Poincaré e m Kähler-like 2 Kähler-like

(2) Fisher α (α) α Fisher α ( α) 0 Levi Civita (1) ( 1) e m (e) (m) ([1], [2], [13]) Poincaré e m Poincaré e m Kähler-like 2 Kähler-like () 10 9 30 1 Fisher α (α) α Fisher α ( α) 0 Levi Civita (1) ( 1) e m (e) (m) ([1], [], [13]) Poincaré e m Poincaré e m Kähler-like Kähler-like Kähler M g M X, Y, Z (.1) Xg(Y, Z) = g( X Y, Z) + g(y, XZ)

More information

category.dvi

category.dvi 1 2 2 3 3 6 4 13 5 15 6 16 7 19 8 24 9 28 1 1 (1.1). [Ka76] [Mac98] (1.2). (1.3). EilenbergMac Lane K K V V = Hom(V K)V VV V V = Hom(Hom(V K) K) η : V V ; x (ϕ x : p p(x)) η : V V V : V W F() : V W ; ϕ

More information

A bound of the number of reduced Arakelov divisors of a number field (joint work with Ryusuke Yoshimitsu) Takao Watanabe Department of Mathematics Osa

A bound of the number of reduced Arakelov divisors of a number field (joint work with Ryusuke Yoshimitsu) Takao Watanabe Department of Mathematics Osa A bound of the number of reduced Arakelov divisors of a number field (joint work with Ryusuke Yoshimitsu) Takao Watanabe Department of Mathematics Osaka University , Schoof Algorithmic Number Theory, MSRI

More information

SUSY DWs

SUSY DWs @ 2013 1 25 Supersymmetric Domain Walls Eric A. Bergshoeff, Axel Kleinschmidt, and Fabio Riccioni Phys. Rev. D86 (2012) 085043 (arxiv:1206.5697) ( ) Contents 1 2 SUSY Domain Walls Wess-Zumino Embedding

More information

第5章 偏微分方程式の境界値問題

第5章 偏微分方程式の境界値問題 October 5, 2018 1 / 113 4 ( ) 2 / 113 Poisson 5.1 Poisson ( A.7.1) Poisson Poisson 1 (A.6 ) Γ p p N u D Γ D b 5.1.1: = Γ D Γ N 3 / 113 Poisson 5.1.1 d {2, 3} Lipschitz (A.5 ) Γ D Γ N = \ Γ D Γ p Γ N Γ

More information

all.dvi

all.dvi 38 5 Cauchy.,,,,., σ.,, 3,,. 5.1 Cauchy (a) (b) (a) (b) 5.1: 5.1. Cauchy 39 F Q Newton F F F Q F Q 5.2: n n ds df n ( 5.1). df n n df(n) df n, t n. t n = df n (5.1) ds 40 5 Cauchy t l n mds df n 5.3: t

More information

2006年3月8日

2006年3月8日 18 21 1990 2004 2 2005 14 15 2004 1990 2005 2003 300 7 2 1 2005 1972 100 40 6 1972 2004 197 6,500 2004 21 59 100 65 2007 5 2005 30 1.8 535.89 348.33 187.56 2006 2006 5 1 30 1 30 46 46 1 46 1000kl 4 1 100kl

More information

163 KdV KP Lax pair L, B L L L 1/2 W 1 LW = ( / x W t 1, t 2, t 3, ψ t n ψ/ t n = B nψ (KdV B n = L n/2 KP B n = L n KdV KP Lax W Lax τ KP L ψ τ τ Cha

163 KdV KP Lax pair L, B L L L 1/2 W 1 LW = ( / x W t 1, t 2, t 3, ψ t n ψ/ t n = B nψ (KdV B n = L n/2 KP B n = L n KdV KP Lax W Lax τ KP L ψ τ τ Cha 63 KdV KP Lax pair L, B L L L / W LW / x W t, t, t 3, ψ t n / B nψ KdV B n L n/ KP B n L n KdV KP Lax W Lax τ KP L ψ τ τ Chapter 7 An Introduction to the Sato Theory Masayui OIKAWA, Faculty of Engneering,

More information

( ) (, ) ( )

( ) (, ) ( ) ( ) (, ) ( ) 1 2 2 2 2.1......................... 2 2.2.............................. 3 2.3............................... 4 2.4.............................. 5 2.5.............................. 6 2.6..........................

More information

2 Three-wave Painlevé VI 21 -Wilson three-wave Painlevé VI Gauss -Wilson [KK3] n 3 3 t = t 1 t 2 t 3 -Wilson W z; t := I + W 1 z + W 2 z 2 + z; t := 0

2 Three-wave Painlevé VI 21 -Wilson three-wave Painlevé VI Gauss -Wilson [KK3] n 3 3 t = t 1 t 2 t 3 -Wilson W z; t := I + W 1 z + W 2 z 2 + z; t := 0 1473 : de nouvelles perspectives 2006 2 pp 102 119 VI q 1 Tetsuya Kikuchi Sabro Kakei Drinfel d-sokolov Painlevé [KK1] [KK2] [KK3] [KIK] [ ] [ ] [KK3] three-wave equation Painlevé VI q q Drinfel d-sokolov

More information

磁性物理学 - 遷移金属化合物磁性のスピンゆらぎ理論

磁性物理学 - 遷移金属化合物磁性のスピンゆらぎ理論 email: takahash@sci.u-hyogo.ac.jp May 14, 2009 Outline 1. 2. 3. 4. 5. 6. 2 / 262 Today s Lecture: Mode-mode Coupling Theory 100 / 262 Part I Effects of Non-linear Mode-Mode Coupling Effects of Non-linear

More information

I = [a, b] R γ : I C γ(a) = γ(b) z C \ γ(i) 1(4) γ z winding number index Ind γ (z) = φ(b, z) φ(a, z) φ 1(1) (i)(ii) 1 1 c C \ {0} B(c; c ) L c z B(c;

I = [a, b] R γ : I C γ(a) = γ(b) z C \ γ(i) 1(4) γ z winding number index Ind γ (z) = φ(b, z) φ(a, z) φ 1(1) (i)(ii) 1 1 c C \ {0} B(c; c ) L c z B(c; 21 1 http://www.ozawa.phys.waseda.ac.jp/index2.html ( ) 1. I = [a, b] R γ : I C γ γ(i) z 0 C \ γ(i) (1) ε > 0 φ : I B(z 0 ; ε) C (i) B(z 0 ; ε) γ(i) = (ii) (t, z) I B(z 0 ; ε) exp(φ(t, z)) = γ(t) z (2)

More information

~nabe/lecture/index.html 2

~nabe/lecture/index.html 2 2001 12 13 1 http://www.sml.k.u-tokyo.ac.jp/ ~nabe/lecture/index.html nabe@sml.k.u-tokyo.ac.jp 2 1. 10/ 4 2. 10/11 3. 10/18 1 4. 10/25 2 5. 11/ 1 6. 11/ 8 7. 11/15 8. 11/22 9. 11/29 10. 12/ 6 1 11. 12/13

More information

2次Wiener汎関数について

2次Wiener汎関数について .. 2 Wiener 213 9 21 2 Wiener 213 9 21 1 / 18 Plan Plan. 1. 2 2 Wiener F-L. 3 2 Wiener. 4 2 Wiener. 5 Wiener 2 Wiener 213 9 21 2 / 18 1979B4 198M1 Dym-McKean: Fourier series and inegrals Sroock-Varadhan:

More information

非可換Lubin-Tate理論の一般化に向けて

非可換Lubin-Tate理論の一般化に向けて Lubin-Tate 2012 9 18 ( ) Lubin-Tate 2012 9 18 1 / 27 ( ) Lubin-Tate 2012 9 18 2 / 27 Lubin-Tate p 1 1 ( ) Lubin-Tate 2012 9 18 2 / 27 Lubin-Tate p 1 1 Lubin-Tate GL n n 1 Lubin-Tate ( ) Lubin-Tate 2012

More information

Gauss Fuchs rigid rigid rigid Nicholas Katz Rigid local systems [6] Fuchs Katz Crawley- Boevey[1] [7] Katz rigid rigid Katz middle convolu

Gauss Fuchs rigid rigid rigid Nicholas Katz Rigid local systems [6] Fuchs Katz Crawley- Boevey[1] [7] Katz rigid rigid Katz middle convolu rigidity 2014.9.1-2014.9.2 Fuchs 1 Introduction y + p(x)y + q(x)y = 0, y 2 p(x), q(x) p(x) q(x) Fuchs 19 Fuchs 83 Gauss Fuchs rigid rigid rigid 7 1970 1996 Nicholas Katz Rigid local systems [6] Fuchs Katz

More information

1. R n Ω ε G ε 0 Ω ε B n 2 Ωε = with Bu = 0 on Ω ε i=1 x 2 i ε +0 B Bu = u (Dirichlet, D Ω ε ), Bu = u ν (Neumann, N Ω ε ), Ω ε G ( ) / 25

1. R n Ω ε G ε 0 Ω ε B n 2 Ωε = with Bu = 0 on Ω ε i=1 x 2 i ε +0 B Bu = u (Dirichlet, D Ω ε ), Bu = u ν (Neumann, N Ω ε ), Ω ε G ( ) / 25 .. IV 2012 10 4 ( ) 2012 10 4 1 / 25 1. R n Ω ε G ε 0 Ω ε B n 2 Ωε = with Bu = 0 on Ω ε i=1 x 2 i ε +0 B Bu = u (Dirichlet, D Ω ε ), Bu = u ν (Neumann, N Ω ε ), Ω ε G ( ) 2012 10 4 2 / 25 1. Ω ε B ε t

More information

1 M = (M, g) m Riemann N = (N, h) n Riemann M N C f : M N f df : T M T N M T M f N T N M f 1 T N T M f 1 T N C X, Y Γ(T M) M C T M f 1 T N M Levi-Civi

1 M = (M, g) m Riemann N = (N, h) n Riemann M N C f : M N f df : T M T N M T M f N T N M f 1 T N T M f 1 T N C X, Y Γ(T M) M C T M f 1 T N M Levi-Civi 1 Surveys in Geometry 1980 2 6, 7 Harmonic Map Plateau Eells-Sampson [5] Siu [19, 20] Kähler 6 Reports on Global Analysis [15] Sacks- Uhlenbeck [18] Siu-Yau [21] Frankel Siu Yau Frankel [13] 1 Surveys

More information

(1) (2) (3) (4) 1

(1) (2) (3) (4) 1 8 3 4 3.................................... 3........................ 6.3 B [, ].......................... 8.4........................... 9........................................... 9.................................

More information

Introduction SFT Tachyon condensation in SFT SFT ( ) at 1 / 38

Introduction SFT Tachyon condensation in SFT SFT ( ) at 1 / 38 ( ) 2011 5 14 at 1 / 38 Introduction? = String Field Theory = SFT 2 / 38 String Field : ϕ(x, t) x ϕ x / ( ) X ( σ) (string field): Φ[X(σ), t] X(σ) Φ (Φ X(σ) ) X(σ) & / 3 / 38 SFT with Lorentz & Gauge Invariance

More information

Auerbach and Kotlikoff(1987) (1987) (1988) 4 (2004) 5 Diamond(1965) Auerbach and Kotlikoff(1987) 1 ( ) ,

Auerbach and Kotlikoff(1987) (1987) (1988) 4 (2004) 5 Diamond(1965) Auerbach and Kotlikoff(1987) 1 ( ) , ,, 2010 8 24 2010 9 14 A B C A (B Negishi(1960) (C) ( 22 3 27 ) E-mail:fujii@econ.kobe-u.ac.jp E-mail:082e527e@stu.kobe-u.ac.jp E-mail:iritani@econ.kobe-u.ac.jp 1 1 1 2 3 Auerbach and Kotlikoff(1987) (1987)

More information

A = A x x + A y y + A, B = B x x + B y y + B, C = C x x + C y y + C..6 x y A B C = A x x + A y y + A B x B y B C x C y C { B = A x x + A y y + A y B B

A = A x x + A y y + A, B = B x x + B y y + B, C = C x x + C y y + C..6 x y A B C = A x x + A y y + A B x B y B C x C y C { B = A x x + A y y + A y B B 9 7 A = A x x + A y y + A, B = B x x + B y y + B, C = C x x + C y y + C..6 x y A B C = A x x + A y y + A B x B y B C x C y C { B = A x x + A y y + A y B B x x B } B C y C y + x B y C x C C x C y B = A

More information

24 I ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x

24 I ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x 24 I 1.1.. ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x 1 (t), x 2 (t),, x n (t)) ( ) ( ), γ : (i) x 1 (t),

More information

Hilbert, von Neuman [1, p.86] kt 2 1 [1, 2] 2 2

Hilbert, von Neuman [1, p.86] kt 2 1 [1, 2] 2 2 hara@math.kyushu-u.ac.jp 1 1 1.1............................................... 2 1.2............................................. 3 2 3 3 5 3.1............................................. 6 3.2...................................

More information

Kullback-Leibler

Kullback-Leibler Kullback-Leibler 206 6 6 http://www.math.tohoku.ac.jp/~kuroki/latex/206066kullbackleibler.pdf 0 2 Kullback-Leibler 3. q i.......................... 3.2........... 3.3 Kullback-Leibler.............. 4.4

More information

I? 3 1 3 1.1?................................. 3 1.2?............................... 3 1.3!................................... 3 2 4 2.1........................................ 4 2.2.......................................

More information

20 15 14.6 15.3 14.9 15.7 16.0 15.7 13.4 14.5 13.7 14.2 10 10 13 16 19 22 1 70,000 60,000 50,000 40,000 30,000 20,000 10,000 0 2,500 59,862 56,384 2,000 42,662 44,211 40,639 37,323 1,500 33,408 34,472

More information

- 2 -

- 2 - - 2 - - 3 - (1) (2) (3) (1) - 4 - ~ - 5 - (2) - 6 - (1) (1) - 7 - - 8 - (i) (ii) (iii) (ii) (iii) (ii) 10 - 9 - (3) - 10 - (3) - 11 - - 12 - (1) - 13 - - 14 - (2) - 15 - - 16 - (3) - 17 - - 18 - (4) -

More information

2 1980 8 4 4 4 4 4 3 4 2 4 4 2 4 6 0 0 6 4 2 4 1 2 2 1 4 4 4 2 3 3 3 4 3 4 4 4 4 2 5 5 2 4 4 4 0 3 3 0 9 10 10 9 1 1

2 1980 8 4 4 4 4 4 3 4 2 4 4 2 4 6 0 0 6 4 2 4 1 2 2 1 4 4 4 2 3 3 3 4 3 4 4 4 4 2 5 5 2 4 4 4 0 3 3 0 9 10 10 9 1 1 1 1979 6 24 3 4 4 4 4 3 4 4 2 3 4 4 6 0 0 6 2 4 4 4 3 0 0 3 3 3 4 3 2 4 3? 4 3 4 3 4 4 4 4 3 3 4 4 4 4 2 1 1 2 15 4 4 15 0 1 2 1980 8 4 4 4 4 4 3 4 2 4 4 2 4 6 0 0 6 4 2 4 1 2 2 1 4 4 4 2 3 3 3 4 3 4 4

More information

1 (1) (2)

1 (1) (2) 1 2 (1) (2) (3) 3-78 - 1 (1) (2) - 79 - i) ii) iii) (3) (4) (5) (6) - 80 - (7) (8) (9) (10) 2 (1) (2) (3) (4) i) - 81 - ii) (a) (b) 3 (1) (2) - 82 - - 83 - - 84 - - 85 - - 86 - (1) (2) (3) (4) (5) (6)

More information

4/15 No.

4/15 No. 4/15 No. 1 4/15 No. 4/15 No. 3 Particle of mass m moving in a potential V(r) V(r) m i ψ t = m ψ(r,t)+v(r)ψ(r,t) ψ(r,t) = ϕ(r)e iωt ψ(r,t) Wave function steady state m ϕ(r)+v(r)ϕ(r) = εϕ(r) Eigenvalue problem

More information

compact compact Hermann compact Hermite ( - ) Hermann Hermann ( ) compact Hermite Lagrange compact Hermite ( ) a, Σ a {0} a 3 1

compact compact Hermann compact Hermite ( - ) Hermann Hermann ( ) compact Hermite Lagrange compact Hermite ( ) a, Σ a {0} a 3 1 014 5 4 compact compact Hermann compact Hermite ( - ) Hermann Hermann ( ) compact Hermite Lagrange compact Hermite ( ) 1 1.1. a, Σ a {0} a 3 1 (1) a = span(σ). () α, β Σ s α β := β α,β α α Σ. (3) α, β

More information

u Θ u u u ( λ + ) v Θ v v v ( λ + ) (.) Θ ( λ + ) (.) u + + v (.),, S ( λ + ) uv,, S uv, SH (.8) (.8) S S (.9),

u Θ u u u ( λ + ) v Θ v v v ( λ + ) (.) Θ ( λ + ) (.) u + + v (.),, S ( λ + ) uv,, S uv, SH (.8) (.8) S S (.9), ML rgr ML ML ML (,, ) σ τ τ u + + τ σ τ v + + τ τ σ + + (.) uv,,,, σ, σ, σ, τ, τ, τ t (Hook) σ λθ + ε, τ γ σ λθ + ε, τ γ σ λθ + ε, τ γ λ, E ν ν λ E, E ( + ν)( ν) ( + ν) Θ Θ ε + ε + ε (.) ε, ε, ε, γ, γ,

More information

Shunsuke Kobayashi 1 [6] [11] [7] u t = D 2 u 1 x 2 + f(u, v) + s L u(t, x)dx, L x (0.L), t > 0, Neumann 0 v t = D 2 v 2 + g(u, v), x (0, L), t > 0. x

Shunsuke Kobayashi 1 [6] [11] [7] u t = D 2 u 1 x 2 + f(u, v) + s L u(t, x)dx, L x (0.L), t > 0, Neumann 0 v t = D 2 v 2 + g(u, v), x (0, L), t > 0. x Shunsuke Kobayashi [6] [] [7] u t = D 2 u x 2 + fu, v + s L ut, xdx, L x 0.L, t > 0, Neumann 0 v t = D 2 v 2 + gu, v, x 0, L, t > 0. x2 u u v t, 0 = t, L = 0, x x. v t, 0 = t, L = 0.2 x x ut, x R vt, x

More information

02-量子力学の復習

02-量子力学の復習 4/17 No. 1 4/17 No. 2 4/17 No. 3 Particle of mass m moving in a potential V(r) V(r) m i ψ t = 2 2m 2 ψ(r,t)+v(r)ψ(r,t) ψ(r,t) Wave function ψ(r,t) = ϕ(r)e iωt steady state 2 2m 2 ϕ(r)+v(r)ϕ(r) = εϕ(r)

More information

March 4, R R R- R R

March 4, R R R- R R March 4, 2016 1. R- 2 1.1. R- 2 1.2. R- R- 4 1.3. R- 5 2. 6 2.1. 6 2.2. 6 2.3. 6 2.4. 7 3. 8 3.1. 8 3.2. 8 4. 10 4.1. 10 4.2. 10 4.3. 10 5. 12 5.1. 12 5.2. 14 6. Hom 14 6.1. Hom 14 6.2. Hom 15 6.3. Hom

More information