12
$\begingroup$

I am looking for a reference which develops the theory of the cotangent complex for complex analytic spaces. I need this to justify some computations I did assuming some formal properties which hold in the algebraic category. Here is a list of properties I want (some might be deducible from others, I haven't checked this carefully):

(1) To each analytic space $X$, assign a well-defined object $\mathbb{L}^\bullet_X$ in the derived category of complexes of $\mathcal O_X$-modules with coherent cohomology sheaves, supported in degrees $\le 0$.

(2) For smooth $X$, we must have a (quasi-)isomorphism $\mathbb L^\bullet_X = \Omega^1_X[0]$, where the right hand side is the holomorphic cotangent sheaf in degree $0$. For each morphism $f:X\to Y$, we have a morphism in the derived category $f^\dagger:Lf^*\mathbb L^\bullet_Y\to\mathbb L^\bullet_X$ (which is the obvious one if $X,Y$ are smooth, i.e., the adjoint of $df$ between the cotangent spaces) and whose cone defines the relative cotangent complex $\mathbb L^\bullet_{X/Y}$ (or $\mathbb L^\bullet_f$), which is an object living on $X$. The assignment $f\mapsto f^\dagger$ respects composition of maps.

(3) For a closed immersion $X\subset Y$ with $Y$ smooth and $\mathscr I$ the ideal sheaf of $X$ in $Y$, we have $h^0(\mathbb L^\bullet_{X/Y})=0$ and $h^{-1}(\mathbb L_{X/Y}^\bullet) = \mathscr I/\mathscr I^2$. Further, the truncation $\tau_{\ge-1}\mathbb L^\bullet_X$ can be identified with $d:\mathscr I/\mathscr I^2\to\Omega^1_Y|_X$ (living in degrees $-1$ and $0$) in a way that is compatible with the exact triangle $Lf^*\mathbb L^\bullet_Y\to\mathbb L^\bullet_X\to\mathbb L^\bullet_{X/Y}\to Lf^*\mathbb L^\bullet_Y[1]$ coming from part (2).

(4) More generally, for any sequence of maps $X\to Y\to Z$, there's an exact sequence $Lf^*\mathbb L^\bullet_{Y/Z}\to\mathbb L^\bullet_{X/Z}\to\mathbb L^\bullet_{X/Y}\to Lf^*\mathbb L^\bullet_{Y/Z}[1]$ where $f:X\to Y$ is the first map in the above.

(5) Crucially, for a morphism $X\to Y$ of algebraic schemes, $\mathbb L^\bullet_{X/Y}$ should be functorially (quasi-)isomorphic to the analytification of the cotangent complex defined in the Stacks Project (tag 08T1).

I'm actually happy if I just have a reference which treats the corresponding statements for just $\tau_{\ge-1}\mathbb L^\bullet_X$ (called the "Naive cotangent complex" in the Stacks Project). Also, if you can't find any reference which treats this, I'd also find useful a sketch of how to go about proving this in the analytic category.

Apologies in advance if this is too basic a question, I'm rather new to these concepts.

$\endgroup$
5
$\begingroup$

I will attack the problem three ways, in increasing level of elaboration.

1. Here is a recent paper that proves all this. Compared to older sources, this paper uses more machinery. It uses stabilization / Goodwillie calculus, which is more directly about deformations and has to be proved to be about tangents, rather than vice versa. It uses derived algebraic geometry, which is hardly more work because, say, Illusie, was secretly building DAG. But it puts that in the foreground, especially the language of ∞-categories. Whereas, you might prefer black box statements about ordinary categories that bury the ∞-categories in proofs.

2. Lots of sources (eg, the Stacks project and Illusie) define the cotangent complex for ringed spaces (and ringed topoi). So that gives you a definition. They probably prove (4) in that generality. Illusie II 6.6.2.3 explicitly mentions the analytic case, but maybe he just says that it’s easy and doesn’t prove anything. Someone must have elaborated on this, but I don’t know where.

2a. As I understand it, Illusie takes the cotangent complex for rings and (homotopy) sheafifies it. This is difficult, but once he has created a coherent global object, we can study it locally and reduce to statements about rings. I believe that I have a slick proof of the comparison (5). Consider the map from the analytic space to the algebraic space. This has a relative cotangent complex. Since the map of rings is formally étale this cotangent complex is locally zero (ie, acyclic) to the sheaf is globally zero. Now apply (4) and the acyclic cone implies that the comparison map (5) is a quasi-isomorphism. Moreover, (5) implies (2)+(3) because every analytic morphism is locally isomorphic to an algebraic morphism.

2b. To build the analytic theory on its own and calculate the cotangent complex (2) and (3) without recourse to comparison (5), we would like to reduce to the case of rings. Rings of analytic rings are very similar to algebraic rings and (2) and (3) follow mutatis mutandis. We start with rings and sheafify, but we have to worry that sheafification is destructive. What we really want for a nice theory is that the presheaf that we are sheafifying was already a (homotopy) sheaf (ie, satisfied Mayer-Vietoris); we want sheafification to extend it to a global object, but not to change it on nice open sets (ie, Stein or affine ones). This is not true in general, as in the example of big topoi. But I believe that it is true for the Zariski and analytic topologies because the restriction map of the structure sheaf is formally smooth, so the restriction of the cotangent complex is just given by tensoring. Thus we can reduce to the cotangent complex of rings. (Actually, maybe you don’t need the general statement, but could do (2) and (3) by hand because (2) is a sheaf in a single degree, which is a homotopy sheaf and (3) is more subtle, but you only care about a single cohomology sheaf, which is a sheaf; you just need to check that the lower cohomology doesn’t mess it up.)

Luc Illusie. Complexe cotangent et déformations. I, 1971, LNM. 239; II, 1972, LNM 283.

$\endgroup$
  • $\begingroup$ Thanks for the detailed answer. I think #1 is much too abstract for me. Just to clarify: in #2b, do you mean we should define $\mathbb L^\bullet$ as in the Stacks project (for a map of ringed spaces) and then try to prove (2) and (3) for those directly? I like the idea of #2a, but I don't see how we can go from proving (2) and (3) locally - by comparison with the algebraic case - to proving (2) and (3) globally (especially the statement about the connecting homomorphism of the distinguished triangle). $\endgroup$ – Mohan Swaminathan Jun 13 at 13:19
  • 1
    $\begingroup$ Yes, 2b still takes the def as given in Stacks or Illusie and proves (2) and (3) work for that definition. Both 2a and 2b require gluing to prove (2) and (3)... If you just want to identify one sheaf with another, you need to local identifications that glue. But local analysis gives specific isos. That should cover the smooth case $H^0L_Y$ and $H^{-1}(L_{X/Y})$ for the hypersurface. But $\tau^{\geqslant -1} L_X$ is not just a sheaf, but an object in the derived category, so it is harder to glue. But $H^{-1}(L_{X/Y})\to H^0L_Y$ is just a morphm of sheaves, so it glues and that should be enough. $\endgroup$ – Ben Wieland Jun 13 at 22:33
  • $\begingroup$ Ok, then I'll then try to follow strategy 2b. I'll wait for a bit more to accept your answer (in case someone else posts another one). $\endgroup$ – Mohan Swaminathan Jun 14 at 13:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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