The cohomology tag has no usage guidance.

**1**

vote

**0**answers

122 views

### Bockstein cohomology

There is a notion of Bockstein homomorphism $\beta$. I am interested precisly in the case of sequence $$0 \rightarrow \mathbb{Z}/p \mathbb{Z} \rightarrow \mathbb{Z}/p^2 \mathbb{Z} \rightarrow ...

**1**

vote

**0**answers

124 views

### cohomology ring of second unordered configuration space

For a topological space $X$, let the second unordered configuration space $B(X,2)$ be the collection of
$
(a,b)\in X\times X
$
with $a\neq b$ modulo the equivalent relation $(a,b)\sim (b,a)$.
Let ...

**17**

votes

**1**answer

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

**0**

votes

**0**answers

77 views

### When can the restriction map be zero or onto?

Let $G$ be a finite $p$ group of order $p^n$ and $N$ be a subgroup of $G$ of index $p$. Let $res:H^2(G,A) \rightarrow H^2(N,A)$ be the restriction map on cohomology, where $A$ is a trivial $G$ module. ...

**0**

votes

**0**answers

92 views

### a paper by D. Kahn published in 1975

I want to find the reference:
D. Kahn, Homology of the Barratt-Eccles decomposition maps, Reunion Sobre Teoria De Homotopia, Universidad de Northwestern, Agosto, 1974. Sociedad Matemtica Mexicana, ...

**14**

votes

**1**answer

231 views

### Multiplicative cohomology theories and smash products

In his student guide on page 154, Adams gives a construction of products for cohomology using "pairings" of spectra (now known as maps from $E\wedge E\to E$). But then he says
However, G. W. ...

**3**

votes

**1**answer

161 views

### In which category does Illusies derived deRham complex live?

In "Complexe cotangent et déformations II", Illusie introduces the derived deRham complex as the pro-completion of the total complex associated to the double complex
$$\Omega_{P_j^A(B)/A}^i$$
where ...

**8**

votes

**1**answer

331 views

### Mathematics of Chiral Rings

Let $A$ be a graded vector space, and suppose that two commuting differentials $d_1$ and $d_2$ of degree +1 act on $A$, such that $A$ equipped with either is a chain complex.
We now construct $C(A)$, ...

**7**

votes

**2**answers

416 views

### Galois cohomologies of an elliptic curve

I asked this question at math stackexchange but did not get any answer and I was suggested to post the question here.
I am studying basic theory of elliptic curves. I encountered Galois cohomology. ...

**1**

vote

**1**answer

65 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}$ ...

**0**

votes

**0**answers

59 views

### Homology of product of two groups [duplicate]

