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,357
questions
9
votes
1
answer
446
views
Structure of the variety of $n$-tuples of $m \times m$ matrices with zero product
Consider the functor sending a commutative ring $R$ to $\{(A_1,\dots,A_n) \in ( M_m(R) )^n | A_1 \dots A_n =0 \}$ which defines a scheme over $\mathbb Z$, let $X$ be its base change to $\mathbb C$.
...
1
vote
0
answers
37
views
An exact complex of tensor families
Given a field $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$, some natural numbers $q,n,m$ with $q \leq n$ and $m < n$ and a polynomial algebra $S := \mathbb{K}[\eta_1, \dots, \eta_n]$. We can consider $...
17
votes
1
answer
3k
views
Conjectures of Peter Scholze about q-de Rham complex: examples
Peter Scholze formulated several conjectures about $q$-de Rham complex in the paper
Canonical $q$-deformations in arithmetic geometry, Ann. Fac. Sci. Toulouse Math. (6) 26 (2017), no. 5, pp 1163–...
10
votes
2
answers
1k
views
Homology of the universal cover
$k$ is a field. Let $X$ be a connected pointed $CW$-complex such that the homology
$H_{n}(X;k)$ is a finite dimensional $k$-vector space for any $n\in \mathbb{N}$. Suppose that we have continuous ...
7
votes
0
answers
268
views
A cohomology associated to a vector field on a Riemannian manifold
Edit: Accoring to the comment of Asura Path I revise the question.
Let $X$ be a vector field on a Riemannian manifold $(M,g)$. So we have a $1$-form $\beta$ with $\beta(Y)=\langle Y,X\...
2
votes
0
answers
292
views
Comparing cohomology using homotopy fibre
I have a question, which might be very basic, but I don't know enough topology to answer.
Suppose you have a map of topological spaces (or homotopy types) $f : X \to Y$, with homotopy fibre given by ...
1
vote
0
answers
311
views
Cokernel of section of a general coherent sheaf
Given a scheme $X$ and an $\mathcal{O}_{X}$-module $\mathscr{E}$, we know that a section $s \in H^{0}(X, \mathscr{E})$ is equivalent to a morphism $s :\mathcal{O}_{X} \to \mathscr{E}$. It is the ...
9
votes
0
answers
259
views
Cohomology of $\operatorname{SO}(p,q;\mathbb{Z})$ with $p=3,q=19$
I would like to understand the topology of the moduli space of Einstein orbifold metrics on the $K3$-surface. It is known that this space is given by the bi-quotient $SO(3,19;\mathbb{Z})\setminus SO(3,...
15
votes
1
answer
702
views
Teaching cohomology via everyday examples
This question is a "sequel" to my similar questions about the fundamental group and homology. All of these questions were inspired by seeing a talk, by Tadashi Tokieda, about the interesting physics ...
3
votes
0
answers
165
views
Hodge-theoretic criterion for smoothness
Let $k$ be an algebraically closed field of any characteristic. Is it possible to give an equivalent condition for a $k$-variety to be smooth using only the cohomology of the variety (and whatever ...
5
votes
0
answers
217
views
Is there a systematic way to "bound" the $d_n$'s of ASS's by "pairing" them with elements in the $n$-line of the $E_2$ of the ASS of the sphere?
All details in the question are for the case $p=2$ though I expect the answer shouldn't be that different for odd primes.
Adams showed (i think it was him) the following statement:
The element $...
5
votes
0
answers
245
views
Legendrian surgery and invertible elements in zeroth degree symplectic cohomology
Is there anything known about the relation between Legendrian handle attachment and invertible elements in $\mathit{SH}^0(M)$?
As the simplest interesting case, take $M_0$ to be the cotangent bundle $...
5
votes
1
answer
177
views
Decompose $MT(E(d)\times_{\mathbb Z_2} SU(2))$ as the wedge sum or smash product of spectra
Consider the extension
$$1\to SU(2)\to X\to O\to1,$$
there are 4 possibilities for $X$:
$X=O\times SU(2)$ or $E\times_{\mathbb{Z}_2}SU(2)$ or $Pin^+\times_{\mathbb{Z}_2}SU(2)$ or $Pin^-\times_{\...
5
votes
1
answer
537
views
Difference between local cohomology and cohomology with support in a family
Let $X$ be a topological space. A collection of closed subsets of $X$ is called a family of supports (in the sense of Cartan) if: (1) the union of any two elements of $\Phi$ is an element of $\Phi$, ...
5
votes
1
answer
350
views
Ádem relations for the Steenrod and the Dyer–Lashof algebra
In this paper by Nondas Kechagias, the Steenrod algebra and the Dyer–Lashof algebra are compared. The rough difference ist:
The Steenrod algebra arises by dividing out the “cohomological” Ádem ...
5
votes
0
answers
167
views
Dual Steenrod squares
Fix the ground ring $\mathbb{F}_2$ and let $X$ be a space with finite homology. Then we have an isomorphism $\Phi^i_X:H_i(X)\to H^i(X)^*,a\mapsto \langle-,a\rangle$ which allows us to define the dual ...
7
votes
1
answer
722
views
What is the geometrical meaning of higher Chern forms and classes?
Let $M$ be a complex manifold, $R^{\nabla}$ be the curvature operator for connections $\nabla$.
Consider a polynomial function $f:\operatorname M_n(\mathbb{C})\to\mathbb{C}$. For the gauge group $\...
18
votes
1
answer
958
views
Wu formula for manifolds with boundary
The classical Wu formula claims that if $M$ is a smooth closed $n$-manifold with fundamental class $z\in H_n(M;\mathbb{Z}_2)$, then the total Stiefel-Whitney class $w(M)$ is equal to $Sq(v)$, where $v=...
1
vote
0
answers
178
views
Properties of coefficients of cohomology theories [closed]
Coefficients of cohomology theories can come from a variety of categories: fields, rings, sheaves ...
I wonder: what are the properties an object must satisfy in order to be a legitimate candidate ...
15
votes
0
answers
497
views
Direct comparison zig-zag between cochain theories
In the paper
Cochain multiplication, Am. J. Math 124 (2002) pp 547–566, doi:10.1353/ajm.2002.0017
Mandell gives axioms for a cochain-level characterisation of ordinary cohomology theory, lifting ...
7
votes
0
answers
203
views
$A_{\infty}$ multiplications on Morse cochain complex
Can the higher order $A_{\infty}$ multiplications defined by Fukaya be made trivial(by perturbing gradient trees) when Morse cochain complex is isomorphic to Morse cohomology, in which case the cup ...
6
votes
0
answers
190
views
Betti numbers of non-projective compact algebraic varieties
Are there examples of complex smooth compact algebraic varieties (necessarily non-projective) with vanishing second Betti number?
If not, are there such examples whose Betti numbers do not satisfy ...
4
votes
0
answers
345
views
Eilenberg-Moore spectral Sequence calculation
I want to use the cohomology Eilenberg-Moore spectral sequence to calculate the cohomology of the fibre of the map
$$
S^{n} \to \Omega S^{n+1}.
$$
Question 1: Is anyone aware of any references for ...
9
votes
1
answer
909
views
Use of Steenrod's higher cup product and the graded-commutativity
In Steenrod's ``Products of Cocycles and Extensions of Mappings (1947),'' which derives [Theorem 5.1]
$$
\delta(u\cup_{i} v)=(-1)^{p+q-i}u\cup_{i-1}v+(-1)^{pq+p+q}v\cup_{i-1}u+\delta u\cup_{i}v+(-...
5
votes
1
answer
728
views
Cohomology ring with non-commutative coefficient ring
Let A be a non-commutative algebra and let X be some geometric space (such as a topological space or an algebraic variety or scheme). Is there a notion of cohomology ring of X with coefficients in A? ...
5
votes
0
answers
212
views
Applications of one of Serre's Theorems
This theorem is due to Serre:
Let $G$ be a profinite group, $p$ prime. Assume that $G$ has no
element of order $p$ and let $H \leq G$ be an open subgroup. Then
$cd_p(G) = cd_p(H)$.
Where $cd_p(...
0
votes
0
answers
285
views
Defining a graded ring structure on $\bigoplus_{i} \text{Ext}^i (A,A)$
I read that, using the fact that $\text{Tot}^{\prod}(\text{Hom}(P_{\bullet} ,Q_{\bullet}))$ can by used to compute $\text{Ext}^* (A,B)$ (which I understand), we can give $\bigoplus_{i} \text{Ext}^i (A,...
5
votes
0
answers
251
views
Atiyah class and coboundary map
Let $L$ be a line bundle on a smooth algebraic variety $X$. Let $\sigma_i:U_i \times \mathbb{C} \to L_{|U_i} $
be its local trivializaations and $u_{ij}$ the transition functions satisfying $\sigma_j=...
4
votes
1
answer
246
views
Generalized cohomology of CW complex is direct limit?
Let $E$ be a (pre)spectrum (in the most classical sense, i. e. the sequence of CW complexes $E_n$ and maps $SE_n \to E_{n+1}$). Then we have the generalized cohomology theory $E^*$.
For finite CW ...
8
votes
1
answer
363
views
On the classification of $\mathrm{SU}(mn)/\mathbb{Z}_n$ principal bundles over 4-complexes
In
The Classification of Principal PU(n)-bundles Over a 4-complex, J. London Math. Soc. 2nd ser. 25 (1982) 513–524, doi:10.1112/jlms/s2-25.3.513
Woodward proposed a classification of $\mathrm{PU}...
1
vote
0
answers
85
views
non zero differential in a spectral sequence
This is the situation:
Let $A = R_* \otimes C_*$ be an $R$-module where $C_*$ is a finitely generated graded ($*\geq 0$) vector space over a field $F$ which is also bounded above, and $R$ is a ...
6
votes
1
answer
429
views
A question about Poincare duality
Let $k$ be a field. Let $C$ be a small category and assume that for every $i\geq 0$ we have a functor $H^i:C\rightarrow FinDimVect_k$. Assume that there is a function $dim:Obj(C)\rightarrow \mathbb{Z}...
10
votes
2
answers
365
views
Second Bounded Cohomology of a Group: Interpretations
Suppose we have a group $\Gamma$ acting on an abelian group $V$. Then it is well-known that the second cohomology group $H^2(\Gamma,V)$ corresponds to equivalence classes of central extensions of $\...
9
votes
0
answers
475
views
About Kan-Thurston theorem
The Kan-Thurston theorem obsesses me recently, which is proved by Daniel Kan and William Thurston, Every connected space has the homology of a K(π,1), Topology Vol. 15. pp. 253–258, 1976. Later, there ...
5
votes
2
answers
792
views
Mixed Hodge Polynomial for Algebraic Stacks
Let $X$ be a complex algebraic variety. The numerical invariants associated with the Mixed Hodge Structure of $X$ can be encoded in a polynomial in three variables called the mixed Hodge polynomial $H(...
1
vote
0
answers
217
views
Cohomology of a chain complex over a polynomial ring
I asked this on SE but I did not get any answer; I got some progress but I hope here I can find some help to finish the problem out.
Let $R = F[x_1, \ldots, x_n]$ be a polynomial ring over a field $...
3
votes
0
answers
145
views
Iwasawa theory and cohomological $p$-dimension of Inertia
Let $E$ be a elliptic curve without complex multiplication over a number field $F$. Let $F_n=F[E_{p^n}]$ and $F_{\infty}=F[E_{p^\infty}]$. So by a well know theorem of Serre, the Galois group $Gal(F_\...
3
votes
0
answers
204
views
Cohomological indices VS cup-length, Lusternik-Schnirelmann category, betti sum in critical point set theory
Let $M$ be a (closed) manifold acted on by a compact Lie group $G$. For any characteristic class $\alpha \in H^*(BG)$, one can define a so-called cohomological index of $M$ as follows:
$$\text{ind}_{\...
8
votes
0
answers
262
views
Generalize Wu formula to general Bockstein homomorphisms
The classical Wu formula claims that
$$Sq^1(x_{d-1})=w_1(TM)\cup x_{d-1}$$
on a $d$-manifold $M$, where $x_{d-1}\in H^{d-1}(M,\mathbb{Z}_2)$.
I wonder whether there is a generalization of the ...
-2
votes
1
answer
89
views
Alternating property of H_2(T, Z)
Let us consider the torus $T = S^1_X \times S^1_Y$, where the former $S^1_X$ has the coordinate $X$, whereas the latter $S^1_Y$ has $Y$. We have an alternate property $dX \wedge dY = - dY \wedge dX \...
4
votes
0
answers
145
views
A relation between Hochschild cohomology of a $C^*$ algebra and its bidual
Let $A$ be a $C^*$ algebra and $A''$ be its bidual with the Arens product.
Is there any relation between the Hochschild cohomolgy of $A$ with complex coefficients and the Hochschild cohomology of $A''$...
-1
votes
1
answer
163
views
Alternate property of H^2(T, Z) [closed]
Let us take $T = S^1_X \times S^1_Y$, which is a torus, where the former $S^1_X$ has the coordinate $X$, whereas the latter $S^1_Y$ has $Y$. If we consider the generator $dX \wedge dY \in H^2(T, {\Bbb ...
1
vote
1
answer
260
views
The sheafification of taking cohomology is trivial?
Consider the Nisnevich site of a noetherian scheme $S$ of finite Krull dimension (the objects are schemes $U$ smooth and of finite type over $S$), let $A$ be a sheaf of abelian groups on this site. I ...
56
votes
2
answers
10k
views
What is prismatic cohomology?
Prismatic cohomology is a new theory developed by Bhatt and Scholze; see, for instance, these course notes. For the sake of the community, it would be great if the following question is discussed in ...
2
votes
1
answer
260
views
Gysin morphism of blow up
Let $X$ be a smooth, projective variety and $i:Y \hookrightarrow X$ a smooth divisor. Let $Z \subset X$ be a proper, closed subvariety disjoint from $Y$. Let $\pi:\widetilde{X} \to X$ be the blow-up ...
7
votes
1
answer
326
views
Invariants in relative cohomology and compact support cohomology of the quotient
Let $\cal H$ be the Poincare upper half-plane and $\overline {\cal H}$ the union of $\cal H$ with the set of cusps $\bf P^1 (\bf Q)$, provided with its usual topology. Let $\Gamma$ a congruence ...
7
votes
1
answer
496
views
Topology of connected subsets of the $3$-torus
Consider the $3$-torus $Y=T^3$, a subset $\Sigma\subset Y$, and $\Sigma^*=Y\setminus\overline\Sigma$.
We assume both $\Sigma$ and $\Sigma^*$ to be open, connected, and smoothly bounded.
I am ...
4
votes
0
answers
395
views
Is the following variant of the Universal Coefficient Theorem valid?
A version of the Universal Coefficient Theorem that relates the integer cohomology of a group $G$ to its cohomology with coefficients in an abelian group $M$ is as follows:
$H^n(G,M) = H^n(G,\mathbb ...
1
vote
1
answer
207
views
About Hom and weight space of nilpotent Lie algebra cohomology
Let $\mathfrak{g}$ be a complex semisimple Lie algebra. Denote by $\Phi$
the root system of $(\mathfrak{g},\mathfrak{h})$ and denote by $\mathfrak{g}_\alpha$ the root subspace of $\mathfrak{g}$ ...
3
votes
1
answer
293
views
Convergence of the Lyndon-Hochschild-Serre spectral sequence as an algebra
Consider a short (not necessarily split) exact sequence of groups
$1 \rightarrow N \rightarrow G \rightarrow Q \rightarrow 1$
and suppose we wish to find the cohomology of $G$ with coefficients in a ...