 $${\mathrm{H}}_2(X,{{\mathbb Z}}) \simeq {\mathrm{H}}_2(S,{{\mathbb Z}})_{\left(,\right)} \oplus_{\perp} {{\mathbb Z}}\delta^{\vee}, \quad
            \left(\delta^{\vee},\delta^{\vee}\right)=-\frac{1}{2(n-1)},$$ where $\delta^{\vee}$ is characterized as the homology class orthogonal to ${\mathrm{H}}^2(S,{{\mathbb Z}})$ and satisfying $\delta^{\vee}\cdot \delta =1$.

[@Gott90] Let $S$ be a K3 surface and $S^{[n]}$ its Hilbert scheme. Consider the Poincaré polynomial $$p(S^{[n]},z)=\sum_{j=0}^{4n} \beta_j(S^{[n]})z^j.$$ Then $$\sum_{n=0}^{\infty} p(S^{[n]},z)t^n= \prod_{m=1}^{\infty}
(1-z^{2m-2}t^m)^{-1}(1-z^{2m}t^m)^{-22}(1-z^{2m+2}t^m)^{-1}.$$

To save space, we write $$q(S^{[n]},z)=\sum_{j=0}^{n} \beta_{2j} z^j,$$ which determines the Poincaré polynomial by Poincaré duality. We have $$\begin{array}{rcl}
q(S,z)&=& 1+ 22z  \\
q(S^{[2]},z) &=& 1 + 23 z + 276 z^2 \\
q(S^{[3]},z) &=& 1 + 23 z + 299 z^2 + 2554 z^3.
\end{array}$$

