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

Size: px
Start display at page:

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

Transcription

1 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 = 1 Tate-Shafarevich ),, p Galois Bloch- ([BK90]),. L Galois ( )., Dirichlet,, p Galois ([Ka04]). 90 ([Ka93a], [FK06]), p Galois, p Galois ( ). p Galois.,, Q(ζ n ) (n 1) Euler ), Galois., p Galois Langlands, p Galois L L, p Galois L. L, L., L Galois., l Q l Galois G Ql p, Galois ( :16K17556) 2010 Mathematics Subject Classification: 11F80 (primary), 11F85, 11S25 (secondary), p Langlands nkentaro@cc.saga-u.ac.jp

2 ( ),, ( [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 p ) p Langlands )., GL 2 (Q p ) p Langlands, G Qp 2 p ( ), ( ) ([Na17b]). p Langlands?. 2., 2.1., ? p Galois V,,. Q, L (V ), (Hodge p ). Q l, (L, ) (L, ), l = p de Rham )D dr (V ), Bloch-Kato exponential., V (V ) 1 z geom (V ) (V ) (Q ), ε geom l (V ) (V ) (Q l ) (, Q V, L Beilinson ). p Galois p Galois

3 ., Z p [[T 1,..., T d ]] G Q G Ql T., X := Spec(Z p [[T 1,..., T d ]][1/p]) x X, T x V x p Galois (, T x X p Galois V x Spf(Z p [[T 1,..., T d ]]) ). T, T Galois, T 1 Z p [[T 1,..., T d ]]. (T ) z(t ) (T ) (Q ), ε l (T ) (T ) (Q l ), x X V x, z(t ), ε l (T ) x z(v x ), ε l (V x ) z geom (V x ) = z(v x ) (V x ) (Q ), ε geom l (V x ) = ε l (V x ) (V x ) (Q l ). 1, z(t ), ε l (T ), Bloch- d = 0, Z p Galois T. X = Spec(Q p ) = {x} 1, V x = T [1/p]., V x, Q p z geom (V x ), ε geom l (V x ) (V x ),, T Z p (T ) (V x )., Q V x L p Bloch- ([BK90]), Q l (l = p Bloch- exponential ) p Perrin-Riou ([Pe95]).,,.., Q 1 p Galois Γ := Gal(Q(ζ p )/Q), Λ := Z p [[Γ]]. Z p [[[T ]] Zp Z p [(Z p /2p) ],., V p Galois, T Galois V Z p. Λ Galois Dfm(T ) := T Zp Λ Galois g x y T Zp Λ g(x y) := gx [ḡ] 1 y (, ḡ Γ g Q(ζ p ) [ḡ] Λ ḡ ). Dfm(T ) T. Shapiro, Q p Dfm(T ) Λ HIw(Q i p, T ) := H i (Q p, Dfm(T )) lim H i (Q p (ζ p n), T ) cor

4 (, Dfm( ) Iw. ε Iw (T ) := ε(dfm(t )), Iw (T ) := (Dfm(T ))).,., Dfm(T ) T, T., µ p n := {x Q x pn = 1}, G Q Z p Z p (1) := lim µ p n., Kummer 1 p n n ζ p n µ p n (1 ζ p n) Z[ζ p n, 1/p] c n H 1 (Z[1/p, ζ p n], Z p (1)) H 1 (Q(ζ p n), Z p (1)). 1 p n {ζ p n} n 1 ζ p p n+1, = ζ p n c := (c n ) n 1 H 1 Iw(Z[1/p], Z p (1)) H 1 Iw(Q, Z p (1)). ([Ka93a]), Dfm(Z p (1)) z Iw (Z p (1)) Iw (Z p (1)) (, Iw (Z p (1)) Λ Frac(Λ), Iw (Z p (1)) Mazur-Wiles, Rubin Q ). 2, ([Ka04]), ( ). f(τ) := q + n 2 a n (f)q n (τ C, Im(τ) > 0, q := exp(2πiτ)) N k 2 Hecke. Q C, Q Q p a n (f) Q p, Q p {a n (f)} n 2 Q p F f., Eichler-, Deligne, G Q F f 2 V f, L L(V f, s) f L L(f, s) := n 1 a n (f) n s (Re(s) >> 0). V f, p {c n,f H 1 (Z[1/Np, ζ p n], V f ) n 1} c f H 1 Iw(Z[1/Np], V f )., Dfm(Z p (1)) z Iw (V f ) Iw (V f ) Λ Frac(Λ) (Dfm(V f ) ) ([Ka04], [Na17b])., Frac(Λ), Q,

5 , Iw (V f ). z Iw (V f ) ([Na17b]). p Galois., p, p, F( ), Galois T F.,, Dfm(T F ) ( [Oc06] )., Mazur Galois, F p Galois T, p T p Galois Z p [[T 1,..., T d ]]/I (I ) R univ ) T univ (T ). p Galois, T univ z(t univ ) (T univ ) (Q ), ε l (T univ ) (T univ ) (Q l ). Galois ( Galois Galois ) R = T ( (Hecke T ) ), R univ T univ., R = T T univ, ?, p Galois V z geom (V ) ε geom l (V ) (L ), p Galois., (2.1.1 ) Z p [[T 1,..., T d ]] Galois T. X := Spec(Z p [[T 1,..., T d ]][1/p])., X geom := {x X V x } X geom X, x X geom z geom (V x ) ε geom l (V x ) X, Galois., Q l, l p., Grothendieck, G Ql

