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
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 ...
wer's user avatar
  • 121
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 ...
Mathstudent's user avatar
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 $...
Galois group's user avatar
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'...
Ludwik's user avatar
  • 237
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 ...
Gabriel's user avatar
  • 933
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 ...
Nicholas Proudfoot's user avatar
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 \...
Baylee Schutte's user avatar
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 ...
Thomas Kurbach's user avatar
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 ...
prochet's user avatar
  • 3,432
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 ...
Zhenhua Liu's user avatar
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}...
Pulcinella's user avatar
  • 5,507
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$ ...
Zhenhua Liu's user avatar
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, ...
Aidan's user avatar
  • 480
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 ...
Alexander Mrinski's user avatar
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 ...
Rabi Kumar Chakraborty's user avatar
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 ...
Dani Jaen's user avatar
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 ...
Pinak Banerjee's user avatar
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)\...
Harsh Patil's user avatar
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)\...
asv's user avatar
  • 21.1k
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 &...
willie's user avatar
  • 499
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_{...
hofnumber's user avatar
  • 553
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 ...
Vik78's user avatar
  • 477
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. ...
JeCl's user avatar
  • 901
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 ...
Andi Bauer's user avatar
  • 2,901
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 $...
Antoine's user avatar
  • 143
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 ...
divergent's user avatar
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$, ...
Mehmet Onat's user avatar
  • 1,161
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 ...
wonderich's user avatar
  • 10.3k
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 ...
mrtaurho's user avatar
  • 165
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)...
Galois group's user avatar
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 ...
KStarGamer's user avatar
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 ...
Matthias Ludewig's user avatar
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 ...
wlad's user avatar
  • 4,792
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 ...
Galois group's user avatar
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 ...
Richard's user avatar
  • 419
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: $$...
hofnumber's user avatar
  • 553
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 ...
JE2912's user avatar
  • 359
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{_{}^{...
hofnumber's user avatar
  • 553
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 ...
Zhenhua Liu's user avatar
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. ...
Jackson Walters's user avatar
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 ...
user267839's user avatar
  • 5,938
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 ...
Stephan Mescher's user avatar
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 ...
timaeus's user avatar
  • 171
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 ...
Sophie's user avatar
  • 71
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 ...
Andrea Marino's user avatar
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 ...
Rosencrantz's user avatar
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 ...
user333154's user avatar
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$ ...
Zhenhua Liu's user avatar
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 ...
user avatar
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 ...
T. Wildwolf's user avatar

1
2 3 4 5
28