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,354
questions
2
votes
0
answers
56
views
Does coproduct preserve cohomology in differential graded algebra category
Given two cochain DGA (differential graded algebra) named $A,B$. For coproduct of two DGA I mean category theory coproduct, not coalgebra's coproduct. It is defined in this paper by J.F.Jardine. And ...
1
vote
0
answers
149
views
Are there any relations between perverse t-structure (cohomologies) and standard t-structure (cohomologies)?
I'm reading the Corollary 3.2.3. in Exponential motives by J. Fresan and P. Jossen.
The authors use the following statement in the proof of Corollary 3.2.3: let $C$ be any object in the derived ...
2
votes
0
answers
87
views
Cohomological dimension of functors from fields to vector spaces
Let $K$ be an algebraically closed field. Denote by $\mathcal F_d$ the category of extensions $K\to F$ of transcendent degree $d$.(Objects are pairs $F,j$ consisting of a field $F$ and the embedding $...
1
vote
1
answer
114
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'...
8
votes
0
answers
472
views
In Mann's six-functor formalism, do diagrams with the forget-supports map commute?
One of the main goals in formalizing six-functor formalisms is to obtain some sort of "coherence theorem", affirming that "every diagram that should commute, commutes". In these ...
5
votes
1
answer
100
views
The Salvetti complex of a non-realizable oriented matroid
Given a real hyperplane arrangement, the Salvetti complex of the associated oriented matroid is homotopy equivalent to the complement of the complexification of the arrangement. In particular, its ...
5
votes
0
answers
206
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 \...
2
votes
0
answers
162
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 ...
3
votes
1
answer
260
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 ...
5
votes
0
answers
131
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 ...
2
votes
0
answers
227
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}...
13
votes
1
answer
466
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$ ...
4
votes
1
answer
316
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, ...
3
votes
1
answer
174
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
90
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
220
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 ...
2
votes
0
answers
68
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 ...
2
votes
2
answers
287
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)\...
0
votes
0
answers
122
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)\...
3
votes
0
answers
76
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 &...
3
votes
0
answers
96
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_{...
3
votes
0
answers
171
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 ...
2
votes
0
answers
147
views
Differentials in the Atiyah-Hirzebruch spectral sequence for a bounded generalized cohomology theory
$\newcommand{\res}{\mathrm{res}}$Let $X$ be a connected finite CW complex, and let $E$ be a bounded spectrum. For simplicity, let me assume that it has homotopy groups concentrated in degrees 0,1,2.
...
3
votes
0
answers
75
views
Explicit examples of 4-cocycles over finite 2-groups
By a (finite) 2-group $X$, I mean a finite group $G$, a finite abelian group $A$, an action of $G$ on $\operatorname{Aut}(A)$, as well as a 3-cocycle $\alpha\in H^3(BG, A)$. They are also equivalent ...
2
votes
0
answers
72
views
G-modules vs. $\Delta(NG)$-modules
Let X be a simplicial set. Its category of simplices, denoted by $\Delta(X)$, is the category whose objects are the pairs $(x,[n])$, with $x\in X_n$, and morphisms $\bar{c}:(y,[m])\to (x,[n])$, where $...
2
votes
1
answer
198
views
When is a (co)edge trivial in graph cohomology?
Let $G$ be a connected graph and let $e$ be an edge in this graph. I would like to know if there are necessary and sufficient questions so that $e^{\vee}=0$ in $H^1(G)$? The question must be easy to ...
1
vote
0
answers
112
views
A question about cohomology with local coefficient
Let's consider the next theorem.
Theorem
[The cohomology Leray-Serre Spectral sequence] Let $R$ be a
commutative ring with unit. Given a fibration $F\hookrightarrow E\overset{p}{%
\rightarrow }B$, ...
2
votes
0
answers
60
views
Framed bordism and string bordism in 3-dimensions vs topological modular form
In simple colloquial terms, how are the framed bordism and string bordism in 3-dimensions related to the study of the theory of topological modular form TMF? I want to know some simple derivable ...
1
vote
1
answer
282
views
Why should we study the total complex?
Recall that for every double complex $C_{\bullet,\bullet}$, there is a canonical construction called the total complex $\operatorname{Tot}(C_{\bullet,\bullet})$ associated to it. This complex can be ...
2
votes
1
answer
239
views
Exact sequence for relative cohomology + normal crossing divisors
Let $X$ be smooth algebraic variety over $\mathbb C$ and $D_1, D_2$ are snc divisors such that $D_1\cup D_2$ is also snc.
Is it true that there is an exact sequence
$$H^*(X, D_1\cup D_2)\to H^*(X, D_1)...
11
votes
1
answer
1k
views
Hodge conjecture as the equality of arithmetic and algebraic weights of motivic L-functions
Recently I became aware of the following statement given on page 13 of this paper. First, let us recall the following definitions:
Definition 4.1. Suppose $L(s)$ is an analytic $L$-function with ...
8
votes
1
answer
270
views
Fiber product of spaces and cohomology
Let $Y \to X \leftarrow Z$ be a cospan of topological spaces and let $W = Y \times_X^h Z$ be their homotopy fiber product. I am interested in sufficient conditions on the map $Y \to X$ that ensure ...
0
votes
0
answers
92
views
Is there a "cohomology theory" for involutive algebras?
I'm aware that there are cohomology theories for algebraic structures related to involutive algebras (or "involution algebras" or "$*$-algebras" if you prefer those terms) like Lie ...
1
vote
0
answers
127
views
Universal properties for Bloch's higher Chow groups
I work in the category of varieties over some field of characteristic zero. Assume that for any variety I can define the group $\widetilde{CH}^r(X,n)$ which behave like classical Bloch's higher Chow ...
3
votes
1
answer
234
views
Calculation of Frobenius on de Rham cohomology of elliptic curves with good reduction
I'm reading "An introduction to the theory of $p$-adic representations" by Laurent Berger. In the page 14 it says:
Suppose $F$ is an unramified finite extension of $\mathbb Q_p$ and $E$ is ...
1
vote
1
answer
212
views
On the estimate for a double exponential sum
I encounter a hyper-Kloosterman sum which needs some help from the experts here:
For any integers $q,s \in \mathbb{N}^+$(which may not be necessarily co-prime with each other), how to bound the sum:
$$...
3
votes
1
answer
385
views
Cohomology of finite symmetric products of manifolds
Let $M$ be a closed, orientable manifold of dimension $k$. I am looking for results to determine explicitly the (co)homology groups and/or cohomology ring structure (in integer or rational ...
0
votes
0
answers
88
views
A question on the evaluations of certain three-dimensional hyper-Kloostermans
There is a basic question regrading the 3-dimensional hyper-Kloosterman sum which needs some help from the experts here:
For any integers $q,h \in \mathbb{N}$, how to estimate the sum:
$$\sideset{_{}^{...
13
votes
1
answer
323
views
Realizing integral homology classes on non-orientable manifolds by embedded orientable submanifolds
Let $M^m$ denote a compact, non-orientable smooth manifold and $\nu$ an integral homology class of dimension $n$. I am interested in understanding the representability of $\nu$ by embedded, orientable ...
1
vote
0
answers
112
views
What is $H^*(\mathbb{CP}^{2^N-1}/\Sigma_n;\mathbb{Z})$ when $N=\binom{n}{2}$?
$H^*((S^3)^N/\Sigma_n;\mathbb{Q})$ is computed here.
It makes a little more sense to compute $H^*((S^2)^N/\Sigma_n;\mathbb{Q})$ given that global phase is irrelevant. The proof is exactly the same.
...
9
votes
0
answers
266
views
How acyclic models led to idea of model categories
The Wikipedia article about Acyclic models notices that the way that they were used in the proof of the Eilenberg–Zilber theorem laid the foundation stone to the idea of the model category.
Could ...
3
votes
1
answer
192
views
Subgroups of top cohomological dimension
Let $G$ be a geometrically finite group, i.e. there exists a finite CW complex of type $K(G,1)$.
By Serre's Theorem, every finite-index subgroup $H$ of $G$ satisfies $cd(H)=cd(G)$, but what about the ...
2
votes
0
answers
81
views
Turning cocycles in cobordism into an inclusion or a fibering
By the classical Pontryagin-Thom construction, we know that the cobordism group $\Omega^n_U(X)$ is represented by cocyles
$$ M\hookrightarrow X\times \mathbb{R}^{2k}\rightarrow X,$$
where $M$ is a ...
7
votes
1
answer
174
views
Generalisation of Hirsch formula for the associativity of Steenrod's higher $\cup_2$ product with $\cup_1$ and cup products
For $f$, $g$ and $h$ cochains, the Hirsch formula is given as
$$ (f\cup g)\cup_1 h=f\cup (g\cup_1 h)+(-1)^{q(r-1)}(f\cup_1 h)\cup g.$$
Is there a more general formula that relates the associativity of ...
5
votes
1
answer
338
views
Analogues of Sullivan Theory at a prime for coformality
In rational homotopy theory, one can study the rational homotopy and cohomology categories via an algebraic structure, respectively the rational Lie Algebra model and the Sullivan cdga model.
If I am ...
3
votes
0
answers
78
views
Cohomological counterpart of the K-theory of the Roe C*-algebra in non-periodic systems
In crystalline insulating quantum systems the dynamics of electrons is governed by a Schrödinger operator which is periodic with respect to a Bravais lattice $\Gamma\cong \mathbb{Z}^d$ and whose ...
2
votes
0
answers
85
views
Torsion equivariant cohomology of reductive groups
Let $G$ be a reductive group with maximal torus $T$. One knows that the equivariant cohomology ring of a point with rational coefficients is $\mathbb{Q}[X^*(T)]^W$, and also there is an equivariant ...
18
votes
2
answers
695
views
Integral homology classes that can be represented by immersed submanifolds but not embedded submanifolds
Let $M$ be an $m$-dimensional compact closed smooth manifold and $z\in H_n(M,\mathbb{Z})$ an $n$-dimensional integral homology class, with $m>n.$ Does there exist a pair of $M$ and $z$ so that $z$ ...
2
votes
1
answer
241
views
Geometric Interpretation of absolute Hodge cohomology
$\quad$Let $\mathcal{Sch}/\mathbb C$ denote the category of schemes over $\mathbb C$. For an arbitrary $X\in\mathcal{Ob}(\mathcal{Sch}/\mathbb C)$, Deligne in his Article defined a polarizable Hodge ...
3
votes
1
answer
347
views
Spectral sequence in Adam's book, Theorem 8.2
I am having trouble in understanding Theorem 8.2 of Adams's book and the application afterwards of constructing the spectral sequence. I think I should prove somehow that the spectral sequence in this ...