6 p V Weil-Deligne W l (V ). V W l (V ) Deligne, Langlands ([De73]), Weil-Deligne, L l (W l (V )), ε l (W l (V )), V ε geom l (V ) (V )., l p G Ql p p. G Ql (l p) p = p,, Q l, l p ( [Ya09])., p ( Q ) l = p (G Qp p ) 2. G Qp 2 p., l = p l = p ( 1) G Qp p, G Qp p,. G Qp p V, Fontaine p ([Fo82], [Fo94]) Q p D crys (V ), D dr (V )., D crys (V ) Frobenius φ : D crys (V ) D crys (V ), D dr (V ) (Hodge ) {D i dr (V )} i Z. V Q p X H í et (X Q p Q p, Q p ), D dr (V ) X de Rham H i dr (X/Q p), X Z p X, D crys (V ) X Fp := X Zp F p H i crys(x Fp /Z p ) (. p Hodge!!). ( ), Fontaine = {crys, dr} dim Qp D (V ) = dim Qp (V ) V,, de Rham., X H í et (X Q p Q p, Q p ) de Rham, X Z p,., G Qp p Galois de Rham p. G Qp p = de Rham

7 , l = p p (!). ε geom p {de Rham } { p } (V ) (V ), de Rham V ε geom p (V ) (V )., l p Grothendieck l = p p ([Be02]) ( l = p!)., de Rham V Weil-Deligne W p (V ), V W p (V ) L p (W p (V )), ε p (W p (V )) l p. V W p (V ), l p V W l (V ) V, l = p V W p (V ) V., l = p ε geom p (V ) L p (W p (V )), ε p (W p (V )). ε geom p (V ),, D dr (V ) Hodge. D i dr (V )/D i+1 dr (V ) {0} i V Hodge-Tate, εgeom p (V ) V Hodge-Tate., ε geom p (V ), Bloch- exponential ([BK90]) exp V : D dr (V )/DdR(V 0 ) H 1 (Q p, V ) exponential exp V : H 1 (Q p, V ) D 0 dr(v ) ([Ka93a]).,, V G Q p, H 1 (Q, V ) loc p H 1 (Q p, V ) H 1 (Q, V ) loc p H 1 (Q p, V ) exp V DdR(V 0 ),, H 1 (Q, V ) L., ε geom p (V ). ε geom p (V ) = {L p (W p (V )) + ε p (W p (V )) + Hodge Tate + exp V + exp V } (, +, ) ( ).

