Questions tagged [derham-cohomology]

The cohomology of the complex of differential forms on a smooth manifold with differential given by exterior derivative.

53 questions
Filter by
Sorted by
Tagged with
99 views

Easier ways to compute homology/cohomology by adding extra structure

Suppose $X$ is a topological space and I want to talk about its “homology”. There is this notion of singular homology obtained from singular chain complex. This is not very easy to compute. Suppose ...
70 views

183 views

De Rham cohomology of Lie groupoid

Let $G$ be a Lie group acting on a manifold $M$. Consider the transformation groupoid $\mathcal{G}=(G\times M\rightrightarrows M)$. We have the notion of de Rham cohomology of a Lie groupoid by ...
319 views

1k views

naive de Rham cohomology fails for singular varieties

Let $X$ be a variety over a field $k$ of characteristic zero. If $X$ is smooth, algebraic de Rham cohomology defined as $$H^n_{dR}(X / k)=\mathbb{H}^n(X, \Omega^\bullet_{X/k})\qquad (\star)$$ is a ...
143 views

Cohomology classes functorial under etale morphisms

Consider the full subcategory $\mathcal C$ in the big etale site of a field $k$ consisting of smooth schemes, namely the category of smooth varieties over a field $k$ with etale maps as morphisms. I ...
175 views

Generalization of de Rham cohomology, or cohomology for non-smooth case

Let $\Omega\subseteq \mathbb{R}^{3}$ be a contractible region and $f:\Omega\to \mathbb{R}^{3}$ be a vector field on $f$. If $f$ is smooth vector field and $\nabla\cdot f=0$, then $f=\nabla\times g$ ...
448 views

Proof of Lefschetz-Hopf Fixpoint Theorem with de Rham cohomology?

Looking for a proof of the Lefschetz-Hopf Fixpoint Theorem with the de Rham Cohomology. (I´m more interestet in the Formula then just the simple statement that if the Lefschetz number is not zero ...
267 views

Compact Vertical Cohomology and Euler Class of CP1

First of all, please excuse my English. I'm not native Englsih speaker, so you will see so many grammer mistakes, I just only hope that my mistkae wouldn't effect what I want to mean. Hi, recently I'...
141 views

Reference: Relative cohomology of a morphism

Let $f\colon Y \to X$ be a morphism of schemes, the inverse image in $K$-theory always fit into a long exact sequence $$\cdots \to K_i(f)\to K_i(X) \xrightarrow {f^*} K_i(Y)\to \cdots$$ where the ...
792 views

Integration currents VS Poincaré Dual

Let $M$ be a complex manifold of dimension $n$ and $S \subset M$ a closed complex submanifold of complex codimension $r$. Let $[S] \in H_{2r}(S)$ be the fundamental class of $S$. We have the ...
210 views

Some clarifications regarding Deligne's paper on $\ell$-adic representations arising from modular forms

I've posted this question few days ago on math.stackexchange because it seems quite superficial. However, since I've got no responses at all, I'm posting it here. If the question is not suitable, ...
407 views

Gauss Manin connection in algebraic geometry and DG setting

E.Geltzler defined Gauss Manin connection on periodic cyclic homology of smooth proper DG algebra.I just began to learn his definition.But it seems that his construction is very different to the Gauss ...
720 views

Steenrod operations in algebraic geometry

What are some applications of Steenrod operations (or similar constructions) in algebraic geometry? I am dimly aware of the the use of these Voevodsky's work on motivic cohomology, and would be ...
347 views

Most general “finiteness of de Rham cohomology” statement for holonomic $D$-modules in the algebraic case?

Let $X$ be a nonsingular algebraic variety over a field $k$ of characteristic zero. (We may assume $k$ algebraically closed if need be, but I want to avoid specifically demanding $k = \mathbb{C}$.) ...
683 views

De Rham isomorphism for noncompact manifolds?

Maybe someone has a quick answer. Thanks. For noncompact manifolds, is the De Rham cohomology isomorphic to the singular cohomology? Is the De Rham cohomology defined with the cochain of compactly ...
517 views

Hard Lefschetz in De Rham cohomology

I'm looking for a reference for Hard Lefschetz theorem in algebraic De Rham cohomology. By this I mean the statement that If $i: Y \hookrightarrow X$ is a smooth hyperplane section of a smooth ...
834 views

algebraic de rham cohomology of a curve

Let $X$ be a smooth projective curve over a field $k$ of characteristic zero. The algebraic de Rham cohomology of $X$ is, by definition, the hypercohomology of the complex of Kähler differentials for ...
173 views

557 views

deRham cohomology of a manifold with covering space $S^{n}$

(A qual problem) Let $\pi:S^{n}\rightarrow M$ be a covering map, $M$ being an orientable manifold. Show that $H_{deR}^{k}(M)=0$ for $1\leq k < n$. We can show $H_{deR}^{1}(M)=0$ by the following ...
2k views

de rham model for relative cohomology

In GTM82, I read a model for the relative cohomology of (M,N) with N a submanifold of M. And in the page: Relative De Rham cohomologies, I got to know that there is another model for relative ...
310 views

Is there a Hodge isomorphism theorem for part-tangential, part-normal, harmonic differential forms?

Let $M$ be an oriented compact Riemannian $n$-manifold with boundary $\partial M$. A differential $p$-form $\omega$ on $M$ is normal if $i^* \omega = 0$ holds, tangential if $i^* \star \omega = 0$ ...
Let $\omega = \mathrm d \eta$ be an exact rational $n$-form on $\Bbb P^n$. It may happen that the polar locus of $\eta$ is not included in the polar locus of $\omega$. But is it true that $\omega = \... 2answers 4k views Relative De Rham cohomologies as far as I know, there are two main ways to have a relative version of De Rham Cohomology for a pair (M,N), where M and N are smooth manifolds and N is a closed (as a topological subspace) ... 1answer 763 views Monsky's proof of the finiteness of de Rham cohomology I'd really like to understand the proof that Paul Monsky wrote about the finiteness of the de Rham cohomology of algebraic varieties. I'd like it very much because it seems to explain in concrete ... 0answers 334 views Vanishing of cohomology groups Given a smooth hypersurface$X \subset \mathbb{P}^{2p+1}_{\mathbb{C}}$of degree$d \ge 5$(with$p\ge 2$), when can we say that$H^{p+1}(\mathcal{O}_X)=H^{p+1}(\Omega^1_X)=...=H^{p+1}(\Omega^{p-2}...
For an $2n$-dimensional complex manifold $M$, and a smooth vector bundle $E$ over $M$, it is well-known (see Voisin, Huybrechts) that there exists an operator $\overline{\partial}$, built locally from ...