Skip to main content
11 events
when toggle format what by license comment
Aug 21, 2010 at 22:11 vote accept babubba
Aug 19, 2010 at 1:01 answer added Dave Anderson timeline score: 8
Aug 18, 2010 at 23:02 answer added algori timeline score: 6
Aug 12, 2010 at 4:36 answer added JME timeline score: 17
Aug 12, 2010 at 4:21 comment added Torsten Ekedahl @angoleirovero: There is a little bit more than (classical) GAGA. First there is Grothendieck's result that for any (proper or not) smooth variety the algebraic de Rham cohomology is equal to the analytic one. Second for singular ones one embeds the variety (when it is possible) into a smooth and takes the de Rham cohomology of the formal completion of the variety in the ambient one.
Aug 11, 2010 at 23:25 comment added babubba @Torsten Ekedahl and Kevin Lin: Is using the algebraic de Rham complex to obtain the Euler characteristic just an application of GAGA or is there something I'm missing?
Aug 11, 2010 at 23:21 history edited babubba CC BY-SA 2.5
corrected typo
Aug 11, 2010 at 7:58 comment added Simon Pepin Lehalleur Yet another approach to the finiteness of the Betti numbers (which proves much more). Complex algebraic varieties can be compactified in the following way : let $X$ be such a variety, then there exists $\bar{X}$ smooth projective in which $X$ is a dense Zariski open and $D=\bar{X}-X$ is a strict normal crossing divisor in $\bar{X}$. You can then relate the cohomology groups of $X$ to those of $\bar{X}$ and $D$ (which are finite dimensional) in De Rham theory by using logarithmic differential forms : see e.g. the treatment of this in Claire Voisin's book on Hodge theory.
Aug 10, 2010 at 19:07 comment added Torsten Ekedahl 1) You can use étale cohomology to get a purely algebraic definition. (You can also use algebraic de Rham cohomology as Kevin suggests which has an extension to the singular non-proper case). 2) On way of seeing that the Euler characteristic is well-defined is to use the fact that $X$ is homotopy equivalent to a finite complex. (You can also use the finiteness theorem for cohomology of constructible sheaves.)
Aug 10, 2010 at 18:46 comment added Kevin H. Lin If X is e.g. smooth projective you can use Hodge decomposition.
Aug 10, 2010 at 18:26 history asked babubba CC BY-SA 2.5