8 1 p ( [Ka93b]) Dfm(V ) (V ) (Benois-Berger[BB08], Loeffler-Venjakob- Zerbes[LVZ15]) (trianguline ) ([Na17a]), V derham V W p (V ) (, 1 )., ε p (W p (V )) Gauss. Gauss p Galois,. W p (V ) ( ). 1([Na17b]),. 1 2 p ( ), F F p, G Qp F 2 T. R univ T, T univ V ( )., (T univ ) ε p (T univ ) (T univ ),, x Spec(R univ [1/p]) T univ x V x de Rham, ε p (T univ ) x ε p (V x ) ε p (V x ) = ε geom p (V x ). ε p (T univ )., ε p (V x ) = ε geom p (V x ) W p (V ),. ε p (V x ) = ε geom p (V x ), GL 2 (Q p ) p Langlands ? p 3. A Q := Ẑ Z Q Q, π GL n (A Q ). L, π L L(π, s) L Λ(π, s) := L (π, s)l(π, s), Λ(π, s) ( ) Λ(π, s) = ε(π, s)λ(π, 1 s) (, π π )., ε(π, s), Q l π ε(π l, s) ε(π, s) = l ε(π l, s)

9 (, ). z(t ) (T ). S p. Q S l S Q Galois, Galois G Q,S := Gal(Q S /Q). T ( )Z p [[T 1,..., T d ]] G Q,S, T, T (1) := T Zp Z p (1)(T Tate ). T S (T )(G Q,S Galois ), l S T GQl l (T )., Galois Galois Poitou-Tate, S (T (1)) l S l (T ) R S (T ).,. T, T (1), z S (T ) S (T ), ε l (T ) l (T )., z S (T (1)) = l S ε l (T ) z S (T ) T ([Ka93b],[FK06])., z S (T ) z S (T (1)), p V z geom (V ) L L(V (1), s) s = 0.,., z(t ) ε p (T )., L L (π, s) (Hodge ) ε p (V ) Hodge-Tate S = {p}, G Q,S Z p (1) Dfm(Z p (1))., z Iw S (Z p (1)) Iw S (Z p (1)), ([Ka93b]) ( 2) ε Iw p (Z p (1)) Iw p (Z p (1)) 2, f, S := {l N} {p}., z S Iw(V f) Iw S (V f), 1 Dfm(V f ) GQ p ε Iw p (V f ) Iw p (V f ) p ([Na17b]). 2 f z Iw S (V f )

10 3. GL 2 (Q p ) p Langlands GL 2 (Q p ) p Langlands, G Qp 2 p GL 2 (Q p ) p Banach., (Frobenius )Weil-Deligne 2 GL 2 (Q p ) GL 2 (Q p ) Langlands p., C, p Langlands G Qp GL 2 (Q p ) p., p Langlands. Breuil([Br03a],[Br03b], [Br04]), Colmez([Co10]) (φ, Γ) ([Fo91]) Galois GL 2 (Q p ), Berger-Breuil([BBr10]), Kisin([Ki10]), Pasukunas([Pa13]), Colmez- Dospinescu-Paskunas([CDP14])., Colmez G Qp 2 p ( ) GL 2 (Q p ) p Banach ( ) ( ). p, p. Emerton([Em11]) Kisin([Ki09]), p, G Q 2 p Galois V Fontaine-Mazur (Wiles -, ). GL 2 (Q p ) p Langlands 1. Emerton Kisin Fontaine-Mazur,,, (φ, Γ) (Colmez )., Colmez, GL 2 (Q p ) p Langlands! Colmez, 2 w := ( ) GL 2 (Q p ), ( Langlands ),. 1 2! w. (φ, Γ), G Qp 2 p T, B GL 2 (Q p ) Π(T )

