平成 19 年度 ( 第 29 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 19 ~8 年月 72 月日開催 30 日 ) R = T, Fermat Wiles, Taylor-Wiles R = T.,,.,. 1. Fermat Fermat,. Fermat, 17
|
|
- えいじろう たけすえ
- 5 years ago
- Views:
Transcription
1 R = T, Fermat Wiles, Taylor-Wiles R = T.,,.,. 1. Fermat Fermat,. Fermat, 17, Descartes ( ) Corneille ( ), Milton ( ), Velázquez ( ), Rembrandt van Rijn ( ),,,. Fermat, Fermat, Fermat, 1995 Wiles Fermat. Fermat Fermat., Fermat : 1.1. (Fermat, Wiles ) n 3, (1.1) a n + b n = c n , 2, 3,...,. 0 1, 2,.... 1/2 π, 1., Z.,,. Q, R, C., 0.,, R, C. n = Fermat. n = 3 Fermat 100 Euler. n, n 3 n, n n, (*) n 3 n 1 n.. 2 n 2 n 1. 2, 2, 3, 5, 7, 11,....., (*) n = 4 n 3,. n = 4, n p l. l, n = l l. n = 3 Euler Kummer, l 1.1 l. 1
2 Kummer,. Fermat Kummer, 1980, Frey [Fr]. Hellegauarch 1960, Frey. Frey, 1.1 l a l + b l = c l, (1.2) y 2 = x(x a l )(x + b l ). x, y. 2 x, y 1, 2 1 1, 1. 1 Frey. (1.2) E a,b. E a,b Frey. E a,b,. (1.2),, Frey Q. a l + b l = c l, a, b, c 1, a b. E a,b, Frey. E, E E E N E. E E, E = E a,b N E E. Szpiro 1, E E E a,b. Fermat, (1.1),, Szpiro E N E, 2 Szpiro. E E y 2 = f(x), f(x) = 0 16.,.., y 2 = f(x), y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6 ( a 1, a 2, a 3, a 4, a 6, 2 )., - Wiles., ( ) Galois. Galois. Galois, Galois., L, -. Fermat Frey, 0 3 a, b, c a + b = c, y 2 = x(x a)(x + b), Szpiro, Masser Oesterlé abc 3 : 1 : ε > 0, C(ε) > 0, Q E E C(ε)N 6+ε E. 2 a5 a N 1+ɛ N 6/5+ɛ, y 2 = x(x a)(x + b) E Szpiro. 2
3 1.2. ε > 0 C(ɛ) > 0 : a, b, c a + b = c, a b 1, a, b, c N, (1.3) c < C(ɛ)N 1+ɛ. Fermat n. abc, (1.3),.. Fery, Fermat Szpiro, - Q. Frey, - Fermat Frey Serre [Se2], Serre. Ribet [R] Serre, Fermat -. -, Langlands, Langlands, Langlands. Langlands,,,. 2.,, Galois Frey Fermat -,,,, Galois.,.,. S, S S. x S x S., x S,. x S y S x = y, x y. T S T S S T. T S, S T S \ T.. S, S S. S S. S, S, S S S S. S S = {(x, x ) x S, x S }. S, S. S S S S. S S f f : S S. f x S x S, f x x ( ), f x x,. x x. x x f f x f(x). S g : S S, x S g(f(x)) S S S, f g g f : S S. f : S S. T S f(t ) = {f(x) x T }. S. f(t ) f T. T = S, f(s) f, Im f. x S, S {x S f(x) = x } f x, f 1 (x ). T S, S {x S f(x) T } f T, f 1 (T ). f : S S, f ( ) S 2 S 2. f : S S, Im f = S.,,, 0. Q, R, C. Z. 3
4 .. p. p.,, 3. Z, Q, R, C. xy = yx.,, 3, M 2 (Z), M 2 (R). 2 G, 2 G G G (g 1, g 2 ) g 1 g 2, 3 (1) : (g 1 g 2 )g 3 = g 1 (g 2 g 3 ), (2) : 1 G g1 = 1g = g g G, (3) : g G gh = hg = 1 h G,.. X, X X,. Aut(X)., R, R = {x R xy = 1, y R}. (M n (R)) GL n (R). ( R), det : M n (R) R. a b n = 2 det( ) = ad bc. GL n (R) = {x M n (R) det(x) R } c d.. X x X π 1 (X, x). x ( γ : [0, 1] X γ(0) = γ(1) = x ). G X, G Aut(X). G X, X, G X G. X G G\X. G, H G, H. K, R. K K, K K. H G, H G h (g hg). H\G, H G, H\G [G : H]. G, G 2, G G. G G G G. R, R 2, R R. R R R R. R R, R R. G, G 2, G G. R, R 2, R R (,, ). f : G G. Im f G. G f 1 (1) f, Ker f. Ker f G. G f Ker f G G. R, det GL n (R) M n (R) GL n (R) R. SL n (R). GL n (R). H G, H\G. G H. H\G G/H.,. Z, Q, R, C. 0., 0. R R,, 1.,. n, n nz Z. Z/nZ,. p Z/pZ 4
5 . F p. X, X, X X. X X, X X. F, (*): ( ) F C,, ( ). F C F Q, [F : Q].,, F, F Q, F Q. F Q [F : Q]. K K, K K [K : K ]. [K : K ] < K K. C Q. Q (*). Q = Q G Q, Q Galois. G Q. Galois Q F G Q H 1 1. F Q H G Q, H = {σ G Q σ(x) = x, x F }, F = {x Q σ(x) = x, σ H},. F Q H G Q, [F : Q] H\G Q. H F Galois G F. F, F Q, F F G F G F. G F G F, F F Galois. Galois, K, K K, K Galois G K, K Galois. k Galois G k Ẑ, Frobenius Frob k G k ( ). 3. Frey E a,b. E a,b Serre Q E a,b G Q. Q E 3 f(x) = x 3 + Ax 2 + Bx + C (A, B, C ), y 2 = f(x). f(x). f(x) 3 f(x) = 0, y 2 = f(x) Q. E(C) = { } {(x, y) x, y C, y 2 = f(x)}. Riemann. Riemann, C. E(C). γ : [0, 1] C,, γ π 1 (E(C), ) γ. π 1 (E(C), ) C ( C ). Λ. P E(C), P γ, γ dx 2y dx 2y. C/Λ E P, γ. P γ E(C) C/Λ,. C/Λ, E(C).. n {}}{ n E[n] = { } {(x, y) E(C) (x, y) + + (x, y) = }. E(C). E[n] n 2. (x, y) E[n], x, y Q 5 dx 2y
6 . E[n] G Q. G Q E[n]. l 3, a l +b l = c l (1) 1.1, E Frey E = E a,b. E a,b [l] G Q,., ,,, Riemann. Riemann E(C), Riemann.. Rimann f : X Y,. Y. f 1 (y) y Y,. f 1 (y) y Y f. F, F S F. F = Q S F {2, 3, 5, 7,...}. 2 F F S F S F. S F. v S F v, v v, v v, v v. F Q, F v, v Q w. w = v, v. v v k v. v v k v k v. v S F v v [k v : k v] = [F : F ]. [k v : k v ] [F : F ] (v k v, k v, [k v : k v ] = 1 ). F /F v. S Q lim F S F. F Q. G Q S Q. F Q, S Q S F. w S Q v S F w v. v S F w v w S Q, G F w G Fv. F v. G Fv w, w w. F v, F F v, G Fv F v Galois. F = Q, v = p F v = Q p p. 10,, 2 3. p. p, 0 p 1 p. p,, p.. p Q p. Z p. n 1 p n., n. p, p,, p Q p p 4 [ ], [ ], [ - - ]. 6
7 . F v p, F v Q p. p. v F v R C. F, O F F. F, F v O Fv F v. v p, O Fv Z p. O Fv F v k v. G Fv G kv ( v G kv = 1 ). I Fv G Fv. F v, I Fv = G Fv. F S, v S I F,v G F ( ) G F G F,S. v S, G Fv G F G F,S G Fv /I F,v = Gk.v. G kv G F,S Frob kv G kv Frob v. 5. Galois,. 5 C (1) Obj(C), (2) Obj(C) X, Y Hom C (X, Y ), (3) Obj(C) X id X Hom C (X, X), (4) Obj(C) X, Y, Z (5.1) Hom C (X, Y ) Hom C (Y, Z) Hom C (X, Z).. Obj(C) C, Hom C (X, Y ) X Y.,. f Hom C (X, Y ) f : X Y. (5.1), 2,, 2,. f : X Y g : Y Z g f : X Z.,., G, (1) Obj(C) = {X}, (2) Hom C (X, X) = G, (3) id X = 1, (4) Hom C (X, X) Hom C (X, X) = G G G = Hom C (X, X) 4.. C f Hom C (X, Y ), g Hom C (Y, X), f g = id Y, g f = id X.. C X, Y, Hom C (X, Y ) Isom C (X, Y ). X = Y, Hom C (X, X) = End C (X), Isom C (X, X) = Aut C (X). Hom C, End C C Hom, End. G C X G Aut C (X).,. Obj(C), Hom C (X, Y ) X Y, (5.1). Obj(C), Hom C (X, Y ) X Y, (5.1).,,.,,,.,. X, Y, Hom(X, Y ). X End(X). R, X, R End(X) (X, R End(X)) ( ) R. (X, R End(X)) X. X = R, a R x ax X X R End(X), X = R R 5 [ ], [ ]. 7
8 . X, Y R, X Y R. X X = X 2, X 2 X = X 3,..., n 0 X n. X 0 = {0}. X, Y R, f : X Y, R End(X) End(Y ) Hom(X, Y ) X Y R. R R, R. X Y R Hom R (X, Y ). Hom(X, Y ). R, Hom R (X, Y ) R. n 0. R X, n R, R n X R. K, K, R K, X, Y K, X Y K X Y K. n K n K. 6. Galois G, X G ρ : G Aut(X) (X, ρ) G. (X, ρ) X ρ. R, R X G G Aut(X) R[G] G R. K, Galois G K, ( ) R ( ) K R Galois., K R Galois (X, ρ : G K Aut(X)), X R n R, ρ K R n Galois. l, K, l Galois K mod l Galois. F, v F. F v R M G Fv Aut R (M) G Fv G kv. F R M v, M G Fv. S F, M S v S M. M S G F End R (M) G F G F,S. F, K l, V F K n Galois. v F, I F,v V I F,v = {x V σ(x) = x, σ I F,v } F v K n Galois. F v q v. l F w V F w de Rham., V L s L(V, s) Euler L(V, s) = v det(1 Frob v q s v ; V I F,v ) 1 w l L w (V, s). v F l. L w (V, s). Galois V, Euler s ( ), s. Galois V L(V, s),,, L(V, s) L. 8
9 7. H = {x + 1y x, y R, y > 0}.. ( Γ ) SL 2 (Z) a b. k 0, H f, Γ c d f((az + b)/(cz + d)) = (cz + d) 2k f(z),, Γ k. Γ k f S k (Γ). C. Γ, Γ SL 2 (Z) Γ Γ, S k (Γ) S k (Γ ). N 1. {( ) } a b Γ 1 (N) = SL 2 (Z) N c, N (d 1) c d ( N c c N,. N (d 1) ). SL 2 (Z). k 0, f S k (Γ 1 (N)). f(z + 1) = f(z), f(z) = n 1 a n(f)q n. q = e 2π 1z, n a n (f) C. f q. C R, Γ 1 (N) k f, q f(z) = n 1 a n(f)q n, n 1 a n (f) R S k (Γ 1 (N), R). R. f S k (Γ 1 (N), R). N p, H T p f p 1 (T p f)(z) = f(pz) + f((z + i)/p), T p f S k (Γ 1 (N), R). d (Z/NZ), γ = c mod n = 0, d mod n = d, H d f i=0 ( a c ) b SL 2 (Z) d ( d f)(z) = (cz + d) 2k f((az + b)/(cz + d)), d f d, S k (Γ 1 (N), R). T p (p N ) d (d (Z/NZ) ) End(S k (Γ 1 (N), Z)) Hecke.. S k (Γ 1 (N), C) N, k,. f(x) 3 f(x) = 0. E, y 2 = f(x) Q. {(x, y) x, y {0, 1,..., p 1}, y 2 f(x) p }.. p a p (E). E f(x), a p (E) f(x), f(x) a p (E) p Wiles [W], Taylor-Wiles [TW], [BCDT]. 9
10 7.1. E Q. N 1 6, N, 2 f = a n (f)q n, p, a p (f) = a p (E). 8. Galois N, k 1, f = n 1 a n(f)q n S k (Γ 1 (N), C) N, k. K(f), a n (f) C. K(f). K(f) λ, O f,λ K(f) λ. f Q O f,λ Galois (V f,λ, ρ f,λ : G Q Aut(V f,λ )). Galois (1) V f,λ 2 Galois, O f,λ V f,λ 2 O f,λ. (2) S f N, (V f,λ, ρ f,λ ) S. (3) p S, Frob p V f,λ V f,λ a p (f). f Galois V f,λ k = 2 Eichler [E] - [Sh1], k 2 [Sh2], Deligne [De], k = 1 Deligne-Serre [DS]. Deligne k 2. Riemann Γ 1 (N)\H...,. [ C, C op. C., Obj(C op ) = Obj(C), Hom C op(x, Y ) = Hom C (Y, X). C, C 2. C C, (1) Obj(C) X Obj(C ) F (X), (2) Obj(C) X, Y F : Hom C (X, Y ) Hom C (F (X), F (Y )) 2.. g f F (g) F (f) = F (g f). C C F F : C C. C op C C C. G F (G) = G, f : G G F (f) = f, F. C, X 0 C, C X F (X) = Hom C (X 0, X), C f : X Y g : X 0 X f g : X 0 Y Hom C (X 0, X) Hom C (X 0, Y ), C. h X0. C C 2 F, F, Obj(C) X F (X) F (X), C f : X Y F (X) F (Y ) F (X) F (Y ). 2 C, C, F : C C F : C C F F C, F F C.,, {0}, {0, 1}, {0, 1, 2},..., 6 N E NE. 10
11 .,. C F, C X, F h X. X. C, C, F : C C. F : C C F, C X, C Y Hom C (X, F (Y )) = Hom C (F (X), Y ),. C op C 2. F. F : C C F, C X, C Y Hom C (F (X), Y ) = Hom C (X, F (Y )),. F. R, R, R R. R (M, R End(M)), R R End(M) R. R R.. R M R R M. R R M,. R R n, R n. R, R R R M M R R..,,. 7. R, Spec R. S, X f : X S (X, f) S. (X, f) X., f(x) 3 f(x) = 0 y 2 = f(x) Q. S, S. S = Spec Q, Spec Q Q., S, S E, S S E (E, S E). (E, S E) S E S E. S, S. S E. (E, S E) S. S T, S T E E(T ). E(T ). N 1. N S, S E E(S) x, (1) x N, (2) 1 N < N S S x E(S ) N, (E, x) N. N 5. N Y 1 (N). Y 1 (N)(C) = Γ 1 (N)\H. f : E univ Y 1 (N). Y 1 (N) X 1 (N). S k (Γ 1 (N)) X 1 (N) Spec C. l, k 2, Y 1 (N) Z[1/Nl] l Sym k 2 (R 1 f Q l ). X 1 (N) Q V 1 (N) Hecke T G Q. 7 [ ], [ ]. 11
12 N, k 1, f = n 1 a n(f)q n S k (Γ 1 (N)) N, k, λ l K(f). Hecke V f,λ,q = Hom T K(f) (K(f)f, V 1 (N) Ql K(f) λ ) = Q K(f) λ 2 Galois. K(f) λ ι : V f,λ,q K(f) 2 λ, ι 1 (O 2 f,λ ) Q O f,λ 2 Galois. Galois (V f,λ, ρ f,λ ). k f,λ O f,λ. V f,λ Of,λ k f,λ G Q k f,λ 2 Galois. Galois ρ f,λ. 8.1(3),. Hecke T p, Frob p,,. 8.1(3), Galois V f,λ L L(V f,λ, s), f L L(f, s), Nl Euler,. L(V f,λ, s) L(f, s), Nl Euler E Q. n 1, E[n] Q Z/nZ 2 Galois (E[n], ρ E,n ). l, E[l n ] Q Z l 2 Galois (T l E, ρ E,l ), E l Tate. - ( 7.1) E. f E N, 2., K(f) = Q. T l E Zl Q l V f,l Zl Q l. K l, O. (V, ρ : G Q Aut(V )) Q O 2 Galois. ρ, k 1, N 1, k, N f, K(f) λ, ( ) O f,λ O, V O K G Q K V f,λ Of,λ K. κ K. (V, ρ : G Q Aut(V )) Q κ 2 Galois. ρ, k 1, N 1, k, N f, K(f) λ, ( ) O f,λ O, V O k G Q κ ρ f,λ F O κ 2 Galois. F, F C R. Serre [Se2] : 9.2. κ, S. (V, ρ : G Q Aut(V )) Q κ 2 Galois, : (1) ρ, (2) ρ S, (3) c G Q det(ρ(c)) = 1, ρ. Serre 9.2 (1) (3) ρ, k(ρ), N(ρ), κ. S. (V, ρ : G Q Aut(V )) Q κ Galois, 9.2 (1), (2), (3). N(ρ), k(ρ) f, K(f) λ, O f,λ κ, ρ V f,λ Of,λ κ. Ribet [R] Jacobian Neron Mazur, 2, N f, N p, N K(f) λ, ρ f,λ p, ρ f,λ = ρf,λ N/p 8 k(ρ), N(ρ), Serre ε : (Z/N(ρ)Z) C,. 12
13 f K(f ) λ., ρ, ρ 9.2 ρ 9.3..,, ρ, ρ 9.2 ρ , Khare Wintenbeger ([KW1], [KW2])., Fermat - Ribet. - ( 7.1) 1.1. l, a l + b l = c l (1) 1.1, Frey E a,b. - E a,b E a,b. Q F l Galois E a,b [l] ρ, ρ. ρ Ribet, 9.3 ρ. N(ρ) 1 2, k(ρ) , 2. S 2 (Γ 1 (1)) = S 2 (Γ 1 (2)) = {0} , - ( 7.1). (MLT), Langlands-Tunnell, (3, 5) trick 3. MLT R = T. MLT, ρ E,l ρ E,l G Q( l ) ( l = ( 1) l 1 2 l) ρ E,l., Kisin [Ki1] MLT ( 14.1). Langlands-Tunnell, ρ E,3,. MLT, ρ E,3 G Q( 3) E. ρ E,3 G Q( 3),, E, ρ E,5 G Q( 5). E E, ρ E,5 G Q( 5) E. MLT, ρ E,5 E. (3, 5) trick, Q E ρ E,5 = ρe,5 ρ E,3 G Q( 3). E, ρ E, Langlands R = T Langlands. Langlands.. 9., A A Q, R A f. Q A. F, A F = A Q F, F. A F, F A F. A F A F F.., F F \A F 1 G F 1. G F.. A F F. G(F )\G(A F ) C G(A F ) 9 [ - - ], [ ]. 13
14 . G(A F ) C, G(A F ) C. G(A F ) C G(A F ). Langlands G(A F ) F Galois. C Lie Dynkin, Q C,. 4 (X, Φ, X, Φ ). (X, Φ, X, Φ ), (X, Φ, X, Φ). (X, Φ, X, Φ ). F p. F Weil. G F, W F G F.,. G F. G F F (X, Φ, X, Φ ). Ĝ (X, Φ, X, Φ) C. Ĝ G F. W F W F Ĝ. Ĝ(C) W F L G, G L. 10 F, n 1, GL n,f F., GL n,f L GL n (C) W F. Langlands, W F L F. F L F F Langlands. F p L F F Weil-Deligne. F p L F W F, F L F, L F, L F. L F W F. F, G(A F ) A(G). F p, G(F ) A(G). Langlands, A(G) ( ), L F L G, L F W F. L G,. Langlands, G, H F, L H L G, W F L H L G W F, A(H) A(G). 1 1,.,. Langlands, Jacquet-Langlands. p F GL n, inner form F ( L GL n W F ), F /F, χ : G F Q/Z, G F = {σ G F χ(σ) = 0} F F, F 2 GL n,f Res F /F GL 11 n,f. 10 H G, G H GoH : (1) GoH = G H, (2) H G α : H Aut(G), G o H (g 1, h 1 )(g 2, h 2 ) = (g 1 α(h 1 )(g 2 ), h 1 h 2 ). 11 ResF /F Weil. 14 W F
15 12. GL 2 (A) Γ 1 (N) SL 2 (Z), GL 2 (A f ) K 1 (N), K 1 (N) SL 2 (Q) = Γ 1 (N).. GL 2 (A),. GL 2 (A).,., GL 2 (A) = GL 2 (Q)GL 2 (R) + K 1 (N). GL 2 (R) + = {g GL 2 (R) det(g) > 0}. GL 2 (A f ) (C \ R). GL 2 (Q), γ GL 2 (Q), g GL 2 (A F ), z C \ R, γ (g, z) = (γg, az+b cz+d ). GL 2(A f ) (C \ R) C f, 3 (1) g GL 2 (A f ) C \ R z f(g, z) z, (2) K GL 2 (A f ), ( ) (g, z) GL 2 (A f ) (C \ R), h K f(gh, z) = f(g, a b z), (3) γ = GL 2 (Q), (g, z) GL 2 (A f ) (C \ R) c d f(γ (g, z)) = (cz + d) k f(g, z), A 0 (k), A 0 (k) GL 2 (A f ). f S k (Γ), GL 2 (A f ( ) (C ) \ R) C f, (g, z) GL 2 (A f ) (C \ R), (g, z) = γ (h, z ) a b γ = GL 2 (Q), h K 1 (N), z H, f(g, h) = det(γ) k 2 (cz + d) k f(z ) c d, well-defined, f A 0 (k). f f C- S k (Γ 1 (N)) A 0 (k), S k (Γ 1 (N)) A 0 (k) K 1 (N)- A 0 (k) K. f A 0 (k), GL 2 (A) C φ ef, g GL 2 (A f ), h = φ ef (gh) = det(h) k 2 (c 1 + d) k f ( a c ( g, a ) 1 + b c 1 + d ) b GL 2 (R) d, well-defined, φ ef GL 2 (Q)\GL 2 (A). f φ ef A 0 (k) GL 2 (A). G H, Ind, G H, G H. Z H. Z, H H Aut(Z) = {±1} h H 1. End(IndZ). X G, X H X H = {x X h(x) = x, h H} End(IndZ). X X H, End(IndZ), G 1 1. G = GL 2 (A f ), H = K 1 (N), S k (Γ 1 (N)) G A 0 (k) H, End(IndZ). 7 Hecke End(IndZ) End C (S k (Γ 1 (N))). 13. f Galois V f,λ, l, Galois. 15
16 ,, Q G R h : S G Q R (G, h),. S Deligne R., h. [HT] Kottwitz, Galois., Lefschetz Selberg, Selberg. [I], Langlands [L].,. Ngo., Galois. 14. MLT R = T, (MLT). MLT. F. K l, O K, κ K. ρ F O 2 Galois, ρ = ρ O κ. MLT, ρ, ρ ρ,. Taylor-Wiles [TW], Wiles [W]. Wiles F = Q, ρ. MLT,. MLT, [Ki1] F = Q, l > 2, ρ, ρ : (1) ρ Q( ( 1) l 1 2 l), (2) ρ, (3) ρ G Ql Barsotti-Tate, 12. ρ ρ. Khare-Wintenberger Serre l = 2. (3), ρ ρ O K = ρ f,λ Of,λ K f 2, Serre f ρ MLT. ρ f. F Q Galois Gal(F/Q) := G Q /G F., ρ, ρ G F. F G F, 2 : (1) l ρ, l ρ. (2) Skinner-Wiles f ρ F, ρ F, MLT R = T. 15. Galois R = T R Galois ρ. Galois Mazur, Galois R. Mazur R, R T. R = T Wiles Taylor-Wiles 12 Ql K ρ, K Barsotti-Tate Galois. Barsotti-Tate, l p, Barsotti-Tate p. 16
17 , R T, Mazur. Galois, Galois.,.,,.,,, S S. Galois Galois. Galois,, K l, O K, κ K., Artin O κ AR. F. (V, ρ) F κ 2 Galois. AR A, F A 2 Galois (W, ρ) G F W A κ = V. ρ ( ). R. F. κ V = κ 2, ρ G F GL 2 (κ). AR A, G F GL 2 (A) GL 2 (A) GL 2 (κ) ρ. ρ. R., AR A, F A Galois (W, ρ) G F W A κ = V A W = A 2, W A κ = κ 2 W A κ = V = κ, 3. F, S F l. ρ F κ Galois, l F. Σ S l., v S \ Σ, (1 q v )((1 + q v ) 2 det ρ(frob v ) q v (trρ(frob v )) 2 ) κ. Σ. AR A, S F A 2 Galois (W, ρ) G F W A κ = V, v Σ A W = A 2, W A κ = κ 2 W A κ = V = κ. ρ. RF,S.. A Obj(AR) 2 Galois (W, ρ) det ρ O ψ. ψ R ψ, R,ψ, R,ψ F,S.. Galois. G G M, i H i (G, M). i, M H i (G, M) G. H G,
18 H i (G, M) H i (H, M).,. 14,. f 2 f 1 f 0 f 1 M 1 M0 M1, n Im f n 1 = Kerf n.. 0 M m M n 0, M m,..., M n, n i=m ( M i) ( 1)i = 1. F Galois G F G F,S, v S F G Fv. G, G. G, G X G G\X G\X. Galois, G F X G Fv X,, H i (F, X), H i (F v, X). G F,S X Galois H i (G F,S, X). 15 M = {x End κ (V ) tr(x) = 0}. ρ, v S L v H 1 (F v, M), R F,S O Galois [ (15.1) Ker H 1 (G F,S, M) ] H 1 (F v, M)/L v v S. G F,S M, (15.1) M Selmer. (15.1).,. 16, 3,.. K p. M G K,. i 3 H i (K, M) = 0. i = 0, 1, 2, H i (K, M). Q/Z(1) 1 G K. Brauer H 2 (K, Q/Z(1)) Q/Z, M (1) = Hom(M, Q/Z(1)). Hom G K, M (1) G K., H i (K, M (1)) Hom(H 2 i (K, M), Q/Z).. Tate-Poitou. F, S F. M G F,S,, M F S., i H i (G F,S, M), 0 H 0 (G F,S, M) v S H0 (F v, M) H 2 (G F,S, M (1)) H 1 (G F,S, M) v S H1 (F v, M) H 1 (G F,S, M (1)) H 2 (G F,S, M) v S H2 (F v, M) H 0 (G F,S, M (1)) 0 14, [ ]. 15, Galois. 16, [NSW]. 18
19 . A A = Hom(A, Q/Z). Tate-Poitou. 16. R = T Mazur R, R.,, R T,. Wiles [W] Taylor-Wiles [TW], R T, -., Diamond [Di], [Fu] Taylor-Wiles, T Taylor-Wiles. [Fu] 2 Galois Wiles, Taylor-Wiles. R = T Kisin [Ki1]. R = T. F. R, F Galois ρ., R R F,S, R F,S,, R. R = T T Hecke. R N, 2 f Galois ρ f,λ ( ), T Hecke End(S 2 (Γ 1 (N), Z)) ρ f,λ. T, F 4 F G., Diamond [Di], [Fu] Taylor-Wiles, T. G, G(F R), G(A F ), T. G T Jacquet-Langlands ρ, F F Galois. F T Galois, R R T. T Galois, l. F 4 F G. R T ( ). R T 2., T ρ, R = T Langlands,., Hecke T L, Bloch-, R Galois Selmer Galois L, R T. R T ( ), Taylor-Wiles. Kisin [Ki1], Taylor-Wiles, Wiles [W], R = T. [Ki1],, GL 2, 19
20 , GL 2 R = T., -Tate. Taylor-Wiles. Spec R. R T,, R, T, R T., R. R, Selmer. Bloch-, Selmer Galois L. R, L. Tate-Poitou. 17 Taylor-Wiles, R, T, R T,, Spec R,, R T., Taylor-Wiles O, Kisin [Ki1], R Σ,. Kisin R = T,,., l, l. Breuil [Br],, Frobenius. ρ. Galois. ρ l F Galois. l p. G G G G, S G G S G G, S. p p Dieudonne., p p Fontaine Breuil [Br]. p p Galois, ρ f,λ., 2, p, p. p Fontaine. Wiles [W] Fontaine-Laffaille [FL]. Fontaine p Hodge. Fontaine Q p Galois, p Galois, 2 R = T., Fontaine (ϕ, Γ) [Fo], p Galois, p Langlands. 17 mod l ρ. 20
21 Serre R = T Serre -Tate. 18 Serre. 9.3., Khare-Wintenberger.. 2 (A), (B). (A) MLT. Khare-Wintenberger Kisin [Ki1] MLT ( 14.1), 2 l + 1 ( 14.1 ) MLT l 2, ρ l = 2 MLT, Kisin [Ki2] l = 2 MLT. (B), ( ) mod l compatible system,., Khare-Wintenberger [KW2]. Böckle [Bö] Taylor [T2], ρ O Galois ρ. ρ, Taylor, Q Galois F, ρ G F. Carayol [Ca], Taylor [T1], [Sa], Kisin [Ki5] Hilbert l Langlands,, ρ G F compatible system. Brauer ρ compatible system. (A), (B) 9.2. ρ. (B), ρ compatible system. l, compatible system mod l mod l. l, l.. (B), (B),.., (A). (A) p p Galois p Hodge.,,. Khare-Wintenberger MLT, [Ki3] [Ki4],,, Serre Tate E Q. E y 2 = f(x), Λ C, p, a p. a p 2 p < a p < 2 p. {x C xλ Λ} Z E. E,. -Tate E.. {( x SU(2) = y ) y x, y C, x 2 + y 2 = 1} x 18 R = T Fontaine-Mazur, Artin, GL2 type. 21
22 . x, y x, y. SL 2 (C). SU(2) Haar, SU(2). M 2 (C) C α : SU(2) [ 2, 2] E Q., I = [a, b] [ 2, 2],,. a p, a p / p I N lim N N α 1 (I) SU(2) = 1 2π b a 4 t2 dt K E, E j j(e) K. E y 2 = x 3 +Ax 2 +Bx+C, j(e) = 32(A 2 3B) 3 /(4A 3 C A 2 B 2 18ABC +4B 3 +27C 2 ). Harris-Shepherd-Barron-Taylor [HSBT], Taylor [T3] E Q, j(e). ( E ) E. -Tate Serre L ([ ] ): E Q. l, V Q Q l 2 Galois T l E Zp Q p., n 1, Q Q l n + 1 Galois Sym n V L L(Sym n V, s) Re(s) 1 + n/2,, E F CM, (1) F R, (2) F F +, F + [F : F + ] = 2,. F + F. F ( CM ). [CHT] GL n (A F ) RAESDC ( RACSDC ). GL n (A F ) RAESDC ( RACSDC ) π = v π v, v π v 2, F Q l n Galois ρ π F l n Galois ρ π, 13 Clozel [Cl], [CL], Harris-Taylor [HT]. ρ F Q l n Galois. ρ, GL n (A F ) RAESDC ( RACSDC ) π (, v π v 2 ), ρ ρ π. F F l n Galois ρ. Harris-Shepherd-Barron-Taylor [HSBT], ( Brauer C, ) E Q, j(e), l, n. F, Q Galois, m n, Sym m T l E G F. [CHT] R = T Kisin [Ki1], Taylor [T3] MLT. 22
23 18.5. F CM, n 1, l > n F/Q, ρ F Q l n Galois ESD: ρ σ = ρ ɛ 1 n, RAM: ρ. FL: l F, ρ G Fv Fontaine-Laffaille [FL], Hodge-Tate 1. DS: l, F v, ρ v Frobenius,., ρ mod l ρ, ρ, ρ., Galois MLT F, n 1, l > n F/Q l, ρ F Q l n Galois ESD: G F χ, χ G Fv F, ρ σ = ρ ɛ 1 n, RAM: ρ. FL: l F v, ρ G Fv Fontaine-Laffaille [FL], Hodge-Tate 1. DS: l, F v, ρ v Frobenius,.., ρ mod l ρ, ρ ρ Kisin [Ki1],, G(F + Q R) F + G, Hecke, R = T T G(F + Q R), Taylor-Wiles T. R T, T Galois. T 1. T, Kottwitz,, T, F Galois. Galois ([CHT, Chapter 1]), T Galois. R R T. Kisin [Ki1] Taylor-Wiles R = T, 18.5., Q Galois F l, m n Q Galois Sym m ρ E,l F,, 18.4, (3, 5)., F, Moret-Baily [MB]... 23
24 19.,. 19 References, [Bö] Böckle, G.: A local-global principle for deformations, J. Reine Angew. Math. 509, (1999) [Br] Breuil, C.: Groupes p-divisibles, groupes finis et modules filtrés, Ann. of Math. 152, (2000) [BCDT] Breuil, C., Conrad, B., Diamond, F., Taylor, R.: On the modularity of elliptic curves over Q: wild 3-adic [Ca] exercises, J. Amer. Math. Soc. 14, (2001) Carayol, H.: Sur les représentations p-adiques associées aux formes modulaires de Hilbert, Ann. Sci. École Norm. Sup. 19, (1986) [Cl] Clozel, L.: On the cohomology of Kottwitz s arithmetic varieties, Duke Math. J. 72, (1993) [Co] [CHT] [CL] Colmez, P.: Sur la correspondence de Langlands p-adique pour GL 2 (Q p ), preprint Clozel, L., Harris, M., Taylor, R.: Automorphy for some l-adic lifts of automorphic modl Galois representations, preprint (2006) Clozel, L., Labesse, J.-P.: Changement de base pour les représentations cohomologiques des certaines groupes unitaires; appendix to Cohomologie, stabilizations et changement de base, Astérisque 257 (1999) [De] Deligne, P.; Formes modulaires et représentations l-adiques, Semin. Bourbaki 1968/69, no. 355, (1971) [Di] Diamond, F.: Taylor-Wiles construction and multiplicity one, Invent. Math. 128, (1997) [DDT] Darmon, H., Diamond, F., Taylor, R.: Fermat s last theorem, in R. Bott, A. Jaffe, S. T. Yau (ed.): Current developments in Mathematics, 1995, International Press (1995) [DS] Deligne, P., Serre, J.-P.: Formes modulaires de poids 1, Ann. Sci. École Norm. Sup. 7, (1974) [DT] Diamond, F., Taylor, R.: Nonoptimal levels of mod l modular representations, Invent. Math. 115, (1994) [E] Eichler, M.: Quaternäre quadratische Formen und die Riemannsche Vermutung für die Kongruenzzetafunktion, Arch. Math. 5, (1954) [Fo] Fontaine, J.-M.: Representations p-adiques des corps locaux, Grothendieck Feshschrift II, Progress in Math. 87, [Fr] (1991) Frey, G.: Links between stable elliptic curves and certain Diophantine equations, Ann. Univ. Sarav. Ser. Math. 1, no. 1, 1 40 (1986) [Fu] Fujiwara, K.: Deformation rngs and Hecke rings in totally real case, preprint (1997) [FL] Fontaine, J.-M., Laffaille, G.: Construction de représentations p-adiques, Ann. Sci. École Norm. Sup. 15, [HSBT] (1982) Harris, M., Shepherd-Barron, N., Taylor, R.: A family of Calabi-Yau varieties and potential automorphy, preprint (2006) [HT] Harris, M., Taylor, R.: The geometry and cohomology of some simple Shimura varieties, Ann. Math. Stud. 151, Princeton University Press, Princeton, NJ (2001) [I] Ihara, Y.: Hecke Polynomials as congruence ζ functions in elliptic modular case, Ann. Math. (2) 85, [Ki1] [Ki2] [Ki3] [Ki4] [Ki5] (1967) Kisin, M.: Moduli of finite flat group schemes and modularity, preprint Kisin, M.: Modularity of 2-adic Barsotti-Tate representations, preprint Kisin, M.: Modularity for some geometric Galois representations, preprint Kisin, M.: The Fontaine-Mazur conjecture for GL 2, preprint Kisin, M.: Potentially semi-stable deformation rings, preprint [KW1] Khare, C., Wintenberger, J.-P.: Serre s modularity conjecture: The case of odd conductor (I), preprint (2006) [KW2] Khare, C., Wintenberger, J.-P.: Serre s modularity conjecture: The case of odd conductor (II), preprint (2006) [Ma] Mazur, B.: Deforming Galois representations, in Y. Ihara, K. Ribet, J.-P. Serre (ed.): Galois group over Q, MSRI Publications 16, Springer Verlag (1989) 19,.. 24
25 [MB] Moret-Bailly, L.: Groupes de Picard et problèmes de Skolem, II, Ann. Sci. École Norm. Sup. 22, (1989) [L] Langlands, R. P.: Modular forms and l-adic representations, in Modular functions of one variable II, Proc. internat. Summer School, Univ. Antwerp, 1972, Lect. Notes Math. 349, Springer-Verlag, Berlin-Heidelberg- New York (1973) [R] Ribet, K.: On modular representations of Gal(Q/Q) arising from modular forms. Invent. Math. 100, [Sa] (1990) Saito, T.: Hilbert modular forms and p-adic Hodge theory, preprint [Se1] Serre, J.-P.: Points d order fini des courbes elliptiques, Invent. Math. 15, (1972) [Se2] Serre, J.-P.: Sur les representations modulaires de degré 2 de Gal(Q/Q), Duke Math. J. 54, (1987) [Sh1] Shimura, G.: Correspondances modulaires et les fonctions ζ de courbes algébriques, J. Math. Soc. Japan 10, [Sh2] 1 28 (1958) Shimura, G.: An l-adic method in the theory of automorphic forms, the text of a lecture at the conference Automorphic functions for arithmetically defined groups, Oberwolfach, Germany, July 28-August 3, 1968, in Collected Papers Vol. II, [T1] Taylor, R.: Galois representations associated to Siegel modular forms of low weight, Duke Math. J. 63, (1991) [T2] Taylor, R.: On the meromorphic continuation of degree 2 L-functions, preprint (2001) [T3] Taylor, R.: Automorphy for some l-adic lifts of automorphic modl Galois representations II, preprint (2006) [TW] Taylor, R., Wiles, A.: Ring theoretic properties of certain Hecke algebras, Ann. of Math. 141, (1995) [W] Wiles, A.: Modular elliptic curves and Fermat s last theorem, Ann. of Math. 141, (1995) [Book] ( ) Cornell, G., Silverman, J. H., Stevens, G. (ed.): Modular forms and Fermat s last theorem, [NSW] Neukirch, J., Schmidt, A., Wingberg, K.: Cohomology of number fields, Grundlehren der mathematischen Wissenschaften 323. Springer-Verlag, Berlin Heiderberg (2000) ( ) [ ] I, II,. (1976, 1977) [ - - ],, : 2, 10. (2000) [ ], N.: (, ). (2006) [ ] : Fermat 1, 11. (2000) [ ] J. H. :, ( ). (2003) [ - ] J. H., J. : (,,, ). (1995) [ ] J.-P. : l ( ), (1999) [ ] : 2. (1971) [ ] J. : (, ). (2003) [ ] R. : (, ). (2004, 2005) [ - - ],, :. (2004) [ ], S.: ( ). (2005) [ ], D.: ( ). (2006) [ ], (2007) 25
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 informationwiles05.dvi
Andrew Wiles 1953, 20 Fermat.. Fermat 10,. 1 Wiles. 19 20., Fermat 1. (Fermat). p 3 x p + y p =1 xy 0 x, y 2., n- t n =1 ζ n Q Q(ζ n ). Q F,., F = Q( 5) 6=2 3 = (1 + 5)(1 5) 2. Kummer Q(ζ p ), p Fermat
More informationk + (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 information2.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( ),, ( [Ka93b],[FK06]).,. p Galois L, Langlands p p Galois (, ) p., Breuil, Colmez([Co10]), Q p Galois G Qp 2 p ( ) GL 2 (Q p ) p Banach ( ) (GL 2 (Q
2017 : msjmeeting-2017sep-00f006 p Langlands ( ) 1. Q, Q p Q Galois G Q p (p Galois ). p Galois ( p Galois ), L Selmer Tate-Shafarevich, Galois. Dirichlet ( Dedekind s = 0 ) Birch-Swinnerton-Dyer ( L s
More information( ) 1., ([SU] ): F K k., Z p -, (cf. [Iw2], [Iw3], [Iw6]). K F F/K Z p - k /k., Weil., K., K F F p- ( 4.1).,, Z p -,., Weil..,,. Weil., F, F projectiv
( ) 1 ([SU] ): F K k Z p - (cf [Iw2] [Iw3] [Iw6]) K F F/K Z p - k /k Weil K K F F p- ( 41) Z p - Weil Weil F F projective smooth C C Jac(C)/F ( ) : 2 3 4 5 Tate Weil 6 7 Z p - 2 [Iw1] 2 21 K k k 1 k K
More informationQ p G Qp Q G Q p Ramanujan 12 q- (q) : (q) = q n=1 (1 qn ) 24 S 12 (SL 2 (Z))., p (ordinary) (, q- p a p ( ) p ). p = 11 a p ( ) p. p 11 p a p
.,.,.,..,, 1.. Contents 1. 1 1.1. 2 1.2. 3 1.3. 4 1.4. Eisenstein 5 1.5. 7 2. 9 2.1. e p 9 2.2. p 11 2.3. 15 2.4. 16 2.5. 18 3. 19 3.1. ( ) 19 3.2. 22 4. 23 1. p., Q Q p Q Q p Q C.,. 1. 1 Q p G Qp Q G
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
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 informationSAMA- 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 information1. Γ, R 2,, M R. M R. M M Map(M, M) 3, Aut R (M). ρ : Γ Aut R (M) Γ. M R n, R, R ρ : Γ Aut R (M) GL n (R) := {g M n (R) det(g) R } 4. ρ Γ R R M.,,.,,
I ( ) (i) l, l, l (ii) (Q p ) l, l, l (iii) Artin (iv). (i),(ii). (iii) 1. (iv),.. [9]. [4] L-,.. Contents 1. 2 2. 4 2.1. 4 2.2. l 5 2.3. l 9 2.4. l 10 2.5. 12 2.6. Artin 13 3. 15 3.1. l, l, l 15 3.2.
More information1
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非可換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 informationSiegel 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.5.1. G K O E, O E T, G K Aut OE (T ) (T, ρ). ρ, (T, ρ) T. Aut OE (T ), En OE (F ) p..5.. G K E, E V, G K GL E (V ) (V, ρ). ρ, (V, ρ) V. GL E (V ), En
p 1. 1.1., 01 8 3, 57,,.. 1.., Gal(Q p /Q p ), 1. Wach,,. 1.3. Part I,,. Part II, Part III. 1.4.., Paé. Part 1. p.. p p.1. p Q p p (Q p p )... E Q p, E p Z p E, O E. O E E. E Q p, O E. v p : E Q Q E, v
More informationSiegel 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 information2 Riemann Im(s) > 0 ζ(s) s R(s) = 2 Riemann [Riemann]) ζ(s) ζ(2) = π2 6 *3 Kummer s = 2n, n N ζ( 2) = 2 2, ζ( 4) =.3 2 3, ζ( 6) = ζ( 8)
(Florian Sprung) p 2 p * 9 3 p ζ Mazur Wiles 4 5 6 2 3 5 2006 http://www.icm2006.org/video/ eighth session [ ] Coates [Coates] 2 735 Euler n n 2 = p p 2 p 2 = π2 6 859 Riemann ζ(s) = n n s = p p s s ζ(s)
More information0. 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 informationZ[i] Z[i] π 4,1 (x) π 4,3 (x) 1 x (x ) 2 log x π m,a (x) 1 x ϕ(m) log x 1.1 ( ). π(x) x (a, m) = 1 π m,a (x) x modm a 1 π m,a (x) 1 ϕ(m) π(x)
3 3 22 Z[i] Z[i] π 4, (x) π 4,3 (x) x (x ) 2 log x π m,a (x) x ϕ(m) log x. ( ). π(x) x (a, m) = π m,a (x) x modm a π m,a (x) ϕ(m) π(x) ϕ(m) x log x ϕ(m) m f(x) g(x) (x α) lim f(x)/g(x) = x α mod m (a,
More informationI. (CREMONA ) : Cremona [C],., modular form f E f. 1., modular X H 1 (X, Q). modular symbol M-symbol, ( ) modular symbol., notation. H = { z = x
I. (CREMONA ) : Cremona [C],., modular form f E f. 1., modular X H 1 (X, Q). modular symbol M-symbol, ( ). 1.1. modular symbol., notation. H = z = x iy C y > 0, cusp H = H Q., Γ = PSL 2 (Z), G Γ [Γ : G]
More information1.2 (Kleppe, cf. [6]). C S 3 P 3 3 S 3. χ(p 3, I C (3)) 1 C, C P 3 ( ) 3 S 3( S 3 S 3 ). V 3 del Pezzo (cf. 2.1), S V, del Pezzo 1.1, V 3 del Pe
3 del Pezzo (Hirokazu Nasu) 1 [10]. 3 V C C, V Hilbert scheme Hilb V [C]. C V C S V S. C S S V, C V. Hilbert schemes Hilb V Hilb S [S] [C] ( χ(s, N S/V ) χ(c, N C/S )), Hilb V [C] (generically non-reduced)
More information平成 30 年度 ( 第 40 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 30 ~8 年月 72 月日開催 30 日 [6] 1 4 A 1 A 2 A 3 l P 3 P 2 P 1 B 1 B 2 B 3 m 1 l 3 A 1, A 2, A 3 m 3 B 1,
[6] 1 4 A 1 A 2 A 3 l P 3 P 2 P 1 B 1 B 2 B 3 m 1 l 3 A 1, A 2, A 3 m 3 B 1, B 2, B 3 A i 1 B i+1 A i+1 B i 1 P i i = 1, 2, 3 3 3 P 1, P 2, P 3 1 *1 19 3 27 B 2 P m l (*) l P P l m m 1 P l m + m *1 A N
More information日本数学会・2011年度年会(早稲田大学)・総合講演
日本数学会 2011 年度年会 ( 早稲田大学 ) 総合講演 2011 年度日本数学会春季賞受賞記念講演 MSJMEETING-2011-0 ( ) 1. p>0 p C ( ) p p 0 smooth l (l p ) p p André, Christol, Mebkhout, Kedlaya K 0 O K K k O K k p>0 K K : K R 0 p = p 1 Γ := K k
More informationK 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 information17 Θ Hodge Θ Hodge Kummer Hodge Hodge
Teichmüller ( ) 2015 11 0 3 1 4 2 6 3 Teichmüller 8 4 Diophantus 11 5 13 6 15 7 19 8 21 9 25 10 28 11 31 12 34 13 36 14 41 15 43 16 47 1 17 Θ 50 18 55 19 57 20 Hodge 59 21 63 22 67 23 Θ Hodge 69 24 Kummer
More information62 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( ) (, ) ( )
( ) (, ) ( ) 1 2 2 2 2.1......................... 2 2.2.............................. 3 2.3............................... 4 2.4.............................. 5 2.5.............................. 6 2.6..........................
More informationLanglands 1 1. Langlands p GL n Langlands [HT] The local Langlands conjecture is one of those hydra-like conjectures which seems to grow as it gets pr
Langlands 1 1. Langlands p GL n Langlands [HT] The local Langlands conjecture is one of those hydra-like conjectures which seems to grow as it gets proved. ([HT], p.1) hydra [KP] Langlands Langlands Langlands
More informationII R n k +1 v 0,, v k k v 1 v 0,, v k v v 0,, v k R n 1 a 0,, a k a 0 v 0 + a k v k v 0 v k k k v 0,, v k σ k σ dimσ = k 1.3. k
II 231017 1 1.1. R n k +1 v 0,, v k k v 1 v 0,, v k v 0 1.2. v 0,, v k R n 1 a 0,, a k a 0 v 0 + a k v k v 0 v k k k v 0,, v k σ kσ dimσ = k 1.3. k σ {v 0,...,v k } {v i0,...,v il } l σ τ < τ τ σ 1.4.
More informationR R P N (C) 7 C Riemann R K ( ) C R C K 8 (R ) R C K 9 Riemann /C /C Riemann 10 C k 11 k C/k 12 Riemann k Riemann C/k k(c)/k R k F q Riemann 15
(Gen KUROKI) 1 1 : Riemann Spec Z 2? 3 : 4 2 Riemann Riemann Riemann 1 C 5 Riemann Riemann R compact R K C ( C(x) ) K C(R) Riemann R 6 (E-mail address: kuroki@math.tohoku.ac.jp) 1 1 ( 5 ) 2 ( Q ) Spec
More information24 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 informationi 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 information1 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 information1 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 informationA µ : A A A µ(x, y) x y (x y) z = x (y z) A x, y, z x y = y x A x, y A e x e = e x = x A x e A e x A xy = yx = e y x x x y y = x A (1)
7 2 2.1 A µ : A A A µ(x, y) x y (x y) z = x (y z) A x, y, z x y = y x A x, y A e x e = e x = x A x e A e x A xy = yx = e y x x x y y = x 1 2.1.1 A (1) A = R x y = xy + x + y (2) A = N x y = x y (3) A =
More information[AI] G. Anderson, Y. Ihara, Pro-l branched cov erings of P1 and higher circular l-units, Part 1 Ann. of Math. 128 (1988), 271-293 ; Part 2, Intern. J. Math. 1 (1990), 119-148. [B] G. V. Belyi, On Galois
More informationtomocci ,. :,,,, Lie,,,, Einstein, Newton. 1 M n C. s, M p. M f, p d ds f = dxµ p ds µ f p, X p = X µ µ p = dxµ ds µ p. µ, X µ.,. p,. T M p.
tomocci 18 7 5...,. :,,,, Lie,,,, Einstein, Newton. 1 M n C. s, M p. M f, p d ds f = dxµ p ds µ f p, X p = X µ µ p = dxµ ds µ p. µ, X µ.,. p,. T M p. M F (M), X(F (M)).. T M p e i = e µ i µ. a a = a i
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
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 informationMilnor 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 informationuntitled
Lie L ( Introduction L Rankin-Selberg, Hecke L (,,, Rankin, Selberg L (GL( GL( L, L. Rankin-Selberg, Fourier, (=Fourier (= Basic identity.,,.,, L.,,,,., ( Lie G (=G, G.., 5, Sp(, R,. L., GL(n, R Whittaker
More informationBroadhurst-Kreimer Brown ( D3) 1 Broadhurst-Kreimer Zagier Gangl- -Zagi
Broadhurst-Kreimer Brown ( D3) 1 Broadhurst-Kreimer 2 2 - -Zagier 5 2.1............................. 5 2.2........................... 8 3 Gangl- -Zagier 11 3.1.................................. 11 3.2
More informationt = h x z z = h z = t (x, z) (v x (x, z, t), v z (x, z, t)) ρ v x x + v z z = 0 (1) 2-2. (v x, v z ) φ(x, z, t) v x = φ x, v z
I 1 m 2 l k 2 x = 0 x 1 x 1 2 x 2 g x x 2 x 1 m k m 1-1. L x 1, x 2, ẋ 1, ẋ 2 ẋ 1 x = 0 1-2. 2 Q = x 1 + x 2 2 q = x 2 x 1 l L Q, q, Q, q M = 2m µ = m 2 1-3. Q q 1-4. 2 x 2 = h 1 x 1 t = 0 2 1 t x 1 (t)
More information,2,4
2005 12 2006 1,2,4 iii 1 Hilbert 14 1 1.............................................. 1 2............................................... 2 3............................................... 3 4.............................................
More informationB [ 0.1 ] x > 0 x 6= 1 f(x) µ 1 1 xn 1 + sin sin x 1 x 1 f(x) := lim. n x n (1) lim inf f(x) (2) lim sup f(x) x 1 0 x 1 0 (
. 28 4 14 [.1 ] x > x 6= 1 f(x) µ 1 1 xn 1 + sin + 2 + sin x 1 x 1 f(x) := lim. 1 + x n (1) lim inf f(x) (2) lim sup f(x) x 1 x 1 (3) lim inf x 1+ f(x) (4) lim sup f(x) x 1+ [.2 ] [, 1] Ω æ x (1) (2) nx(1
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 = (
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 information2016 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 information1 4 1 ( ) ( ) ( ) ( ) () 1 4 2
7 1995, 2017 7 21 1 2 2 3 3 4 4 6 (1).................................... 6 (2)..................................... 6 (3) t................. 9 5 11 (1)......................................... 11 (2)
More informationALGEBRA I Hiroshi SUZUKI Department of Mathematics International Christian University
ALGEBRA I Hiroshi SUZUKI Department of Mathematics International Christian University 2004 1 1 1 2 2 1 3 3 1 4 4 1 5 5 1 6 6 1 7 7 1 8 8 1 9 9 1 10 10 1 E-mail:hsuzuki@icu.ac.jp 0 0 1 1.1 G G1 G a, b,
More information13 0 1 1 4 11 4 12 5 13 6 2 10 21 10 22 14 3 20 31 20 32 25 33 28 4 31 41 32 42 34 43 38 5 41 51 41 52 43 53 54 6 57 61 57 62 60 70 0 Gauss a, b, c x, y f(x, y) = ax 2 + bxy + cy 2 = x y a b/2 b/2 c x
More informationA 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 information18 ( ) I II III A B C(100 ) 1, 2, 3, 5 I II A B (100 ) 1, 2, 3 I II A B (80 ) 6 8 I II III A B C(80 ) 1 n (1 + x) n (1) n C 1 + n C
8 ( ) 8 5 4 I II III A B C( ),,, 5 I II A B ( ),, I II A B (8 ) 6 8 I II III A B C(8 ) n ( + x) n () n C + n C + + n C n = 7 n () 7 9 C : y = x x A(, 6) () A C () C P AP Q () () () 4 A(,, ) B(,, ) C(,,
More informationG H J(g, τ G g G J(g, τ τ J(g 1 g, τ = J(g 1, g τj(g, τ J J(1, τ = 1 k g = ( a b c d J(g, τ = (cτ + dk G = SL (R SL (R G G α, β C α = α iθ (θ R
1 1.1 SL (R 1.1.1 SL (R H SL (R SL (R H H H = {z = x + iy C; x, y R, y > 0}, SL (R = {g M (R; dt(g = 1}, gτ = aτ + b a b g = SL (R cτ + d c d 1.1. Γ H H SL (R f(τ f(gτ G SL (R G H J(g, τ τ g G Hol f(τ
More information第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 informationE1 (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 informationI A A441 : April 15, 2013 Version : 1.1 I Kawahira, Tomoki TA (Shigehiro, Yoshida )
I013 00-1 : April 15, 013 Version : 1.1 I Kawahira, Tomoki TA (Shigehiro, Yoshida) http://www.math.nagoya-u.ac.jp/~kawahira/courses/13s-tenbou.html pdf * 4 15 4 5 13 e πi = 1 5 0 5 7 3 4 6 3 6 10 6 17
More informationNoether [M2] l ([Sa]) ) ) ) ) ) ( 1, 2) ) ( 3) K F = F q O K K l q K Spa(K, O K ) adc adc [Hu1], [Hu2], [Hu3] K A Spa(A, A ) Sp A A B X A X B = X Spec
l Wel (Yoch Meda) Graduate School of Mathematcal Scences, The Unversty of Tokyo 0 Galos ([M1], [M2]) Galos Langlands ([Ca]) K F F q l q K, F K, F Fr q Gal(F /F ) F Frobenus q Fr q Fr q Gal(F /F ) φ: Gal(K/K)
More informationx () g(x) = f(t) dt f(x), F (x) 3x () g(x) g (x) f(x), F (x) (3) h(x) = x 3x tf(t) dt.9 = {(x, y) ; x, y, x + y } f(x, y) = xy( x y). h (x) f(x), F (x
[ ] IC. f(x) = e x () f(x) f (x) () lim f(x) lim f(x) x + x (3) lim f(x) lim f(x) x + x (4) y = f(x) ( ) ( s46). < a < () a () lim a log xdx a log xdx ( ) n (3) lim log k log n n n k=.3 z = log(x + y ),
More informationDynkin 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 informationcompact 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微分積分 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
微分積分 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. ttp://www.morikita.co.jp/books/mid/00571 このサンプルページの内容は, 初版 1 刷発行時のものです. i ii 014 10 iii [note] 1 3 iv 4 5 3 6 4 x 0 sin x x 1 5 6 z = f(x, y) 1 y = f(x)
More information数学Ⅱ演習(足助・09夏)
II I 9/4/4 9/4/2 z C z z z z, z 2 z, w C zw z w 3 z, w C z + w z + w 4 t R t C t t t t t z z z 2 z C re z z + z z z, im z 2 2 3 z C e z + z + 2 z2 + 3! z3 + z!, I 4 x R e x cos x + sin x 2 z, w C e z+w
More information1 Abstract 2 3 n a ax 2 + bx + c = 0 (a 0) (1) ( x + b ) 2 = b2 4ac 2a 4a 2 D = b 2 4ac > 0 (1) 2 D = 0 D < 0 x + b 2a = ± b2 4ac 2a b ± b 2
1 Abstract n 1 1.1 a ax + bx + c = 0 (a 0) (1) ( x + b ) = b 4ac a 4a D = b 4ac > 0 (1) D = 0 D < 0 x + b a = ± b 4ac a b ± b 4ac a b a b ± 4ac b i a D (1) ax + bx + c D 0 () () (015 8 1 ) 1. D = b 4ac
More information0 17 l l Grothendieck Weil Grothendieck SGA (Séminaire de Géométrie Algébrique du Bois-Marie) [Del2], [Del3] Grothendieck Weil Ramanujan Deligne [Del1
l 0 2 1 4 1.1 Tate.......................... 4 1.2........................ 6 1.3...................... 9 1.4.................... 21 2 Galois 31 2.1 Galois.......... 31 2.2.................... 31 3 Galois
More information1 G K C 1.1. G K V ρ : G GL(V ) (ρ, V ) G V 1.2. G 2 (ρ, V ), (τ, W ) 2 V, W T : V W τ g T = T ρ g ( g G) V ρ g T W τ g V T W 1.3. G (ρ, V ) V W ρ g W
Naoya Enomoto 2002.9. paper 1 2 2 3 3 6 1 1 G K C 1.1. G K V ρ : G GL(V ) (ρ, V ) G V 1.2. G 2 (ρ, V ), (τ, W ) 2 V, W T : V W τ g T = T ρ g ( g G) V ρ g T W τ g V T W 1.3. G (ρ, V ) V W ρ g W W G- G W
More informationII A A441 : October 02, 2014 Version : Kawahira, Tomoki TA (Kondo, Hirotaka )
II 214-1 : October 2, 214 Version : 1.1 Kawahira, Tomoki TA (Kondo, Hirotaka ) http://www.math.nagoya-u.ac.jp/~kawahira/courses/14w-biseki.html pdf 1 2 1 9 1 16 1 23 1 3 11 6 11 13 11 2 11 27 12 4 12 11
More information. 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
2014 6 30. 2014 3 1 6 (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
More informationmeiji_resume_1.PDF
β β β (q 1,q,..., q n ; p 1, p,..., p n ) H(q 1,q,..., q n ; p 1, p,..., p n ) Hψ = εψ ε k = k +1/ ε k = k(k 1) (x, y, z; p x, p y, p z ) (r; p r ), (θ; p θ ), (ϕ; p ϕ ) ε k = 1/ k p i dq i E total = E
More informationC p (.2 C p [[T ]] Bernoull B n,χ C p p q p 2 q = p p = 2 q = 4 ω Techmüller a Z p ω(a a ( mod q φ(q ω(a Z p a pz p ω(a = 0 Z p φ Euler Techmüller ω Q
p- L- [Iwa] [Iwa2] -Leopoldt [KL] p- L-. Kummer Remann ζ(s Bernoull B n (. ζ( n = B n n, ( n Z p a = Kummer [Kum] ( Kummer p m n 0 ( mod p m n a m n ( mod (p p a ( p m B m m ( pn B n n ( mod pa Z p Kummer
More informationIII 1 (X, d) d U d X (X, d). 1. (X, d).. (i) d(x, y) d(z, y) d(x, z) (ii) d(x, y) d(z, w) d(x, z) + d(y, w) 2. (X, d). F X.. (1), X F, (2) F 1, F 2 F
III 1 (X, d) d U d X (X, d). 1. (X, d).. (i) d(x, y) d(z, y) d(x, z) (ii) d(x, y) d(z, w) d(x, z) + d(y, w) 2. (X, d). F X.. (1), X F, (2) F 1, F 2 F F 1 F 2 F, (3) F λ F λ F λ F. 3., A λ λ A λ. B λ λ
More informationMacdonald, ,,, 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 informationn ξ n,i, i = 1,, n S n ξ n,i n 0 R 1,.. σ 1 σ i .10.14.15 0 1 0 1 1 3.14 3.18 3.19 3.14 3.14,. ii 1 1 1.1..................................... 1 1............................... 3 1.3.........................
More information2018/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 informationAI n Z f n : Z Z f n (k) = nk ( k Z) f n n 1.9 R R f : R R f 1 1 {a R f(a) = 0 R = {0 R 1.10 R R f : R R f 1 : R R 1.11 Z Z id Z 1.12 Q Q id
1 1.1 1.1 R R (1) R = 1 2 Z = 2 n Z (2) R 1.2 R C Z R 1.3 Z 2 = {(a, b) a Z, b Z Z 2 a, b, c, d Z (a, b) + (c, d) = (a + c, b + d), (a, b)(c, d) = (ac, bd) (1) Z 2 (2) Z 2? (3) Z 2 1.4 C Q[ 1] = {a + bi
More informationQCD 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 informationMorse ( ) 2014
Morse ( ) 2014 1 1 Morse 1 1.1 Morse................................ 1 1.2 Morse.............................. 7 2 12 2.1....................... 12 2.2.................. 13 2.3 Smale..............................
More information, 3, 6 = 3, 3,,,, 3,, 9, 3, 9, 3, 3, 4, 43, 4, 3, 9, 6, 6,, 0 p, p, p 3,..., p n N = p p p 3 p n + N p n N p p p, p 3,..., p n p, p,..., p n N, 3,,,,
6,,3,4,, 3 4 8 6 6................................. 6.................................. , 3, 6 = 3, 3,,,, 3,, 9, 3, 9, 3, 3, 4, 43, 4, 3, 9, 6, 6,, 0 p, p, p 3,..., p n N = p p p 3 p n + N p n N p p p,
More information1 2 2 2 1 3 1.1............................................ 3 1.2......................................... 7 1.3.................................. 8 2 12 3 16 3.1.......................... 16 3.2.........................
More informationx (x, ) x y (, y) iy x y z = x + iy (x, y) (r, θ) r = x + y, θ = tan ( y ), π < θ π x r = z, θ = arg z z = x + iy = r cos θ + ir sin θ = r(cos θ + i s
... x, y z = x + iy x z y z x = Rez, y = Imz z = x + iy x iy z z () z + z = (z + z )() z z = (z z )(3) z z = ( z z )(4)z z = z z = x + y z = x + iy ()Rez = (z + z), Imz = (z z) i () z z z + z z + z.. z
More informationA Brief Introduction to Modular Forms Computation
A Brief Introduction to Modular Forms Computation Magma Supported by GCOE Program Math-For-Industry Education & Research Hub What s this? Definitions and Properties Demonstration H := H P 1 (Q) some conditions
More informationD 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 information2 2 L 5 2. L L L L k.....
L 528 206 2 9 2 2 L 5 2. L........................... 5 2.2 L................................... 7 2............................... 9. L..................2 L k........................ 2 4 I 5 4. I...................................
More informationnewmain.dvi
数論 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/008142 このサンプルページの内容は, 第 2 版 1 刷発行当時のものです. Daniel DUVERNEY: THÉORIE DES NOMBRES c Dunod, Paris, 1998, This book is published
More informationTOP URL 1
TOP URL http://amonphys.web.fc.com/ 3.............................. 3.............................. 4.3 4................... 5.4........................ 6.5........................ 8.6...........................7
More informationxia2.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 information2000年度『数学展望 I』講義録
2000 I I IV I II 2000 I I IV I-IV. i ii 3.10 (http://www.math.nagoya-u.ac.jp/ kanai/) 2000 A....1 B....4 C....10 D....13 E....17 Brouwer A....21 B....26 C....33 D....39 E. Sperner...45 F....48 A....53
More informationX G P G (X) G BG [X, BG] S 2 2 2 S 2 2 S 2 = { (x 1, x 2, x 3 ) R 3 x 2 1 + x 2 2 + x 2 3 = 1 } R 3 S 2 S 2 v x S 2 x x v(x) T x S 2 T x S 2 S 2 x T x S 2 = { ξ R 3 x ξ } R 3 T x S 2 S 2 x x T x S 2
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
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, = = 7 6 = 42, =
http://www.ss.u-tokai.ac.jp/~mahoro/2016autumn/alg_intro/ 1 1 2016.9.26, http://www.ss.u-tokai.ac.jp/~mahoro/2016autumn/alg_intro/ 1.1 1 214 132 = 28258 2 + 1 + 4 1 + 3 + 2 = 7 6 = 42, 4 + 2 = 6 2 + 8
More information2 2 MATHEMATICS.PDF 200-2-0 3 2 (p n ), ( ) 7 3 4 6 5 20 6 GL 2 (Z) SL 2 (Z) 27 7 29 8 SL 2 (Z) 35 9 2 40 0 2 46 48 2 2 5 3 2 2 58 4 2 6 5 2 65 6 2 67 7 2 69 2 , a 0 + a + a 2 +... b b 2 b 3 () + b n a
More informationNo.004 [1] J. ( ) ( ) (1968) [2] Morse (1997) [3] (1988) 1
No.004 [1] J. ( ) ( ) (1968) [2] Morse (1997) [3] (1988) 1 1 (1) 1.1 X Y f, g : X Y { F (x, 0) = f(x) F (x, 1) = g(x) F : X I Y f g f g F f g 1.2 X Y X Y gf id X, fg id Y f : X Y, g : Y X X Y X Y (2) 1.3
More informationII Time-stamp: <05/09/30 17:14:06 waki> ii
II waki@cc.hirosaki-u.ac.jp 18 1 30 II Time-stamp: ii 1 1 1.1.................................................. 1 1.2................................................... 3 1.3..................................................
More information1 1.1 R (ring) R1 R4 R1 R (commutative [abelian] group) R2 a, b, c R (ab)c = a(bc) (associative law) R3 a, b, c R a(b + c) = ab + ac, (a + b)c = ac +
ALGEBRA II Hiroshi SUZUKI Department of Mathematics International Christian University 2004 1 1 1 2 2 1 3 3 1 4 4 1 5 5 1 6 6 1 7 7 1 7.1....................... 7 1 7.2........................... 7 4 8
More informationNote.tex 2008/09/19( )
1 20 9 19 2 1 5 1.1........................ 5 1.2............................. 8 2 9 2.1............................. 9 2.2.............................. 10 3 13 3.1.............................. 13 3.2..................................
More information211 kotaro@math.titech.ac.jp 1 R *1 n n R n *2 R n = {(x 1,..., x n ) x 1,..., x n R}. R R 2 R 3 R n R n R n D D R n *3 ) (x 1,..., x n ) f(x 1,..., x n ) f D *4 n 2 n = 1 ( ) 1 f D R n f : D R 1.1. (x,
More information2 (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 informationver Web
ver201723 Web 1 4 11 4 12 5 13 7 2 9 21 9 22 10 23 10 24 11 3 13 31 n 13 32 15 33 21 34 25 35 (1) 27 4 30 41 30 42 32 43 36 44 (2) 38 45 45 46 45 5 46 51 46 52 48 53 49 54 51 55 54 56 58 57 (3) 61 2 3
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 information1 variation 1.1 imension unit L m M kg T s Q C QT 1 A = C s 1 MKSA F = ma N N = kg m s 1.1 J E = 1 mv W = F x J = kg m s 1 = N m 1.
1.1 1. 1.3.1..3.4 3.1 3. 3.3 4.1 4. 4.3 5.1 5. 5.3 6.1 6. 6.3 7.1 7. 7.3 1 1 variation 1.1 imension unit L m M kg T s Q C QT 1 A = C s 1 MKSA F = ma N N = kg m s 1.1 J E = 1 mv W = F x J = kg m s 1 = N
More informationTwist 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 informationS K(S) = T K(T ) T S K n (1.1) n {}}{ n K n (1.1) 0 K 0 0 K Q p K Z/pZ L K (1) L K L K (2) K L L K [L : K] 1.1.
() 1.1.. 1. 1.1. (1) L K (i) 0 K 1 K (ii) x, y K x + y K, x y K (iii) x, y K xy K (iv) x K \ {0} x 1 K K L L K ( 0 L 1 L ) L K L/K (2) K M L M K L 1.1. C C 1.2. R K = {a + b 3 i a, b Q} Q( 2, 3) = Q( 2
More informationtakei.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