All Questions
Tagged with cohomology at.algebraic-topology
534
questions
1
vote
0
answers
65
views
End cohomology and space of ends
I have started learning about end cohomology, and as far as I understand, the zeroth end cohomology $H_e^0(M; \mathbb{Z})$ is isomorphic to the zeroth Čech cohomology $\check{H}^0(e(M); \mathbb{Z})$, ...
6
votes
1
answer
413
views
Nilpotency of generalized cohomology
$\newcommand\pt{\mathrm{pt}}$Let $(X,\pt)$ be a connected, pointed, finite CW complex and let $h$ be a generalized cohomology theory. Let $\smash{\tilde{h}}^*(X)$ denote the kernel of restriction $h^*(...
2
votes
1
answer
112
views
Unimodular intersection form of a smooth compact oriented 4-manifold with boundary
Let $X$ be a smooth compact oriented 4-manifold with nonempty boundary. Its intersection form $$ Q_X : H^2(X,\partial X;\Bbb Z)/\text{torsion}\times H^2(X,\partial X;\Bbb Z)/\text{torsion}\to \Bbb Z$$
...
7
votes
0
answers
216
views
Relation beween Chern-Simons and WZW levels, and transgression
3d Chern-Simons gauge theories based on a Lie group $G$ are classified by an element $k_{CS}\in H^4(BG,\mathbb{Z})$, its level. Via the CS/WZW correspondence the theory is related with a 2d non-linear ...
4
votes
2
answers
274
views
Loop-space functor on cohomology
For a pointed space $X$ and an Abelian group $G$, the loop-space functor induces a homomorphism $\omega:H^n(X,G)\to H^{n-1}(\Omega X,G)$.
More concretely, $\omega$ is given by the Puppe sequence
$$\...
6
votes
1
answer
355
views
Fivebrane bordism $\Omega_d^{\mathrm{Fivebrane}}$
$\newcommand{\Fr}{\mathrm{Fr}}\newcommand{\Fivebrane}{\mathrm{Fivebrane}}\newcommand{\String}{\mathrm{String}}\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\SO{SO}\DeclareMathOperator\GL{GL}$What ...
1
vote
1
answer
138
views
Confusion regarding the vanishing of certain relative cohomology groups
Let $X$ be a projective variety of dimension $n$ and $D \subset X$ is a proper subvariety. Embed $X$ into a projective space $\mathbb{P}^{3n}$. The following argument implies that $H^i(X,X\backslash D)...
2
votes
0
answers
141
views
Variant of Leray-Hirsch for complex-oriented cohomology theory
I am interested in a variant of the Leray-Hirsch theorem. Let $\mathbb{E}^*$ be a complex-oriented cohomology theory and let $\mathbb{E}_*$ the coefficient ring. Suppose that $F \xrightarrow{i} P \to ...
2
votes
0
answers
121
views
The tautness property and the continuity property of cohomology theory
Let $H^{\ast }$ denote the Čech cohomology or Alexander-Spanier
cohomology.
Definition: (Tautness property of cohomology) Let $X$ be a
paracompact Hausdorff space and $A$ be a closed subspace of $X$. ...
5
votes
1
answer
420
views
Does coproduct preserve cohomology in differential graded algebra category
Consider two cochain DGA (differential graded algebras) named $A$ and $B$. By "coproduct" of two DGA I mean the category theory coproduct, not the coalgebra coproduct. It is defined in "...
1
vote
1
answer
132
views
About Čech cohomology in transformation groups
I'm starting a study about theory of transformation groups and equivariant cohomology, in what I read several times that Čech cohomology is the most compatible with this theory, but until now I haven'...
6
votes
0
answers
350
views
Reference request: cohomology of BTOP with mod $2^m$ coefficients
I am searching for a reference with information pertaining to the $\mathbb{Z}/{2^m}$ cohomology of ${\rm{BTOP}}(n)$, for $n \geq 8$ and $m=1,2$, where
$${\rm{TOP}}(n) = \{f \colon \mathbb{R}^n \to \...
5
votes
0
answers
147
views
Representing some odd multiples of integral homology classes by embedded submanifolds
Consider an $m$-dimensional compact closed orientable smooth manifold $M$ and an $n$-dimensional integral homology class $[\Sigma]$ on $M$, with $1 \le n \le m-1$. Then does there exist an odd integer ...
13
votes
1
answer
490
views
Impossibility of realizing codimension 1 homology classes by embedded non-orientable hypersurfaces
Suppose we have an $n+1$-dimensional compact closed oriented manifold $M$ and an $n$-dimensional integral homology class $[\Sigma]\in H_n(M,\mathbb{Z})$ on $M.$ Then is it true that $[\Sigma]$ mod $2$ ...
1
vote
0
answers
92
views
On the equivalence of two definitions of cohomological dimension for locally compact topological spaces
$\mathbf{The \ Problem \ is}:$ Let $X$ is a locally compact, separable metric space. Let $G$ be an abelian group. Now I came across two definitions of cohomological dimension of $X.$ One is the usual ...