11 (, T ). Π(T ) w GL 2 (Q p ) p Langlands.. V G Qp 2 p, Π(V ) GL 2 (Q p ) Banach. Π(V ) Π(V ) := Hom cont F (Π(V ), F ) (F Π(V ) Q p ), x Π(V ), y Π(V ) [x, y] := x(y) F. Π(V ) y, x Π(V ) GL 2 (Q p ) g [g x, y] F. Π(V ) Π(V ) alg. Colmez Π(V ) alg {0} V de Rham regular (, V Hodge-Tate (, 2 ) k 2 > k 1 regular ). Colmez Emerton([Em11]),, GL 2 (Q p ) ( ) Π(V ) alg π LL (W p (V )) F Sym k 2 k 1 1 (F 2 ) F det k 1 (, π LL (W p (V )) Langlands W p (V ) GL 2 (Q p ) ( F ) ) ( Langlands )., GL 2 (Q p ) p Langlands ( ), Emerton W p (V ) ( π LL (W p (V )) supercuspidal ), ( ) (G Qp 2 p T ) ε p (T ), ε geom p (V ), ε p (T ) (w ) Kirillov (GL 2 (Q p ) smooth Q p ), GL 2 (Q p ) smooth π ( ε p (π) ), w GL 2 (Q p ) π., G Qp 2 p T, Banach Π(T ) w T ε p (T ) (T ).

12 , Dfm(T ) ε Iw p (T ) Iw (T ) ( ε p (T ) (T ) ). Dfm(T ) Iw (T ) HIw 1 (Q p, T ), HIw 1 (Q p, T ) Π(T ).,, V = T 2 p ( ) p 0 ( T ). g p := 0 1 ( ) 1/p 0, Π(V ) δ. Π(V ) Π(V ) 0 1/p g p (Π(V ) ) gp=1, g p δ (Π(V ) ) gp=δ. w. γ Γ w : (Π(V ) ) g p=1 ( ) χ(γ) (Π(T ) ) g p=δ GL 2 (Q p ) (χ : Γ Z p p ), (Π(V ) ) g p=1 (Π(V ) ) g p=δ Λ[1/p] ( (Π(V ) ) g p=δ )., Colmez, Λ[1/p] (Π(V ) ) gp=1 H 1 Iw(Q p, V ), (Π(V ) ) gp=δ H 1 Iw(Q p, V (1)) (!)., w w : H 1 Iw(Q p, V ) H 1 Iw(Q p, V (1))., ε Iw p (V ) Iw (V ), Dfm(V ) Tate {, } Tate : H 1 Iw(Q p, V ) H 1 Iw(Q p, V (1)) Λ[1/p] 2 H 1 Iw (Q p, V ) (H 1 Iw (Q p, V ) 2 Λ[1/p] ) 2 H 1 Iw(Q p, V ) Λ[1/p] : x 1 x 2 {x 1, w x 2 } Tate ε geom p (V ) ( Langlands ) V regular 2 de Rham ε geom p (V ) (V ) 4.1 ε p (V ) (V ). V Weil-Deligne W p (V ) ( π LL (W p (V )) supercuspidal ),., ε geom p (V ), x H Iw (Q p, V ) α : H 1 iw(q p, V ) sp H 1 (Q p, V ) exp V D 0 dr(v )

13 α(x) ε p (W p (V )) 2, ε geom p (V ) ε p (W p (V )) + α(x) ε p (V ) x H Iw (Q p, V ) w : H 1 Iw (Q p, V ) H 1 Iw (Q p, V (1)) β : H 1 Iw(Q p, V (1)) sp H 1 (Q p, V (1)) exp V (1) D 0 dr(v (1)) β(w x) ( Hodge-Tate, ). ε p (V ) β(w x), ε p (V ) = ε geom p (V ), ε p (W p (V )) + α(x)? β(w x) x (Π(V ) ) g p=1, w x (Π(V ) ) g p=δ Π(V ). Colmez Kirillov (B Π(V ) alg Q p ), Q p y α, y β Π(V ) alg, x (Π(V ) ) g p=1, x (Π(V ) ) g p=δ ( ) α(x) [x, y α ], β(x ) [x, y β ]. y α, y β,, Langlands Π(V ) alg π LL (W p (V )) F Sym k 2 k 1 1 (F 2 ) det k 1 π LL (W p (V )) Kirillov w y β y α ε p (π LL (W p (V ))). w y β ε p (π LL (W p (V ))) + y α GL 2 (Q p ) Langlands ε p (π LL (W p (V ))) = ε p (W p (V )), w y β ε p (W p (V )) + y α. ε p (V ) β(w x) [w x, y β ] [x, w y β ] ε p (W p (V )) + [x, y α ] ε p (W p (V )) + α(x) ε geom p (V )

