Lecture 7: Gluing prevarieties; products
|
|
- Noel Gibson
- 5 years ago
- Views:
Transcription
1 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 f (U) V, then (f U,ϕ U) : (U,O X U) (V,O Y V) s a morphsm of affne varetes. Proof. We clam that (f U,ϕ U) s the morphsm of rnged spaces assocated wth ψ : O Y (V) O X (U). We must show the followng: () for each p U, f (p) V corresponds to the maxmal deal ψ 1 (m p ); and () for each g O Y (V), ϕ Vg : O Y (V g ) O X (U f 1 V g ) s the canoncal morphsm O Y (V) g O X (U) ψ(g) nduced by ψ : O Y (V) O X (U). By Defnton 6.5, there exst affne open covers {V } of Y, and {U j },j of each f 1 V such that each restrcton (f j,ψ j ) : (U j,o X U j ) (V,O Y V ) s a morphsm of affne varetes. By Lemma 6.8, we can cover each V V by opens V k whch are smultaneously dstngushed as subsets of V and V. We can also cover each U U j f 1 V k by opens U jkl smultaneously dstngushed n U and U j. By Proposton 6.2, the U jkl and V k are affne varetes. As an exercse, check that the restrcted morphsms (U jkl,o X U jkl ) (V k,o Y V j ) nhert the property of beng morphsms of affne varetes. Replacng {U j },j wth {U jkl },j,k,l, and {V } wth {V k },k, we may assume that the U j U and the V V are dstngushed opens. Consder (). Choose and j such that p U j, and let V V and U j U the dstngushed open correspondng to a O Y (V) and b j O X (U), respectvely. By Proposton 4.14, we have a commutatve dagram O Y (V) O Y (V) a O Y (V ) ψ λ ψ µ j ψ j,v O X (U) O X (U) bj O X (U j ) n whch λ and µ j are the localzaton maps, and ψ s nduced by the unversal property of the localzaton. By Exercse 4.6(), m p = µ 1 j (m p) for some maxmal deal m p O X (U) bj. Hence, ψ 1 (m p ) = λ 1 (ψ 1 (m p )). By hypothess, ψ 1 (m p ) s the maxmal deal correspondng to f (p) = f j (p) V. Clam () follows from the sheaf condton. Corollary 2. Let (f,ϕ) : (X,O X ) (Y,O Y ) and (g,ψ) : (Y,O Y ) (Z,O Z ) be morphsms of algebrac prevaretes. Then (g,ψ) (f,ϕ) s also a morphsm of algebrac prevaretes. In partcular, algebrac prevaretes over k form a category, whch we denote by PreVar k. 1
2 Proof. Ths composte s gven by (gf,ψ g ϕ). As g f O X = (gf ) O X, ths s a morphsm of rnged spaces. Choose fnte affne open covers {W } of Z, {V j },j of g 1 W, and {U jk },j,k of f 1 V j. By Proposton 1, (U jk,o X U jk ) (V j,o Y V j ) and (V j,o Y V j ) (W,O Z W ) are morphsms of affne varetes. Snce compostes of morphsms of affne varetes are stable under composton, (gf,ψ g ϕ) s a morphsm of algebrac prevaretes. Exercse 3. The functor X (X,O X ) from the category of algebrac sets to that algebrac prevaretes s fully fathful. Notaton: We wll frequently suppress structure sheaves from the notaton when referrng to algebrac prevaretes. If X s an algebrac prevarety, O X wll denote ts structure sheaf, unless otherwse specfed. We wll denote the morphsm (f,ϕ) of algebrac prevaretes by the symbols for the contnuous map f of underlyng topologcal spaces. 2 Glung Defnton 4. An open mmerson s a morphsm of prevaretes (j,ϕ) : (X,O X ) (Y,O Y ) that factors as (X,O X ) (j,ϕ ) (U,O Y U) (j,d OY U) (Y,O Y ), where j : U Y s the ncluson of an open subprevarety, and (j,ϕ ) s an somorphsm. Proposton 5. Let X 1,..., X n be algebrac prevaretes. For each 1,j n, let U j X be an open subset, and f j : U j U j an somorphsm of rnged spaces such that: () for each,j, f j = f 1 j ; () for each,j,k, f j (U j U k ) = U j U jk ; () for each,j,k, f k U j U k = (f jk U j U jk )(f j U j U k ). There exsts an algebrac prevarety X, unque up to unque somorphsm, and open mmersons ϕ : X X such that, for each famly of morphsms {ψ : X Y} such that ψ U j = (ψ j U j )f j for each,j, there exsts a unque morphsm ψ : X Y such that ψϕ = ψ for each. We say that X s obtaned by glung the X along the U j. Proof. The topologcal space underlyng X s the quotent of X by the equvalence relaton generated by x f j (x) for each x U. The contnuous map underlyng ϕ s nduced by the canoncal map X X. The structure sheaf O X s defned by O X (U) {(g ) O X (ϕ 1 U) g U j ϕ 1 U = g j f j U j ϕ 1 Exercse 6. Complete the proof of Proposton 5 by showng that (X,O X ) s a prevarety wth the requred propertes. Example 7. Every algebrac prevarety s obtaned by teratng ths process, startng from fntely many affne varetes. Here are a couple mportant examples of non-affne varetes. U}. 2
3 () Let X 1 = X 2 = A 1 k, U 1 = U 2 = A 1 k {0}. Glung X 1 and X 2 along the dentty x x : U 1 U 2, we obtan the affne lne wth doubled orgn. () Let X 1 = X 2 = A 1 k, U 1 = U 2 = A 1 k {0}. Glung X 1 and X 2 along the somorphsm x 1/x : U 1 U 2, we obtan the projectve lne P 1 k. Remark 8. If X s obtaned by glung the prevaretes X along the U j as n Proposton 5 and Y s prevarety, then a morphsm of rnged spaces f : Y X s a morphsm of prevaretes f and only f f : f 1 X X s a morphsm of prevaretes for each. Proposton 9. If X and Y are algebrac prevaretes over k, and Y s affne, then the map (f,ϕ) ϕ Y : mor PreVark (X, Y) mor CAlg(k) (O Y (Y), O X (X)) s bjectve,.e., specfyng a morphsm from any prevarety nto any affne varety s equvalent to specfyng the nduced morphsm on global sectons of structure sheaves. Proof. Choose an affne open cover X = U. By Lemma 6.8, we can cover each U U j by affne opens U jk whch are dstngushed n both U and U j. By Proposton 5, gvng a morphsm f : X Y s equvalent to gvng morphsms f : U Y such that f U U j = f j U U j for each,j, or, equvalently, such that f U jk = f j U jk for each,j,k. Snce Y, U, U jk are affne, ths s equvalent to gvng maps of k-algebras O Y (Y) O X (U ) such that the squares O Y (Y) O X (U ) O X (U j ) O X (U jk ) commute. As O X s a sheaf, ths s equvalent to gvng a map O Y (Y) O X (X). 3 Products Defnton 10. If C s a category and X, Y C, then ther product, f t exsts, s an object X Y C equpped wth morphsms π 1 : X Y X and π 2 : X Y Y such that, for each Z C and each par of morphsms f : Z X and g : Z Y, there exsts a unque morphsm (f,g) : Z X Y such that f = π 1 (f,g) and g = π 2 (f,g): f Y Z (f,g) X Y π 2 g π 1 X If the product X Y exsts, then t s unque up to unque somorphsm. If the product X Y exsts for each X, Y C and C admts a fnal object, we say that C admts fnte products. 3
4 Lemma 11. The tensor product A k B of two affne k-algebras A and B s another such. Proof. Suppose α A k B and α r = 0 for some r Z >0. Wrte α = n =1 a b wth a A, b B. We may assume the b are lnearly ndependent over k: f b 1 = n =2 c b for some c k, for example, then n a b = a 1 ( n ) n c b + a b = =1 =2 =2 n (c a 1 + a ) b and we may thus elmnate any lnear dependences n the b. For each maxmal deal m A, the quotent A A/m k nduces a map A k B k k B B. Ths map sends α to a nlpotent element of B, hence to 0. Snce the b are lnearly ndependent over k, we must have a m for each. Ths s true for each m, so each a belongs to the ntersecton of all maxmal deals of A. By Hlbert s Nullstellensatz, ths ntersecton s the radcal of the zero deal, so each a s nlpotent, hence 0. Thus, α = 0. Lemma 12. The category of affne k-varetes admts fnte products. Proof. Snce the category of affne k-varetes s ant-equvalent to the category of affne k-algebras, t suffces to show that the category of affne k-algebras admts fnte coproducts, where coproducts are defned by reversng the drectons of the arrows n the defnton of products. Frst, note that k s an ntal object n the category of affne k-algebras,.e., every affne k-algebra A admts a unque k-algera map k A. Suppose A and B are two affne k-algebras. Ther tensor product A k B s reduced by Lemma 11. By defnton, gvng a k-algebra map A k B C s equvalent to gvng a par of k-algebra maps A C and B C, so A k B s a coproduct n the category of affne k-algebras. Lemma 13. If X and Y are affne k-varetes, then ther product X k Y n the category of affne k-varetes s also a product n PreVar k. Proof. Gvng a par of morphsms Z X and Z Y s equvalent to gvng a par of maps O X (X) O Z (Z) and O Y (Y) O Z (Z), whch s equvalent to gvng a map O X k Y(X k Y) = O X (X) k O Y (Y) O Z (Z), whch s equvalent to gvng a morphsm Z X k Y. Exercse 14. () If X and Y are prevaretes over k and ther product X k Y exsts, show that ponts of X k Y are n natural bjecton wth ordered pars (p,q) wth p X and q Y. () By consderng A 1 k k A 1 k = A2 k, show as an exercse that the Zarsk topoloy on a product of affne varetes s strctly fner than the product topology n general. Proposton 15. The category PreVar k admts fnte products. =2 4
5 Proof. The affne k-algebra k corresponds to the algebrac prevarety whose underlyng topologcal space s a pont, and whose structure sheaf s gven by 0 and k. There s clearly a unque map from each prevarety to ths one, so t s a fnal object. Let X and Y be prevaretes, wth fnte affne open covers X = U and Y = j V j. The products U k V j exst by Lemmata 12 and 13. Glue the U k V j along the (U V j ) (U k V l ) = (U U k ) (V j V l ), and let X k Y denote the resultng prevarety. The projecton morphsms X k Y X and X k Y Y are nduced by the unversal property of glung and Remark 8. We clam that X k Y s a product n the category of prevaretes over k. Gvng a par of morphsms Z X and Z Y s equvalent to gvng compatble famles of morphsms f 1 U U and g 1 V j V j, whch s equvalent to gvng a compatble famly of morphsms f 1 U g 1 V j U k V j by Lemma 13. The latter s equvalent to gvng a morphsm Z X k Y, snce the f 1 U g 1 V j cover Z. 5
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More 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 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 informationR n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β
Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back
More informationÉ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 informationAffine and Riemannian Connections
Affne and Remannan Connectons Semnar Remannan Geometry Summer Term 2015 Prof Dr Anna Wenhard and Dr Gye-Seon Lee Jakob Ullmann Notaton: X(M) space of smooth vector felds on M D(M) space of smooth functons
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 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 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 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 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 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 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 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 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 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 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 informationBallot Paths Avoiding Depth Zero Patterns
Ballot Paths Avodng Depth Zero Patterns Henrch Nederhausen and Shaun Sullvan Florda Atlantc Unversty, Boca Raton, Florda nederha@fauedu, ssull21@fauedu 1 Introducton In a paper by Sapounaks, Tasoulas,
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 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 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 informationSUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION
talan journal of pure appled mathematcs n. 33 2014 (63 70) 63 SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION M.R. Farhangdoost Department of Mathematcs College of Scences Shraz Unversty Shraz, 71457-44776
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 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 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 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 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 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 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 informationThe Pseudoblocks of Endomorphism Algebras
Internatonal Mathematcal Forum, 4, 009, no. 48, 363-368 The Pseudoblocks of Endomorphsm Algebras Ahmed A. Khammash Department of Mathematcal Scences, Umm Al-Qura Unversty P.O.Box 796, Makkah, Saud Araba
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 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 informationCrystalline Cohomology
FREIE UNIVERSITÄT BERLIN VORLESUNG WS 2017-2018 Crystallne Cohomology Le Zhang February 2, 2018 INTRODUCTION The purpose of ths course s to provde an ntroducton to the basc theory of crystals and crystallne
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 informationProjective change between two Special (α, β)- Finsler Metrics
Internatonal Journal of Trend n Research and Development, Volume 2(6), ISSN 2394-9333 www.jtrd.com Projectve change between two Specal (, β)- Fnsler Metrcs Gayathr.K 1 and Narasmhamurthy.S.K 2 1 Assstant
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 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: v1 [math.ct] 17 Feb 2017
Notes on Multple Hgher Category Theory Camell Kachour February 20, 2017 arxv:1702.05206v1 [math.ct] 17 Feb 2017 Abstract These notes follows the artcles [4, 5, 8] whch show how powerful can be the method
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More 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 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 informationTHE CARTIER ISOMORPHISM. These are the detailed notes for a talk I gave at the Kleine AG 1 in April Frobenius
THE CARTIER ISOMORPHISM LARS KINDLER Tese are te detaled notes for a talk I gave at te Klene AG 1 n Aprl 2010. 1. Frobenus Defnton 1.1. Let f : S be a morpsm of scemes and p a prme. We say tat S s of caracterstc
More informationarxiv: v1 [math.ac] 5 Jun 2013
On the K-theory of feedback actons on lnear systems arxv:1306.1021v1 [math.ac] 5 Jun 2013 Mguel V. Carregos,, Ángel Lus Muñoz Castañeda Departamento de Matemátcas. Unversdad de León Abstract A categorcal
More informationOn the set of natural numbers
On the set of natural numbers by Jalton C. Ferrera Copyrght 2001 Jalton da Costa Ferrera Introducton The natural numbers have been understood as fnte numbers, ths wor tres to show that the natural numbers
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 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 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 informationCONJUGACY IN THOMPSON S GROUP F. 1. Introduction
CONJUGACY IN THOMPSON S GROUP F NICK GILL AND IAN SHORT Abstract. We complete the program begun by Brn and Squer of charactersng conjugacy n Thompson s group F usng the standard acton of F as a group of
More informationInternational Journal of Algebra, Vol. 8, 2014, no. 5, HIKARI Ltd,
Internatonal Journal of Algebra, Vol. 8, 2014, no. 5, 229-238 HIKARI Ltd, www.m-hkar.com http://dx.do.org/10.12988/ja.2014.4212 On P-Duo odules Inaam ohammed Al Had Department of athematcs College of Educaton
More informationON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction
ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of
More informationHomotopy Type Theory Lecture Notes
15-819 Homotopy Type Theory Lecture Notes Evan Cavallo and Stefan Muller November 18 and 20, 2013 1 Reconsder Nat n smple types s a warmup to dscussng nductve types, we frst revew several equvalent presentatons
More informationA CLASS OF RECURSIVE SETS. Florentin Smarandache University of New Mexico 200 College Road Gallup, NM 87301, USA
A CLASS OF RECURSIVE SETS Florentn Smarandache Unversty of New Mexco 200 College Road Gallup, NM 87301, USA E-mal: smarand@unmedu In ths artcle one bulds a class of recursve sets, one establshes propertes
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 informationA categorification of quantum sl n
A categorfcaton of quantum sl n Aaron Lauda Jont wth Mkhal Khovanov Columba Unversty January 20th, 2009 Avalable at http://www.math.columba.edu/ lauda/talks/kyoto Aaron Lauda Jont wth Mkhal Khovanov (Columba
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 informationHIGHER ARITHMETIC CHOW GROUPS
HIGHER RITHMETIC CHOW GROUPS J. I. BURGOS GIL ND E.FELIU bstract. We gve a new constructon of hgher arthmetc Chow groups for quasprojectve arthmetc varetes over a feld. Our defnton agrees wth the hgher
More informationCompletions of ordered magmas
ANNALES SOCIETATIS ATHEATICÆ POLONÆ Seres VI : Fundamenta Informatcæ III1 (1980), 105 118 Completons of ordered magmas BRUNO COURCELLE Unversty of Bordeaux-I JEAN-CLAUDE RAOULT IRIA, Parsq XI Receved arch
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 informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationDETECTING LARGE GROUPS
DETECTING LARGE GROUPS MARC LACKENBY Mathematcal Insttute, Unversty of Oxford 24-29 St. Gles, Oxford, OX1 3LB, Unted Kngdom lackenby@maths.ox.ac.uk Abstract Let G be a fntely presented group, and let p
More information17. Coordinate-Free Projective Geometry for Computer Vision
17. Coordnate-Free Projectve Geometry for Computer Vson Hongbo L and Gerald Sommer Insttute of Computer Scence and Appled Mathematcs, Chrstan-Albrechts-Unversty of Kel 17.1 Introducton How to represent
More informationPlethystic algebra. Department of Mathematics, University of Chicago, 5734 S. University Avenue, Chicago, IL 60637, USA
Advances n Mathematcs 194 (2005) 246 283 www.elsever.com/locate/am Plethystc algebra James Borger,1, Ben Weland 1 Department of Mathematcs, Unversty of Chcago, 5734 S. Unversty Avenue, Chcago, IL 60637,
More informationAn application of non-associative Composition-Diamond lemma
An applcaton of non-assocatve Composton-Damond lemma arxv:0804.0915v1 [math.ra] 6 Apr 2008 Yuqun Chen and Yu L School of Mathematcal Scences, South Chna Normal Unversty Guangzhou 510631, P. R. Chna Emal:
More 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 informationThe Trifocal Tensor The geometric basis for the trifocal tensor
14 The Trfocal Tensor The trfocal tensor plays an analogous role n three vews to that played by the fundamental matrx n two. It encapsulates all the (projectve) geometrc relatons between three vews that
More informationNOTES ON SIMPLIFICATION OF MATRICES
NOTES ON SIMPLIFICATION OF MATRICES JONATHAN LUK These notes dscuss how to smplfy an (n n) matrx In partcular, we expand on some of the materal from the textbook (wth some repetton) Part of the exposton
More informationInfinitely Split Nash Equilibrium Problems in Repeated Games
Infntely Splt ash Equlbrum Problems n Repeated Games Jnlu L Department of Mathematcs Shawnee State Unversty Portsmouth, Oho 4566 USA Abstract In ths paper, we ntroduce the concept of nfntely splt ash equlbrum
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 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 informationAffine configurations of 4 lines in R 3
Arch. Math. 00 (2005) 000 000 0003 889X/05/000000 00 DOI 10.1007/s00013-005-1224-2 Brkhäuser Verlag, Basel, 2005 Archv der Mathematk Affne confguratons of 4 lnes n R 3 By Jorge L. Arocha, Javer Bracho,
More informationEQUIVALENCES OF DERIVED CATEGORIES AND K3 SURFACES DMITRI ORLOV
EQUIVALENCES OF DERIVED CATEGORIES AND K3 SURFACES DMITRI ORLOV Abstract. We consder derved categores of coherent sheaves on smooth projectve varetes. We prove that any equvalence between them can be represented
More informationPolarized non-abelian representations of slim near-polar spaces
Polarzed non-abelan representatons of slm near-polar spaces Bart De Bruyn Bnod Kumar Sahoo Abstract In [15], Shult ntroduced a class of parapolar spaces, the so-called near-polar spaces. We ntroduce here
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 information15.1 The geometric basis for the trifocal tensor Incidence relations for lines.
15 The Trfocal Tensor The trfocal tensor plays an analogous role n three vews to that played by the fundamental matrx n two. It encapsulates all the (projectve) geometrc relatons between three vews that
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 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 informationPerfect Competition and the Nash Bargaining Solution
Perfect Competton and the Nash Barganng Soluton Renhard John Department of Economcs Unversty of Bonn Adenauerallee 24-42 53113 Bonn, Germany emal: rohn@un-bonn.de May 2005 Abstract For a lnear exchange
More informationCOUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES
COUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES by J. H. WEBB (Receved 9th December 1971) A barrel n a locally convex Hausdorff space E[x] s a closed absolutely convex absorbent set. A a-barrel
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 informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationAssortment Optimization under MNL
Assortment Optmzaton under MNL Haotan Song Aprl 30, 2017 1 Introducton The assortment optmzaton problem ams to fnd the revenue-maxmzng assortment of products to offer when the prces of products are fxed.
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 informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationNICHOLAS SWITALA. Week 1: motivation from local cohomology; Weyl algebras
BASIC THEORY OF ALGEBRAIC D-MODULES NICHOLAS SWITALA I taught a 12-week mn-course on algebrac D-modules at UIC durng the autumn of 2016. After each week, I posted lecture notes. What follows s smply a
More information