The cohomology tag has no wiki summary.

**3**

votes

**2**answers

219 views

### cohomology algebra of braid spaces, configuration spaces

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, Chapter 5, 6, 7, 8, 9, 10, 11, the cohomology algebra $H^*(B(\mathbb{R}^{n+1},p),\mathbb{Z}_p)$, for ...

**0**

votes

**1**answer

122 views

### cohomology version of Cartan-Leray spectral sequence that deduces cup product

On page 338, A User's Guide to Spectral Sequences. 2nd Edition, by John McCleary, Theorem 8.9, there is a Cartan-Leray spectral sequence for homology:
If $X$ is a connected pace on which the group ...

**1**

vote

**1**answer

147 views

### fiber sequence of principal bundles

Let $G$ be a group, either a Lie group or a discrete group. Let a principal $G$-bundle
$$
G\to E\to B,$$
then $B=E/G$, the orbit space under action of $G$.
Let $BG$ be the classifying space of $G$.
...

**4**

votes

**1**answer

240 views

### Relation between cohomology of ordered and unordered configuration spaces

Let $M$ be a manifold. Then $F(M,k)/\Sigma_k$, the unordered configuration space of $k$ points, is obtained as a quotient of $F(M,k)$, the ordered configuration space of $k$ points, by the group ...

**4**

votes

**1**answer

260 views

### Leray's theorem up to some degree

I am interested in the proof of Leray's theorem that relates Čech cohomology and sheaf cohomology.
The theorem states that if we have a space $X$, a sheaf $\mathcal{F}$ and a covering of $X$ such ...

**-1**

votes

**1**answer

91 views

### cohomology algebra of unordered configuration space on Euclidean space

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, page 210 (the preface part before contents):
Line 2: ... is used to compute the precise algebra ...

**4**

votes

**0**answers

133 views

### cohomology algebra of unordered configuration space with coefficients the finite fields

in the paper The cohomology algebra of unordered configuration spaces (Y. Félix, D. Tanré, J. London Math. Soc., 2005), Theorem 4:
Let $M$ be an odd-dimensional, compact, closed, oriented manifold. ...

**0**

votes

**1**answer

118 views

### cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$.
Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...

**6**

votes

**1**answer

214 views

### The cohomology of an $S_{3}$ cover of an elliptic curve ramified in one point

Let $E/\mathbb{C}$ be an elliptic curve. Let $C \to E$ be a Galois cover with group $G = S_{3}$ (symmetric group on $3$ elements), ramified in one point. (To clarify: there is a unique point in $E$ ...

**0**

votes

**0**answers

90 views

### Closed Invariant Forms on Complex Projective $k$-Space

Considering complex projective $k$-space as the homogeneous space $SU_k/U_{k-1}$, is it true that every $SU_k$-invariant form is closed?

**1**

vote

**0**answers

94 views

### Identifying a cohomology class arising from a Postnikov decomposition of BU(2)

For various reasons I'm currently interested in Principal $U(n)$-bundles $U(n)\hookrightarrow E\xrightarrow{p} S^m\times X_g$ over the Cartesian product of an $m$-sphere and a closed oriented surface ...

**0**

votes

**0**answers

43 views

### cohomology of a variation of wreath product

Let $C$ the space of points that looks like $(z_1,z_2,\ldots,z_n,z_{\sigma(1)},z_{\sigma(2)},\ldots,z_{\sigma(n)})$ with $z_i\in \mathbb{C}$ and $\sigma$ runs over all the permutations of $S_n$. Is ...

**1**

vote

**1**answer

244 views

### A Comparison between $\pi_{1}$ of cohomology and cohomology of $\pi_{1}$

Let we have a complex of abelian topological or lie groups $$\ldots \to G_{n}\to G_{n+1}\to \ldots$$ such that the image of $G_{n}$ is a closed subgroup of $G_{n+1}$. Then we have a complex of ...

**-2**

votes

**1**answer

96 views

### Definition of Milnor exact sequence and complex-oriented generalized cohomology of $\mathbb{C}P^{\infty}$

Consider a complex-oriented multiplicative generalized cohomology theory $h^{*}(X)$. It is complex-oriented, if by the definition the following two conditions hold:
1) There exists an element $t\in ...

**6**

votes

**0**answers

216 views

### When did “Betti cohomology” come to be used the way it is today? (and how is it used)

This is sort of a mixture of a math and history question.
First the math part: thinking about it, I do not actually know how to properly use the term "Betti cohomology". I know I should, but I ...

**3**

votes

**2**answers

266 views

### The relation between group cohomology and the cohomology of the classifying space