14 ε p (V ) ε geom p (V ). Langlands ε p (V ) = ε geom p (V ), ε p (V ) = ε geom p (V )( V ),, Π(V ) alg w, Π(V ) alg smooth π LL (W p (V ))., ε p (V ) = ε geom p (V ) Langlands! 5. 1 ε p (V ) = ε geom p (V ) Langlands GL 2 (Q p ) p Langlands = G Qp 2. G Q 2, Emerton ([Em11]). ([CEGGPS16a], [CEGGPS16b], [GN17] ), p Langlands, = G Q 2. [BB08] D. Benois, L. Berger, Théorie d Iwasawa des représentations cristallines. II, Comment. Math. Helv. 83 (2008), no. 3, [BBr10] L. Berger, C. Breuil, Sur quelques représentations potentiellement cristallines de GL 2 (Q p ), Astérisque 330, 2010, [Be02] L. Berger, Représentations p-adiques et équations différentielles, Invent. Math. 148 (2002), [BK90] S. Bloch, K. Kato, L-functions and Tamagawa numbers of motives. The Grothendieck Festschrift, Vol. I, , Progr. Math. 86, Birkhäuser Boston, Boston, MA [Br03a] C. Breuil, Sur quelques représentations modulaires et p-adiques de GL 2 (Q p ). I, Compositio Math. 138 (2003), [Br03b] C. Breuil, Sur quelques représentations modulaires et p-adiques de GL 2 (Q p ). II, J. Inst. Math. Jussieu 2 (2003), [Br04] C. Breuil, Invariant L et série spéciale p-adique, Ann. Scient. de l E.N.S. 37 (2004), [CEGGPS16a] A. Caraiani, M. Emerton, T. Gee, D. Geraghty, V. Paskunas, S. Shin, Paching and the p-adic local Langlands correspondence, Cambridge Journal of Mathematics 4 (2016), no. 2, [CEGGPS16b] A. Caraiani, M. Emerton, T. Gee, D. Geraghty, V. Paskunas, S. Shin, Patching and the p-adic Langlands program for GL 2 (Q p ), preprint. [Co10] P. Colmez, Représentations de GL 2 (Q p ) et (φ, Γ)-modules, Astérisque 330 (2010),

