42
$\begingroup$

Let $X$ be a regular scheme (all local rings are regular). Let $Y,Z$ be two closed subschemes defined by ideals sheaves $\mathcal I,\mathcal J$. Serre gave a beautiful formula to count the intersection multiplicity of $Y,Z$ at a generic point $x$ of $Y\cap Z$ as:

$$\sum_{i\geq 0} (-1)^i\text{length}_{\mathcal O_{X,x}} \text{Tor}_i^{\mathcal O_{X,x}}(\mathcal O_{X,x}/\mathcal I_x, \mathcal O_{X,x}/\mathcal J_x)$$

It takes quite a bit of work to show that this is the right definition (even that the sum terminates is a non-trivial theorem of homological algebra): it is non-negative, vanishes if the dimensions don't add up correctly, positivity etc. In fact, some cases are still open as far as I know. See here for some reference.

I have heard one of the great things about Lurie's thesis is setting a framework for derived algebraic geometry. In fact, in the introduction he used Serre formula as a motivation (it is pretty clear from the formula that a "derived" setting seems natural). However, I could not find much about it aside from the intro, and Serre formula was an old flame of mine in grad school. So my (somewhat vague):

Question: Does any of the desired properties of Serre formula follow naturally from Lurie's work? If so (since things are rarely totally free in math), where did we actually pay the price (in terms of technical work to establish the foundations)? EDIT: Clark's answer below greatly clarifies and gives more historical context to my question, highly recommend!)

$\endgroup$
2
  • 1
    $\begingroup$ Surely you mean that to be an alternating sum! $\endgroup$ Jan 18, 2010 at 21:38
  • $\begingroup$ Sadly that's all I can contribute to this, not knowing Lurie's stuff...anyone out there who can help? $\endgroup$ Jan 18, 2010 at 22:06

4 Answers 4

44
$\begingroup$

There are a number of comments to make about Serre's intersection formula and its relation to derived algebraic geometry.

First, we should be a little more cautious about attribution. The idea of using "derived rings" to give an intrinsic version of the Serre intersection formula is not recent. The idea goes back at least to thoughts of Deligne, Kontsevich, Drinfeld, and Beilinson in the 1980s (and possibly earlier). These ideas have been made precise in a number of ways, in particular in work of Kapranov & Ciocan-Fontaine, and Toën & Vezzosi. EDIT: As Ben-Zvi reminded me below, one should also mention Behrend and Behrend-Fantechi on DG schemes and virtual fundamental classes. Of course Lurie's work has been the most comprehensive and powerful in its treatment of the foundations of DAG, but it's important to understand that his work arose in the context of these fascinating ideas.

Now, just to provide a little context, let me try to recall how Serre's formula arises from DAG considerations. Let's start by using the notation above, but let's assume for simplicity that $X$, $Y$, and $Z$ are all local schemes. (Some of the technicalities of DAG arise in making sheaf theory work with some sort of "derived rings," so our discussion will be easier if we ignore that for now.) So we write $X=\mathrm{Spec}(A)$, $Y=\mathrm{Spec}(B)$, and $Z=\mathrm{Spec}(C)$ for local rings $A$, $B$, and $C$.

Now if our aim is to intersect $Y$ and $Z$ in $X$, we know how to do that algebro-geometrically. We form the fiber product $Y\times_XZ=\mathrm{Spec}(B\otimes_AC)$. The tensor product that appears here is really the thing we're going to alter. To do that, we're going to regard $B$ and $C$ as (discrete) simplicial (commutative) $A$-algebras, and we're going to form the derived tensor product. This produces a new simplicial commutative ring $B\otimes^{\mathbf{L}}_AC$ whose homotopy groups are exactly the groups $\mathrm{Tor}^A_i(B,C)$. The intersection multiplicity is simply the length of $B\otimes^{\mathbf{L}}_AC$ as a simplicial $A$-module.

As Ben Webster says, the real joy of DAG is in thinking of the geometry of our new derived ring $B\otimes^{\mathbf{L}}_AC$ as a single unit instead of thinking only of its disembodied homotopy groups. The question you're asking seems to be: does thinking geometrically about this gadget help us to prove Serre's multiplicity conjectures in a more conceptual manner?

The short answer is: I don't know. I do not think a new proof of any of these has been announced using DAG (and it's definitely not in any of Lurie's papers), and in any case I do not think DAG has the potential to make the conjectures "easy." But let me see if I can make a case for the following idea: revisiting Serre's original method of reduction to the diagonal in the context of DAG.

Recall that, if $k$ is a field, if $A$ is a $k$-algebra, and if $M$ and $N$ are $A$-modules, then $$M\otimes_AN=A\otimes_{A\otimes_kA}(M\otimes_kN).$$ Hence to understand $\mathrm{Tor}^A_{\ast}(M,N)$, it suffices to understand $\mathrm{Tor}^{A\otimes_kA}_{\ast}(A,-)$. This allowed Serre to reduce to the case of the diagonal in $\mathrm{Spec}(A\otimes_kA)$. The key point here is that everything is flat over $k$, so Serre could only use this to prove the multiplicity conjectures for $A$ essentially of finite type over a field. Observe that the same equality holds if we work in the derived setting: if $M$ and $N$ are simplicial $A$-modules, and $A$ is an $R$-algebra, then the derived tensor product of $M$ and $N$ over $A$ can be computed as $$A\otimes^{\mathbf{L}}_{A\otimes^{\mathbf{L}}_RA}(M\otimes^{\mathbf{L}}_RN).$$ The gadget on the right (or, strictly speaking, its homotopy) has a name familiar to toplogists; it's the Hochschild homology $\mathrm{HH}^R(A,M\otimes^{\mathbf{L}}_RN)$.

