Some questions on the intersection theory on a Hilbert scheme of points of a surface. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T07:56:48Z http://mathoverflow.net/feeds/question/15118 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15118/some-questions-on-the-intersection-theory-on-a-hilbert-scheme-of-points-of-a-surf Some questions on the intersection theory on a Hilbert scheme of points of a surface. James O 2010-02-12T15:27:21Z 2010-02-18T15:09:38Z <p>If $\Sigma$ is a smooth complex curve in a smooth projective surface $X$, then we can consider the homology class represented by $\Sigma^{[n]} \subset X^{[n]}$. $\ \$ Where, $X^{[n]}, \Sigma^{[n]}$ stand for the Hilbert scheme of $n$-points on $X$ and $\Sigma$, respectively. Is it possible to construct a <strike> homomorphism </strike> function $\Phi_n: \rm{H}_2(X) \rightarrow H_w(X^{[n]})$, such that $[\Sigma] \mapsto [ \Sigma^{[n]} ]$? </p> <p>$\ \ \$ One has the following at ones disposal: we have the obvious quotient map $X^n \rightarrow S^nX$ (where $S^nX$ is the symmetric product of $X$). Now, if $\beta \in H_2(X)$, then we can consider the image of $B := \beta \times \cdots \times \beta$ in $H_{2n}(S^nX)$. If $\beta$ can be represented by an algebraic curve, we can take the proper transform of $B$ under the Chow map $X^{[n]} \rightarrow S^nX$. If $\beta$ is not represented by such a curve, is there anything akin to proper transform that one can apply to $B$ to construct the desired <strike>homomorphism</strike> function $\Phi_n$? </p> <p>I am interested in studying the intersection theory between the classes $\Phi_n(\beta)$. Nakajima in his book "Lectures on Hilbert schemes of points on surfaces" states the following nice result. If $\Sigma$ and $\Sigma'$ are two smooth curves in $X$, then (page 102 of Nakajima's book):</p> <p>$$\sum_n z^n \ [\Sigma^{[n]}] \cdot [\Sigma'^{[n]}] = (1+z)^{[\Sigma] \cdot [\Sigma']}$$</p> <p>Does anyone know if there are related results for singular curves? </p> <p>As a side remark. the above formula is obvious if $\Sigma$ and $\Sigma'$ are two curves intersecting transversely. All it says is that of the set of $m = [\Sigma]\cdot [\Sigma']$ points were it intersects, we choose $n$ of them (there are $\binom{m}{n}$ of these guys, which is what the formula is giving). But the general proof of the formula is more intricate - one uses a representation of the Heisenberg group on the space $\oplus_n H_*(X^{[n]})$ to derive it. This fancy shmancy approach is more helpful when computing things like the self intersection of $\Sigma^{[n]}$ when $\Sigma$ is a $(-1)$-curve in $X$. From it we get that $[\Sigma^{[n]}] \cdot[\Sigma^{[n]}] = \binom{-1}{n} = (-1)^n$ </p> <p><strong>EDITED:</strong> In view of Nakajima's comment below, please replace function for homomorphism when reading the above question. Notice that, as stated in my comment below, the extension of the map $[\Sigma] \rightarrow [\Sigma^{[n]}]$ should be a "nice" one. </p> <p><strong>EDITED</strong> (I am copying my hidden comments here since their maths don't display well) I can explain my motivation. I am working with some moduli spaces of objects on a surface $X$ and out of them I get a homology class $V_n$ in $X^{[n]}$. In nice cases, one can show that these homology classes are $[\Sigma^{[n]}]$, for some curve $\Sigma \subset X$. Or a sum of such classes. Using this classes $V_n$ I am trying to obtain a map $N : H_2(X) \rightarrow \mathbb{Z}$, defined by $N(\beta) := V_n \cdot \Phi_n(\beta)$. Such that, in the nice case when $V_n = [\Sigma^{[n]}]$ and $\beta = [\Sigma']$, then $$N(\beta) = [\Sigma^{[n]}] \cdot [\Sigma'^{[n]}]$$ Then, my problem became what should be the definition of $\Phi_n(\beta)$, when $\beta$ not represented by a curve. Presumably, we should be able to extend $\Phi_n$ to some 2-classes that are not represented by curves since, by perturbing the complex structure, we could start seeing more curves than before. I don't know what should be $\Phi_n(-2H)$. The best I could imagine is that it should satisfy the equation $$[\Sigma^{[n]}] \cdot \Phi_n(-2H) = \binom{\Sigma \cdot (-2H)}{n}$$ but I really don't know what it should be. Thanks a lot again!</p> <p><strong>EDIT</strong> I am now assume that the formula $$\alpha \mapsto exp\left( \sum \frac{z_i P_\alpha[-i]}{(-1)^{i-1}i} \right) \cdot 1$$ (the definition of the term $P_\alpha[-i]$ can be found in Prof. Nakajima's book "Lectures on Hilbert schemes of points on surfaces" page 84), is well defined. By one of his results, $[\Sigma] \mapsto \sum z^i [\Sigma^{[n]}]$ (op. cit. page 99). If so, I presume this satisfy the posed question.</p> http://mathoverflow.net/questions/15118/some-questions-on-the-intersection-theory-on-a-hilbert-scheme-of-points-of-a-surf/15405#15405 Answer by Dmitri for Some questions on the intersection theory on a Hilbert scheme of points of a surface. Dmitri 2010-02-16T02:10:10Z 2010-02-16T02:54:44Z <p>I would like to make one naive suggestion, related to the work of Voisin, who constructed Hilbert scheme of every almost complex manifolds $X$ of real dimension $4$. And to a more recent work of Julien Grivaux on this topic</p> <p><a href="http://arxiv.org/PS_cache/arxiv/pdf/1001/1001.0119v1.pdf" rel="nofollow">http://arxiv.org/PS_cache/arxiv/pdf/1001/1001.0119v1.pdf</a></p> <p>As far as I understand Julien can express the cohomology ring of this scheme in the case when $X$ is a symplectic manifold (Theorem 1.1). Symplectic structure is used in order to construct symplectic surfaces on $X$. These surfaces are quite plentiful on $X$ by a theorem of Donaldson. For any such symplectic surface $C$ one can find an almost complex sturcture on $X$, integrable in a neighborhood of $C$. This is discussed Section 3.2 (in particular Theorem 3.5 and Corollary 3.3).</p> <p>Now if we have a smooth almost complex curve $C$ inside of $X$, such that the complex structure is integrable in its neighborhood then $C^{[n]}$ seem to be well defined as a submanifold of $X^{[n]}$ (the Voisin Hilbert scheme). Moreover, Lemma 3.8 seem to suggest that the homology class of $[C^{[n]}]$ is given by a formula analgous to the one in the case when $X$ is an algebraic surface (the formula of Nakajima).</p> <p>I have an extremely superficial understanding of Julien's artice and of the whole topic, so I may make some here some silly mistake. Moreover it is not clear for me if after all the class $[C^{[n]}]$ in homologies of $X^{[n]}$ depends only on the homolgy class $[C]$ in $H_2(X)$, but will not depend on the choice of a sympectic curve $C$ that realises it. And, of course, there are some obvious (and not obvious) restictions on $C$, such as $\int_C \omega>0$.</p>