15 [CDP14] P. Colmez, G. Dospinescu, V. Paskunas, The p-adic local Langlands correspondence for GL 2 (Q p ), Cambridge Journal of Mathematics, Volume 2, Number 1 (2014), [De73] P. Deligne, Les constantes des équations fonctionelles des fonctions L, Modular functions of one variable, II (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972), pp Lecture Notes in Math., Vol. 349, Springer, Berlin, [Em11] M. Emerton, Local-global compatibility in the p-adic Langlands programme for GL /Q, preprint, available at emerton/preprints.html. [Fo82] J.-M. Fontaine, Sur certains types de représentations p-adiques du groupe de Galois d un corps local; construction d un anneau de Barsotti-Tate, Ann. of Math. (2) 115 (1982), [Fo91] J.-M. Fontaine, Représentations p-adiques des corps locaux, The Grothendieck Festschrift, vol 2, Prog. in Math. 87, Birkhäuser (1991), [Fo94] J.-M. Fontaine, Le corps des périodes p-adiques, Astérisque 223 (1994), [FK06] T. Fukaya, K. Kato, A formulation of conjectures on p-adic zeta functions in non commutative Iwasawa theory, Proceedings of the St. Petersburg Mathematical Society. Vol. XII (Providence, RI), Amer. Math. Soc. Transl. Ser. 2, vol. 219, Amer. Math. Soc., 2006, pp [FK12] T. Fukaya, K. Kato, On conjectures of Sharifi, preprint, [GN17] T. Gee, J. Newton, Patching and the completed homology of locally symmetric spaces, preprint. [Ka93a] K. Kato, Lectures on the approach to Iwasawa theory for Hasse-Weil L-functions via B dr. Arithmetic algebraic geometry, Lecture Notes in Mathematics 1553, Springer- Verlag, Berlin, 1993, [Ka93b] K. Kato, Lectures on the approach to Iwasawa theory for Hasse-Weil L-functions via B dr. Part II. Local main conjecture, unpublished preprint. [Ka04] K. Kato, p-adic Hodge theory and values of zeta functions of modular forms, Astérisque (2004), no. 295, ix, , Cohomologies p-adiques et applications arithmétiques. III. [Ki09] M. Kisin, The Fontaine-Mazur conjecture for GL 2, J. Amer. Math. Soc. 22 (2009), no. 3, [Ki10] M. Kisin, Deformations of G Qp and GL 2 (Q p )-representations, Astérisque 330 (2010), [LVZ15] D. Loeffler, O. Venjakob, S. L. Zerbes, Local ε-isomorphism, Kyoto J. Math. 55 (2015), no.1, [Na17a] K. Nakamura, A generalization of Kato s local ε-conjecture for (φ, Γ)-modules over the Robba ring, Algebra and Number Theory 11-2 (2017), [Na17b] K. Nakamura, Local epsilon isomorphisms for rank two p-adic representations of Gal(Q p /Q p ) and a functional equation of Kato s Euler system, to appear in Cambridge Journal of Mathematics. [Oc06] T. Ochiai, On the two-variable Iwasawa Main conjecture for Hida deformations, Compositio Mathematica, vol 142, [Pa13] V. Paskunas, The image of Colmez s Montreal functor, Publications Mathématiques de l IHÉS 118, Issue 1 (2013), [Pe95] B. Perrin-Riou, Fonctions L p-adiques des représentations p-adiques. Astérisque No. 229 (1995), 198 pp. [Ya09] S. Yasuda, Local constants in torsion rings, J. Math. Sci. Univ. Tokyo 16 (2009), no. 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 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 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

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

非可換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

[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

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

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

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

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

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

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

More information

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

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

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

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

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

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

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

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

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

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

[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

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

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

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

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

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

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

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

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

More information

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

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

More information

. 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

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

A11 (1993,1994) 29 A12 (1994) 29 A13 Trefethen and Bau Numerical Linear Algebra (1997) 29 A14 (1999) 30 A15 (2003) 30 A16 (2004) 30 A17 (2007) 30 A18

A11 (1993,1994) 29 A12 (1994) 29 A13 Trefethen and Bau Numerical Linear Algebra (1997) 29 A14 (1999) 30 A15 (2003) 30 A16 (2004) 30 A17 (2007) 30 A18 2013 8 29y, 2016 10 29 1 2 2 Jordan 3 21 3 3 Jordan (1) 3 31 Jordan 4 32 Jordan 4 33 Jordan 6 34 Jordan 8 35 9 4 Jordan (2) 10 41 x 11 42 x 12 43 16 44 19 441 19 442 20 443 25 45 25 5 Jordan 26 A 26 A1

More information

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

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

More information

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

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

More information

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

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

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

More information

Broadhurst-Kreimer Brown ( D3) 1 Broadhurst-Kreimer Zagier Gangl- -Zagi

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

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

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

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

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

More information

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

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

More information

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

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

A, B, C. (1) A = A. (2) A = B B = A. (3) A = B, B = C A = C. A = B. (3)., f : A B g : B C. g f : A C, A = C. 7.1, A, B,. A = B, A, A A., A, A

A, B, C. (1) A = A. (2) A = B B = A. (3) A = B, B = C A = C. A = B. (3)., f : A B g : B C. g f : A C, A = C. 7.1, A, B,. A = B, A, A A., A, A 91 7,.,, ( ).,,.,.,. 7.1 A B, A B, A = B. 1), 1,.,. 7.1 A, B, 3. (i) A B. (ii) f : A B. (iii) A B. (i) (ii)., 6.9, (ii) (iii).,,,. 1), Ā = B.. A, Ā, Ā,. 92 7 7.2 A, B, C. (1) A = A. (2) A = B B = A. (3)

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

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

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

