INTERSECTION THEORY CLASS 13
|
|
- Allyson Jacobs
- 5 years ago
- Views:
Transcription
1 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 behave well wth respect to proper and flat morphsms 3 1. WHERE WE ARE: SEGRE CLASSES OF VECTOR BUNDLES, AND SEGRE CLASSES OF CONES We frst defned Segre class of vector bundles over an arbtrary scheme X. If E s a vector bundle, we get an operator on class on X. We defne t by projectvzng E, so we have a flat and proper morphsm PE X, pullng back α to PE, cappng wth O(1) a certan number of tmes, and pushng forward. Hence we get s (E) : A k X A k X, and for example we checked the non-mmedate fact that s 0 (E) s the dentty. (Recall s 0 nvolved pullng back, cappng wth precsely ranke 1 copes of O(1), and then pushng forward.) Note that s k (E) = s k (E 1), as the Whtney product formula gves s(e 1) = s(e)s(1) = s(e). We want to generalze ths to cones. Here agan s the defnton of a cone on a scheme X. Let S = 0 S be a sheaf of graded O X -algebras. Assume O X S 0 s surjectve, S 1 s coherent, and S s generated (as an algebra) by S 1. Then you can defne Proj(S ), whch has a lne bundle O(1). Proj(S ) X s a projectve (hence proper) morphsm, but t sn t necessarly flat! (Draw a pcture, where the cone has components of dfferent dmenson.) Flat morphsms have equdmensonal fbers, and cones needn t have ths. A couple of mportant ponts, brought out by Joe and Soren. I ve been mprecse wth termnology. Although one often sees phrases such as the cone s C = Spec(S ), we lose a lttle nformaton ths way; the cone should be defned to be the graded sheaf S. The sheaf can be recovered from C X Y along wth the acton of the multplcatve group O X ; the nth graded pece s the part of the algebra where the multplcatve group acts wth weght n. Example 1: say let E be a vector bundle, and S = Sym (E ). Then Proj S = PE. Example 2: Say T = Sym (E 1) = S S 1 z, so (better) T = S [z]. Then Proj T = PE. Example 3: Date: Wednesday, November 3,
2 Proj(S [z]) = C Proj(S ) = Spec S Proj(S ). The argument s just the same. The rght term s a Carter dvsor n class O Proj(S [z])(1). Example 4: The blow-up can be descrbed n ths way, and t wll be good to know ths. Suppose X s a subscheme of Y, cut out by deal sheaf I. (In our stuaton where all schemes are fnte type, I s a coherent sheaf.) Then let S = I, where I s the th power of the deal I. (I 0 s defned to be O X.) Then Bl X Y = Proj S. A short calculaton shows that the exceptonal dvsor class s O( 1). The exceptonal dvsor turns out to be Proj I n /I n+1. (Note that ths s ndeed a graded sheaf of algebras.) As I n I n /I n+1 s a surjectve map of rngs, ths ndeed descrbes a closed subscheme of the blow-up. (Remember ths formula t wll come up agan soon!) So the same constructon of Segre classes of vector bundles doesn t work: there s no flat pullback to Proj(S ). So what do we do? Idea (slghtly wrong): We can t pull classes back to Proj(S ). But there s a natural class up there already: the fundamental class. So we defne s(c)? = q ( 0 c 1 (O(1)) [ProjC]) where q s the morphsm Proj C X. Instead, as Segre class of vector bundles are stable wth respect to addng trval bundles, we defne s(c) := q ( 0 c 1 (O(1)) [Proj(C 1)]) where q s the morphsm Proj(C 1) X. Why s addng n ths trval factor the rght thng to do? Partal reason: f C s the 0 cone,.e. S = 0 for > 0, then Proj C s empty, but Proj C 1 s not; we get dfferent answers. But f you add more 1 s, you wll then get the same answer: s(c 1 1) = s(c). (Exercse: show that s(c 1) = s(c).) Note: s has peces n varous dmensons. Last tme I proved: Proposton. (a) If E s a vector bundle on X, then s(e) = c(e) 1 [X], where c(e) s the total Chern class of X, r = rank(e). c(e) = 1 + c 1 (E) + + c r (E). (I would wrte s(e) = s(e) [X], but the two uses of s(e) are confusng!) Ths s bascally our defnton of Segre/Chern classes. (b) Let C 1,..., C t be the rreducble components of C, m the geometrc multplctes of C n C. Then s(c) = t =1 m s(c ). (Note that the C are cones as well, so s(c ) makes sense.) In other words, we can compute the Segre class pece by pece. 2
3 2. THE NORMAL CONE, AND THE SEGRE CLASS OF A SUBVARIETY Let X be a closed subscheme of a scheme Y (not necessarly lc = local complete ntersecton), cut out by deal sheaf I. I/I 2 s the conormal sheaf to X; t s a sheaf on X. (Why s t a sheaf on X? Locally, say Y = Spec R, and X = Spec R/I. Then ths s the R-module I/I 2. The fact that I sad that t s an R-module makes t a pror a sheaf on Y. But note that t s also an R/I module; the acton of I on I/I 2 s the zero acton.) If X s a local complete ntersecton (regular mbeddng), then ths turns out to be a vector bundle. Consder n=0 In /I n+1. (Recall that Proj of ths sheaf gves us the exceptonal dvsor of the blow-up.) Defne the normal cone C = C X Y by C = Spec I n /I n+1. Defne the Segre class of X n Y as the Segre class of the normal cone: n=0 s(x, Y) = s(c X Y) A X. If X s regularly mbedded (=lc) n Y, then the defnton of s(x, Y) s s(x, Y) = s(n) [X] = c(n) 1 [X]. The followng geometrc pcture wll come up n the central constructon n ntersecton (the deformaton to the normal cone). X A 1 Y A 1. Then blow up X 0 n Y A 1. The deal sheaf of X 0 s I[t], where t s the coordnate on A 1. Thus the normal cone to X 0 n Y A 1 s C X Y[t]. Hence the exceptonal dvsor s Proj(C X Y[t]) (draw a pcture). Insde t s the Carter dvsor t = 0, whch s Proj(C X Y). 3. SEGRE CLASSES BEHAVE WELL WITH RESPECT TO PROPER AND FLAT MORPHISMS Ths s the key result of the chapter. Proposton. Let f : Y Y be a morphsm of pure-dmensonal schemes, X Y a closed subscheme, X = f 1 (X) the nverse mage scheme, g : X X the nduced morphsm. (a) If f proper, Y rreducble, and f maps each rreducble component of Y onto Y then g (s(x, Y )) = deg(y /Y)s(X, Y). (b) If f flat, then g (s(x, Y )) = s(x, Y). Let me repeat why I fnd ths a remarkable result. X s a pror some nasty scheme; even f t s nce, ts codmenson n Y sn t necessarly the same as the codmenson of X n Y. The argument s qute short, and shows that what we ve proved already s qute sophstcated. 3
4 As a specal case, ths result shows that Segre classes have a fundamental bratonal nvarance: f f : Y Y s a bratonal proper morphsm, and X = f 1 X, then s(x, Y ) pushes forward to s(x, Y). Proof. Let me assume that Y s rreducble. (It s true n general, and I may deal wth the general case later.) Let me frst wrte the dagram on the board, and then explan t. O Proj(C 1)(1) = G O Proj(C 1) (1) O Proj(C 1) (1) q X q g X Proj(C 1) G Proj(C 1) Carter dv. Carter dv. Bl X 0(Y A 1 ) F Bl X 0 (Y A 1 ) We blow up Y A 1 along X 0, and smlarly for Y and X. The exceptonal dvsor of Bl X 0 (Y A 1 ) s Proj(C 1), and smlarly for Y and X. The unversal property of blowng up Y A 1 shows that there exsts a unque morphsm G from the top exceptonal dvsor to the bottom. Moreover, by constructon, the exceptonal dvsor upstars s the pullback of the exceptonal dvsor downstars (that s the statement about the two O(1) s n the dagram). Let q be the morphsm from the exceptonal dvsor Proj(C 1) to X, and smlarly for q. That square commutes: q G = g q (bascally because that morphsm G was defned by the unversal property of blowng up). Now f [Y A 1 ] = d[y A 1 ] (where I am slopply usng the name f for the morphsm Y A 1 Y A 1 ). Ths s computed on a dense open set, so blow-up doesn t change ths fact: F [Bl X 0Y A 1 ] = d[bl X 0 Y A 1 ]. Now we ve shown that proper pushforward commutes wth ntersectng wth a (pseudo-)carter dvsor. Hence G [Proj(C 1)] = d[proj(c 1)]. 4
5 Now I m gong to prove (a), and I m gong to ask you to prove (b) wth me, so pay attenton! g s(x, Y ) = g q c 1 (G (O(1)) [P(C 1)]) (by def n) = q G ( ) c 1 (G (O(1)) [P(C 1)]) (prop. push. commute) ) ( = q c 1 ((O(1)) d[p(c 1)]) (proj. form. ) (.e. c 1 commutes wth prop. pushforward) = ds(x, Y) (by def n) Now (b) s smlar: g s(x, Y) = g q c 1 ((O(1)) [P(C 1)]) (by def n) = q G c 1 ((O(1)) [P(C 1)]) (push/pull commute) = q c 1 ((G O(1)) G [P(C 1)]) = s(x, Y) (by def n) We mmedately have: Corollary. Wth the same assumptons as the proposton, f X s regular mbedded (=lc) n Y, wth normal bundle N, then g (c(n ) 1 [X ]) = deg(y /Y)s(X, Y). If X Y s also regularly mbedded, wth normal bundle N, then g (c(n ) 1 [X ]) = deg(y /Y)(c(N) 1 [X]). To see why the frst part mght matter: Suppose X Y s a very nasty closed mmerson. Then blow up Y along X, to get Y wth exceptonal dvsor X. Then X s regularly mbedded (lc) n Y t s a Carter dvsor! Ths s the content of the next corollary. 5
6 Corollary. Let X be a open closed subscheme of a varety Y. Let Ỹ be the blow-up of Y along X, X = PC the exceptonal dvsor, η : X X the projecton. Then s(x, Y) = k 1( 1) k 1 η ( X k ) = 0 η (c 1 (O(1)) [PC]) In that frst equaton, the term X k should be nterpreted as the kth self ntersecton of the Carter dvsor X, also known as the exceptonal dvsor. E-mal address: vakl@math.stanford.edu 6
INTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zero-section of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
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 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 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 informationINTERSECTION THEORY CLASS 16
INTERSECTION THEORY CLASS 16 RAVI VAKIL CONTENTS 1. Where we are 1 1.1. Deformation to the normal cone 1 1.2. Gysin pullback for local complete intersections 2 1.3. Intersection products on smooth varieties
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 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 informationINTERSECTION THEORY CLASS 7
INTERSECTION THEORY CLASS 7 RAVI VAKIL CONTENTS 1. Intersecting with a pseudodivisor 1 2. The first Chern class of a line bundle 3 3. Gysin pullback 4 4. Towards the proof of the big theorem 4 4.1. Crash
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationThe Second Eigenvalue of Planar Graphs
Spectral Graph Theory Lecture 20 The Second Egenvalue of Planar Graphs Danel A. Spelman November 11, 2015 Dsclamer These notes are not necessarly an accurate representaton of what happened n class. The
More informationKLR algebras and knot homology II
KLR algebras and knot homology II Ben Webster Unversty of Vrgna June 6, 013 Ben Webster (UVA) KLR algebras and knot homology II June 6, 013 1 / 5 The case of sl So, remember, last tme I ntroduced an algebra
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 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 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 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 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 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 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 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 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 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 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 informationON THE JACOBIAN CONJECTURE
v v v Far East Journal of Mathematcal Scences (FJMS) 17 Pushpa Publshng House, Allahabad, Inda http://www.pphm.com http://dx.do.org/1.17654/ms1111565 Volume 11, Number 11, 17, Pages 565-574 ISSN: 97-871
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 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 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 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 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 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 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 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 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 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 informationTHE FLORIDA STATE UNIVERSITY COLLEGE OF ARTS AND SCIENCES PREDEGREE POLYNOMIALS OF PLANE CONFIGURATIONS IN PROJECTIVE SPACE DIMITRE G.
THE FLORIDA STATE UNIVERSITY COLLEGE OF ARTS AND SCIENCES PREDEGREE POLYNOMIALS OF PLANE CONFIGURATIONS IN PROJECTIVE SPACE By DIMITRE G. TZIGANTCHEV A Dssertaton submtted to the Department of Mathematcs
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 informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
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 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 informationarxiv: v3 [math.ag] 16 Nov 2017
EXTREMAL RAYS IN THE HERMITIAN EIGENVALUE PROBLEM PRAKASH BELKALE arxv:1705.10580v3 [math.ag] 16 Nov 2017 Abstract. The Hermtan egenvalue problem asks for the possble egenvalues of a sum of n n Hermtan
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 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 informationPHYS 705: Classical Mechanics. Calculus of Variations II
1 PHYS 705: Classcal Mechancs Calculus of Varatons II 2 Calculus of Varatons: Generalzaton (no constrant yet) Suppose now that F depends on several dependent varables : We need to fnd such that has a statonary
More informationMath 396. Metric tensor on hypersurfaces
Math 396. Metrc tensor on hypersurfaces 1. Motvaton Let U R n be a non-empty open subset and f : U R a C -functon. Let Γ U R be the graph of f. The closed subset Γ n U R proects homeomorphcally onto U
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 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 information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
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 informationINTERSECTION THEORY CLASS 19
INTERSECTION THEORY CLASS 19 RAVI VAKIL CONTENTS 1. Recap of Last day 1 1.1. New facts 2 2. Statement of the theorem 3 2.1. GRR for a special case of closed immersions f : X Y = P(N 1) 4 2.2. GRR for closed
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 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 informationA Quantum Gauss-Bonnet Theorem
A Quantum Gauss-Bonnet Theorem Tyler Fresen November 13, 2014 Curvature n the plane Let Γ be a smooth curve wth orentaton n R 2, parametrzed by arc length. The curvature k of Γ s ± Γ, where the sgn s postve
More informationTwo Lectures on Regular Singular Stratified Bundles
Two Lectures on Regular Sngular Stratfed Bundles Lars Kndler Free Unverstät Berln Web: http://m.fu-berln.de/~kndler/ Emal: kndler@math.fu-berln.de Abstract These are the notes for two 90 mnute lectures
More informationThe Feynman path integral
The Feynman path ntegral Aprl 3, 205 Hesenberg and Schrödnger pctures The Schrödnger wave functon places the tme dependence of a physcal system n the state, ψ, t, where the state s a vector n Hlbert space
More informationOne Dimension Again. Chapter Fourteen
hapter Fourteen One Dmenson Agan 4 Scalar Lne Integrals Now we agan consder the dea of the ntegral n one dmenson When we were ntroduced to the ntegral back n elementary school, we consdered only functons
More informationSalmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2
Salmon: Lectures on partal dfferental equatons 5. Classfcaton of second-order equatons There are general methods for classfyng hgher-order partal dfferental equatons. One s very general (applyng even to
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 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 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 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 informationarxiv: v1 [math.ag] 29 Sep 2015
SOME PROPERTIES OF DYNAMICAL DEGREES WITH A VIEW TOWARDS CUBIC FOURFOLDS arxv:1509.08688v1 [math.ag] 29 Sep 2015 CHRISTIAN BÖHNING1, HANS-CHRISTIAN GRAF VON BOTHMER, AND PAWEL SOSNA 2 Ths artcle s dedcated
More informationVolume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].
Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland
More information28 Finitely Generated Abelian Groups
8 Fntely Generated Abelan Groups In ths last paragraph of Chapter, we determne the structure of fntely generated abelan groups A complete classfcaton of such groups s gven Complete classfcaton theorems
More informationReview of Taylor Series. Read Section 1.2
Revew of Taylor Seres Read Secton 1.2 1 Power Seres A power seres about c s an nfnte seres of the form k = 0 k a ( x c) = a + a ( x c) + a ( x c) + a ( x c) k 2 3 0 1 2 3 + In many cases, c = 0, and the
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 informationMathematical Preparations
1 Introducton Mathematcal Preparatons The theory of relatvty was developed to explan experments whch studed the propagaton of electromagnetc radaton n movng coordnate systems. Wthn expermental error the
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 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 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 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 informationχ x B E (c) Figure 2.1.1: (a) a material particle in a body, (b) a place in space, (c) a configuration of the body
Secton.. Moton.. The Materal Body and Moton hyscal materals n the real world are modeled usng an abstract mathematcal entty called a body. Ths body conssts of an nfnte number of materal partcles. Shown
More informationUnit 5: Quadratic Equations & Functions
Date Perod Unt 5: Quadratc Equatons & Functons DAY TOPIC 1 Modelng Data wth Quadratc Functons Factorng Quadratc Epressons 3 Solvng Quadratc Equatons 4 Comple Numbers Smplfcaton, Addton/Subtracton & Multplcaton
More informationThree views of mechanics
Three vews of mechancs John Hubbard, n L. Gross s course February 1, 211 1 Introducton A mechancal system s manfold wth a Remannan metrc K : T M R called knetc energy and a functon V : M R called potental
More informationOpen string operator quantization
Open strng operator quantzaton Requred readng: Zwebach -4 Suggested readng: Polchnsk 3 Green, Schwarz, & Wtten 3 upto eq 33 The lght-cone strng as a feld theory: Today we wll dscuss the quantzaton of an
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
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 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 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 informationSection 3.6 Complex Zeros
04 Chapter Secton 6 Comple Zeros When fndng the zeros of polynomals, at some pont you're faced wth the problem Whle there are clearly no real numbers that are solutons to ths equaton, leavng thngs there
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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETR CLASS 24 RAVI VAKIL CONTENTS 1. Normalization, continued 1 2. Sheaf Spec 3 3. Sheaf Proj 4 Last day: Fibers of morphisms. Properties preserved by base change: open immersions,
More informationCALCULUS CLASSROOM CAPSULES
CALCULUS CLASSROOM CAPSULES SESSION S86 Dr. Sham Alfred Rartan Valley Communty College salfred@rartanval.edu 38th AMATYC Annual Conference Jacksonvlle, Florda November 8-, 202 2 Calculus Classroom Capsules
More informationFormulas for the Determinant
page 224 224 CHAPTER 3 Determnants e t te t e 2t 38 A = e t 2te t e 2t e t te t 2e 2t 39 If 123 A = 345, 456 compute the matrx product A adj(a) What can you conclude about det(a)? For Problems 40 43, use
More informationSupplement: Proofs and Technical Details for The Solution Path of the Generalized Lasso
Supplement: Proofs and Techncal Detals for The Soluton Path of the Generalzed Lasso Ryan J. Tbshran Jonathan Taylor In ths document we gve supplementary detals to the paper The Soluton Path of the Generalzed
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 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 information