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

Filter by
Sorted by
Tagged with
10 votes
2 answers
718 views

Is cohomology with local coefficients a representable functor?

It is well known that the functor of cohomology is representable. More precisely, given $n\ge1$ and abelian group $G$, we have $H^n(X;G)\simeq[X,K(G,n)]$. (Here we probably need some ``nice'' ...
25 votes
4 answers
6k views

Singular Homology/Cohomology as a derived functor?

Hello, Learning some Alg.geometry and Sheaf theory, I got used to the notion that cohomology arises naturally as a derived functor of some sort. This has led me thinking, singular cohomology, from ...
5 votes
2 answers
390 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 "...
7 votes
3 answers
1k views

Cohomology of the tangent sheaf of $\mathbb{P}(1,2,3)$

Using the exact sequence $$0\mapsto\mathcal{O}_{\mathbb{P}^{2}}\rightarrow\mathcal{O}_{\mathbb{P}^{2}}(1)^{\oplus 3}\rightarrow T_{\mathbb{P}^{2}}\mapsto 0$$ it is easy to compute $H^{1}(\mathbb{P}^...
7 votes
2 answers
3k views

On the cohomology ring of the Grassmannian

The basis of Schubert classes for the cohomology ring $H^*(\text{Gr}(m,N))$ of the Grassmannian of $m$-dimensional subspaces of $\mathbb{C}^N$ is indexed by $L(m,N-m)$, the poset of all partitions ...
1 vote
2 answers
346 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?
3 votes
1 answer
261 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 ...
8 votes
0 answers
483 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 ...
1 vote
0 answers
153 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
90 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
115 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'...
5 votes
1 answer
101 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 ...
3 votes
1 answer
178 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 ...
5 votes
0 answers
229 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 ...
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 ...
5 votes
0 answers
134 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 ...
1 vote
2 answers
224 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
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
472 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
318 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, ...
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)\...
5 votes
1 answer
774 views

Original reference of six functor formalism?

What was the original reference of Grothendieck's six functor formalism? I think it was "COHOMOLOGIE A SUPPORTS PROPRES par P. Deligne SGA IV" but maybe there was an earlier paper on the topic.
1 vote
0 answers
91 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 ...
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 ...
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
97 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
172 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
151 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
73 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
199 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
62 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 ...
97 votes
10 answers
13k views

equivalence of Grothendieck-style versus Cech-style sheaf cohomology

Given a topological space $X$, we can define the sheaf cohomology of $X$ in I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$) or II. the Čech ...
1 vote
1 answer
340 views

Cohomology of the general linear group on punctured spectra of 2-dimensional power series rings

$\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\Quot{Quot}\DeclareMathOperator\GL{GL}\DeclareMathOperator\char{char}$Let $(A,\mathfrak{m})=k[[x,y]]$ with $\char(k)=0$ and $K=\Quot(A)$. Set $X=\...
1 vote
1 answer
285 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 ...
7 votes
3 answers
698 views

Bounded cohomology motivation

May I ask what is the basic motivation behind studying bounded cohomology? Is there a simple reason why bounded cohomology is more interesting / useful than usual cohomology? Also, is bounded ...
2 votes
1 answer
240 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)...
8 votes
1 answer
271 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
94 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
128 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
236 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 ...
3 votes
1 answer
389 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 ...
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: $$...
13 votes
1 answer
325 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 ...
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{_{}^{...
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
272 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 ...

1
2 3 4 5
28