Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
62 views

Base change for finding fibers of the pushforward of a line bundle along a proper non-flat morphism

Let $f: X \to Y$ be a proper morphism whose fibers have different dimensions, in particular $f$ is not flat. Let $L$ be a line bundle on $X$. What conditions would be sufficient to be able to conclude ...
Yellow Pig's user avatar
  • 2,974
2 votes
1 answer
162 views

Pullback morphism of a hyperplane inclusion is zero in the derived category

Let $L \subset \mathbb{C}^n$ be a hyperplane and let $i:L \to \mathbb{C}^n$ be the inclusion. Since $i$ is proper, we have induced maps $i^*: H^k_c(\mathbb{C}^n) \to H^k_c(L)$, and these maps are zero ...
Eduardo de Lorenzo's user avatar
1 vote
0 answers
104 views

$L^r_M = i_* \circ \hat{L}^{r-1}_M \circ i^*$ by the projection formula and the Poincare duality

This is a question arising when I am reading M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772. ...
XT Chen's user avatar
  • 1,168
6 votes
1 answer
1k views

Poincare duality on the level of complexes

The classical Poincare duality is formulated in terms of cohomology groups. I am wondering if we can also formulate it in terms of complexes. In particular, suppose $\mathcal{C}^*$ is a complex of $...
yue he's user avatar
  • 69
4 votes
2 answers
1k views

Different definition of sheaf cohomology

It could be related to my previous question here. Let $\mathcal F$ be a sheaf on a topological space $X$. Hartshorne in his book on Algebraic geometry defines the sheaf cohomology by $$ H^i(X, \...
Hang's user avatar
  • 2,789
9 votes
4 answers
3k views

Is there a (satisfying) proof that cellular cohomology is isomorphic to simplicial cohomology that doesn't use relative cohomlogy?

That singular and de Rham cohomologies of a smooth manifold are isomorphic has two proofs that I know of. The classical one uses Stokes' theorem to give the isomorphism explicitly. The second proof ...
Makhalan Duff's user avatar