A branch of algebraic topology concerning the study of cocycles and coboundaries. It is in some sense a dual theory to homology theory. This tag can be further specialized by using it in conjunction with the tags group-cohomology, etale-cohomology, sheaf-cohomology, galois-cohomology, ...

learn more… | top users | synonyms

2
votes
2answers
140 views

Equivalence of different cohomology groups

Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups: (1) singular cohomology ...
14
votes
2answers
274 views

Table of (integral) cohomology groups of K(Z,n)

Can I find somewhere a table of the (first few) cohomology groups of $K(\mathbb{Z},n)$ with integer coefficients? It seems like a natural counterpart to the table of the homotopy groups of spheres, ...
2
votes
2answers
208 views

Cohomology of Homogeneous Complex Manifolds

Let $M$ be compact $G$-homogeneous manifold, equipped with the equivariant complex structure, when $G$ is a semi-simple algebraic group. The obvious example is every flag manifold. In that case, all ...
3
votes
0answers
320 views
+50

Finding the number of rational points effectively

Consider $\# P$ and $\oplus P$. There is a $\# P$-hard problem: to find number of rational solutions of a system of polynomial equations over $\mathbb{F}_2$. The corresponding $\oplus P$-hard ...
5
votes
1answer
195 views

Group cohomology of the cyclic group

It is well known how to compute cohomology of a finite cyclic group $C_m=\langle \sigma \rangle$, just using the periodic resolution, $\require{AMScd}$ \begin{CD} \cdots @>N>> \mathbb ...
4
votes
0answers
57 views

Relation of BRST model of equivariant cohomology and BRST cohomology?

I'm now reading Kalkman's paper "BRST model for equivariant cohomology and representation for equivariant Thom class". And I've seen his definition for BRST model is $B=W(\mathfrak{g})\otimes ...
4
votes
0answers
47 views

Reference request: local cohomology in disjoint union

I have a topological space $X$ and two disjoint, closed subspaces $Y$ and $Z$ of $X$. I believe that in this situation, for any abelian sheaf $\mathcal{F}$ on $X$ and any $p \in \mathbb{N}$, there is ...
5
votes
0answers
96 views

Two natural maps asssociated with the nerve of a cover

Let $X$ be a nice (e.g. paracompact, locally contractible) topological space, and let $\mathcal{U}=\{U_i\}_{i\in I}$ be an open cover of $X$. Also denote by $N$ the (topological realization of) the ...
11
votes
0answers
189 views

Cohomology of a configuration space of points on $\mathbb C^\times$ with an additional restriction

Let $Conf_{1,n}^3$ be the configuration space of collections of $n$ distinct numbered points on the annulus $\mathbb C^\times$ with an imposed restriction: for any $r\in \mathbb R^+$ the circle ...
2
votes
1answer
165 views

Third (co-) homology of Cyclic groups

Is there a general simple theorem for the third cohomology of cyclic groups $H_3(\mathbb{Z}_n, U(1))= ?$. In particular, I am interested in finding $H_3(\mathbb{Z}_8, U(1))$. I know the answer can be ...
11
votes
2answers
3k views

Understand Cech Cohomology

I am currently trying to understand Cech cohomology. Five questions arised and I would be glad for help. In what follows $X$ is a topological space. I really like Dugger's and Isaksen's paper ...
16
votes
1answer
313 views

$G$-action on the integral homology of a compact surface

