Arxiv:1911.07561V1 [Math.AG] 18 Nov 2019 Where Hr X Stepehsi Xoeta (See Exponential Plethystic the Is Exp Where Hoe 1.1

arXiv:1911.07561v1 [math.AG] 18 Nov 2019 where hr x stepehsi xoeta (see exponential plethystic the is Exp where hoe 1.1. Theorem a rvdi [ in proved was ait seProposition (see variety ait sanloetvrino aaiaqie aite [ varieties quiver Nakajima of version nilpotent a is variety fnncmuaieHletshmssuidi [ in studied schemes Hilbert non-commutative of phisms ti noe rbe odtrieivrat ftepnta quotie punctual the of invariants classes determine motivic to their problem and open an decomposition is cellular It a admit varieties quiver [ to back result following Quot( of points of numbers Quot( Quot-scheme (1) form the has classes Quot( motivic of classes motivic any optdi [ in computed utet ocnrtda n point one at concentrated quotients n[ in seog ocmueivrat ftepnta utetshm Q scheme quotient punctual the of invariants compute to enough is uoopim of automorphisms ubr fpit fQuot( of points of numbers optdi [ in computed Let If ewl logv natraiepofo h oml ( formula the of proof alternative an give also will We If 37 X n X .Mtvccasso Quot( of classes Motivic ]. X L ≥ oii ls nteGohnic igo leri varieties. algebraic of ring Grothendieck the in sh class the motivic of quotients zero-dimensional parametrizing Quot-scheme Abstract. sasrae hnQuot( then surface, a is E sacre hnQuot( then curve, a is [ = easot leri ait and variety algebraic smooth a be 18 ,ltQuot( let 0, → OII LSE FQO-CEE NSURFACES ON QUOT-SCHEMES OF CLASSES MOTIVIC , A 37 1 F 7 18 ] . 35 seas [ also (see ] ,weei a bevdta nodrt opt nainso Quot of invariants compute to order in that observed was it where ], where , Let n h ubr fpit fQuot( of points of numbers the and ] seas [ also (see ] ie oal rechrn ha nasot leri ufc,w surface, algebraic smooth a on sheaf coherent free locally a Given F O E If . X ,n E, earank a be n , F X 4.1 ,n E, steHletshm fpit Hilb points of scheme Hilbert the is ) eoeGohnic’ utshm [ Quot-scheme Grothendieck’s denote ) sazr-iesoa oeetsefwt i Γ( dim with sheaf coherent zero-dimensional a is X n 15 O O spoetv,te oi Quot( is so then projective, is X .I h aedim case the In ). ≥ n 22 X ⊕ ≥ X 0 , o general for ) [Quot( r 0 ,n E, n , 8 ) h uculqoin ceecnb nepee saquiver a as interpreted be can scheme quotient punctual The ]). n , [Quot( ) oii lse fQuot( of classes Motivic ]). ,n E, O vrfiiefils(swl sterPicreplnmas were Poincaré polynomials) their as well (as fields finite over ) r vrfiiefils(swl sterPicreplnmas were Poincaré polynomials) their as well (as fields finite over ) X sa reuil ait fdimension of variety irreducible an is ) oal resefoe mohsurface smooth a over sheaf free locally n , sasot,cnetdvreyo dimension of variety connected smooth, a is ) ,n E, EGYMOZGOVOY SERGEY x ,n E, 1. eecmue n[ in computed were ) ∈ )] Introduction X )] t E E n t h orsodn euti h oii context motivic the in result corresponding The . n Exp = § earank a be eecmue n[ in computed were Exp = 2 X 1 ). ,ti uvrvreyi iptn version nilpotent a is variety quiver this 1, = 34 , [ 13 [ X O X r 1 X ⊕ .I h aedim case the In ]. oal rechrn ha over sheaf coherent free locally 1 × × r ,n E, − .Teie ftecmuaingoes computation the of idea The ). n , 19 P P O L vrfiiefilswr computed were fields finite over ) r r .I hspprw ilpoethe prove will we paper this In ]. r X ⊕ − ). − a n n h corresponding the find and eaf 30 t r n 1 1 n , ] ( ] .I ohcssterelevant the cases both In ]. t t X 20 2 eecmue n[ in computed were ) , hc ssot [ smooth is which ) .Tegnrlfruafor formula general The ]. , aaerzn l epimor- all parametrizing ] tshmsfrdim for schemes nt uot( rn r well-understood. are X ,n E, + ,F X, X osdrthe consider e n Then . ,ti quiver this 2, = [ ) 25 x = ) , ossigof consisting 16 n , rn modulo , 14 12 ( ,n E, 10 X The . X .The ]. .The ]. and ] For . 3, = it ) 2 SERGEY MOZGOVOY although there is a work-around based on considering virtual motivic invariants (see e.g. [5]) and, essentially, reducing the question to the dimension two case. In view of the above formula, we observe that for X = A2 or X = P2, the quotient scheme Quot(E, n) has a motivic class which is a polynomial in L with non-negative coefficients. This i suggests that Q = Quot(E, n) should be pure (meaning that the cohomology groups Hc(Q, C) are pure of weight i for all i ≥ 0). One could ask if, more generally, Quot(E, n) is pure for any smooth projective surface X. Note that in this case Quot(OX , n) is also smooth and projective, hence pure.

2. Motivic classes and power structures

2.1. Motivic classes. Let Var = Vark be the category of algebraic varieties over a ﬁeld k of characteristic zero. Deﬁne the Grothendieck ring K(Var) of algebraic varieties over k to be the free abelian group generated by isomorphism classes of objects in Var modulo the relations

[X] = [Y ] + [X\Y ] for any variety X and a closed subvariety Y ⊂ X. The ring structure is deﬁned by [X] · [Y ]= [X × Y ], for X,Y ∈ Var. Let K′(Var) be the localization of K(Var) with respect to L = [A1]. The elements of K(Var) and K′(Var) will be called motivic classes.

Remark 2.1. Deﬁne a pre-λ-ring structure on a commutative ring R to be a group homomorphism n σt : (R, +) → (1 + tR[[t]], ∗), a 7→ σt(a)= σn(a)t , n≥0 X 2 such that σt(a)=1+ at + O(t ). The ring K(Var) is equipped with a pre-λ-ring structure

k k σt([X]) = [S X]t , ≥ Xk 0 k k where S X = X /Sk is the k-th symmetric power, for any quasi-projective variety X.

There is an involutive ring homomorphism K′(Var) → K′(Var) [29], given by

[X] 7→ [X]∨ = L− dim X [X] for every smooth, projective, connected variety X. It satisfies (Ln)∨ = L−n, for any n ∈ Z. For k = C, define the virtual Poincarépolynomial

1 1 ′ ± 2 n p,q n 2 (p+q) P : K (Var) → Z[t ], [X] 7→ (−1) h (Hc (X, C))t , p,q,n X p,q n where h (Hc (X, C)) is the dimension of the (p, q)-type Hodge component of the mixed Hodge n structure on Hc (X, C). We have

P (X; t)= P ([X]; t)= (−1)n dim Hn(X, C)tn/2 n X for any smooth, projective variety X. If the motivic class of an algebraic variety X is a polynomial in L, then it coincides with the virtual Poincar´epolynomial P (X; L). For any algebraic variety X, we have P ([X]∨; t)= P ([X]; t−1). MOTIVIC CLASSES OF QUOT-SCHEMES ON SURFACES 3

2.2. Power structures. Define a power structure over a commutative ring R to be a map (1 + tR[[t]]) × R → 1+ tR[[t]], (f, a) 7→ f a, satisfying the following properties (cf. [22]) (1) f 0 = 1, (2) f a+b = f af b, (3) f 1 = f, (4) f ab =(f a)b, (5) (fg)a = f aga, (6) (1+ t)a =1+ at + O(t2) n a a (7) f(t ) = f(t) |t7→tn , for all n ≥ 1, (8) it is continuous, meaning that for any k ≥ 0 there exists n ≥ 0 such that the k-jet of f a (i.e. f a (mod tk+1)) is determined by the n-jet of f. Remark 2.2. A power structure over R is uniquely determined by the pre-λ-ring structure −a on R given by σt(a) = (1 − t) (see [22]). Conversely, if a pre-λ-ring structure satisfies n σt(1) = n≥0 t , then one can construct the corresponding power structure by first defining (1 − ti)−a = σ (a)tin and then defining P n≥0 n a P (1 − ti)−fi = (1 − ti)−afi . i≥1 ! i≥1 Y Y There exists a power structure on the ring K(Var) (see e.g. [21]) corresponding to the pre-λ- ring structure from Remark 2.1 −[X] k k (1 − t) = σt([X]) = [S X]t . ≥ Xk 0 2.3. Plethystic exponentials. Define a plethystic exponential over a commutative ring R to be a group homomorphism Exp: (tR[[t]], +) → (1 + tR[[t]], ∗) satisfying the following properties (1) Exp(t)=(1 − t)−1, (2) Exp(at)=1+ at + O(t2), n (3) Exp(f(t )) = Exp(f(t))|t7→tn . (4) it is continuous, meaning that for every k ≥ 0 there exists n ≥ 0 such that the k-jet of Exp(f) is determined by the n-jet of f.

Remark 2.3. There is a 1−1 correspondence between pre-λ-ring structures on R with σt(1) = n i n≥0 t and plethystic exponentials, given by Exp i≥1 fit = i≥1 σti (fi). PNote that by continuity and the fact that Exp(atnP)=1+ at n +QO(tn+1), we have

i i Exp fit = Exp(fit ). i≥1 ! i≥1 X Y From this we conclude that Exp is an isomorphism. Let Log be its inverse map. Proposition 2.4. (cf. [28]) There is a 1 − 1 correspondence between power structures and plethystic exponentials on R. They are related by

n n −fn a Exp fnt = (1 − t ) , f = Exp(a Log(f)). n≥1 ! n≥1 X Y 4 SERGEY MOZGOVOY

Proof. Consider a power structure on R. One can show that (1 − t)a = 1 − at + O(t2), hence (1 − tn)a =1 − atn + O(tn+1). This implies that Exp given by the first formula is well-defined. The axioms of an exponential follow from the axioms of a power structure. Let Log denote n the inverse of the map Exp. Given f ∈ 1 + tR[[t]], let Log(f) = g = n≥1 gnt . Then f = Exp(g)= (1 − tn)−gn and by axioms 4, 5, 8 we obtain n≥1 P a Q a n −gn n −gna n f = (1 − t ) = (1 − t ) = Exp agnt = Exp(ag). n≥1 ! n≥1 n≥1 ! Y Y X Conversely, given an exponential map Exp, let Log be its inverse and let f a = Exp(a Log(f)) for f ∈ 1+ tR[[t]] and a ∈ R. By continuity, for every k ≥ 0, there exists n ≥ k such that n n k i i i i k+1 Exp fit ≡ Exp fit = Exp(fit ) ≡ Exp(fit ) (mod t ), i≥1 ! i=1 ! i=1 i=1 X X Y Y hence we can take n = k. Therefore Exp(atn + O(tn+1)) ≡ Exp(atn) ≡ 1+ atn (mod tn+1). Assume that Log(1 + atn + O(tn+1)) = btm + O(tm+1) for some a, b =6 0. Then 1+ atn + O(tn+1) = Exp(btm + O(tm+1)) ≡ 1+ btm (mod tm+1). i Therefore m = n and b = a. Every g = i≥0 git ∈ 1+ tR[[t]] can be written in the form g =( n g ti) h, where h =1+ O(tn+1). Then i=0 i P n n P i i n+1 Log(g) = Log git + Log(h) ≡ Log git (mod t ), i=0 ! i=0 ! X X hence Log is continuous. Therefore the power structure is continuous. All other axioms of the power structure are easily verified. Finally, we have Exp(tn)=(1 − tn)−1, hence Log(1 − tn)= n n −t and, for any f = n≥1 fnt , we obtain

n n n −fn Exp(f)=P Exp(fnt )= Exp(−fn Log(1 − t )) = (1 − t ) . n≥1 n≥1 n≥1 Y Y Y

Remark 2.5. The plethystic exponential corresponding to the standard pre-λ-ring structure on K(Var) is given by Exp([X]t)=(1 − t)−[X] = [SkX]tk ≥ Xk 0 for any algebraic variety X

3. Nakajima quiver varieties

3.1. Quiver varieties. Let Q =(Q0, Q1,s,t) be a finite quiver and let kQ be its path algebra over a field k. We define a Q-representation M to be a pair ((Mi)i∈Q0 , (Ma)a∈Q1 ), where Mi is a vector space, for every i ∈ Q0, and Ma : Mi → Mj is a linear map, for every arrow a: i → j in Q. We always assume that i∈Q0 dim Mi < ∞ and identify Q-representations with finite- dimensional (left) kQ-modules. For any path u = a ...a , define u|M = M = M ...M P n 1 u an a1 considered as an endomorphism of the vector space M = i∈Q0 Mi. Similarly, we have an endomorphism u|M : M → M, for any element u ∈ kQ. L Let A = kQ/I, where I ⊂ kQ is an ideal contained in the ideal J ⊂ kQ generated by all arrows of Q. The category mod A of finite-dimensional, left A-modules can be identified with the category of Q-representations M such that u|M = 0, for all u ∈ I. For any M ∈ mod A, MOTIVIC CLASSES OF QUOT-SCHEMES ON SURFACES 5

Q0 Q0 we define its dimension vector dim M = (dim Mi)i∈Q0 ∈ N . Given a vector θ ∈ R , called a stability parameter, define the slope function θ v µ : NQ0 \{0}→ R, v 7→ i i i , θ v P i i and define µθ(M) = µθ(dim M), for 0 =6 M ∈ mod A. AnPA-module M is called θ-semistable (resp. θ-stable) if for any submodule 0 =6 N ( M, we have µθ(N) ≤ µθ(M) (resp. µθ(N) < µθ(M)). Q0 Let V be a Q0-graded vector space having dimension vector v ∈ N . The representation R v v space (Q, )= a: i→j Hom(Vi,Vj) is equipped with an action of the group GL = i∈Q0 GLvi given by (g · M) = g M g−1, for a: i → j in Q. For A = kQ/I, define aL j a i Q R(A, v) ⊂ R(Q, v) to be the closed subvariety consisting of representations that vanish on I. There exists an open subvariety Rθ(A, v) ⊂ R(A, v) consisting of θ-semistable representations and an open Rs R subvariety θ(A, v) ⊂ θ(A, v) consisting of θ-stable representations. It is proved in [24] that there exists a pre-projective categorical quotient

Mθ(A, v)= Rθ(A, v)// GLv that parametrizes S-equivalence classes of θ-semistable A-modules (in the category of θ-semistable

A-modules having slope µθ(v)). There also exists a geometric quotient Ms Rs θ(A, v)= θ(A, v)/GLv which is open in Mθ(A, v). For the trivial stability θ = 0, the moduli space

GLv M0(A, v)= R(A, v)// GLv = Spec k[R(A, v)] parametrizes semi-simple A-modules having dimension vector v. It is proved in [24] that there exists a canonical projective morphism π : Mθ(A, v) → M0(A, v). The ﬁber

−1 Lθ(A, v)= π (0) is projective and parametrizes S-equivalence classes of nilpotent θ-semistable A-modules (here M ∈ mod A is called nilpotent if J nM = 0 for some n ≥ 1).

Let d: Q1 → Z, a 7→ da, be a map such that the ideal I ⊂ kQ is homogeneous with respect to the Z-grading on kQ induced by d. Then we can deﬁne the action of T = Gm on Mθ(A, v)

da M t · M =(t Ma)a∈Q1 , t ∈ T, M ∈ θ(A, v).

Proposition 3.1 (see e.g. [29]). Assume that da > 0, for all a ∈ Q1. Then the action of T on M = Mθ(A, v) satisﬁes (1) MT is projective. + (2) M = {M ∈ M | ∃ limt→0 tM} = Mθ(A, v). − (3) M = {M ∈ M | ∃ limt→∞ tM} = Lθ(A, v).

This result implies (see e.g. [29])

Proposition 3.2. Assume that Mθ(A, v) is smooth and da > 0, for all a ∈ Q1. Then

∨ − dim Mθ(A,v) [Lθ(A, v)] = L [Mθ(A, v)]. 6 SERGEY MOZGOVOY

3.2. Nakajima quiver varieties. Let Q be a finite quiver and w ∈ NQ0 be a vector. Define f the framed quiver Q by adding to Q one new vertex ∗ as well as wi arrows ∗ → i, for every f f f ∗ i ∈ Q0. Define the double quiver Q¯ of the quiver Q by adding to Q an arrow a : j → i, for every arrow a: i → j in Qf . Define the pre-projective algebra Π= kQ¯f /(r), r = (aa∗ − a∗a). → ∈ f (a: iXj) Q1 f f f Q0 Q0 Given v ∈ N , we extend it to v ∈ N by setting v∗ = 1. Define a stability parameter f Qf θ ∈ R 0 by setting θ∗ = 1 and θi = 0 for i ∈ Q0. Define Nakajima quiver varieties [30] f f M M f L L f (v, w)= θ (Π, v ), (v, w)= θ (Π, v ). Variety M(v, w) is smooth and has dimension [30] dim M(v, w)=2(v · w − χ(v, v)), where χ is the Euler-Ringel form of Q defined by

Q0 χ(v, w)= viwi − viwj, v, w ∈ Z . ∈ → ∈ iXQ0 (a:iXj) Q1 Actually, M(v, w) is a symplectic manifold and L(v, w) is its projective subvariety (Lagrangian if there are no loops in Q) homotopic to M(v, w), see e.g. [30, 17]. Both varieties are pure. It follows from the results of [32] (see also [29]) that motivic classes of quiver varieties M(v, w) and L(v, w) are polynomials in L. They are related by (see Proposition 3.2) (2) [L(v, w)]∨ = L− dim M(v,w)[M(v, w)]. There is an explicit formula for the motivic classes of M(v, w)[23, 27, 36, 9]

− 1 M v w v r(w, L, z) (3) L 2 dim ( , )[M(v, w)]z = , r(0, L, z) v Q0 X∈N

τk w z (4) r(w, q−1, z)= q− ·τ1 qχ(τk,τk) , (q; q) − τ ≥ τk τk+1 X kY1 where i (1) τ =(τ )i∈Q0 is a collection of partitions, i Q0 (2) τk =(τk)i∈Q0 ∈ N for k ≥ 1, v vi v Q0 (3) z = i∈Q0 zi for ∈ N , n−1 k Q0 (4) (t; q)v = (t; q) , (t; q) = (1 − tq ) for v ∈ N and n ∈ N. Q i∈Q0 vi n k=0 3.3. Motivic classesQ for the JordanQ quiver. Consider the Jordan quiver C1 which has one vertex and one loop. Let M(n, r) and L(n, r) be the corresponding Nakajima quiver varieties (r is the dimension of the framing). The quiver variety M(n, r) is smooth, the quiver variety L(n, r) is projective, and their dimensions are (see below) dim M(n, r)=2rn, L(n, r)= rn − 1.

According to [33, §3] there exists an action of T = Gm on M = M(n, r) such that the ﬁxed locus MT is ﬁnite and the attractors are M+ = M ∈ M | ∃ lim tM = M(n, r), M− = M ∈ M | ∃ lim tM = L(n, r). t→0 t→∞ By the Bialynicki-Birula n decompositiono [6], this implies thatn both varieties haveo cellular decom- positions. MOTIVIC CLASSES OF QUOT-SCHEMES ON SURFACES 7

Theorem 3.3. We have r 1 [Pr−1]t [L(n, r)]tn = = Exp , 1 − Lrj−itj 1 − Lrt n≥0 i=1 j≥1 X Y Y [Pr−1]Lr+1t [M(n, r)]tn = Exp . 1 − Lrt n≥0 X First proof. It is proved in [33, Corollary 3.10] (by counting cells of a Bialynicki-Birula decomposition) that the virtual Poincar´epolynomials of L(n, r) (which coincide with the usual Poincar´epolynomials as L(n, r) are pure and projective) satisfy

r 1 P (L(n, r), q)tn = . 1 − qrj−itj n i=1 j≥1 X Y Y As L(n, r) admits a cellular decomposition, these polynomials also count motivic classes. We have r 1 r Lr − 1 t = Exp t Lr−i Lrjtj = Exp . 1 − Lrj−itj L − 1 1 − Lrt i=1 j≥1 i=1 j≥0 ! Y Y X X By the equation (2), we have [L(n, r)]∨ = L−2rn[M(n, r)]. Therefore the ﬁrst formula implies L−r − 1 t L−2rn[M(n, r)]tn = Exp L−1 − 1 1 − L−rt n≥0 X and this is equivalent to the second formula.

Second proof. We will apply the general formula (3) for the motivic classes of quiver varieties. By the q-binomial theorem (Heine formula) we have tn 1 1 t = = k = Exp , (q; q) (t; q)∞ (1 − q t) 1 − q n≥0 n k≥0 X n−1 k Q where (t; q)n = k=0(1 − q t). For the quiver with one loop we have χ = 0, hence

Q tτk q−rmk tkmk r(r, q−1, t)= q−rτ1 = (q; q)τk−τk+1 (q; q)mk τ ≥ m1,m2,···≥0 ≥ X kY1 X kY1 (q−rtk)m q−rtk q−rt = = Exp = Exp (q; q) 1 − q (1 − q)(1 − t) ≥ m≥0 m ! ≥ kY1 X Yk 1 where we used mk = τk − τk+1 ≥ 0 and τk = i≥k mi for k ≥ 1. This implies r(r,PL, t) Lr − 1 t L−rn[M(n, r)]tn = = Exp , r(0, L, t) 1 − L−1 1 − t n≥0 X hence the second formula of the theorem. The ﬁrst formula follows from the above argument.

Remark 3.4. Note that the above formula for the motivic class of L(n, r) implies that dim L(n, r)= L O⊕r rn − 1. We will see later that (n, r) can be identiﬁed with the punctual scheme Quot( A2 , n)0. Its was proved in [12, 3] that this scheme is irreducible and has dimension rn − 1. 8 SERGEY MOZGOVOY

3.4. Relation to framed moduli spaces on P2. Let M(r, n) be the framed moduli space of torsion free sheaves on P2 (see e.g. [31, 33]) which parametrizes isomorphism classes of pairs (E,φ) such that 2 2 (1) E is a torsion free coherent sheaf on P , locally free in a neighborhood of a line ℓ∞ ⊂ P

ans satisfying rk E = r, c2(E)= n. ∼ O⊕r (2) φ: E|ℓ∞ −→ ℓ∞ is an isomorphism, called framing. By a result of Barth [4] (see also [31]) this moduli space is isomorphic to the Nakajima quiver variety (note that we use the framing vector w = r here) M(r, n) ≃ M(n, r) for the quiver C1 having one vertex and one loop. There is a projective morphism

π : M(n, r) → M0(n, r) Ms which is an isomorphism over the moduli space 0(n, r) of simple representations. The preim- Ms reg 2 age of 0(n, r) corresponds to the moduli space M0 (r, n) of framed locally free sheaves on P (identiﬁed by Donaldson [11] with the framed moduli space of instantons on S4). Therefore we have (ADHM construction [1]) reg Ms M0 (r, n) ≃ 0(n, r).

4. Motivic classes of Quot-schemes 4.1. Quot-schemes. Let E be a rank r locally free sheaf over an algebraic variety X. For any n ≥ 0, let Quot(E, n) denote the Grothendieck quotient scheme parametrizing epimorphisms E → F , where F is a zero-dimensional coherent sheaf with dim Γ(X, F ) = n, modulo automorphisms of F . For any point x ∈ X, let Quot(E, n)x ⊂ Quot(E, n) denote the subscheme consisting of quotients E → F with F supported in the point x. This scheme depends only on a (formal) neighborhood of x ∈ X. If X is smooth of dimension d, we have O⊕r O⊕r Quot(E, n)x ≃ Quot( X , n)x ≃ Quot( Ad , n)0. The last scheme has a simple description as a nilpotent quiver variety.

Proposition 4.1. Let Q be a quiver with vertices ∗ and 1, arrows fi : ∗→ 1 for 1 ≤ i ≤ r, and loops xi : 1 → 1 for 1 ≤ i ≤ d x1

f1,...,fr ∗ 1 xi

Let A = kQ/(xixj − xjxi), v = (1, n), θ = (1, 0) and let d d M (n, r)= Mθ(A, v), L (n, r)= Lθ(A, v) be the corresponding quiver varieties. Then O⊕r Md O⊕r Ld Quot( Ad , n) ≃ (n, r), Quot( Ad , n)0 ≃ (n, r).

Proof. Given a representation M ∈ Lθ(A, v), the vector space M1 is equipped with a module structure over R = k[x1,...,xd] such that xi act nilpotently. This implies that the corresponding coherent sheaf over Ad is supported at 0. On the other hand we have r linear maps ⊕r M∗ = k → M1 which induce a module homomorphism R → M1. Stability condition means ⊕r that M∗ generates representation M, hence the homomorphism R → M1 is surjective and we MOTIVIC CLASSES OF QUOT-SCHEMES ON SURFACES 9

O⊕r obtain a point in Quot( Ad , n)0. The converse correspondence is straightforward. The proof for Md(n, r) is the same.

Theorem 4.2 (see [35]). Let E be a rank r locally free sheaf over a smooth algebraic variety X of dimension d. Then

[X] n O⊕r n [Quot(E, n)]t = [Quot( Ad , n)0]t . n≥0 n≥0 ! X X 4.2. Quot-schemes over curves. For d = 1, the quiver Q from Proposition 4.1 has the form

f1,...,fr ∗ 1 x and has no relations. The quiver variety M1(n, r) is smooth, has dimension rn and admits a cellular decomposition (see e.g. [34, 13]).

Remark 4.3. Let us show that L1(n, r) also admits a cellular decomposition. There is a ′ ′ Q1 r+1 M M1 MT natural action of the torus T = Gm = Gm on = (n, r) such that the fixed locus ′ T T ′ is finite. We can find a torus T = Gm ⊂ T such that M = M and T acts with a positive weight on every arrow. The corresponding attractors are (see Proposition 3.1)

M+ = M ∈ M | ∃ lim tM = M1(n, r), M− = M ∈ M | ∃ lim tM = L1(n, r). t→0 t→∞ n o n o By the Bialynicki-Birula decomposition [6], this implies that both varieties have cellular decom- positions.

The virtual Poincarépolynomials of M1(n, r) (or equivalently, polynomials counting their points over finite fields) satisfy (see e.g. [34, §5])

− r 1 1 qr − 1 (5) q−nP (M1(n, r), q)tn = = Exp t . 1 − qit q − 1 n≥0 i=0 X Y Proposition 4.4. We have

[M1(n, r)]tn = Exp L · [Pr−1]t , [L1(n, r)]tn = Exp [Pr−1]t . n≥0 n≥0 X X Proof. The ﬁrst formula follows from equation (5) as M1(n, r) admits a cellular decomposition. As M1(n, r) is smooth and has dimension rn, we conclude from Proposition 3.2 that

[L1(n, r)]∨ = L−rn[M1(n, r)].

Therefore Lr − 1 L−r − 1 [L1(n, r)]∨tn = L−rn[M1(n, r)]tn = Exp L1−rt = Exp t L − 1 L−1 − 1 n≥0 n≥0 X X and taking the duals we obtain the second formula.

Remark 4.5. We conclude from the above result that dim L1(n, r)= rn − n.

Theorem 4.6 (see [10, 2]). Given a rank r locally free sheaf E over a curve X, we have

[Quot(E, n)]tn = Exp [X × Pr−1]t . n≥0 X 10 SERGEY MOZGOVOY

O⊕r n r−1 Proof. By Proposition 4.4 we have n≥0[Quot( A1 , n)0]t = Exp ([P ]t). Applying Theorem 4.2 and Proposition 2.4 we obtain P [X] [Quot(E, n)]tn = Exp [Pr−1]t = Exp [X][Pr−1]t . n≥0 X

1 O⊕r M1 Remark 4.7. For X = A and E = A1 , we have Quot(E, n) = (n, r). In this case we obtain [M1(n, r)]tn = [Quot(E, n)]tn = Exp L · [Pr−1]t n≥0 n≥0 X X which coincides with the statement of Proposition 4.4.

k k Remark 4.8. In the context of point-counting, plethystic exponential Exp([X]t)= k≥0[S X]t corresponds to the zeta-function (for X an algebraic variety over F ) q P

#X(F n ) Z(X; t) = exp q tn . n n≥1 ! X O⊕r Then the above theorem takes the form (cf. [15] for E = X ) r−1 r−1 # Quot(E, n)tn = Z(X × Ai; t)= Z(X; qit). n≥0 i=0 i=0 X Y Y 4.3. Quot-schemes over surfaces. Given n, r ≥ 0, let L2(n, r) be the quiver variety from Proposition 4.1. On the other hand let L(n, r) be the nilpotent Nakajima quiver variety for the quiver C1 having one vertex and one loop.

Proposition 4.9. We have L2(n, r) ≃ L(n, r).

Proof. The quiver variety L(n, r) parametrizes representations of the quiver Q¯f having two ∗ ∗ vertices ∗ and 1, two loops x, x : 1 → 1 and arrows fi : ∗ → 1 and fi : 1 → ∗ for 1 ≤ i ≤ r. The relations are ∗ ∗ ∗ ∗ xx − x x + fifi =0, fi fi =0. i i X X L ∗ If M ∈ (n, r) then the linear maps Mfi : M1 → M∗ are zero (see e.g. [30, 26]). This implies that M can be interpreted as a point of L2(n, r). The converse is straightforward.

Proposition 4.10. We have r−1 ⊕r n [P ]t [Quot(O 2 , n) ]t = Exp . A 0 1 − Lrt n≥0 X Proof. By Propositions 4.1 and 4.9 we have O⊕r L2 L [Quot( A2 , n)0] ≃ (n, r) ≃ (n, r). Now the result follows from Theorem 3.3.

Theorem 4.11. Given a rank r locally free sheaf E over a smooth surface X, we have [X × Pr−1]t [Quot(E, n)]tn = Exp . 1 − Lrt n≥0 X MOTIVIC CLASSES OF QUOT-SCHEMES ON SURFACES 11

Proof. By Theorem 4.2 we have [X] r−1 [X] n ⊕r n [P ]t [Quot(E, n)]t = [Quot(O 2 , n) ]t = Exp . A 0 1 − Lrt n≥0 n≥0 ! X X [Pr−1]t The last expression is equal to Exp [X] 1−Lrt by Proposition 2.4. Remark 4.12. For r = 1 we obtain (cf. [19]) [X]t [Quot(O , n)]tn = Exp . X 1 − Lt n≥0 X Remark 4.13. We can write − [X × Pr−1]t r 1 [Quot(E, n)]tn = Exp = Exp([X]Li+rjtj+1). 1 − Lrt n≥0 i=0 j≥0 X Y Y Therefore in the context of point-counting the above theorem, for an algebraic surface X over O⊕r a ﬁnite ﬁeld Fq, takes the form (cf. [37] for E = X ) r−1 # Quot(E, n)tn = Z(X; qi+rjtj+1). n≥0 i=0 j≥0 X Y Y Or M2 Remark 4.14. We have Quot( A2 , n) ≃ (n, r), hence the above result implies [Pr−1]L2t] [M2(n, r)]tn = Exp . 1 − Lrt n≥0 X Note that M2(n, r) ⊂ M(n, r) and [Pr−1]Lr+1t [M(n, r)]tn = Exp 1 − Lrt n≥0 X by Theorem 3.3. This implies that M2(n, r) and M(n, r) are not equal in general. However, we have an equality M2(n, 1) = M(n, 1) = Hilbn(A2) (see e.g. [31]).

References

[1] M. F. Atiyah, N. J. Hitchin, V. G. Drinfeld, and Yu. I. Manin, Construction of instantons, Phys. Lett. A 65 (1978), no. 3, 185–187. [2] Massimo Bagnarol, Barbara Fantechi, and Fabio Perroni, On the motive of zero-dimensional Quot schemes on a curve, 2019, arXiv:1907.00826. [3] Vladimir Baranovsky, On Punctual Quot Schemes for Algebraic Surfaces, 1997, arXiv:alg-geom/9703038. [4] W. Barth, Moduli of vector bundles on the projective plane, Invent. Math. 42 (1977), 63–91. [5] Kai Behrend, Jim Bryan, and Balázs Szendr˝oi, Motivic degree zero Donaldson-Thomas invariants, Invent. Math. 192 (2013), arXiv:0909.5088. [6] A. Bialynicki-Birula, Some theorems on actions of algebraic groups, Ann. of Math. (2) 98 (1973), 480–497. r Sur les points fixes du schéma r sous l’action du tore G [7] Emili Bifet, QuotOX /X/k m,k, C. R. Acad. Sci. Paris Sér. I Math. 309 (1989), no. 9, 609–612. [8] Emili Bifet, Franco Ghione, and Maurizio Letizia, On the Abel-Jacobi map for divisors of higher rank on a curve, Math. Ann. 299 (1994), no. 4, 641–672. [9] T. Bozec, O. Schiffmann, and E. Vasserot, On the number of points of nilpotent quiver varieties over finite fields, 2017, arXiv:1701.01797. [10] Sebastian del Baño, On the Chow motive of some moduli spaces, J. Reine Angew. Math. 532 (2001), 105–132. [11] S. K. Donaldson, Instantons and geometric invariant theory, Comm. Math. Phys. 93 (1984), no. 4, 453–460. 12 SERGEY MOZGOVOY

[12] Geir Ellingsrud and Manfred Lehn, Irreducibility of the punctual quotient scheme of a surface, Ark. Mat. 37 (1999), no. 2, 245–254, arXiv:alg-geom/9704016. [13] Johannes Engel and Markus Reineke, Smooth models of quiver moduli, Math. Z. 262 (2009), no. 4, 817–848, arXiv:0706.4306. [14] John Fogarty, Algebraic families on an algebraic surface, Amer. J. Math 90 (1968), 511–521. [15] F. Ghione and M. Letizia, Effective divisors of higher rank on a curve and the Siegel formula, Compositio Math. 83 (1992), no. 2, 147–159. [16] David Gieseker and Jun Li, Moduli of high rank vector bundles over surfaces, J. Amer. Math. Soc. 9 (1996), no. 1, 107–151. [17] Victor Ginzburg, Lectures on Nakajima’s quiver varieties, Geometric methods in representation theory. I, Sémin. Congr., vol. 24, Soc. Math. France, Paris, 2012, arXiv:0905.0686, pp. 145–219. [18] Lothar Göttsche, The Betti numbers of the Hilbert scheme of points on a smooth projective surface, Math. Ann. 286 (1990), no. 1-3, 193–207. [19] , On the motive of the Hilbert scheme of points on a surface, Math. Res. Lett. 8 (2001), no. 5-6, 613–627, arXiv:math/0007043. [20] Alexander Grothendieck, Techniques de construction et théorèmes d’existence en géométrie algébrique. IV. Les schémas de Hilbert, Séminaire Bourbaki, Vol. 6, Soc. Math. France, Paris, 1995, pp. Exp. No. 221, 249–276. [21] S. M. Gusein-Zade, I. Luengo, and A. Melle-Hernández, A power structure over the Grothendieck ring of varieties, Math. Res. Lett. 11 (2004), no. 1, 49–57, arXiv:math/0206279. [22] , Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points, Michigan Math. J. 54 (2006), no. 2, 353–359, arXiv:math/0407204. [23] Tamás Hausel, Kac’s conjecture from Nakajima quiver varieties, Invent. Math. 181 (2010), no. 1, 21–37, arXiv:0811.1569. [24] A. D. King, Moduli of representations of finite-dimensional algebras, Quart. J. Math. Oxford Ser. (2) 45 (1994), no. 180, 515–530. [25] Jun Li, Algebraic geometric interpretation of Donaldson’s polynomial invariants, J. Differential Geom. 37 (1993), no. 2, 417–466. [26] G. Lusztig, On quiver varieties, Adv. Math. 136 (1998), no. 1, 141–182. [27] Sergey Mozgovoy, Fermionic forms and quiver varieties, 2006, arXiv:math/0610084. [28] , A computational criterion for the Kac conjecture, J. Algebra 318 (2007), no. 2, 669–679, arXiv:math/0608321. [29] , Translation quiver varieties, 2019, arXiv:1911.01788. [30] Hiraku Nakajima, Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras, Duke Math. J. 76 (1994), no. 2, 365–416. [31] , Lectures on Hilbert schemes of points on surfaces, University Lecture Series, vol. 18, American Mathematical Society, Providence, RI, 1999. [32] , Quiver varieties and t-analogs of q-characters of quantum affine algebras, Ann. of Math. (2) 160 (2004), no. 3, 1057–1097, arXiv:math.QA/0105173. [33] Hiraku Nakajima and K¯ota Yoshioka, Lectures on instanton counting, Algebraic structures and moduli spaces, CRM Proc. Lecture Notes, vol. 38, Amer. Math. Soc., Providence, RI, 2004, arXiv:math.AG/0311058, pp. 31–101. [34] Markus Reineke, Cohomology of noncommutative Hilbert schemes, Algebr. Represent. Theory 8 (2005), no. 4, 541–561, arXiv:math.AG/0306185. [35] Andrea T. Ricolfi, On the motive of the Quot scheme of finite quotients of a locally free sheaf, 2019, arXiv:1907.08123. [36] Dimitri Wyss, Motivic classes of Nakajima quiver varieties, Int. Math. Res. Not. IMRN (2017), no. 22, 6961–6976, arXiv:1603.03200. [37] K¯ota Yoshioka, The Betti numbers of the moduli space of stable sheaves of rank 2 on P2, J. Reine Angew. Math. 453 (1994), 193–220.

School of Mathematics, Trinity College Dublin, Ireland Hamilton Mathematics Institute, Ireland E-mail address: [email protected]