More information

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

(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

untitled

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

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

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

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

2 1 κ c(t) = (x(t), y(t)) ( ) det(c (t), c x (t)) = det (t) x (t) y (t) y = x (t)y (t) x (t)y (t), (t) c (t) = (x (t)) 2 + (y (t)) 2. c (t) =

2 1 κ c(t) = (x(t), y(t)) ( ) det(c (t), c x (t)) = det (t) x (t) y (t) y = x (t)y (t) x (t)y (t), (t) c (t) = (x (t)) 2 + (y (t)) 2. c (t) = 1 1 1.1 I R 1.1.1 c : I R 2 (i) c C (ii) t I c (t) (0, 0) c (t) c(i) c c(t) 1.1.2 (1) (2) (3) (1) r > 0 c : R R 2 : t (r cos t, r sin t) (2) C f : I R c : I R 2 : t (t, f(t)) (3) y = x c : R R 2 : t (t,

More information

数学概論I

数学概論I {a n } M >0 s.t. a n 5 M for n =1, 2,... lim n a n = α ε =1 N s.t. a n α < 1 for n > N. n > N a n 5 a n α + α < 1+ α. M := max{ a 1,..., a N, 1+ α } a n 5 M ( n) 1 α α 1+ α t a 1 a N+1 a N+2 a 2 1 a n

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

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

医系の統計入門第 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

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

nsg02-13/ky045059301600033210

nsg02-13/ky045059301600033210 φ φ φ φ κ κ α α μ μ α α μ χ et al Neurosci. Res. Trpv J Physiol μ μ α α α β in vivo β β β β β β β β in vitro β γ μ δ μδ δ δ α θ α θ α In Biomechanics at Micro- and Nanoscale Levels, Volume I W W v W

More information

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

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

More information

3 de Sitter CMC 1 (Shoichi Fujimori) Department of Mathematics, Kobe University 3 de Sitter S (CMC 1), 1 ( [AA]). 3 H 3 CMC 1 Bryant ([B, UY1]).

3 de Sitter CMC 1 (Shoichi Fujimori) Department of Mathematics, Kobe University 3 de Sitter S (CMC 1), 1 ( [AA]). 3 H 3 CMC 1 Bryant ([B, UY1]). 3 de Sitter CMC 1 (Shoichi Fujimori) Department of Mathematics, Kobe University 3 de Sitter S 3 1 1 (CMC 1), 1 ( [AA]) 3 H 3 CMC 1 Bryant ([B, UY1]) H 3 CMC 1, Bryant ([CHR, RUY1, RUY2, UY1, UY2, UY3,

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

( ) Loewner SLE 13 February

( ) Loewner SLE 13 February ( ) Loewner SLE 3 February 00 G. F. Lawler, Conformally Invariant Processes in the Plane, (American Mathematical Society, 005)., Summer School 009 (009 8 7-9 ) . d- (BES d ) d B t = (Bt, B t,, Bd t ) (d

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

講義ノート 物性研究 電子版 Vol.3 No.1, (2013 年 T c µ T c Kammerlingh Onnes 77K ρ 5.8µΩcm 4.2K ρ 10 4 µωcm σ 77K ρ 4.2K σ σ = ne 2 τ/m τ 77K

講義ノート 物性研究 電子版 Vol.3 No.1, (2013 年 T c µ T c Kammerlingh Onnes 77K ρ 5.8µΩcm 4.2K ρ 10 4 µωcm σ 77K ρ 4.2K σ σ = ne 2 τ/m τ 77K 2 2 T c µ T c 1 1.1 1911 Kammerlingh Onnes 77K ρ 5.8µΩcm 4.2K ρ 1 4 µωcm σ 77K ρ 4.2K σ σ = ne 2 τ/m τ 77K τ 4.2K σ 58 213 email:takada@issp.u-tokyo.ac.jp 1933 Meissner Ochsenfeld λ = 1 5 cm B = χ B =

More information

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

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

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

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

( ) ) ) ) 5) 1 J = σe 2 6) ) 9) 1955 Statistical-Mechanical Theory of Irreversible Processes )