Let $S$ be a compact connected orientable surface, and let $G$ be a nontrivial finite group acting freely on $S$ and preserving orientation (note the the action being free is a strong condition, since ...
11
votes
1answer
377 views

Differential geometric interpretation of cohomology

I'm not sure whether this is an appropriate question for this forum. I'm afraid that this is not a research level question however: 1. It's about reference request therefore the answer does not ...
14
votes
8answers
1k views

How to get product on cohomology using the K(G, n)?

This came up in the question about Eilenberg-MacLane spaces. Given the definition of K(G, n), it's easy to prove that there is a map ...
4
votes
1answer
219 views

For a finite flat (etale?) morphism $f:Y\to X$, is $f_*1_Y-\deg f . 1_X$ nilpotent in $A^0(X)$, where $A^*$ is the algebraic cobordism?

Let $A^\ast$ be an algebraic oriented cohomology theory (i.e. it is equipped with certain push-forwards for projective morphisms of smooth varieties over the base field $k$; see section 2 of ...
2
votes
0answers
70 views

why is $\cap \mu_B:H^k(\mathbb{R}^n,\mathbb{R}^n\setminus B;R)\to H_{n-k}(\mathbb{R}^n;R)$ an isomorphism? [closed]

I asked this http://math.stackexchange.com/q/1694046/309968 question already on MSE, but received no answer and I hope it's ok if I ask here for once. Let $R$ be commutative ring with $1_R$ Lemma: ...
1
vote
0answers
76 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 ...
8
votes
2answers
872 views

A simple proof of the Weyl algebra's rigidity.

I am wondering if there is a nice presentation of the Hochschild cohomology of $A_n$ the Weyl algebra. It is known that $H^m(A_n,A_n)=0$ for $m>0$, and thus it is rigid. A proof can be found in ...
1
vote
0answers
22 views

Homology of the subcomplexes of the “diamond shaped” sphere under 1-norm in $R^n$ as a simplicial complex

The 1-norm on $\mathbb{R}^n$ is defined by $\|v\| = |v_1| + |v_2| + \cdots + |v_n|$ for a vector $v = (v_1, \ldots, v_n) \in \mathbb R^n$. The unit sphere $S^{n-1}_1$ under the 1-norm is a simplicial ...
6
votes
0answers
126 views

kernel of the mod $2$ Bockstein on the first cohomology group

Let $M$ be a path-connected finite $CW$-complex. Suppose the first integral homology group is $H_1(M;\mathbb{Z})= \mathbb{Z}_2^{\oplus r}\oplus A$ where $r\geq 1$ and $A$ is a finite abelian group of ...
3
votes
0answers
113 views

Cocycle condition for 2-groups

I know that if $\omega_d(g_1, \ldots, g_d)$ is an d-cocycle characterized by $H^d(G,U(1))$, it satisfies the co-cycle condition $(d\omega_d)(g_1, \ldots, g_{d+1}) = g_1.\omega_d(g_2,\ldots,g_{d+1}) + ...
9
votes
2answers
206 views

non-triviality of the underlying real vector bundle of the complexification of a real vector bundle

Let $M$ be a given manifold and $\xi$ be a given $k$-dimensional vector bundle over $M$. How to determine whether the underlying real vector bundle of $\xi\otimes\mathbb{C}$, i.e. the Whitney sum ...
35
votes
10answers
10k views

What is (co)homology, and how does a beginner gain intuition about it?

This question comes along with a lot of associated sub-questions, most of which would probably be answered by a sufficiently good introductory text. So a perfectly acceptable answer to this question ...
16
votes
1answer
371 views

A spectral sequence for computing cohomology of a space from that of its strata

Let $X$ be a smooth complex variety (not necessarily compact) and let $D$ be a normal crossings divisors with components $D_1$, $D_2$, ..., $D_N$. For a set of indices $I$, let $D_I = \bigcap_{i \in ...
5
votes
0answers
89 views

cohomology ring of configuration spaces on $S^2$ and the projective plane

For a manifold $M$ and a positive integer $n$, the unordered configuration space $B(M,n)$ is the space consisting of all unordered collections of $n$ distinct points on $M$. Precisely, $$ ...
4
votes
0answers
47 views

Obstructions to symplectically embedding compact manifolds of dimension $4$ or higher

It is known in Li's paper (http://arxiv.org/pdf/0812.4929v1.pdf) that in compact symplectic manifolds $(X^{2n},\omega)$ of dimension at least $2n\geq 4$, an immersed symplectic surface represents a ...
3
votes
0answers
62 views

Have locally principal crossed homomorphisms been studied?

Take a (multiplicative finite) group $H$ acting on the left (by automorphisms) on an (additive finite) abelian group $A$, and recall that the abelian (additive) group of crossed homomorphisms from $H$ ...
18
votes
1answer
457 views

Flat versus etale cohomology

Although the definition of etale ($\ell$-adic) cohomology is scary, I have at least some intuition for how it should behave: for instance, when it makes sense, I expect that it should be ``similar'' ...
1
vote
1answer
246 views

Global sections of higher direct image sheaf

Let $X$ be a regular projective (complex) surface and $S$ be a finite set of closed points on $X$. Denote by $j:X\backslash S \to X$ the open immersion. Assume further that $H^1(\mathcal{O}_X)=0$. Is ...
8
votes
2answers
301 views

Poincaré lemma for distributions

Let us consider a current on $\mathbb R^n$, that is a differential form whose coefficients are distributions. For simplicity, let us check the case of a $1$-form $$ u=\sum_{1\le j\le n} u_j dx_j,\quad ...
20
votes
1answer
265 views

Primary obstruction to the existence of a cross-section of $V_{n - q}(\omega)$ is a cohomology class in $H^{2q+2}(B, \pi_{2q+1} V_{n - q}(F))$?

Let $V_{n - q}(\mathbb{C}^n)$ denote the complex Stiefel manifold consisting of all complex $(n - q)$-frames in $\mathbb{C}^n$, where $0 \le q < n$. This manifold is $2q$-connected, and$$\pi_{2q + ...
3
votes
1answer
99 views

What is known about the cohomology of the relative tangent bundle on a conic bundle?

Let us assume $X$ is a smooth, projective and unirational variety of dimension $n$ over $\mathbb{C}$. Given a conic bundle $\pi: Y\rightarrow X$ such that $\omega_{\pi}^{-1}$ is relatively very ample ...
43
votes
2answers
1k views

$H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free. ...
4
votes
0answers
78 views

Example request: seriously deficient homogeneous spaces

In a previous post, I cite a dimension condition commonly satisfied by homogeneous spaces and claim that a counterexample must have deficiency at least $3$. For convenience, I reproduce the definition ...
4
votes
0answers
63 views

A dimension condition on the cohomology of a homogeneous space

The rational cohomology of a homogeneous space $G/K$ admits a homomorphism from $H^*(BK)$ induced from the classifying map $G/K \to BK$ of the principal $K$-bundle $G \to G/K$. Assume the Lie group is ...
9
votes
0answers
295 views

Milnor-Stasheff Characteristic Classes Problem 7B, Borel 1953

There is the following Proposition 11.1 from Borel's 1953 paper La cohomologie mod 2 de certains espaces homogènes (see here). Proposition 11.1 The classes $w^i$ and $\overline{w}^j$ are related ...
2
votes
0answers
81 views

A Künneth-Theorem version for relative singular cohomology

I'm not an expert in algebraic topology, but sometimes I need some results from this area, for example tools to determine singular cohomology groups of product spaces. The Künneth-Theorem which I ...
6
votes
0answers
141 views

Comparison of sheaves of modular forms

Let $\pi:E\to X$ the universal generalized elliptic curve over the compactified modular curve, with zero section $e: X\to E$. Now consider the following two sheaves on $X$: $e^*\Omega^1_{E/X}$ and ...
2
votes
0answers
39 views

Does anyone know if there is a generalization of symplectic Kodaira dimension beyond 4-manifolds?

I'm aware that in algebraic geometry, one has the Kodaira-Iitaka dimension, which generalizes the Kodaira dimension, but does anyone know if a correspondent generalization in the symplectic category ...
3
votes
1answer
132 views

A converse to Whitehead's Second Lemma (and more)

Let $k$ be an algebraically closed field of characteristic $0$ and let $\mathfrak{h}$ be a finite dimensional $k$-Lie algebra. I'm interested in knowing which (Lie algebraic) properties $\mathfrak{h}$ ...
3
votes
0answers
154 views

Cohomology algebra generated by $n$ Steifel whitney classes and and $k$ dual classes subject only to $n+k$ defining relations? [closed]

Is the cohomology algebra $H^*(G_n(\mathbb{R}^{n+k}))$ over $\mathbb{Z}/2$ generated by the Steifel-Whitney classes $w_1, \dots, w_n$ of $\gamma^n$ and the dual classes $\overline{w}_1, \dots, ...
3
votes
1answer
254 views

Hypersurfaces without variable cohomology

Let $X$ be a smooth projective variety over $\mathbb C$ of dimension $n+1$. If $Y$ is a smooth very ample hypersurface, we know that except $H^n(X;\mathbb Q)\rightarrow H^n(Y;\mathbb Q)$, the ...
2
votes
0answers
30 views

Relation between symplectic blow-up of a compact manifold and fibre bundles over same manifold

The symplectic blow-up of a compact symplectic manifold $(X,ω)$ along a compact symplectically embedded submanifold $(M,σ)$ results in another compact manifold $(\tilde{X},\tilde{ω})$ given by ...
5
votes
1answer
124 views

Bott-Samelson construction of a perfect Morse function on G/T

An undergraduate student of mine is interested in writing a "senior" thesis on the topology of Lie groups. Let $G$ be a simply connected compact Lie group and $T$ a maximal torus. One way of ...
6
votes
2answers
250 views

Hodge map and the Cohomology Ring of a Riemannian Manifold

For a compact Riemannian manifold $M$, we know that the Hodge map $\ast$ and Laplacian $\Delta$ commute. From Hodge decomposition and its implied isomorphism between harmonic forms and cohomology ...
0
votes
1answer
61 views

Conjugation Cells [equivariant cohomology]

I'm studying conjugation spaces, I have found in many sources that a conjugation cell is a conjugation space (without a proof). The widest approach that I have found so far is this paper (example 3.5) ...
7
votes
1answer
421 views

A conjecture of Cheeger about intersection cohomology and $L^2$- cohomology

Let $X$ be a projective variety and let $D$ be a simple normal crossings divisor on $X$ Does $$IH^*(X;\mathbb C)\cong H_{(2)}^*(X\setminus D;\mathbb C)$$ hold true for each Kähler metric ...
3
votes
0answers
98 views

Are there necessary and sufficient conditions for a chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ to be Poincare?

I am looking for necessary and/or sufficient conditions for the chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ over a principal ideal domain to be Poincare in the sense that $H_0 \cong H^2$, $H_1 ...
8
votes
1answer
343 views

Intuition for Picard-Lefschetz formula

I'm trying to develop some intuition for the (local) Picard-Lefschetz formula (which I'm encountering for the first time in Deligne's paper "La Conjecture de Weil, I"). To summarize the setup, we ...
3
votes
1answer
137 views

cohomology module of unit tangent vector bundles over spheres

Let $S^m$ be the $m$-sphere and $\tau (S^m)$ the sphere bundle consisting of unit tangent vectors in the tangent bundle $TS^m$. Then we have a fibration $$ S^{m-1}\longrightarrow ...