# Questions tagged [derham-cohomology]

Better spelling "DeRham", not derham... I can't figure out how to change this... moderators? The cohomology of the complex of differential forms on a smooth manifold with differential given by exterior derivative.

117
questions

3
votes

0
answers

66
views

### de Rham cohomology relative to a closed subset

I am interested whether there exists a versions of de Rham relative cohomology $H^\bullet(M, N)$ in which $N$ does not need to be a manifold. I know there are two main definitions in literature as ...

3
votes

1
answer

178
views

### Cohomology of the complex of differential forms with Schwartz coefficients

Let $U$ be an open manifold (say an open subset of $\mathbb{R}^n$ for simplicity). Denote by $\mathscr{S}(U)$ the space of Schwartz functions on $U$. Schwartz functions are defined as usual to be ...

4
votes

1
answer

461
views

### de Rham's Theorem using atlases and colimit preservation

$\DeclareMathOperator\DR{DR}\newcommand\SmoothManifold{\mathrm{SmoothManifold}}\newcommand\ChainComplexes{\mathrm{ChainComplexes}}\DeclareMathOperator\Sing{Sing}\newcommand\DifferentialGradedRAlgebras{...

12
votes

0
answers

293
views

### Is there a differential form which corresponds to an eigenvalue of the homomorphism in cohomology?

Let $M$ be a closed manifold and $f:M\to M$ be a diffeomorphism. Suppose the homomorphism $f^*:H^k(M;\mathbb R)\to H^k(M;\mathbb R)$ has an eigenvalue $\lambda\in\mathbb{R}$. Note that $\lambda$ is ...

8
votes

0
answers

314
views

### Triple comparison of cohomology in algebraic geometry

Let $X$ be a smooth proper variety over $\mathbb{Q}$ and $p$ a prime number. For an integer $k$, we have:
a finitely-generated abelian group $H^k(X^{\mathrm{an}}(\mathbb{C});\mathbb{Z})$
a finitely-...

1
vote

0
answers

76
views

### Projection to trivial reduced cohomology class in $L^2(\mathbb{R})$

Given that I have had no success on the mathematics stackexchange (see here), I've decided to try my luck here.
I am attempting to solve the following exercise (original formulation here), which to my ...

3
votes

0
answers

203
views

### Stokes' lemma / Yoneda's theorem

Definition: Write SmoothOrientedManifold for the category of smooth oriented real manifolds.
Definition: Write ChainComplex for the category of chain complexes, and write $\otimes$ for the tensor ...

1
vote

0
answers

147
views

### How does the cohomology theory on de Rham (pre)stack compute de Rham cohomology?

Recently when I'm reading PTVV, Shifted Symplectic Structures, in Sec. 2.1 Mapping stacks, the authors use the identification $H^*(X,E)\simeq H^{*}_{dR}(Y/k,\mathcal{E})$ to show $X=Y_{dR}$ admits an ...

2
votes

1
answer

206
views

### Prefactor $2\pi i$ for Tate-Hodge structure

A rather basic question. What was the original reason to consider the underlying $\mathbb{Z}$-module of the - as canonical object regarded - Tate-Hodge structure $\mathbb{Z}(1)$ to be given as $2 \pi ...

0
votes

0
answers

79
views

### Hodge filtration vs Hodge structure on algebraic de Rham cohomology

I have a basic question on the relation between the definitions of the Hodge structure on the algebraic de Rham of a smooth proper scheme defined over a subfield of $\mathbb{C}$ and the Hodge ...

5
votes

0
answers

133
views

### Nice proof that de Rham complex computes Lie algebra cohomology?

If $G$ is a nice enough group acting on a nice enough space $X$, then the relative de Rham complex
$$\Omega^\bullet_{X/(X/G)}\ \simeq\ \mathcal{O}_X\otimes\text{Sym}\,\mathfrak{g}^*[-1]$$
is given by (...

0
votes

0
answers

78
views

### Existence of covering space with trivial pullback map on $H^1$

I have seen somewhere the following claim (but can't remember where): let $M$ be a connected orientable closed smooth manifold with $b_1(M)=1$, then there exists a connected covering space $p:\tilde{M}...

1
vote

0
answers

159
views

### Calculation of de Rham cohomology of abelian varieties/ jacobian varieties

It's known that for a elliptic curve like $E:y^2=x(x-1)(x-t)$ we have a basis $\frac{dx}{y}, \frac{xdx}{y}$ for $H_{dR}^1(E)$. But find such a basis is not an easy thing. I wonder for a general ...

3
votes

1
answer

282
views

### Calculation of Frobenius on de Rham cohomology of elliptic curves with good reduction

I'm reading "An introduction to the theory of $p$-adic representations" by Laurent Berger. In the page 14 it says:
Suppose $F$ is an unramified finite extension of $\mathbb Q_p$ and $E$ is ...

5
votes

0
answers

236
views

### Algebraic de Rham cohomology with torus coefficients

Let $X$ be a smooth projective variety over $\mathbb{C}.$
On page 3 in this preprint of Simpson, it is stated that
Notice first of all that the algebraic de Rham theory is not going to work well in ...

5
votes

1
answer

224
views

### Gysin isomorphism in de Rham cohomology using currents

I'd like to find a reference for the following fact.
First, some background: we can define de Rham cohomology of a smooth manifold $X$ of dimension $d$ using the de Rham complex
$$
\Omega^0_X\to \...

7
votes

1
answer

414
views

### Is anything known about de Rham $K(\pi,1)$'s?

Let $X$ be a connected qcqs scheme. We say that $X$ is a (étale) $K(\pi,1)$ if for every locally constant constructible abelian sheaf $\mathscr{F}$ on $X$ and every geometric point $\overline{x}$ the ...

4
votes

1
answer

498
views

### Clarification on smooth de Rham theorem

I am misunderstanding something in Theorem 2.1.9 in Dimca’s Sheaves in Topology:
Let $X$ be a real smooth manifold. Then the natural morphism from the constant sheaf to the de Rham complex
$$\mathbb{R}...

5
votes

2
answers

354
views

### Exterior differentiation of foliations

Let $M$ be a differentiable manifold.
Let $T^*M$ be the cotangent bundle of $M$.
Consider the exterior differentiation $d: A^p(M)\longrightarrow A^{p+1}(M)$, where $A^p(M)=\Gamma(\...

2
votes

0
answers

226
views

### Monodromy group action on de Rham cohomology

Let $f : Y \longrightarrow X := \mathbb{P}^1\setminus\{0,1,\infty\}$ be the smooth proper morphism associated to the Legendre family, which is an elliptic fibration of the punctured line, with fibre ...

4
votes

0
answers

145
views

### Spencer complex and de Rham Complex

in those lectures notes written by Claude Sabbbah: https://perso.pages.math.cnrs.fr/users/claude.sabbah/livres/sabbah_nankai110705.pdf
there is the proposition 1.4.4 where he says that there is a ...

4
votes

1
answer

208
views

### Compute de Rham-Witt sheaves

I am really new to this, but I am having a hard time understanding all the de Rham-Witt construction.
It seems to be really difficult to compute anything with those beasts: like I cannot find any ...

18
votes

0
answers

2k
views

### Cycles in algebraic de Rham cohomology

Let $F$ be a number field, $S$ a finite set of places, and $X$ a smooth projective $\mathscr{O}_{F,S}$-scheme with geometrically connected fibers. For each point $t\in \text{Spec}(\mathscr{O}_{F,S})$, ...

2
votes

0
answers

237
views

### Künneth formula for algebraic de Rham cohomology

Let $X$ and $Y$ be finite type schemes over a field $k$, and let $H^i(X/k)$ denote the $i$-th algebraic de Rham cohomology group of $X$ over $k$. I'm interested in the extent to which a Künneth ...

3
votes

0
answers

128
views

### Isomorphism between Weyl and Cartan models as Hom-Tensor Adjunction

Let $M$ be a manifold, $\Omega$ be the de Rham complex of $M$. Let $G$ is a compact Lie group acting on $M$, $\mathfrak g$ its Lie algebra and $W(\mathfrak g) = \Lambda(\mathfrak g^*) \otimes S(\...

7
votes

2
answers

419
views

### Can one make sense of de Rham cohomology for the complement of a (dense) irrational flow on the torus?

Recent work has led me to consider whether one could define consider the complement of a dense irrational flow on the torus $P_\alpha \subset T^2$ as some kind of generalized smooth space, and ...

2
votes

0
answers

180
views

### Modular forms and Petersson inner product via De Rham cohomology, Hodge filtration and cup products

I'm looking for an explanation on how and why you can define modular forms through De Rham cohomology via the Hodge filtration and especially how the Petersson inner product is related to the cup ...

16
votes

4
answers

1k
views

### Can one glue De Rham cohomology classes on a differential manifolds?

Let $M$ be a differential manifold and $\mathcal H^k$ the presheaf of real vector spaces associating to the open subset $U\subset M$ the $k$-th de Rham cohomology vector space: $\mathcal H^k(U)=H^k_{...

2
votes

0
answers

119
views

### Interpreting the Higher-order Hodge-Laplace Operator

As an operator on functions, one intuitive way to think about the Laplacian seems to be as an operator that returns the average difference between a function's value at a point and the values of its ...

3
votes

0
answers

116
views

### Logarithmic differentials on an arithmetic surface, and Poincaré residue

Suppose that $X$ is an arithmetic surface, i.e. $\pi: X \to S$ flat and relative dimension 1 over a Dedekind scheme $S$, and assume $X$ smooth.
Let $Y \subset X$ be a horizontal effective Cartier ...

2
votes

0
answers

159
views

### Exact sequence for low-degree terms of relative de Rham cohomology

Let $\varphi:X\to Y$ be a morphism of schemes, smooth of relative dimension 1. The de Rham cohomology $H^\bullet(X/Y)$ is the result of applying the derived functor $R^\bullet\varphi_*$ to the de Rham ...

17
votes

1
answer

662
views

### De Rham via topoi

Étale cohomology of schemes $X$ is constructed as follows: one associates to $X$ the so-called étale topos of $X$, and then one just takes the sheaf cohomology of that topos.
Is it possible to ...

9
votes

2
answers

1k
views

### Hodge dual of de Rham cohomology and singular cohomology

We know that the de Rham cohomology is isomorphic to the singular cohomology, does the Hodge dual of differential forms induce a dual operation on de Rham cohomology, hence also on singular cohomology?...

3
votes

0
answers

95
views

### L^1 gradient bounds for potentials of weakly closed forms

Context: The Poincaré-lemma is a central statement in differential geometry. It shows that a k-form is closed iff it is exact. A special case is as follows:
Let $\omega\in\Omega^k(U)$ with
$\omega=\...

9
votes

1
answer

382
views

### Integrating hypercohomology classes

Let $X$ be a complex variety. By Poincare's lemma, its singular cohomology can be computed as hypercohomology of the holomorphic de Rham complex (viewing $X$ as a complex manifold)
$$\text{H}^\cdot(X,\...

2
votes

0
answers

165
views

### de Rham cohomology of a specific ring

I'm running into a certain algebraic de Rham cohomology computation I could use some help with. Specifically, what is the algebraic de Rham cohomology of:
$$
\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n,(r^...

9
votes

0
answers

625
views

### Does Stokes theorem have anything to do with adjoint functors?

I notice some similarity between Stokes theorem in differential geometry and the definition of adjoint functors:
in both cases, there is a 2-placed function (the $\operatorname{hom}$ functor, or the ...

14
votes

1
answer

1k
views

### Artin vanishing for Stein manifolds and restriction maps

In the setting of complex Stein manifolds $X$ of complex dimension $d$, the theorem of Andreotti--Frankel implies the vanishing of the singular cohomology group $H^i(X,\mathbb Z)=0$ for $i>d$. With ...

4
votes

0
answers

252
views

### de Rham Bloch-Ogus theory in positive characteristic

In their famous paper Gersten's conjecture and the homology of schemes, one of the results that Bloch and Ogus prove is that the second page of the coniveau spectral sequence for $X$ smooth over a ...

4
votes

1
answer

568
views

### Relationship between Dolbeault and de Rham cohomology on Riemann surface

A lecturer of mine once ``proved'' the existence of non-constant meromorphic functions on a compact Riemann surface $X$ by using analysis of the Laplacian to decompose the de Rham cohomology group as $...

2
votes

1
answer

284
views

### Where does this clever choice of differential come from? (calculating $\mathrm{H}^1_{\mathrm{dR}}(E/k))$

In these notes of Kedlaya, he calculates the de Rham cohomology of an affine part $X$ of an elliptic curve $E$ over a field $K$, given by $y^2 = P(x) = x^3 + ax + b$.
He uses these relations:
$0 = y^...

16
votes

0
answers

848
views

### "Geometric" proof of Kunneth formula

The usual proof of the Kunneth formula (say for either the homology or cohomology of manifolds) is essentially pure homological algebra. I was wondering if there was a more geometric proof, i.e., one ...

1
vote

0
answers

280
views

### Berthelot-Ogus comparison isomorphism

On the link, page, $ 2 $, the Berthlot-Ogus isomorphism theorem is stated as follows,
We have a canonical isomorphism, $$ \rho_{\mathrm{cris}} \ : \ H_{\mathrm{cris}}^{i} (X) \otimes_{K_ {0}} K \to H_{...

4
votes

1
answer

203
views

### Existence non-trivial parallel $p$-form implies non-triviality of $p$-th cohomology group using De Rham cohomology

Cross-post from MSE.
Suppose $(M,g)$ be a closed Riemannian manifold. Because every parallel (nontrivial) $p$-form $\omega$ is harmonic so the $p$-th Betti number should be positive i.e. $b_p\geq 1$. ...

4
votes

0
answers

89
views

### The unit root subspace of a genus-2 odd degree hyperelliptic curve of semistable reduction

Let $K$ be a finite extension of $\mathbb{Q}_p$. If $A_K$ is a semistable Abelian variety over $K$, then we have a Frobenius endomorphism on $H_{dR}^1(A_K)$, whose definition depends on a choice of a ...

10
votes

1
answer

392
views

### how to see the Gysin map explicitly in an easy situation

Let $C$ be a smooth projective curve and let $U \subset C$ be an open affine subset, with closed complement $S$ consisting of a finite number of points. I am trying to see explicitly the Gysin map in ...

6
votes

2
answers

507
views

### Künneth formula for de Rham cohomology with respect to an integrable connection

I am reading through https://stacks.math.columbia.edu/tag/0FM9 which proves that for $X,Y$ schemes over some base $S$ and $X \times _S Y \overset{p}{\rightarrow} X$ resp. $X \times _S Y \overset{q}{\...

5
votes

0
answers

140
views

### algebraic de Rham cohomology of toric varieties (reference request)

I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled:
...

8
votes

2
answers

473
views

### Degeneration twisted Hodge to de Rham spectral sequence

Let $X$ be a proper and smooth scheme over $\mathbf{C}$ and let $\mathbb{L}$ be a local system of finite dimensional $\mathbf{C}$-vector spaces. By the Riemann Hilbert correspondence, to $\mathbb{L}$ ...

3
votes

0
answers

168
views

### Understanding the Exercise 9.9.5 of Weibel homological algebra

The exercise 9.9.5 of Weibel's homological algebra states that
$\textbf{Exercises 9.9.5}$ If $Z$ is a nilpotent ideal of $R$ and $k$ is a field of $char(k) = 0$, show that $H_{dR}^{\ast}(R) \cong H_{...