arxiv: v1 [math.ag] 30 Jun 2021

Size: px
Start display at page:

Download "arxiv: v1 [math.ag] 30 Jun 2021"

Transcription

1 The d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold ANDREA T. RICOLFI AND MICHAIL SAVVAS arxiv: v1 [math.ag] 30 Ju 2021 ABSTRACT. The Arti stackm of 0-dimesioal sheaves of legth o 3 carries two atural d-critical 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 d-critical 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 derived-i-flavour d-critical structure besides the oe iduced by the potetial f r,. Agai, we show these two d-critical structures agree. Moreover, we prove that they locally model the d-critical structure o Quot X (F, ), where F is a locally free sheaf of rak r o a projective Calabi Yau 3-fold 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 d-critical structure(s) om The d-critical structure(s) o Quot 3( r, ) The case of a compact Calabi Yau 3-fold The special case of the Hilbert scheme 32 Refereces INTRODUCTION 0.1. Overview. I[20], Joyce itroduced d-critical structures o schemes ad Arti stacks, both i algebraic ad aalytic laguage. Roughly speakig, a d-critical scheme is a scheme X suitably covered by d-critical 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 scheme-theoretic vaishig locus of df H 0 (V,Ω V ). The compatibility betwee d-critical charts is govered by the behaviour of a sectio s of a caoically defied sheaf of-vector spaces SX 0 livig over X. Such a well-behavig sectio is called a d-critical structure o X (see Sectio 1.2 for more details). We use the otatio(x, s) to represet a d-critical scheme. Joyce s d-critical loci play a cetral role i categorified Doaldso Thomas theory: the compatibility betwee d-critical 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 3-fold a caoical 1 perverse sheafφ M (the socalled DT sheaf ), as well as a caoical virtual motiveφ mot M (the so-called motivic DT ivariat). Ay d-critical 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 two-term complexes (see[20, Example 2.17]), a d-critical scheme(x, s) caot be equipped with a global symmetric perfect obstructio theory i geeral. However, the compatibility betwee d-critical 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 1-shifted 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) 1-shifted symplectic derived Arti stacks d-critical 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 d-critical structure costructed out ofω. For a 1-shifted 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 3-fold? 1-shifted symplectic derived schemes[23] trucatioτ Joyce s d-critical 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 d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold Motivatio. A classical example of 1-shifted 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 d-critical locus with d-critical structure (0.2) s f = f+(df) 2 H 0 (S 0 U ) determied by a sigle d-critical 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 1-shifted symplectic derived scheme is the derived moduli scheme M X (ch) of simple coheret sheaves o a projective Calabi Yau 3-fold X, with fixed Cher characterch H (X,), see[23]. I particular, the uderlyig classical scheme M X (ch) is aturally a d-critical 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 d-critical 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 d-critical 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 0-dimesioal sheaves of legth o 3 is 1-shifted symplectic[9], so by trucatio oe has a d-critical structure s der o the uderlyig classical Arti stackm. Its pullback alog the (smooth) morphism Q r, M forgettig the surjectio defies yet aother d-critical structure o Q r,. We prove that the d-critical structures described i (1) ad (2) agree, which shows that the d-critical 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 3-fold X. There is a atural derived d-critical structure o the Quot scheme of poits Quot X (F, ). We devote Sectio 5 to showig that such d-critical structure looks étale locally like the d-critical structure i (2) above, which i tur agrees with the oe iduced by the uique d-critical 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 0-dimesioal 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 3-loop 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 d-critical 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 0-dimesioal sheaves of legth o 3 with a 1-shifted symplectic structureω (see[9]), which ca be trucated to produce a d-critical 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 d-critical 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 3-fold 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 0-dimesioal sheaf of legth o X. The derived moduli stackm X () of 0-dimesioal sheaves of legth o X carries a caoical 1-shifted symplectic structure by[23], which ca be trucated to give a d-critical structure s X, H 0 (S 0 M X () ). Its pullback alog the forgetful morphism Q F, M X () is a d-critical 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 d-critical scheme(q F,, s F, ) is locally modelled o the d-critical scheme(q r,, s der r, ). Theorem B. Fix r 1 ad 0. Let X be a projective Calabi Yau 3-fold, 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 d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 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 0-dimesioal 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 0-dimesioal 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 o-positively graded commutative differetial graded-algebras. 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 derived-scheme. Such objects provide the Zariski local charts for geeral derived-schemes, see[31, Sectio 4.2]. A objectx i dst is called a derived Arti stack if it is m-geometric (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(dg-Mod 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 o-degeerate if this morphism is a isomorphism i L qcoh (X). Defiitio 1.1 ([23, Defiitio 1.18]). A k -shifted closed 2-formω=(ω 0,ω 1,...) is called a k -shifted symplectic structure ifω 0 is o-degeerate. We say that(x,ω) is a k -shifted symplectic (affie) derived scheme d-critical schemes ad Arti stacks. Let X be a scheme over. Joyce[20] proved the existece of a caoical sheaf of-vector 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 d-critical 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 d-critical 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 d-critical 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 d-critical structure o Y, the g t H 0 (SX 0 ) is a d-critical 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 1-morphism u : U X from a scheme. d

7 The d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 7 Joyce defied a d-critical 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 d-critical structure o U (beig a sectio of SX 0(U, u)=s0 U ) accordig to Defiitio 1.2, for every smooth 1-morphism 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 well-defied 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 d-critical structures ox are caoically idetified with the G -ivariat d-critical 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 1-shifted symplectic derived Arti stack. The the uderlyig classical Arti stackx= t 0 (X) exteds i a caoical way to a d-critical Arti stack(x, s ω ). This defies a trucatio fuctor τ, as i (0.1), from the -category of 1-shifted symplectic derived Arti stacks to the 2-category of d-critical Arti stacks. See also[8, Theorem 6.6] for the aalogous result proved for schemes Symmetric obstructio theories. Let M be a-scheme 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 1-shifted 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 o-degeerate 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 0-dimesioal 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 0-dimesioal 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 d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 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 0-dimesioal 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 3-loop quiver L 3 (Figure 2), equipped with the potetial W= A[B, C]. A 1 B C FIGURE 2. The 3-loop 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 d-critical 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 1-shifted symplectic structureω o the derived Arti stackm of 0-dimesioal 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 d-critical 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 d-critical structure cosistig of a sigle d-critical chart. This result i the case r = 1 is due to Szedrői [28, Theorem 1.3.1]. The r -framed 3-loop quiver L 3 (Figure 3) plays a crucial role. A. 1 B FIGURE 3. The r -framed 3-loop 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 3-loop 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 d-critical 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 d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 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 d-critical 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 d-critical 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 d-critical 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 D-CRITICAL STRUCTURE(S) ONM I this sectio we compare the two d-critical 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 d-critical 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 d-critical charts for the two d-critical 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 1-shifted 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 d-critical 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 d-critical 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 d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 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 0-dimesioal 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 d-critical 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 off-diagoal 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 d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 15 By direct computatio, the form H is o-degeerate 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 o-zero, 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 o-degeerate ad therefore H must be o-degeerate. Sice f Ya = g a, the o-degeeracy 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 0-dimesioal coheret sheaves of legth o 3. LetM be the derived moduli stack of 0-dimesioal 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 dg-category with oe object ad morphisms cocetrated i degree 0 give by[x, y, z], whereas Proj (A) is the dg-category whose objects are rak projective A-modules 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 semi-free dg-algebra. This is provided by the followig propositio. Propositio 3.4. LetQ 3 be the semi-free dg-algebra 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 quasi-isomorphism. Proof. The claim follows from the fact that the-algebra 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 dg-algebra 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 d-critical structure s der comig from derived symplectic geometry. Recall that Equatio (2.3) defies s der to be the trucatio of the 1-shifted 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 d-critical charts for(m, s der ) aroud such poits[e] usig the

17 The d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 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 (ifiite-dimesioal) dg-algebra(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 dg-algebra(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 dg-algebras, which iduces the idetity map o homology. I particular, the dg-algebra 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 sub-algebra 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 d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 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 dg-algebra with differetialδiduced from that of each summadg pi adg ss E g E is a dg-subalgebra. 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 quasi-isomorphism adg mi E is isomorphic as a dg-algebra 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 dg-algebras, which iduces the idetity map o homology. Thus, the dg-algebra 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 dg-algebrag mi,>0 E, which is the Chevalley Eileberg dg-algebra of the dg- Lie algebra associated to the commutative dg-algebra 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 dg-lie 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 dg-algebra 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 1-shifted 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 d-critical 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 d-critical structures are equal. We ow prove Theorem 2.2, showig that the two d-critical 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 d-critical 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 d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 21 Let j m : U E,m U be the m-th 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 d-critical 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 o-vaishig 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 1-shifted 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 1-shifted symplectic formω=(ω 0, 0, 0,...) o Spec(Q 3 ) / GL, combiig the 1-shifted symplectic forms for

23 The d-critical structure o the Quot scheme of poits of a Calabi Yau 3-fold 23 crit(f ) ad B GL, such that the iduced d-critical structure o the trucatio[u / GL ] is s crit. Theorem 2.2 will the follow from the stroger statemet thatι ω =ωas 1-shifted symplectic forms. While we certaily believe this to be true, we have chose to pursue a local argumet to obtai the equality of d-critical 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 D-CRITICAL 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 d-critical 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 d-critical 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 d-critical structure sr, crit comig from quiver represetatios. The d-critical 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

Department of Computer Science, University of Otago Departmet of Computer Sciece, Uiversity of Otago Techical Report OUCS-2006-09 Permutatios Cotaiig May Patters Authors: M.H. Albert Departmet of Computer Sciece, Uiversity of Otago Micah Colema, Rya Fly

More information

Asymptotic Growth of Functions

Asymptotic 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 information

In nite Sequences. Dr. Philippe B. Laval Kennesaw State University. October 9, 2008

In 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 information

Trigonometric 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

Trigonometric 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 information

THE ABRACADABRA PROBLEM

THE 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 information

FIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. 1. Powers of a matrix

FIBONACCI 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 information

Chapter 5: Inner Product Spaces

Chapter 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 information

CS103X: Discrete Structures Homework 4 Solutions

CS103X: 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 six-figure salaries i whole dollar amouts are there that cotai at least

More information

Lecture 13. Lecturer: Jonathan Kelner Scribe: Jonathan Pines (2009)

Lecture 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 Bru-Mikowski iequality for boxes. Today we ll go over the

More information

SAMPLE 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. (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 information

Properties of MLE: consistency, asymptotic normality. Fisher information.

Properties 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 information

WHEN 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? 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 information

Sequences and Series

Sequences 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 information

Example 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).

Example 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 information

I. Chi-squared Distributions

I. Chi-squared Distributions 1 M 358K Supplemet to Chapter 23: CHI-SQUARED DISTRIBUTIONS, T-DISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad t-distributios, we first eed to look at aother family of distributios, the chi-squared distributios.

More information

Convexity, Inequalities, and Norms

Convexity, 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 information

1. MATHEMATICAL INDUCTION

1. 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 information

Lecture 5: Span, linear independence, bases, and dimension

Lecture 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 information

2 MATH 101B: ALGEBRA II, PART D: REPRESENTATIONS OF GROUPS

2 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 information

Infinite Sequences and Series

Infinite 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 information

THE REGRESSION MODEL IN MATRIX FORM. For simple linear regression, meaning one predictor, the model is. for i = 1, 2, 3,, n

THE 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 information

Permutations, the Parity Theorem, and Determinants

Permutations, 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 information

Notes on exponential generating functions and structures.

Notes 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 information

CME 302: NUMERICAL LINEAR ALGEBRA FALL 2005/06 LECTURE 8

CME 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 information

Lecture 4: Cauchy sequences, Bolzano-Weierstrass, and the Squeeze theorem

Lecture 4: Cauchy sequences, Bolzano-Weierstrass, and the Squeeze theorem Lecture 4: Cauchy sequeces, Bolzao-Weierstrass, 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 information

Chapter 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 information

Annuities Under Random Rates of Interest II By Abraham Zaks. Technion I.I.T. Haifa ISRAEL and Haifa University Haifa ISRAEL.

Annuities 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 information

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 13

Discrete 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 information

1 Computing the Standard Deviation of Sample Means

1 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 information

THE ARITHMETIC OF INTEGERS. - multiplication, exponentiation, division, addition, and subtraction

THE 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 information

A probabilistic proof of a binomial identity

A 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 information

Factors of sums of powers of binomial coefficients

Factors 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 information

5 Boolean Decision Trees (February 11)

5 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 information

Irreducible polynomials with consecutive zero coefficients

Irreducible 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 information

Class Meeting # 16: The Fourier Transform on R n

Class 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 information

Cooley-Tukey. Tukey FFT Algorithms. FFT Algorithms. Cooley

Cooley-Tukey. Tukey FFT Algorithms. FFT Algorithms. Cooley Cooley Cooley-Tuey Tuey FFT Algorithms FFT Algorithms Cosider a legth- sequece x[ with a -poit DFT X[ where Represet the idices ad as +, +, Cooley Cooley-Tuey Tuey FFT Algorithms FFT Algorithms Usig these

More information

Your 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:

Your 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 information

Soving Recurrence Relations

Soving 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 information

3. Greatest Common Divisor - Least Common Multiple

3. 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 information

Lecture 4: Cheeger s Inequality

Lecture 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 d-regular

More information

CS103A Handout 23 Winter 2002 February 22, 2002 Solving Recurrence Relations

CS103A 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 information

The 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 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 information

SEQUENCES AND SERIES

SEQUENCES 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 information

Here 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.

Here 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 information

0.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

0.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 Kolmogorov-Smirov 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 information

MARTINGALES AND A BASIC APPLICATION

MARTINGALES AND A BASIC APPLICATION MARTINGALES AND A BASIC APPLICATION TURNER SMITH Abstract. This paper will develop the measure-theoretic approach to probability i order to preset the defiitio of martigales. From there we will apply this

More information

Incremental calculation of weighted mean and variance

Incremental 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

. 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 information

Solutions to Exercises Chapter 4: Recurrence relations and generating functions

Solutions 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 information

How To Solve The Homewor Problem Beautifully

How 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 information

Chapter 7 Methods of Finding Estimators

Chapter 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 information

FOUNDATIONS OF MATHEMATICS AND PRE-CALCULUS GRADE 10

FOUNDATIONS OF MATHEMATICS AND PRE-CALCULUS GRADE 10 FOUNDATIONS OF MATHEMATICS AND PRE-CALCULUS GRADE 10 [C] Commuicatio Measuremet A1. Solve problems that ivolve liear measuremet, usig: SI ad imperial uits of measure estimatio strategies measuremet strategies.

More information

Week 3 Conditional probabilities, Bayes formula, WEEK 3 page 1 Expected value of a random variable

Week 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 information

Chapter 6: Variance, the law of large numbers and the Monte-Carlo method

Chapter 6: Variance, the law of large numbers and the Monte-Carlo method Chapter 6: Variace, the law of large umbers ad the Mote-Carlo 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 information

NATIONAL SENIOR CERTIFICATE GRADE 12

NATIONAL 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 information

Theorems About Power Series

Theorems 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 o-egative umber R, called the radius

More information

GCE Further Mathematics (6360) Further Pure Unit 2 (MFP2) Textbook. Version: 1.4

GCE 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 A-level Further Mathematics 660 Further Pure : Cotets Chapter : Comple umbers 4 Itroductio 5 The geeral comple umber 5

More information

Ekkehart Schlicht: Economic Surplus and Derived Demand

Ekkehart Schlicht: Economic Surplus and Derived Demand Ekkehart Schlicht: Ecoomic Surplus ad Derived Demad Muich Discussio Paper No. 2006-17 Departmet of Ecoomics Uiversity of Muich Volkswirtschaftliche Fakultät Ludwig-Maximilias-Uiversität Müche Olie at http://epub.ub.ui-mueche.de/940/

More information

Mathematical goals. Starting points. Materials required. Time needed

Mathematical 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 information

Running Time ( 3.1) Analysis of Algorithms. Experimental Studies ( 3.1.1) Limitations of Experiments. Pseudocode ( 3.1.2) Theoretical Analysis

Running 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 step-by-step procedure for solvig a problem i a fiite amout of time. Most algorithms trasform iput objects ito output objects.

More information

How To Solve An Old Japanese Geometry Problem

How 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 information

Project Deliverables. CS 361, Lecture 28. Outline. Project Deliverables. Administrative. Project Comments

Project 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 6-12 pages of text (ca be loger with appedix) 6-12 figures (please

More information

Our aim is to show that under reasonable assumptions a given 2π-periodic function f can be represented as convergent series

Our 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 information

1. C. The formula for the confidence interval for a population mean is: x t, which was

1. 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 : p-value

More information

A Recursive Formula for Moments of a Binomial Distribution

A 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 information

NATIONAL SENIOR CERTIFICATE GRADE 11

NATIONAL 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 information

2-3 The Remainder and Factor Theorems

2-3 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 information

Modified Line Search Method for Global Optimization

Modified 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 information

Analysis Notes (only a draft, and the first one!)

Analysis 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 information

THE HEIGHT OF q-binary SEARCH TREES

THE HEIGHT OF q-binary SEARCH TREES THE HEIGHT OF q-binary 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 information

5: Introduction to Estimation

5: 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 information

AP Calculus BC 2003 Scoring Guidelines Form B

AP 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 information

Measures of Spread and Boxplots Discrete Math, Section 9.4

Measures 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 information

INFINITE SERIES KEITH CONRAD

INFINITE 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 information

ON THE EDGE-BANDWIDTH OF GRAPH PRODUCTS

ON THE EDGE-BANDWIDTH OF GRAPH PRODUCTS ON THE EDGE-BANDWIDTH OF GRAPH PRODUCTS JÓZSEF BALOGH, DHRUV MUBAYI, AND ANDRÁS PLUHÁR Abstract The edge-badwidth of a graph G is the badwidth of the lie graph of G We show asymptotically tight bouds o

More information

3 Basic Definitions of Probability Theory

3 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 information

Basic Elements of Arithmetic Sequences and Series

Basic Elements of Arithmetic Sequences and Series MA40S PRE-CALCULUS 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 information

The analysis of the Cournot oligopoly model considering the subjective motive in the strategy selection

The 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 information

How To Understand The Theory Of Coectedess

How 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 information

CHAPTER 3 DIGITAL CODING OF SIGNALS

CHAPTER 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 information

Multiple Representations for Pattern Exploration with the Graphing Calculator and Manipulatives

Multiple 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 information

SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES

SECTION 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 information

Fast Fourier Transform

Fast 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 information

Partial Di erential Equations

Partial 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 information

Ramsey-type theorems with forbidden subgraphs

Ramsey-type theorems with forbidden subgraphs Ramsey-type theorems with forbidde subgraphs Noga Alo Jáos Pach József Solymosi Abstract A graph is called H-free if it cotais o iduced copy of H. We discuss the followig questio raised by Erdős ad Hajal.

More information

S. Tanny MAT 344 Spring 1999. be the minimum number of moves required.

S. 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 information

Vladimir N. Burkov, Dmitri A. Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT

Vladimir 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 information

MEI Structured Mathematics. Module Summary Sheets. Statistics 2 (Version B: reference to new book)

MEI 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 information

Confidence Intervals. CI for a population mean (σ is known and n > 30 or the variable is normally distributed in the.

Confidence 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 information

Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-Event Scheduling

Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-Event Scheduling Taig DCOP to the Real World: Efficiet Complete Solutios for Distributed Multi-Evet Schedulig Rajiv T. Maheswara, Milid Tambe, Emma Bowrig, Joatha P. Pearce, ad Pradeep araatham Uiversity of Souther Califoria

More information

Overview on S-Box Design Principles

Overview on S-Box Design Principles Overview o S-Box Desig Priciples Debdeep Mukhopadhyay Assistat Professor Departmet of Computer Sciece ad Egieerig Idia Istitute of Techology Kharagpur INDIA -721302 What is a S-Box? S-Boxes are Boolea

More information

Normal Distribution.

Normal 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 information

Lecture 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.

Lecture 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: Courat-Fischer formula ad Rayleigh quotiets The

More information

Chapter 7 - Sampling Distributions. 1 Introduction. What is statistics? It consist of three major areas:

Chapter 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 information

AP Calculus AB 2006 Scoring Guidelines Form B

AP 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 ot-for-profit membership associatio whose missio is to coect studets to college success

More information

Approximating 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

Approximating 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 information

Convex Bodies of Minimal Volume, Surface Area and Mean Width with Respect to Thin Shells

Convex 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 information

BINOMIAL EXPANSIONS 12.5. In this section. Some Examples. Obtaining the Coefficients

BINOMIAL EXPANSIONS 12.5. In this section. Some Examples. Obtaining the Coefficients 652 (12-26) 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

.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 information

THIN 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 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