Constructible sheaves and dg-modules - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T02:30:17Z http://mathoverflow.net/feeds/question/74943 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74943/constructible-sheaves-and-dg-modules Constructible sheaves and dg-modules algori 2011-09-08T22:23:28Z 2013-02-22T13:49:18Z <p>Let $M$ be a smooth manifold, $A_M$ the de Rham algebra of $M$, $D_{A_M}$ the derived category of the category of differential graded (dg) $A_M$-modules and <code>$D^+_c(M)$</code> the bounded below constructible derived category of sheaves of real vector spaces on $M$. The category <code>$D^+_c(M)$</code> knows a lot about the topology of $M$; for example, it allows one to compute the real cohomology of $M$ together with all Massey products. However, unsurprisingly, this category is also quite complicated. Informally, the question I'd like to ask is: can one describe at least some pieces of <code>$D^+_c(M)$</code> in terms of dg-modules (which is something much more manageable)?</p> <p>In "Equivariant sheaves and functors", 12.3, J Bernstein and V. Lunts construct two mutually inverse equivalences $\gamma_M:\langle \mathbb{R}_M\rangle\to \langle A_M\rangle$ and $\mathcal{L}_M: \langle A_M\rangle\to \langle \mathbb{R}_M\rangle$. Here $\langle\cdot\rangle$ stands for the full triangulated subcategory generated by $\cdot$, $\mathbb{R}_M$ is the constant sheaf on $M$ and $\langle \mathbb{R}_M\rangle$ and $\langle A_M\rangle$ are subcategories of <code>$D^+_c(M)$</code> and $D_{A_M}$ respectively.</p> <p>The functors are defined as follows: $\gamma_M$ takes a sheaf, multiplies it by the de Rham complex and then takes the global sections; $\mathcal{L}_M$ takes a module, replaces it with a $\mathcal{K}$-projective resolution and multiplies the result by the de Rham complex. (A complex of dg $A_M$-modules is $\mathcal{K}$-projective, if $Hom$ from it to an acyclic complex is acyclic.)</p> <p>Notice that $\gamma_M$ is in fact defined on the whole of <code>$D^+(M)$</code>. I would like to ask: is there a subcategory $D$ of <code>$D^+_c(M)$</code> larger than the one generated by the constant sheaf such that $\gamma_M$ restricted to $D$ is fully faithful? In particular, if $i:N\subset M$ is a submanifold and $M,N,M\setminus N$ are all simply connected, what happens if we take <code>$D=\langle\mathbb{R}_M, i_*\mathbb{R}_N\rangle$</code>?</p> <hr> <p>Here is a related result. Suppose we fix a stratification of $M$ with all strata and their closures simply-connected. Consider the subcategory <code>$D\subset D^+_c(M)$</code> formed by complexes which are constructible with respect to the chosen stratification and let <code>$I^*$</code> be an injective resolution of the direct sum of the constant sheaves on the strata. Then, due to a result by B. Keller (Deriving dg-algebras, Ann ENS, 1994, no 1, 63-102) by taking <code>$C^*\to Hom(C^*,I^*)$</code> we get a fully faithful functor from $D$ to <code>$D_{End(I^*)}$</code> where $End(I^*)$ is the (global) endomorphism algebra of <code>$I^*$</code>. However, this is not exactly what I'm looking for since the endomorphism algebra is still quite difficult to describe explicitly in the example I'm interested in.</p> http://mathoverflow.net/questions/74943/constructible-sheaves-and-dg-modules/75115#75115 Answer by Anatoly Preygel for Constructible sheaves and dg-modules Anatoly Preygel 2011-09-10T20:22:31Z 2011-09-12T07:42:42Z <p>This is not a <em>helpful</em> answer to your main question, but merely a negative answer to your "In particular..what happens.." question. But, the general idea may be helpful in figuring out what more precise things (weaker than Keller's result) would be reasonable to ask for.</p> <p>$\newcommand{\RR}{\mathbb{R}}\newcommand{\RHom}{\mathrm{RHom}}\newcommand{\pt}{\mathrm{pt}}\DeclareMathOperator{\deg}{deg}\newcommand{\RGamma}{R\Gamma}\renewcommand{\mod}{\text{-mod}}\newcommand{\C}[1]{C^\bullet(#1)}$</p> <p>Since I'll lapse into this notation anyway, let me make it explicit: Identity $\gamma_M$ with the functor $$\RGamma(M, -)\colon D \to \C{M}\mod$$ where by $\mod$ I'm implicitly working in a dg-setting.</p> <p>At some point below, I'll assume that $N$ is <em>compact oriented</em> of dimensions $n$. (This is not strictly necessary, but allows me to avoid extra notation.)</p> <p><strong>Claim:</strong> Suppose that $M$ is simply connected, $\dim M \geq 2$, and that $i \colon N \hookrightarrow M$ is not the identity. Then, the functor $\gamma_M \colon D= \langle \RR_M, i_* \RR_N \rangle \to D_{A_M}$ is not fully faithful.</p> <h2><em>Fuzzy Remark:</em></h2> <p>Before sketching an argument, here's a "philsophical" remark about why things will go wrong:</p> <p>The category $D_c(M)$ feels the <strong>topology</strong> (or maybe even geometry) of $M$. In particular, it has a Proper Base-change Theorem saying something like $q^* p_! = (p')_! (q')^*$ where the maps take part in a fiber-square of (actual) <em>topological spaces</em>. The category $D_{A_M} = \C{M}\mod$ feels only the <strong>homotopy theory</strong> of $M$. You should expect a Base-Change Theorem in this context, but now with a fiber-square of homotopy types -- more correctly, a homotopy fiber-square. </p> <p>A simpler sort of 'no go' result that this heuristic implies: Suppose you had wanted to include two sub-manifolds $i_k\colon N_k \hookrightarrow M$, $k=1,2$. The $\C{M}\mod$ images would be unable to tell them apart if the $i_k$ were homotopic -- e.g., the inclusion of any two points. While the constructible theory would certain care whether the two points were the same or not.</p> <h2><em>Sketch of Claim</em>:</h2> <p>To see this, note that $$\RHom_{D_c(M)}(i_* \RR_N, i_* \RR_N) = \RHom_{D_c(N)}(i^* i_* \RR_N, \RR_N) = \RHom_{D_c(N)}(\RR_N, \RR_N) = \C{N}$$ while</p> <p><strong>Sub-Claim</strong>: Letting $\stackrel{h}\times_M$ denote the homotopy fiber product, $$\RHom_{A_M}(\gamma_M(i_* \RR_N), \gamma_M(i_* \RR_N)) =\RHom_{\C{M}}\left(\C{N}, \C{N}\right) \approx C_{\bullet}\left(N \stackrel{h}\times_M N\right)[-n]$$</p> <p>Assuming the sub-claim: to conclude it suffices to produce homology classes on $\Omega M$ in arbitrarily positive degrees, whose images under the composite $$H(\Omega M) \to H_*(N \stackrel{h}\times_M N) \to H_*(\Omega (M/N))$$ are non-zero. I think the following should do this upon filling in the details: Equip $M$ with a base-point in $N$, take some non-zero element of $\pi_i M$, with $i \geq 2$, that remains non-zero in $\pi_i (M/N)$. Use it to produce an $(i-1)$-homology class on $\Omega M$, and then take its Pontrjagin products.</p> <p><em>Sketch of sub-claim:</em> Underlying the Eilenberg-Moore spectral sequence is the statement that, letting $\boxtimes$ denote derived co-tensor of co-modules over a co-algebra, $$C_\bullet(N) \boxtimes_{C_\bullet(M)} C_\bullet(N) \approx C_\bullet(N \stackrel{h}\times_M N)$$ Poincare duality gives an equivalence $\C{N} \approx C_\bullet(N)[-n]$ of $\C{M}$-modules (or $C_\bullet(M)$-comodules). It remains to identify $$\RHom_{\C{M}}(\C{N}, \C{N}) \approx C_\bullet(N) \boxtimes_{C_\bullet(M)} \C{N}$$ by term-wise identifying the co-simplicial cobar constructions on both sides.</p> <p><strong>Example:</strong> Note that if $N = \pt$ the sub-claim is a familiar statement in Koszul duality: That for $M$ simply-connected $\RHom_{\C{M}}(\RR,\RR) \approx C_\bullet(\Omega M)$. In certain cases, e.g. $M = S^{2k+1}$, you can just see it. As an aside: $C_\bullet(\Omega M)\mod$ knows about all locally-constant things, not just local systems finitely-buildable from the trivial one. (But will run into the same issues if you try to include submanifolds without explicitly adding in extra generators for the strata.)</p> <p><strong>Remark:</strong> Though $\gamma_M$ is not fully-faithful here, it <em>does</em> get the maps into/out of $\RR_M$ right. Logic as above shows that $$\RHom_D(\RR_M, i_* \RR_N) = \C{N} = \RHom_{\C{M}}(\C{M}, \C{N})$$ and then Verdier Duality (for $D_c(M)$) + something like Grothendieck Duality (for $\C{M}$) give the other direction as well.</p>