We know that the Borel group cohomology (group cohomology of measurable functions) of a group $G$, ${\cal H}_B^d(G,Z)$, is given by the cohomology of the classifying space: ${\cal ...

**1**

vote

**1**answer

216 views

### Bockstein homomorphism from $H^d(BG,Z_2)$ to $H^{d+1}(BG,Z)$, and Steenrod Square $Sq^1$

The Theorem 1.5 and 1.6 of
Brown, Edgar H., Jr. The cohomology of BSOn and BOn with integer coefficients. Proc. Amer. Math. Soc. 85 (1982), no. 2, 283–288.
give a general answer for $H^d(BSO_n,Z)$ ...

**1**

vote

**1**answer

231 views

### Relations between characteristic classes of a group and the Stiefel-Whitney/Pontryagin classes

Let $X$ be a closed manifold and $BG$ be the classifying space of a group $G$
A map from $X$ to $BG$ induce a map from $H^*(BG,Z)$ to $H^*(X,Z)$ by pull back.
Let $GH^*(X,Z)$ be the subgroup of ...

**16**

votes

**0**answers

246 views

### Elliptic $\infty$-line bundles over $B G$

Theorem 5.2 in Jacob Lurie's "Survey of Elliptic Cohomology" (pdf) states the equivalence of two maps
$$
B G \longrightarrow B \mathrm{GL}_1(A)
$$
for $A$ an $E_\infty$-ring carrying an oriented ...

**2**

votes

**0**answers

124 views

### generalized Atiyah-Hirzebruch spectral sequence from Postnikov truncation

The Atiyah-Hirzebruch spectral sequence
\begin{equation*}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}(E),\end{equation*}
computes the generalized homology $h$ of a total space $E$ of a Serre fibration ...

**23**

votes

**1**answer

667 views

### Making $\mathbb{Q}$-cohomology integral

Let $X$ be an algebraic variety (say, smooth and projective) over $\mathbb{C}$, and fix $$\alpha\in H^i(X^{\text{an}}, \mathbb{Q})$$
with $i>0$.
Does there always exist a variety $Y$ and a ...

**7**

votes

**1**answer

228 views

### cohomology of classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$.
Let $r: \Sigma_k\to GL(k)$ be the regular representation by permuting the order of the standard basis of $\mathbb{R}^n$.
Let $\rho: ...

**14**

votes

**5**answers

584 views

### Take contraction wrt a vector field twice and define kernel mod image. Does that give anything interesting?

First, we make the following observation: let $X: M \rightarrow TM $ be a vector
field on a smooth manifold. Taking the contraction with respect to $X$ twice gives zero, i.e.
$$ i_X \circ i_{X} ...

**4**

votes

**1**answer

293 views

### Fundamental class in K-theory and orientability

