2 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)

Size: px
Start display at page:

Download "2 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)"

Transcription

1 (Florian Sprung) p 2 p * 9 3 p ζ Mazur Wiles eighth session [ ] Coates [Coates] Euler n n 2 = p p 2 p 2 = π Riemann ζ(s) = n n s = p p s s ζ(s) R(s) > Riemann ζ(s) ζ( ) = *2 ζ(s) ian.sprung@gmail.com * p p p *2 ζ( ) Euler

2 2 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) = 2 4, ζ( 0) = , ζ( 2) = Kummer ζ( 2n) 2.. (Kummer )ζ( 2), ζ( 4),..., ζ( (p 3)) p p Q(ζ p ) (ζ p x p = 0 *4 K K Cl(K) = K O K O K K K = Q(ζ p ) O Qζ p = Z[ζ p ] Cl(K) O K Cl(K) = O K Cl(K) 847 Lamé Fermat ( p x p + y p = z p Q(ζ p ) #Cl(Q(ζ p )) = Kummer Lamé p = 69 Kummer p Q(ζ p ) Lamé ζ( 2n), n p = 3, 7,, 3 Fermat ζ( 2n) Fermat [Kummer] ζ( 2n) Kummer 2.3. Kummer n (p ) m n (mod (p )p a ) ( p m )ζ( m) ( p n )ζ( n) (mod p a+ ) p p Hensel 897 π k : Z/p k+ Z Z/p k Z Z p := lim Z/p k Z k *3 Euler *4 Y p p 2 π2 p 2 6

3 3 p 3, 3., 3.4, 3.4, 3.45, 3.459, , Z p... + a 4 p 4 + a 3 p 3 + a 2 p 2 + a p + a 0 p 0... Z/p 4 Z Z/p 3 Z Z/p 2 Z Z/pZ 0... a 3 p 3 + a 2 p 2 + a p + a 0 p 0 a 2 p 2 + a p + a 0 p 0 a p + a 0 p 0 a 0 p 0 p a Q a = p e b b, c p bc c a p = p e n, m n m p n m p Q R p Q p R R = C Q p Q p *5 p Kummer p n m p ( p m )ζ( m) ( p n )ζ( n) p Riemann ζ p Leopoldt Kummer p ζ 3.. [ L] p r ζ p ( r) = ( p r )ζ( r) p ζ p : Z p Q p Leopoldt Riemann ζ ζ p p p ( is p-adically interpolated) Leopoldt ζ p (s) s Z p, s p s = Riemann ζ Cl(Q(ζ p )) 956 Seattle *5 C Q p p C p p

4 4 F Q F F Galois Γ = Gal(F /F ) Z p Galois Z p p n Z p Γ Γ pn F n = F Γpn F = F 0 F F 2... F n... *6 F n Γ Cl(F n ) 3.2. (#Cl(F n ) p p en λ, µ, ν n e n = λn + µp n + ν 959 [ 59] 960 F /F Γ (Γ-extensions) Z p 3.3. Z p p F := Q(ζ p ) ζ p n p n F n := F (ζ p n) F = F (ζ p n) = Q(ζ p n) =: Q(ζ p ) F F Z p n n 3.4. Z p p Q 0 := Q p Z p Gal(Q(ζ p n)/q) = (Z/p n Z) = Z/p n Z Gal(Q(ζ p )/Q) = lim Z/p n Z n = Z p Z p = Gal(Q(ζ p )/Q 0 ) = Z/(p )Z Q n Q(ζ p n+) Γ(n ) Γ Q(ζ p n) Q(ζ p ) Q := Q(ζ p ) Q(ζ p ) Q 0 := Q = Q(ζ p ) Γ(n ) Q n := Q(ζ p n) Γ Γ(n) : Gal(Q n /Q) = Z p /p n Z p = Z/p n Z Q /Q 0 Z p (Iwasawa s cyclotomic Z p -extension) 3.5. F := Q(ζ ) R. 3.3 R Z p 959 Jean-Pierre Serre Bourbaki [Serre] Γ Λ Λ = Z p [[X]] (Iwasawa algebra) Serre Gal(Q n /Q) = Γ(n) Q n Cl(Q n ) Cl(Q n ) p-sylow Cl(Q n )[p] p Γ(n) *6 Galois Γ pn F n

5 5 p p Γ(n) Cl(Q n )[p] Cl(Q n )[p] Γ(n) Z Cl(Q n )[p] Z[Γ(n)] Cl(Q n )[p] p e Z/p e Z Z p Z/p e Z Cl(Q n )[p] Z p Cl(Q n )[p] Z p [Γ(n)] lim n Cl(Q n )[p] lim Z p [Γ(n)] n Λ(Γ) := Z p [[Γ]] := lim Z p [Γ(n)] Z Z p Z p γ n Z Z p γ (topological generator) γ + X Z p [[Γ]] = Z p [[X]] lim Cl(Q n )[p] n 964 Λ [ 64] M Λ Char(M) Λ M Z #M Z/(a )... Z/(a k ) k = M Z (#M) = ( a i ) Z Λ M Λ/(a )... Λ/(a k ) M a i a i+ a i k ( a i ) Λ Char(M) i= X := Hom(lim n Cl(Q n )[p], Q p /Z p ) Λ ζ p Char(X ) = (ζ p ) 3.5 K Cl(K) K H Galois Gal(H/K) *7 Cl(F ) M M := (p pro-p ) G := Gal(F /Q) = Γ p # = p 2 Λ = Z p [ ][[X]] i= *7 Riemann [SGA])

6 Λ ξ (pseudo-measure) σ G (σ )ξ Λ s = ξ(s) 3.7. ψ : Gal(Q(ζ p )/Q) Z p Galois *8 Gal(Q(ζ p n)/q) = (Z/p n Z) 3.8. ξ G λ : G Q p = G λdξ := λ ((g )ξ) λ(g) ( λ(g) ) 3.9. ( G ξ p k 2, G ψ k dξ p := ( p k )ζ( k) Riemann ζ -Leopoldt ζ p [ 69] ([Washington, 5.4] ) 3.0. I := ker(λ Z p ) f f() 3.. (Char(Gal(M /F )) = Iξ p Λ Galois ξ p I 984 Mazur Wiles [MW] Kolyvagin Rubin Euler [Rubin] 4 y = x + 2 y = (x ) (line) y = x 2 + y = (x ) (parabola) y 2 = x 2 + y 2 = 2x y 2 = (x ) (hyperbola) (ellipse) y 2 = x 3 x y 2 = (x ) *8 Gal(Q(ζ p n)/q) ζ p n ζ a p n a (Z/pn Z)

7 7 (elliptic curve) Q Q x Q E : y 2 = x 3 + ax + b K E K E(K) y 2 = x 3 + ax + b K * 9 K = F p x F p p x 3 + ax + b F p F p 2 y2 = x 3 + ax + b y F p ( y) x 3 + ax + b E(F p ) p 2 2 = p 4.. (Hasse) E : y 2 = x 3 + ax + b Q a p = p #E(F p ) a p 2 p 4.2. E Q p = #E(F 999 ) 2088 Riemann ζ 4.3. Q E : y 2 = x 3 + ax + b L s C L(E, s) = p a p p s ( + p 2s F p x 3 + ax + b p ± p s Hasse (R(s) > 3 2 ) C L 4.4. Q E p a p { p a p p (ordinary) p a p p (supersingular) [Elkies] * 0 E Q [Silverman] [ST] Mazur E Z p E(F 0 ), E(F ),..., E(F ) * *9 E(K) (O) {E(K), (O)} [ST],[Silverman] *0 * Mazur

8 8 p L * 2 L p (E, X) Λ ζ p L(E, s) p L(E, s) = 0, s N Mazur L L(E, s) = a n s = Dirichlet ns n ( ) χ : (Z/p m Z) C L(E, s, χ) = a n χ(n) n s s = n L(E,, χ) Ω χ( ) Ω + Néron ) Ω ( Néron χ( ) = ± Ω ± χ p * 3 p p L L p (E, X) Λ [Mazur] Selmer p K E Selmer Sel(E/K) Tate-Šafarevič (E/K) Cl(K) 0 E(K) Q p /Z p Sel(E/K)[p] (E/K)[p] 0 Sel(E/K) E K (E/K) # (E/K) < X E (Q ) := Hom(Sel E (Q ), Q p /Z p ) X E (Q ) Λ Char(X E (Q )) 5.. )[Mazur2] Char(X E (Q )) = (L p (E, X)) Λ 2004 [ ] 5.2. ( Char(X E (Q )) (L p (E, X)) Λ 2006 Euler H z H Λ p L z (Euler Char(X E (Q )) (L p (E, X)) * 4 )z H Char(X E (Q )) (L p (E, X)) z L p (E, X) Λ *2 Λ = Z p[[x]] 3.4 *3 a p p Mazur *4

9 9 p L p (E, X) Λ. Skinner Urban 5.3. (Mazur) # (Q n ) p p en λ, µ, ν n e n = λn + µp n + ν 6 Q E p p 970 Višik, Manin, Amice-Vélu 986 Mazur, Tate, Teitelbaum T 2 a p T + p α, α p L L p (E, α, X) L p (E, α, X) [Višik],[AV],[MTT] L p (E, α, X), L p (E, α, X) / Λ Q p [[X]] p Λ Hom(Sel E (Q ), Q p /Z p ) Λ Perrin-Riou 990 Bloch- -logarithms Galois a p = 0 p 6.. p 5 p a p a p = 0 Hasse a p 2 p 2003 Mazur Pollack [Pollack] 6.2. (Pollack) a p = 0 L p (E, α, X) Mazur,Tate,Teitelbaum p L L p (E, α, X) = log + p ( + X)L + p (E, X) + log p ( + X)L p (E, X)α, p L 2 (E, α, X) = log 2 ( + X)L + 2 (E, X) + 2 log 2 ( + X)L 2 (E, X)α. L ± p (E, X) Λ log ± p ( + X) log + p ( + X) = p m Φ 2m ( + X) p, Φ n (X) = X pn i n p a p = 0 α = α L p (E, α, X)+L p (E, α, X) = log + p (+X)L + p (E, X) Φ n (+X) ζ p n L p (E, α, X)+L p (E, α, X) X = ζ p 2m, m = 0 Pollack L p (E, α, X) + L p (E, α, X) L + p (E, X) p = 2, p = [S] p L p (E, α, X) = log ϑ α( + X)L ϑ p(e, X) + log υ α( + X)L υ p(e, X) i=0

10 0 L ϑ/υ p (E, X) Λ log ϑ/υ p ( + X) p L p (E, α, X), L p (E, α, X) Pollack log ± p ( + X) L ± p (E, X) L ± p (E, X) Λ 6.3 L ϑ/υ p (E, X) 2003 a p = 0 [ ] 6.4. (p a p = 0 Col ± H Col ± Λ z L ± p (E, X) Col ± z Pollack L L ± p (E, X) ker Col ± Sel ± X ± = Hom(Sel ±, Q p /Z p ) 6.5. (a p = 0 p (L ± p (E, X)) = Char(X ± ) Λ (L ± p (E, X)) Char(X ± ) 6.6. [S] p Col ϑ Col υ H Col ϑ/υ Λ z L ϑ/υ p (E, X) ker Col ϑ/υ p Sel ϑ/υ 6.7. (p (L ϑ/υ p (E, X)) = Char(X ϑ/υ ) Λ (L ϑ/υ p (E, X)) Char(X ϑ/υ ) 7 Bertolini Darmon[BD] Coates Sujatha Venjakob[C SV] weight = 2 (weight > 2 * 5 Lei) a p = 0 [Lei] a p 0 *5

11 [AV] Amice, Y., Vélu, J. Distributions p-adiques associées aux séries de Hecke, in Journées Arithmétiques de Bordeaux (Bordeaux, 974), Astérisque 24-25, Société Mathématique de France, Montrogue (975), 9-3. [BD] Bertolini, M., Darmon, H. The p-adic L-functions of modular elliptic curves, Mathematics unlimited and beyond (200), [Coates] Coates, J. Lecture Notes on a Course in Iwasawa Theory given at Cambridge University, Lent [C SV] Coates, J., Fukaya, T., Kato, K. Sujatha, R., Venjakob, O. The GL 2 main conjecture for elliptic curves without complex multiplication, Publications Mathématiques de l Institut des Hautes Études Scientifiques, 0 (2005), [Elkies] Elkies, N. The existence of infinitely many supersingular primes for every elliptic curve over Q, Inventiones Mathematicae 89 (987), no. 3, [ ],. [ 59] Iwasawa, K. On Γ-extensions of algebraic number fields, Bulletin of the American Mathematical Society 65 (959), [ 64] Iwasawa, K. On some modules in the theory of cyclotomic fields, Journal of the Mathematical Society of Japan 6 (964), [ 69] Iwasawa, K. On p-adic L-functions, Annals of Mathematics 89 (969), [ ] Kato, K. p-adic Hodge theory and values of zeta functions of modular forms, Astérisque 295 (2004), [ L] Kubota, T. and Leopoldt, H. Eine p-adische Theorie der Zetawerte. I. Einführung der p-adischen Dirichletschen L-Funktionen, Journal für die reine und angewandte Mathematik 24/25 (964), [ ] Kobayashi, S. Iwasawa theory for elliptic curves at supersingular primes, Inventiones Mathematicae 52 (2003), no., -36. [Kummer] Kummer, E. Beweis des Fermat schen Satzes der Unmöglichkeit von x λ + y λ = z λ für eine unendliche Anzahl Primzahlen λ, Monatsberichte der Akademie der Wissenschaften Berlin (847), [Lei] Lei, A. Iwasawa Theory for Modular Forms at Supersingular Primes arxiv: v[mathnt]. [Mazur] Mazur, B. Courbes elliptiques et symboles modulaires, Séminaire Bourbaki 44 (97/972). [Mazur2] Mazur, B. Rational points of abelian varieties with values in towers of number fields, Inventiones Mathematicae 8 (972), [MTT] Mazur, B., Tate, J., and Teitelbaum, J. On p-adic analogues of the conjectures of Birch and Swinnerton-Dyer, Inventiones Mathematicae 84 (986), -48. [MW] Mazur, B., Wiles, A. Class fields of abelian extensions of Q, Inventiones Mathematicae 69 (984), [Pollack] Pollack, R. The p-adic L-function at a supersingular prime, Duke Mathematical Journal 8 (2003), no.3, [Riemann] Riemann, B. Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse, Monatsberichte der Berliner Akademie (859). [Rubin] Rubin, K. The main conjecture. Appendix to: Cyclotomic Fields by S. Lang, Graduate Texts in Mathematics 2. [Serre] Serre, J.-P. Classes des corps cyclotomiques (d après K. Iwasawa), Séminaire Bourbaki no. 74 (959). [SGA] Grothendieck, A. et al. Revêtements étales et groupe fondamental, 960/6, Lecture Notes in Mathematics 224 (97). [Silverman] Silverman, J. The Arithmetic of Elliptic Curves, Graduate Texts in Mathematics 06. [ST] Silverman, J. and Tate, J. Rational Points on Elliptic Curves, Undergraduate Texts in Mathematics. [S] Sprung, F. Iwasawa theory for elliptic curves at supersingular primes: beyond the case a p = 0, arxiv: v[mathnt]. [Višik] Višik, M. Nonarchimedean measures associated with Dirichlet series, Matematičeskii Sbornik 99(4), no. 2 (976), pp , 296. [Washington] Washington, L. Introduction to Cyclotomic fields, Graduate Texts in Mathematics 83.

wiles05.dvi

wiles05.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 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

( ),, ( [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

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., ([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- ( 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 information

C 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

C 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 information

Q 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

Q 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

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 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 第 2 版 1 刷発行時のものです.

医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます.   このサンプルページの内容は, 第 2 版 1 刷発行時のものです. 医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/009192 このサンプルページの内容は, 第 2 版 1 刷発行時のものです. i 2 t 1. 2. 3 2 3. 6 4. 7 5. n 2 ν 6. 2 7. 2003 ii 2 2013 10 iii 1987

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

Z[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)

Z[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 information

I A A441 : April 15, 2013 Version : 1.1 I Kawahira, Tomoki TA (Shigehiro, Yoshida )

I 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 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

1. Γ, 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.,,.,,

1. Γ, 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 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

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

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

[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 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 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

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

On a branched Zp-cover of Q-homology 3-spheres

On a branched Zp-cover of Q-homology 3-spheres Zp 拡大と分岐 Zp 被覆 GL1 表現の変形理論としての岩澤理論 SL2 表現の変形理論 On a branched Zp -cover of Q-homology 3-spheres 植木 潤 九州大学大学院数理学府 D2 December 23, 2014 植木 潤 九州大学大学院数理学府 D2 On a branched Zp -cover of Q-homology 3-spheres

More information

日本数学会・2011年度年会(早稲田大学)・総合講演

日本数学会・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 information

21(2009) I ( ) 21(2009) / 42

21(2009) I ( ) 21(2009) / 42 21(2009) 10 24 21(2009) 10 24 1 / 21(2009) 10 24 1. 2. 3.... 4. 5. 6. 7.... 8.... 2009 8 1 1 (1.1) z = x + iy x, y i R C i 2 = 1, i 2 + 1 = 0. 21(2009) 10 24 3 / 1 B.C. (N) 1, 2, 3,...; +,, (Z) 0, ±1,

More information

I. (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, ( ) 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 information

TOP URL 1

TOP URL   1 TOP URL http://amonphys.web.fc.com/ 3.............................. 3.............................. 4.3 4................... 5.4........................ 6.5........................ 8.6...........................7

More information

1 2 2 2 1 3 1.1............................................ 3 1.2......................................... 7 1.3.................................. 8 2 12 3 16 3.1.......................... 16 3.2.........................

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

.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 information

微分積分 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.

微分積分 サンプルページ この本の定価 判型などは, 以下の 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

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

2014 F/ E 1 The arithmetic of elliptic curves from a viewpoint of computation 1 Shun ichi Yokoyama / JST CREST,.

2014 F/ E 1 The arithmetic of elliptic curves from a viewpoint of computation 1 Shun ichi Yokoyama / JST CREST,. 2014 F/ E 1 The arithmetic of elliptic curves from a viewpoint of computation 1 Shun ichi Yokoyama / JST CREST,. http://www2.math.kyushu-u.ac.jp/~s-yokoyama/yamagata2014.html. K Q, C, F p.,, f = 0.,,.,

More information

#2 (IISEC)

#2 (IISEC) #2 (IISEC) 2007 10 6 E Y 2 = F (X) E(F p ) E : Y 2 = F (X) = X 3 + AX + B, A, B F p E(F p ) = {(x, y) F 2 p y2 = F (x)} {P } P : E(F p ) E F p - Given: E/F p : EC, P E(F p ), Q P Find: x Z/NZ s.t. Q =

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

平成 19 年度 ( 第 29 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 19 ~8 年月 72 月日開催 30 日 ) R = T, Fermat Wiles, Taylor-Wiles R = T.,,.,. 1. Fermat Fermat,. Fermat, 17

平成 19 年度 ( 第 29 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 19 ~8 年月 72 月日開催 30 日 ) R = T, Fermat Wiles, Taylor-Wiles R = T.,,.,. 1. Fermat Fermat,. Fermat, 17 R = T, Fermat Wiles, Taylor-Wiles R = T.,,.,. 1. Fermat Fermat,. Fermat, 17, 400.. Descartes ( ) Corneille ( ), Milton ( ), Velázquez ( ), Rembrandt van Rijn ( ),,,. Fermat, Fermat, Fermat, 1995 Wiles

More information

17 Θ Hodge Θ Hodge Kummer Hodge Hodge

17 Θ 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 information

( 9 1 ) 1 2 1.1................................... 2 1.2................................................. 3 1.3............................................... 4 1.4...........................................

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

a m 1 mod p a km 1 mod p k<s 1.6. n > 1 n 1= s m, (m, = 1 a n n a m 1 mod n a km 1 mod n k<sn a 1.7. n > 1 n 1= s m, (m, = 1 r n ν = min ord (p 1 (1 B

a m 1 mod p a km 1 mod p k<s 1.6. n > 1 n 1= s m, (m, = 1 a n n a m 1 mod n a km 1 mod n k<sn a 1.7. n > 1 n 1= s m, (m, = 1 r n ν = min ord (p 1 (1 B 10 004 Journal of the Institute of Science and Engineering. Chuo University Euler n > 1 p n p ord p n n n 1= s m (m B psp = {a (Z/nZ ; a n 1 =1}, B epsp = { ( a (Z/nZ ; a n 1 a }, = n B spsp = { a (Z/nZ

More information

x 3 a (mod p) ( ). a, b, m Z a b m a b (mod m) a b m 2.2 (Z/mZ). a = {x x a (mod m)} a Z m 0, 1... m 1 Z/mZ = {0, 1... m 1} a + b = a +

x 3 a (mod p) ( ). a, b, m Z a b m a b (mod m) a b m 2.2 (Z/mZ). a = {x x a (mod m)} a Z m 0, 1... m 1 Z/mZ = {0, 1... m 1} a + b = a + 1 1 22 1 x 3 (mod ) 2 2.1 ( )., b, m Z b m b (mod m) b m 2.2 (Z/mZ). = {x x (mod m)} Z m 0, 1... m 1 Z/mZ = {0, 1... m 1} + b = + b, b = b Z/mZ 1 1 Z Q R Z/Z 2.3 ( ). m {x 0, x 1,..., x m 1 } modm 2.4

More information

1 Fourier Fourier Fourier Fourier Fourier Fourier Fourier Fourier Fourier analog digital Fourier Fourier Fourier Fourier Fourier Fourier Green Fourier

1 Fourier Fourier Fourier Fourier Fourier Fourier Fourier Fourier Fourier analog digital Fourier Fourier Fourier Fourier Fourier Fourier Green Fourier Fourier Fourier Fourier etc * 1 Fourier Fourier Fourier (DFT Fourier (FFT Heat Equation, Fourier Series, Fourier Transform, Discrete Fourier Transform, etc Yoshifumi TAKEDA 1 Abstract Suppose that u is

More information

A Brief Introduction to Modular Forms Computation

A 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 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

第1章 微分方程式と近似解法

第1章 微分方程式と近似解法 April 12, 2018 1 / 52 1.1 ( ) 2 / 52 1.2 1.1 1.1: 3 / 52 1.3 Poisson Poisson Poisson 1 d {2, 3} 4 / 52 1 1.3.1 1 u,b b(t,x) u(t,x) x=0 1.1: 1 a x=l 1.1 1 (0, t T ) (0, l) 1 a b : (0, t T ) (0, l) R, u

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,

平成 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

第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

[1] convention Minkovski i Polchinski [2] 1 Clifford Spin 1 2 Euclid Clifford 2 3 Euclid Spin 6 4 Euclid Pin Clifford Spin 10 A 12 B 17 1 Cliffo

[1] convention Minkovski i Polchinski [2] 1 Clifford Spin 1 2 Euclid Clifford 2 3 Euclid Spin 6 4 Euclid Pin Clifford Spin 10 A 12 B 17 1 Cliffo [1] convention Minkovski i Polchinski [2] 1 Clifford Spin 1 2 Euclid Clifford 2 3 Euclid Spin 6 4 Euclid Pin + 8 5 Clifford Spin 10 A 12 B 17 1 Clifford Spin D Euclid Clifford Γ µ, µ = 1,, D {Γ µ, Γ ν

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,,,,

, 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 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

Banach-Tarski Hausdorff May 17, 2014 3 Contents 1 Hausdorff 5 1.1 ( Unlösbarkeit des Inhaltproblems) 5 5 1 Hausdorff Banach-Tarski Hausdorff [H1, H2] Hausdorff Grundzüge der Mangenlehre [H1] Inhalte

More information

R 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

R 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 information

1 Tokyo Daily Rainfall (mm) Days (mm)

1 Tokyo Daily Rainfall (mm) Days (mm) ( ) r-taka@maritime.kobe-u.ac.jp 1 Tokyo Daily Rainfall (mm) 0 100 200 300 0 10000 20000 30000 40000 50000 Days (mm) 1876 1 1 2013 12 31 Tokyo, 1876 Daily Rainfall (mm) 0 50 100 150 0 100 200 300 Tokyo,

More information

R C Gunning, Lectures on Riemann Surfaces, Princeton Math Notes, Princeton Univ Press 1966,, (4),,, Gunning, Schwarz Schwarz Schwarz, {z; x}, [z; x] =

R C Gunning, Lectures on Riemann Surfaces, Princeton Math Notes, Princeton Univ Press 1966,, (4),,, Gunning, Schwarz Schwarz Schwarz, {z; x}, [z; x] = Schwarz 1, x z = z(x) {z; x} {z; x} = z z 1 2 z z, = d/dx (1) a 0, b {az; x} = {z; x}, {z + b; x} = {z; x} {1/z; x} = {z; x} (2) ad bc 0 a, b, c, d 2 { az + b cz + d ; x } = {z; x} (3) z(x) = (ax + b)/(cx

More information

Z: Q: R: C: sin 6 5 ζ a, b

Z: Q: R: C: sin 6 5 ζ a, b Z: Q: R: C: 3 3 7 4 sin 6 5 ζ 9 6 6............................... 6............................... 6.3......................... 4 7 6 8 8 9 3 33 a, b a bc c b a a b 5 3 5 3 5 5 3 a a a a p > p p p, 3,

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

四変数基本対称式の解放

四変数基本対称式の解放 The second-thought of the Galois-style way to solve a quartic equation Oomori, Yasuhiro in Himeji City, Japan Jan.6, 013 Abstract v ρ (v) Step1.5 l 3 1 6. l 3 7. Step - V v - 3 8. Step1.3 - - groupe groupe

More information

.2 ρ dv dt = ρk grad p + 3 η grad (divv) + η 2 v.3 divh = 0, rote + c H t = 0 dive = ρ, H = 0, E = ρ, roth c E t = c ρv E + H c t = 0 H c E t = c ρv T

.2 ρ dv dt = ρk grad p + 3 η grad (divv) + η 2 v.3 divh = 0, rote + c H t = 0 dive = ρ, H = 0, E = ρ, roth c E t = c ρv E + H c t = 0 H c E t = c ρv T NHK 204 2 0 203 2 24 ( ) 7 00 7 50 203 2 25 ( ) 7 00 7 50 203 2 26 ( ) 7 00 7 50 203 2 27 ( ) 7 00 7 50 I. ( ν R n 2 ) m 2 n m, R = e 2 8πε 0 hca B =.09737 0 7 m ( ν = ) λ a B = 4πε 0ħ 2 m e e 2 = 5.2977

More information

1 1 n 0, 1, 2,, n n 2 a, b a n b n a, b n a b (mod n) 1 1. n = (mod 10) 2. n = (mod 9) n II Z n := {0, 1, 2,, n 1} 1.

1 1 n 0, 1, 2,, n n 2 a, b a n b n a, b n a b (mod n) 1 1. n = (mod 10) 2. n = (mod 9) n II Z n := {0, 1, 2,, n 1} 1. 1 1 n 0, 1, 2,, n 1 1.1 n 2 a, b a n b n a, b n a b (mod n) 1 1. n = 10 1567 237 (mod 10) 2. n = 9 1567 1826578 (mod 9) n II Z n := {0, 1, 2,, n 1} 1.2 a b a = bq + r (0 r < b) q, r q a b r 2 1. a = 456,

More information

newmain.dvi

newmain.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 information

( ( 3 ( ( 6 (

( ( 3 ( ( 6 ( ( ( ( 43037 3 0 (Nicolas Bourbaki (Éléments d'histoire des athématiques : 984 b b b n ( b n/b n b ( 0 ( p.3 3500 ( 3500 300 4 500 600 300 (Euclid (Eukleides : EÎkleÐdhc : 300 (StoiqeÐwsic 7 ( 3 p.49 (

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

N cos s s cos ψ e e e e 3 3 e e 3 e 3 e

N cos s s cos ψ e e e e 3 3 e e 3 e 3 e 3 3 5 5 5 3 3 7 5 33 5 33 9 5 8 > e > f U f U u u > u ue u e u ue u ue u e u e u u e u u e u N cos s s cos ψ e e e e 3 3 e e 3 e 3 e 3 > A A > A E A f A A f A [ ] f A A e > > A e[ ] > f A E A < < f ; >

More information

RIMS Kôkyûroku Bessatsu B32 (2012), (Iwasawa invariants of rea abeian number fieds with prime power conductors) By (Keiichi Komatsu), (Takashi

RIMS Kôkyûroku Bessatsu B32 (2012), (Iwasawa invariants of rea abeian number fieds with prime power conductors) By (Keiichi Komatsu), (Takashi Tite 素数巾導手実アーベル体の岩澤不変量 (Agebraic Number Theory and Reated Topics 2010) Author(s) 小松, 啓一 ; 福田, 隆 ; 森澤, 貴之 Citation 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2012), B32: 105-124 Issue Date 2012-07 URL http://hd.hande.net/2433/196246

More information

1980年代半ば,米国中西部のモデル 理論,そして未来-モデル理論賛歌

1980年代半ば,米国中西部のモデル 理論,そして未来-モデル理論賛歌 2016 9 27 RIMS 1 2 3 1983 9-1989 6 University of Illinois at Chicago (UIC) John T Baldwin 1983 9-1989 6 University of Illinois at Chicago (UIC) John T Baldwin Y N Moschovakis, Descriptive Set Theory North

More information

φ 4 Minimal subtraction scheme 2-loop ε 2008 (University of Tokyo) (Atsuo Kuniba) version 21/Apr/ Formulas Γ( n + ɛ) = ( 1)n (1 n! ɛ + ψ(n + 1)

φ 4 Minimal subtraction scheme 2-loop ε 2008 (University of Tokyo) (Atsuo Kuniba) version 21/Apr/ Formulas Γ( n + ɛ) = ( 1)n (1 n! ɛ + ψ(n + 1) φ 4 Minimal subtraction scheme 2-loop ε 28 University of Tokyo Atsuo Kuniba version 2/Apr/28 Formulas Γ n + ɛ = n n! ɛ + ψn + + Oɛ n =,, 2, ψn + = + 2 + + γ, 2 n ψ = γ =.5772... Euler const, log + ax x

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

meiji_resume_1.PDF

meiji_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 information

: , 2.0, 3.0, 2.0, (%) ( 2.

: , 2.0, 3.0, 2.0, (%) ( 2. 2017 1 2 1.1...................................... 2 1.2......................................... 4 1.3........................................... 10 1.4................................. 14 1.5..........................................

More information

Hanbury-Brown Twiss (ver. 2.0) van Cittert - Zernike mutual coherence

Hanbury-Brown Twiss (ver. 2.0) van Cittert - Zernike mutual coherence Hanbury-Brown Twiss (ver. 2.) 25 4 4 1 2 2 2 2.1 van Cittert - Zernike..................................... 2 2.2 mutual coherence................................. 4 3 Hanbury-Brown Twiss ( ) 5 3.1............................................

More information

1 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 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 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

1. A0 A B A0 A : A1,...,A5 B : B1,...,B

1. A0 A B A0 A : A1,...,A5 B : B1,...,B 1. A0 A B A0 A : A1,...,A5 B : B1,...,B12 2. 3. 4. 5. A0 A, B Z Z m, n Z m n m, n A m, n B m=n (1) A, B (2) A B = A B = Z/ π : Z Z/ (3) A B Z/ (4) Z/ A, B (5) f : Z Z f(n) = n f = g π g : Z/ Z A, B (6)

More information

4. ϵ(ν, T ) = c 4 u(ν, T ) ϵ(ν, T ) T ν π4 Planck dx = 0 e x 1 15 U(T ) x 3 U(T ) = σt 4 Stefan-Boltzmann σ 2π5 k 4 15c 2 h 3 = W m 2 K 4 5.

4. ϵ(ν, T ) = c 4 u(ν, T ) ϵ(ν, T ) T ν π4 Planck dx = 0 e x 1 15 U(T ) x 3 U(T ) = σt 4 Stefan-Boltzmann σ 2π5 k 4 15c 2 h 3 = W m 2 K 4 5. A 1. Boltzmann Planck u(ν, T )dν = 8πh ν 3 c 3 kt 1 dν h 6.63 10 34 J s Planck k 1.38 10 23 J K 1 Boltzmann u(ν, T ) T ν e hν c = 3 10 8 m s 1 2. Planck λ = c/ν Rayleigh-Jeans u(ν, T )dν = 8πν2 kt dν c

More information

pla85900.tsp.eps

pla85900.tsp.eps ( ) 338 8570 255 Tel: 048 858 3577, Fax: 048 858 3716 Email: tohru@nls.ics.saitama-u.ac.jp URL: http://www.nls.ics.saitama-u.ac.jp/ tohru/ 2006.11.29 @ p.1/38 1. 1 2006.11.29 @ p.2/38 1. 1 2. (a) H16 (b)

More information

λ n numbering Num(λ) Young numbering T i j T ij Young T (content) cont T (row word) word T µ n S n µ C(µ) 0.2. Young λ, µ n Kostka K µλ K µλ def = #{T

λ n numbering Num(λ) Young numbering T i j T ij Young T (content) cont T (row word) word T µ n S n µ C(µ) 0.2. Young λ, µ n Kostka K µλ K µλ def = #{T 0 2 8 8 6 3 0 0 Young Young [F] 0.. Young λ n λ n λ = (λ,, λ l ) λ λ 2 λ l λ = ( m, 2 m 2, ) λ = n, l(λ) = l {λ n n 0} P λ = (λ, ), µ = (µ, ) n λ µ k k k λ i µ i λ µ λ = µ k i= i= i < k λ i = µ i λ k >

More information

/ n (M1) M (M2) n Λ A = {ϕ λ : U λ R n } λ Λ M (atlas) A (a) {U λ } λ Λ M (open covering) U λ M λ Λ U λ = M (b) λ Λ ϕ λ : U λ ϕ λ (U λ ) R n ϕ

/ n (M1) M (M2) n Λ A = {ϕ λ : U λ R n } λ Λ M (atlas) A (a) {U λ } λ Λ M (open covering) U λ M λ Λ U λ = M (b) λ Λ ϕ λ : U λ ϕ λ (U λ ) R n ϕ 4 4.1 1 2 1 4 2 1 / 2 4.1.1 n (M1) M (M2) n Λ A = {ϕ λ : U λ R n } λ Λ M (atlas) A (a) {U λ } λ Λ M (open covering) U λ M λ Λ U λ = M (b) λ Λ ϕ λ : U λ ϕ λ (U λ ) R n ϕ λ U λ (local chart, local coordinate)

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

Part () () Γ Part ,

Part () () Γ Part , Contents a 6 6 6 6 6 6 6 7 7. 8.. 8.. 8.3. 8 Part. 9. 9.. 9.. 3. 3.. 3.. 3 4. 5 4.. 5 4.. 9 4.3. 3 Part. 6 5. () 6 5.. () 7 5.. 9 5.3. Γ 3 6. 3 6.. 3 6.. 3 6.3. 33 Part 3. 34 7. 34 7.. 34 7.. 34 8. 35

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

SFGÇÃÉXÉyÉNÉgÉãå`.pdf

SFGÇÃÉXÉyÉNÉgÉãå`.pdf SFG 1 SFG SFG I SFG (ω) χ SFG (ω). SFG χ χ SFG (ω) = χ NR e iϕ +. ω ω + iγ SFG φ = ±π/, χ φ = ±π 3 χ SFG χ SFG = χ NR + χ (ω ω ) + Γ + χ NR χ (ω ω ) (ω ω ) + Γ cosϕ χ NR χ Γ (ω ω ) + Γ sinϕ. 3 (θ) 180

More information

N/m f x x L dl U 1 du = T ds pdv + fdl (2.1)

N/m f x x L dl U 1 du = T ds pdv + fdl (2.1) 23 2 2.1 10 5 6 N/m 2 2.1.1 f x x L dl U 1 du = T ds pdv + fdl (2.1) 24 2 dv = 0 dl ( ) U f = T L p,t ( ) S L p,t (2.2) 2 ( ) ( ) S f = L T p,t p,l (2.3) ( ) U f = L p,t + T ( ) f T p,l (2.4) 1 f e ( U/

More information

平成 29 年度 ( 第 39 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 29 ~8 年月 73 月日開催 31 日 Riemann Riemann ( ). π(x) := #{p : p x} x log x (x ) Hadamard de

平成 29 年度 ( 第 39 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 29 ~8 年月 73 月日開催 31 日 Riemann Riemann ( ). π(x) := #{p : p x} x log x (x ) Hadamard de Riemann Riemann 07 7 3 8 4 ). π) : #{p : p } log ) Hadamard de la Vallée Poussin 896 )., f) g) ) lim f) g).. π) Chebychev. 4 3 Riemann. 6 4 Chebychev Riemann. 9 5 Riemann Res). A :. 5 B : Poisson Riemann-Lebesgue

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

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

基礎数学I

基礎数学I I & II ii ii........... 22................. 25 12............... 28.................. 28.................... 31............. 32.................. 34 3 1 9.................... 1....................... 1............

More information

note1.dvi

note1.dvi (1) 1996 11 7 1 (1) 1. 1 dx dy d x τ xx x x, stress x + dx x τ xx x+dx dyd x x τ xx x dyd y τ xx x τ xx x+dx d dx y x dy 1. dx dy d x τ xy x τ x ρdxdyd x dx dy d ρdxdyd u x t = τ xx x+dx dyd τ xx x dyd

More information

n ξ 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 information

Collatzの問題 (数学/数理科学セレクト1)

Collatzの問題 (数学/数理科学セレクト1) / AICHI UNIVERSITY OF EDUCATION A { z = x + iy 0.100

More information

kawa (Spin-Orbit Tomography: Kawahara and Fujii 21,Kawahara and Fujii 211,Fujii & Kawahara submitted) 2 van Cittert-Zernike Appendix A V 2

kawa (Spin-Orbit Tomography: Kawahara and Fujii 21,Kawahara and Fujii 211,Fujii & Kawahara submitted) 2 van Cittert-Zernike Appendix A V 2 Hanbury-Brown Twiss (ver. 1.) 24 2 1 1 1 2 2 2.1 van Cittert - Zernike..................................... 2 2.2 mutual coherence................................. 3 3 Hanbury-Brown Twiss ( ) 4 3.1............................................

More information

untitled

untitled 18 18 8 17 18 8 19 3. II 3-8 18 9:00~10:30? 3 30 3 a b a x n nx n-1 x n n+1 x / n+1 log log = logos + arithmos n+1 x / n+1 incompleteness theorem log b = = rosário Euclid Maya-glyph quipe 9 number digits

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

16 B

16 B 16 B (1) 3 (2) (3) 5 ( ) 3 : 2 3 : 3 : () 3 19 ( ) 2 ax 2 + bx + c = 0 (a 0) x = b ± b 2 4ac 2a 3, 4 5 1824 5 Contents 1. 1 2. 7 3. 13 4. 18 5. 22 6. 25 7. 27 8. 31 9. 37 10. 46 11. 50 12. 56 i 1 1. 1.1..

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

CVaR

CVaR CVaR 20 4 24 3 24 1 31 ,.,.,. Markowitz,., (Value-at-Risk, VaR) (Conditional Value-at-Risk, CVaR). VaR, CVaR VaR. CVaR, CVaR. CVaR,,.,.,,,.,,. 1 5 2 VaR CVaR 6 2.1................................................

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

30 2018.4.25 30 1 nuida@mist.i.u-tokyo.ac.jp 2018 4 11 2018 4 25 30 2018.4.25 1 1 2 8 3 21 4 28 5 37 6 43 7 47 8 52 30 2018.4.25 1 1 Z Z 0 Z >0 Q, R, C a, b a b a = bc c 0 a b b a b a a, b, c a b b c a

More information

I A A441 : April 21, 2014 Version : Kawahira, Tomoki TA (Kondo, Hirotaka ) Google

I A A441 : April 21, 2014 Version : Kawahira, Tomoki TA (Kondo, Hirotaka ) Google I4 - : April, 4 Version :. Kwhir, Tomoki TA (Kondo, Hirotk) Google http://www.mth.ngoy-u.c.jp/~kwhir/courses/4s-biseki.html pdf 4 4 4 4 8 e 5 5 9 etc. 5 6 6 6 9 n etc. 6 6 6 3 6 3 7 7 etc 7 4 7 7 8 5 59

More information

特別寄稿 1931 Kurt Gödel, inexhaustibility Jean Cavaillès,

特別寄稿 1931 Kurt Gödel, inexhaustibility Jean Cavaillès, Title < 特別寄稿 > 数学の無尽蔵性 と二つの哲学 -- カヴァイエスとゲーデル -- Author(s) 中村, 大介 Citation 哲学論叢 (2016), 43: 27-39 Issue Date 2016 URL http://hdl.handle.net/2433/219150 Right Type Departmental Bulletin Paper Textversion

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

,. Black-Scholes u t t, x c u 0 t, x x u t t, x c u t, x x u t t, x + σ x u t, x + rx ut, x rux, t 0 x x,,.,. Step 3, 7,,, Step 6., Step 4,. Step 5,,.

,. Black-Scholes u t t, x c u 0 t, x x u t t, x c u t, x x u t t, x + σ x u t, x + rx ut, x rux, t 0 x x,,.,. Step 3, 7,,, Step 6., Step 4,. Step 5,,. 9 α ν β Ξ ξ Γ γ o δ Π π ε ρ ζ Σ σ η τ Θ θ Υ υ ι Φ φ κ χ Λ λ Ψ ψ µ Ω ω Def, Prop, Th, Lem, Note, Remark, Ex,, Proof, R, N, Q, C [a, b {x R : a x b} : a, b {x R : a < x < b} : [a, b {x R : a x < b} : a,

More information

18 I ( ) (1) I-1,I-2,I-3 (2) (3) I-1 ( ) (100 ) θ ϕ θ ϕ m m l l θ ϕ θ ϕ 2 g (1) (2) 0 (3) θ ϕ (4) (3) θ(t) = A 1 cos(ω 1 t + α 1 ) + A 2 cos(ω 2 t + α

18 I ( ) (1) I-1,I-2,I-3 (2) (3) I-1 ( ) (100 ) θ ϕ θ ϕ m m l l θ ϕ θ ϕ 2 g (1) (2) 0 (3) θ ϕ (4) (3) θ(t) = A 1 cos(ω 1 t + α 1 ) + A 2 cos(ω 2 t + α 18 I ( ) (1) I-1,I-2,I-3 (2) (3) I-1 ( ) (100 ) θ ϕ θ ϕ m m l l θ ϕ θ ϕ 2 g (1) (2) 0 (3) θ ϕ (4) (3) θ(t) = A 1 cos(ω 1 t + α 1 ) + A 2 cos(ω 2 t + α 2 ), ϕ(t) = B 1 cos(ω 1 t + α 1 ) + B 2 cos(ω 2 t

More information