# Questions tagged [derham-cohomology]

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

81
questions

**2**

votes

**0**answers

131 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

429 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 ...

**13**

votes

**1**answer

564 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 ...

**3**

votes

**0**answers

157 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

262 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

226 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

490 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

150 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

160 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

48 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 ...

**9**

votes

**1**answer

233 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

343 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

87 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

267 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

133 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_{...

**12**

votes

**2**answers

745 views

### Different definitions for integral de Rham cohomology classes

Suppose that $S$ is a compact orientable surface. In this case, the top de Rham cohomology space $H^2(S)\cong \mathbb{R}$, with the isomorphism given by integration on $2$-forms along $S$.
Now, one ...

**4**

votes

**1**answer

362 views

### Is the action of the absolute Frobenius on de Rham cohomology induced by an algebraic map?

Let $X\to \mathrm{Spec}\:\mathbb{Z}_{(p)}$ be a smooth proper morphism with a geometrically connected generic fiber. Assume that the special fiber has an $\mathbb{F}_p$-point.
Via the isomorphism $H^{*...

**4**

votes

**1**answer

291 views

### Can Hodge symmetry fail if there is a lift to $W_2$ and the crystalline cohomology is torsion-free?

Let $f:X\to \mathrm{Spec}\:\mathbb{F}_p$ be a smooth proper morphism with $p>\mathrm{dim}\:X$. Assume that $H^i_{\mathrm{crys}}(X/\mathbb{Z}_p)$ is torsion-free for all $i\geq 0$ and that there is ...

**6**

votes

**1**answer

428 views

### De Rham's theorem for top-forms in manifolds with boundary

In page 79 of Bott-Tu, "Differential Forms in Algebraic Topology", they define the relative de Rham theory as follows:
Let $f:S\to M$ be a smooth map. Define the complex $\Omega^*(f)$ by
$$\...

**2**

votes

**0**answers

68 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 ...

**0**

votes

**0**answers

255 views

### When are the cotangent and tangent sheaves isomorphic?

Let $X$ be an $S$-scheme. Under what conditions, if any, is the cotangent sheaf $\Omega_{X/S}$ isomorphic to the tangent sheaf $\Theta_{X/S}$ as $\mathcal{O}_X$- modules? For example, given a ...

**6**

votes

**0**answers

140 views

### Geometric theory for cohomology groups $H^p(M;\mathbb{Z})$

An excerpt from the book Loop Spaces, Characteristic Classes and Geometric Quantization by Jean-Luc Brylinski is mentioned below:
Characteristic classes are certain cohomology classes associated
...

**6**

votes

**2**answers

1k views

### On a mysterious reference of Grothendieck

These days I found a mysterious page on Google books describing a book entitled On the De Rham cohomology of schemes by Grothendieck, Coates, and Jussila.
At once I thought this was an error and ...

**2**

votes

**0**answers

76 views

### Relative de Rham Cohomology groups of k-algebra

Let $A$ be a commutative unital $k$-algebra. Then we have de Rham complex given as:
$C_{\ast}(A)$ : $ 0 \rightarrow A \rightarrow \Omega_{A \lvert k}^{1} \rightarrow \Omega_{A \lvert k}^{2} \...

**1**

vote

**0**answers

135 views

### Find torsion classes using flat bundles

My question refers to a discussion from this older thread on Neron-Severi group of a Kähler manifold. In the comments below Ted Shifrin's answer there arose a discussion when the map $H^2(X,\mathbb{Z}...

**17**

votes

**1**answer

783 views

### Direct proof that Chern-Weil theory yields integral classes

Suppose $E$ is a complex vector bundle of rank $n$ on a compact oriented manifold (both assumed smooth). Let $h$ be a Hermitian metric on $E$, and let $A$ be a Hermitian connection on $E$ and $F_A$ ...

**2**

votes

**1**answer

92 views

### Multidifferential operators with vanishing integrals

(Moved from math.stackexchange.)
Is the following proposition true?
Given a multidifferential operator $D$ on $\mathbb{R}^n$ with constant coefficients, i.e. for all functions $f_1,\dots,f_k \in C^...

**8**

votes

**1**answer

559 views

### A variant on characteristic $p$ de Rham cohomology

I was thinking about de Rham cohomology in characteristic $p$, and in particular the recent question about Poincare residues, and I came up with the following construction.
Let $k$ be a perfect field ...

**2**

votes

**0**answers

119 views

### When are automorphisms of the cohomology ring realized by isometries?

Let $(M,g)$ be a closed smooth Riemannian manifold, and denote by $G$ a closed subgroup of its isometry group. By considering the maps $g^*$ induced by elements $g\in G$ in the (de Rham) cohomology $H^...

**1**

vote

**1**answer

252 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 ...

**4**

votes

**0**answers

78 views

### Generalized de Rham cohomology on product bundle giving specified cohomology

Given a compact, smooth manifold $M$ and a real vector bundle $E \to M$ (in general not flat). There already have been numerous questions about how to equip the space $\bigoplus_k \Gamma(\Lambda^k T^* ...

**2**

votes

**0**answers

118 views

### vanishing of higher algebraic de Rham cohomology and sheaves of differentials for singular curves

I'm looking for some results or references about de Rham cohomology of curves in less-than-optimal cases. The two vanishing results I care about are:
$H^{k}_{\text{dR}}(X) = 0$ for $k>2$, since $H^...

**6**

votes

**1**answer

258 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 ...

**2**

votes

**0**answers

326 views

### Suppose that two cohomologous forms agree on every restriction. Do they agree?

Let $\eta$, $\omega$ be two $(1,1)$-forms on $\mathbb{C}^m \times Y$, where $Y$ is a compact Kahler manifold with vanishing first Chern class, i.e., a Calabi-Yau manifold. Suppose that for all $z \in \...

**3**

votes

**1**answer

326 views

### Leafwise de Rham cohomology (A true definition of differential forms along leaves)

For a foliated space $(M, \mathcal{F})$, one associate a leafwise de Rham cohomology. This cohomology and trace-class operators on this cohomology and trace interpretations for closed orbits of ...

**2**

votes

**0**answers

236 views

### De Rham cohomology and extension of scalars

Let $K$ be a field of characteristic zero and let $X$ be a smooth variety over $K$. Given a field extension $L/K$, I denote by $X_L$ the variety $X \times_{Spec(K)} Spec(L)$.
What is the easiest way ...

**2**

votes

**1**answer

132 views

### Vanishing product of a closed and coclosed form on a Riemannian manifold

For a (compact) Riemannian manifold $(M,g)$, can it happen that for a non-zero form $\text{d}^*\omega$, and a smooth function $f$ such that $\text{d}f \neq 0$, we can have
$$
\text{d}f \wedge \text{d}^...

**-2**

votes

**1**answer

85 views

### Alternating property of H_2(T, Z)

Let us consider the torus $T = S^1_X \times S^1_Y$, where the former $S^1_X$ has the coordinate $X$, whereas the latter $S^1_Y$ has $Y$. We have an alternate property $dX \wedge dY = - dY \wedge dX \...

**1**

vote

**1**answer

296 views

### Formality of surfaces

The de Rham dg algebra $\Omega(F)$
of a closed orientable surface $F$
is formal
(that is, weakly equivalent to its cohomology algebra).
This is a special case of the fact of formality of Kähler ...

**2**

votes

**3**answers

1k views

### Classification of line bundles by second cohomology of a manifold

In the book Loop spaces, Characteristic classes and geometric quantization by Brylinski I see following result when trying to motivate geometric description of $H^3(M,\mathbb{Z})$.
$H^2(M,\mathbb{Z}...

**8**

votes

**1**answer

469 views

### Definition of algebraic de Rham cohomology of non-smooth affine variety

$\newcommand{\Hdr}{H_{\mathrm{dRh}}}$
$\newcommand{\spec}[1]{\mathrm{spec}(#1)}$
$\require{amsmath}$
Let $A = k[x_1,\ldots,x_n]$ the polynomial ring over a field $k$ of characteristic zero and $I \...

**2**

votes

**1**answer

600 views

### Sheaf / de Rham cohomology of a stack with values in a complex of abelian sheaves

I am reading Differentiable Stacks and Gerbes to understand about (hyper) cohomology groups of a stack $\mathcal{X}$ with values in a complex $\mathcal{M}$ of abelian sheaves over $\mathcal{X}$.
...

**1**

vote

**1**answer

172 views

### Can every De Rham cohomology class be represented by a closed form $\alpha$ with $L_X \alpha=0$

Assume that $M$ is a manifold and $X$ is a vector field on $M$.
Is it true to say that every closed form is De Rham-cohomologue to a closed form $\alpha$ with $L_X \alpha =0$?

**4**

votes

**0**answers

399 views

### Comparison for cycle class maps for de Rham and etale cohomology via p-adic Hodge theory

Let $K$ be a p-adic local field, $X$ a smooth projective variety over $Spec(K)$, $CH^k(X)$ the Chow group of pure codimension $k$. Then there are cycle maps
$cl^X_{DR}:CH^k(X)\to H^{2k}_{DR}(X/K)$ ...

**5**

votes

**1**answer

212 views

### Which compact (finite dimensional) Lie groups have $H^1_{DR}(G)\neq 0$

In particular, I am wondering if $H^1_{DR}(G)\neq 0$ implies that the group can written as a semidirect product of $\mathbb{S^1}$ and something else, with the $\mathbb{S^1}$ factor being responsible ...

**6**

votes

**1**answer

831 views

### What is the scope of validity of Kunneth formula for de Rham?

In books like Bott-Tu or all pdf texts I have found on internet, the Kunneth formula for manifolds $M$ and $N$ and their de Rham cohomology
$$ H^{\bullet}_{dR}(M \times N) \simeq H^{\bullet}_{dR}(M) \...

**12**

votes

**1**answer

576 views

### Counterexample showing that G-invariant de Rham cohomology different from cohomology of G-invariant sub-complex?

If $G$ is a discrete or a Lie Group acting smoothly on a manifold $M$, we can define the algebra of $G$-invariant de Rham classes, $H(M)^G$, and we can also consider the cohomology of the sub-complex ...

**3**

votes

**1**answer

441 views

### How does one introduce characteristic classes [closed]

How does one introduce, or how were you introduced to characteristic classes?
You can assume that the student is comfortable with principal bundles and connections on principal bundles.
I am not ...

**3**

votes

**0**answers

126 views

### Question on de Rham complex with distributional coefficients

Let $X$ be a smooth manifold (usually assumed to be paracompact). Let us denote by $\underline{\Omega}^{p,-\infty}_X$ the sheaf of real valued $p$-forms with distributional coefficients in the ...

**6**

votes

**0**answers

224 views

### Lagrangian up to Hamiltonian in cotangent bundle

I want to understand the folklore conjecture that, in a CY manifold, Lagrangians up to Hamiltonian isotopies are represented by special Lagrangians by examining cotangent bundle and Hodge theory.
...