There is well known formula for the homology of product of two groups with coefficient in integers, that is
$0 \rightarrow \oplus_{p+q=n}H_p(G,\mathbb{Z}) \otimes H_q(H,\mathbb{Z}) \rightarrow H_n(G ...

**2**

votes

**1**answer

104 views

### positions of regular cubes in Euclidean space with all its vertices without distinction

Let $P$ be the standard regular cube, centered at the origin of $\mathbb{R}^3$ with all its vertices on the unit sphere.
If the vertices are labelled by $1,2,3,4,5,6,7,8$, then the collection of ...

**10**

votes

**1**answer

281 views

### T-equivariant cohomology of flag variety

Let $X=G/B$ , where $G=GL_n(\mathbb{C}^n)$ and $B$ be the upper triangular matrices. I am curoius about the structure of $H^*_T(G/B)$ which I consider as a $H_T^*(pt)$-module. If we just consider ...

**3**

votes

**1**answer

182 views

### geometric conditions on maps between manifolds inducing monomorphisms on cohomology

Let $M,N$ be manifolds whose dimensions may be different. Let $f: M\longrightarrow N$ be a smooth map. What geometric conditions on $f$ can we impose such that the induced homomorphism
$$
f^*: ...

**1**

vote

**0**answers

89 views

### Schubert Calculus for the Full Flags

Almost all introductory texts on Schubert calculus discuss the Grassmannian case only. Does there exist a nice discussion of the full flag manifold case $SU(N)/T^{N-1}$? A low dimensional example ...

**5**

votes

**1**answer

201 views

### Graded Hopf algebras and H-spaces

Let $k$ denote an algebraically closed field of characteristic $0$. Suppose $K=\bigoplus_{i\geq 0}K(i)$ is a Hopf $k$-algebra which admits a connected Hopf-grading (that is, a grading which is both ...

**8**

votes

**1**answer

234 views

### Stiefel-Whitney class of fibre bundles

Let $F,E,B$ be manifolds (we may assume them to be compact, without boundary if necessary) and $$F\to E\to B$$ be a fibre bundle. Suppose $$w(F), w(B),$$ the Stiefel-Whitney class of $F$ and $B$, are ...

**1**

vote

**0**answers

71 views

### cohomology ring of configuration spaces of the plane with the $k$-points not all lying in the $x$-axis

(I). For an integer $k\geq 3$ and a topological space $A$, let $S_k$ be the $k$-th symmetric group, $F(A,k)$ be the $k$-th ordered configuration space and $F(A,k)/S_k$ be the $k$-th unordered ...

**20**

votes

**3**answers

1k views

### Why should curves be two-dimensional?

In Weil cohomology, a nice curve has cohomology up to degree 2, or more generally a nice $n$-dimensional variety has cohomology up to degree $2n$.
I know that this was motivated at least in part by a ...

**8**

votes

**1**answer

181 views

### references for Stiefel-Whitney class of Stiefel manifolds and Grassmannians

Let $M$ be a manifold. The total Stiefel-Whitney class of $M$ is defined to be the Stiefel-Whitney class of the tangent bundle $TM$
$$
w(M)=1+w_1(TM)+w_2(TM)+\cdots
$$
I want to find references for
$$
...

**10**

votes

**1**answer

469 views

### positions of a methane molecule with carbon atom at the origin

Let $\text{CH}_4$ be the molecule of Methane:
The four hydrogen atoms form vertices of a regular tetrahedron with the carbon atom in the center of the regular tetrahedron.
Here we regard all atoms ...

**3**

votes

**2**answers

257 views

### mod p cohomology ring of alternating groups

Let $A_n$ be the alternating group of $\{1,2,\cdots,n\}$.
(1). What is the cohomology ring
$$
H^*(A_4;\mathbb{Z}/3)
$$
and its Steenrod operation $P^i$'s?
(2). Are there general results about the ...

**3**

votes

**1**answer

185 views

### Geometric interpretation of the conjugation operation in the dual Steenrod algebra

As the dual mod 2 Steenrod algebra, $A$, is a Hopf algebra, it has the conjugation operation, $\chi:A\to A$. Milnor also gives a formula for this.
I wonder if there is any source telling about a ...

**3**

votes

**0**answers

145 views

### What is the formula for the homology class represented by the diagonal?

Let $M$ be a compact oriented manifold and $\{\mu_{i}\}$ a basis
for the homology $H_*(M, \mathbb{Z})$ (we are ignoring any torsion).
Now consider the diagonal $\Delta_{M}$ inside $M\times M$. ...

**5**

votes

**0**answers

76 views

### configuration space of Riemannian manifolds with a parameter on the distance of distinct points

Let $M$ be a Riemannian manifold. For any $\epsilon\geq 0$, we define the $k$-th ($k=1,2,\cdots$) "$\epsilon$-configuration space" as
$$
F(M,k,\epsilon)=\{(x_1,\cdots,x_k)\in M^k\mid d(x_i, ...

**3**

votes

**0**answers

157 views

### Brauer group of a rational variety

This is a follow-up question to this question. There and here $X$ is a normal projective rational surface over $\mathbb{C}$ with finitely generated divisor class group $\text{Cl}(X)$. My question is:
...

**0**

votes

**0**answers

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

**6**

votes

**3**answers

329 views

### Examples of Stiefel-Whitney classes of manifolds

Let $M$ by an compact, connected $n$-dimensional manifold without boundary.
Are there any other computable examples of the Stiefel-Whitney class $w(M)$ except for $M=S^m, \mathbb{R}P^m,\mathbb{C}P^m, ...

**4**

votes

**0**answers

101 views

### cohomology ring of stable configuration spaces

Let $M$ be a compact Riemannian manifold without boundary. Distinct $k$-points $x_1,\cdots,x_k\in M$ are called stable if the potential energy given by coulomb forces among $k$ electrons reaches ...

**2**

votes

**1**answer

175 views

### Kunneth formula of Cartesian product modulo orders of coordinates

Let $X$ be a topological space and $F$ a field. Let the $n$-th permutation group $\Sigma_n$ act on
$$
\prod_n X
$$
by
$$
\sigma(x_1,\cdots,x_n)=(x_{\sigma(1)},\cdots,x_{\sigma(n)}), \sigma\in ...

**2**

votes

**2**answers

218 views

### Is the “inverse” (i.e., the “cohomological”) numeration for singular (i.e., $H\mathbb{Z}$-)homology of spectra “acceptable”? [closed]

I have recently realized that in one of my (published) papers I have used the "inverse" numeration for the $H\mathbb{Z}$-homology of the objects of the stable homotopy category (so, if we consider ...

**0**

votes

**1**answer

130 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

**0**answers

40 views

### group action on Stiefel manifolds [duplicate]

In the paper The cohomology rings of real Stiefel manifolds
with integer coefficients, it is stated that
Question:
Suppose the permutation group $\Sigma_k$ acts on $V_{n,k}$ by permuting the order ...

**0**

votes

**1**answer

99 views

### cohomology ring of the fundamental group of unordered configuration space

From the lecture notes INTRODUCTION TO CONFIGURATION SPACES AND THEIR
APPLICATIONS, p. 18, I find:
Os it possible to derive the cohomology ring $H^*(Conf(S,k)/\Sigma_k;\mathbb{Z}_2)$ from the above ...

**0**

votes

**0**answers

62 views

### construction of grassmannian manifolds as collection of subspaces of Euclidean space

The grassmannian $G_k(\mathbb{R}^n)$ is the collection of all $k$-dimensional linear subspaces of $\mathbb{R}^n$ equipped with the quotient topology. The cohomology ring of $G_k(\mathbb{R}^n)$ has ...

**0**

votes

**2**answers

269 views

### When is the Thom class the Poincare dual of the zero section?

As the title suggests, when is the Thom class the Poincare dual of the zero section? For starters, it's true for the normal bundle of an immersion...

**22**

votes

**4**answers

3k 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

**0**answers

142 views

### Possible Betti numbers of smooth complex varieties

Given a smooth projective complex variety $X$ of dimension $n$, there are various restrictions on its sequence of Betti numbers $b_0, b_1, ..., b_{2n}$. Of course, $b_0=b_{2n}=1$ and $b_i=b_{2n-i}$ by ...

**1**

vote

**1**answer

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

**1**

vote

**0**answers

112 views

### Serre spectral sequence to compute cup product of bundles

Could we use Serre spectral sequence to compute cup product $\cup$ for the fibration
$$
F\to E\to S^m?
$$
My supervisor said this is true and wrote
$$
H^*(S^m)\to H^*(E)\to H^*(F),\\
\alpha\to ...

**0**

votes

**0**answers

53 views

### cohomology ring of iterated loop-suspension of spheres

In the book The unstable Adams spectral sequence for free iterated loop spaces (http://www.ams.org/bookstore?fn=20&arg1=memoseries&ikey=MEMO-36-258), Corollary 3.14:
Question: given $n$, ...

**2**

votes

**1**answer

158 views

### generalized universal coefficient sequence

Take the familiar Universal Coefficient Theorem for ordinary homology with $\mathbb{Z}$-coefficients and ordinary cohomology with coefficients in some abelian group $A$:$$0\rightarrow ...

**4**

votes

**1**answer

72 views

### Injective model structure on sheaves of bounded complexes of $A$-modules

The following might be very well known for people who works with model categories, but I do not find the answer.
Let $A$-be a ring. Denote $\mathbf{Ch}_+(A)$ the category of positive degree cochain ...

**6**

votes

**1**answer

170 views

### Steenrod operations on cohomology of grassmannians

Let $G_k(\mathbb{R}^n)$, $n\geq k$ and $G_k(\mathbb{R}^\infty)$ be the finite-dimensional and infinite-dimensional grassmannians respectively. Their cohomology rings are expressed in terms of ...

**6**

votes

**1**answer

141 views

### cohomology of iterated loop space on spheres

In the book The homology of iterated loop spaces, the homology Hopf algebra
(1)
$$
H_*(\Omega^n \Sigma^n X;\mathbb{Z}_p)
$$
for primes $p\geq 2$ is obtained on p. 226, Thm. 3.2. In particular, the ...

**13**

votes

**1**answer

384 views

### Integral cohomology ring of K(Z,3)

Computing the cohomology of Eilenberg Maclane spaces is a feasible but difficult problem in algebraic topology. The general answer is quite complicated (see the MO answer and the reference therein ...

**4**

votes

**2**answers

261 views

### cup product and Steenrod operations in Serre spectral sequence

Let $F\to E\to B$ be a fibration with $B$ simply-connected. Suppose all differentials in the cohomology Serre spectral sequence (corresponding to the above fibration) are zero maps. Then as a graded ...

**2**

votes

**1**answer

184 views

### Schubert calculus and Pieri's formula

In the lecture notes Grassmannians: the first example of a moduli space. MIT Open Course Ware. page 7:
Are there any formal publications (books/papers) where I can find the formula?

**4**

votes

**1**answer

179 views

### group completion theorem of homology as Hopf algebras

Let $M$ be a topological monoid with product $\mu$. Then $H_*(M)$ is a Hopf algebra with product $\mu_*$ and coproduct $\Delta_*$. The group-completion theorem by McDuff-Segal, 1976 gives that as a ...

**3**

votes

**0**answers

80 views

### Crossed homomorphisms between power series groups

Consider the group $\mathbb{C}[[z]]_1$ of the power series of the form $a_1 z + a_2 z^2 + \cdots$, with $a_1\neq 0$, under the operation of composition, and $\mathbb{C}[[z]]$ as a ...