arxiv: v1 [math.ag] 30 Jun 2021


 Jeffery Harrison
 10 days ago
 Views:
Transcription
1 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold ANDREA T. RICOLFI AND MICHAIL SAVVAS arxiv: v1 [math.ag] 30 Ju 2021 ABSTRACT. The Arti stackm of 0dimesioal sheaves of legth o 3 carries two atural dcritical structures i the sese of Joyce. Oe comes from its descriptio as a quotiet stack [crit(f )/GL ], aother comes from derived deformatio theory of sheaves. We show that these dcritical structures agree. We use this result to prove the aalogous statemet for the Quot scheme of poits Quot 3( r, )=crit(f r, ), which is a global critical locus for every r> 0, ad also carries a derivediflavour dcritical structure besides the oe iduced by the potetial f r,. Agai, we show these two dcritical structures agree. Moreover, we prove that they locally model the dcritical structure o Quot X (F, ), where F is a locally free sheaf of rak r o a projective Calabi Yau 3fold X. Fially, we prove that the perfect obstructio theory o Hilb 3 = crit(f 1, ) iduced by the Atiyah class of the uiversal ideal agrees with the critical obstructio theory iduced by the Hessia of the potetial f 1,. CONTENTS 0. Itroductio 1 1. Backgroud material 5 2. Proof of Theorem A 9 3. The dcritical structure(s) om The dcritical structure(s) o Quot 3( r, ) The case of a compact Calabi Yau 3fold The special case of the Hilbert scheme 32 Refereces INTRODUCTION 0.1. Overview. I[20], Joyce itroduced dcritical structures o schemes ad Arti stacks, both i algebraic ad aalytic laguage. Roughly speakig, a dcritical scheme is a scheme X suitably covered by dcritical charts, i.e. schemes of the form crit(f) V, where f (V) is a regular fuctio o a smooth scheme V ad crit( f) deotes the schemetheoretic vaishig locus of df H 0 (V,Ω V ). The compatibility betwee dcritical charts is govered by the behaviour of a sectio s of a caoically defied sheaf ofvector spaces SX 0 livig over X. Such a wellbehavig sectio is called a dcritical structure o X (see Sectio 1.2 for more details). We use the otatio(x, s) to represet a dcritical scheme. Joyce s dcritical loci play a cetral role i categorified Doaldso Thomas theory: the compatibility betwee dcritical charts ecoded i their structure is crucial to associate to 1
2 2 ANDREA T. RICOLFI AND MICHAIL SAVVAS a moduli space M of sheaves o a Calabi Yau 3fold a caoical 1 perverse sheafφ M (the socalled DT sheaf ), as well as a caoical virtual motiveφ mot M (the socalled motivic DT ivariat). Ay dcritical chart crit(f) V has a caoical symmetric perfect obstructio theory i the sese of Behred Fatechi[4], iduced by the Hessia of f. Sice these symmetric obstructio theories do ot ecessarily glue as twoterm complexes (see[20, Example 2.17]), a dcritical scheme(x, s) caot be equipped with a global symmetric perfect obstructio theory i geeral. However, the compatibility betwee dcritical charts is eough to esure that these locally defied obstructio theories give rise to a slightly weaker structure o X with similar properties, called a almost perfect obstructio theory, as was show i[21]. O the other had, Patev Toë Vaquié Vezzosi[23] defied k shifted symplectic structures o derived schemes ad derived Arti stacks (we recall their defiitio i Sectio 1.1), for every k. It is explaied i[23, Sectio 3.2] that every 1shifted symplectic structure ω o a derived scheme X iduces a symmetric perfect obstructio theory o the uderlyig classical scheme X= t 0 (X) X. Furthermore, as we recall i Theorem 1.3, there is a trucatio fuctor τ (0.1) 1shifted symplectic derived Arti stacks dcritical Arti stacks which takes(x,ω)(x, s ω ), where X= t 0 (X) X i the uderlyig classical Arti stack ofx ad s ω H 0 (SX 0 ) is a atural dcritical structure costructed out ofω. For a 1shifted symplectic derived scheme(x, ω), the iduced symmetric perfect obstructio theory o X = t 0 (X) X is isomorphic to the almost perfect obstructio theory arisig from(x, s ω ). The structures described so far are reproduced i Figure 1, ispired from a larger picture i [20], where a dotted arrow meas that the associatio oly works locally. We will explai the questio mark? appearig i the diagram i the ext subsectio. moduli of sheaves o a Calabi Yau 3fold? 1shifted symplectic derived schemes[23] trucatioτ Joyce s dcritical schemes[20] schemes with symmetric perfect obstructio theory[4] schemes with almost perfect obstructio theory[21] FIGURE 1. Ladscape of the structures ad their relatios appearig i this paper. 1 Strictly speakig, a choice of orietatio data is also eeded, see[7] ad[10] for the precise statemets.
3 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold Motivatio. A classical example of 1shifted symplectic derived scheme is that of a derived critical locuscrit(f), for f (V) a regular fuctio o a smooth scheme V[23, Corollary 2.11]. The spacecrit(f) is defied as the derived fibre product of the zero sectio of Ω V, carryig its caoical symplectic structure, with the sectio df H 0 (V,Ω V ). The 1 shifted symplectic structure is deotedω f i this case. We ca view the classical scheme U= crit(f)= t 0 (crit(f)) as a dcritical locus with dcritical structure (0.2) s f = f+(df) 2 H 0 (S 0 U ) determied by a sigle dcritical chart, ad the diagoal dotted arrow i Figure 1 ca i fact, i this special case, be filled i by meas of the critical symmetric obstructio theory (0.3) f = T V U Hess(f) Ω V U U, where Y is the trucated cotaget complex of a scheme Y. Moreover, i this case, the fuctorτi (0.1) seds(crit(f),ω f ) to(crit(f), s f ). A further example of a 1shifted symplectic derived scheme is the derived moduli scheme M X (ch) of simple coheret sheaves o a projective Calabi Yau 3fold X, with fixed Cher characterch H (X,), see[23]. I particular, the uderlyig classical scheme M X (ch) is aturally a dcritical locus via the trucatio fuctor (0.1). However, as Behred poited out i[2], it is a embarassmet of the theory that oe caot costruct the dcritical structure o M X (ch) directly, i.e. without passig through derived Algebraic Geometry. This is the meaig of the questio mark i Figure 1. This embarassmet was our mai motivatio for startig this project. This paper dissolves such embarassmet i the followig sese. O the Quot scheme of poits o 3, amely the space (0.4) Q r, = Quot 3( r, )= [ r E] dim E= 0,χ(E)=, there are i priciple two dcritical structures: (1) oe arisig from its critical structure crit(f r, )Q r, [1] (ad so a priori idepedet of derived geometry), (2) aother arisig as follows: the derived moduli stackm of 0dimesioal sheaves of legth o 3 is 1shifted symplectic[9], so by trucatio oe has a dcritical structure s der o the uderlyig classical Arti stackm. Its pullback alog the (smooth) morphism Q r, M forgettig the surjectio defies yet aother dcritical structure o Q r,. We prove that the dcritical structures described i (1) ad (2) agree, which shows that the dcritical structure comig from derived geometry is morally uderived, ad is the simplest possible. We also make some progress i the projective case. More precisely, let F be a locally free sheaf of rak r > 0 o a projective Calabi Yau 3fold X. There is a atural derived dcritical structure o the Quot scheme of poits Quot X (F, ). We devote Sectio 5 to showig that such dcritical structure looks étale locally like the dcritical structure i (2) above, which i tur agrees with the oe iduced by the uique dcritical chart o the local model Quot 3( r, ) Mai results. We discuss i greater details our mai results i the rest of this itroductio.
4 4 ANDREA T. RICOLFI AND MICHAIL SAVVAS The local case. The Quot scheme of poits (0.4) parametrisig isomorphism classes of quotiets r E, where E is a 0dimesioal sheaf of legth o 3, is prove i[1, Theorem 2.6] to be a global critical locus (cf. Theorem 2.3). More precisely, there is a diagram (0.5) cquot r crit(f r,) Q r, where f r, is a regular fuctio o the ocommutative Quot scheme cquot r, a smooth(2 2 + r )dimesioal variety which ca be viewed as the moduli space of (isomorphism classes of)(1, )dimesioal stable r framed represetatios(a, B, C, v 1,..., v r ) Ed ( ) 3 ( ) r of the 3loop quiver (cf. Figure 3). The fuctio f r, (cquot r ) is defied to be the trace of the potetial A[B, C]. It defies a dcritical structure as i (0.2), amely ι r, s crit r, = s f r, = f r, +(df r, ) 2 H 0 S 0 crit(f r, ). O the other had, derived symplectic geometry edows the derived moduli stack M of 0dimesioal sheaves of legth o 3 with a 1shifted symplectic structureω (see[9]), which ca be trucated to produce a dcritical structure s der = s ω o the (uderived) moduli stack M = t 0 (M ). The morphism q r, : Q r, M sedig[ r E][E] is smooth (cf. Sectio 1.4), so the pullback s der r, = q r, s der defies a dcritical structure o Q r, (cf. Defiitio 4.3). The followig is our first mai result. Theorem A. Fix r 1 ad 0. There is a idetity ι r, s der r, = s crit r, H0 S 0 crit(f r, ) The global case. Cosider ow the case where 3 is replaced by a smooth, projective Calabi Yau 3fold X ad r by a locally free sheaf F of rak r o X. Let Q F, = Quot X (F, ) be the Quot scheme parametrisig quotiets[f E] with E a 0dimesioal sheaf of legth o X. The derived moduli stackm X () of 0dimesioal sheaves of legth o X carries a caoical 1shifted symplectic structure by[23], which ca be trucated to give a dcritical structure s X, H 0 (S 0 M X () ). Its pullback alog the forgetful morphism Q F, M X () is a dcritical structure o the Quot scheme, deoted s F,, see Equatio (5.1). The methods used i the proof of Theorem A also yield (after a bit of work) the followig result, which says that the dcritical scheme(q F,, s F, ) is locally modelled o the dcritical scheme(q r,, s der r, ). Theorem B. Fix r 1 ad 0. Let X be a projective Calabi Yau 3fold, F a locally free sheaf of rak r o X. There exists a aalytic ope cover{ρ λ : T λ Q F, } λ Λ, such that for ay idexλwe have a diagram Q r, π λ T λ ρ λ Q F, withπ λ étale, satisfyigπ λ s der r, =ρ λ s F, H 0 (S 0 T λ ).
5 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold The two obstructio theories o Hilb 3. Our third mai result is a compariso betwee perfect obstructio theories o the Hilbert scheme of poits Hilb 3. If V = cquot 1 is the ocommutative Hilbert scheme, Diagram (0.5) becomes ι 1, (0.6) V crit(f 1, ) Hilb 3, ad the Hessia costructio (0.3) defies a symmetric obstructio theory (0.7) f1, crit(f1, ). ϕ crit O the other had, viewig the Hilbert scheme as a parameter space for ideal sheaves of colegth, oe obtais the symmetric obstructio theory (more details are foud i[24, 25]) der = Rπ Rom(I,I) 0 [2] Hilb 3, wherei 3 Hilb 3 is the uiversal ideal sheaf,π:3 Hilb 3 Hilb 3 is the secod projectio, ad Rom(I,I) 0 deotes the[ 1]shifted coe of the trace map Rom(I,I). The followig result, established i Sectio 6, proves Cojecture 9.9 i[14]. Theorem C. The isomorphismι 1, i (0.6) iduces a isomorphism of perfect obstructio theories ι 1, der ι 1, ϕ der crit(f1, ) Covetios. We work overthroughout. The fot used i this paper for schemes, derived schemes, stacks ad derived stacks will be X, X, X ad X respectively. For a quasiprojective variety X, we letm X () deote the moduli stack of 0dimesioal coheret sheaves of legth o X. If F is a coheret sheaf o X, we also set Q F, = Quot X (F, ), where the right had side is Grothedieck s Quot scheme, parametrisig quotiets F E where E is a 0dimesioal sheaf of legth. Whe(X, F)=( 3, r ), we setm =M 3() ad Q r, = Quot 3( r, ). ϕ der ϕ crit f1, Ackowledgmets. We wish to thak Pierrick Bousseau, Be Daviso, Domiic Joyce, Dragos Oprea, Sarah Scherotzke ad Nicolò Sibilla for helpful discussios. A.R. thaks SISSA for the excellet workig coditios. 1. BACKGROUND MATERIAL 1.1. Shifted symplectic structures. Let cdga 0 be the category of opositively graded commutative differetial gradedalgebras. There is a spectrum fuctor Spec : cdga 0 dst to the category of derived stacks (see[33, Defiitio ] or[31, Defiitio 4.2]). A object of the form Spec A is called a affie derivedscheme. Such objects provide the Zariski local charts for geeral derivedschemes, see[31, Sectio 4.2]. A objectx i dst is called a derived Arti stack if it is mgeometric (cf.[31, Defiitio ]) for some m ad its classical trucatio t 0 (X) is a Arti stack (ad ot a higher stack). A derived Arti stackx admits a atlas, i.e. a smooth surjective morphism U X from a derived scheme. Every derived Arti stackx has a cotaget complex X of fiite cohomological amplitude i[ m, 1] ad a dual taget complex X. Both are objects i a suitable stable category L qcoh (X) (see[31] or [33] for its defiitio).
6 6 ANDREA T. RICOLFI AND MICHAIL SAVVAS Shifted symplectic structures o derived Arti stacks were itroduced by Patev Toë Vaquié Vezzosi i[23]. The defiitio is give i the affie case first, ad the geeralised by showig the local otio satisfies smooth descet. We recall the local defiitio: let us set X = Spec A, so that L qcoh (X) = D(dgMod A ). For all p 0 oe ca defie the exterior power complex(λ p X, d) L qcoh (X), where the differetial d is iduced by the differetial of the algebra A. For a fixed k, defie a k shifted p form o X to be a elemetω 0 (Λ p X ) k such that dω 0 = 0. To defie the otio of closedess, cosider the de Rham differetial d dr :Λ p X Λ p+1 X. A k shifted closed p form is a sequece(ω 0,ω 1,...), with ω i (Λ p+i X ) k i, such that dω 0 = 0 ad d dr ω i + dω i+1 = 0. Whe p= 2, ay k shifted 2 formω 0 (Λ 2 X ) k iduces a morphismω 0 : X X [k] i L qcoh (X), ad we say thatω 0 is odegeerate if this morphism is a isomorphism i L qcoh (X). Defiitio 1.1 ([23, Defiitio 1.18]). A k shifted closed 2formω=(ω 0,ω 1,...) is called a k shifted symplectic structure ifω 0 is odegeerate. We say that(x,ω) is a k shifted symplectic (affie) derived scheme dcritical schemes ad Arti stacks. Let X be a scheme over. Joyce[20] proved the existece of a caoical sheaf ofvector spacess X such that for every triple(r, V, i), where R X is a ope subscheme, V is a smooth scheme ad i : R V is a closed immersio with ideal, oe has a exact sequece 0 S R X V / 2 Ω V / Ω V, where the last map is iduced by the exterior derivative; see[20, Theorem 2.1] for the full list of properties characterisigs X. Joyce also proved the existece of a subsheafs 0 X S X ad a direct sum decompositio S X =S 0 X X, where X is the costat sheaf o X ad, for ay triple(r, V,i) as above, oe has S 0 X R = ker S R X V / 2 Rred SXR. If V is a smooth scheme carryig a regular fuctio f (V) with critical locus R= crit(f) V, ad f Rred = 0, the=(df) V ad a atural elemet of H 0 (S 0 X R) is the sectio f+(df) 2. Defiitio 1.2 ([20, Defiitio 2.5]). A dcritical scheme is a pair(x, s), where X is a ordiary scheme ad s is a sectio of SX 0 with the followig property: for every poit p X there is a quadruple(r, V, f, i), called a dcritical chart, where R X is a ope eighbourhood of p, V is a smooth scheme, f (V) is a regular fuctio such that f Rred = 0, havig critical locus i : R V, ad s R = f+(df) 2 H 0 (S 0 X R). The sectio s is called a dcritical structure o X. By[20, Propositio 2.8], if g : X Y is a smooth morphism of schemes ad t H 0 (S 0 Y ) is a dcritical structure o Y, the g t H 0 (SX 0 ) is a dcritical structure o X. For a Arti stack X, Joyce defied the sheaf SX 0 by smooth descet[20, Corollary 2.52]. Recall that to give a sheaf ox oe has to specify a étale sheaf(u, u) for every smooth 1 morphism u : U X from a scheme, alog with a series of atural compatibilities. Similarly, to give a sectio s H 0 () is to give a collectio of compatible sectios s(u, u) H 0 ((U, u)) for every smooth 1morphism u : U X from a scheme. d
7 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 7 Joyce defied a dcritical Arti stack (see[20, Defiitio 2.53]) to be a pair(x, s), wherex is a classical Arti stack, s H 0 (SX 0 ) is a sectio such that s(u, u) defies a dcritical structure o U (beig a sectio of SX 0(U, u)=s0 U ) accordig to Defiitio 1.2, for every smooth 1morphism u : UX. If G is a algebraic group actig o a scheme Y, the sheaf SY 0 is aturally G equivariat, so there is a welldefied subspace H 0 (SY 0)G H 0 (SY 0 ) of G ivariat sectios. IfX=[Y/G], the H 0 (SX 0)=H0 (SY 0)G, ad the dcritical structures ox are caoically idetified with the G ivariat dcritical structures o Y, see[20, Example 2.55]. We will make this idetificatio throughout without further metio. Theorem 1.3 ([5, Theorem 3.18]). Let(X, ω) be a 1shifted symplectic derived Arti stack. The the uderlyig classical Arti stackx= t 0 (X) exteds i a caoical way to a dcritical Arti stack(x, s ω ). This defies a trucatio fuctor τ, as i (0.1), from the category of 1shifted symplectic derived Arti stacks to the 2category of dcritical Arti stacks. See also[8, Theorem 6.6] for the aalogous result proved for schemes Symmetric obstructio theories. Let M be ascheme with full cotaget complex L M D(,0] (QCoh M ), ad let M D [ 1,0] (QCoh M ) deote its cutoff at 1. A perfect obstructio theory o M, as defied by Behred Fatechi[3], is a pair(,φ), whereis a perfect complex of perfect amplitude cotaied i[ 1, 0], adφ : M a morphism i the derived category, such that h 0 (φ) is a isomorphism ad h 1 (φ) is oto. A perfect obstructio theory (,φ) is called symmetric if there exists a isomorphismϑ: [1] such thatϑ [1]=ϑ. See [4] for backgroud o symmetric obstructio theories. If(M,ω) is a 1shifted symplectic derived scheme, with uderlyig classical scheme i : M M. The=i M M is a perfect obstructio theory, which is furthermore symmetric thaks to the odegeerate pairigϑ= i ω 0. This associatio explais the left vertical arrow i Figure Smoothess of the forgetful map. Let X be a quasiprojective variety, 0 a iteger ad F Coh(X)acoheret sheaf o X. Set Q F, = Quot X (F, ) ad letπ: Q F, X X be the projectio. Forgettig the surjectio defiig the uiversal quotiet [π F ] defies a map q F, : Q F, M X () to the moduli stack of legth coheret sheaves o X. Such a map exists sice Coh(Q F, X) is flat over Q F, by defiitio of the Quot scheme. We call q F, the forgetful morphism throughout. We will eed the followig result. Propositio 1.4. Let X be a reduced projective variety, F a locally free sheaf of rak r 1 o X. For every 0, the forgetful morphism is smooth of relative dimesio r. q F, : Q F, M X () Before provig the result, we recall a classical result by Grothedieck. Accordig to[16, Théorème 7.7.6] (but see also[22, Theorem 5.7]), if f : Y B is a proper morphism to a locally
8 8 ANDREA T. RICOLFI AND MICHAIL SAVVAS oetheria scheme B, ad E is a coheret B flat sheaf o Y, there exists a coheret sheaf E o B alog with fuctorial isomorphisms η: f (E B ) om B ( E,) for all quasicoheret sheaves o B. The sheaf E is uique up to a uique isomorphism, it behaves well with respect to pullback, ad moreover it is locally free exactly whe f is cohomologically flat i dimesio 0[16, Propositio 7.8.4]. For istace, ay proper flat morphism with geometrically reduced fibres is cohomologically flat i dimesio 0[16, Propositio 7.8.6]. Proof of Propositio 1.4. Let X F, be the stack of pairs(e,α), where E is a 0dimesioal sheaf of legth adαis a X liear homomorphismα: F E. The we have a ope immersio Q F, X F, ad the morphism q F, exteds to a morphism π F, :X F, M X (). Let B be a scheme. By stadard methods, we may reduce to the case where B is locally oetheria. Give a map BM X (), let us cosider the fibre products P B Q F, q F, M X () ad V B X F, π F, M X () where BM X () correspods to a B flat family of 0dimesioal sheaves E Coh(X B). The associated sheaf E Coh(B) is locally free of rak r, sice the projectio f : X B B is cohomologically flat i dimesio 0 sice it is proper with reduced fibres. Moreover, the projectio V B is caoically isomorphic to the structure morphism Spec Sym B E B, because of Grothedieck s theorem[16, Cor , Rem ], which says the followig: Let f : Y B be a projective morphism, ad two coheret sheaves o Y. Cosider the fuctor Sch op B Sets sedig a B scheme T B to the set of morphism Hom Y T ( T, T ), where T ad T are the pullbacks of ad alog the projectio Y T = Y B T Y. The, if is flat over B, the above fuctor is represeted by a liear scheme Spec Sym B B, where is a coheret sheaf o B. However, i our case we have Y= X B, f= p 2 the secod projectio ad= p1 F, ad the fuctor described above is precisely the fuctor of poits of V, thus we must have= E. More details ca be foud i the proof of Grothedieck s result foud i[22, Theorem 5.8]. Therefore, sice P V is ope ad V B is a affie budle of rak r, the projectio P B is smooth of relative dimesio r. Remark 1.5. Let X X be a ope subscheme, where X is a reduced projective variety as i Propositio 1.4, ad let F = F X be the restrictio of a locally free sheaf F over X. The q F, : Quot X (F, )M X () is agai smooth, beig the pullback of the smooth morphism q F, : Q F, M X () alog the ope immersio M X () M X (). This applies for istace to(x, F, X )=( 3, r, 3 ). Thus we get the ext corollary.
9 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 9 Corollary 1.6. The forgetful map q r, : Quot 3( r, )M is smooth of relative dimesio r. Note that, for fixed[e] M, the choice of a surjectio r E is othig but the datum of r (geeral eough) sectiosσ 1,...,σ r Hom(, E)=H 0 (E)=. So the fibre of q r, over [E] is a ope subset of r. 2. PROOF OF THEOREM A I this sectio we prove Theorem A (see Theorem 2.6) gratig the (fudametal) auxiliary result Theorem 2.2, which will be proved i Theorem The moduli stack M of 0dimesioal coheret sheaves o legth o 3 ca be see as a stack of represetatios of the Jacobi algebra of a quiver with potetial. Ideed, cosider the 3loop quiver L 3 (Figure 2), equipped with the potetial W= A[B, C]. A 1 B C FIGURE 2. The 3loop quiver L 3. Notatio 2.1. Fix a quiver Q=(Q 0,Q 1, s, t), where Q 0 is the vertex set, Q 1 is the edge set, s ad t are the source ad target maps Q 1 Q 0 respectively; for a dimesio vector d=(d i ) i Q 0, we let Rep d (Q) deote the space of d dimesioal represetatios of Q, amely the affie space a Q 1 Hom ( d s(a), d t(a)). The group GL d = i Q 0 GL d i acts o Rep d (Q) by cojugatio; the moduli stack of d dimesioal represetatios is the quotiet stack M d (Q)= [Rep d (Q)/ GL d ]. The critical locus of the GL ivariat regular fuctio (2.1) f =(Tr W) : Rep (L 3 ), (A, B, C) Tr A[B, C], defies a closed GL ivariat subscheme U of the 3 2 dimesioal affie space Rep (L 3 ) = Ed ( ) 3 parametrisig triples of pairwise commutig edomorphisms. There is a isomorphism of Arti stacks (2.2) ι :[U / GL ] M defied o closed poits by sedig the GL orbit[a, B, C] of a triple(a, B, C) U to the poit[e] represeted by the direct sum E= p1 p, where the poits p i are ot ecessarily distict, ad are determied by the diagoal etries of the matrices A (for the x  coordiate), B (for the y coordiate) ad C (for the z coordiate). Ideed, the matrices ca be simultaeously put i upper triagular form precisely because they pairwise commute, ad we are workig modulo GL. The source of the isomorphismι is equipped with the algebraic dcritical structure s crit = f +(df ) 2 H 0 S 0 [U / GL ] = H 0 S 0 GL U.
10 10 ANDREA T. RICOLFI AND MICHAIL SAVVAS O the other had, Brav ad Dyckerhoff[9] proved that there is a 1shifted symplectic structureω o the derived Arti stackm of 0dimesioal coheret sheaves of legth o 3 (see Subsectio 3.2 for details). We deote by (2.3) (M, s der )=τ(m,ω ) its trucatio, defied through the trucatio fuctor τrecalled i Theorem 1.3. The followig result, grated for ow, will be proved i Sectio 3.4. Theorem 2.2. The isomorphism (2.2) iduces a idetity of algebraic dcritical structures. ι s der = s crit Now, for a fixed iteger r 1, let us cosider the Quot scheme Q r, = Quot 3( r, ). As we ow recall, this Quot scheme is a global critical locus, or, i other words, it admits a dcritical structure cosistig of a sigle dcritical chart. This result i the case r = 1 is due to Szedrői [28, Theorem 1.3.1]. The r framed 3loop quiver L 3 (Figure 3) plays a crucial role. A. 1 B FIGURE 3. The r framed 3loop quiverl 3. C Theorem 2.3 ([1, Theorem 2.6]). Fix a vectorθ=(θ 1,θ 2 ) 2, withθ 1 >θ 2. Let cquot r = Repθ st (1,) ( L 3 )/ GL be the moduli space ofθ stable represetatios of the r framed 3loop quiverl 3, ad cosider the regular fuctio f r, : cquot r 1 iduced by the potetial W = A[B, C]. The there is a isomorphism ι r, : crit(f r, ) Q r,. The mai result of this paper (Theorem A, proved i Theorem 2.6 below) states that the dcritical structure s crit r, = f r,+(df r, ) 2 H 0 S 0 crit(f r, ) determied by the fuctio f r, i Theorem 2.3 agrees, up to the isomorphismι r,, with the pullback of s der alog the smooth forgetful morphism q r,. Remark 2.4. Accordig to our covetios, i a dimesio vector (or a stability coditio) o a framed quiver Q the first etry always refers to the framig vertex. As explaied i [1, 12], stability of a represetatio(a, B, C, v 1,..., v r ) Rep (1,) (L 3 ) with respect toθ traslates ito the coditio that the framig vectors v 1,..., v r Hom (V, V 1 )= geerate the uderlyig (uframed) represetatio(a, B, C) Rep (L 3 ). Sice GL acts freely o Rep θ st (1,) ( L 3 ), this exhibits cquot r as a smooth quasiprojective variety of dimesio r.
11 We have a cartesia diagram The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 11 (2.4) crit(f r, ) q r, ι r, Q r, [U / GL ] M ι q r, whereι r, is the isomorphism of Theorem 2.3 adι is the isomorphism (2.2). Propositio 2.5. There is a idetity of dcritical structures q r, s crit = s crit r, H0 S 0 crit(f r, ), where s crit r, = f r,+(df r, ) 2 is the dcritical structure defied by the fuctio f r,. Proof. Forgettig the framig data yields a smooth morphism fittig i a cartesia diagram p r, : cquot r M (L 3 )=[Rep (L 3 )/ GL ] crit(f r, ) cquot r q r, [U / GL ] M (L 3 ) where the horizotal arrows are closed immersios. The fuctio f itroduced i (2.1) desceds to a fuctiom (L 3 ) 1, still deoted f, with critical locus[u / GL ]. The coclusio the follows by observig that p r, f =f r,, which is true because f r, does ot iteract with the framig data. We ca ow complete the proof of Theorem A. Theorem 2.6. Let sr, der H0 (S 0 Q r, ) be the pullback of the dcritical structure s der (defied i (2.3) by trucatigω ) alog q r,. The the isomorphismι r, of Theorem 2.3 iduces a idetity Proof. We have ι r, s der r, which cocludes the proof. p r, ι r, s der r, = s crit r, H0 S 0 crit(f r, ). =ι r, q r, s der by defiitio =q r, ι s der by Diagram (2.4) =q r, s crit by Theorem 2.2 = s crit r, by Propositio 2.5, 3. THE DCRITICAL STRUCTURE(S) ONM I this sectio we compare the two dcritical structures s crit H 0 S 0 [U / GL ], s der H 0 S 0 M
12 12 ANDREA T. RICOLFI AND MICHAIL SAVVAS o the isomorphic spaces[u / GL ] adm, itroduced i Sectio 2. These dcritical structures come from quiver represetatios ad symplectic derived algebraic geometry respectively. Our goal (achieved i Theorem 3.10) is to prove Theorem 2.2. To do so, we first aalyse ad give explicit local dcritical charts for the two dcritical structures. For s crit, we use the geometry of the quotiet stack[u /GL ] ad Lua s étale slice theorem. For s der, we take advatage of the derived deformatio theory of the 1shifted symplectic stack M to obtai explicit formal charts i Darboux form (cf.[5]). Fially, we argue that oe ca pass from formal eighbourhoods to hoest smooth eighbourhoods to obtai the equality of the dcritical structures. Notatio 3.1. Throughout we shall use the otatio Mat a,b (R) to deote the space of matrices with a rows ad b colums with etries i a rig R. If R=, we simply write Mat a,b The dcritical structure s crit comig from quiver represetatios. Let[E] M be a closed poit. The the correspodig sheaf E must be polystable, i.e. of the form (3.1) E= k a i pi where, for i= 1,..., k, the poits p i =(α i,β i,γ i ) 3 are pairwise distict ad a i are positive itegers such that a 1 + +a k =. We fix some otatio for coveiece. Let Y = Rep (L 3 )=Ed ( ) 3 be the vector space of triples of matrices, ad let f : Y be the regular fuctio (2.1). Deote by a= (a 1,..., a k ) the k tuple of positive itegers determied by (3.1). Form the product Y a = k Y ai. The there is a closed embeddigφ a : Y a Y by block diagoal matrices with square diagoal blocks of sizes a 1,..., a k. The reductive algebraic group GL a = k GL a i acts o Y a by compoetwise cojugatio adφ a is equivariat with respect to the iclusio GL a GL by block diagoal matrices of the same kid. O the space Y a we have the GL a ivariat potetial (3.2) g a = f a1 f ak : Y a 1, (A i, B i, C i ) i k Tr A i [B i, C i ], where(a i, B i, C i ) Y ai for i= 1,..., k. We have the obvious relatio f Φ a = g a. If we set U = crit(f ) Y, U a = crit(g a ) Y a, the restrictioφ a : U a U is still equivariat with respect to the iclusio GL a GL, ad so it iduces a morphism of algebraic stacks (3.3) ψ a :[U a / GL a ][U / GL ]. Note that the idetificatio crit(g a )= i crit(f a i )= i U a i combied with the product of the isomorphismsι ai as i (2.2) iduces a caoical idetificatio k [U a / GL a ]= [U ai / GL ai ] k M ai =M a.
13 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 13 We ca idetify the mapψ a with the direct sum map ψ a :M a M, deoted the same way, takig a B valued poit ofm a, i.e. a k tuple( 1,..., k ) of B flat families of 0dimesioal sheaves i Coh(B 3 ), to their direct sum 1 i k i. (The direct sum of flat sheaves if flat by[27, Tag 05NC]). Lemma 3.2. LetX a M a be the ope substack parametrisig k tuples of sheaves with pairwise disjoit support. The the morphism is étale. ψ a Xa :X a M Proof. Accordig to[27, Tag 0CIK], to show thatψ.=ψ a Xa is étale it is eough to fid a algebraic space W, a faithfully flat morphismρ : WM locally of fiite presetatio ad a étale morphism T W ρ,m,ψx a such that T W is étale. We start by pickig W = Quot 3(, ) alog with the smooth (cf. Corollary 1.6) morphism ρ= q, : Quot 3(, )M sedig, for ay test scheme B, a B flat quotiet B 3 T to the objectt M (B). Note thatρ is surjective i the sese of[27, Tag 04ZR]. Ideed, for ay closed poit[e], we have a direct sum decompositio as i (3.1), thus the sheaf E receives a surjectio from, which is othig but the direct sum of the surjectios a i a i pi their direct sum is agai surjective because p i p j for all i j. Next, we form the cartesia diagram T X a µ ψ Quot 3(, ) ρ M ad we pick the idetity T= Quot 3(, ) ρ,m,ψx a as a étale map. We eed to show that µ is étale. But this follows from[1, Propositio A.3], after observig that T is the ope subscheme of k Quot 3(, a i ) parametrisig k tuples of quotiets with pairwise disjoit support, ad µ is othig but the map takig a tuple of surjectios to their direct sum. Let E be a polystable sheaf supported o poits p i =(α i,β i,γ i ) for 1 i k, as i (3.1). The poit[e] M correspods uderι to the orbit of the triple of matrices y E =Φ a (v E ) U Y, where v E =(α,β,γ) U a Y a is give by (3.4) α=(α 1 Id a1,...,α k Id ak ),β=(β 1 Id a1,...,β k Id ak ),γ=(γ 1 Id a1,...,γ k Id ak ). We let v E deote the image of v E alog the smooth atlas U a [U a / GL a ], ad similarly for y E [U / GL ]. The morphismψ a maps v E [U a / GL a ] to y E [U / GL ]. For coveiece, we will idetifyα,β,γ with their images i Y uderφ a, cosiderig them as block diagoal matrices ad more geerally we idetify elemets of Y a with their image i Y uder Φ a.
14 14 ANDREA T. RICOLFI AND MICHAIL SAVVAS Lemma 3.3. There is a ope GL a ivariat eighbourhood v E V Y a such that, if U = crit(g a V ), the morphismψ E.. =ψ a [U/ GLa ] is étale. I particularψ a is étale at v E. Moreover, ifφ E deotes the compositio φ E : U [U/ GL a ] [U a / GL a ] [U / GL ], the we have a idetity of dcritical structures φ E s crit = g a V +(dg a V ) 2 H 0 (S 0 U )GL a H 0 (S 0 U ). Proof. The first statemet follows from Lemma 3.2, up to replacig the ope substack[u/ GL a ] [U a / GL a ] with its itersectio withx a. We ow compare f ad g a. For a complex matrix A Mat, (cf. Notatio 3.1), we cosider it as a block matrix with diagoal blocks A 11,..., A k k of sizes a 1 a 1,..., a k a k ad offdiagoal blocks A i j of sizes a i a j. Let Y = Y a Y be the direct sum decompositio where Y is the subspace of triples of matrices(a, B, C)whose diagoal blocks are zero. This decompositio is GL a ivariat, sice the cojugatio actio of GL a is give o blocks by the formula (h (A, B, C)) i j = h i i A i j h 1 j j, h i i B i j h 1 j j, h i i C i j h 1 j j. map The derivativegl T ye Y of the GL actio o Y at the poit y E =(α,β,γ) is give by the σ:gl = Mat, T ye Y Y X [X,α],[X,β],[X,γ] Notice that the i j th blocks of the triple of matricesσ(x) are give by the triple of a i a j matrices (3.5) σ(x) i j = (α i α j )X i j,(β i β j )X i j,(γ i γ j )X i j. I particular, im(σ) is a GL a ivariat subspace of Y. Defie a subspace im(σ) Y by the coditio that(x, Y, Z) im(σ) if ad oly if for all idices i j we have (3.6) (α i α j )X i j +(β i β j )Y i j +(γ i γ j )Z i j = 0. We thus have a GL a ivariat direct sum decompositio (3.7) T ye Y Y = Y a im(σ) Y σ where Y a Y σ = im(σ) ad Y σ ψ a is the GL a ivariat complemet of Y a i im(σ) cosistig of the matrices that have zero diagoal blocks. Sice im(σ)=t ye (GL y E ), by Lua s étale slice theorem there exists a sufficietly small GL a ivariat ope eighbourhood S of y E Y a Y σ which is a étale slice for the GL actio o Y at y E. Therefore, T= U Y S is a étale slice for the GL actio o U at y E. I particular, T is cut out by the equatios df S = 0 i S ad thus T= crit(f S ) S. Sice f S = Tr A[B, C] S, it is easy to check that the derivatives of f with respect to the coordiates of Y σ vaish o Y a. Moreover, the Hessia H of f at the poit y E Y is give by the quadratic form whose value at(x, Y, Z) T ye Y Y is (3.8) H(X, Y, Z)=Tr X[β, Z]+ X[Y,γ]+α[Y, Z].
15 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 15 By direct computatio, the form H is odegeerate o Y σ. To see this, workig i terms of blocks, we have H(X, Y, Z)= Tr (β i β j )Z i j X j i (γ i γ j )Y i j X j i (α i α j )Z i j Y j i. i j For simplicity, we write each pair of summads correspodig to the idices i j suggestively i the form (3.9) β Tr(Z 1 X 2 ) γ Tr(Y 1 X 2 ) α Tr(Z 1 Y 2 ) β Tr(Z 2 X 1 )+γ Tr(Y 2 X 1 )+α Tr(Z 2 Y 1 ) where X 1, Y 1, Z 1 (resp. X 2, Y 2, Z 2 ) stad for X i j, Y i j, Z i j (resp. X j i, Y j i, Z j i ) adα,β,γ stad for α i α j,β i β j,γ i γ j respectively. The (3.6) takes the equivalet form αx 1 +βy 1 +γz 1 = 0 αx 2 +βy 2 +γz 2 = 0. At least oe ofα,β,γ is ozero, so without loss of geerality we assumeα 0, as the computatio is aalogous i the other two cases. Solvig for X 1 ad X 2, substitutig ito (3.9) ad simplifyig, gives the expressio 1 α 2 + β 2 + γ 2 Tr(Y 1 Z 2 Y 2 Z 1 ). α This is odegeerate ad therefore H must be odegeerate. Sice f Ya = g a, the odegeeracy of H o Y σ implies that, after possibly replacig S by a GL a ivariat ope eighbourhood of y E i S, we may assume that the ideal I=(df S ) coicides with the ideal(dg a, K), where K is the ideal of Y a i S geerated by the coordiates of Y σ. Thus, lettig U= U a S Y a, we see that U is a ope eighbourhood of v E i U a ad the étale map satisfies by costructio κ=ψ a [U/ GLa ] :[U/ GL a] [U a / GL a ] [U / GL ] κ s crit U = f S + I 2 H 0 (S 0 U )GL a. Let V= Y a S Y σ. By defiitio, V is a GL a ivariat ope eighbourhood of y E i Y a. We have the embeddigψ : V S such thatψ f S = g a V ad U = crit(g a V ). Write J for the ideal(dg a V ). The, by the defiitio of the sheafsu 0, the commutative diagram 0 SU 0 S /I 2 Ω S /I Ω S 0 SU 0 V /J 2 Ω V /J Ω V implies that f S + I 2 = g a V + J 2 H 0 (S 0 U )GL a, which is exactly what we wat. Ψ d d Ψ 3.2. The derived stackm of 0dimesioal coheret sheaves of legth o 3. LetM be the derived moduli stack of 0dimesioal coheret sheaves of legth o 3. Its classical trucatio is the stack M. We ow recall the defiitio of M ad give a explicit descriptio as a derived quotiet stack for the coveiece of the reader. Let A cdga 0. By[32] or[9, Example 2.7],M assigs to A the mappig space (3.10) Map dgcat [x, y, z], Proj (A).
16 16 ANDREA T. RICOLFI AND MICHAIL SAVVAS Here[x, y, z] is viewed as the dgcategory with oe object ad morphisms cocetrated i degree 0 give by[x, y, z], whereas Proj (A) is the dgcategory whose objects are rak projective Amodules ad the morphism complexes are give by Hom (E, F)for two objects E, F. Sice projective modules are locally trivial ad, as differetial graded algebras, we have Hom (A, A )=gl A, we ca further simplify (3.10) (up to possible shrikig) ito (3.11) Map dga[x, y, z], gl A, up to cojugatio by GL. To compute this mappig space with respect to the model structure of the category dga, we eed a resolutio of the algebra[x, y, z] by a semifree dgalgebra. This is provided by the followig propositio. Propositio 3.4. LetQ 3 be the semifree dgalgebra with geerators x, y, z i degree 0, x, y, z i degree 1 ad w i degree 2 ad differetialδsatisfyig (3.12) δx=δy=δz= 0 δx =[y, z],δy =[z, x],δz =[x, y] δw=[x, x ]+[y, y ]+[z, z ]. The the atural morphism Q 3 [x, y, z] is a quasiisomorphism. Proof. The claim follows from the fact that thealgebra x, y, z geerated overfreely by three variables x, y, z is Calabi Yau of dimesio 3 ad[15, Theorem 5.3.1]. It follows from the propositio that the mappig space (3.11) is computed by Hom dga (Q 3, gl A) which, usig the results of[6], is aturally isomorphic to Hom cdga 0((Q 3 ), A). Here(Q 3 ) is the commutative dgalgebra with geerators correspodig to the matrix etries of the matrices X, Y, Z i degree 0, X, Y, Z i degree 1 ad W i degree 2 with differetial determied by (3.12). I particular we have sets of geerators give by the matrix etries of i degrees 0, 1 ad 2 respectively. Rep (L 3 ) gl 3, Rep (L 3) gl 3, gl Quotietig by the cojugatio actio of GL, we obtai the followig propositio. Propositio 3.5. There exists a isomorphism of derived Arti stacks (3.13) ι : Spec(Q 3 ) GL M The dcritical structure s der comig from derived symplectic geometry. Recall that Equatio (2.3) defies s der to be the trucatio of the 1shifted symplectic structureω om costructed by Brav ad Dyckerhoff[9]. Let[E] M be a closed poit, so that the sheaf E is polystable as i (3.1). We ow proceed to fid formally smooth dcritical charts for(m, s der ) aroud such poits[e] usig the
17 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 17 derived deformatio theory of M, followig[30]. I order to do this, we first eed some preparatios. Let p=(a 0, b 0, c 0 ) 3 be a poit i coordiates x 0, y 0, z 0 for 3. We deote the fuctios x 0 a 0, y 0 b 0, z 0 c 0 by x, y, z respectively. For coveiece, we also write i place of the rig 3=[x 0, y 0, z 0 ] i what follows. We have the Koszul resolutio Q p p, give by the complex (3.14) Q p = Q 3 Q 2 Q 1 Q 0 = A 3 B 3 C, where the morphisms A, B, C are multiplicatios by the matrices (we are very slightly abusig otatio here) Let x 0 z y A= y, B= z 0 x, C= x y z. z y x 0 (3.15) g p = Hom(Q p,q p )=RHom( p, p ). By composig morphisms i each degree,g p has the structure of a (ifiitedimesioal) dgalgebra(g p,,δ) over. Moreover, let (3.16) g mi p = Usig the Yoeda product 3 H i (g p )= i=0 3 Ext i ( p, p ). i=0 m 2 : Ext i ( p, p ) Ext j ( p, p ) Ext i+j ( p, p ), oe ca edow g mi p with the structure of a graded commutative algebra overad thus of a dgalgebra(g mi p, m 2, 0) with zero differetial. As a graded algebra, it is clear that g mi p is isomorphic to the exterior algebraλ 3. Lemma 3.6. There exists a morphism I p :(g mi p, m 2, 0)(g p,,δ) of dgalgebras, which iduces the idetity map o homology. I particular, the dgalgebra g p is formal as a A  algebra. Proof. We costruct the morphism I p explicitly. For brevity, we idetify Hom ( s, t ) with t s matrices Mat t,s () with etries i. The graded pieces ofg p i degrees 0,..., 4 are g 0 p = Hom(Q i,q i ) = Mat 3,3 () Mat 3,3 () i g 1 p = Hom(Q i,q i+1 )=Mat 3,1 () Mat 3,3 () Mat 1,3 () i g 2 p = Hom(Q i,q i+2 )=Mat 3,1 () Mat 1,3 () i g 3 p = Hom(Q i,q i+3 )= i g 4 p = Hom(Q i,q i+4 )=0. i
18 18 ANDREA T. RICOLFI AND MICHAIL SAVVAS Defie elemets1 g 0 p adx,y,z g1 p by 1=(1, Id 3, Id 3, 1) x= 0, 0 0 1, y= 1, 0 0 0, z= 0, 1 0 0, We may verify directly that these satisfy the relatios 1 x=x,1 y=y,1 z=z x x= 0,y y= 0,z z= 0, as well as 0 x y= y x= 0, y z= z y= 0, z x= x z= 1, x y z= 2. So the associative algebra R geerated by1,x,y,z is a subalgebra ofg p isomorphic toλ 3. Moreover, all of the elemets of R are cocycles for the differetialδofg p ad their images i homology give bases for the homology groups H i (g p )=Ext i ( p, p ). By the defiitio of the Yoeda product m 2, it is immediate that R is isomorphic to g mi p, givig a morphism of dgalgebras I p :g mi p g p which, by costructio, iduces the idetity o homology, as desired. Remark 3.7. The elemetx g 1 p is the evaluatio of the triple(a, B, C) at the poit(1, 0, 0) 3. Aalogous statemets hold fory,z ad all products ofx,y,z. This motivates their defiitio. Let ow E be a polystable sheaf as i (3.1) ad write Q E = k a i Q p i. We the defie k g E = Hom(Q E,Q E )= Hom(Q p,q i p) Mat j a j,a i = RHom(E, E) i, j=1
19 ad (3.17) The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 19 g ss k E = g pi Mat ai,a i g mi E = k g mi p i Mat ai,a i. Theg E is a dgalgebra with differetialδiduced from that of each summadg pi adg ss E g E is a dgsubalgebra. I the same fashio g mi E is a commutative graded algebra. Sice for ay i jad aylwe have Ext l ( pi, pj )=0, the iclusiog ss E g E is a quasiisomorphism adg mi E is isomorphic as a dgalgebra to(ext (E, E), m 2, 0). Corollary 3.8. Let E be a polystable sheaf as i (3.1). The there exists a morphism I E :(g mi E, m 2, 0)(g E,,δ) of dgalgebras, which iduces the idetity map o homology. Thus, the dgalgebra g E is formal as a A algebra. Proof. The map I E is give by the compositio of the morphism k I p i id Matai,a i ad the iclusiog ss E g E. As i[29, Appedix A], let S=S(g mi,>0 E [1]) be the dual of the abeliaisatio of the Bar costructio of the dgalgebrag mi,>0 E, which is the Chevalley Eileberg dgalgebra of the dg Lie algebra associated to the commutative dgalgebra g mi E Mat ai,a i determied by (x (3.18) i A i ),(y i B i ) =z i [A i, B i ] (y i B i ),(z i C i ) =x i [B i, C i ] (z i C i ),(x i A i ) =y i [C i, A i ], with Lie bracket o each g mi p i where eachg mi p i =Λ 3 usig the give basis{x i,y i,z i }. Here we have used the fact that the Lie bracket i the dglie algebra structure of the derived taget complexg E [1] ofm at[e] is give by commutator of matrices (see[9, Propositio 3.3] or[18, Propositio 2.4.4]). Thus, the defiitio (3.17) implies thatsis geerated by subalgebrass i, where eachs i is a egatively graded commutative dgalgebra ad the differetial ε i degree 1 is determied by the morphisms (3.19) Λ 2 ( 3 ) Mat a i,a i εi Sym ( 3 ) Mat a i,a i satisfyig, due to the Lie bracket relatios (3.18), (3.20) (x i A i ) (y i B i )z i [A i, B i ] (y i B i ) (z i C i )x i [B i, C i ] (z i C i ) (x i A i )y i [C i, A i ]. LetY ai be the formal completio of Y ai = Ed ( a i) 3 at the origi ad letf ai be the formal fuctio f ai :Y ai, fai (A i, B i, C i )=Tr A i [B i, C i ].
20 20 ANDREA T. RICOLFI AND MICHAIL SAVVAS Similarly, let (3.21) k g a =f a1 f ak :Y a = Y ai be the fuctiog a (v 1,..., v k )= f a1 (v 1 )+ + f ak (v k ). It follows immediately by (3.19) that k k (3.22) Spec H 0 (S)= crit( f ai )=crit f ai =crit(g a ) Y a. The by[29, Appedix A], the morphism SpecSM gives a formal atlas form at the poit[e] which moreover is i Darboux form with respect to the 1shifted symplectic structureω. I particular, the trucatio Spec H 0 (S)=crit(g a )M gives a hull for M at[e], which is a formal smooth dcritical chart with respect to the d critical structure s der. We have established the followig lemma. Lemma 3.9. Let[E] M be a polystable sheaf of the form (3.1), ad setu= crit(g a ), where g a :Y a is give by (3.21). The there exists a formally smooth morphism (3.23) φe :UM, mappig 0 U to[e] M, iducig a isomorphism at the level of taget spaces ad a idetity ( φ E ) s der =g a +(dg a ) 2 H 0 (S 0 U ) The two dcritical structures are equal. We ow prove Theorem 2.2, showig that the two dcritical structures studied i this sectio actually coicide. Our argumet follows closely the reasoig outlied i[29, Appedix A]. Theorem The isomorphismι :[U / GL ]M from (2.2) iduces a idetity of algebraic dcritical structures. ι s der = s crit Proof. Let[E] M be a polystable sheaf, give by the expressio (3.1). Applyig Lemma 3.3, we have a étale morphismψ E :[U/ GL a ][U / GL ] such that the pullback uder the iduced morphismφ E : U[U/ GL a ][U / GL ] satisfies (3.24) φ E s crit = g a V +(dg a V ) 2 H 0 (S 0 U )GL a H 0 (S 0 U ), where V Y a is a ope eighbourhood of the poit v E Y a correspodig to[e] ad g a is give by (3.2). By Lemma 3.9, we have a formal atlas φ E :UM, 0[E], satisfyig (3.25) φ der E (s )=g a+(dg a ) 2 H 0 (S 0 U ).
21 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 21 Let j m : U E,m U be the mth order thickeig of v E U. We get iduced morphisms ι φ E j m : U E,m M. Sice φ E :UM is formally smooth, this compatible system lifts via φ E to give rise to a morphismγ:uu such that φ E γ=ι φ E η, whereη:u U is the formal completio morphism of U at v E. That is, we have a commutative diagram U η γ U φ E U [U / GL ] M φ E where, siceι φ E adηare isomorphisms to first order at v E (i.e. at the level of taget spaces), the same is true forγ, soγis a isomorphism. The iclusiou V is cut out by quadrics (the derivatives of the cubic fuctio g a ) ad thusγexteds to a isomorphismγ:vv. Let h=g a γ so that obviously(dh)=(dg a ). The commutativity of the diagram, alog with Equatio (3.25), implies that η φ E ι (s der ι )=γ φ der E (s )=h+(dh)2 H 0 (S 0 U ). After possible further shrikig of V aroud v E, we have (3.26) φ E ι der (s )=k+(dk)2 for some fuctio k : Vsatisfyig(dk)=(dg a V ). Therefore, takig completios, we fid η φ E ι der (s )= k+(dk) 2 H 0 (S 0 U ). Sice(dh)=(dk)=(dg a ) it follows thatk has o quadratic terms ad we must havek h (dg a ) 2. The ideal(dg a ) 2 is geerated by quartics so by comparig cubic terms we deduce that k 3 =g a dγ=h 3 wherek 3, h 3 are the cubic terms ofk, h respectively. As k is a polyomial, we get for the higher order terms k h=k 4 h 4 (dg a ) 2 h deg k (dg a ) 2. Sice by defiitio h=g a γ, whereg a is a cubic, we may trucate the power series defiig γ at sufficietly high degree to get a polyomial isomorphismρ :VV such that h =g a ρ still satisfies(dh )=(dh)=(dg a ) ad h h cosists of summads of h of degree at least degk. By the above, h h (dg a ) 2 ad therefore (3.27) η φ E ι der (s )= k+(dk) 2 = h+(dh) 2 = h +(dh ) 2 H 0 (S 0 U ). ButV is a ope subscheme of a affie space ad heceρ is the completio of a isomorphismρ : V V. I particular, h is the completio of the fuctio g a = g a V ρ : V, (3.28) h = g a :V. Writig I=(dg a V )=(dg a ), the commutative diagram 0 S U V /I 2 Ω V /I Ω V 0 S U V /I 2 Ω V /I Ω V ρ d d ρ
22 22 ANDREA T. RICOLFI AND MICHAIL SAVVAS ad (3.24) show that (3.29) φ crit E (s )=g a +(dg a )2 H 0 (S 0 U ). Usig equatios (3.26), (3.27), (3.28) ad (3.29), the followig propositio applied to the fuctios k, g a : Vshows that there exists a Zariski ope eighbourhood v E U U ad a smooth morphism such that φ E : U U φ E [U / GL ] (φ E ) s crit =(φ E ) ι s der H 0 (S 0 U ). As[E]varies im, the morphismsφ E give a smooth surjective cover ofm, o which the dcritical structures s crit adι s der agree. Hece we must have s crit =ι s der, as desired. Propositio Let V be a smooth scheme ad let f 1, f 2 : V be two fuctios with (df 1 )=(df 2 )= I such that U = crit(f 1 )=crit(f 2 ) V. Fix a poit u U. Letη:U U be the formal completio of U at the poit u adi= I V V the ideal of U iv. Suppose that (3.30) f 1 +I 2 = f 2 +I 2 H 0 (S 0 U ). The there exists a Zariski ope eighbourhood V V of u i V such that for U = U V V we have f V 1 + I 2 V =f 2 + I 2 V V H0 (S 0 U ). Proof. Sice the problem is local i V, we may assume that V is affie. Writemfor the maximal ideal of the closed poit 0 V ad m u for the ideal of u V. We useη:v V to deote the formal completio map as well. Let V loc deote the localisatio of V at u. The mapηclearly factors through the localisatio morphism V loc V by a local, faithfully flat morphismµ:v V loc. Letδ= f 1 f 2 : V,u V,u /I 2. The assumptio (3.30) implies thatµ δ=0. Therefore, siceµis faithfully flat, we must haveδ=0. Hece there exist fuctios h I 2, g V,u \m u ad a positive iteger N such that g N (f 1 f 2 )=h I 2. Lettig V be the ovaishig locus of g completes the proof Some remarks o the proof of Theorem 2.2. We fially collect some observatios to coclude the sectio ad suggest a alterative, stroger approach to prove Theorem 2.2. Oe ca check that the classical trucatio of the isomorphism ι : Spec(Q 3 ) / GL give i (3.13) is the isomorphism ι :[U / GL ] M. M The targetm ofι admits the 1shifted symplectic structureω. O the other had, usig the model for shifted symplectic forms for (affie) derived quotiet stacks described i[23, Sectio 1], we ca costruct a explicit 1shifted symplectic formω=(ω 0, 0, 0,...) o Spec(Q 3 ) / GL, combiig the 1shifted symplectic forms for
23 The dcritical structure o the Quot scheme of poits of a Calabi Yau 3fold 23 crit(f ) ad B GL, such that the iduced dcritical structure o the trucatio[u / GL ] is s crit. Theorem 2.2 will the follow from the stroger statemet thatι ω =ωas 1shifted symplectic forms. While we certaily believe this to be true, we have chose to pursue a local argumet to obtai the equality of dcritical structures usig the derived deformatio theory ofm. This gives us more cotrol over the derived taget complex ad explicit Darboux charts, which we are comfortable with, ad also avoids possible techicalities o shifted symplectic structures o derived quotiet stacks. 4. THE DCRITICAL STRUCTURE(S) ON Quot 3( r, ) Fix itegers 0 ad r 1. Recall from Theorem 2.3 the critical structure cquot r crit(f r,) Q r, = Quot 3( r, ) o the Quot scheme Q r, of legth quotiets r E of the trivial rak r sheaf o 3. I this sectio, we compare two dcritical structures s crit r, H0 S 0 crit(f r, ), s der r, H0 S 0 Q, r, by bootstrappig the argumets i our discussio of the dcritical structure of M i the precedig sectio. To motivate, let Q r, be the derived Quot scheme[13]. The we have a commutative diagram Q r, j r, Q r, (4.1) q r, q r, M j M where j r, ad j are the iclusios of the uderlyig classical spaces ad q r, is the forgetful morphism takig[ r E] Q r, to[e] M, which ca be viewed as the trucatio of its derived ehacemet q r, The dcritical structure sr, crit comig from quiver represetatios. The dcritical structure s crit r, = f r,+(df r, ) 2 o crit(f r, ) cquot crit r admits a local descriptio similar to that of s. We fix some otatio for coveiece, extedig the correspodig otatio used form i Sectio 3.1. Let Y r, = Rep (1,) (L 3 )=Ed ( ) 3 Hom (, ) r = Y Z r,, i.e. we deote by Z r, the space of r tuples(v 1,..., v r ) of vectors v i. Let f r, : Y r, 1 be the regular (ad GL  ivariat) fuctio iduced by the potetial W = A[B, C]. It is crucial to observe that this fuctio does ot iteract with the compoet Z r,. Accordig to Theorem 2.3, there is a
Department of Computer Science, University of Otago
Departmet of Computer Sciece, Uiversity of Otago Techical Report OUCS200609 Permutatios Cotaiig May Patters Authors: M.H. Albert Departmet of Computer Sciece, Uiversity of Otago Micah Colema, Rya Fly
More informationAsymptotic Growth of Functions
CMPS Itroductio to Aalysis of Algorithms Fall 3 Asymptotic Growth of Fuctios We itroduce several types of asymptotic otatio which are used to compare the performace ad efficiecy of algorithms As we ll
More informationIn nite Sequences. Dr. Philippe B. Laval Kennesaw State University. October 9, 2008
I ite Sequeces Dr. Philippe B. Laval Keesaw State Uiversity October 9, 2008 Abstract This had out is a itroductio to i ite sequeces. mai de itios ad presets some elemetary results. It gives the I ite Sequeces
More informationTrigonometric Form of a Complex Number. The Complex Plane. axis. ( 2, 1) or 2 i FIGURE 6.44. The absolute value of the complex number z a bi is
0_0605.qxd /5/05 0:45 AM Page 470 470 Chapter 6 Additioal Topics i Trigoometry 6.5 Trigoometric Form of a Complex Number What you should lear Plot complex umbers i the complex plae ad fid absolute values
More informationTHE ABRACADABRA PROBLEM
THE ABRACADABRA PROBLEM FRANCESCO CARAVENNA Abstract. We preset a detailed solutio of Exercise E0.6 i [Wil9]: i a radom sequece of letters, draw idepedetly ad uiformly from the Eglish alphabet, the expected
More informationFIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. 1. Powers of a matrix
FIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. Powers of a matrix We begi with a propositio which illustrates the usefuless of the diagoalizatio. Recall that a square matrix A is diogaalizable if
More informationChapter 5: Inner Product Spaces
Chapter 5: Ier Product Spaces Chapter 5: Ier Product Spaces SECION A Itroductio to Ier Product Spaces By the ed of this sectio you will be able to uderstad what is meat by a ier product space give examples
More informationCS103X: Discrete Structures Homework 4 Solutions
CS103X: Discrete Structures Homewor 4 Solutios Due February 22, 2008 Exercise 1 10 poits. Silico Valley questios: a How may possible sixfigure salaries i whole dollar amouts are there that cotai at least
More informationLecture 13. Lecturer: Jonathan Kelner Scribe: Jonathan Pines (2009)
18.409 A Algorithmist s Toolkit October 27, 2009 Lecture 13 Lecturer: Joatha Keler Scribe: Joatha Pies (2009) 1 Outlie Last time, we proved the BruMikowski iequality for boxes. Today we ll go over the
More informationSAMPLE QUESTIONS FOR FINAL EXAM. (1) (2) (3) (4) Find the following using the definition of the Riemann integral: (2x + 1)dx
SAMPLE QUESTIONS FOR FINAL EXAM REAL ANALYSIS I FALL 006 3 4 Fid the followig usig the defiitio of the Riema itegral: a 0 x + dx 3 Cosider the partitio P x 0 3, x 3 +, x 3 +,......, x 3 3 + 3 of the iterval
More informationProperties of MLE: consistency, asymptotic normality. Fisher information.
Lecture 3 Properties of MLE: cosistecy, asymptotic ormality. Fisher iformatio. I this sectio we will try to uderstad why MLEs are good. Let us recall two facts from probability that we be used ofte throughout
More informationWHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER?
WHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER? JÖRG JAHNEL 1. My Motivatio Some Sort of a Itroductio Last term I tought Topological Groups at the Göttige Georg August Uiversity. This
More informationSequences and Series
CHAPTER 9 Sequeces ad Series 9.. Covergece: Defiitio ad Examples Sequeces The purpose of this chapter is to itroduce a particular way of geeratig algorithms for fidig the values of fuctios defied by their
More informationExample 2 Find the square root of 0. The only square root of 0 is 0 (since 0 is not positive or negative, so those choices don t exist here).
BEGINNING ALGEBRA Roots ad Radicals (revised summer, 00 Olso) Packet to Supplemet the Curret Textbook  Part Review of Square Roots & Irratioals (This portio ca be ay time before Part ad should mostly
More informationI. Chisquared Distributions
1 M 358K Supplemet to Chapter 23: CHISQUARED DISTRIBUTIONS, TDISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad tdistributios, we first eed to look at aother family of distributios, the chisquared distributios.
More informationConvexity, Inequalities, and Norms
Covexity, Iequalities, ad Norms Covex Fuctios You are probably familiar with the otio of cocavity of fuctios. Give a twicedifferetiable fuctio ϕ: R R, We say that ϕ is covex (or cocave up) if ϕ (x) 0 for
More information1. MATHEMATICAL INDUCTION
1. MATHEMATICAL INDUCTION EXAMPLE 1: Prove that for ay iteger 1. Proof: 1 + 2 + 3 +... + ( + 1 2 (1.1 STEP 1: For 1 (1.1 is true, sice 1 1(1 + 1. 2 STEP 2: Suppose (1.1 is true for some k 1, that is 1
More informationLecture 5: Span, linear independence, bases, and dimension
Lecture 5: Spa, liear idepedece, bases, ad dimesio Travis Schedler Thurs, Sep 23, 2010 (versio: 9/21 9:55 PM) 1 Motivatio Motivatio To uderstad what it meas that R has dimesio oe, R 2 dimesio 2, etc.;
More information2 MATH 101B: ALGEBRA II, PART D: REPRESENTATIONS OF GROUPS
2 MATH 101B: ALGEBRA II, PART D: REPRESENTATIONS OF GROUPS 1. The group rig k[g] The mai idea is that represetatios of a group G over a field k are the same as modules over the group rig k[g]. First I
More informationInfinite Sequences and Series
CHAPTER 4 Ifiite Sequeces ad Series 4.1. Sequeces A sequece is a ifiite ordered list of umbers, for example the sequece of odd positive itegers: 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29...
More informationTHE REGRESSION MODEL IN MATRIX FORM. For simple linear regression, meaning one predictor, the model is. for i = 1, 2, 3,, n
We will cosider the liear regressio model i matrix form. For simple liear regressio, meaig oe predictor, the model is i = + x i + ε i for i =,,,, This model icludes the assumptio that the ε i s are a sample
More informationPermutations, the Parity Theorem, and Determinants
1 Permutatios, the Parity Theorem, ad Determiats Joh A. Guber Departmet of Electrical ad Computer Egieerig Uiversity of Wiscosi Madiso Cotets 1 What is a Permutatio 1 2 Cycles 2 2.1 Traspositios 4 3 Orbits
More informationNotes on exponential generating functions and structures.
Notes o expoetial geeratig fuctios ad structures. 1. The cocept of a structure. Cosider the followig coutig problems: (1) to fid for each the umber of partitios of a elemet set, (2) to fid for each the
More informationCME 302: NUMERICAL LINEAR ALGEBRA FALL 2005/06 LECTURE 8
CME 30: NUMERICAL LINEAR ALGEBRA FALL 005/06 LECTURE 8 GENE H GOLUB 1 Positive Defiite Matrices A matrix A is positive defiite if x Ax > 0 for all ozero x A positive defiite matrix has real ad positive
More informationLecture 4: Cauchy sequences, BolzanoWeierstrass, and the Squeeze theorem
Lecture 4: Cauchy sequeces, BolzaoWeierstrass, ad the Squeeze theorem The purpose of this lecture is more modest tha the previous oes. It is to state certai coditios uder which we are guarateed that limits
More informationChapter 5 O A Cojecture Of Erdíos Proceedigs NCUR VIII è1994è, Vol II, pp 794í798 Jeærey F Gold Departmet of Mathematics, Departmet of Physics Uiversity of Utah Do H Tucker Departmet of Mathematics Uiversity
More informationAnnuities Under Random Rates of Interest II By Abraham Zaks. Technion I.I.T. Haifa ISRAEL and Haifa University Haifa ISRAEL.
Auities Uder Radom Rates of Iterest II By Abraham Zas Techio I.I.T. Haifa ISRAEL ad Haifa Uiversity Haifa ISRAEL Departmet of Mathematics, Techio  Israel Istitute of Techology, 3000, Haifa, Israel I memory
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 13
EECS 70 Discrete Mathematics ad Probability Theory Sprig 2014 Aat Sahai Note 13 Itroductio At this poit, we have see eough examples that it is worth just takig stock of our model of probability ad may
More information1 Computing the Standard Deviation of Sample Means
Computig the Stadard Deviatio of Sample Meas Quality cotrol charts are based o sample meas ot o idividual values withi a sample. A sample is a group of items, which are cosidered all together for our aalysis.
More informationTHE ARITHMETIC OF INTEGERS.  multiplication, exponentiation, division, addition, and subtraction
THE ARITHMETIC OF INTEGERS  multiplicatio, expoetiatio, divisio, additio, ad subtractio What to do ad what ot to do. THE INTEGERS Recall that a iteger is oe of the whole umbers, which may be either positive,
More informationA probabilistic proof of a binomial identity
A probabilistic proof of a biomial idetity Joatho Peterso Abstract We give a elemetary probabilistic proof of a biomial idetity. The proof is obtaied by computig the probability of a certai evet i two
More informationFactors of sums of powers of binomial coefficients
ACTA ARITHMETICA LXXXVI.1 (1998) Factors of sums of powers of biomial coefficiets by Neil J. Cali (Clemso, S.C.) Dedicated to the memory of Paul Erdős 1. Itroductio. It is well ow that if ( ) a f,a = the
More information5 Boolean Decision Trees (February 11)
5 Boolea Decisio Trees (February 11) 5.1 Graph Coectivity Suppose we are give a udirected graph G, represeted as a boolea adjacecy matrix = (a ij ), where a ij = 1 if ad oly if vertices i ad j are coected
More informationIrreducible polynomials with consecutive zero coefficients
Irreducible polyomials with cosecutive zero coefficiets Theodoulos Garefalakis Departmet of Mathematics, Uiversity of Crete, 71409 Heraklio, Greece Abstract Let q be a prime power. We cosider the problem
More informationClass Meeting # 16: The Fourier Transform on R n
MATH 18.152 COUSE NOTES  CLASS MEETING # 16 18.152 Itroductio to PDEs, Fall 2011 Professor: Jared Speck Class Meetig # 16: The Fourier Trasform o 1. Itroductio to the Fourier Trasform Earlier i the course,
More informationCooleyTukey. Tukey FFT Algorithms. FFT Algorithms. Cooley
Cooley CooleyTuey Tuey FFT Algorithms FFT Algorithms Cosider a legth sequece x[ with a poit DFT X[ where Represet the idices ad as +, +, Cooley CooleyTuey Tuey FFT Algorithms FFT Algorithms Usig these
More informationYour organization has a Class B IP address of 166.144.0.0 Before you implement subnetting, the Network ID and Host ID are divided as follows:
Subettig Subettig is used to subdivide a sigle class of etwork i to multiple smaller etworks. Example: Your orgaizatio has a Class B IP address of 166.144.0.0 Before you implemet subettig, the Network
More informationSoving Recurrence Relations
Sovig Recurrece Relatios Part 1. Homogeeous liear 2d degree relatios with costat coefficiets. Cosider the recurrece relatio ( ) T () + at ( 1) + bt ( 2) = 0 This is called a homogeeous liear 2d degree
More information3. Greatest Common Divisor  Least Common Multiple
3 Greatest Commo Divisor  Least Commo Multiple Defiitio 31: The greatest commo divisor of two atural umbers a ad b is the largest atural umber c which divides both a ad b We deote the greatest commo gcd
More informationLecture 4: Cheeger s Inequality
Spectral Graph Theory ad Applicatios WS 0/0 Lecture 4: Cheeger s Iequality Lecturer: Thomas Sauerwald & He Su Statemet of Cheeger s Iequality I this lecture we assume for simplicity that G is a dregular
More informationCS103A Handout 23 Winter 2002 February 22, 2002 Solving Recurrence Relations
CS3A Hadout 3 Witer 00 February, 00 Solvig Recurrece Relatios Itroductio A wide variety of recurrece problems occur i models. Some of these recurrece relatios ca be solved usig iteratio or some other ad
More informationThe following example will help us understand The Sampling Distribution of the Mean. C1 C2 C3 C4 C5 50 miles 84 miles 38 miles 120 miles 48 miles
The followig eample will help us uderstad The Samplig Distributio of the Mea Review: The populatio is the etire collectio of all idividuals or objects of iterest The sample is the portio of the populatio
More informationSEQUENCES AND SERIES
Chapter 9 SEQUENCES AND SERIES Natural umbers are the product of huma spirit. DEDEKIND 9.1 Itroductio I mathematics, the word, sequece is used i much the same way as it is i ordiary Eglish. Whe we say
More informationHere are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.
This documet was writte ad copyrighted by Paul Dawkis. Use of this documet ad its olie versio is govered by the Terms ad Coditios of Use located at http://tutorial.math.lamar.edu/terms.asp. The olie versio
More information0.7 0.6 0.2 0 0 96 96.5 97 97.5 98 98.5 99 99.5 100 100.5 96.5 97 97.5 98 98.5 99 99.5 100 100.5
Sectio 13 KolmogorovSmirov test. Suppose that we have a i.i.d. sample X 1,..., X with some ukow distributio P ad we would like to test the hypothesis that P is equal to a particular distributio P 0, i.e.
More informationMARTINGALES AND A BASIC APPLICATION
MARTINGALES AND A BASIC APPLICATION TURNER SMITH Abstract. This paper will develop the measuretheoretic approach to probability i order to preset the defiitio of martigales. From there we will apply this
More informationIncremental calculation of weighted mean and variance
Icremetal calculatio of weighted mea ad variace Toy Fich faf@cam.ac.uk dot@dotat.at Uiversity of Cambridge Computig Service February 009 Abstract I these otes I eplai how to derive formulae for umerically
More information. P. 4.3 Basic feasible solutions and vertices of polyhedra. x 1. x 2
4. Basic feasible solutios ad vertices of polyhedra Due to the fudametal theorem of Liear Programmig, to solve ay LP it suffices to cosider the vertices (fiitely may) of the polyhedro P of the feasible
More informationSolutions to Exercises Chapter 4: Recurrence relations and generating functions
Solutios to Exercises Chapter 4: Recurrece relatios ad geeratig fuctios 1 (a) There are seatig positios arraged i a lie. Prove that the umber of ways of choosig a subset of these positios, with o two chose
More informationHow To Solve The Homewor Problem Beautifully
Egieerig 33 eautiful Homewor et 3 of 7 Kuszmar roblem.5.5 large departmet store sells sport shirts i three sizes small, medium, ad large, three patters plaid, prit, ad stripe, ad two sleeve legths log
More informationChapter 7 Methods of Finding Estimators
Chapter 7 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 011 Chapter 7 Methods of Fidig Estimators Sectio 7.1 Itroductio Defiitio 7.1.1 A poit estimator is ay fuctio W( X) W( X1, X,, X ) of
More informationFOUNDATIONS OF MATHEMATICS AND PRECALCULUS GRADE 10
FOUNDATIONS OF MATHEMATICS AND PRECALCULUS GRADE 10 [C] Commuicatio Measuremet A1. Solve problems that ivolve liear measuremet, usig: SI ad imperial uits of measure estimatio strategies measuremet strategies.
More informationWeek 3 Conditional probabilities, Bayes formula, WEEK 3 page 1 Expected value of a random variable
Week 3 Coditioal probabilities, Bayes formula, WEEK 3 page 1 Expected value of a radom variable We recall our discussio of 5 card poker hads. Example 13 : a) What is the probability of evet A that a 5
More informationChapter 6: Variance, the law of large numbers and the MonteCarlo method
Chapter 6: Variace, the law of large umbers ad the MoteCarlo method Expected value, variace, ad Chebyshev iequality. If X is a radom variable recall that the expected value of X, E[X] is the average value
More informationNATIONAL SENIOR CERTIFICATE GRADE 12
NATIONAL SENIOR CERTIFICATE GRADE MATHEMATICS P EXEMPLAR 04 MARKS: 50 TIME: 3 hours This questio paper cosists of 8 pages ad iformatio sheet. Please tur over Mathematics/P DBE/04 NSC Grade Eemplar INSTRUCTIONS
More informationTheorems About Power Series
Physics 6A Witer 20 Theorems About Power Series Cosider a power series, f(x) = a x, () where the a are real coefficiets ad x is a real variable. There exists a real oegative umber R, called the radius
More informationGCE Further Mathematics (6360) Further Pure Unit 2 (MFP2) Textbook. Version: 1.4
GCE Further Mathematics (660) Further Pure Uit (MFP) Tetbook Versio: 4 MFP Tetbook Alevel Further Mathematics 660 Further Pure : Cotets Chapter : Comple umbers 4 Itroductio 5 The geeral comple umber 5
More informationEkkehart Schlicht: Economic Surplus and Derived Demand
Ekkehart Schlicht: Ecoomic Surplus ad Derived Demad Muich Discussio Paper No. 200617 Departmet of Ecoomics Uiversity of Muich Volkswirtschaftliche Fakultät LudwigMaximiliasUiversität Müche Olie at http://epub.ub.uimueche.de/940/
More informationMathematical goals. Starting points. Materials required. Time needed
Level A1 of challege: C A1 Mathematical goals Startig poits Materials required Time eeded Iterpretig algebraic expressios To help learers to: traslate betwee words, symbols, tables, ad area represetatios
More informationRunning Time ( 3.1) Analysis of Algorithms. Experimental Studies ( 3.1.1) Limitations of Experiments. Pseudocode ( 3.1.2) Theoretical Analysis
Ruig Time ( 3.) Aalysis of Algorithms Iput Algorithm Output A algorithm is a stepbystep procedure for solvig a problem i a fiite amout of time. Most algorithms trasform iput objects ito output objects.
More informationHow To Solve An Old Japanese Geometry Problem
116 Taget circles i the ratio 2 : 1 Hiroshi Okumura ad Masayuki Wataabe I this article we cosider the followig old Japaese geometry problem (see Figure 1), whose statemet i [1, p. 39] is missig the coditio
More informationProject Deliverables. CS 361, Lecture 28. Outline. Project Deliverables. Administrative. Project Comments
Project Deliverables CS 361, Lecture 28 Jared Saia Uiversity of New Mexico Each Group should tur i oe group project cosistig of: About 612 pages of text (ca be loger with appedix) 612 figures (please
More informationOur aim is to show that under reasonable assumptions a given 2πperiodic function f can be represented as convergent series
8 Fourier Series Our aim is to show that uder reasoable assumptios a give periodic fuctio f ca be represeted as coverget series f(x) = a + (a cos x + b si x). (8.) By defiitio, the covergece of the series
More information1. C. The formula for the confidence interval for a population mean is: x t, which was
s 1. C. The formula for the cofidece iterval for a populatio mea is: x t, which was based o the sample Mea. So, x is guarateed to be i the iterval you form.. D. Use the rule : pvalue
More informationA Recursive Formula for Moments of a Binomial Distribution
A Recursive Formula for Momets of a Biomial Distributio Árpád Béyi beyi@mathumassedu, Uiversity of Massachusetts, Amherst, MA 01003 ad Saverio M Maago smmaago@psavymil Naval Postgraduate School, Moterey,
More informationNATIONAL SENIOR CERTIFICATE GRADE 11
NATIONAL SENIOR CERTIFICATE GRADE MATHEMATICS P EXEMPLAR 007 MARKS: 50 TIME: 3 hours This questio paper cosists of pages, 4 diagram sheets ad a page formula sheet. Please tur over Mathematics/P DoE/Exemplar
More information23 The Remainder and Factor Theorems
 The Remaider ad Factor Theorems Factor each polyomial completely usig the give factor ad log divisio 1 x + x x 60; x + So, x + x x 60 = (x + )(x x 15) Factorig the quadratic expressio yields x + x x
More informationModified Line Search Method for Global Optimization
Modified Lie Search Method for Global Optimizatio Cria Grosa ad Ajith Abraham Ceter of Excellece for Quatifiable Quality of Service Norwegia Uiversity of Sciece ad Techology Trodheim, Norway {cria, ajith}@q2s.tu.o
More informationAnalysis Notes (only a draft, and the first one!)
Aalysis Notes (oly a draft, ad the first oe!) Ali Nesi Mathematics Departmet Istabul Bilgi Uiversity Kuştepe Şişli Istabul Turkey aesi@bilgi.edu.tr Jue 22, 2004 2 Cotets 1 Prelimiaries 9 1.1 Biary Operatio...........................
More informationTHE HEIGHT OF qbinary SEARCH TREES
THE HEIGHT OF qbinary SEARCH TREES MICHAEL DRMOTA AND HELMUT PRODINGER Abstract. q biary search trees are obtaied from words, equipped with the geometric distributio istead of permutatios. The average
More information5: Introduction to Estimation
5: Itroductio to Estimatio Cotets Acroyms ad symbols... 1 Statistical iferece... Estimatig µ with cofidece... 3 Samplig distributio of the mea... 3 Cofidece Iterval for μ whe σ is kow before had... 4 Sample
More informationAP Calculus BC 2003 Scoring Guidelines Form B
AP Calculus BC Scorig Guidelies Form B The materials icluded i these files are iteded for use by AP teachers for course ad exam preparatio; permissio for ay other use must be sought from the Advaced Placemet
More informationMeasures of Spread and Boxplots Discrete Math, Section 9.4
Measures of Spread ad Boxplots Discrete Math, Sectio 9.4 We start with a example: Example 1: Comparig Mea ad Media Compute the mea ad media of each data set: S 1 = {4, 6, 8, 10, 1, 14, 16} S = {4, 7, 9,
More informationINFINITE SERIES KEITH CONRAD
INFINITE SERIES KEITH CONRAD. Itroductio The two basic cocepts of calculus, differetiatio ad itegratio, are defied i terms of limits (Newto quotiets ad Riema sums). I additio to these is a third fudametal
More informationON THE EDGEBANDWIDTH OF GRAPH PRODUCTS
ON THE EDGEBANDWIDTH OF GRAPH PRODUCTS JÓZSEF BALOGH, DHRUV MUBAYI, AND ANDRÁS PLUHÁR Abstract The edgebadwidth of a graph G is the badwidth of the lie graph of G We show asymptotically tight bouds o
More information3 Basic Definitions of Probability Theory
3 Basic Defiitios of Probability Theory 3defprob.tex: Feb 10, 2003 Classical probability Frequecy probability axiomatic probability Historical developemet: Classical Frequecy Axiomatic The Axiomatic defiitio
More informationBasic Elements of Arithmetic Sequences and Series
MA40S PRECALCULUS UNIT G GEOMETRIC SEQUENCES CLASS NOTES (COMPLETED NO NEED TO COPY NOTES FROM OVERHEAD) Basic Elemets of Arithmetic Sequeces ad Series Objective: To establish basic elemets of arithmetic
More informationThe analysis of the Cournot oligopoly model considering the subjective motive in the strategy selection
The aalysis of the Courot oligopoly model cosiderig the subjective motive i the strategy selectio Shigehito Furuyama Teruhisa Nakai Departmet of Systems Maagemet Egieerig Faculty of Egieerig Kasai Uiversity
More informationHow To Understand The Theory Of Coectedess
35 Chapter 1: Fudametal Cocepts Sectio 1.3: Vertex Degrees ad Coutig 36 its eighbor o P. Note that P has at least three vertices. If G x v is coected, let y = v. Otherwise, a compoet cut off from P x v
More informationCHAPTER 3 DIGITAL CODING OF SIGNALS
CHAPTER 3 DIGITAL CODING OF SIGNALS Computers are ofte used to automate the recordig of measuremets. The trasducers ad sigal coditioig circuits produce a voltage sigal that is proportioal to a quatity
More informationMultiple Representations for Pattern Exploration with the Graphing Calculator and Manipulatives
Douglas A. Lapp Multiple Represetatios for Patter Exploratio with the Graphig Calculator ad Maipulatives To teach mathematics as a coected system of cocepts, we must have a shift i emphasis from a curriculum
More informationSECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES
SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,
More informationFast Fourier Transform
18.310 lecture otes November 18, 2013 Fast Fourier Trasform Lecturer: Michel Goemas I these otes we defie the Discrete Fourier Trasform, ad give a method for computig it fast: the Fast Fourier Trasform.
More informationPartial Di erential Equations
Partial Di eretial Equatios Partial Di eretial Equatios Much of moder sciece, egieerig, ad mathematics is based o the study of partial di eretial equatios, where a partial di eretial equatio is a equatio
More informationRamseytype theorems with forbidden subgraphs
Ramseytype theorems with forbidde subgraphs Noga Alo Jáos Pach József Solymosi Abstract A graph is called Hfree if it cotais o iduced copy of H. We discuss the followig questio raised by Erdős ad Hajal.
More informationS. Tanny MAT 344 Spring 1999. be the minimum number of moves required.
S. Tay MAT 344 Sprig 999 Recurrece Relatios Tower of Haoi Let T be the miimum umber of moves required. T 0 = 0, T = 7 Iitial Coditios * T = T + $ T is a sequece (f. o itegers). Solve for T? * is a recurrece,
More informationVladimir N. Burkov, Dmitri A. Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT
Keywords: project maagemet, resource allocatio, etwork plaig Vladimir N Burkov, Dmitri A Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT The paper deals with the problems of resource allocatio betwee
More informationMEI Structured Mathematics. Module Summary Sheets. Statistics 2 (Version B: reference to new book)
MEI Mathematics i Educatio ad Idustry MEI Structured Mathematics Module Summary Sheets Statistics (Versio B: referece to ew book) Topic : The Poisso Distributio Topic : The Normal Distributio Topic 3:
More informationConfidence Intervals. CI for a population mean (σ is known and n > 30 or the variable is normally distributed in the.
Cofidece Itervals A cofidece iterval is a iterval whose purpose is to estimate a parameter (a umber that could, i theory, be calculated from the populatio, if measuremets were available for the whole populatio).
More informationTaking DCOP to the Real World: Efficient Complete Solutions for Distributed MultiEvent Scheduling
Taig DCOP to the Real World: Efficiet Complete Solutios for Distributed MultiEvet Schedulig Rajiv T. Maheswara, Milid Tambe, Emma Bowrig, Joatha P. Pearce, ad Pradeep araatham Uiversity of Souther Califoria
More informationOverview on SBox Design Principles
Overview o SBox Desig Priciples Debdeep Mukhopadhyay Assistat Professor Departmet of Computer Sciece ad Egieerig Idia Istitute of Techology Kharagpur INDIA 721302 What is a SBox? SBoxes are Boolea
More informationNormal Distribution.
Normal Distributio www.icrf.l Normal distributio I probability theory, the ormal or Gaussia distributio, is a cotiuous probability distributio that is ofte used as a first approimatio to describe realvalued
More informationLecture 3. denote the orthogonal complement of S k. Then. 1 x S k. n. 2 x T Ax = ( ) λ x. with x = 1, we have. i = λ k x 2 = λ k.
18.409 A Algorithmist s Toolkit September 17, 009 Lecture 3 Lecturer: Joatha Keler Scribe: Adre Wibisoo 1 Outlie Today s lecture covers three mai parts: CouratFischer formula ad Rayleigh quotiets The
More informationChapter 7  Sampling Distributions. 1 Introduction. What is statistics? It consist of three major areas:
Chapter 7  Samplig Distributios 1 Itroductio What is statistics? It cosist of three major areas: Data Collectio: samplig plas ad experimetal desigs Descriptive Statistics: umerical ad graphical summaries
More informationAP Calculus AB 2006 Scoring Guidelines Form B
AP Calculus AB 6 Scorig Guidelies Form B The College Board: Coectig Studets to College Success The College Board is a otforprofit membership associatio whose missio is to coect studets to college success
More informationApproximating Area under a curve with rectangles. To find the area under a curve we approximate the area using rectangles and then use limits to find
1.8 Approximatig Area uder a curve with rectagles 1.6 To fid the area uder a curve we approximate the area usig rectagles ad the use limits to fid 1.4 the area. Example 1 Suppose we wat to estimate 1.
More informationConvex Bodies of Minimal Volume, Surface Area and Mean Width with Respect to Thin Shells
Caad. J. Math. Vol. 60 (1), 2008 pp. 3 32 Covex Bodies of Miimal Volume, Surface Area ad Mea Width with Respect to Thi Shells Károly Böröczky, Károly J. Böröczky, Carste Schütt, ad Gergely Witsche Abstract.
More informationBINOMIAL EXPANSIONS 12.5. In this section. Some Examples. Obtaining the Coefficients
652 (1226) Chapter 12 Sequeces ad Series 12.5 BINOMIAL EXPANSIONS I this sectio Some Examples Otaiig the Coefficiets The Biomial Theorem I Chapter 5 you leared how to square a iomial. I this sectio you
More information.04. This means $1000 is multiplied by 1.02 five times, once for each of the remaining sixmonth
Questio 1: What is a ordiary auity? Let s look at a ordiary auity that is certai ad simple. By this, we mea a auity over a fixed term whose paymet period matches the iterest coversio period. Additioally,
More informationTHIN SEQUENCES AND THE GRAM MATRIX PAMELA GORKIN, JOHN E. MCCARTHY, SANDRA POTT, AND BRETT D. WICK
THIN SEQUENCES AND THE GRAM MATRIX PAMELA GORKIN, JOHN E MCCARTHY, SANDRA POTT, AND BRETT D WICK Abstract We provide a ew proof of Volberg s Theorem characterizig thi iterpolatig sequeces as those for
More information