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,298
questions
0
votes
0
answers
17
views
Cohomology Ring $H^*(SL(3,\mathbb{Z}),\mathbb{Z}_2)_{(2)}$
In Soulé's paper "The Cohomology of $SL_3(\mathbb{Z})$" the cohomology ring $H^*(SL(3,\mathbb{Z}),\mathbb{Z})_{(2)}$ is determined in Theorem 4.iv. As it is relevant for Steenrod squares, I'...
- 233
1
vote
0
answers
72
views
Cohomology of the classifying space of a semidirect product, and some specific examples with cyclic groups
Let $G$ and $A$ be finite abelian groups and $\rho :G \rightarrow \text{Aut}(G)$ a representation of $G$. We can form the semidirect product $A\rtimes _{\rho} G$. Just to agree on the notation this is ...
- 453
4
votes
0
answers
48
views
Cohomology classes of topological dynamical systems
Let $G$ be a finitely generated discrete group and fix a unitary representation
$\pi:G\rightarrow\mathcal{U}(\mathcal{H})$ where $\mathcal{H}$ is
a Hilbert space. A 1-cocycle is a map $b:G\rightarrow\...
- 41
2
votes
0
answers
86
views
Triple insersection number of a surface in three-manifolds
I heard something about the triple intersection number $\text{mod}(2)$ (but maybe also $\text{mod}(n)$) of a surface in an orientable three-manifold but I couldn't find a precise definition. My guess ...
- 453
4
votes
1
answer
265
views
When the Pontryagin square is an even class?
Let $n$ be an even integer and $X$ a manifold. Given a cohomology class $B \in H^k(X,\mathbb{Z}_n)$, the Pontryagin square is a class $\mathfrak{P}(B)\in H^{2k}(X,\mathbb{Z}_{2n})$. Is it true that if ...
- 453
0
votes
0
answers
122
views
Generalizations of the generalized Stokes theorem and the Atiyah-Singer index theorem
I am interested in the generalized Stokes theorem and its various generalizations. It is apparent to me that many theorems in vector analysis and certain theorems in complex analysis can be viewed as ...
- 1
3
votes
3
answers
294
views
Pairing between cohomology and the image of the Hurewicz homomorphism
Let $X$ be a compact manifold of dimension $\geq k$. Denote by
\begin{equation}
h: \pi _k(X) \rightarrow H_k(X,\mathbb{Z})
\end{equation}
be Hurewicz homomorphism and by $\Gamma _k(X)\subset H_k(X,\...
- 453
3
votes
2
answers
475
views
Does the cohomology Bockstein homomorphism map to the homology Bockstein homomorphism under Poincarè duality?
Given a manifold $X$ and short exact sequence of abelian groups
$$
1\rightarrow A_1\overset{\iota}{\rightarrow} A_2\overset{\pi}{\rightarrow} A_3\rightarrow 1
$$
we get the Bockstein map in cohomology ...
- 453
5
votes
1
answer
231
views
Computation of the linking invariant on Lens spaces
Let $L_n(p)$ be the $2n+1$ dimensional Lens space
$$
S^{2n+1}/\mathbb{Z}_p
$$
where the action is given as $z_i\rightarrow e^{\frac{2\pi}{p}}z_i$, $i=1,...,n+1$, with $z_i$ the coordinates of $\mathbb{...
- 453
3
votes
1
answer
182
views
"High-dimensional" classes in topological $K$-theory
I am looking for a sequence of topological spaces $X_n$, $n\in\mathbb N$, with the following property. Let $\tilde{K}^0(X_n)$ be the complex reduced $K$-theory group of $X_n$ (with respect to some ...
- 1,841
3
votes
0
answers
61
views
Tautological ring for moduli of flat connections
Let $X$ be a smooth complex manifold and $G$ a connected complex algebraic group. Let $M$ denote the moduli stack of flat $G$-connections on $X$. Over $M\times X$, we have the tautological $G$-bundle, ...
- 2,299
2
votes
0
answers
206
views
Is the square of a primitive cohomology class always primitive?
Let $M$ be a closed manifold (in my case $\dim M=3$).
Take $\alpha\in H^1(M;\mathcal{Or})$, where $\mathcal{Or}$ is the orientation local system for $M$ with coefficients $\mathbb Z$.
Suppose $\alpha$ ...
- 713
19
votes
1
answer
891
views
Is there a ring stacky approach to $\ell$-adic or rigid cohomology?
Ever since Simpson's paper [Sim], it was observed that many different cohomology theories arise in the following way: we begin with our space $X$, we associate to it a stack $X_\text{stk}$ (which ...
- 980
2
votes
0
answers
94
views
Killing even dimensional cohomology classes by restriction
I am looking for an example of a cohomology class $[\alpha]$ in even dimension of a smooth projective complex variety $X$ i.e. $[\alpha]\in H^{2i}(X, \mathbb{Q})$ where $i>0$, such that you cannot ...
- 5,607
4
votes
1
answer
284
views
Which cohomology classes come from smooth projective varieties?
Given a complex projective variety $X$, let's define singular cohomology of $K(X)$ (its function field) as the direct limit of cohomology groups over all of its Zariski open subsets. Similarly let's ...
- 5,607
5
votes
0
answers
224
views
How to explain the relationship between Tate–Shafarevich and Ideal Class Group, when all else fails?
In the short paper On the Tate–Shafarevich group of a number field of Sameer Kailasa, he reviews a curious phenomenon by which the class group of a number field $K$ appears as the exact kernel of the ...
- 1,194
4
votes
1
answer
242
views
Integral weight filtration on cohomology with no compact support
In "Descent, motives and K-theory", Gillet and Soule define a weight filtration on integral cohomology $H^{*}_{c}(X, \mathbb{Z})$ of a complex variety with compact support.
They write that ...
- 2,138
2
votes
3
answers
337
views
Canonical product in sheaf cohomology
EDIT: Let $\mathcal{F},\mathcal{G}$ be sheaves of abelian groups on a topological space $X$. Then there exists a canonical cup product
$$H^i(X,\mathcal{F})\otimes_\mathbb{Z}H^j(X,\mathcal{G})\to H^{i+...
- 20.3k
0
votes
2
answers
95
views
Examples of isomorphic non-equivalent twisted group algebras
Let $F$ be a field, $G$ be a finite group and $\alpha \in Z^2(G, F^*)$ . The twisted group algebra $F^{\alpha}G$ is a $F$-algebra with $F$ vector basis, $\{\bar g : g \in G \},$ and multiplication ...
- 103
2
votes
1
answer
94
views
Reference for isomorphism between parabolic and cuspidal cohomology of the Siegel variety
I'm asking for a reference where I can find proof of isomorphism
$$H^{3}_{\text{cusp}}(Y(U),F_{\lambda})\simeq H^{3}_{\text{par}}(Y(U),F_{\lambda}),$$
where $Y(U)$ is the level $U$ shimura variety of $...
- 935
8
votes
2
answers
1k
views
Geometric interpretation of sheaf cohomology
Please forgive me for the informal and naïve nature of my question, as I am a beginner in algebraic geometry.
In the famous book by Hartshorne, sheaf cohomology is defined as a certain derived functor....
- 169
4
votes
1
answer
549
views
Basic question on the de Rham theorem
There is a modern nice proof of the de Rham theorem based on sheaf theory.
The de Rham theorem says that for a smooth manifold $M$ there is a canonical isomorphism
$$H^i_{dR}(M,\mathbb{R})\simeq H^i_{...
- 20.3k
5
votes
1
answer
151
views
Reference for Künneth Theorem in (co)homology with local coefficients
Is there a discussion in the literature of Künneth-type theorems for (co)homology with local coefficients? The sources I know of that discuss local coefficients (Whitehead's Elements of Homotopy ...
- 8,196
5
votes
1
answer
303
views
Top integer homology of compact analytic variety
Let $V$ be a compact connected complex analytic subvariety (possibly singular) of a complex smooth manifold. Let $n$ denote its complex dimension.
Is it true that $H_{2n}(V,\mathbb{Z})\simeq \mathbb{Z}...
- 20.3k
7
votes
0
answers
223
views
Cohomology of fibers of a morphism of a blowup of affine space
Consider $\mathbb A^n$ and let $\Sigma$ be a subdivision of its toric fan $\mathbb R^n_{\geq 0}$. This induces a toric blowup $\pi : Y \to \mathbb A^n$. Let $X \subseteq Y$ be the preimage of the ...
- 1,004
3
votes
1
answer
101
views
What is this cochain complex about, whose $H^1 = \mathbb{R}$?
$\DeclareMathOperator\QEnd{QEnd}$Let $C^n$ be the set of functions $\mathbb{Z}^n \to \mathbb{Z}$, and $B^n$ the set of bounded such functions. For $a_1,...,a_{n+1} \in \mathbb{Z}$, the differential of ...
- 1,276
11
votes
1
answer
722
views
Comparing singular cohomology with algebraic de Rham cohomology
Let $X$ be a smooth projective variety over a number field $K$. Then there are two cohomology groups we can attach to $X$: the algebraic de Rham cohomology group
$H^k_{\text{dR}}(X/K), $
which is a ...
- 1,611
1
vote
0
answers
80
views
Exterior product of Euler Exact Sequence
Consider the Euler exact sequence:
$ 0\longrightarrow \mathcal{O}_{\mathbb{P}^n} \longrightarrow \mathcal{O}_{\mathbb{P}^n}(1)^{n+1}\longrightarrow \mathcal{T}_{\mathbb{P}^n} \longrightarrow 0 $
This ...
- 131
4
votes
0
answers
151
views
Cohomological methods in intersection theory and derived categories
Are there any enumerative questions akin to: “What is the number of planes containing a given line tangent to a given cubic surface in $\mathbb{P}^3$” that we can answer using derived categories? I've ...
- 225
0
votes
0
answers
80
views
Cohomology in a combinatorial way using ribbon graphs
I am interested in studying the cohomology of surfaces.
Let $S$ be a compact orientable connected surface. One possible way is to learn cohomology using differential forms.
Is it possible to approach ...
user498026
2
votes
0
answers
331
views
About infinite loop space and $\Omega$ spectrum
Let $A$ is an topological abelian monoid. Also $\pi_0(A)$ is a group and $A$ has $CW$ structure.
$BA$ is a classifying space of the topological abelian monoid.
My purpose is to construct an infinite ...
- 121
4
votes
0
answers
111
views
Is there a projective bundle formula for Deligne cohomology?
Given a projective bundle $\mathbb{P}(E) \to X$ on a complex manifold $X$, is there a projective bundle formula for Deligne cohomology? That is, can Deligne cohomology $H_D^n(\mathbb{P}(E),\mathbb{Z}(...
- 91
2
votes
0
answers
111
views
Pullback of algebraic cycles and homological triviality
Let $X$ be a smooth, projective variety of dimension $2m$ for some $m \ge 2$ and $D$ be a non-singular divisor in $X$ such that the dual of the normal bundle of $D$ in $X$ is very ample. We have the ...
- 2,002
4
votes
0
answers
101
views
Spencer complex and de Rham Complex
in those lectures notes written by Claude Sabbbah: https://perso.pages.math.cnrs.fr/users/claude.sabbah/livres/sabbah_nankai110705.pdf
there is the proposition 1.4.4 where he says that there is a ...
- 385
1
vote
0
answers
105
views
Cohomology of the base of an elliptic fibre space
Work over $\mathbb{C}$. Let $\Phi : X \to S$ be an elliptic fiber space, where $X$ is a smooth projective threefold with $H^1(\mathcal{O}_X)=H^2(\mathcal{O}_X)=0$, and $S$ is a smooth projective ...
- 1,207
2
votes
0
answers
942
views
When is a subspace of the cohomology of a smooth projective scheme on $k$ a motive?
Let $X$ be a smooth projective scheme over a number field $k$, and $V_{p}$ (resp. $V_{\text{dR}}, V_{\text{B}}$) a sub-space of $H_{et,p}^{\ast}(X)$ (resp. $H^{\ast}_{\text{dR}}(X), H^{\ast}_{\text{B} ...
- 935
2
votes
0
answers
180
views
Do Weil cohomology theories for schemes over arbitrary rings exist, and do the standard theorems (Lefschetz fixed point, Tr. Formula etc.) still hold?
A Weil cohomology theory is a functor that assigns to a smooth projective variety $X$ of dimension $d$ over a field $k$ a graded ring of cohomology groups with values in a field $K$ of characteristic $...
- 1,587
0
votes
0
answers
163
views
Cup-product in cohomology and Hopf algebra
Let $X$ be a manifold and let its cohomology
$H^*(X;\mathbb{Z})=\bigoplus_{q=0}^\infty H^q(X;\mathbb{Z})$
be a module of finite type without $p^2$-torsion
for any prime integer $p$.
Assume that on
...
- 169
3
votes
1
answer
190
views
Resolution of conical singularities have even-only cohomology?
Considering a quotient singularity $\mathbb{C}^n/G,$ its crepant resolution $Y$ (i.e. having $c_1(Y)=0$) has rational cohomology supported in even degrees only. This holds for many other resolutions ...
- 1,537
8
votes
1
answer
381
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'' ...
- 713
0
votes
1
answer
217
views
Proving the induced map on the cohomology is an isomorphism
I was going through a paper by Tanaka where I am stuck at the following map "f" which is given by the composition of these maps. Next, he mentions that the induced map is clearly an ...
4
votes
1
answer
166
views
Cohomology of invariant differential forms
Let $M$ be a compact manifold and $\varphi:M\rightarrow M$ a diffeomorphism. The invariant differential forms
$$
\Omega^{k}_{inv}(M)=\{\alpha\in\Omega^{k}(M):\varphi^{*}\alpha=\alpha\}
$$
form a ...
- 265
5
votes
1
answer
255
views
Axioms of derivators
I would like to enter the world of derivators. We can find a little history here and there about the limitations of triangulated categories and the motivation to enhance them, but also to compute ...
- 773
18
votes
3
answers
1k
views
Are Chern classes well defined up to contractible choice?
The Chern classes are, by definition, cohomology classes. And
cocycle representatives of the Chern classes are not unique.
But it might be the case that cocycle representatives of the Chern classes ...
- 41.3k
1
vote
1
answer
91
views
Cohomological variety in case that Sylow subgroup is elementary abelian
Let $G$ be a finite group, $p$ a prime number, and $k$ an algebraically closed field of characteristic $p$. Then we can consider the cohomological variety of $G$, namely the maximal spectrum $V_G$ of ...
- 985
3
votes
0
answers
140
views
Explicit description of the Leray spectral sequence with compact supports for a fibration
Consider a locally trivial fibration $f: E \to B$ with fiber $F = \mathbb{C}^n$. The Leray spectral sequence with compact supports is
$$ E_2: H^p_c(B, \underline{H^q_c(F)}) \implies H^{p+q}_c(E). $$
...
1
vote
0
answers
57
views
Representatives of line bundle cohomology over tori
Let $V^n$ a be a $\mathbb{C}$-vector space. For $U\subset V$ a complete lattice, the holomorphic line bundles over $V/U$ are classified (see e.g. `Abelian varieties', D. Mumford) by data $(H,\alpha)$ ...
2
votes
0
answers
190
views
Proof of the projection formula (for cohomology of $\mathbf{P}V$)
Let $V\to X$ be a vector bundle (over say a scheme).
Then the cohomology of its projectivisation is
$$\text{H}^*(\mathbf{P}V)\ =\ \text{H}^*(X)[t]/(t^{n+1}+c_1(V)t^n+\cdots+c_n(V))$$
as an algebra, ...
- 5,122
5
votes
2
answers
399
views
How to define cohomology of algebraic structures?
I learned that the Hochschild cohomology of an associative algebra $A$ with a bimodule $M$ is defined using the cochain
\begin{align*}
\cdots \rightarrow C^n(A,M) \stackrel{d^n}{\longrightarrow} C^{n+...
- 775
2
votes
1
answer
186
views
Formula for the Euler characteristic of a local system on $\mathbb{P}^1$
Let $X := \mathbb{P}^1$, $S\subset X$ a finite set of points, $U := X - S$, and $j : U\rightarrow X$ the inclusion.
Let $F$ be a complex local system on $U$ of rank $r$, and let $F_0$ be a typical ...
- 6,253