where a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
|
|
- Matthew Phillips
- 5 years ago
- Views:
Transcription
1 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 an affne scheme s motvated by the correspondence between affne varetes and fntely generated algebras over a feld, wthout nlpotents. The dea s that we should be able to assocate to any rng R, a topologcal space X, and a set of contnuous functons on X, whch s equal to R. In practce ths s too much to expect and we need to work wth a slghtly more general object than a contnuous functon. Now f X s an affne varety, the ponts of X are n correspondence wth the maxmal deals of the coordnate rng A = A(X). Unfortunately f we have two arbtrary rngs R and S, then the nverse mage of a maxmal deal won t be maxmal. However t s easy to see that the nverse mage of a prme deal s a prme deal. Defnton Let R be a rng. X = Spec R denotes the set of prme deals of R. X s called the spectrum of R. Note that gven an element of R, we may thnk of t as a functon on X, by consderng t value n the quotent. Example It s nterestng to see what these functons look lke n specfc cases. Suppose that we take X = Spec k[x, y]. Now any element f = f(x, y) k[x, y] defnes a functon on X. Suppose that we consder a maxmal deal of the form p = x a, x b. Then the value of f at p s equal to the class of f nsde the quotent k[x, y] R/p = x a, x b. If we dentfy the quotent wth k, under the obvous dentfcaton, then ths s the same as evaluatng f at (a, b). Now consder Z. Suppose that we choose an element n Z. Then the value of n at the prme deal p = p s equal to the value of n modulo p. For example, consder n = 60. Then the value of ths functon at the pont 7 s equal to 60 mod 7 = 4 mod 7. Moroever 60 has zeroes at 2, 3 and 5, where both 3 and 5 are ordnary zeroes, but 2 s a double zero. Suppose that we take the rng R = k[x]/ x 2. Then the spectrum contans only one element, the prme deal x. Consder the element x R. Then x s zero on the unque element of the spectrum, but t s not the zero element of the rng. Now we wsh to defne a topology on the spectrum of a rng. We want to make the functons above contnuous. So gven an element 1
2 f R, we want the set { p Spec R f(p) = 0 } = { p Spec R f p }, to be closed. Gven that any deal a s the unon of all the prncpal deals contaned n t, so that the set of prme deals whch contan a s equal to the ntersecton of prme deals whch contan every prncpal deal contaned n a and gven that the ntersecton of closed sets s closed, we have an obvous canddate for the closed sets: Defnton The Zarsk topology on X s gven by takng the closed sets to be where a s any deal of R. V (a) = {p Spec R a p }, Lemma Let R be a rng. Then X = Spec R s a topologcal space. Moreover the open sets form a base for the topology. Proof. Easy check. U f = { p R f / p }, By what we sad above, the Zarsk topology s the weakest topology so that the zero sets of f R are closed. Example Let k be a feld. Then Spec k conssts of a sngle pont. Now consder Spec k[x]. If k s an algebracally closed feld, then by the Nullstellensatz, the maxmal deals are n correspondence wth the ponts of k. However, snce k[x] s an ntegral doman, the zero deal s a prme deal. Snce k[x] s a PID, the proper closed sets of X consst of fnte unons of maxmal deals. The closure of the pont ξ = 0 s then the whole of X. In partcular, not only s the Zarsk topology, for schemes, not Hausdorff or T 2, t s not even T 1. Now consder k[x, y], where k s an algebracally closed feld. Prme deals come n three types. The maxmal deals correspond to ponts of k 2. The zero deal, whose closure conssts of the whole of X. But there are also the prme deals whch correspond to prme elements f k[x, y]. The zero locus of f s then an rreducble curve C, and n fact the closure of the pont ξ = f s then the curve C. The proper closed sets thus consst of a fnte unon of maxmal deals, unon nfnte sets of the maxmal deals whch consst of all ponts belongng to an affne curve C, together wth the deal of each such curve. Now suppose that k s not algebracally closed. For example, consder Spec R[x]. As before the closure of the zero deal conssts of the whole 2
3 of X. The maxmal deals come n two flavours. Frst there are the deals x a, where a R. But n addton there are also the deals x 2 + ax + b = (x α β)(x α + β), where a, b, α and β > 0 are real numbers, so that b 2 4a < 0. There s a very smlar (but more complcated) pcture nsde Spec R[x, y]. The set V (x 2 + y 2 = 1) does not contan any deals of the frst knd, but t contans many deals of the second knd. In the classcal pcture, the conc does x 2 + y 2 = 1 does not contan any ponts but t does contan many ponts f you nclude all prme deals. Now suppose that we take Z. In ths case the maxmal deals correspond to the prme numbers, and n addton there s one pont whose closure s the whole spectrum. In ths respect Spec Z s very smlar to Spec k[t]. We wll need one very useful fact from commutatve algebra: Lemma If a R s an deal n a rng R then the radcal of a s the ntersecton of all prme deals contanng a. Proof. One ncluson s clear; every prme deal p s radcal (that s equal to ts own radcal) and so the ntersecton of all prme deals contanng a s radcal. Now suppose that r does not belong to the radcal of a. Let b be the deal generated by the mage of a nsde the rng R r. Then the mage of r nsde the quotent rng R r /b s non-zero. Pck an deal n ths rng, maxmal wth respect to the property that t does not contan the mage of r. Then the nverse mage p of ths deal s a prme deal whch does not contan r. Lemma Let X be the spectrum of the rng R and let f R. If U f = U g then f n = b g, where b 1, b 2,..., b k R. In partcular U f s compact. Proof. Takng complements, we see that V ( f ) = V ( g ) = V ( g ). Now V (a) conssts of all prme deals that contan a, and the radcal of a s the ntersecton of all the prme deals that contan a. Thus f = g. But then, n partcular, f n s a fnte lnear combnaton of the g and the correspondng open sets cover U f. 3
4 As ponted out above, we need a slghtly more general noton of a functon than the one gven above: Defnton Let R be a rng. We defne a sheaf of rngs O X on the spectrum of R as follows. Let U be any open set of X. A secton σ of O X (U) s by defnton any functon s: U p U R p, where s(p) R p, whch s locally represented by a quotent. More precsely, gven a pont q U, there s an element f R such that U f U and such that the secton σ U s represented by a/f n, for some a R and n N. An affne scheme s then any locally rnged space somorphc to the spectrum of a rng wth ts assocated sheaf. A scheme s a locally rnged space, whch s locally somorphc, as locally rnged space, to an affne scheme. It s not hard to see that O X (U) s a rng (sums and products are defned n the obvous way) and that we do n fact have a sheaf rather than just a presheaf. The key result s the followng: Lemma Let X be an affne scheme, somorphc to the the spectrum of R and let f R. (1) For any p X, the stalk O X,p s somorphc to the local rng R p. (2) The rng O X (U f ) s somorphc to R f. In partcular O X (X) R. Proof. We frst prove (1). There s an obvous rng homomorphsm O X,p R p, whch just sends a germ (g, U) to ts value g(p) at p. On the other hand, there s an obvous rng homomorphsm, R O X,p, whch sends an element r R to the par (r, X). Suppose that f / p. Then (1/f, U f ) defnes an element of O X,p, and ths element s an nverse of (f, X). It follows, by the unversal property of the localsaton, that there s a rng homomorphsm, R p O X,p, whch s the nverse map. Hence (1). 4
5 Now we turn to the proof of (2). As before there s an obvous rng homomorphsm, R O X (U f ), whch nduces a rng homomorphsm R f O X (U f ). We have to show that ths map s an somorphsm. We frst consder njectvty. Suppose that a/f n R f s sent to zero. Then for every p Spec R, f / p, the mage of a/f n s equal to zero n R p. For each such prme p there s an element h / p such that ha = 0 n R. Let a be the annhlator of a n R. Then h a and h / p, so that a s not a subset of p. Snce ths holds for every p U f, t follows that V (a) U f =. But then f a so that f l a, for some l. It follows that f l a = 0, so that a/f n s zero n R f. Thus the map s njectve. Now consder surjectvty. Pck s O X (U f ). By assumpton, we may cover U f by open sets V such that s s represented by a /g n on V. Replacng g by g n we may assume that n = 1. By defnton g / p, for every p V, so that V U g. Now snce sets of the form U h form a base for the topology, we may assume that V = U h. As U h U g t follows that V (g ) V (h ) so that h g. But then h n g, so that h n a = c g. In partcular = c a g h n. Replacng h by h n and a by c a, we may assume that U f s covered by U h, and that s s represented by a /h on U h. Now observe that by (11.7), f n = b h, where b 1, b 2,..., b k R and U f can be covered by fntely many of the sets U h. Thus we may assume that we have only fntely many h. Now on U h h j = U h U hj, there are two ways to represent s, one way by a /h and the other by a j /h j. By njectvty, we have a /h = a j /h j n R h h j so that for some n, (h h j ) n (h j a h a j ) = 0. Snce there are only fntely many and j, we may assume that n s ndependent of and j. We may rewrte ths equaton as If we replace h by h n+1 a /h and moreover h n+1 j (h n a ) h n+1 (h n j a j ) = 0. and a by h n a, then s s stll represented by h j a = h a j. 5
6 Let a = b a, where f n = b h. Then for each j, h j a = b a h j = b h a j = f n a j. But then a/f n = a j /h j on U hj. But then a/f n represents s on the whole of U f. Note that by (2) of (11.9), we have acheved our am of constructng a topologcal space from an arbtrary rng R, whch realses R as a natural subset of the contnuous functons. Defnton A morphsm of schemes s smply a morphsm between two locally rnged spaces whch are schemes. The gves us a category, the category of schemes. Note that the category of schemes contans the category of affne schemes as a full subcategory and that the category of schemes s a full subcategory of the category of locally rnged spaces. Theorem There s an equvalence of categores between the category of affne schemes and the category of commutatve rngs wth unty. Proof. Let F be the functor that assocates to an affne scheme, the global sectons of the structure sheaf. Gven a morphsm (f, f # ): (X, O X ) = Spec B (Y, O Y ) = Spec A, of locally rnged spaces then let φ: A B, be the nduced map on global sectons. It s clear that F s then a contravarant functor and F s essentally surjectve by (11.9). Now suppose that φ: A B s a rng homomorphsm. We are gong to construct a morphsm (f, f # ): (X, O X ) (Y, O Y ), of locally rnged spaces. Suppose that we are gven p X. Then p s a prme deal of B. But then q = φ 1 (p) s a prme deal of A. Thus we get a functon f : X Y. Now f a s an deal of A, then f 1 (V (a)) = V ( φ(a) ), so that f s certanly contnuous. For each prme deal p of B, there s an nduced morphsm φ p : A φ 1 (p) B p, 6
7 of local rngs. Now suppose that V Y s an open set. We want to defne a rng homomorphsm f # (V ): O Y (V ) O X (f 1 (V )). Suppose frst that V = U g, where g A. Then O Y (V ) = A g and f 1 (V ) U φ(g). But then there s a restrcton map O X (U φ(g) ) B φ(g) O X (f 1 (V )). On the other hand, composng there s a rng homomorphsm A B φ(g). Snce the mage of g s nvertble, by the unversal property of the localsaton, there s an nduced rng homomorphsm A g B φ(g). Puttng all of ths together, we have defned f # (V ) when V = U g. Snce the sets U g form a base for the topology, and these maps are compatble n the obvous sense, ths defnes a morphsm f # : O Y f O X, of sheaves. Clearly the nduced map on local rngs s gven by φ p, and so (f, f # ) s a morphsm of local rngs. Fnally t suffces to prove that these two assgnments are nverse. The composton one way s clear. If we start wth φ and construct (f, f # ) then we get back φ on global sectons. Conversely suppose that we start wth (f, f # ), and let φ be the map on global sectons. Gven p X, we get a morphsm of local rngs on stalks, whch s compatble wth φ and localsaton, so that we get a commutatve dagram A φ B f # p A f(p) B p. But snce f p # s a morphsm of local rngs, t follows that φ 1 (p) = f(p), so that f concdes wth the map nduced by φ. But then f # s also the map nduced by φ. Defnton Let X be a scheme and let x X be a pont of X. The resdue feld of X at x s the quotent of O X,x by ts maxmal deal. We recall some basc facts about valuatons and valuaton rngs. 7
8 Defnton Let K be a feld and let G be a totally ordered abelan group. A valuaton of K wth values n G, s a map ν : K {0} G, such that for all x and y K {0} we have: (1) ν(xy) = ν(x) + ν(y). (2) ν(x + y) mn(ν(x), ν(y)). Defnton-Lemma If ν s a valuaton, then the set R = { x K ν(x) 0 } {0}, s a subrng of K, whch s called the valuaton rng of ν. The set m = { x K ν(x) > 0 } {0}, s an deal n R and the par (R, m) s a local rng. Proof. Easy check. Defnton A valuaton s called a dscrete valuaton f G = Z and ν s surjectve. The correspondng valuaton rng s called a dscrete valuaton rng. Any element t R such that ν(t) = 1 s called a unformsng parameter. Lemma Let R be an ntegral doman, whch s not a feld. The followng are equvalent: R s a DVR. R s a local rng and a PID. Proof. Suppose that R s a DVR. Then R s certanly a local rng. Suppose that a and b R and ν(a) = ν(b). Then ν(b/a) = ν(b) ν(a) = 0 and so a = b. It follows that the deals of R are of the form I k = { a R ν(a) k }. As ν s surjectve, there s an element t R such that ν(t) = 1. Then I k = t k = m k. Thus R s a PID. Now suppose that R s a local rng and a PID. Let m be the unque maxmal deal. As R s a PID, m = t, for some t R. Defne a map ν : K Z, by sendng a to k, where a m k m k+1 and extendng ths to any fracton a/b n the obvous way. It s easy to check that ν s a valuaton and that R s the valuaton rng. 8
9 There are two key examples of a DVR. Frst let k be feld and let R = k[t] t. Then R s a local rng and a PID so that R s a DVR. t s a unformsng parameter. Note that R s the stalk of the struture shear of the affne lne at the orgn. Now let = { z C z < 1 }, be the unt dsc n the complex plane. Then the stalk O,0 of the sheaf of holomorphc functons s a local rng. The order of vanshng realses ths rng as a DVR. z s a unformsng parameter. In fact f C s a smooth algebrac curve, an algebrac varety of dmenson one, then O C,p s a DVR. Example Let R be the local rng of a curve over an algebracally closed feld (or more generally a dscrete valuaton rng). Then Spec R conssts of two ponts; the maxmal deal, and the zero deal. The frst t 0 s closed and has resdue feld the groundfeld k of C, the second t 0 has resdue feld the quotent rng K of R, and ts closure s the whole of X. The ncluson map R K corresponds to a morphsm whch sends the unque pont of Spec K to t 1. There s another morphsm of rnged spaces whch sends the unque pont of Spec K to t 0 and uses the ncluson above to defne the map on structure sheaves. Snce there s only one way to map R to K, ths does not come from a map on rngs. In fact the second map s not a morphsm of locally rnged spaces, and so t s not a morphsm of schemes. Example It s nterestng to see an example of an affne scheme, n a seemngly esoterc case. Consder the case of a number feld k (that s a fnte extenson of Q, wth ts rng of ntegers A k (that s the ntegral closure of Z nsde k). As a partcular example, take k = Q( 3). Then A = Z Z 3. The pcture s very smlar to the case of Z. There are nfntely many maxmal deals, and only one pont whch s not closed, the zero deal. Moreover, as there s a natural rng homomorphsm Z A, by our equvalence of categores, there s an nduced morphsm of schemes Spec A Spec Z. We nvestgate ths map. Consder the fbre over a pont p Spec Z. Ths s just the set of prmes n A contanng the deal pa. It s well known by number theorsts, that three thngs can happen: (1) If p dvdes the dscrmnant of k/q (whch n ths case s 12), that s p = 2 or 3, then the deal p s a square n A. 2 A = , 9
10 and 3 A = 3 2. (2) If 3 s a square modulo p, the prme p factors nto a product of dstnct prmes, 11 A = , or 13 A = , (3) If p > 3 and 3 s not a square mod p (e.g p = 5 and 7), the deal p s prme n A. Defnton Let C be a category and let X be an object of C. Let D = C X be the category whose objects consst of pars f : Y X, where f s a morphsm of C, and whose morphsms, consst of commutatve dagrams Y f φ Z X. D s known as the category over X. If X s a scheme, then a scheme over X s exactly an object of the category of schemes over X. Let R be a rng. Affne n-space over R, denoted A n R, s the spectrum of the polynomal rng R[x 1, x 2,..., x n ]. One of the key deas of schemes, s to work over arbtrary bases. Note that snce there s an ncluson R R[x 1, x 2,..., x n ] of rngs, affne space over R s a scheme over Spec R. Thus we may defne affne space over any affne scheme. g 10
where 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 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 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 informationPOL 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 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 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 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 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 informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
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 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 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 informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
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 informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
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 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 informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationALGEBRA MID-TERM. 1 Suppose I is a principal ideal of the integral domain R. Prove that the R-module I R I has no non-zero torsion elements.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationMAT 578 Functional Analysis
MAT 578 Functonal Analyss John Qugg Fall 2008 Locally convex spaces revsed September 6, 2008 Ths secton establshes the fundamental propertes of locally convex spaces. Acknowledgment: although I wrote these
More information42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
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 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 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 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 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 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 informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introducton to Cluster Algebra Ivan C.H. Ip Updated: Ma 7, 2017 3 Defnton and Examples of Cluster algebra 3.1 Quvers We frst revst the noton of a quver. Defnton 3.1. A quver s a fnte orented
More informationValuations compatible with a projection
ADERNOS DE MATEMÁTIA 05, 237 244 October (2004) ARTIGO NÚMERO SMA# 205 Valuatons compatble wth a projecton Fuensanta Aroca * Departamento de Matemátca, Insttuto de êncas Matemátcas e de omputação, Unversdade
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #25 12/05/2013
18.782 Introducton to Arthmetc Geometry Fall 2013 Lecture #25 12/05/2013 25.1 Overvew of Mordell s theorem In the last lecture we proved that the torson subgroup of the ratonal ponts on an ellptc curve
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 informationA NOTE ON RINGS OF FINITE RANK
A NOTE ON RINGS OF FINITE RANK PETE L. CLARK Abstract. The rank rk(r) of a rng R s the supremum of mnmal cardnaltes of generatng sets of I as I ranges over deals of R. Matson showed that every n Z + occurs
More informationÉTALE COHOMOLOGY. Contents
ÉTALE COHOMOLOGY GEUNHO GIM Abstract. Ths note s based on the 3-hour presentaton gven n the student semnar on Wnter 2014. We wll bascally follow [MlEC, Chapter I,II,III,V] and [MlLEC, Sectons 1 14]. Contents
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 informationCategorification of quantum groups
Categorfcaton of quantum groups Aaron Lauda Jont wth Mkhal Khovanov Columba Unversty June 29th, 2009 Avalable at http://www.math.columba.edu/ lauda/talks/ Aaron Lauda Jont wth Mkhal Khovanov (Columba Categorfcaton
More informationKuroda s class number relation
ACTA ARITMETICA XXXV (1979) Kurodas class number relaton by C. D. WALTER (Dubln) Kurodas class number relaton [5] may be derved easly from that of Brauer [2] by elmnatng a certan module of unts, but the
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 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 informationTHE DIVISOR CLASS GROUPS AND THE GRADED CANONICAL MODULES OF MULTI-SECTION RINGS
THE DIVISOR CLASS GROUPS AND THE GRADED CANONICAL MODULES OF MULTI-SECTION RINGS KAZUHIKO KURANO Abstract. We shall descrbe the dvsor class group and the graded canoncal module of the mult-secton rng T
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 informationMath 594. Solutions 1
Math 594. Solutons 1 1. Let V and W be fnte-dmensonal vector spaces over a feld F. Let G = GL(V ) and H = GL(W ) be the assocated general lnear groups. Let X denote the vector space Hom F (V, W ) of lnear
More informationThe Ramanujan-Nagell Theorem: Understanding the Proof By Spencer De Chenne
The Ramanujan-Nagell Theorem: Understandng the Proof By Spencer De Chenne 1 Introducton The Ramanujan-Nagell Theorem, frst proposed as a conjecture by Srnvasa Ramanujan n 1943 and later proven by Trygve
More informationMTH 819 Algebra I S13. Homework 1/ Solutions. 1 if p n b and p n+1 b 0 otherwise ) = 0 if p q or n m. W i = rw i
MTH 819 Algebra I S13 Homework 1/ Solutons Defnton A. Let R be PID and V a untary R-module. Let p be a prme n R and n Z +. Then d p,n (V) = dm R/Rp p n 1 Ann V (p n )/p n Ann V (p n+1 ) Note here that
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationTHE CLASS NUMBER THEOREM
THE CLASS NUMBER THEOREM TIMUR AKMAN-DUFFY Abstract. In basc number theory we encounter the class group (also known as the deal class group). Ths group measures the extent that a rng fals to be a prncpal
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationON THE GRAYSON SPECTRAL SEQUENCE. Andrei Suslin
ON THE GRAYSON SPECTRAL SEQUENCE Andre Susln Introducton The man purpose of these notes s to show that Grayson s motvc cohomology concdes wth the usual defnton of motvc cohomology - see [V2, S-V] for example
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
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 information2 More examples with details
Physcs 129b Lecture 3 Caltech, 01/15/19 2 More examples wth detals 2.3 The permutaton group n = 4 S 4 contans 4! = 24 elements. One s the dentty e. Sx of them are exchange of two objects (, j) ( to j and
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 informationD.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS
D.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS SUB: ALGEBRA SUB CODE: 5CPMAA SECTION- A UNIT-. Defne conjugate of a n G and prove that conjugacy s an equvalence relaton on G. Defne
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 informationJournal of Algebra 368 (2012) Contents lists available at SciVerse ScienceDirect. Journal of Algebra.
Journal of Algebra 368 (2012) 70 74 Contents lsts avalable at ScVerse ScenceDrect Journal of Algebra www.elsever.com/locate/jalgebra An algebro-geometrc realzaton of equvarant cohomology of some Sprnger
More informationINVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS
INVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS HIROAKI ISHIDA Abstract We show that any (C ) n -nvarant stably complex structure on a topologcal torc manfold of dmenson 2n s ntegrable
More informationarxiv: v2 [math.ag] 9 Nov 2018
FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. arxv:1710.01805v2 [math.ag] 9 Nov 2018 Abstract. Let X be a sngular algebrac varety
More informationRAMIFICATION OF VALUATIONS
RAMIFICATION OF VALUATIONS STEVEN DALE CUTKOSKY AND OLIVIER PILTANT 1. Introducton The ramfcaton theory of valuatons was developed classcally n fnte extensons of rngs of algebrac ntegers, and for mappngs
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
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 informationDOLD THEOREMS IN SHAPE THEORY
Volume 9, 1984 Pages 359 365 http://topology.auburn.edu/tp/ DOLD THEOREMS IN SHAPE THEORY by Harold M. Hastngs and Mahendra Jan Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs
More informationA FORMULA FOR EULER CHARACTERISTICS OF TAUTOLOGICAL LINE BUNDLES ON THE DELIGNE-MUMFORD MODULI SPACES. Y.P. Lee. U. C. Berkeley
A FORMULA FOR EULER CHARACTERISTICS OF TAUTOLOGICAL LINE BUNDLES ON THE DELIGNE-MUMFORD MODULI SPACES Y.P. Lee U. C. Berkeley Abstract. We compute holomorphc Euler characterstcs of the lne bundles n L
More informationK-theoretic computations in enumerative geometry
K-theoretc computatons n enumeratve geometry Shua Wang Oct 206 Introducton Recently, I m readng Prof. Okounkov s Lectures on K-theoretc computatons n enumeratve geometry, so ths notes s just a readng notes...
More informationarxiv: v3 [math.co] 20 Dec 2017
CONSTRUCTION OF THE LINDSTRÖM VALUATION OF AN ALGEBRAIC EXTENSION arxv:1704.08671v3 [math.co] 20 Dec 2017 DUSTIN CARTWRIGHT Abstract. Recently, Bollen, Drasma, and Pendavngh have ntroduced the Lndström
More informationOn the Operation A in Analysis Situs. by Kazimierz Kuratowski
v1.3 10/17 On the Operaton A n Analyss Stus by Kazmerz Kuratowsk Author s note. Ths paper s the frst part slghtly modfed of my thess presented May 12, 1920 at the Unversty of Warsaw for the degree of Doctor
More informationk(k 1)(k 2)(p 2) 6(p d.
BLOCK-TRANSITIVE 3-DESIGNS WITH AFFINE AUTOMORPHISM GROUP Greg Gamble Let X = (Z p d where p s an odd prme and d N, and let B X, B = k. Then t was shown by Praeger that the set B = {B g g AGL d (p} s the
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 informationIDEAL FACTORIZATION. Theorem 1.2. For elements α and β in a commutative ring, α β as elements if and only if (α) (β) as ideals.
IDEAL FACTORIZATION KEITH CONRAD 1. Introducton We wll prove here the fundamental theorem of deal theory n number felds: every nonzero proper deal n the ntegers of a number feld admts unque factorzaton
More information2 MADALINA ROXANA BUNECI subset G (2) G G (called the set of composable pars), and two maps: h (x y)! xy : G (2)! G (product map) x! x ;1 [: G! G] (nv
An applcaton of Mackey's selecton lemma Madalna Roxana Bunec Abstract. Let G be a locally compact second countable groupod. Let F be a subset of G (0) meetng each orbt exactly once. Let us denote by df
More informationMathematical Research Letters 6, (1999) SPACE FILLING CURVES OVER FINITE FIELDS. Nicholas M. Katz
Mathematcal Research Letters 6, 613 624 (1999) SPACE FILLING CURVES OVER FINITE FIELDS Ncholas M. Katz Introducton In ths note, we construct curves over fnte felds whch have, n a certan sense, a lot of
More informationarxiv: v4 [math.ag] 3 Sep 2016
BLUE SCHEMES, SEMIRIG SCHEMES, AD RELATIVE SCHEMES AFTER TOË AD VAQUIÉ OLIVER LORSCHEID arxv:1212.3261v4 [math.ag] 3 Sep 2016 ABSTRACT. It s a classcal nsght that the Yoneda embeddng defnes an equvalence
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 informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationOn the Reducibility of Cyclotomic Polynomials over Finite Fields
On the Reducblty of Cyclotomc Polynomals over Fnte Felds Brett Harrson under the drecton of Mk Havlíčková Massachusetts Insttute of Technology Research Scence Insttute August 2, 2005 Abstract The rreducblty
More informationPolynomials. 1 What is a polynomial? John Stalker
Polynomals John Stalker What s a polynomal? If you thnk you already know what a polynomal s then skp ths secton. Just be aware that I consstently wrte thngs lke p = c z j =0 nstead of p(z) = c z. =0 You
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 informationReview of metric spaces. 1. Metric spaces, continuous maps, completeness
(March 14, 2014) Revew of metrc spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [Ths document s http://www.math.umn.edu/ garrett/m/mfms/notes 2013-14/12a metrc spaces.pdf] We
More informationarxiv:alg-geom/ v3 6 Mar 2014
The Homogeneous Coordnate Rng of a Torc Varety Revsed June 21, 1993 Davd A. Cox Department of Mathematcs and Computer Scence Amherst College Amherst, MA 01002 arxv:alg-geom/9210008v3 6 Mar 2014 Ths paper
More informationDirichlet s Theorem In Arithmetic Progressions
Drchlet s Theorem In Arthmetc Progressons Parsa Kavkan Hang Wang The Unversty of Adelade February 26, 205 Abstract The am of ths paper s to ntroduce and prove Drchlet s theorem n arthmetc progressons,
More informationarxiv: v3 [math.ac] 30 Apr 2016
ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS arxv:13021124v3 [mathac] 30 Apr 2016 SERENA MURRU Abstract Let B be an affne Cohen-Macaulay algebra over a feld of characterstc p For every prme deal p B, let
More informationarxiv: v1 [math.dg] 15 Jun 2007
arxv:0706.2313v1 [math.dg] 15 Jun 2007 Cohomology of dffeologcal spaces and folatons E. Macías-Vrgós; E. Sanmartín-Carbón Abstract Let (M, F) be a folated manfold. We study the relatonshp between the basc
More informationA NOTE ON RINGS OF FINITE RANK
A NOTE ON RINGS OF FINITE RANK PETE L. CLARK Abstract. The rank rk(r) of a rng R s the supremum of mnmal cardnaltes of generatng sets of I as I ranges over deals of R. Matsuda and Matson showed that every
More informationMultivariate Subresultants
Multvarate Subresultants Marc Chardn Équpe de Calcul Formel Centre de Mathématques École Polytechnque F 91128 Palaseau cedex e-mal : chardn@polytechnque.fr Abstract In ths text, we wll ntroduce the natural
More informationMATH CLASS 27. Contents
MATH 6280 - CLASS 27 Contents 1. Reduced and relatve homology and cohomology 1 2. Elenberg-Steenrod Axoms 2 2.1. Axoms for unreduced homology 2 2.2. Axoms for reduced homology 4 2.3. Axoms for cohomology
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 informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
More informationarxiv: v2 [math.ct] 1 Dec 2017
FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES arxv:1710.04153v2 [math.ct] 1 Dec 2017 Abstract. Let R be an assocatve rng wth unt. We consder R-modules as module functors n the followng way: f M s a (left)
More informationErrata to Invariant Theory with Applications January 28, 2017
Invarant Theory wth Applcatons Jan Drasma and Don Gjswjt http: //www.wn.tue.nl/~jdrasma/teachng/nvtheory0910/lecturenotes12.pdf verson of 7 December 2009 Errata and addenda by Darj Grnberg The followng
More informationDOUBLE POINTS AND THE PROPER TRANSFORM IN SYMPLECTIC GEOMETRY
DOUBLE POINTS AND THE PROPER TRANSFORM IN SYMPLECTIC GEOMETRY JOHN D. MCCARTHY AND JON G. WOLFSON 0. Introducton In hs book, Partal Dfferental Relatons, Gromov ntroduced the symplectc analogue of the complex
More informationNon-additive geometry
Composto Math. 143 (2007 618 688 do:10.1112/s0010437x06002624 M. J. Sha Haran Abstract We develop a language that makes the analogy between geometry and arthmetc more transparent. In ths language there
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationCorrespondences and groupoids
Proceedngs of the IX Fall Workshop on Geometry and Physcs, Vlanova la Geltrú, 2000 Publcacones de la RSME, vol. X, pp. 1 6. Correspondences and groupods 1 Marta Macho-Stadler and 2 Moto O uch 1 Departamento
More informationVariations on the Bloch-Ogus Theorem
Documenta Math. 51 Varatons on the Bloch-Ogus Theorem Ivan Pann, Krll Zanoullne Receved: March 24, 2003 Communcated by Ulf Rehmann Abstract. Let R be a sem-local regular rng of geometrc type over a feld
More informationCase A. P k = Ni ( 2L i k 1 ) + (# big cells) 10d 2 P k.
THE CELLULAR METHOD In ths lecture, we ntroduce the cellular method as an approach to ncdence geometry theorems lke the Szemeréd-Trotter theorem. The method was ntroduced n the paper Combnatoral complexty
More informationMath 205A Homework #2 Edward Burkard. Assume each composition with a projection is continuous. Let U Y Y be an open set.
Math 205A Homework #2 Edward Burkard Problem - Determne whether the topology T = fx;?; fcg ; fa; bg ; fa; b; cg ; fa; b; c; dgg s Hausdor. Choose the two ponts a; b 2 X. Snce there s no two dsjont open
More informationMath 396. Bundle pullback and transition matrices
Math 396. Bundle pullback and transton matrces 1. Motvaton Let f : X X be a C p mappng between C p premanfolds wth corners (X, O) and (X, O ), 0 p. Let π : E X and π : E X be C p vector bundles. Consder
More informationLOCAL COHOMOLOGY AND D-MODULES
LOCAL COHOMOLOGY AND D-MODULES talk gven at the Unversty of Mchgan Student Commutatve Algebra Semnar 4 & 11 October, 2011 by Ashley K. Wheeler Ths talk follows the frst half of Mel Hochster s notes D-modules
More informationChapter Twelve. Integration. We now turn our attention to the idea of an integral in dimensions higher than one. Consider a real-valued function f : D
Chapter Twelve Integraton 12.1 Introducton We now turn our attenton to the dea of an ntegral n dmensons hgher than one. Consder a real-valued functon f : R, where the doman s a nce closed subset of Eucldean
More information