INTEGRAL p-adic HODGE THEORY, TALK 14 (COMPARISON WITH THE DE RHAMWITT COMPLEX)
|
|
- Brice Wilkins
- 5 years ago
- Views:
Transcription
1 INTEGRAL -ADIC HODGE THEORY, TALK 4 (COMPARISON WITH THE DE RHAMWITT COMPLEX) JOAQUIN RODRIGUES JACINTO (NOTES BY JAMES NEWTON). Recollectons and statement of theorem Let K be a erfectod eld of characterstc 0, wth a xed comatble system of -ower roots of unty (ζ r) r, wth rng of ntegers O = O K and resdue eld k. Now we restate the man goal of ths week's talks: Theorem.. Let R be a small formally smooth O-algebra. Then for all r, n 0 we have natural somorhsms: W r Ω n,cont R/O = H n ( W r Ω R ). Remark.2. The mas W r Ω n,cont R/O Hn ( W r Ω R ) wll be constructed usng the unversal roerty of the de RhamWtt comlexes (they dene an ntal object n a sutable category of F -V -rocomlexes). It wll be a formal consequence of ths that the Bocksten derental on H ( W r Ω R ) wll corresond to the derental on W r Ω,cont R/O. We x once for all a framng O T ± R. Recall from last week that we have natural somorhsms: W r Ω R W r Ω roet R RΓ(X, W r Ω X ) where X = Sf(R) and X s the generc bre of X, and where we have by denton W r Ω R := Lη [ζ r ]RΓ cont (Z d, W r (R )), W r Ω roet R := Lη [ζ r ]RΓ(X roet, W r (Ô+ X )), where R = R O T ± O T ±/. We can comute these objects n the derved category by Koszul comlexes; denote the (toologcal) generators of Γ = Z d by γ. Then for a toologcal Γ- module M we have RΓ cont (Γ, M) = K M (γ,, γ d ) =: K M (γ ) Fnally we recall that we have constructed the comlex of A nf -modules AΩ R = Lη µ RΓ(X roet, A nf,x ) = Lη µ RΓ(Γ, A nf (R )) and that we have natural quas-somorhsms AΩ R L A nf, θ r W r (O) = W r Ω R.
2 2 INTEGRAL P -ADIC HODGE THEORY 2. Proof of theorem We are gong to reduce to the case of the Laurent olynomal rng R = O[T ± ]. Then we wll moreover reduce to the case over k and aly the usual Carter somorhsm. We saw n the last talk a rocedue for constructng an F -V -rocomlex out of a commutatve algebra object D n D(A nf ). We let D = RΓ(X roet, A nf,x ), whch comes equed wth a Frobenus ϕ D. Then we dene W n r (D) = H n (Lη µ D L A nf, θ r W r (O)) = H n ( W r Ω R ). By usng the general results from the last lecture, f we check that: Wr n (D) s -torson free, We have W r (O)-algebra mas λ r : W r (R) Wr 0 (D) commutng wth R, F, V, then {W r (D)} r nherts a structure of an F -V -rocomlex and hence, by unversal roerty of the relatve de Rham-Wtt comlexes, we get natural mas λ r : W r Ω R/O H ( W r Ω R ). To check these onts s easy: we saw last week that W n r (D) s -torson free (t follows from the Koszul comlex comutaton) and we can dentfy W 0 r (D) = H 0 ( W r Ω R ) = W r (R), so we take λ r to be the dentty. 2.. Reducton to R = O[R ± ]. We begn by the followng Fact: (a result of Elkk) there s a smooth O-algebra R 0 wth an étale ma O[T ± ] R 0 whch gves our xed ma O T ± R after -adc comleton. Now we consder the followng dagram: W r Ω n O[T ± ]/O W r(o[t ± ]) W r (R 0 ) H n ( W r Ω O T ± ) Wr(O[T ± ]) W r (R 0 ) W r Ω n,cont R 0/O = W rω n,cont R/O H n ( W r Ω R ) The equalty of the bottom-left term follows from the fact that -adc closure commutes wth formng the relatve de Rham-Wtt vectors, as we have seen n the last lecture. To show that the lower horzontal ma s an somorhsm, we wll show that the vertcal and uer horzontal mas are somorhsms after -adc comleton. The uer horzontal ma comes from a varant of the constructon of the mas λ r : W r Ω R/O H ( W r Ω R ) where we relace the restrcted Laurent seres rngs by Laurent olynomal rngs, and wll be exlaned n detal later. The left hand vertcal ma s an somorhsm (after -adcally comletng) by the étale base change roerty of the de RhamWtt comlex, whch says that W r Ω n O[T ± ]/O W r(o[t ± ]) W r (R 0 ) = W r Ω n R 0/O.
3 INTEGRAL -ADIC HODGE THEORY 3 The rght hand vertcal ma s an somorhsm by a smlar roerty for W r Ω R [, Lemma 9.9]. So t remans to show that the uer horzontal ma s an somorhsm (after -adc comleton) The case R = O[T ± ]. Now we let R = O[T ± ], and let D = RΓ(Γ, A nf [U ±/ ]), where we recall that the acton of Γ = Z d on A nf [U ±/ ] s gven by γ U /r = [ε] /r U /r and γ acts as the dentty on owers of U j for j. Remark 2.3. Recall that we have an dentcaton where U /s A nf (O T ±/ ) = A nf U ±/ = [(T /s, T /s+, )]. So now we dene as before W n r (D) = H n (Lη µ D L A nf, θ r W r (O)) and agan we need to check that these modules are -torson free and that we have mas λ r : W r (O[T ± ]) W 0 r (D) commutng wth R, F, V. Once ths s checked, we wll get natural mas λ n r : W r Ω n O[T ± ]/O W n r (D), and we wll show that they are somorhsms. In order to check these, and to comare Wr n (D) wth W r Ω n, we show O[T ± ]/O that we can comute Lη µ D usng a `q-de Rham comlex': Prooston 2.4. (Comare wth Lemma 0.0 n Fred's talk) Lη µ D d = q Ω ( A nf [U ± ]/A nf := Anf [U ± ] A nf [U ± ) ] dlogu, = where the derental n the two term comlex sends U k to [k] q U kdlogu, where [k] q = qk q and we set q = [ε] (dlogu s smly taken as a formal generator). Proof. As for Lemma 0.0 last week. We break u D as a drect sum of eces M a = K Anf ([ε] a(),, [ε] a(d) ) where a runs over functons {,, d} Z[/]. When we aly Lη µ only the terms for a wth mage n Z survve, we calculate the recse values for the survvng terms, and we get the above descrton. We obtan as a consequence a descrton of W n r (D): Lemma 2.5. For all n 0 there are somorhsms of W r (O)-modules Wr n (D) = W r u(s) (O) (d n). a:{,...,d} r Z In artcular, W n r (D) s -torson free. Proof. Ths follows secalsng the recedng Prooston to W r (O) (va the ma θ r, note that θ r ([ε]) = [ζ r]).
4 4 INTEGRAL P -ADIC HODGE THEORY Lemma 2.6. There s a unque W r (O)-algebra ma λ r : W r (O[T ± ]) = W 0 r (D), commutng wth R, F, V, and such that λ r ([T ]) = U. Proof. Ths follows from unravellng the dentcatons whch gve W r (O)[U ±/ ] = W r (O[T ±/ ]) U /s [T /r+s ] W 0 r (D) = H 0 (Lη µ D L A nf, θ r W r (O)) = (W r (O)[U ±/ ]) Γ = W r (O[T ± ]) Now we have vered the necessary roertes, we get an F -V -rocomlex structure on {W r D} r and hence natural mas λ r : W r Ω O[T ± ]/O W r (D) comatble wth everythng (d, F, V, R and the multlcatve structure). It remans to rove: Prooston 2.7. λ n r s an somorhsm for all n 0, r. We know that both sdes have a decomoston as a:{,,d} r Z M a where each M a s a nte drect sum of coes of W r u(a) (O). Frst we clam that the mas λ n r resect these decomostons. Ths s done by extendng the trval acton of Γ = Z d on O[T ± ] (res. the acton of Γ on A nf [U ±/ ] dened above) to Z[/] d by O-lnearty (res. A nf -lnearty) and the formulae γ r T = ζ rt, γ r T j = T j, j (res. γ r U = [ɛ] /r U, γ r U j = U j, j ), checkng that ths acton commutes wth R, F, V and hence wth λ d r, that the nduced acton of γ r on each M a s gven by multlcaton by [ζ a() ], and by usng ths and an sotycal r comonent argument to nally deduce the clam. Usng the above clam, we can easly deduce that t suces to show that each ma λ n r := λ n r Wr(O)W r (k) : W r Ω n O[T ± ]/O W r(o)w r (k) W n r (D) k := W n r (D) Wr(O)W r (k) s an somorhsm. We have already seen that W r Ω n O[T ± ]/O W r(o) W r (k) = W r Ω n k[t ± ]/k. The followng lemma shows that the other term has the same shae. Lemma 2.8. We have somorhsms (we don't clam that ths somorhsm s comatble wth λ n r!) W r (D) k = Wr Ω k[t ± ]/k comatble wth λ 0 r n degree 0. Proof. It follows from Prooston 2.4 that W r (D) k can be comuted by secalsng the q-de Rham comlex to W r (k) (the hgher Tors between W r (D) k and W r (k) over W r (O) vansh). Ths sends ε to, so we get the de Rham cohomology grou W n r (D) k = H n (Ω W r(k)[t ± ]/W r(k) )
5 INTEGRAL -ADIC HODGE THEORY 5 By the classcal Carter somorhsm, ths s gven by the usual de RhamWtt comlex: H n (Ω W r(k)[t ± ]/W ) = W r(k) rω n k[t ± ]/k. We can then check the clam about comatblty wth λ 0 r. To nsh the roof, we can now vew λ r as an endomorhsm of the dga W r Ω k[t ± ]/k, whch s the dentty on the degree 0 graded ece. Snce W r Ω s generated k[t ± ]/k n degree 0, we get by the above lemma λ r s the dentty. Ths comletes the roof of Prooston 2.7, and hence the man theorem. References [] Bhatt, B., Morrow, M. and Scholze, P. Integral -adc Hodge theory, arxv:
POL VAN HOFTEN (NOTES BY JAMES NEWTON)
INTEGRAL P -ADIC HODGE THEORY, TALK 2 (PERFECTOID RINGS, A nf AND THE PRO-ÉTALE SITE) POL VAN HOFTEN (NOTES BY JAMES NEWTON) 1. Wtt vectors, A nf and ntegral perfectod rngs The frst part of the talk wll
More informationSolutions for Tutorial 1
Toc 1: Sem-drect roducts Solutons for Tutoral 1 1. Show that the tetrahedral grou s somorhc to the sem-drect roduct of the Klen four grou and a cyclc grou of order three: T = K 4 (Z/3Z). 2. Show further
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More informationSites, Sheaves, and the Nisnevich topology
Stes, Sheaves, and the Nsnevch toology Bran Wllams Pretalbot 2014 1 Bundles and schemes The noton of a sheaf on a toologcal sace X s a famlar one. Gven a vector bundle E X one can consder, for each oen
More informationPre-Talbot ANSS. Michael Andrews Department of Mathematics MIT. April 2, 2013
Pre-Talbot ANSS Mchael Andrews Deartment of Mathematcs MIT Arl 2, 203 The mage of J We have an unbased ma SO = colm n SO(n) colm n Ω n S n = QS 0 mang nto the -comonent of QS 0. The ma nduced by SO QS
More informationLECTURE 5: FIBRATIONS AND HOMOTOPY FIBERS
LECTURE 5: FIBRATIONS AND HOMOTOPY FIBERS In ts lecture we wll ntroduce two mortant classes of mas of saces, namely te Hurewcz fbratons and te more general Serre fbratons, wc are bot obtaned by mosng certan
More informationModel categories. Daniel Robert-Nicoud
Model categores Danel Robert-Ncoud Localzaton Motvatons or model categores arse rom varous elds o study, e.g. rng theory and homotoy theory, as we wll see. More recsely, what we want to do s to reverse
More informationAlgorithms for factoring
CSA E0 235: Crytograhy Arl 9,2015 Instructor: Arta Patra Algorthms for factorng Submtted by: Jay Oza, Nranjan Sngh Introducton Factorsaton of large ntegers has been a wdely studed toc manly because of
More informationHomework Notes Week 7
Homework Notes Week 7 Math 4 Sprng 4 #4 (a Complete the proof n example 5 that s an nner product (the Frobenus nner product on M n n (F In the example propertes (a and (d have already been verfed so we
More informationSMARANDACHE-GALOIS FIELDS
SMARANDACHE-GALOIS FIELDS W. B. Vasantha Kandasamy Deartment of Mathematcs Indan Insttute of Technology, Madras Chenna - 600 036, Inda. E-mal: vasantak@md3.vsnl.net.n Abstract: In ths aer we study the
More informationPARTIAL QUOTIENTS AND DISTRIBUTION OF SEQUENCES. Department of Mathematics University of California Riverside, CA
PARTIAL QUOTIETS AD DISTRIBUTIO OF SEQUECES 1 Me-Chu Chang Deartment of Mathematcs Unversty of Calforna Rversde, CA 92521 mcc@math.ucr.edu Abstract. In ths aer we establsh average bounds on the artal quotents
More informationA Note on \Modules, Comodules, and Cotensor Products over Frobenius Algebras"
Chn. Ann. Math. 27B(4), 2006, 419{424 DOI: 10.1007/s11401-005-0025-z Chnese Annals of Mathematcs, Seres B c The Edtoral Oce of CAM and Sprnger-Verlag Berln Hedelberg 2006 A Note on \Modules, Comodules,
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More informationDepartment of Mathematics, La Jolla, California Abstract
A Bjecton for Sannng Trees of Comlete Multartte Grahs Omer Egecoglu Deartment of Comuter Scence Unversty of Calforna Santa Barbara, Calforna 9306 Jerey B. Remmel 3 Deartment of Mathematcs, Unversty of
More information( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.
Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationNon-Ideality Through Fugacity and Activity
Non-Idealty Through Fugacty and Actvty S. Patel Deartment of Chemstry and Bochemstry, Unversty of Delaware, Newark, Delaware 19716, USA Corresondng author. E-mal: saatel@udel.edu 1 I. FUGACITY In ths dscusson,
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationPower-sum problem, Bernoulli Numbers and Bernoulli Polynomials.
Power-sum roblem, Bernoull Numbers and Bernoull Polynomals. Arady M. Alt Defnton 1 Power um Problem Fnd the sum n : 1... n where, n N or, usng sum notaton, n n n closed form. Recurrence for n Exercse Usng
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationRestricted Lie Algebras. Jared Warner
Restrcted Le Algebras Jared Warner 1. Defntons and Examples Defnton 1.1. Let k be a feld of characterstc p. A restrcted Le algebra (g, ( ) [p] ) s a Le algebra g over k and a map ( ) [p] : g g called
More informationwhere a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
11. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationp-adic Galois representations of G E with Char(E) = p > 0 and the ring R
p-adc Galos representatons of G E wth Char(E) = p > 0 and the rng R Gebhard Böckle December 11, 2008 1 A short revew Let E be a feld of characterstc p > 0 and denote by σ : E E the absolute Frobenus endomorphsm
More information= s j Ui U j. i, j, then s F(U) with s Ui F(U) G(U) F(V ) G(V )
1 Lecture 2 Recap Last tme we talked about presheaves and sheaves. Preshea: F on a topologcal space X, wth groups (resp. rngs, sets, etc.) F(U) or each open set U X, wth restrcton homs ρ UV : F(U) F(V
More informationTHE MAIN CONSTRUCTION I
THE MAIN CONSTRUCTION I Contents 1. Introduction/ Notation 1 2. Motivation: the Cartier isomorphism 2 3. Definition of the map 3 4. Small algebras and almost purity 3 5. Cohomology of Z d p 5 6. Décalage
More informationEquations associated to Principal Congruence Subgroups of Level Ten or less, or Twelve
Equatons assocated to Prncal Congruence Subgrous of Level Ten or less, or Twelve Takash Nwa Introducton The urose of ths aer s to fnd equatons assocated to gven comact Remann surfaces. Though all comact
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationDistribution det x s on p-adic matrices
January 30, 207 Dstruton det x s on p-adc matrces aul arrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Let e a p-adc feld wth ntegers o, local parameter, and resdue feld cardnalty q. Let A
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationNECESSARY AND SUFFICIENT CONDITIONS FOR ALMOST REGULARITY OF UNIFORM BIRKHOFF INTERPOLATION SCHEMES. by Nicolae Crainic
NECESSARY AND SUFFICIENT CONDITIONS FOR ALMOST REGULARITY OF UNIFORM BIRKHOFF INTERPOLATION SCHEMES by Ncolae Cranc Abstract: In ths artcle usng a combnaton of the necessary and suffcent condtons for the
More informationOn functors between module categories for associative algebras and for N-graded vertex algebras
On functors between module categores for assocatve algebras and for N-graded vertex algebras Y-Zh Huang and Jnwe Yang Abstract We prove that the weak assocatvty for modules for vertex algebras are equvalent
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationLECTURE VI: THE HODGE-TATE AND CRYSTALLINE COMPARISON THEOREMS
LECTURE VI: THE HODGE-TATE AND CRYSTALLINE COMPARISON THEOREMS Last time, we formulated the following theorem (Theorem V.3.8). Theorem 0.1 (The Hodge-Tate comarison theorem). Let (A, (d)) be a bounded
More informationJournal of Pure and Applied Algebra
Journal of Pure and Aled Algebra 23 (2009) 20 207 Contents lsts avalable at ScenceDrect Journal of Pure and Aled Algebra journal homeage: wwwelsevercom/locate/jaa K 2 of fnte abelan grou algebras Yubn
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More informationINTERSECTION THEORY CLASS 13
INTERSECTION THEORY CLASS 13 RAVI VAKIL CONTENTS 1. Where we are: Segre classes of vector bundles, and Segre classes of cones 1 2. The normal cone, and the Segre class of a subvarety 3 3. Segre classes
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationLie conformal algebras and the variational complex
Le conformal algebras and the varatonal complex UMN Math Physcs Semnar February 10, 2014 Outlne Varatonal complex: a quck remnder Le conformal algebras and ther cohomology The varatonal complex as a LCA
More informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationA review of the foundations of perfectoid spaces
A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview
More informationTopics in Geometry: Mirror Symmetry
MIT OpenCourseWare http://ocw.mt.edu 18.969 Topcs n Geometry: Mrror Symmetry Sprng 2009 For normaton about ctng these materals or our Terms o Use, vst: http://ocw.mt.edu/terms. MIRROR SYMMETRY: LECTURE
More informationSome congruences related to harmonic numbers and the terms of the second order sequences
Mathematca Moravca Vol. 0: 06, 3 37 Some congruences related to harmonc numbers the terms of the second order sequences Neşe Ömür Sbel Koaral Abstract. In ths aer, wth hels of some combnatoral denttes,
More informationBivariate Hilbert functions for the torsion functor
Journal of Algebra 265 2003) 136 147 www.elsever.com/locate/jalgebra Bvarate Hlbert functons for the torson functor Emanol Theodorescu Department of Mathematcs, Unversty of Mssour, Columba, MO 65211, USA
More informationNot-for-Publication Appendix to Optimal Asymptotic Least Aquares Estimation in a Singular Set-up
Not-for-Publcaton Aendx to Otmal Asymtotc Least Aquares Estmaton n a Sngular Set-u Antono Dez de los Ros Bank of Canada dezbankofcanada.ca December 214 A Proof of Proostons A.1 Proof of Prooston 1 Ts roof
More informationSupplementary Material for Spectral Clustering based on the graph p-laplacian
Sulementary Materal for Sectral Clusterng based on the grah -Lalacan Thomas Bühler and Matthas Hen Saarland Unversty, Saarbrücken, Germany {tb,hen}@csun-sbde May 009 Corrected verson, June 00 Abstract
More informationWeek3, Chapter 4. Position and Displacement. Motion in Two Dimensions. Instantaneous Velocity. Average Velocity
Week3, Chapter 4 Moton n Two Dmensons Lecture Quz A partcle confned to moton along the x axs moves wth constant acceleraton from x =.0 m to x = 8.0 m durng a 1-s tme nterval. The velocty of the partcle
More informationLecture 4: Universal Hash Functions/Streaming Cont d
CSE 5: Desgn and Analyss of Algorthms I Sprng 06 Lecture 4: Unversal Hash Functons/Streamng Cont d Lecturer: Shayan Oves Gharan Aprl 6th Scrbe: Jacob Schreber Dsclamer: These notes have not been subjected
More informationTHE CARTIER ISOMORPHISM. These are the detailed notes for a talk I gave at the Kleine AG 1 in April Frobenius
THE CARTIER ISOMORPHISM LARS KINDLER Tese are te detaled notes for a talk I gave at te Klene AG 1 n Aprl 2010. 1. Frobenus Defnton 1.1. Let f : S be a morpsm of scemes and p a prme. We say tat S s of caracterstc
More informationON THE GELFAND-KIRILLOV DIMENSION NOETHERIAN PI-ALGEBRAS. by Martin Lorenz and Lance W. Small
Contemorary Mathematcs Volume 13, 1982 htt://dx.do.org/10.1090/conm/013/685952 ON THE GELFAND-KIRILLOV DIMENSION NOETHERIAN PI-ALGEBRAS OF by Martn Lorenz and Lance W. Small Let d(.) denote Gelfand-Krllov
More informationDescent is a technique which allows construction of a global object from local data.
Descent Étale topology Descent s a technque whch allows constructon of a global object from local data. Example 1. Take X = S 1 and Y = S 1. Consder the two-sheeted coverng map φ: X Y z z 2. Ths wraps
More informationDIFFERENTIAL SCHEMES
DIFFERENTIAL SCHEMES RAYMOND T. HOOBLER Dedcated to the memory o Jerry Kovacc 1. schemes All rngs contan Q and are commutatve. We x a d erental rng A throughout ths secton. 1.1. The topologcal space. Let
More informationCounting Solutions to Discrete Non-Algebraic Equations Modulo Prime Powers
Rose-Hulman Insttute of Technology Rose-Hulman Scholar Mathematcal Scences Techncal Reorts (MSTR) Mathematcs 5-20-2016 Countng Solutons to Dscrete Non-Algebrac Equatons Modulo Prme Powers Abgal Mann Rose-Hulman
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More informationExercise Solutions to Real Analysis
xercse Solutons to Real Analyss Note: References refer to H. L. Royden, Real Analyss xersze 1. Gven any set A any ɛ > 0, there s an open set O such that A O m O m A + ɛ. Soluton 1. If m A =, then there
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More information1 Matrix representations of canonical matrices
1 Matrx representatons of canoncal matrces 2-d rotaton around the orgn: ( ) cos θ sn θ R 0 = sn θ cos θ 3-d rotaton around the x-axs: R x = 1 0 0 0 cos θ sn θ 0 sn θ cos θ 3-d rotaton around the y-axs:
More informationSome Notes on Consumer Theory
Some Notes on Consumer Theory. Introducton In ths lecture we eamne the theory of dualty n the contet of consumer theory and ts use n the measurement of the benefts of rce and other changes. Dualty s not
More informationGenericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
More informationLecture 9: Converse of Shannon s Capacity Theorem
Error Correctng Codes: Combnatorcs, Algorthms and Alcatons (Fall 2007) Lecture 9: Converse of Shannon s Caacty Theorem Setember 17, 2007 Lecturer: Atr Rudra Scrbe: Thanh-Nhan Nguyen & Atr Rudra In the
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationQuantum Mechanics I - Session 4
Quantum Mechancs I - Sesson 4 Aprl 3, 05 Contents Operators Change of Bass 4 3 Egenvectors and Egenvalues 5 3. Denton....................................... 5 3. Rotaton n D....................................
More informationn-strongly Ding Projective, Injective and Flat Modules
Internatonal Mathematcal Forum, Vol. 7, 2012, no. 42, 2093-2098 n-strongly Dng Projectve, Injectve and Flat Modules Janmn Xng College o Mathematc and Physcs Qngdao Unversty o Scence and Technology Qngdao
More information(2mn, m 2 n 2, m 2 + n 2 )
MATH 16T Homewk Solutons 1. Recall that a natural number n N s a perfect square f n = m f some m N. a) Let n = p α even f = 1,,..., k. be the prme factzaton of some n. Prove that n s a perfect square f
More informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationLast week: proétale topology on X, with a map of sites ν : X proét X ét. Sheaves on X proét : O + X = ν O + X ét
INTEGRAL p-adi HODGE THEORY, TALK 3 (RATIONAL p-adi HODGE THEORY I, THE PRIMITIVE OMPARISON THEOREM) RAFFAEL SINGER (NOTES BY JAMES NEWTON) 1. Recap We x /Q p complete and algebraically closed, with tilt
More informationBernoulli Numbers and Polynomials
Bernoull Numbers and Polynomals T. Muthukumar tmk@tk.ac.n 17 Jun 2014 The sum of frst n natural numbers 1, 2, 3,..., n s n n(n + 1 S 1 (n := m = = n2 2 2 + n 2. Ths formula can be derved by notng that
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationIsothermal vs. adiabatic compression
Isothermal vs. adabatc comresson 1. One and a half moles of a datomc gas at temerature 5 C are comressed sothermally from a volume of 0.015 m to a volume of 0.0015 m. a. Sketch the rocess on a dagram and
More informationA Simple Research of Divisor Graphs
The 29th Workshop on Combnatoral Mathematcs and Computaton Theory A Smple Research o Dvsor Graphs Yu-png Tsao General Educaton Center Chna Unversty o Technology Tape Tawan yp-tsao@cuteedutw Tape Tawan
More informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More informationManaging Capacity Through Reward Programs. on-line companion page. Byung-Do Kim Seoul National University College of Business Administration
Managng Caacty Through eward Programs on-lne comanon age Byung-Do Km Seoul Natonal Unversty College of Busness Admnstraton Mengze Sh Unversty of Toronto otman School of Management Toronto ON M5S E6 Canada
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationThe transfer in modular invariant theory 1
Journal of Pure and Appled Algebra 4 (999 6 77 www.elsever.com/locate/jpaa The transfer n modular nvarant theory R. James Shank a;, Davd L. Wehlau a;b a Department of Mathematcs and Statstcs, Queen s Unversty,
More informationOn New Selection Procedures for Unequal Probability Sampling
Int. J. Oen Problems Comt. Math., Vol. 4, o. 1, March 011 ISS 1998-66; Coyrght ICSRS Publcaton, 011 www.-csrs.org On ew Selecton Procedures for Unequal Probablty Samlng Muhammad Qaser Shahbaz, Saman Shahbaz
More informationLecture 7: Gluing prevarieties; products
Lecture 7: Glung prevaretes; products 1 The category of algebrac prevaretes Proposton 1. Let (f,ϕ) : (X,O X ) (Y,O Y ) be a morphsm of algebrac prevaretes. If U X and V Y are affne open subvaretes wth
More informationNETWORK PARAMETERIZATIONS FOR THE GRASSMANNIAN
NETWORK PARAMETERIZATIONS FOR THE GRASSMANNIAN KELLI TALASKA AND LAUREN WILLIAMS Abstract Deodhar ntroduced hs decomoston of artal flag varetes as a tool for understandng Kazhdan-Lusztg olynomals The Deodhar
More informationBayesian epistemology II: Arguments for Probabilism
Bayesan epstemology II: Arguments for Probablsm Rchard Pettgrew May 9, 2012 1 The model Represent an agent s credal state at a gven tme t by a credence functon c t : F [0, 1]. where F s the algebra of
More informationarxiv: v1 [math.ag] 22 Mar 2016
Equatons assocated to the Prncal Congruence Subgrou of Level Eght arxv:60.0668v math.ag] Mar 06 Introducton Takash Nwa For a natural number q, let Γ q be the rncal congruence subgrou of level q of SL(,Z,
More informationTaylor series coefficients of the HP-polynomial as an invariant for links in the solid torus
Al. Math. Inf. c. 7, No. 1, 23-28 (213) 23 Aled Mathematcs & Informaton cences An Internatonal Journal c 213 NP Natural cences Publshng Cor. aylor seres coeffcents of the HP-olynomal as an nvarant for
More informationGELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n
GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n KANG LU FINITE DIMENSIONAL REPRESENTATIONS OF gl n Let e j,, j =,, n denote the standard bass of the general lnear Le algebra gl n over the feld of
More informationAn application of non-associative Composition-Diamond lemma
An applcaton of non-assocatve Composton-Damond lemma arxv:0804.0915v1 [math.ra] 6 Apr 2008 Yuqun Chen and Yu L School of Mathematcal Scences, South Chna Normal Unversty Guangzhou 510631, P. R. Chna Emal:
More informationHOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS. 1. Recollections and the problem
HOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS CORRADO DE CONCINI Abstract. In ths lecture I shall report on some jont work wth Proces, Reshetkhn and Rosso [1]. 1. Recollectons and the problem
More informationA Brown representability theorem via coherent functors
Topology 41 (2002) 853 861 www.elsever.com/locate/top A Brown representablty theorem va coherent functors Hennng Krause Fakultat fur Mathematk, Unverstat Belefeld, Postfach 100131, 33501 Belefeld, Germany
More informationarxiv: v2 [math.oa] 17 Nov 2008
Remarks on the non-commutatve Khntchne neualtes for 0 < < 2 arxv:0810.5705v2 [math.oa] 17 Nov 2008 by Glles Pser Texas A&M Unversty College Staton, TX 77843, U. S. A. and Unversté Pars 6 (UPMC) Insttut
More informationTHERMAL DISTRIBUTION IN THE HCL SPECTRUM OBJECTIVE
ame: THERMAL DISTRIBUTIO I THE HCL SPECTRUM OBJECTIVE To nvestgate a system s thermal dstrbuton n dscrete states; specfcally, determne HCl gas temperature from the relatve occupatons of ts rotatonal states.
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More informationP A = (P P + P )A = P (I P T (P P ))A = P (A P T (P P )A) Hence if we let E = P T (P P A), We have that
Backward Error Analyss for House holder Reectors We want to show that multplcaton by householder reectors s backward stable. In partcular we wsh to show fl(p A) = P (A) = P (A + E where P = I 2vv T s the
More informationDifferential Polynomials
JASS 07 - Polynomals: Ther Power and How to Use Them Dfferental Polynomals Stephan Rtscher March 18, 2007 Abstract Ths artcle gves an bref ntroducton nto dfferental polynomals, deals and manfolds and ther
More informationLecture 20: Lift and Project, SDP Duality. Today we will study the Lift and Project method. Then we will prove the SDP duality theorem.
prnceton u. sp 02 cos 598B: algorthms and complexty Lecture 20: Lft and Project, SDP Dualty Lecturer: Sanjeev Arora Scrbe:Yury Makarychev Today we wll study the Lft and Project method. Then we wll prove
More informationALGEBRA HW 7 CLAY SHONKWILER
ALGEBRA HW 7 CLAY SHONKWILER 1 Whch of the followng rngs R are dscrete valuaton rngs? For those that are, fnd the fracton feld K = frac R, the resdue feld k = R/m (where m) s the maxmal deal), and a unformzer
More information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
More informationIndeterminate pin-jointed frames (trusses)
Indetermnate pn-jonted frames (trusses) Calculaton of member forces usng force method I. Statcal determnacy. The degree of freedom of any truss can be derved as: w= k d a =, where k s the number of all
More informationR n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β
Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back
More information( ) 2 ( ) ( ) Problem Set 4 Suggested Solutions. Problem 1
Problem Set 4 Suggested Solutons Problem (A) The market demand functon s the soluton to the followng utlty-maxmzaton roblem (UMP): The Lagrangean: ( x, x, x ) = + max U x, x, x x x x st.. x + x + x y x,
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationON MECHANICS WITH VARIABLE NONCOMMUTATIVITY
ON MECHANICS WITH VARIABLE NONCOMMUTATIVITY CIPRIAN ACATRINEI Natonal Insttute of Nuclear Physcs and Engneerng P.O. Box MG-6, 07725-Bucharest, Romana E-mal: acatrne@theory.npne.ro. Receved March 6, 2008
More informationPresentations for cusped arithmetic hyperbolic lattices
Presentatons for cused arthmetc hyerbolc lattces Alce Mar, Julen Pauert October 5, 7 Abstract We resent a general method to comute a resentaton for any cused hyerbolc lattce Γ, alyng a classcal result
More information