Introduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013
|
|
- Horace Wiggins
- 5 years ago
- Views:
Transcription
1 Introduction to Arithmtic Gomtry Fall 2013 Lctur #20 11/14/ Dgr thorm for morphisms of curvs Lt us rstat th thorm givn at th nd of th last lctur, which w will now prov. Thorm Lt φ: C 1 C 2 b a morphism of curvs dfind ovr k. Thn for ach closd point Q of C 2 /k, dg φ (Q) = dg φ dg Q Bfor bginning th proof, lt us first show that w can assum without loss of gnrality that k is algbraically closd. If th closd point Q is th G k -orbit {Q 1,..., Q d }, with d = dg Q, aftr bas xtnsion to k w hav dg φ (Q) = dg φ (Q Q d ) = dg φ (Q 1 ) + + dg φ (Q d ), sinc both th dgr map and th pullback map φ : Div k(c 2 ) Div k(c 1 ) ar group homomorphisms. If w assum th thorm holds ovr k, thn vry trm on th right is qual to dg φ and th sum is d dg φ = dg φ dg Q. W now prov th thorm assuming k = k, following th approach of [1, III.2]. Proof of Thorm Fix Q C 2, and lt O Q b its local ring of rgular functions. Th st φ 1 (Q) is finit bcaus φ is not constant and C 1 is an irrducibl algbraic st of dimnsion on (so all its propr closd substs ar finit). Lt P 1,..., P n C 1 b th lmnts of φ 1 (Q), lt O 1,..., O n b th corrsponding local rings of rgular functions, and dfin n O = O i. By Lmma 20.4 blow, thr xist uniformizrs t 1,..., t n for O 1,... O n such that { 1 if i = j, ord Pi (t j ) = 0 othrwis. Th maximal idals of O ar (t 1 ),..., (t n ) and ach nonzro f O factors uniquly as i=1 f = ut 1 1 tn n, with u O and i = ord Pi (f). Undr th map φ : k(c 2 ) k(c 1 ), for any f O Q w hav ord Pi (φ f) = ord Pi (f φ) = ord Q (f) 0, thus φ (O Q ) is a subring of O. If w now lt t Q b a uniformizr for O Q, and put t = φ t Q w hav t = φ t = ut 1 t n Q 1 n whr i = ord Pi (φ t Q ) = φ (P i ). Sinc t 1,..., t n ar pairwis rlativly prim (maning that (t i ) + (t j ) = O for all i = j), by th Chins rmaindr thorm w hav n O/(t) i=1 O/( ti i) (1) 1 Andrw V. Suthrland
2 as a dirct sum of rings that ar also k-vctors spacs (hnc k-algbras). To prov th thorm w will comput th dimnsion of O(t) in two diffrnt ways, corrsponding to th two sids of th quality dg φ (Q) = dg φ that w ar trying to prov. On th LHS of th quality w wish to prov, th dgr of th divisor φ (Q) is dg φ (Q) = φ (P i ) dg P i = i, (2) sinc w hav dg P i = 1 for k = k. W claim that this is prcisly th dimnsion of O(t) i O/(t i i ) as a k-vctor spac, which w will prov blow. On th RHS of th quality, aftr idntifying k(c 2 ) with its imag φ (k(c 2 )) w hav dg φ = [k(c 1 ) : k(c 2 )], which w claim is qual to th rank of O as an O Q -modul (O Q is mbddd in O via φ ). Th ring O is an intgral domain that is finitly gnratd as a modul ovr th principal idal domain O Q, so it is torsion fr and isomorphic to O r Q for som intgr r (by th structur thorm for moduls ovr PIDs), hnc it maks sns to spak of its rank r. Th filds k(c 1 ) and φ (k(c 2 )) ar th fraction filds of th rings O and O Q, rspctivly, and it follows that th maximal numbr of lmnts of O that ar linarly indpndnt ovr O Q is xactly th sam as th maximal numbr of lmnts of k(c 1 ) that ar linarly indpndnt ovr k(c 2 ), which is prcisly [k(c 1 ) : k(c 2 )] = dg φ = d. If w choos a basis α 1,..., α d for k(c 1 ) ovr k(c 2 ) and lt = min{ ord Pi (α j ) : 0 i n, 0 j d }, thn th functions α 1 /t,..., α d /t ar rgular at all th P i and thrfor li in O. Thy ar linarly indpndnt ovr O Q, thus r d, and clarly r d, sinc any r lmnts of O k(c 1 ) that ar linarly indpndnt ovr O ar also linarly indpndnt ovr its fraction fild k(c 2 ). W hav O Q /(t) k, sinc (t) is a maximal idal, so dim k O/(t) = r = d = dg φ. To prov dim k O(t) = dg φ i (Q), by (1) and (2) it suffics to show that dimk O/(t i ) = i. W claim that for any positiv intgr n, ach function f O can b writtn uniquly as f a 0 + a 1 t i + + a n i mod t n i, 1 t n 1 with ach a i k. Applying this with n = i will yild th dsird rsult. For n = 1 w lt a 0 = f(p i ) k. W thn hav ord Pi (f a 0 ) = ord Pi (f f(p i )) 1, so f a 0 mod t i as dsird, and clarly a 0 is uniquly dtrmind. W now procd by induction on n, assuming that f g = a 0+a1t i+ an 1t n 1 i mod t n i. Th ord P i (f g) n, so h = t n i (f g) is rgular at P i and thrfor lis in O (sinc ord Pj (t i ) = 0 for j = i). Now lt a n = h(p i) k. Thn ord P (t n (h a )) n + 1 and w hav f g + a t n mod t n+1 i i n n as dsird. Th ky to th proof of Thorm 20.1 is Lmma 20.3, which gav us th indpndnt uniformizrs t 1,..., t n w ndd. In ordr to prov th lmma w nd a tight form of th (nonarchimdan) triangl inquality for valuations. Lmma 20.2 (Triangl quality). Lt v : F Γ b a valuation on a fild F. For any x, y F such that v(x) = v(y) w hav v(x + y) = min((v(x), v(y)). Proof. Assum v(x) < v(y). By th triangl inquality, v(x + y) min(v(x), v(y)). If this is not tight, v(x + y) > v(x), but thn v(x) = v((x + y) y) min(v(x + y), v(y)) > v(x), a contradiction. 2
3 W now prov th main lmma w nd, which is mor gnrally known as th thorm of indpndnc of valuations for function filds. Lmma 20.3 (Indpndnc of valuations). Lt P 1,..., P n b distinct placs of a function fild F. Thn thr xist t 1,..., t n so that v i (t j ) = δ ij (Kronckr dlta), whr v i dnots th valuation for P i. Proof. If n = 1, w can tak t 1 to b any uniformizr for P 1. W now procd by induction, assuming that t 1,..., t n 1 satisfy v i (t j ) = δ ij. It suffics to find tn with v n (t n ) = 1 and v i (t n ) = 0 for 0 i < n. With such a t n, w can thn rplac ach t i with t i /t n, whr = v n (t i ), so that v n (v i ) = 0 and v i (t j ) = δ ij as rquird. If v n (t i ) = 0 for 0 i < n, w can simply pick a uniformizr for P n and multiply it by suitabl powrs of th t i so that this is achivd, so lt us assum othrwis. W now pick s 1,..., s n 1 in O Pn with s i O Pi ; this is possibl bcaus non of th O Pi contain O Pn, by Thorm Thn v n (s i ) 0 and v i (s i ) < 0 for 0 i < n. By rplacing ach s i with si i for som suitably larg i > 0 w can arrang it so that at ach valuation v j, for 0 j < n, th valu min{ v j (s i i ) : i 0 i < n} is achivd by a uniqu si (possibly th sam s i i for diffrnt v j s). For s = si i w thn hav v j (s) < 0 for 0 j < n, by th triangl quality, and v n (s) 0. Now lt t b a uniformizr for O Pn, so v n (t) = 1. If v n (s) = 0 thn w can rplac t by s t for som suitabl so that v i (t) < 0 for 0 i < n and v n (t) = 1, and if v n (s) > 0 w can achiv th sam goal by rplacing t with s + t (again by th triangl quality). Now lt w b th product of t with suitabl powrs of t 1,..., t n 1 so that v i(w) = 0 for 0 i < n. If v n (w) = 0 thn apply th sam procdur to t + t for som suitably chosn > 0 so that this is not th cas (w hav v n (t i ) = 0 for som t i, so this is always possibl). Finally, if v n (w) < 0 thn rplac w with 1/w so v n (w) > 0. W than hav v i (w) = 0 for 0 i < n and v n (w) > 0. Now lt z = w + 1/t. W hav v i (1/t) > 0 for 0 i < n and v n (1/t) = 1, so by th triangl quality, v i (z) = 0 for 0 i < n and v n (z) = 1. For t n = 1/z w thn hav v i (t n ) = 0 for 0 i < n and v n (t n ) = 1 as dsird, and w ar don. Corollary Lt O 1,..., O n b distinct discrt valuation rings of a function fild F/k. Th ring O = i O i has xactly n nonzro prim idals (t 1 ),..., (t n ), ach principal and gnratd by a uniformizr for O i. Evry nonzro f O can b uniquly factord as f = ut 1 1 tn n with u O and i = ord Pi (f) 0. Proof. Th lmnts t 1,..., t n givn by Lmma 20.3 ar uniformizrs for O 1,..., O n, and it follows that vry f F can thn b writtn uniquly in th form x = ut 1 1 tn n with u O and i = ord Pi (x). Th nonzro lmnts of O ar prcisly thos for which th i ar all nonngativ, and th lmma is thn clar. W now not a furthr corollary of th lmma, which is an analog of th wak approximation thorm w provd in Lctur 11. Corollary 20.5 (Wak approximation for function filds). Lt P 1,..., P n b distinct placs of a function fild F/k, and lt f 1,..., f n F b givn. For vry positiv intgr N thr xists f F such that ord Pi (f f i ) > N for 0 i < n. Proof. Lt t 1,..., t n b as in Lmma As in th proof of Thorm 20.1, w can construct Laurnt polynomials g i k((t i )) such that g i f i mod t N i, whr th first nonzro trm of 3
4 g i is a s t s i whr a s = ord Pi (f). W thn hav ord Pi (g i f i ) N, and ord Pj (g i ) 0 for j = i sinc ord Pj (t i ) = 0 for j = i, this follows from th triangl inquality. Multiplying ach g i by (t N 1 t i 1 t i+1 t n ) and summing th rsults yilds th dsird function f. Not that in trms of absolut valus, making th valuation ord Pi (f f i ) larg corrsponds to making th corrsponding absolut valu f f i Pi small. To mak th analogy with Thorm 11.7 mor prcis, w could construct th compltions of F Pi at ach plac P i and thn th f i givn in th thorm would li in F Pi but f would still li in F. Th rlationship btwn F and its compltions F Pi is thn xactly analogous to th rlationship btwn Q and its compltions Q pi Divisors of dgr zro It follows from Thorm 20.1 that th group of principal divisors Princ k C is a subgroup of th group of dgr zro divisors Div 0 k C, th quotint Div0 k C/ Princ k C is dnotd Pic 0 k C. Equivalntly, Pic 0 k C is th krnl of th dgr map Pic C Z. W thn hav th xact squnc 1 k k(c) Div 0 k C Pic0 k C 0. Up to now all th groups of divisors and divisor classs w hav considrd hav bn infinit, but this is not tru of Pic 0 k. Th cas whr Pic0 k is trivial is alrady an intrsting rsult. Thorm Assum k = k. Thn C P 1 if and only if Pic 0 k C = {0}. Proof. Th forward implication is asy. Each point P = (a 0, a 1 ) P 1 is th zro locus of th polynomial f P (x 0, x 1 ) = a 1 x 0 a 0 x 1, and if w hav a divisor D = n P P w can n construct a corrsponding homognous rational function f = fp P. If D has dgr zro thn th numrator and dnominator of f hav th sam dgr and f is an lmnt of k(p 1 ) k(c), so D = div f. Thus Div k C = Princ k C and Pic 0 k C = 0. Now lt P and Q b distinct points in C(k); such P and Q xist bcaus k is algbraically closd. Thn f = f P /f Q is a non-constant function in C(k) that dfins a morphism (f P : f Q ) from C to P 1. Th polynomials f P and f Q hav dgr on, and this implis that th morphism f has dgr on and is an isomorphism. To chck this, w can us Thorm 20.1 with Q = 0 and t 0 = x/y to comput dg f = dg f (0) = f (P ) = ord P (f t 0 ) = ord P (t 0 f) = ord P (f P /f Q ) = 1. Now lt us considr th gnral cas, whr k is not ncssarily algbraically closd. W thn nd to work with closd points, but th forward implication still holds: if C/k is isomorphic to P 1 /k thn Pic 0 k C is trivial; th polynomials f P in th proof ar now irrducibl polynomials that may hav dgr gratr than on, but that dosn t chang th argumnt. But th convrs is mor intrsting. W can always find closd points P and Q on C/k, but for th abov proof to work w nd thm to hav dgr on, othrwis th function f P /f Q will not b an isomorphism. Equivalntly, w nd C/k to hav two distinct rational points P and Q; ths ar closd points of dgr on. W alrady know from arlir in th cours that if C/k has gnus 0 and vn on rational point thn it is isomorphic to P 1 /k (and thn it has mor than two rational points). But if C/k has positiv gnus it can happn that C/k has on rational point and Pic 0 k C = {0}, but C cannot b isomorphic to P 1, bcaus P 1 has gnus zro. Indd, this is xactly what happns for th lliptic curv 4
5 y 2 = x ovr Q, whos only rational point is. So w nd to add th hypothsis that C/k hav two distinct rational points in ordr to gt a thorm that works for gnral k. Corollary Lt C/k b a curv with at last two distinct rational points. Thn C/k is isomorphic to P 1 /k (with th isomorphism dfind ovr k) if and only if Pic 0 k C = {0}. As an intrsting consqunc, if C has gnus gratr than zro and at last two rational points, thn Pic 0 k C cannot b trivial. Th lliptic curv C : y2 = x 3 1 ovr k = Q is such an xampl, with Pic 0 k C of ordr 2. Rfrncs [1] I. R. Shafarvich, Basic algbraic gomtry, 2nd dition, Springr-Vrlag, [2] H. Stichtnoth, Algbraic function filds and cods, Springr,
6 MIT OpnCoursWar For information about citing ths matrials or our Trms of Us, visit:
Combinatorial Networks Week 1, March 11-12
1 Nots on March 11 Combinatorial Ntwors W 1, March 11-1 11 Th Pigonhol Principl Th Pigonhol Principl If n objcts ar placd in hols, whr n >, thr xists a box with mor than on objcts 11 Thorm Givn a simpl
More informationSection 6.1. Question: 2. Let H be a subgroup of a group G. Then H operates on G by left multiplication. Describe the orbits for this operation.
MAT 444 H Barclo Spring 004 Homwork 6 Solutions Sction 6 Lt H b a subgroup of a group G Thn H oprats on G by lft multiplication Dscrib th orbits for this opration Th orbits of G ar th right costs of H
More informationcycle that does not cross any edges (including its own), then it has at least
W prov th following thorm: Thorm If a K n is drawn in th plan in such a way that it has a hamiltonian cycl that dos not cross any dgs (including its own, thn it has at last n ( 4 48 π + O(n crossings Th
More informationRecall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1
Chaptr 11 Th singular sris Rcall that by Thorms 10 and 104 togthr provid us th stimat 9 4 n 2 111 Rn = SnΓ 2 + on2, whr th singular sris Sn was dfind in Chaptr 10 as Sn = q=1 Sq q 9, with Sq = 1 a q gcda,q=1
More informationConstruction of asymmetric orthogonal arrays of strength three via a replacement method
isid/ms/26/2 Fbruary, 26 http://www.isid.ac.in/ statmath/indx.php?modul=prprint Construction of asymmtric orthogonal arrays of strngth thr via a rplacmnt mthod Tian-fang Zhang, Qiaoling Dng and Alok Dy
More informationChapter 10. The singular integral Introducing S(n) and J(n)
Chaptr Th singular intgral Our aim in this chaptr is to rplac th functions S (n) and J (n) by mor convnint xprssions; ths will b calld th singular sris S(n) and th singular intgral J(n). This will b don
More informationCOUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM
COUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM Jim Brown Dpartmnt of Mathmatical Scincs, Clmson Univrsity, Clmson, SC 9634, USA jimlb@g.clmson.du Robrt Cass Dpartmnt of Mathmatics,
More informationLimiting value of higher Mahler measure
Limiting valu of highr Mahlr masur Arunabha Biswas a, Chris Monico a, a Dpartmnt of Mathmatics & Statistics, Txas Tch Univrsity, Lubbock, TX 7949, USA Abstract W considr th k-highr Mahlr masur m k P )
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by D. Klain Vrsion 207.0.05 Corrctions and commnts ar wlcom. Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix A A k I + A + k!
More informationBINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES
BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim (implicit in notation and n a positiv intgr, lt ν(n dnot th xponnt of p in n, and U(n n/p ν(n, th unit
More informationBINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES. 1. Statement of results
BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim and n a positiv intgr, lt ν p (n dnot th xponnt of p in n, and u p (n n/p νp(n th unit part of n. If α
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by Dan Klain Vrsion 28928 Corrctions and commnts ar wlcom Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix () A A k I + A + k!
More informationCPSC 665 : An Algorithmist s Toolkit Lecture 4 : 21 Jan Linear Programming
CPSC 665 : An Algorithmist s Toolkit Lctur 4 : 21 Jan 2015 Lcturr: Sushant Sachdva Linar Programming Scrib: Rasmus Kyng 1. Introduction An optimization problm rquirs us to find th minimum or maximum) of
More informationThus, because if either [G : H] or [H : K] is infinite, then [G : K] is infinite, then [G : K] = [G : H][H : K] for all infinite cases.
Homwork 5 M 373K Solutions Mark Lindbrg and Travis Schdlr 1. Prov that th ring Z/mZ (for m 0) is a fild if and only if m is prim. ( ) Proof by Contrapositiv: Hr, thr ar thr cass for m not prim. m 0: Whn
More informationSCHUR S THEOREM REU SUMMER 2005
SCHUR S THEOREM REU SUMMER 2005 1. Combinatorial aroach Prhas th first rsult in th subjct blongs to I. Schur and dats back to 1916. On of his motivation was to study th local vrsion of th famous quation
More informationLie Groups HW7. Wang Shuai. November 2015
Li roups HW7 Wang Shuai Novmbr 015 1 Lt (π, V b a complx rprsntation of a compact group, show that V has an invariant non-dgnratd Hrmitian form. For any givn Hrmitian form on V, (for xampl (u, v = i u
More informationOn the irreducibility of some polynomials in two variables
ACTA ARITHMETICA LXXXII.3 (1997) On th irrducibility of som polynomials in two variabls by B. Brindza and Á. Pintér (Dbrcn) To th mmory of Paul Erdős Lt f(x) and g(y ) b polynomials with intgral cofficints
More informationThe Equitable Dominating Graph
Intrnational Journal of Enginring Rsarch and Tchnology. ISSN 0974-3154 Volum 8, Numbr 1 (015), pp. 35-4 Intrnational Rsarch Publication Hous http://www.irphous.com Th Equitabl Dominating Graph P.N. Vinay
More informationEquidistribution and Weyl s criterion
Euidistribution and Wyl s critrion by Brad Hannigan-Daly W introduc th ida of a sunc of numbrs bing uidistributd (mod ), and w stat and prov a thorm of Hrmann Wyl which charactrizs such suncs. W also discuss
More informationSome remarks on Kurepa s left factorial
Som rmarks on Kurpa s lft factorial arxiv:math/0410477v1 [math.nt] 21 Oct 2004 Brnd C. Kllnr Abstract W stablish a connction btwn th subfactorial function S(n) and th lft factorial function of Kurpa K(n).
More informationWeek 3: Connected Subgraphs
Wk 3: Connctd Subgraphs Sptmbr 19, 2016 1 Connctd Graphs Path, Distanc: A path from a vrtx x to a vrtx y in a graph G is rfrrd to an xy-path. Lt X, Y V (G). An (X, Y )-path is an xy-path with x X and y
More informationCS 361 Meeting 12 10/3/18
CS 36 Mting 2 /3/8 Announcmnts. Homwork 4 is du Friday. If Friday is Mountain Day, homwork should b turnd in at my offic or th dpartmnt offic bfor 4. 2. Homwork 5 will b availabl ovr th wknd. 3. Our midtrm
More informationPropositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018
Propositional Logic Combinatorial Problm Solving (CPS) Albrt Olivras Enric Rodríguz-Carbonll May 17, 2018 Ovrviw of th sssion Dfinition of Propositional Logic Gnral Concpts in Logic Rduction to SAT CNFs
More informationOn spanning trees and cycles of multicolored point sets with few intersections
On spanning trs and cycls of multicolord point sts with fw intrsctions M. Kano, C. Mrino, and J. Urrutia April, 00 Abstract Lt P 1,..., P k b a collction of disjoint point sts in R in gnral position. W
More informationECE602 Exam 1 April 5, You must show ALL of your work for full credit.
ECE62 Exam April 5, 27 Nam: Solution Scor: / This xam is closd-book. You must show ALL of your work for full crdit. Plas rad th qustions carfully. Plas chck your answrs carfully. Calculators may NOT b
More informationHigher order derivatives
Robrto s Nots on Diffrntial Calculus Chaptr 4: Basic diffrntiation ruls Sction 7 Highr ordr drivativs What you nd to know alrady: Basic diffrntiation ruls. What you can larn hr: How to rpat th procss of
More informationMutually Independent Hamiltonian Cycles of Pancake Networks
Mutually Indpndnt Hamiltonian Cycls of Pancak Ntworks Chng-Kuan Lin Dpartmnt of Mathmatics National Cntral Univrsity, Chung-Li, Taiwan 00, R O C discipl@ms0urlcomtw Hua-Min Huang Dpartmnt of Mathmatics
More informationBasic Polyhedral theory
Basic Polyhdral thory Th st P = { A b} is calld a polyhdron. Lmma 1. Eithr th systm A = b, b 0, 0 has a solution or thr is a vctorπ such that π A 0, πb < 0 Thr cass, if solution in top row dos not ist
More informationA Propagating Wave Packet Group Velocity Dispersion
Lctur 8 Phys 375 A Propagating Wav Packt Group Vlocity Disprsion Ovrviw and Motivation: In th last lctur w lookd at a localizd solution t) to th 1D fr-particl Schrödingr quation (SE) that corrsponds to
More informationInternational Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN
Intrnational Journal of Scintific & Enginring Rsarch, Volum 6, Issu 7, July-25 64 ISSN 2229-558 HARATERISTIS OF EDGE UTSET MATRIX OF PETERSON GRAPH WITH ALGEBRAI GRAPH THEORY Dr. G. Nirmala M. Murugan
More informationEEO 401 Digital Signal Processing Prof. Mark Fowler
EEO 401 Digital Signal Procssing Prof. Mark Fowlr Dtails of th ot St #19 Rading Assignmnt: Sct. 7.1.2, 7.1.3, & 7.2 of Proakis & Manolakis Dfinition of th So Givn signal data points x[n] for n = 0,, -1
More informationDerangements and Applications
2 3 47 6 23 Journal of Intgr Squncs, Vol. 6 (2003), Articl 03..2 Drangmnts and Applications Mhdi Hassani Dpartmnt of Mathmatics Institut for Advancd Studis in Basic Scincs Zanjan, Iran mhassani@iasbs.ac.ir
More information1 Minimum Cut Problem
CS 6 Lctur 6 Min Cut and argr s Algorithm Scribs: Png Hui How (05), Virginia Dat: May 4, 06 Minimum Cut Problm Today, w introduc th minimum cut problm. This problm has many motivations, on of which coms
More information1 Isoparametric Concept
UNIVERSITY OF CALIFORNIA BERKELEY Dpartmnt of Civil Enginring Spring 06 Structural Enginring, Mchanics and Matrials Profssor: S. Govindj Nots on D isoparamtric lmnts Isoparamtric Concpt Th isoparamtric
More informationCramér-Rao Inequality: Let f(x; θ) be a probability density function with continuous parameter
WHEN THE CRAMÉR-RAO INEQUALITY PROVIDES NO INFORMATION STEVEN J. MILLER Abstract. W invstigat a on-paramtr family of probability dnsitis (rlatd to th Parto distribution, which dscribs many natural phnomna)
More informationQuasi-Classical States of the Simple Harmonic Oscillator
Quasi-Classical Stats of th Simpl Harmonic Oscillator (Draft Vrsion) Introduction: Why Look for Eignstats of th Annihilation Oprator? Excpt for th ground stat, th corrspondnc btwn th quantum nrgy ignstats
More informationFourier Transforms and the Wave Equation. Key Mathematics: More Fourier transform theory, especially as applied to solving the wave equation.
Lur 7 Fourir Transforms and th Wav Euation Ovrviw and Motivation: W first discuss a fw faturs of th Fourir transform (FT), and thn w solv th initial-valu problm for th wav uation using th Fourir transform
More information(Upside-Down o Direct Rotation) β - Numbers
Amrican Journal of Mathmatics and Statistics 014, 4(): 58-64 DOI: 10593/jajms0140400 (Upsid-Down o Dirct Rotation) β - Numbrs Ammar Sddiq Mahmood 1, Shukriyah Sabir Ali,* 1 Dpartmnt of Mathmatics, Collg
More informationFunction Spaces. a x 3. (Letting x = 1 =)) a(0) + b + c (1) = 0. Row reducing the matrix. b 1. e 4 3. e 9. >: (x = 1 =)) a(0) + b + c (1) = 0
unction Spacs Prrquisit: Sction 4.7, Coordinatization n this sction, w apply th tchniqus of Chaptr 4 to vctor spacs whos lmnts ar functions. Th vctor spacs P n and P ar familiar xampls of such spacs. Othr
More informationWhat is a hereditary algebra?
What is a hrditary algbra? (On Ext 2 and th vanishing of Ext 2 ) Claus Michal Ringl At th Münstr workshop 2011, thr short lcturs wr arrangd in th styl of th rgular column in th Notics of th AMS: What is?
More informationCLASSIFYING EXTENSIONS OF THE FIELD OF FORMAL LAURENT SERIES OVER F p
CLASSIFYING EXTENSIONS OF THE FIELD OF FORMAL LAURENT SERIES OVER F p JIM BROWN, ALFEEN HASMANI, LINDSEY HILTNER, ANGELA RAFT, DANIEL SCOFIELD, AND IRSTI WASH Abstract. In prvious works, Jons-Robrts and
More informationON RIGHT(LEFT) DUO PO-SEMIGROUPS. S. K. Lee and K. Y. Park
Kangwon-Kyungki Math. Jour. 11 (2003), No. 2, pp. 147 153 ON RIGHT(LEFT) DUO PO-SEMIGROUPS S. K. L and K. Y. Park Abstract. W invstigat som proprtis on right(rsp. lft) duo po-smigroups. 1. Introduction
More informationu 3 = u 3 (x 1, x 2, x 3 )
Lctur 23: Curvilinar Coordinats (RHB 8.0 It is oftn convnint to work with variabls othr than th Cartsian coordinats x i ( = x, y, z. For xampl in Lctur 5 w mt sphrical polar and cylindrical polar coordinats.
More informationAddition of angular momentum
Addition of angular momntum April, 07 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat
More informationDISTRIBUTION OF DIFFERENCE BETWEEN INVERSES OF CONSECUTIVE INTEGERS MODULO P
DISTRIBUTION OF DIFFERENCE BETWEEN INVERSES OF CONSECUTIVE INTEGERS MODULO P Tsz Ho Chan Dartmnt of Mathmatics, Cas Wstrn Rsrv Univrsity, Clvland, OH 4406, USA txc50@cwru.du Rcivd: /9/03, Rvisd: /9/04,
More informationAbstract Interpretation: concrete and abstract semantics
Abstract Intrprtation: concrt and abstract smantics Concrt smantics W considr a vry tiny languag that manags arithmtic oprations on intgrs valus. Th (concrt) smantics of th languags cab b dfind by th funzcion
More informationFinding low cost TSP and 2-matching solutions using certain half integer subtour vertices
Finding low cost TSP and 2-matching solutions using crtain half intgr subtour vrtics Sylvia Boyd and Robrt Carr Novmbr 996 Introduction Givn th complt graph K n = (V, E) on n nods with dg costs c R E,
More informationThe second condition says that a node α of the tree has exactly n children if the arity of its label is n.
CS 6110 S14 Hanout 2 Proof of Conflunc 27 January 2014 In this supplmntary lctur w prov that th λ-calculus is conflunt. This is rsult is u to lonzo Church (1903 1995) an J. arkly Rossr (1907 1989) an is
More informationν a (p e ) p e fpt(a) = lim
THE F -PURE THRESHOLD OF AN ELLIPTIC CURVE BHARGAV BHATT ABSTRACT. W calculat th F -pur thrshold of th affin con on an lliptic curv in a fixd positiv charactristic p. Th mthod mployd is dformation-thortic,
More informationThe graph of y = x (or y = ) consists of two branches, As x 0, y + ; as x 0, y +. x = 0 is the
Copyright itutcom 005 Fr download & print from wwwitutcom Do not rproduc by othr mans Functions and graphs Powr functions Th graph of n y, for n Q (st of rational numbrs) y is a straight lin through th
More informationAddition of angular momentum
Addition of angular momntum April, 0 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat th
More informationAS 5850 Finite Element Analysis
AS 5850 Finit Elmnt Analysis Two-Dimnsional Linar Elasticity Instructor Prof. IIT Madras Equations of Plan Elasticity - 1 displacmnt fild strain- displacmnt rlations (infinitsimal strain) in matrix form
More informationLecture 6.4: Galois groups
Lctur 6.4: Galois groups Matthw Macauly Dpartmnt of Mathmatical Scincs Clmson Univrsity http://www.math.clmson.du/~macaul/ Math 4120, Modrn Algbra M. Macauly (Clmson) Lctur 6.4: Galois groups Math 4120,
More informationperm4 A cnt 0 for for if A i 1 A i cnt cnt 1 cnt i j. j k. k l. i k. j l. i l
h 4D, 4th Rank, Antisytric nsor and th 4D Equivalnt to th Cross Product or Mor Fun with nsors!!! Richard R Shiffan Digital Graphics Assoc 8 Dunkirk Av LA, Ca 95 rrs@isidu his docunt dscribs th four dinsional
More informationME 321 Kinematics and Dynamics of Machines S. Lambert Winter 2002
3.4 Forc Analysis of Linkas An undrstandin of forc analysis of linkas is rquird to: Dtrmin th raction forcs on pins, tc. as a consqunc of a spcifid motion (don t undrstimat th sinificanc of dynamic or
More informationComputing and Communications -- Network Coding
89 90 98 00 Computing and Communications -- Ntwork Coding Dr. Zhiyong Chn Institut of Wirlss Communications Tchnology Shanghai Jiao Tong Univrsity China Lctur 5- Nov. 05 0 Classical Information Thory Sourc
More informationDeift/Zhou Steepest descent, Part I
Lctur 9 Dift/Zhou Stpst dscnt, Part I W now focus on th cas of orthogonal polynomials for th wight w(x) = NV (x), V (x) = t x2 2 + x4 4. Sinc th wight dpnds on th paramtr N N w will writ π n,n, a n,n,
More informationON THE DISTRIBUTION OF THE ELLIPTIC SUBSET SUM GENERATOR OF PSEUDORANDOM NUMBERS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 2008, #A3 ON THE DISTRIBUTION OF THE ELLIPTIC SUBSET SUM GENERATOR OF PSEUDORANDOM NUMBERS Edwin D. El-Mahassni Dpartmnt of Computing, Macquari
More information10. The Discrete-Time Fourier Transform (DTFT)
Th Discrt-Tim Fourir Transform (DTFT Dfinition of th discrt-tim Fourir transform Th Fourir rprsntation of signals plays an important rol in both continuous and discrt signal procssing In this sction w
More informationSupplementary Materials
6 Supplmntary Matrials APPENDIX A PHYSICAL INTERPRETATION OF FUEL-RATE-SPEED FUNCTION A truck running on a road with grad/slop θ positiv if moving up and ngativ if moving down facs thr rsistancs: arodynamic
More informationIntegration by Parts
Intgration by Parts Intgration by parts is a tchniqu primarily for valuating intgrals whos intgrand is th product of two functions whr substitution dosn t work. For ampl, sin d or d. Th rul is: u ( ) v'(
More informationHardy-Littlewood Conjecture and Exceptional real Zero. JinHua Fei. ChangLing Company of Electronic Technology Baoji Shannxi P.R.
Hardy-Littlwood Conjctur and Excptional ral Zro JinHua Fi ChangLing Company of Elctronic Tchnology Baoji Shannxi P.R.China E-mail: fijinhuayoujian@msn.com Abstract. In this papr, w assum that Hardy-Littlwood
More informationREPRESENTATIONS OF LIE GROUPS AND LIE ALGEBRAS
REPRESENTATIONS OF LIE GROUPS AND LIE ALGEBRAS JIAQI JIANG Abstract. This papr studis th rlationship btwn rprsntations of a Li group and rprsntations of its Li algbra. W will mak th corrspondnc in two
More informationSOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH.
SOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH. K VASUDEVAN, K. SWATHY AND K. MANIKANDAN 1 Dpartmnt of Mathmatics, Prsidncy Collg, Chnnai-05, India. E-Mail:vasu k dvan@yahoo.com. 2,
More informationExam 1. It is important that you clearly show your work and mark the final answer clearly, closed book, closed notes, no calculator.
Exam N a m : _ S O L U T I O N P U I D : I n s t r u c t i o n s : It is important that you clarly show your work and mark th final answr clarly, closd book, closd nots, no calculator. T i m : h o u r
More informationSearch sequence databases 3 10/25/2016
Sarch squnc databass 3 10/25/2016 Etrm valu distribution Ø Suppos X is a random variabl with probability dnsity function p(, w sampl a larg numbr S of indpndnt valus of X from this distribution for an
More informationINCOMPLETE KLOOSTERMAN SUMS AND MULTIPLICATIVE INVERSES IN SHORT INTERVALS. xy 1 (mod p), (x, y) I (j)
INCOMPLETE KLOOSTERMAN SUMS AND MULTIPLICATIVE INVERSES IN SHORT INTERVALS T D BROWNING AND A HAYNES Abstract W invstigat th solubility of th congrunc xy (mod ), whr is a rim and x, y ar rstrictd to li
More informationMiddle East Technical University Department of Mechanical Engineering ME 413 Introduction to Finite Element Analysis
Middl East Tchnical Univrsity Dpartmnt of Mchanical Enginring ME 43 Introduction to Finit Elmnt Analysis Chaptr 3 Computr Implmntation of D FEM Ths nots ar prpard by Dr. Cünyt Srt http://www.m.mtu.du.tr/popl/cunyt
More informationGALOIS STRUCTURE ON INTEGRAL VALUED POLYNOMIALS
GALOIS STRUCTURE ON INTEGRAL VALUED POLYNOMIALS BAHAR HEIDARYAN, MATTEO LONGO, AND GIULIO PERUGINELLI Abstract. W charactriz finit Galois xtnsions K of th fild of rational numbrs in trms of th rings Int
More informationCOMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.
C:\Dallas\0_Courss\03A_OpSci_67\0 Cgh_Book\0_athmaticalPrliminaris\0_0 Combath.doc of 8 COPUTER GENERATED HOLOGRAS Optical Scincs 67 W.J. Dallas (onday, April 04, 005, 8:35 A) PART I: CHAPTER TWO COB ATH
More informationPlatonic Orthonormal Wavelets 1
APPLIED AND COMPUTATIONAL HARMONIC ANALYSIS 4, 351 35 (1997) ARTICLE NO. HA9701 Platonic Orthonormal Wavlts 1 Murad Özaydin and Tomasz Przbinda Dpartmnt of Mathmatics, Univrsity of Oklahoma, Norman, Oklahoma
More informationNote If the candidate believes that e x = 0 solves to x = 0 or gives an extra solution of x = 0, then withhold the final accuracy mark.
. (a) Eithr y = or ( 0, ) (b) Whn =, y = ( 0 + ) = 0 = 0 ( + ) = 0 ( )( ) = 0 Eithr = (for possibly abov) or = A 3. Not If th candidat blivs that = 0 solvs to = 0 or givs an tra solution of = 0, thn withhold
More informationMATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES
MATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES JESSE BURKE AND MARK E. WALKER Abstract. W study matrix factorizations of locally fr cohrnt shavs on a schm. For a schm that is projctiv ovr an affin schm,
More informationUNTYPED LAMBDA CALCULUS (II)
1 UNTYPED LAMBDA CALCULUS (II) RECALL: CALL-BY-VALUE O.S. Basic rul Sarch ruls: (\x.) v [v/x] 1 1 1 1 v v CALL-BY-VALUE EVALUATION EXAMPLE (\x. x x) (\y. y) x x [\y. y / x] = (\y. y) (\y. y) y [\y. y /
More informationThe van der Waals interaction 1 D. E. Soper 2 University of Oregon 20 April 2012
Th van dr Waals intraction D. E. Sopr 2 Univrsity of Orgon 20 pril 202 Th van dr Waals intraction is discussd in Chaptr 5 of J. J. Sakurai, Modrn Quantum Mchanics. Hr I tak a look at it in a littl mor
More informationNEW APPLICATIONS OF THE ABEL-LIOUVILLE FORMULA
NE APPLICATIONS OF THE ABEL-LIOUVILLE FORMULA Mirca I CÎRNU Ph Dp o Mathmatics III Faculty o Applid Scincs Univrsity Polithnica o Bucharst Cirnumirca @yahoocom Abstract In a rcnt papr [] 5 th indinit intgrals
More informationSpectral Synthesis in the Heisenberg Group
Intrnational Journal of Mathmatical Analysis Vol. 13, 19, no. 1, 1-5 HIKARI Ltd, www.m-hikari.com https://doi.org/1.1988/ijma.19.81179 Spctral Synthsis in th Hisnbrg Group Yitzhak Wit Dpartmnt of Mathmatics,
More informationLOCAL STRUCTURE OF ALGEBRAIC MONOIDS
LOCAL STRUCTURE OF ALEBRAIC MONOIDS MICHEL BRION Abstract. W dscrib th local structur of an irrducibl algbraic monoid M at an idmpotnt lmnt. Whn is minimal, w show that M is an inducd varity ovr th krnl
More informationFirst derivative analysis
Robrto s Nots on Dirntial Calculus Chaptr 8: Graphical analysis Sction First drivativ analysis What you nd to know alrady: How to us drivativs to idntiy th critical valus o a unction and its trm points
More informationAlpha and beta decay equation practice
Alpha and bta dcay quation practic Introduction Alpha and bta particls may b rprsntd in quations in svral diffrnt ways. Diffrnt xam boards hav thir own prfrnc. For xampl: Alpha Bta α β alpha bta Dspit
More informationSquare of Hamilton cycle in a random graph
Squar of Hamilton cycl in a random graph Andrzj Dudk Alan Friz Jun 28, 2016 Abstract W show that p = n is a sharp thrshold for th random graph G n,p to contain th squar of a Hamilton cycl. This improvs
More informationWhat is the product of an integer multiplied by zero? and divided by zero?
IMP007 Introductory Math Cours 3. ARITHMETICS AND FUNCTIONS 3.. BASIC ARITHMETICS REVIEW (from GRE) Which numbrs form th st of th Intgrs? What is th product of an intgr multiplid by zro? and dividd by
More informationCoupled Pendulums. Two normal modes.
Tim Dpndnt Two Stat Problm Coupld Pndulums Wak spring Two normal mods. No friction. No air rsistanc. Prfct Spring Start Swinging Som tim latr - swings with full amplitud. stationary M +n L M +m Elctron
More information2.3 Matrix Formulation
23 Matrix Formulation 43 A mor complicatd xampl ariss for a nonlinar systm of diffrntial quations Considr th following xampl Exampl 23 x y + x( x 2 y 2 y x + y( x 2 y 2 (233 Transforming to polar coordinats,
More informationIntroduction to Condensed Matter Physics
Introduction to Condnsd Mattr Physics pcific hat M.P. Vaughan Ovrviw Ovrviw of spcific hat Hat capacity Dulong-Ptit Law Einstin modl Dby modl h Hat Capacity Hat capacity h hat capacity of a systm hld at
More informationNIL-BOHR SETS OF INTEGERS
NIL-BOHR SETS OF INTEGERS BERNARD HOST AND BRYNA KRA Abstract. W study rlations btwn substs of intgrs that ar larg, whr larg can b intrprtd in trms of siz (such as a st of positiv uppr dnsity or a st with
More informationProblem Set 6 Solutions
6.04/18.06J Mathmatics for Computr Scinc March 15, 005 Srini Dvadas and Eric Lhman Problm St 6 Solutions Du: Monday, March 8 at 9 PM in Room 3-044 Problm 1. Sammy th Shark is a financial srvic providr
More informationHigh Energy Physics. Lecture 5 The Passage of Particles through Matter
High Enrgy Physics Lctur 5 Th Passag of Particls through Mattr 1 Introduction In prvious lcturs w hav sn xampls of tracks lft by chargd particls in passing through mattr. Such tracks provid som of th most
More informationHomework #3. 1 x. dx. It therefore follows that a sum of the
Danil Cannon CS 62 / Luan March 5, 2009 Homwork # 1. Th natural logarithm is dfind by ln n = n 1 dx. It thrfor follows that a sum of th 1 x sam addnd ovr th sam intrval should b both asymptotically uppr-
More information10. Limits involving infinity
. Limits involving infinity It is known from th it ruls for fundamntal arithmtic oprations (+,-,, ) that if two functions hav finit its at a (finit or infinit) point, that is, thy ar convrgnt, th it of
More informationPROOF OF FIRST STANDARD FORM OF NONELEMENTARY FUNCTIONS
Intrnational Journal Of Advanc Rsarch In Scinc And Enginring http://www.ijars.com IJARSE, Vol. No., Issu No., Fbruary, 013 ISSN-319-8354(E) PROOF OF FIRST STANDARD FORM OF NONELEMENTARY FUNCTIONS 1 Dharmndra
More informationStrongly Connected Components
Strongly Connctd Componnts Lt G = (V, E) b a dirctd graph Writ if thr is a path from to in G Writ if and is an quivalnc rlation: implis and implis s quivalnc classs ar calld th strongly connctd componnts
More informationA. Limits and Horizontal Asymptotes ( ) f x f x. f x. x "±# ( ).
A. Limits and Horizontal Asymptots What you ar finding: You can b askd to find lim x "a H.A.) problm is asking you find lim x "# and lim x "$#. or lim x "±#. Typically, a horizontal asymptot algbraically,
More informationDifferentiation of Exponential Functions
Calculus Modul C Diffrntiation of Eponntial Functions Copyright This publication Th Northrn Albrta Institut of Tchnology 007. All Rights Rsrvd. LAST REVISED March, 009 Introduction to Diffrntiation of
More informationDivision of Mechanics Lund University MULTIBODY DYNAMICS. Examination Name (write in block letters):.
Division of Mchanics Lund Univrsity MULTIBODY DYNMICS Examination 7033 Nam (writ in block lttrs):. Id.-numbr: Writtn xamination with fiv tasks. Plas chck that all tasks ar includd. clan copy of th solutions
More informationMATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES
Homology, Homotopy and Applications, vol. 14(2), 212, pp.37 61 MATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES JESSE BURKE and MARK E. WALKER (communicatd by Charls A. Wibl) Abstract W study matrix factorizations
More informationMA 262, Spring 2018, Final exam Version 01 (Green)
MA 262, Spring 218, Final xam Vrsion 1 (Grn) INSTRUCTIONS 1. Switch off your phon upon ntring th xam room. 2. Do not opn th xam booklt until you ar instructd to do so. 3. Bfor you opn th booklt, fill in
More informationDIFFERENTIAL EQUATION
MD DIFFERENTIAL EQUATION Sllabus : Ordinar diffrntial quations, thir ordr and dgr. Formation of diffrntial quations. Solution of diffrntial quations b th mthod of sparation of variabls, solution of homognous
More informationSECTION where P (cos θ, sin θ) and Q(cos θ, sin θ) are polynomials in cos θ and sin θ, provided Q is never equal to zero.
SETION 6. 57 6. Evaluation of Dfinit Intgrals Exampl 6.6 W hav usd dfinit intgrals to valuat contour intgrals. It may com as a surpris to larn that contour intgrals and rsidus can b usd to valuat crtain
More informationABEL TYPE THEOREMS FOR THE WAVELET TRANSFORM THROUGH THE QUASIASYMPTOTIC BOUNDEDNESS
Novi Sad J. Math. Vol. 45, No. 1, 2015, 201-206 ABEL TYPE THEOREMS FOR THE WAVELET TRANSFORM THROUGH THE QUASIASYMPTOTIC BOUNDEDNESS Mirjana Vuković 1 and Ivana Zubac 2 Ddicatd to Acadmician Bogoljub Stanković
More information