The hope is that we've chosen $R$ cleverly enough that $B\otimes^{\mathbf{L}}_RC$ is "less complicated" than $B\otimes^{\mathbf{L}}_AC$. (More precisely, we want the $\mathrm{Tor}$-amplitude of $M$ and $N$ to decrease when we think of them as $R$-modules. There's a particular way of building $R$, but let me skip over this point.)

Has our situation improved? Perhaps only a little: we've turned our problem of looking at the derived intersection $Y\times^h_XZ$ into the study of the derived intersection of the diagonal inside $X\times^h_RX$ with some simpler derived subscheme $Y\times^h_RZ$ thereof. But now we can try to iterate this, working inductively.

I don't know whether this can be made to work, of course.

$\endgroup$
9
  • $\begingroup$ This looks fantastic! It raises immediately a question: so you say the multiplicity becomes the length of a simplicial module. Does that imply we don't know in general that the length is non-negative for a simplicial module? Because non-negativity of $\chi$ is super hard to prove. $\endgroup$ Jan 19, 2010 at 4:42
  • $\begingroup$ Your gadget is actually just good ol' Hochschild homology $HH^R(A,M\otimes_R^LN)$ :) $\endgroup$ Jan 19, 2010 at 4:45
  • 1
    $\begingroup$ You're right, of course. Maybe I should just go ahead and say that. I'm not sure why I wrote it that way. $\endgroup$ Jan 19, 2010 at 5:03
  • 1
    $\begingroup$ I think the distinction between Hochschild homology and Hochschild chains (or equivalently topological Hochschild homology, for different ground rings) is crucial here (and it's the latter that appears in Clark's gadget) $\endgroup$ Jan 19, 2010 at 5:27
  • 1
    $\begingroup$ (OK, it's the module whose homotopy groups are the Hochschild homology groups. After all, we don't say, "No no, MU isn't complex cobordism, it's the spectrum whose homotopy is complex cobordism.) And you're absolutely right about Behrend and Behrend-Fantechi. Thanks! $\endgroup$ Jan 19, 2010 at 5:30
12
$\begingroup$

I won't say that it's not in there, because I certainly can't claim to have read all of DAG, but I do think you're looking for the wrong thing. The whole point of DAG is that you shouldn't think about the number, but rather you should take the derived fiber product of your subschemes, and think of this as a derived scheme, which is much more information and structure than a number, but if you look at its stalk at a point, you see exactly the Tor's in the formula above. It maybe that you can repackage the statements you want as properties of this derived intersection, and it certainly possible that there are theorems in DAG about derived schemes that will imply the properties you want; my suspicion is that conservation of trouble will require to do the same things somewhere in the proof of those theorems.

$\endgroup$
2
  • 4
    $\begingroup$ Thanks, Ben. I agree that giving the intersection a general structure is a very powerful thing. But it seems to me that these properties should be a test case for why the theory works wonderfully. $\endgroup$ Jan 18, 2010 at 23:11
  • 2
    $\begingroup$ And I think it should not be hard to translate the properties. for example, vanishing is dimensions do not add up, then the Euler characteristic of the "derived intersection" should be 0? $\endgroup$ Jan 18, 2010 at 23:18
8
$\begingroup$

As Kevin points out, this is discussed in the introduction to DAG V. A beautiful lecture of Jacob's on the subject (Bezout's theorem as an introduction to DAG) is available to view at the GRASP site. This doesn't fully answer your questions (it's basically an expository version of what Clark explained).. though from what I understand some derived intersection theory does follow very nicely and easily from the DAG language, specifically the theory of virtual fundamental classes, and this is supposed to appear in one of the forthcoming DAG volumes.

$\endgroup$
1
  • 4
    $\begingroup$ Dear David, thanks! I did enjoy that great video, but it dit not quite get to what I really want, which is whether the technical details of the proofs of these properties was absorbed into the theory. Very nice collection on your website, by the way. $\endgroup$ Jan 19, 2010 at 5:50
3
$\begingroup$

See DAG V: Structured Spaces.

$\endgroup$
4
  • 1
    $\begingroup$ Would you elaborate a little bit? $\endgroup$ Jan 18, 2010 at 22:32
  • $\begingroup$ @Kevin: I did look at it (admittedly not very carefully) before the post but I could not find what I want. Perhaps it was buried somewhere in the paper? $\endgroup$ Jan 18, 2010 at 22:39
  • $\begingroup$ Er, I think downvote is harsh! Kevin gave a relevant reference. $\endgroup$ Jan 19, 2010 at 5:01
  • $\begingroup$ the introduction is the reference.. $\endgroup$ Jan 19, 2010 at 5:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.