= s j Ui U j. i, j, then s F(U) with s Ui F(U) G(U) F(V ) G(V )
|
|
- Helen Johnston
- 5 years ago
- Views:
Transcription
1 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 ) or all open V U, satsyng certan condtons (ρ UU = d U, ρ UW = ρ V W ρ UV, F( ) = 0). Shea: In addton, we also requre dentty and glung. Identty: Gven U = U, s F(U) s.t. s U = 0, then s = 0. (locally zero everywhere zero) Glung: Gven s F(U ) s.t. s U U j = s j U U j, j, then s F(U) wth s U = s. (suces to gve a uncton locally, agreeng on overlaps) Remark: F( ) = 0 s not mpled by ether the preshea condtons, nor by consderng presheaves as a contravarant unctor Op(X) Ab. It s appled axomatcally by conventon. For sheaves, t s mpled by glung (e.g. consder a cover o the empty set). Moral: don t worry about t. Morphsms o (Pre)sheaves: φ : F G. A seres o morphsms φ(u) : F(U) G(U) or every open set U, that commute wth restrcton maps: F(U) ρ φ(u) G(U) ρ F(V ) G(V ) A morphsm s an somorphsm t has an nverse. φ(v ) Stalks: F p = lmf(u) = F(U)/ = {(s, U) s F(U)}/, where (s, U) (s, U ) V U U p U such that s V = s V. More sheaves Stalks package most o the normaton we want. A morphsm o (pre)sheaves φ : F G nduces a homomorphsm on stalks, φ p : F p G p,.e. φ p (s, U) = (φ(u)s, U). Ths s well-dened, or (s, U) = (s, U ), then because φ commutes wth restrctons, φ p (s, U) = φ p (s, U ). Ths gves another characterzaton o somorphsms. Proposton. (H, Prop.II.1.1): Let F G be a morphsm o sheaves. Then φ s an somorphsm and only φ p s an somorphsm p X. Sheacaton: Every preshea has an assocated shea. Gven a preshea F, we dene a shea F + called the sheacaton o F, as ollows: F + (U) = {unctons s : U F p s(p) F p, and p U, V wth p V U and t F(V ) such that s(q) = t q q V, where t q = (t, V ) F q } These are unctons whch map nto the dsjont unon o the stalks, where we requre that p s mapped nto the stalk at p, and locally the choces o stalks are related. Usually presheaves al to be sheaves
2 2 when they don t satsy the glung axom. The + constructon xes ths by addng n enough elements to allow glung. Exercse: 1. F + s a shea. 2. There s a natural morphsm o presheaves θ : F F + such that s F(U) s + : U F p, wth s + (p) = s p = (s, U). 3. Unversal property. For any shea F and a morphsm o presheaves φ : F G there exsts a unque ψ : F + G such that: F F + F + s the smplest possble shea we could assocate to F. The + constructon s useul because sometmes when we do an operaton on a shea, we only get a preshea, so then we need to sheay. Denton: Let φ : F G be a morphsm o (pre)sheaves. The preshea kernel o φ s U ker φ(u) The preshea cokernel o φ s U coker φ(u) = G(U)/φ(U) The preshea mage o φ s U φ(u) Each o the φ(u) are group homomorphsms, so t makes sense to talk about kernels, etc. These are subpresheaves o F (or ker φ) or G (or the other two). I F and G are sheaves, then preshea kernel s n act a shea (check ths!), and the shea kernel (ker φ) s dened as ths. But the shea cokernel (coker φ) and shea mage (m φ) are the sheacatons o the preshea cokernel and mages. Surjectvty doesn t mean what you thnk t does. We say φ : F G s njectve ker φ = 0. We say φ : F G s surjectve m φ = G. G!ψ Ane Schemes From now on, R wll always be a commutatve rng wth dentty (not necessarly Noetheran). To talk about geometry, we need a topologcal space and a noton o unctons. Sheaves gve us a way o talkng about unctons. Denton: An ane scheme, Spec R, s a topologcal space, wth a shea o rngs O SpecR, ts structure shea. Examples to keep n mnd when thnkng about these dentons: ) thnk o R as a coordnate rng o a varety - or even k[x 1,..., x n ]; ) thnk o R as the most pathologcal example magnable. A shea o rngs means a shea where O SpecR (U) s a rng open U and the homs are rng homs. The topologcal space Spec R s the set o all prme deals n R. We place the Zarsk topology on Spec R : the closed sets are V (I) = {P : P I} or an deal I R. (Check!) Ths s a topology. V (I J) = V (I) V (J) and V (I + J) = V (I) V (J). Proo s the same as or varetes. Examples:
3 3 1. R = Z. Spec Z = {0} pz, p prme. V((2)) V((3)) V((5)) V((7)) [(0)] generc pont Notce we have closed ponts (e.g. 2, 3, 5,...) and not closed ponts (0, whose closure s Spec Z because 0 (p), (p)). 2. R = k[x]. The prme deals are (), rreducble. I k = k, then Spec R = (0), (x a), a k. (x a) are the closed ponts; navely they look lke A 1. We also have the generc pont (0). I k = R, then Spec R = (0), (x a), and (x 2 + ax + b) such that a 2 4b < 0. Agan the (x a) and (x 2 + ax + b) are closed ponts, and the closure o (0) s Spec R. I k = Z/2Z, then Spec R s nnte = (0), (x), (x + 1), (x 2 + x + 1),... Agan (0) s a generc pont, the others are closed. Observe that A 1 here s not a two pont set, as mght be expected. The space remembers the orbts o ponts over the algebrac closure. 3. R = k[x 1,..., x n ], k = k. I (0) s prme (ntegral doman) t wll always be dense. (x 1 a 1,..., x n a n ) are closed ponts (0satz). Any rreducble subvarety o A n corresponds to a prme deal. The closure o a such a prme contans all the ponts on t. The shea o rngs. To gve the shea o rngs on our topologcal space, we make use o a bass or the topology. For any R, we have the basc open set D() = {P SpecR : / P }. The set o all D() orms a bass or the Zarsk topology. (c. HW1 Q4) Gven a shea we can recover t by just knowng t on a bass. We ll dene the structure shea O SpecR by denng t on the bass,.e. we ll gve a rng or every D() such that t gves a shea on the base (check restrctons, d, glung). Dene: O SpecR (D()) = R. R s R localzed at the multplcatvely closed set (a set closed under products, ncludng the empty product 1) {1,, 2,...}. That s, R = { r r r R, m 0}/, where m m r j such that n j ( n r m r ) = 0. It s lke ractons, but a more general equvalence relaton to take care o zero dvsors. In partcular, = 1, O SpecR (D(1)) = R, called the global sectons. In the case R s the coordnate rng o a varety, the polynomal unctons on a varety, then n a nave varety sense, D() s the set o ponts where s nonzero, so ratonal unctons wth n the denomnator are stll well-dened unctons on the varety. Now we want to check ths denton actually gves us a shea on the base. For ths we start wth a couple o commutatve algebra results. Lemma. I I s an deal o R dsjont rom a multplcatvely closed set U, then an deal P, maxmal wth respect to contanng I and dsjont rom U, s prme. Proo. I, g / P, then P + (), P + (g) are larger deals contanng I, so u 1 P + (), u 2 P + (g), wth u 1, u 2 U. So, u 1 = p 1 + r 1, u 2 = p 2 + r 2 g. Snce u 1 u 2 / P, then g / P. Corollary. I D() D(g), then m > 0 such that m (g). Proo. I not, (g) s dsjont rom U = {1,, 2,...} so by the lemma P D() \ D(g).
4 4 Thus, D() D(g), we have m = gr or some r, so we have a homomorphsm R g R, a arn gn g n r n = arn mn so restrcton s straghtorward. When D() D(g) D(h), ths satses R h R R g Ths s a preshea on the base. We now check ths preshea s a shea on the base, that t sates dentty and glung. Suppose now that we have an open cover D() = I D( ). Frst, we clam that m > 0 such that m (, I). Otherwse, the lemma gves P ( ) avodng U = {1,, 2,...}, whch s a contradcton. Also, as beore, snce D( ) D(), we can wrte m = r or some m, r I. Identty: (secton vanshes all ts restrctons do). Suppose a/ n R satses ar n/ m n = 0 1 R. Then N such that N ar n = 0. So 0 = n N ar n = N +m n a. Snce m (, I), then or some N 0, N ( N +m n, I). So N = b N +m n or some b R. Then N a = b N +m n a = 0 and a/ n = 0/1 n R. Glung: (Gven sectons o D( ) agreeng on overlaps, can construct a secton o D()). Notce that our open cover D() = I D( ) may be assumed nte, although we haven t made any assumptons about Noetheranness o rngs. Elements o deals are only nte sums, m = J b, J <. Ths mples D() = J D( ), because any prme not contanng m, and thereore, must omt one o the, J. Every cover does have a nte subcover ( quas-compactness ); but we wll see later that properness s a more useul generalzaton o compactness. Clam: It suces to check glung only on nte covers. Suppose we are gven s = a a n j ( j ) = a j nj n n R, I wth ( j ) n j R j. It then suces to show there s s R wth s D( ) = s, J. Identty wll mply s D( ) = s, I (thnk about ths). (clam) The nte cover enables us to take a maxmum over the exponents that show up. Snce s D( ) D( j ) = s j D( ) D( j ),, j J, Ñ such that ( j )Ñ( n j j a n a j ) = 0 n R. We use nteness here - or pars, we can make ractons have the same denomnator, so assume all pars have the same denomnator. Then snce J s nte, renamng a s necessary, we may assume that n = n j = N,, j and Ñ = 0,.e. j Na N a j = 0 n R. We can wrte m = J c N or some m 0, and set g = J c a. We clam g m D( ) = s. Indeed N g = j J N c j a j = j J c ja j N = a m, and so (recall m = r ) g m D( ) = grm m m D( ) = a = s N. So we have glung. We have now shown that we do have a shea on the base. We could also have done ths another way. The approach n H s to gve the ollowng denton, and ths s then proved to be the same as the way we dened t usng a base. We wll dscuss ths
5 5 urther next tme. Also, recall that the localzaton at a prme deal R p s dened wth R \ p as the multplcatvely closed set. Proposton. a) The stalk (O SpecR ) p o (O SpecR ) at p s the localzaton R p. b) (O SpecR )(U) s the unctons {s : U R p s(p) R p ; and p U, V Uand a, R, such that Q V and / Q, s(q) = a/ R q }
DIFFERENTIAL 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 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 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 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 information3 Holonomic D-Modules
3 Holonomc D-Modules In ths chapter we study unctoral behavors o holonomc systems and show that any smple obect n the abelan category o holonomc D X -modules s a mnmal extenson o an ntegrable connecton
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 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 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 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 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 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 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 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 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 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 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 informationON FIBRANT OBJECTS IN MODEL CATEGORIES
Theory and Applcatons o Categores, ol. 33, No. 3, 2018, pp. 43 66. ON FIBRANT OBJECTS IN MODEL CATEGORIES ALERY ISAE Abstract. In ths paper, we study propertes o maps between brant objects n model categores.
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
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 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 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 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 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 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 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 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 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 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 informationMorphisms of Coloured Petri Nets
orphsms o Coloured Petr ets Joachm Wehler Ludwg-axmlans-Unverstät ünchen, Deutschland joachmwehler@gmxnet Classcaton: Structure and behavour o nets Abstract We ntroduce the concept o a morphsm between
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 informationSolutions of exercise sheet 3
Topology D-MATH, FS 2013 Damen Calaque Solutons o exercse sheet 3 1. (a) Let U Ă Y be open. Snce s contnuous, 1 puq s open n X. Then p A q 1 puq 1 puq X A s open n the subspace topology on A. (b) I s contnuous,
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 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 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 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 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 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 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 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 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 informationBitopological spaces via Double topological spaces
topologcal spaces va Double topologcal spaces KNDL O TNTWY SEl-Shekh M WFE Mathematcs Department Faculty o scence Helwan Unversty POox 795 aro Egypt Mathematcs Department Faculty o scence Zagazg Unversty
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 informationEndogenous timing in a mixed oligopoly consisting of a single public firm and foreign competitors. Abstract
Endogenous tmng n a mxed olgopoly consstng o a sngle publc rm and oregn compettors Yuanzhu Lu Chna Economcs and Management Academy, Central Unversty o Fnance and Economcs Abstract We nvestgate endogenous
More informationLEVEL SET OF INTUITIONTISTIC FUZZY SUBHEMIRINGS OF A HEMIRING
LEVEL SET OF INTUITIONTISTIC FUZZY SUBHEMIRINGS OF HEMIRING N. NITH ssstant Proessor n Mathematcs, Peryar Unversty PG Extn Centre, Dharmapur 636705. Emal : anthaarenu@gmal.com BSTRCT: In ths paper, we
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 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 informationCategorical lattice-valued topology Lecture 2: lattice-valued topological systems
Categorcal lattce-valued topology Lecture 2: lattce-valued topologcal systems Sergejs Solovjovs Department o Mathematcs and Statstcs, Faculty o Scence, Masaryk Unversty Kotlarska 2, 611 37 Brno, Czech
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 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 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 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 informationDECOUPLING THEORY HW2
8.8 DECOUPLIG THEORY HW2 DOGHAO WAG DATE:OCT. 3 207 Problem We shall start by reformulatng the problem. Denote by δ S n the delta functon that s evenly dstrbuted at the n ) dmensonal unt sphere. As a temporal
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
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 informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
More informationCharacterizing the properties of specific binomial coefficients in congruence relations
Eastern Mchgan Unversty DgtalCommons@EMU Master's Theses and Doctoral Dssertatons Master's Theses, and Doctoral Dssertatons, and Graduate Capstone Projects 7-15-2015 Characterzng the propertes of specfc
More informationSection 8.3 Polar Form of Complex Numbers
80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the
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 informationNP-Completeness : Proofs
NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
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 informationExample: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,
The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson
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 informationPRIMES 2015 reading project: Problem set #3
PRIMES 2015 readng project: Problem set #3 page 1 PRIMES 2015 readng project: Problem set #3 posted 31 May 2015, to be submtted around 15 June 2015 Darj Grnberg The purpose of ths problem set s to replace
More informationLIMITS OF ALGEBRAIC STACKS
LIMITS OF ALGEBRAIC STACKS 0CMM Contents 1. Introducton 1 2. Conventons 1 3. Morphsms of fnte presentaton 1 4. Descendng propertes 6 5. Descendng relatve objects 6 6. Fnte type closed n fnte presentaton
More informationZeros and Zero Dynamics for Linear, Time-delay System
UNIVERSITA POLITECNICA DELLE MARCHE - FACOLTA DI INGEGNERIA Dpartmento d Ingegnerua Informatca, Gestonale e dell Automazone LabMACS Laboratory of Modelng, Analyss and Control of Dynamcal System Zeros and
More informationSpring Force and Power
Lecture 13 Chapter 9 Sprng Force and Power Yeah, energy s better than orces. What s net? Course webste: http://aculty.uml.edu/andry_danylov/teachng/physcsi IN THIS CHAPTER, you wll learn how to solve problems
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 informationIntuitionistic Fuzzy G δ -e-locally Continuous and Irresolute Functions
Intern J Fuzzy Mathematcal rchve Vol 14, No 2, 2017, 313-325 ISSN 2320 3242 (P), 2320 3250 (onlne) Publshed on 11 December 2017 wwwresearchmathscorg DOI http//dxdoorg/1022457/jmav14n2a14 Internatonal Journal
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 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 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 informationarxiv:math/ v1 [math.gr] 24 Oct 2006
PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOID GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK arxv:math/0610730v1 [math.gr] 24 Oct 2006 Abstract. We show how the categoral approach to nverse
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 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 informationLecture 3. Ax x i a i. i i
18.409 The Behavor of Algorthms n Practce 2/14/2 Lecturer: Dan Spelman Lecture 3 Scrbe: Arvnd Sankar 1 Largest sngular value In order to bound the condton number, we need an upper bound on the largest
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 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 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 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 informationBRAUER GROUPS, MONDAY: DIVISION ALGEBRAS
BRAUER GROUPS, MONDAY: DIVISION ALGEBRAS GENE S. KOPP 1. Dvson Algebras A dvson rng s a rng wth 1 n whch every nonzero element s nvertble. Equvalently, the only one-sded deals are the zero deal and the
More informationOn the smoothness and the totally strong properties for nearness frames
Int. Sc. Technol. J. Namba Vol 1, Issue 1, 2013 On the smoothness and the totally strong propertes for nearness frames Martn. M. Mugoch Department of Mathematcs, Unversty of Namba 340 Mandume Ndemufayo
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 informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More information8.6 The Complex Number System
8.6 The Complex Number System Earler n the chapter, we mentoned that we cannot have a negatve under a square root, snce the square of any postve or negatve number s always postve. In ths secton we want
More informationMednykh s Formula. Kevin Donoghue. January 29, 2016
Mednykh s Formula Kevn Donoghue January 29, 206 These are notes rom a talk gven at the Temple Unversty graduate student semnar I learned ths materal rom [Bae], [DW90], and [Fre94] although the orgnal source
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 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 informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
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 informationTHE ACYCLICITY OF THE FROBENIUS FUNCTOR FOR MODULES OF FINITE FLAT DIMENSION
THE ACYCLICITY OF THE FROBENIUS FUNCTOR FOR MODULES OF FINITE FLAT DIMENSION THOMAS MARLEY AND MARCUS WEBB Abstract. Let R be a commutatve Noetheran local rng of prme characterstc p and f : R R the Frobenus
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 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 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 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 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 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 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 informationSpectral Graph Theory and its Applications September 16, Lecture 5
Spectral Graph Theory and ts Applcatons September 16, 2004 Lecturer: Danel A. Spelman Lecture 5 5.1 Introducton In ths lecture, we wll prove the followng theorem: Theorem 5.1.1. Let G be a planar graph
More information