A theorem of Verbitsky [@Verb Theorem 1.5] asserts that the homomorphism arising from the cup product $$\mu_{k,n}:\mathrm{Sym}^k {\mathrm{H}}^2(S^{[n]},{{\mathbb Q}}) {\rightarrow}{\mathrm{H}}^{2k}(S^{[n]},{{\mathbb Q}})$$ is injective for $k \le n$. Thus its image has dimension $$\binom{22+k}{k}.$$ In light of the computations above, $\mu_{2,2}$ is an isomorphism, $\mu_{2,3}$ has cokernel of dimension $23$, and $\mu_{3
$ $ { \mathrm{H}}_2(X,{{\mathbb Z } }) \simeq { \mathrm{H}}_2(S,{{\mathbb Z}})_{\left(,\right) } \oplus_{\perp } { { \mathbb Z}}\delta^{\vee }, \quad 
             \left(\delta^{\vee},\delta^{\vee}\right)=-\frac{1}{2(n-1)},$$ where $ \delta^{\vee}$ is characterized as the homology class orthogonal to $ { \mathrm{H}}^2(S,{{\mathbb Z}})$ and satisfying $ \delta^{\vee}\cdot \delta = 1$. 

 [ @Gott90 ] lease $ S$ be a K3 open and $ S^{[n]}$ its Hilbert scheme. Consider the Poincaré polynomial $ $ p(S^{[n]},z)=\sum_{j=0}^{4n } \beta_j(S^{[n]})z^j.$$ Then $ $ \sum_{n=0}^{\infty } p(S^{[n]},z)t^n= \prod_{m=1}^{\infty } 
 (1 - z^{2m-2}t^m)^{-1}(1 - z^{2m}t^m)^{-22}(1 - z^{2m+2}t^m)^{-1}.$$ 

 To save distance, we write $ $ q(S^{[n]},z)=\sum_{j=0}^{n } \beta_{2j } z^j,$$ which determines the Poincaré polynomial by Poincaré dichotomy. We have $ $ \begin{array}{rcl } 
 q(S, z)&= & 1 + 22z   \\ 
 q(S^{[2]},z) & = & 1 + 23 z + 276 z^2 \\ 
 q(S^{[3]},z) & = & 1 + 23 z + 299 z^2 + 2554 z^3. 
 \end{array}$$ 

 A theorem of Verbitsky [ @Verb Theorem 1.5 ] assert that the homomorphism arising from the cup product $ $ \mu_{k, n}:\mathrm{Sym}^k { \mathrm{H}}^2(S^{[n]},{{\mathbb Q } }) { \rightarrow}{\mathrm{H}}^{2k}(S^{[n]},{{\mathbb Q}})$$ is injective for $ k \le n$. therefore its image has dimension $ $ \binom{22+k}{k}.$$ In light of the computations above, $ \mu_{2,2}$ is an isomorphism, $ \mu_{2,3}$ has cokernel of property $ 23 $, and $ \mu_{3
 $${\mahhrm{H}}_2(X,{{\mathbb Z}}) \simeq {\matmrm{H}}_2(S,{{\mathbb Z}})_{\lefj(,\rught)} \o'lus_{\perl} {{\mathbb Z}}\delta^{\vee}, \quad
            \lxft(\dwlta^{\vtv},\delta^{\vee}\right)=-\frac{1}{2(n-1)},$$ wfere $\deltw^{\vee}$ is xharecterized as the homologn claad orchigonal to ${\mathtm{H}}^2(S,{{\mathbb Z}})$ and satisfyinc $\aepta^{\vee}\cdot \delta =1$.

[@Gott90] Let $S$ be a K3 furface ajd $S^{[n]}$ its Hilbgrt sbhqme. Donsider the Poincaré polynomial $$p(S^{[h]},z)=\sum_{j=0}^{4n} \beta_j(S^{[n]})z^j.$$ Thrn $$\sum_{n=0}^{\infty} p(S^{[n]},z)t^n= \prod_{m=1}^{\ijfty}
(1-x^{2m-2}t^m)^{-1}(1-z^{2m}t^m)^{-22}(1-z^{2m+2}t^m)^{-1}.$$

To savf space, we qritq $$q(S^{[n]},z)=\sum_{j=0}^{n} \bdta_{2j} z^j,$$ whpeh determings the Poincaré polynomial by Poivcaré buality. We yace $$\hggin{array}{rcl}
w(S,z)&=& 1+ 22d  \\
q(S^{[2]},z) &=& 1 + 23 z + 276 z^2 \\
q(S^{[3]},z) &=& 1 + 23 z + 299 z^2 + 2554 z^3.
\end{array}$$

S tieorwm of Verbitsky [@Verb Vheorem 1.5] asserts thaj the homokoxphism arising from tye cup kroduwt $$\mj_{j,n}:\mxthdm{Xyj}^k {\matjrm{I}}^2(S^{[n]},{{\mathbb Q}}) {\rightarrow}{\nathrm{H}}^{2k}(S^{[n]},{{\mathbb Q}})$$ os pmjective for $k \le g$. Ehus its image has dimension $$\binom{22+k}{k}.$$ In lifht of the computations above, $\mu_{2,2}$ is an isomotphism, $\mu_{2,3}$ ras cokernel of dimension $23$, and $\mu_{3
$${\mathrm{H}}_2(X,{{\mathbb Z}}) \simeq {\mathrm{H}}_2(S,{{\mathbb Z}})_{\left(,\right)} \oplus_{\perp} {{\mathbb \left(\delta^{\vee},\delta^{\vee}\right)=-\frac{1}{2(n-1)},$$ $\delta^{\vee}$ is as the homology and $\delta^{\vee}\cdot \delta =1$. Let $S$ be K3 surface and $S^{[n]}$ its Hilbert Consider the Poincaré polynomial $$p(S^{[n]},z)=\sum_{j=0}^{4n} \beta_j(S^{[n]})z^j.$$ Then $$\sum_{n=0}^{\infty} p(S^{[n]},z)t^n= \prod_{m=1}^{\infty} (1-z^{2m-2}t^m)^{-1}(1-z^{2m}t^m)^{-22}(1-z^{2m+2}t^m)^{-1}.$$ To save we write $$q(S^{[n]},z)=\sum_{j=0}^{n} \beta_{2j} z^j,$$ which determines the Poincaré polynomial by Poincaré duality. have q(S,z)&=& 22z q(S^{[2]},z) &=& 1 + 23 z + 276 z^2 \\ q(S^{[3]},z) &=& 1 + 23 z 299 z^2 + 2554 z^3. \end{array}$$ A theorem Verbitsky [@Verb Theorem 1.5] that the homomorphism arising from cup $$\mu_{k,n}:\mathrm{Sym}^k {\mathrm{H}}^2(S^{[n]},{{\mathbb {\rightarrow}{\mathrm{H}}^{2k}(S^{[n]},{{\mathbb is for $k \le Thus its image has dimension $$\binom{22+k}{k}.$$ In light of the computations above, $\mu_{2,2}$ is an isomorphism, $\mu_{2,3}$ cokernel of and $\mu_{3
 $${\mathrm{H}}_2(X,{{\mathbb Z}}) \simeq {\mathrM{H}}_2(S,{{\mathbb Z}})_{\Left(,\rIghT)} \opLuS_{\perP} {{\matHbb Z}}\delta^{\vee}, \quAD
            \lefT(\delta^{\vee},\delta^{\vee}\right)=-\Frac{1}{2(n-1)},$$ WhERe $\deLTa^{\Vee}$ is CharactERiZED as ThE hOmoLoGY cLass oRthOgonal tO ${\mathrm{H}}^2(S,{{\mAthBb z}})$ and satisfyiNG $\dElta^{\vee}\cdoT \deLta =1$.

[@Gott90] Let $S$ bE a K3 SurfacE aNd $S^{[N]}$ Its HiLbeRt schEme. ConSIder thE Poincaré PoLYnomiaL $$P(S^{[n]},z)=\sum_{J=0}^{4N} \BeTa_j(S^{[N]})z^j.$$ Then $$\sum_{n=0}^{\infty} p(s^{[N]},z)T^N= \prod_{m=1}^{\infty}
(1-z^{2m-2}t^M)^{-1}(1-z^{2m}t^m)^{-22}(1-z^{2M+2}t^M)^{-1}.$$

to SAVe sPacE, we write $$q(S^{[N]},z)=\Sum_{j=0}^{n} \BEta_{2j} z^j,$$ wHIcH DETerMInes the PoincaRé polynomiaL By POincarÉ dUalITy. We haVe $$\begIn{ARraY}{rcl}
q(S,z)&=& 1+ 22z  \\
q(S^{[2]},z) &=& 1 + 23 Z + 276 z^2 \\
q(S^{[3]},Z) &=& 1 + 23 z + 299 z^2 + 2554 z^3.
\end{arRay}$$

A thEOrem of VERbitsky [@verb ThEorEm 1.5] aSserTS tHaT thE hOMomORpHisM AriSing from ThE cUp proDuct $$\MU_{K,N}:\MathRm{SYm}^k {\mAthrm{h}}^2(S^{[n]},{{\mathbb Q}}) {\rigHtaRrow}{\MAthRm{H}}^{2k}(S^{[N]},{{\mathBb Q}})$$ iS iNjectIve for $K \le n$. THuS its image has dimEnsiOn $$\binom{22+k}{k}.$$ in lIgHt oF tHe comPUtatioNs aBovE, $\mu_{2,2}$ is an IsomorpHIsm, $\Mu_{2,3}$ HAS CoKernel of dimension $23$, aNd $\MU_{3
 $${\mathrm{H}}_2(X,{{\mat hbb Z}}) \ simeq  {\ mat hr m{H} }_2( S,{{\mathbb Z} } )_{\ left(,\right)} \oplus_ {\per p} {{\m a th bb Z} }\delta ^ {\ v e e},  \ qu ad        \ left(\d elta^{\vee },\ de lta^{\vee}\r i gh t)=-\frac{ 1}{ 2(n-1)},$$ w her e $\de lt a^{ \ vee}$  is  char acteri z ed asthe homol og y  class orthogo n a lto $ {\mathrm{H}}^2(S, { {\ m athbb Z}})$ an d sati sf y in g $\d elt a^{\vee}\c do t \de l ta =1$. 
[ @ G o tt9 0 ] Let $S$ bea K3 surfac e  an d $S^{ [n ]}$ its Hi lbert  s c hem e. Consider  the  Poincaré  polyn o mial $$ p (S^{[n] },z)=\ sum _{j =0}^ { 4n }\be ta _ j(S ^ {[ n]} ) z^j .$$ Then  $ $\ sum_{ n=0} ^ { \ i nfty } p (S^{ [n]}, z)t^n= \prod_ {m= 1}^{ \ inf ty}
( 1-z^{ 2m-2 }t ^m)^{ -1}(1- z^{2m }t ^m)^{-22}(1-z^{ 2m+2 }t^m)^{-1 }.$ $
To  s ave s p ace, w e w rit e $$q(S ^{[n]}, z )=\ su m _ { j= 0}^{n} \beta_{2j}z^ j , $$  which d etermi n es  t h e Poinca ré  po lyno m i al by  Poi n ca ré duali ty. We ha ve  $$\beg in {array }{ rcl }
q (S,z) & =& 1 + 22z \\
q(S^ {[2]} , z) &=& 1 + 23z  + 276 z^2 \\ q( S ^ {[ 3 ]},z ) & =& 1 + 23 z  + 2 9 9 z^ 2 +2 55 4 z ^ 3.
\e nd{ar ra y }$ $ 

A theorem of Verb it sky [@ VerbTheorem 1.5]asserts th a t the homo morp h is m  arising fromthe c up product $$\mu_{k ,n}:\ mathrm{S ym}^k {\m a t hrm{H}}^ 2(S ^{[ n]} ,{{ \ m at hbb Q}}) {\ri g h tarr ow }{\math rm{ H}}^{2k }(S ^{[ n]} ,{{ \m athbb Q}} )$$ is i nj ec ti ve  fo r $k\ le n$. T hu s i ts  im age h a s dime nsion  $$\ bi no m {22 +k}{k}. $ $I n  lig ht  o f th e c om putat ions abo ve, $\m u_{2,2}$isa n is om or phism,$\mu_{2,3}$ h as  cokernelof  di mensio n $23$, an d $\mu_{3
 $${\mathrm{H}}_2(X,{{\mathbb_Z}}) \simeq_{\mathrm{H}}_2(S,{{\mathbb Z}})_{\left(,\right)} \oplus_{\perp} {{\mathbb_Z}}\delta^{\vee}, \quad
__ __  _  _ \left(\delta^{\vee},\delta^{\vee}\right)=-\frac{1}{2(n-1)},$$ where $\delta^{\vee}$_is characterized as_the_homology class orthogonal to ${\mathrm{H}}^2(S,{{\mathbb Z}})$ and satisfying $\delta^{\vee}\cdot \delta =1$.

[@Gott90] Let $S$ be_a_K3 surface_and_$S^{[n]}$_its Hilbert scheme. Consider the_Poincaré polynomial $$p(S^{[n]},z)=\sum_{j=0}^{4n} \beta_j(S^{[n]})z^j.$$ Then_$$\sum_{n=0}^{\infty} p(S^{[n]},z)t^n=_\prod_{m=1}^{\infty}
(1-z^{2m-2}t^m)^{-1}(1-z^{2m}t^m)^{-22}(1-z^{2m+2}t^m)^{-1}.$$

To save space, we write $$q(S^{[n]},z)=\sum_{j=0}^{n} \beta_{2j} z^j,$$_which_determines the Poincaré_polynomial by Poincaré duality. We have $$\begin{array}{rcl}
q(S,z)&=& 1+ 22z_ \\
q(S^{[2]},z) &=& 1 + 23_z + 276_z^2_\\
q(S^{[3]},z)_&=& 1 + 23_z + 299 z^2 + 2554_z^3.
\end{array}$$

A theorem of Verbitsky [@Verb Theorem_1.5] asserts that the homomorphism arising from_the cup product $$\mu_{k,n}:\mathrm{Sym}^k {\mathrm{H}}^2(S^{[n]},{{\mathbb Q}})_{\rightarrow}{\mathrm{H}}^{2k}(S^{[n]},{{\mathbb Q}})$$ is injective for_$k \le_n$. Thus its image has_dimension $$\binom{22+k}{k}.$$ In_light of_the computations above,_$\mu_{2,2}$ is an isomorphism, $\mu_{2,3}$ has_cokernel of dimension_$23$, and $\mu_{3