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
1
answer
203
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 ...
- 21.5k
3
votes
0
answers
84
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 ...
4
votes
1
answer
475
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{...
- 2,806
12
votes
0
answers
301
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 ...
- 148k
8
votes
0
answers
333
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-...
- 63.9k
1
vote
0
answers
82
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 ...
- 111
3
votes
0
answers
213
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 ...
- 7,127
1
vote
0
answers
167
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 ...
- 83
2
votes
1
answer
225
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 ...
- 35.2k
0
votes
0
answers
99
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 ...
- 2,907
5
votes
0
answers
144
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 (...
- 5,701
0
votes
0
answers
85
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}...
2
votes
1
answer
487
views
Algebraic de Rham cohomology - open subvariety and normal crossing
I need to do some explicit computation with algebraic de Rham cohomology on some projective varieties, also some open subsets of them.
I don't know the theory well, but I just search some notes to ...
- 4,713
1
vote
0
answers
180
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 ...
- 775
3
votes
1
answer
329
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 ...
- 37k
5
votes
0
answers
248
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 ...
- 123
5
votes
2
answers
361
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,479
5
votes
1
answer
246
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 \...
- 6,813
7
votes
1
answer
440
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 ...
- 16.1k
7
votes
2
answers
429
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,289
4
votes
1
answer
540
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}...
- 37k
5
votes
0
answers
304
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$ ...
- 2,215
2
votes
0
answers
241
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 ...
- 2,907
4
votes
0
answers
173
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 ...
- 385
4
votes
1
answer
226
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})$, ...
- 23k
2
votes
0
answers
253
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 ...
- 63.9k
3
votes
0
answers
131
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(\...
- 131
2
votes
0
answers
192
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 ...
- 804
3
votes
1
answer
167
views
Models for computing cohomology of Lie groupoids
Given a Lie groupoid $\mathcal{G}=[\mathcal{G}_1\rightrightarrows \mathcal{G}_0]$, let $\mathcal{G}_\bullet$ be the associated simplicial manifold.
Let $\Omega^\bullet(\mathcal{G}_\bullet)$ be the ...
CommunityBot
- 1
17
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_{...
- 47.5k
2
votes
0
answers
130
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
118
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 ...
- 1,338
2
votes
0
answers
164
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 ...
- 1,338
18
votes
1
answer
682
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 ...
- 37.8k
38
votes
4
answers
8k
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) ...
- 44.7k
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?...
- 8,866
3
votes
0
answers
96
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=\...
- 63.9k
9
votes
1
answer
392
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,\...
- 9,229
15
votes
1
answer
2k
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,131
2
votes
0
answers
173
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^...
- 63.9k
9
votes
0
answers
640
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 ...
- 12.9k
4
votes
0
answers
262
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 ...
- 2,044
4
votes
1
answer
603
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 $...
- 35.2k
6
votes
1
answer
2k
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 ...
- 63.9k
2
votes
1
answer
291
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^...
- 10.8k
6
votes
2
answers
530
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}{\...
- 1,144
16
votes
0
answers
875
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,046
1
vote
0
answers
302
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_{...
- 499
4
votes
1
answer
211
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$. ...
- 108k