Second lowest weight piece of the cohomology of an algebraic variety - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T03:36:26Z http://mathoverflow.net/feeds/question/105968 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/105968/second-lowest-weight-piece-of-the-cohomology-of-an-algebraic-variety Second lowest weight piece of the cohomology of an algebraic variety Dan Petersen 2012-08-30T16:37:16Z 2012-08-30T18:19:45Z <p>If $U$ is a smooth algebraic variety, then one can give a simple description of the lowest weight part of its cohomology: if $X$ is a smooth compactification and $j \colon U \to X$ the inclusion, then $$W_k H^k(U,\mathbf Q) = \mathrm{Im} \left( j^\ast \colon H^k(X,\mathbf Q) \to H^k(U,\mathbf Q)\right).$$ </p> <p>Is there a similar direct description of the second lowest weight part, i.e. $$\mathrm{Gr}^W_{k+1} H^k(U,\mathbf Q)?$$</p> http://mathoverflow.net/questions/105968/second-lowest-weight-piece-of-the-cohomology-of-an-algebraic-variety/105982#105982 Answer by algori for Second lowest weight piece of the cohomology of an algebraic variety algori 2012-08-30T18:19:45Z 2012-08-30T18:19:45Z <p>Here is a geometric description of $W_{k+1}H^k(U)/W_k H^k(U)$. Set $d=\dim U$. Suppose $X$ is a compactification of $U$ such that the complement $X\setminus U$ is the union of normal crossing divisors, or, more generally, union of smooth varieties $D_i$ all of whose intersections are smooth. Take submanifolds $Y_i\subset D_i$ (in the $C^\infty$ sense) of dimension $2d-k-1$ such that $\sum [Y_i]$ vanishes in $X$. Then $\bigcup Y_i$ bounds a chain $c$ in $X$. It is useful to think of $c$ as a $C^\infty$ submanifold with boundary in $X\setminus U$. If we intersect this submanifold with $U$ we get a submanifold without boundary. The Poincar\'e dual of it will be in $W_{k+1}$ and all elements of $W_{k+1}$ arise in this way.</p> <p>Notice that $c$ is not uniquely defined: there may be several chains that bound $\bigcup Y_i$. But the difference between resulting classes $\in H^k(U)$ will be the Poincar\'e dual class of a $C^\infty$ submanifold of $X$, and so will be of weight $k$, as expected.</p>