( ) ) ) ) 5) 1 J = σe 2 6) ) 9) 1955 Statistical-Mechanical Theory of Irreversible Processes ) ( 3 7 4 ) 2 2 ) 8 2 954 2) 955 3) 5) J = σe 2 6) 955 7) 9) 955 Statistical-Mechanical Theory of Irreversible Processes 957 ) 3 4 2 A B H (t) = Ae iωt B(t) = B(ω)e iωt B(ω) = [ Φ R (ω) Φ R () ] iω Φ R (t)

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

X 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

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

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

等質空間の幾何学入門

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

More information

2000年度『数学展望 I』講義録

2000年度『数学展望 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 information

入試の軌跡

入試の軌跡 4 y O x 4 Typed by L A TEX ε ) ) ) 6 4 ) 4 75 ) http://kumamoto.s.xrea.com/plan/.. PDF) Ctrl +L) Ctrl +) Ctrl + Ctrl + ) ) Alt + ) Alt + ) ESC. http://kumamoto.s.xrea.com/nyusi/kumadai kiseki ri i.pdf

More information

q n/2 X H n (X Fq,et, Q l) Frobenius q 1/2 (Deligne, [D5]) X (I) (II) X κ open (proper )smooth X κ proper strictly semi-stable weight filtration cohom

q n/2 X H n (X Fq,et, Q l) Frobenius q 1/2 (Deligne, [D5]) X (I) (II) X κ open (proper )smooth X κ proper strictly semi-stable weight filtration cohom Weight filtration on log crystalline cohomology ( ) 1 κ κ X cohomology X H n (X) Grothendieck, Deligne weight yoga ([G], [D1], [D4]) 1.1. H n (X) filtrationp k H n (X) (k Z) (1) gr P k Hn (X) := P k H

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

1 (Contents) (1) Beginning of the Universe, Dark Energy and Dark Matter Noboru NAKANISHI 2 2. Problem of Heat Exchanger (1) Kenji

1 (Contents) (1) Beginning of the Universe, Dark Energy and Dark Matter Noboru NAKANISHI 2 2. Problem of Heat Exchanger (1) Kenji 8 4 2018 6 2018 6 7 1 (Contents) 1. 2 2. (1) 22 3. 31 1. Beginning of the Universe, Dark Energy and Dark Matter Noboru NAKANISHI 2 2. Problem of Heat Exchanger (1) Kenji SETO 22 3. Editorial Comments Tadashi

More information

Design of highly accurate formulas for numerical integration in weighted Hardy spaces with the aid of potential theory 1 Ken ichiro Tanaka 1 Ω R m F I = F (t) dt (1.1) Ω m m 1 m = 1 1 Newton-Cotes Gauss

More information

1).1-5) - 9 -

1).1-5) - 9 - - 8 - 1).1-5) - 9 - ε = ε xx 0 0 0 ε xx 0 0 0 ε xx (.1 ) z z 1 z ε = ε xx ε x y 0 - ε x y ε xx 0 0 0 ε zz (. ) 3 xy ) ε xx, ε zz» ε x y (.3 ) ε ij = ε ij ^ (.4 ) 6) xx, xy ε xx = ε xx + i ε xx ε xy = ε

More information

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

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

More information

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

( ) (, ) ( )

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

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

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

Kullback-Leibler

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

More information

2010 ( )

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

More information

II 1 II 2012 II Gauss-Bonnet II

II 1 II 2012 II Gauss-Bonnet II II 1 II 212 II Gauss-Bonnet II 1 1 1.1......................................... 1 1.2............................................ 2 1.3.................................. 3 1.4.............................................

More information

prime number theorem

prime number theorem For Tutor MeBio ζ Eite by kamei MeBio 7.8.3 : Bernoulli Bernoulli 4 Bernoulli....................................................................................... 4 Bernoulli............................................................................

More information

1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3

1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3 1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A 2 1 2 1 2 3 α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3 4 P, Q R n = {(x 1, x 2,, x n ) ; x 1, x 2,, x n R}

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

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

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

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

More information

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

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

More information

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