The Serre intersection formula, as an alternating sum of contributions from Tor-groups, is something that combines a lot of ingredients that I'm interested in, but I've never really felt that I have a "grip" on it. One of the reasons for this is that, despite making attempts on a couple of occasions, I never seem to have been able to concoct an example where I get contributions from higher Tor-terms that's geometrically satisfying.


This is, unfortunately, a vague description of what I'm looking for. When you describe intersection multiplicity, it's relatively easy to give examples of double and triple intersection of planar curves, give a proto-definition in terms of degree of tangency, show how this is captured by their scheme-theoretic intersection, and talk about what happens when the curves are moved slightly. This is the kind of thing I miss having.


I should also clarify that I'm looking for something slightly more complicated than intersecting a planar curve with a point.


Are there examples of the Serre intersection formula in this vein?



Geometric examples of the Serre intersection formula
Consider a flat morphism $f:X\to Y$ of smooth connected varieties. For instance let $X=Y\times F$ with $X,Y,F$ all smooth. Further let $Z\subset X$ be a generically reduced subvariety such that $f|\_Z:Z\to Y$ is a finite morphism, which is **not** flat. For any $y\in Y$ let $X\_y\subset X$ denote the fiber of the original $f$.


As any two points on $Y$ are equivalent, the intersection product $Z\cdot\_X X\_y$. is independent of $y\in Y$. 


Since $Y$ is smooth and $Z$ is generically reduced, most fibers of $f|\_Z$ are smooth, so the intersection product $Z\cdot\_XX\_{y}$ for a general $y\in Y$ is given by the length of $\mathscr O\_{X\_{y}}$, in other words, there is no $\mathrm{Tor}$ contribution there. 


Now take a point $y\in Y$ such that $f\_Z$ is not flat in any neighbourhood of $y$ in $Y$.
It follows that the length of $\mathscr O\_{X\_y}$ (which is also the Hilbert polynomial of the fiber) has to be different from the value that we get from the smooth fibers. Therefore there has to be $\mathrm{Tor}$ contribution there. 


Perhaps this example shows why it is $\mathrm{Tor}$ that comes in: $\mathscr O\_{Z\_y}$ is not flat on $Z$, so it does not give the right length and thus has to be corrected. It is arguably intuitive that the alternating sum of the length of the $\mathrm{Tor}$'s will be constant as $y$ runs through the (closed) points of $Y$.


I don't know if you find this geometrically satisfying. I would paraphrase what Hailong said and say that anything involving $\mathrm{Tor}$ should not be geometrically obvious, on the other hand $\mathrm{Tor}$ measures the failure of exactness of the tensor product so the failure of flatness is an obvious condition to look at. Then again, all of this just reiterates the fact that flatness is a difficult notion to truly comprehend (and I don't claim I do).




---


The examples/comments given by JC and Hailong fit into this example: 


* Since $Y$ is smooth and $f|\_Z$ is finite, it is flat if and only if $Z$ is Cohen-Macaulay, which gives us Hailong's comment, and
* a concrete example is given by $X=\mathbb A^4$, $Y=\mathbb A^2$, $f$ the obvious projection, and $Z$ the union of two planes meeting in a single point both of which project onto $Y$ isomorphically, which gives us JC's example.