In ordinary homology, the classical results give the following situation:
for a compact, connected, topological manifold $M$ of dimension $n$ we have, for each ring $R$, that $H_n(M,M \setminus ...

**1**

vote

**2**answers

190 views

### The cohomology groups of $\Omega U(n)$

Let $\Omega U(n)$ be the loop space of $U(n)$. Is it true that the cohomology groups $H^*(\Omega U(n); \mathbb{Z})$ are torsion-free? How can one calculate these groups?

**0**

votes

**0**answers

69 views

### Corestriction map for the relative homology (cohomology) group

Let $G$ be a group and $N$ be its normal subgroup. Is there any concept of corestriction map for the relative homology (cohomology) group $H_n(G,N,-)$ ($H^n(G,N,-)$) such that when $N=G$ it is the ...

**2**

votes

**0**answers

170 views

### l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...

**1**

vote

**0**answers

51 views

### Which groups may be obtained as $K$-homology groups?

Recently I asked the following question, about the separability of the underlying $C^*$-algebra in the definition of $K$-homology:
mathoverflow.net/questions/181361
As far as I understood, ...

**1**

vote

**0**answers

170 views

### Finite Cohomology and free groups

Let $F$ be a finitely generated nonabelian free profinite group, $p$ a prime number, $L \lhd_o F$ with $[F : L]$ coprime to $p$, $N \lhd_c^\infty F$ contained in $L$ with $L/N$ pro-$p$, and $N \leq H ...

**5**

votes

**0**answers

115 views

### The action of Steenrod squares on the indeterminate in Bullett-Macdonald identities

The Bullet-Macdonald identity (c.f. On the Adem relations)is the following:
$$P(s^2+st)P(t^2)=P(t^2+st)P(s^2).$$
where we have $P(s)=\Sigma _s s^iSq^i$. This is known to be equivalent to the
Adem ...

**42**

votes

**2**answers

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

**0**

votes

**0**answers

137 views

### natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$?

is there any natural map from natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$? where $G$ is a discrete group, $BG$ is the classifying space, and $\underline E G$ is the ...

**2**

votes

**0**answers

206 views

### Kaplansky Idempotent conjecture and Extension theory

We consider the Idempotent Kaplansky conjecture with $\mathbb{C}$- coefficients, that is the problem of nontrivial idempotents for group algebra $\mathbb{C}\Gamma$ where $\Gamma$ is a torsion free ...

**4**

votes

**2**answers

286 views

### Cohomology of the toric variety $X_\Sigma=\mathbb C^2\sqcup \mathbb C^2\big/\left((x,y)_1\sim(x^{-1},y^{-1})_2\right)_{x,y\neq 0}$

I'm writing a thesis on Chow rings of toric varieties and am looking for a reference on the singular cohomology ring of the blowup of $\mathbb C^2$ at xy=0, i.e. at the coordinate axes. The ...

**1**

vote

**0**answers

92 views

### Differences and relationships between Motivic cohomology and Universal cohomology theory? [duplicate]

Differences and relationships between Motivic cohomology (Beilinson, Lichtenbaum and Voevodsky) and Universal cohomology theory (Grothendieck)?

**4**

votes

**1**answer

245 views

### Non-vanishing of elements in cohomology of full Flag varieties

Consider the full flag variety $F_n$ consisting of full flags in $\mathbb C^n$. There is a collection of tautological bundles on $F_n$:
$0=U_0\subset U_1\subset ...\subset U_{n-1}\subset U_n=\mathbb ...

**3**

votes

**0**answers

124 views

### Are there any useful Grothendieck topologies for which the H1 of $GL_n$ is not the set of rank $n$ vector bundles

Let n be a positive integer and X a scheme. Then for all the Grothendieck topologies I know (Zariski, etale, fppf) the set $H^1(X,GL_n)$ is the set of (isomorphism classes of) rank $n$ vector bundles.
...

**0**

votes

**1**answer

98 views

### Cohomology of a fibered surface

Let $R$ be a complete Henselian discrete valuation ring, $\pi:X \to \mathrm{Spec} (R)$ be a smooth, proper, integral, flat $\mathrm{Spec} (R)$-scheme of dimension $2$. Assume that the genus of the ...

**4**

votes

**0**answers

116 views

### Complexes of arithmetic $\mathcal{D}$-modules with Frobenius structure

This is a question about the category $F\text{-}D^b_\mathrm{coh}(\mathscr{D}^\dagger_{\mathscr{X},\mathbb{Q}})$ of complexes of arithmetic $\mathscr{D}$-modules with Frobenius structure on a smooth ...

**4**

votes

**1**answer

201 views

### What properties of line bundles can be detected cohomologically?

Let $X$ be a proper, finite type scheme over a field $k$. What useful properties of line bundles (e.g. amplitude, nefness) can be detected cohomologially?
For example, in our setting we have the ...

**2**

votes

**0**answers

162 views

### extension problem for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow ...

**4**

votes

**2**answers

287 views

### stability results for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow ...

**7**

votes

**2**answers

583 views

### What morphisms induce injective/surjective maps on (Weil) cohomology?

Let $k$ be a field, let $f \colon X \to Y$ be a morphism of $k$-varieties, and assume $X$ and $Y$ are smooth and projective. Let $H(\_)$ be a classical Weil cohomology theory (i.e. one of $\ell$-adic ...

**0**

votes

**1**answer

162 views

### help with cohomology of $\mathbb{P}^n$ relative to a NCD

Let $H_0, \ldots, H_n$ be $n$ hyperplanes in $\mathbb{P}^n(\mathbb{C})$ with normal crossings and denote by $H$ the union of them. I am trying to understand why
(1) $H^n(\mathbb{P}^n(\mathbb{C}), ...

**7**

votes

**2**answers

277 views

### A cohomology group which depends on the connection

Warning: I am not a differential geometer, so some of the following might not make sense.
Background:
Let $w: (T\Omega)^k \to \mathbb{R}$ be a $k$-tensor on $\Omega$, an open subset of ...

**4**

votes

**1**answer

155 views

### Interpretations of differentials in hypercohomology spectral sequences as Yoneda products

I would like to know whether the differentials in a particular hypercohomology spectral sequence can each be interpreted, in some natural way, as Yoneda products between extension groups.
More ...

**7**

votes

**0**answers

113 views

### When is the projection of an induced fibration trivial on cohomology?

Let $p: E\to B$ be a fibration, and let $f: A\to B$ be a continuous map. In my applications, $E$ and $B$ are finite complexes, but $A$ need not be. Form the pullback
$$
\begin{array}{ccc} W & \to ...

**5**

votes

**0**answers

191 views

### Which ring spectra have some kind of exponential map turning addition into multiplication?

This accepted answer to the question about $BU_\otimes$ made me recall that I want to read about this general phenomenon for a long time.
What will follow is sort of vernacular but whether it can be ...

**9**

votes

**1**answer

307 views

### Is there a yoga of effectivity for motives and their realizations?

Inside the 'usual' categories of motives (Chow, Voevodsky ones) there are the categories of effective motives. Similarly, there are effective Hodge structures; they seem to be closely related with ...

**3**

votes

**1**answer

136 views

### Can André–Quillen homology detect the property of being Gorenstein?

Let $(A,m,k)$ be commutative noetherian local ring.
Can one detect if $A$ is a Gorenstein ring from the André–Quillen homologies $H_n(A,k,-)$?