The cohomology tag has no wiki summary.

**3**

votes

**1**answer

217 views

### What is known about formality of flag varieties?

Let $G$ be a connected, complex reductive algebraic group and $X=G/P$ a (partial) flag variety. For example by "Real homotopy theory of Kähler manifolds", we know that its cohomology with real ...

**14**

votes

**5**answers

2k views

### de Rham vs Dolbeault Cohomology

For a complex manifold $M$, one can consider (A) its de Rham cohomology, or (B) its Dolbeault cohomology. I'm looking for some motivation as to why one would bother introducing Dolbeault cohomology. ...

**3**

votes

**1**answer

263 views

### Reference for the converse of Cartan's Theorem B

Cartan's theorem B states that every coherent analytic sheaf on a Stein manifold is acyclic. Hartshorne claims that the converse to this theorem also holds, but doesn't supply a reference. Does ...

**4**

votes

**1**answer

178 views

### determinant of periods

Let $X$ be a projective, smooth algebraic variety defined over the field of algebraic numbers. Consider algebraic de Rham cohomology $H_{dR}(X)$ and singular cohomology of $X(\mathbb{C})$ with ...

**0**

votes

**0**answers

220 views

### Kunneth formula (finite group cohomology) for non trivial action of group

Is there a Kunneth formula relating $H^i(k[G],A)\otimes_k H^i(k[G],B)$ and $H^i(k[G],A\otimes_k B)$ where $A\otimes_k B$ is given the diagonal $G$ action ?

**7**

votes

**4**answers

1k views

### Program for computing group cohomology

Is there any computer program with which I can compute the group cohomology H^n(G,V) for a group G acting linearly on a vector space?
I mainly care about infinite groups.

**4**

votes

**0**answers

224 views

### Cech cohomology and set theory

Can anyone point me to places in the literature where modern set theory has been applied to say something about the Cech cohomology of connected non-metrizable compacta? I'm looking for something ...

**1**

vote

**1**answer

165 views

### How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smooth in high codimension?

Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of ...

**3**

votes

**1**answer

574 views

### The Gysin long exact sequence for the complement of the zero section of a line bundle over a (possibly) singular base

Let $pr:X\to Z$ be a line bundle of (possibly) singular varieties (that could be reducible) over a characteristic $p$ field ($p$ could be zero); $U$ is the complement to the zero section $Z\to X$. ...

**5**

votes

**4**answers

382 views

### (Co)homological characterization of homotopy pullbacks

