**0**

votes

**0**answers

117 views

### Ring structure on cohomology of groups

Assume that $G$ is a finite group and that $A$ is an arbitrary $G$-module. Then we know that can define the cohomology groups of $G$ with coefficients in $A$ in the usual way and we denote the latter ...

**4**

votes

**0**answers

74 views

### Cohomology operations on unoriented cobordism

In unoriented cobordism there exist stable cohomology operations looking similar to Steenrod squares (they were used by Quillen to compute the unoriented cobordism ring with its formal group law ...

**4**

votes

**1**answer

209 views

### Hodge decomposition for Bott-Chern cohomology

$\DeclareMathOperator{im}{im}$
I want to prove that Bott-Chern cohomology group $H^{p,q}_{BC}=\frac{\ker\partial\cap \ker\bar{\partial}}{\im\partial\bar{\partial}}$ has finite dimension via Hodge ...

**1**

vote

**0**answers

46 views

### computing homology of subvarieties of Euclidean spaces by persistent homology

Let $M$ be a submanifold of the Euclidean space $\mathbb{R}^n$. Let $G$ be a finite group acting on $M$ freely. I want to compute the homology (or even the cohomology ring) of $M/G$.
Suppose the ...

**1**

vote

**0**answers

71 views

### derived invariants, perversity and modular coefficients

Let $\pi:X\rightarrow Y$ a Galois cover of finite type schemes over $\mathbb{C}$ of group $\Gamma$.
Let $n$ an integer such that it is not prime with the order of $\Gamma$.
Then $\pi_{*}\mathbb{Z}/n\...

**0**

votes

**0**answers

77 views

### Action of a lattice on abelian varieties

Let $\pi\colon Y\to\mathbb{P}_\mathbb{C}^1$ be a ramified cover of degree two of $\mathbb{P}_{\mathbb{C}}^1$ such that $Y$ is smooth. I fix a point $x$ on $\mathbb{P}^1$, over which the cover is étale,...

**4**

votes

**1**answer

145 views

### Computation on an Euler character

In the Bridgeland's paper "Flops and derived categories" (proof of (4.6), page 12), he computed an Euler character without much explanation. I thought this might not be difficult (and might not be ...

**6**

votes

**0**answers

94 views

### mod $p$ homology module of unordered configuration spaces of the projective plane

Let $M$ be a manifold and $k$ be a positive integer. Let $F(M,k)$ be the $k$-th ordered configuration space over $M$, consisting of all ordered $k$-tuples of distinct points in $M$. Let $\Sigma_k$ be ...

**0**

votes

**1**answer

66 views

### Is $H^{1}_{Sel}\left(K,E_{p^{n}}\right)\rightarrow\prod_{q \nmid \infty} H^1\left(K_{q},E_{p^{n}}\right)$ an injection?

If $K$ is a number field, $E$ an elliptic curve and $p$ a prime, does the Selmer group
$$H^{1}_{\operatorname{Sel}}\left(K,E_{p^{n}}\right)$$
always inject into
$$\prod_{q \text{ a nonarchimedean ...

**12**

votes

**1**answer

288 views

### Measuring the failure of pushforward to commute with Steenrod squares

Let $f \colon X \rightarrow Y$ be a map of topological spaces. Let's say that they are (closed) manifolds (not necessarily orientable), though to be honest I'm really interested in the more general ...

**14**

votes

**2**answers

498 views

### List of Applications of the $\partial\overline{\partial}$-lemma

Quoting from Huybrecht's book Complex Geometry on the $\partial\overline{\partial}$-lemma for Kaehler manifolds:
Although it looks like a rather innocent technical statement, it is
crucial for ...

**6**

votes

**0**answers

111 views

### What is the etale cohomology of a product?

Let $X$ be a (smooth, projective if you wish) variety over a field $k$. I'm mostly interested in $k=\mathbb{F}_q$.
What can one say about the etale cohomology ring $H_{et}^*(X \times_k X)$, say for ...

**5**

votes

**1**answer

313 views

### Known results in the Cohomology of finite groups

I am learning to compute cohomology of finite groups and came across this survey article http://www.ams.org/notices/199707/adem.pdf "Recent Developments in the cohomology of finite groups" by ...

**3**

votes

**0**answers

118 views

### What is the integral cohomology of an Enriques surface over a finite field?

Probably this is well-known, but I could not find it. I would like to understand the integral $2$-adic etale cohomology of an Enriques surface over $\mathbb{F}_q$ in dimension 2: $H_{et}^2(X, \mathbb{...

**6**

votes

**1**answer

182 views

### Cohomology ring of a fiberwise join

I am very interested in the cohomology ring of the following construction. Let $f: Y\to X$ be a map between (connected) topological spaces. Suppose that the image of the map $f^*:H^*(X) \to H^*(Y)$ is ...

**4**

votes

**2**answers

198 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 $H_{sing}^*(X,A)$;...

**16**

votes

**2**answers

353 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, ...

**4**

votes

**0**answers

69 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 \...

**5**

votes

**1**answer

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

**3**

votes

**0**answers

372 views

### 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

**0**answers

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

**4**

votes

**0**answers

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

**11**

votes

**0**answers

194 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

**1**answer

168 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

**1**answer

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

**16**

votes

**2**answers

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

**2**

votes

**0**answers

71 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

**0**answers

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

**6**

votes

**0**answers

132 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

**0**answers

118 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}) + ...

**5**

votes

**0**answers

100 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,
$$
B(M,n)=\{(...

**17**

votes

**1**answer

403 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 I}...

**4**

votes

**0**answers

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

**3**

votes

**0**answers

67 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$ ...

**9**

votes

**2**answers

212 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 $\xi\...

**18**

votes

**1**answer

484 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

**1**answer

255 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 $...

**3**

votes

**1**answer

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

**20**

votes

**1**answer

269 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 + ...

**4**

votes

**0**answers

79 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

**0**answers

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

**1**

vote

**0**answers

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

**8**

votes

**2**answers

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

**2**

votes

**0**answers

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

**9**

votes

**0**answers

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

**6**

votes

**0**answers

145 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

**0**answers

41 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

**0**answers

157 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, \...

**2**

votes

**0**answers

31 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
$$\...

**3**

votes

**1**answer

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