**0**

votes

**0**answers

120 views

### reference for groupoid cohomology

In nLab (groupoid cohomology) says:
"Under the homotopy hypothesis theorem, plain (non-internal) groupoid cohomology is the same as the cohomology of homotopy 1-types."
Are there references for ...

**4**

votes

**0**answers

172 views

### Hochschild Cohomology of the Quantum Torus

I would like some advice on how to compute directly, or by a higher powered method the Hochschild Cohomology groups of the quantum torus using the stated complex I have found. I think there are ...

**7**

votes

**1**answer

440 views

### Do modular forms show up in the cohomology of moduli spaces of unmarked curves?

Let $\overline{\mathcal M}_{g,n}$ be the compactified Deligne-Mumford moduli stack (although I don't think taking the coarse moduli space will make much of a difference here). If we decompose $g = 1 + ...

**4**

votes

**1**answer

262 views

### What is the (co-)homology of $K(\mathbb{R}_\delta,n)$?

To elaborate on the question from the title, $\mathbb{R}_\delta$ is the additive group of real numbers (without any topology) and $K(\mathbb{R}_\delta,n)$ is an Eilenberg-MacLane space. I would like ...

**1**

vote

**1**answer

128 views

### When the restriction of derived equivalence to a summand is a derived equivalence as well

I have a question about the equivalence of derived categories. Let $\mathcal{A} = \mathcal{A}'\oplus \mathcal{A}''$ and $\mathcal{B} = \mathcal{B}' \oplus \mathcal{B}''$ are direct sum of abelian ...

**9**

votes

**1**answer

241 views

### Torsors trivializing over a fixed finite etale cover

Let $S$ be an integral regular scheme and let $T\to S$ be a finite etale morphism. Let $G$ be a smooth affine finite type group scheme over $S$.
Is the set of $S$-isomorphism classes of $G$-torsors ...

**0**

votes

**0**answers

107 views

### Chern classes, vanishing of smooth sections or vanishing of holomorphic?

I have seen both definitions and this is getting me more and more confused.
Are Chern classes dual to the degeneracy cycles of smooth sections or holomorphic?
They can't be the same thing, can they?
...

**2**

votes

**0**answers

76 views

### cohomology ring of mapping spaces

In the lecture notes The homology of $\mathcal{C}_{n+1}$–spaces, n ≥ 0. F. Cohen, 1978, page 228-231, the cohomology ring
$$
H^*(\text{Map}_*(S^n, S^n\wedge X);\mathbb{Z}_p)
$$
is obtained for any ...

**2**

votes

**1**answer

138 views

### Configuration spaces of positive and negative particles

In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, page 3, line from bottom 1-3, it is given that for a $m$-manifold $M$, there is a map from the labelled ...

**0**

votes

**1**answer

58 views

### Group completion of labelled configuration space on Euclidean spaces

In the lecture notes The Homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, page 225 -226, it is obtained that there is a group completion on homology
$$
\alpha_n: C(\mathbb{R}^n;X)\to ...

**6**

votes

**3**answers

537 views

### Homological vs. cohomological dimension of a group/space

I have several related questions regarding homological vs. cohomological dimension of a space/group (this is not a duplicate of this).
The standard definition of the cohomological dimension $cd(X)$ ...

**1**

vote

**1**answer

197 views

### Geometric interpretation of Chern classes over flag manifolds

I would like to find that Chern classes of the tautological bundles over a flag manifold are dual to some cells in homology, analogously to what happens for the Grassmanian case. I have not been able ...

**4**

votes

**1**answer

283 views

### Künneth formula for Bredon cohomology theory

Let $G$ be a finite group. Let $X$ and $Y$ be two $G$-CW complexes with known integer graded $G$-equivariant Bredon cohomology with constant coefficient systems. Is there any Künneth formula for this ...

**1**

vote

**0**answers

159 views

### Functors similar to $H^i(\cdot)$

Suppose $T$ is a contravariant functor from the category of pointed topological spaces to the category of abelian groups, then we have homomorphisms $\alpha\colon T(X)\times T(Y)\to T(X\times Y)$ and ...

**3**

votes

**1**answer

126 views

### group completion theorem by using homology fibrations

In the paper Homology fibrations and group completion theorem, McDuff-Segal (www.maths.ed.ac.uk/~aar/papers/mcdsegal.pdf), page 281:
Let $M$ be a topological monoid such that $\pi_0M$ is generated by ...

**0**

votes

**1**answer

301 views

### On a claim of Zagier on extending a map to cocycle

Zagier, in his paper 'Some Surprising Consequences of the Cohomology of SL$_2(\bf{ Z})$' (link, p. 6), studies the action of $\Gamma=PSL_2(\bf Z)$ on a vector space $V$, denoting the action by $v\ |\ ...

**2**

votes

**2**answers

484 views

### What is the $\mathbb Z/2$-cohomology of $\mathrm B^n(\mathbb Z/2)$?

I would like to know the cohomology groups $\mathrm H^\bullet(\mathrm B^n(\mathbb Z/2);\mathbb Z/2)$. I assume that this is a standard computation, but I'm not sure where to look up the answer (and, ...

**2**

votes

**0**answers

379 views

### Differential and pre-differential of Jacobi identity

Let M be a manifold.
To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied?
That is a Lie algebra structure for which $[X,fY]=f[X,Y]$.
(For ...

**1**

vote

**0**answers

118 views

### Generalization of De Rham cohomology for spinor fields

Is there a generalization of De Rham cohomology for spinors fields?
I can see that one can construct p form fields out of spinor field by contraction of the type $\bar{\psi} \gamma^{a_1} ...

**1**

vote

**1**answer

117 views

### Schubert Polynomials for Complex Projective Space

The Borel picture of the cohomology ring of a flag variety gives a description as a coset space, without identifying any representatives for the classes. Lascoux and Schützenberger gave specific ...

**2**

votes

**2**answers

318 views

### Is Eilenberg-Maclane $\wedge$ Moore space the spectrum of the cohomology theory $H^*(\ ,G)$?

In the web page http://www.encyclopediaofmath.org/index.php/Moore_space it can be found the following statement:
If $K(\mathbb Z,n)$ is the Eilenberg–MacLane space of the group of integers ...

**2**

votes

**2**answers

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

**-2**

votes

**1**answer

93 views

### stable splitting into a wedge sum [closed]

Suppose $X$ is a CW-complex such that there is a stable splitting of $X$ into wedge sum
$$
\Sigma^t X\cong \bigvee _{k=1}^\infty Y_k.
$$
(1). Does this imply
$$
X\to \Sigma^tX\to \bigvee ...

**1**

vote

**1**answer

228 views

### What is the cokernel of the map $H^2\big(\pi_1(X), \mathbb Z\big) \longrightarrow H^2(X,\mathbb Z).$

For a manifold $X$ (for simplicity, assumed to be compact), let $\pi_1(X)$ be the fundamental group of $X$. What is the cokernel of the map $$H^2\big(\pi_1(X), \mathbb Z\big) \longrightarrow ...

**2**

votes

**0**answers

99 views

### Generating free groups by small subgroups and an element

Let $F$ be a free group of countably infinite rank, and let $L \leq F$ be a finite index subgroup. For some prime $p$ and $k \in \mathbb{N}$, let $\sigma \colon L \to ...

**3**

votes

**2**answers

292 views

### Upper bound on Betti numbers of an intersection of hypersurfaces (or quadrics)

I have a problem I have been stuck with since several weeks now, and yet I believe it should be easy to specialists.
Let $k$ be an algebraically closed field, $m$ and $n$ two integers. Let ...

**8**

votes

**4**answers

942 views

### Is there a (satisfying) proof that cellular cohomology is isomorphic to simplicial cohomology that doesn't use relative cohomlogy?

That singular and de Rham cohomologies of a smooth manifold are isomorphic has two proofs that I know of. The classical one uses Stokes' theorem to give the isomorphism explicitly. The second proof ...

**1**

vote

**1**answer

148 views

### Unordered configuration space of $\mathbb{R}P^1$

In the paper
GEOMETRY OF TRUNCATED SYMMETRIC PRODUCTS AND REAL
ROOTS OF REAL POLYNOMIALS, JACOB MOSTOVOY, Bull. London Math. Soc. (1998) 30 (2):
159-165,
Theorem 2. (b): ...

**1**

vote

**1**answer

221 views

### Multiplicative structure in the cohomological Leray-Serre spectral sequence - please elucidate a proof

Let $\pi \colon X \to B$ be a fibration with $B$ a path-connected CW complex. Write $B^p$ for the $p$-th skeleton of $B$ and set:
$X_p = \pi^{-1}(B^p)$,
$F_p^m = \ker [H^m(X) \to H^m(X_{p-1})]$, ...

**3**

votes

**1**answer

212 views

### When is the cohomology of a space Ext(k,k)?

If $X$ is aspherical, we know that $H^*(X,k) = \text{Ext}_R(k,k)$, with $R = k\pi_1$. For non-aspherical spaces, do we ever have $H^*(X,k) = \text{Ext}_R(k,k)$ for some ring $R$? Obviously we need ...

**3**

votes

**0**answers

95 views

### Action of automorphisms on cohomology with supports

Let $x$ be the closed point of an $n$-dimensional local scheme $X$, essentially smooth over a field $k$. Let $M$ be a sheaf on the category of smooth $k$-varieties (in either Zariski or Nisnevich ...

**3**

votes

**1**answer

155 views

### LES for relative cohomology via sheaves

I was unable to find a suitable answer for the following question:
Once one learns that singular cohomology is the same as cohomology with coefficients in locally constant sheaf, it is natural to try ...

**18**

votes

**1**answer

672 views

### What are explicit obstructions to realizability of formal group laws as complex-oriented ring spectra?

Recall that a complex-oriented spectrum is a ring spectrum E with a map $MU \to E$.
Analogously, a ring with a (1-d commutative) formal group law is (represented by) a ring $R$ with a map $L \to R$ ...

**9**

votes

**1**answer

331 views

### Identifying a Hopf algebra cohomology theory

Here is a cohomology theory for a Hopf algebra, which I am sure has appeared elsewhere. I met it in the van Est spectral sequence for Hopf algebras. Apologies for my being stupid here, but it would be ...

**8**

votes

**2**answers

474 views

### Interpretation of the monomorphism $H^2(\pi_1(X),\mathbb{Z}) \rightarrow H^2(X,\mathbb{Z})$

Let $X$ be a nice topological space and denote by $\pi_1(X)$ its fundamental group.
It is well-known that there is a well-defined map
$$
0 \rightarrow H^2(\pi_1(X),A) \rightarrow H^2(X,A),$$
where ...

**5**

votes

**0**answers

146 views

### Are all these K3 surfaces supersingular?

Consider all the smooth K3 surfaces given by $X^4+W^2X^2+XW^3 = f(Y,Z,W)$ or $X^4+XW^3 = g(Y,Z,W)$ over $\mathbb F_{2}$ with $f$ or $g$ homogenous of degree 4. There are a lot of choices for $f$ and ...

**7**

votes

**1**answer

335 views

### What is an example of a formal group law that is Landweber-exact but not flat?

Quick Background: The $p$-series of $F$ (where $F$ is a formal group law over a graded ring $R$) will be of the form $[p](x) = px + v_1x^{p^1} + ... + v_nx^{p^n} + ...$ ; $(F, R)$ is Landweber-exact ...

**0**

votes

**0**answers

62 views

### Cohomology operators inducing local basis of $1-$forms

Suppose that $\partial$ is a non-trivial ($\partial \neq 0$) cohomology operator on an $m-$dimensional manifold $M$ (that is: $\partial:\Omega(M)\to\Omega(M)$ is a degree $1$ derivation such that ...

**3**

votes

**1**answer

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

**2**

votes

**1**answer

209 views

### When is finding an explicit inverse of an isomorphism not possible

My question is about Shapiro's lemma. Consider the isomorphism $\phi: H^n(G, Hom_{ZH}(ZG, A))\cong H^n(H,A)$ of shapiro's lemma. I would like to describe this via cochains.
So the obvious map is ...

**2**

votes

**0**answers

105 views

### Deformations of associative algebras and Hochschild cohomology

I am studying the deformation theory of associative algebras (and Poisson algebras) and came across a question for which I cannot find an answer:
Let $(A,\mu)$ be a commutative associative algebra ...

**3**

votes

**1**answer

176 views

### Galois cohomology out of the classifying stack

Suppose $G$ is a smooth and abelian $k$-group scheme, for $k$ a field.
Is it possible to get back galois cohomology groups $H^*(k,G)$ studying the cohomology of the classifying stack $BG=[*/G]$ ?

**1**

vote

**0**answers

51 views

### $\Gamma$ cohomology of principal series

Let $G$ be a noncompact connected real semisimple Lie group with finited center. Let $\Gamma$ be a cocompact discrete subgroup of $G$, and let $P$ be a parabolique subgroup
with Langlands ...

**2**

votes

**1**answer

186 views

### rational cohomology of finite real grassmannian

Let $p_j$ to be the $j$-th Pontryagin class of the universal $n$-plane bundle $E_n(\mathbb{R}^\infty)\to G_n(\mathbb{R}^\infty)$. Then according to Theorem 1.6, The Cohomology of BSO n and BO n with ...

**3**

votes

**1**answer

233 views

### cohomology ring of configuration spaces

In the paper configuration spaces: applications to Gelfand-Fuks cohomology, by F. Cohen and L. Taylor, Bull. Amer. Math. Soc., 1978, theorem 1, I did not find the proof. What method did the author use ...

**1**

vote

**1**answer

214 views

### cohomology of the orbit space of a group action

Let $M$ be a manifold. Let a finite group $G$ act on $M$ discretely. Let $F$ be a field.
Suppose the induced action of $G$ on the cohomology algebra $H^*(M,F)$ is known. We want to obtain ...

**0**

votes

**0**answers

151 views

### Wedge product of Endomorphism-Valued Forms

To define characteristic classes in smooth vector bundles $E\longrightarrow M$ there is a more or less standard procedure: to choose a connection $\nabla$ and to derive the curvature $\Omega$, which ...

**0**

votes

**1**answer

102 views

### Rationally graded singular cohomology

In the paper "A new cohomology theory for orbifold" by Chen/Ruan, they define the orbifold cohomology group of an orbifold $X$ by
$H^d_{orb}(X)=\bigoplus_{(g) \in T} H^{d-2\iota_{(g)}}(X_{(g)})$
...

**0**

votes

**1**answer

138 views

### Crossed module classification theorem and $H^3(G; A)$

We are interested in "Crossed Module Classification Theorem (Two crossed modules with kernel $A$ and cokernel $G$ determined the same class in $H^3(G;A)$ if and only if they are equivalent.)".
We ...

**1**

vote

**1**answer

181 views

### Degree of irreducible locally free sheaves and global sections on curves

Let $X$ be a smooth projective curve and $\mathcal{F}$ a locally free sheaf on $X$ of rank $2$ and negative degree. Assume further that $\mathcal{F}$ is irreducible in the sense, $\mathcal{F}$ cannot ...