For a commutative square of spaces (of manifolds, or of simplicial sets):
$$S=\left(\begin{array}{ccc} A & \to & B \newline \downarrow & & \downarrow \newline C & \to & ...

**1**

vote

**1**answer

204 views

### Criteria for acyclicity

Let $X$ be a smooth projective variety. Let $E$ be a line bundle (or, more generally,
a vetor bundle) on $X$. Are there any nice criteria for acyclicity of $E$ (that is,
for the property $H^i(X,E)=0$ ...

**1**

vote

**0**answers

200 views

### What can one say about a smooth variety whose lower cohomology is trivial?

Let $X$ be a smooth (quasi-affine) complex variety; suppose that its cohomology (say, with integral coefficients) is trivial in degrees $0 < i\le s$ (for some $s>0$). What can one say about such ...

**2**

votes

**1**answer

538 views

### Notions related to De Rham Cohomology

In R^2, we have the following abelian groups, some of which have R vector space structures, or even C vector space structures.
Closed forms/exact forms
real parts of analytic functions/harmonic ...

**2**

votes

**2**answers

235 views

### Kodaira type vanishing for an ample divisor + effective divisor with SNC support

Norimatsu's lemma says that on a smooth projective complex variety $X$ of dimension $n$, then we have $H^i(X,\mathcal O_X(-A-E))=0$ for $i < n$ when $A$ is an ample divisor and $E$ is a simple ...

**3**

votes

**2**answers

536 views

### Stiefel-Whitney classes of a projective space bundle

Hi!
Let $\gamma_1$ denote the twisted line bundle over $S^1$ and add a trivial $(2k-1)$-bundle $\mathbb{R}^{2k-1}$. Consider the projective bundle $P(\gamma_1 \oplus \mathbb{R}^{2k-1})$ over $S^1$. ...

**2**

votes

**0**answers

194 views

### Cohomology of a projective limit

If we consider an oriented locally finite graphs $X$, and we suppose that $X$ is the projective limit of a familly of oriented locally finite graphs : ...

**6**

votes

**1**answer

309 views

### Continuous and smooth Lie groupoid cohomology

In the paper by Weinstein and Xu: Extensions of symplectic groupoids and quantization, J. Reine Angew. Math. 417 (1991), there are two versions of Lie groupoid cohomology. The same differential ...

**1**

vote

**1**answer

265 views

### Coboundary map on the cochain complex of abelian cosimplicial groups?

Maybe I'm looking at the wrong places, but I can't find a definition of
the coboundary map on the cochain complex of abelian cosimplicial groups.
What I have in mind is something similar to the ...

**9**

votes

**1**answer

506 views

### The coproduct on the cohomology of a Hopf algebra

If $H$ is a Hopf algebra over a field $k$, the Hopf algebra cohomology $\mathrm{Ext}_H(k,k)$ is —as usual— an algebra, but the Hopfness of $H$ turns it into a Hopf algebra.
Is there a reference ...

**2**

votes

**1**answer

240 views

### Do cohomologically trivial line bundles affect morphisms?

Assume we have a locally free sheaf $R$ of associative $O_S$-algebras of rank $r^2$, possibly noncommutative, where $S=\mathbb{P}^2$ over $\mathbb{C}$. Furthermore given a locally free $O_S$-module ...

**1**

vote

**1**answer

352 views

### vanishing of cohomology sheaves with supports and values in the multiplicative group

Let $X$ be a locally noetherian regular scheme and $Y$ be a closed subscheme of codimension $d > 0$ in every point. Why does it "immédiatement" (Grothendieck, Groupe de Brauer III, §6, p. 133 f.) ...

**3**

votes

**0**answers

186 views

### limit of étale cohomology with supports

I would like to know if the following generalisation of Milne Étale Cohomology, Lemma III.1.16, p. 88 holds: (all cohomology groups with respect to the étale topology)
Let $Y \hookrightarrow X$ ...

**3**

votes

**0**answers

152 views

### Branched Covers of a Two-sphere with Infinite Degree

I would like to ask the following question:
Let us consider the following branched cover $X_n$ of $\mathbb{P}^1$ that can be thought as a hyper-surface of $\mathbb{P}^1 \times \mathbb{P}^1$:
...

**1**

vote

**1**answer

798 views

### Penner's formula for volume of the Moduli Space

In his paper "Weil-Petersson Volumes" Penner gives the following formula for the integral of a top-dimensional cohomology class $\omega$ on the moduli space $\mathcal M_g^s$ of $s$-punctured riemann ...

**1**

vote

**1**answer

177 views

### combination of two duality theorems

For a variety $X$ over a finite field $k$, one combines étale Poincaré duality for $X \times_k \bar{k}$ with duality for $k$ ($H^0(k,M) \times H^1(k,M^\vee) \to H^1(k,\mathbf{Z}/n) = \mathbf{Z}/n$) to ...

**6**

votes

**0**answers

354 views

### Cohomology of a space with coefficients in a Lie group?

The following is a very naive construction, and I am almost embarrassed to ask questions about it.
Suppose I have a connected simple graph $\Gamma = (\Gamma_0,\Gamma_1)$ (i.e., vertex set, edge set) ...

**4**

votes

**1**answer

395 views

### Formal Group Laws on Ring Spectra?

Given a (graded) ring $R$, to define a formal group law it is equivalent to define a ring homomorphism $\phi:L\to R$ where $L$ is Lazard's ring. Is there any notion of defining a formal group law on ...

**5**

votes

**2**answers

714 views

### Are there 'cohomology' functors that respect all Eilenberg-Steenrod axioms except homotopy invariance?

What goes wrong in the axiomatic definition of a generalized (co)homology theory if one drops the axiom of homotopy invariance i.e. that homotopic maps should induce the same map in (co)homology?
Or ...

**2**

votes

**1**answer

331 views

### Which (reducible) projective varieties could be presented as 'relatively smooth' hyperplane sections of irreducible (normal) ones?

Are there any restrictions known on a (complex reducible) projective variety $Y$ that can be presented as $Z\cap H$, where $Z$ is a normal (or just irreducible) closed subvariety of a smooth ...

**3**

votes

**1**answer

378 views

### Are Kazhdan-Lusztig $R$-polynomials the Poincare polynomials of the corresponding affine varieties

Let $x$ and $y$ be two elements of $S_n$. Let $U(x,y)$ be the intersection $(BxB \cap B_{-} y B)/B$ inside the flag variety. Here $B$ and $B_{-}$ are the groups of upper and lower-triangular matrices ...

**2**

votes

**0**answers

305 views

### understanding Milne's article “Duality in the flat cohomology of a surface”

I have trouble understanding a point of Milne's article "Duality in the flat cohomology of a surface" http://jmilne.org/math/articles/1976a.pdf
see the "Alternatively" on p. 177, paragraph before ...

**0**

votes

**3**answers

377 views

### Cohomology of complexes

I sometimes see cohomologies of complexes of sheaves. What is the definition of these? Say if $\mathcal F^* $ is a complex of sheaves on $C$, what is $H^i(C,\mathcal F^*) $?

**3**

votes

**1**answer

306 views

### Does the (torsion) Zariski cohomology of a (singular) hyperplane section of a smooth projective variety vanish (in small degrees)?

Let $P$ be a smooth connected projective variety (say, over complex numbers); $H$ is its smooth hyperplane section. What can be said about the Zariski cohomology of $H$ with constant coefficients? It ...

**4**

votes

**0**answers

304 views

### Determinant line does not depend on the differential

Let $\pi:X\rightarrow S$ be a proper morphism of schemes over $\mathbf{C}$ and $\mathcal{E}$ a vector bundle on $X$ with a relative flat connection $\nabla_{X/S}$. Is it true that the determinant line ...

**5**

votes

**3**answers

595 views

### Continuous cohomology of semi-simple Lie group.

Let $G$ be a real connected semi-simple Lie group. Let $M$ be a finite dimensional representation of it. Are there general criteria when the continuous cohomology groups $H_{cont}^q(G,M)$ vanish?
A ...

**3**

votes

**2**answers

668 views

### Group Cohomology of Symmetric Powers

Let $G$ be a finite group and $V$ be an integral representation of $G$, i.e. a free abelian group of finite rank with $G$-action. Now consider the symmetric power $Sym(V)$ of $V$ over $\mathbb{Z}$, ...

**4**

votes

**4**answers

831 views

### Cohomology groups of homogeneous spaces

Is there a general method to calculate the cohomology groups of homogeneous spaces ($G/H$), such as $\frac{U(4)}{U(2)\times U(2)}$, $\frac{U(5)}{U(2)\times U(3)}$, $U(4)/U(2)$, etc. If yes, could you ...

**3**

votes

**2**answers

488 views

### Alexander duality theorem for CW-complexes and stable homotopy theory

In Adams, J.F. Infinite Loop Spaces Princ. Univ. Press. page 9 he states Alexander duality theorem
Theorem:[Alexander Duality] $$ H^r(X,G)=H_{n-r+1}(S^n-X,G)$$
for finite CW-complexes with a "nice ...

**3**

votes

**1**answer

245 views

### Large modules with non-trivial cohomology

Let $p$ be a prime and $F$ algebraic closer of $F_p$.
I want to know if it is possible to construct family of groups $\{G_i\}_{i=1}^{\infty}$ and a family of simple modules $V_i$ over $F[G_i]$ of ...

**11**

votes

**0**answers

310 views

### Cohomological interpretations of quadratic form invariants over rings?

The standard approach to classifying of quadratic forms over $\Bbb Q$ is to use the Hasse (local-global) principle together with a system of standard invariants of quadratic forms over the local ...

**6**

votes

**2**answers

294 views

### Cohomology of fixed point subspaces

Suppose $M$ is a smooth manifold and $\phi : M \to M$ is a homeomorphism whose fixed point set is a smooth submanifold $M_{\phi}$. Is there any relation between the cohomology ring of $M_{\phi}$ and ...

**1**

vote

**1**answer

242 views

### Vectorial extensions of abelian varities

Hi,
this is a very vague question, but I'm also glad about vague answers...
One knows that for an abelian variety over the complex numbers, one has a canonical exact sequence
$0\rightarrow ...

**4**

votes

**2**answers

512 views

### Hodge theory and varieties defined over subfields of the complex numbers

This question is related to the question: Is there a $k$-structure for Hodge modules over a $k$-variety?.
Suppose $K$ is a subfield of $\mathbb{C}$ and $M$ is a holonomic $D$-module "of geometric ...

**2**

votes

**0**answers

189 views

### The Mayer-Viertoris exact sequence as a (Zariski) descent spectral sequence.

For certain 'spaces' $U,V$ (they are certain Henselizations of subvarieties) I would like to compute (certain etale) cohomology of $U\cup V$ in terms of the corresponding cohomology of the diagram ...

**0**

votes

**0**answers

250 views

### spectral sequence of cohomology with compact support

Let k be a field, and A, B is subscheme of C over k, F is a sheaf over C.
Question 1. what is the relation between $H_c(A\cap B,k)$, $H_c(B,F)$, and $H_c(A\cap B,F)$ ?
Question 2. Let A be a strata ...

**10**

votes

**1**answer

551 views

### Is de Rham cohomology of affine schemes over discrete valuation rings finitely generated (modulo torsion)?

Let $U$ be a open affine subscheme of a smooth, proper scheme $X$ over $\mathbf{Z}_p$. Over $\mathbf{Q}_p$ we know that $\mathrm{H}^i(U \times \mathbf{Q}_p/\mathbf{Q}_p)$ is finite-dimensional (where ...

**3**

votes

**2**answers

668 views

### Brauer group of projective space

I've read that $\text{Br} \mathbb{P}^n_k$ (here $\text{Br}$ is the cohomological Brauer group, i.e. $H^2_{ét}(-,\mathbb{G}_m)$) is just isomorphic to $\text{Br} k$. As proof of this fact seems to be ...

**3**

votes

**1**answer

215 views

### Deforming ample line bundles vs cohomology group

Let X be a smooth projective variety over the complex numbers, of dimension at least two. $D$ is an ample divisor on X. Then we know for $m>>0$, $H^i(mD)=0$. Now suppose $E$ is another divisor ...

**10**

votes

**3**answers

942 views

### Is there a good definition of (topological) K-Theory over arbitrary spaces?

Hi
(this is my very first question here, so please don't hurt me...)
for some time now i've been looking for a sufficiently aesthetical definition of (topological) K-theory of arbitrary spaces, yet ...

**8**

votes

**4**answers

566 views

### $Sq^1$ cohomology of spaces

For any space $X$, the first Steenrod square cohomology operation
$$Sq^1\colon H^\ast(X;\mathbb{Z}_2)\to H^{\ast +1}(X;\mathbb{Z}_2)$$
is a derivation, meaning that $Sq^1\circ Sq^1 = 0$ and ...