Cohomology of Structure Sheaves: Algebraic, Constructible and more - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T00:51:11Z http://mathoverflow.net/feeds/question/53000 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53000/cohomology-of-structure-sheaves-algebraic-constructible-and-more Cohomology of Structure Sheaves: Algebraic, Constructible and more Justin Curry 2011-01-23T22:20:32Z 2011-01-24T20:16:55Z <p>I am not an algebraic geometer, but I am a topologist who uses sheaves. I have studied some algebraic geometry and am interested in what happens as I reduce the amount of rigidity in the structure sheaves on a space. Specifically I want to know what the cohomology of the following structure sheaves tell you. <strong>Please do things over characteristic zero.</strong></p> <p>If $X$ is a topological space then the natural structure sheaf of continuous functions has no interesting cohomology because of the existence of <strong>partitions of unity.</strong> Consequently, $C^k$, smooth and topological manifolds have structure sheaves with no interesting cohomology.</p> <p>To contrast, schemes ($X,\mathcal{O}_X$) with their structure sheaves of regular functions have lots of interesting information. In particular, there is non-trivial higher cohomology. However, I am still unsure what these groups tell you (aside from what all sheaf cohomology means - obstructions to extending sections). For example Hartshorne exercise 4.3 tells you that $H^1(U,\mathcal{O}_U)$ is infinite dimensional (spanned by $x^iy^j|i,j&lt;0$) where $U=\mathbb{A}^2_k-(0,0)$. For $X$ a curve then the dimension of $H^1(X,\mathcal{O}_X)$ tells you the genus. For affine pieces this cohomology is trivial, so the cohomology of the structure sheaf detects "non-triviality" of a space. <strong>Are there any other characterizations of the higher cohomology groups of the structure sheaf?</strong></p> <p>I am actually interested in the definable/o-minimal/constructible setting. So I want to consider a constructible space $X$ along with it's structure sheaf of ($\mathbb{R}$ or $\mathbb{Z}$-valued) constructible functions as a ringed space. Since one implementation of definable spaces is the semi-algebraic (or semi-analytic) setting, I would like to know that the cohomology of the structure sheaf here tells you. <strong>So if someone could address any of the following:</strong></p> <ul> <li><p>a <strong>real</strong> analytic space with the sheaf of analytic functions (no partitions of unity, so potential higher cohomology?) Question: Since regular functions in AG are defined as locally being the quotient of polynomials, would regular for analytic be locally the ratio of analytic? (EDIT: I am interested primarily in the real case since GAGA shows in some cases complex analytic spaces are "as rigid as" complex algebraic ones.)</p></li> <li><p>a semi-analytic space with the above structure sheaf(ves)</p></li> <li><p>a semi-algebraic space with its structure sheaf (Which is? Do Nash functions come into play here?)</p></li> <li><p>for a cell complex, is there a natural way of considering it as a ringed space? If so what would that cohomology tell you?</p></li> </ul> <p>I apologize for the wide spread of questions. Partial answers will be voted up.</p> http://mathoverflow.net/questions/53000/cohomology-of-structure-sheaves-algebraic-constructible-and-more/53009#53009 Answer by Sándor Kovács for Cohomology of Structure Sheaves: Algebraic, Constructible and more Sándor Kovács 2011-01-23T23:39:57Z 2011-01-24T00:00:04Z <p>You asked many questions, here are a few things related to some of them:</p> <p>(1) What does $H^i(X,\mathcal O_X)$ mean?</p> <p>In the examples you quoted it already shows that it depends a lot on $X$ what these groups mean.</p> <p>(a1) if $X$ is smooth and projective, then there is the Hodge decomposition, which I am sure is something every topologists appreciate. It tells you that the singular cohomology groups $H^m(X,\mathbb C)$ may be decomposed as the direct sum of the Dolbeault cohmology groups $H^{p,q}(X)$ for $p+q=m$. One of these is isomorphic to $H^m(X,\mathcal O_X)$, so one possible answer to your question is that these cohomology groups give you a piece of the singular cohomology. A particular interesting case is $m=1$. Then $b_1=h^{0,1}+h^{1,0}=2\cdot h^{0,1}$. So, the vanishing or non-vanishing of $H^1(X,\mathcal O_X)$ is equivalent to the same for $H^1(X,\mathbb C)$. </p> <p>(a2) still in the projective case, there is a duality, called Serre duality, between cohomology groups of $\mathcal O_X$ and those of $\omega_X$, the sheaf of top differential forms (i.e., the determinant of the cotangent bundle). So, $\dim H^i(X,\mathcal O_X)=\dim H^{n-i}(X,\omega_X)$ where $n=\dim X$.</p> <p>(b) If $X$ is the complement of a closed subset in an affine variety, then higher cohomology of any coherent sheaf is isomorphic to a shifted local cohomology (with supports in the complement). In other words, <code>$H^i(X,\mathcal O_X)\simeq H^{i+1}_Z(\bar X, \mathcal O_{\bar X})$</code> for $i>0$ where $X=\bar X\setminus Z$. Local cohomology tends to be big (if not zero), and that's the reason for that example you mention. Of course, now you can ask what local cohomology means, but I'll leave that for another answer/question.</p> <p>(2) Replacing regular with analytic functions. </p> <p>Quotients of analytic functions are analytic on their domains of definitions, so while you could define regular analytic functions as those that are locally quotients of analytic functions, you would not actually change the category. The point is that in AG, polynomials are the functions that we can originally define, but it makes sense that as long as the inverse of a function exists, then we should be able to use that inverse as a regular function. However, those are no longer polynomials, so we need this sort of extended definition.</p> http://mathoverflow.net/questions/53000/cohomology-of-structure-sheaves-algebraic-constructible-and-more/53012#53012 Answer by Donu Arapura for Cohomology of Structure Sheaves: Algebraic, Constructible and more Donu Arapura 2011-01-24T00:08:55Z 2011-01-24T00:08:55Z <p>Your question is quite broad, so I will touch on a couple of sub questions, hopefully complementing Sándor's. </p> <ul> <li>Sheaf cohomology gives accessible, often computable, invariants for spaces.</li> <li>Under mild conditions, cohomology with coefficients in constant sheaves coincides with other theories such as singular cohomology.</li> <li>Given a complex manifold, an analytic function can be defined as a $C^\infty$ function $f$ which lies in the kernel of the Cauchy-Riemann operator, given locally by $$\bar \partial = \sum \frac{\partial}{\partial {\bar z}_j} d \bar z_j$$ Alternatively, $f$ analytic means it can be expanded locally in a convergent power series (just like in one variable). The cohomology of the sheaf of analytic functions $\mathcal{O}_X$ is interesting. Here is one interpretation: the above operator extends to a complex, the $\bar \partial$-complex, which gives a fine resolution of $\mathcal{O}_X$. Thus $H^i(X,\mathcal{O}_X)$ is $\bar \partial$-cohomology.</li> </ul> <p>Hope that helps.</p> http://mathoverflow.net/questions/53000/cohomology-of-structure-sheaves-algebraic-constructible-and-more/53020#53020 Answer by Dave Anderson for Cohomology of Structure Sheaves: Algebraic, Constructible and more Dave Anderson 2011-01-24T01:51:28Z 2011-01-24T01:51:28Z <p>A couple little things to try to complement the previous answers:</p> <p>(1) Partially addressing your first question: If you are interested in complex projective varieties, Serre's GAGA theorem says the cohomology groups of the structure sheaf of analytic functions (or other coherent analytic sheaf) are the same as those of the algebraic structure sheaf. So in this case, nothing changes when you move from regular algebraic functions to analytic ones.</p> <p>(2) For real (semi)algebraic varieties, I think the natural sheaf would be that of semi-algebraic functions, though I know fairly little about it. The place to look would be the book by Bochnak, Coste, and Roy.</p> http://mathoverflow.net/questions/53000/cohomology-of-structure-sheaves-algebraic-constructible-and-more/53021#53021 Answer by David Ben-Zvi for Cohomology of Structure Sheaves: Algebraic, Constructible and more David Ben-Zvi 2011-01-24T02:44:43Z 2011-01-24T02:44:43Z <p>The higher cohomology groups of the structure sheaf (in any context) precisely capture the category of sheaves which are generated by the structure sheaf -- i.e. all sheaves which can be made by taking complexes built out of copies of the structure sheaf with arbitrary morphisms between them. Namely this (differential graded) category is equivalent to (dg) modules over the (dg) algebra made out of the cohomologies (or more precisely the self-Ext complex - ie the complex calculating the cohomology groups) of the structure sheaf.</p> <p>In other words, if you want to make global sections into a (derived) equivalence you have to on the one hand restrict to sheaves generated by the structure sheaf and on the other consider the target of global sections not just vector spaces (or complexes) but rather modules over the Ext algebra of the structure sheaf (where the sheaf cohomology of any sheaf naturally lands).</p> http://mathoverflow.net/questions/53000/cohomology-of-structure-sheaves-algebraic-constructible-and-more/53033#53033 Answer by Georges Elencwajg for Cohomology of Structure Sheaves: Algebraic, Constructible and more Georges Elencwajg 2011-01-24T09:01:46Z 2011-01-24T09:01:46Z <p>Dear Justin, let me address your first question. First of all, the local quotient of two analytic functions is called meromorphic. In dimension one you can see meromorphic functions as regular functions with codomain $\mathbb P^1$. However in dimension $\geq 2$ this won't work : for example at the origin of $\mathbb C^2$ the function $z_1/z_2$ approaches any complex number according to the path you take (you have to blow-up $\mathbb C^2$ if you want a well-defined holomorphic map to $\mathbb P^1$). </p> <p>There is a related interesting question, the Poincaré problem, for a complex manifold $X$: is a meromorphic map globally the quotient of two holomorphic ones, i.e. do we have $\mathcal M(X)=Frac (\mathcal O(X))$ ? Here are answers in two extreme cases.</p> <p><strong>Compact manifolds</strong> Since holomorphic functions are constant, the answer to Poincaré's problem is "no", unless the manifold has only constants as meromorphic functions (this happens for some tori for example)</p> <p><strong>Stein manifolds</strong> The answer to Poincaré's problem is "yes" if the Stein manifold $X$ satisfies the purely topological condition $H^2(X,\mathbb Z)=0$. In this case we have indeed $\mathcal M(X)=Frac (\mathcal O(X))$ . Interestingly the proof uses that $H^1(X, \mathcal O)=H^2(X, \mathcal O)=0$ for the Stein manifold $X$. </p> <p>The result $\mathcal M(X)=Frac (\mathcal O(X))$ is due to Weierstrass in the particular case $X=\mathbb C$ and to Poincaré for $X=\mathbb C^2$. You can read the proof of the general result in Grauert-Remmert's <em>Theory of Stein Spaces</em>.</p>