Questions tagged [cohomology]
A branch of algebraic topology concerning the study of cocycles and coboundaries. It is in some sense a dual theory to homology theory. This tag can be further specialized by using it in conjunction with the tags group-cohomology, etale-cohomology, sheaf-cohomology, galois-cohomology, lie-algebra-cohomology, motivic-cohomology, equivariant-cohomology, ...
1,377
questions
2
votes
0
answers
177
views
Splitting of de Rham cohomology for singular spaces
I am currently trying to wrap my head around the following splitting result by Bloom & Herrera (here is a link to the ResearchGate publication) for the de Rham cohomology of (in particular) a ...
- 513
3
votes
1
answer
301
views
Exact functor in syntomic cohomology
By Tag 04C4 of the Stacks Project, for $f:X\rightarrow Y$ a closed immersion of schemes, the pushforward $f_*$ is exact for abelian sheaves on the big syntomic site.
Is it also true for a finite flat ...
- 3,452
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 ...
- 467
2
votes
0
answers
236
views
Finite generation of stack cohomology
Let $X$ be an Artin stack of finite type. Does it follows that its (say, $\ell$-adic or de Rham) cohomology $\text{H}^*(X)$ is a finitely generated algebra?
For instance, $\text{H}^*(\text{B}\mathbf{G}...
- 5,565
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$ ...
- 467
4
votes
1
answer
369
views
Reference for isomorphism between group cohomology and singular cohomology
Let $G$ be a (discrete) group, $X$ a topological space that works as a classifying space for $G$, and $\mathcal{L}$ a local system on $X$ with stalk $L$. It is a fairly standard result that
$$ H^i(G, ...
- 498
3
votes
1
answer
202
views
Čech cohomology refinement mapping
Let us consider the map $t_{AB}^*:H^1(A,F)\to H^1(B,F)$ between the cohomology groups, induced by the refinement map $t_{AB}:J\to I$, where $F$ is a sheaf of abelian groups on $X$, $A$ and $B$ are ...
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 ...
1
vote
2
answers
245
views
Generalized cohomology on the one point space
I am reading Hatcher's algebraic topology for an assignment on generalized cohomology theories, and in section 4.E p. 447 he says the following
The wedge axiom implies that $h(\textit{point})$ is ...
- 11
2
votes
0
answers
74
views
Tangent $(\infty,1)$ topos
I am trying to understand the tangent $(\infty,1)$ category. It is the fiberwise stabilization of the codomain fibration (which is a functor from the arrow category to the category).
But, intuitively ...
- 107
2
votes
2
answers
295
views
When is $\smash{\check{H}}^{q}(X,A;R)\cong H_{c}^{q}(X-A;R)$ for a pair $(X,A)$?
I'm trying to understand the proof of Corollary 1.3 part b. in a paper by Bestvina and Mess titled 'The Boundary of negatively curved groups'. I do not understand why $\smash{\check{H}}^{q}(X,A;R)\...
- 51
0
votes
0
answers
128
views
Cohomology ring of $\mathbb{P}(\mathcal{O}(-1)\oplus \mathcal{O})$
Let $\mathcal{O}(-1)$ be the Hopf bundle over $\mathbb{C}\mathbb{P}^\infty$. Let $\mathcal{O}$ be the trivial rank one bundle. Consider the projectivization of the rank two bundle $\mathcal{O}(-1)\...
- 21.3k
3
votes
0
answers
82
views
When does homology preserve inverse limits of Eilenberg-MacLane spaces?
Let $... \to G_3 \to G_2 \to G_1$ be an inverse system of abelian groups and $G$ the limit of the system. By a theorem of Goerss the integral homology of the Eilenberg-MacLane space $K(G,n)$ for $n &...
- 499
3
votes
0
answers
105
views
A question on the averages of Kloosterman sums
Sorry to disturb. Recently, I encountered a puzzle on the sums involving two Kloosterman sums. That is,
For any $h, q_1,q_2\in \mathbb{N}$ with $(q_1,q_2)=1$ and $Q>1$, how two get a bound
$$\sum_{...
- 553
3
votes
0
answers
174
views
Wondering if Monsky-Washnitzer ever published a result claimed to be forthcoming in a later paper
At the very end of the paper Formal Cohomology I by Monsky and Washnitzer, they write the following:
"In some sense, the operator $\psi$ applied to a power series gives it "better
growth ...
- 538