**3**

votes

**1**answer

325 views

### Integration currents VS Poincaré Dual

Let $M$ be a complex manifold of dimension $n$ and $S \subset M$ a closed complex submanifold of complex codimension $r$. Let $[S] \in H_{2r}(S)$ be the fundamental class of $S$.
We have the ...

**3**

votes

**1**answer

214 views

### When is finding an explicit inverse of an isomorphism not possible

My question is about Shapiro's lemma. Consider the isomorphism $\phi: H^n(G, Hom_{ZH}(ZG, A))\cong H^n(H,A)$ of shapiro's lemma. I would like to describe this via cochains.
So the obvious map is $\...

**2**

votes

**0**answers

109 views

### Deformations of associative algebras and Hochschild cohomology

I am studying the deformation theory of associative algebras (and Poisson algebras) and came across a question for which I cannot find an answer:
Let $(A,\mu)$ be a commutative associative algebra ...

**3**

votes

**1**answer

177 views

### Galois cohomology out of the classifying stack

Suppose $G$ is a smooth and abelian $k$-group scheme, for $k$ a field.
Is it possible to get back galois cohomology groups $H^*(k,G)$ studying the cohomology of the classifying stack $BG=[*/G]$ ?

**1**

vote

**0**answers

52 views

### $\Gamma$ cohomology of principal series

Let $G$ be a noncompact connected real semisimple Lie group with finited center. Let $\Gamma$ be a cocompact discrete subgroup of $G$, and let $P$ be a parabolique subgroup
with Langlands ...

**2**

votes

**1**answer

190 views

### rational cohomology of finite real grassmannian

Let $p_j$ to be the $j$-th Pontryagin class of the universal $n$-plane bundle $E_n(\mathbb{R}^\infty)\to G_n(\mathbb{R}^\infty)$. Then according to Theorem 1.6, The Cohomology of BSO n and BO n with ...

**3**

votes

**1**answer

237 views

### cohomology ring of configuration spaces

In the paper configuration spaces: applications to Gelfand-Fuks cohomology, by F. Cohen and L. Taylor, Bull. Amer. Math. Soc., 1978, theorem 1, I did not find the proof. What method did the author use ...

**1**

vote

**1**answer

263 views

### cohomology of the orbit space of a group action

Let $M$ be a manifold. Let a finite group $G$ act on $M$ discretely. Let $F$ be a field.
Suppose the induced action of $G$ on the cohomology algebra $H^*(M,F)$ is known. We want to obtain $H^*(M/G;F)$...

**0**

votes

**0**answers

164 views

### Wedge product of Endomorphism-Valued Forms

To define characteristic classes in smooth vector bundles $E\longrightarrow M$ there is a more or less standard procedure: to choose a connection $\nabla$ and to derive the curvature $\Omega$, which ...

**0**

votes

**1**answer

102 views

### Rationally graded singular cohomology

In the paper "A new cohomology theory for orbifold" by Chen/Ruan, they define the orbifold cohomology group of an orbifold $X$ by
$H^d_{orb}(X)=\bigoplus_{(g) \in T} H^{d-2\iota_{(g)}}(X_{(g)})$
...

**0**

votes

**1**answer

138 views

### Crossed module classification theorem and $H^3(G; A)$

We are interested in "Crossed Module Classification Theorem (Two crossed modules with kernel $A$ and cokernel $G$ determined the same class in $H^3(G;A)$ if and only if they are equivalent.)".
We ...

**1**

vote

**1**answer

187 views

### Degree of irreducible locally free sheaves and global sections on curves

Let $X$ be a smooth projective curve and $\mathcal{F}$ a locally free sheaf on $X$ of rank $2$ and negative degree. Assume further that $\mathcal{F}$ is irreducible in the sense, $\mathcal{F}$ cannot ...

**2**

votes

**1**answer

120 views

### cohomology algebra of submanifold in euclidean space

If we write a manifold or CW-complex $X$ as a subset of $\mathbb{R}^n$, in expression of coordinates, for example, \begin{multline}
F(S^2,k+1)=\{(x_1,x_2,x_3,\cdots, x_{3k+1},x_{3k+2},x_{3k+3})\in\...

**1**

vote

**1**answer

214 views

### permutation action on cohomology of Stiefel manifolds

Let $V_k(\mathbb{R}^n)$ be Stiefel manifolds.
In the paper The cohomology rings of real Stiefel manifolds with integer coefficients, Martin Čadek, Mamoru Mimura, and Jiří Vanžura, J. Math. Kyoto ...

**1**

vote

**4**answers

407 views

### Global section of very ample line bundles and its value on stalks

Let $X$ be a projective scheme and $\mathcal{L}$ be a very ample line bundle on $X$ with respect to some projective embedding $X \hookrightarrow \mathbb{P}^n_{\mathbb{C}}$ (for some $n$).
Given any ...

**5**

votes

**0**answers

229 views

### For which quiver varieties is Kirwan surjectivity known?

The cohomology of Nakajima quiver varieties is a quite interesting object. It's equipped with some natural classes given by the Chern classes of the tautological bundles associated to the spaces in ...

**2**

votes

**0**answers

188 views

### Multiplication Map, Is it invariant?

Let $\pi:X\rightarrow Z$ a double cover of an elliptic curve with genus $g\geq 3$. Choose a general rank 2 and degree -1 vector bundle $F$ on $Z$, let $E=\pi^*F$ and fix $x\in X$. The involution $i$ ...

**1**

vote

**1**answer

156 views

### configuration spaces of real projective space

Let $F(\mathbb{R}P^n,k)$ be the $k$-th ordered configuration space on $\mathbb{R}P^n$. In http://arxiv.org/abs/1502.04258, the cohomology ring
$$
H^*(F(\mathbb{R}P^n,k);R)$$
is obtained for any ...

**10**

votes

**2**answers

505 views

### Is there an analogue of the Tate (and Hodge) conjecture for varieties that are not proper smooth (i.e., the mixed case)?

Let $X/K$ be a variety (scheme of finite type, geometricaly integral) over a finitely generated field $K$. If it is smooth and proper, we can formulate the Tate conjecture, and if $\text{char}(K) = 0$ ...

**0**

votes

**0**answers

126 views

### Torsion in cohomology

Suppose to have a short exact sequence of chain complexes of $\mathbb{Z}$-modules:
$$0\to A^\bullet\to B^\bullet\to C^\bullet\to 0$$
such that $A^k,B^k,C^k$ are non zero for $k=0,1,2$.
Moreover, ...

**7**

votes

**2**answers

341 views

### Deformations of a blowup

Let $S$ be a smooth projective surface over $\mathbb{C}$. (I guess this can be more general—higher dimension, other ground fields, non-projective, maybe even singular?—and I'dd like to hear that.) Let ...

**0**

votes

**1**answer

413 views

### Axioms for sheaf cohomology

Let $R$ be a commutative ring and $X$ a topological space. Define a sheafy cohomology theory (see here) to be a collection of functors $\mathrm{H}^q:\mathrm{Sh}(X;R\mathrm{Mod})\to R\mathrm{Mod}$ such ...

**1**

vote

**0**answers

277 views

### Intuitive Approach to Sheaf and Cech Cohomology [closed]

Sheaf and Cech cohomology $H^*(X,\mathcal{F})$ (which give the same result when applied to good enough topological spaces) are a useful generalisation of the concepts of de Rham and Dolbeault ...

**6**

votes

**2**answers

552 views

### Applications of cohomology to probability and statistics

Are there interesting/useful applications of cohomology (and homological algebra in general) to probability and statistics, or information theory?
By "interesting/useful", I mean "not merely ...

**2**

votes

**1**answer

153 views

### cohomology of orthogonal (or general linear) group over finite fields

Let $\mathbb{Z}_2=\mathbb{Z}/2\mathbb{Z}$. Let
$$
O(\mathbb{Z}_2^{\oplus k})=\{A\mid A \text{ is a } k\times k \text{ - matrix with entries } 0,1, det(A)=\pm 1\}
$$
What is $$
H^*(BO(\mathbb{Z}_2^{\...

**6**

votes

**2**answers

489 views

### Hard Lefschetz Theorem for the Flag Manifolds

In the case of a generalized flag manifold $G/P$, we have an explicit description of their cohomology groups due to Borel.(See herehere for a description.) I would like to know what the hard Lefschetz ...

**1**

vote

**1**answer

233 views

### cohomology of orthogonal group of integers

Let
$$
O(\mathbb{Z}^{\oplus k})=GL(\mathbb{Z}^{\oplus k})\cap O(k).
$$
What is $$
H^*(BO(\mathbb{Z}^{\oplus k});\mathbb{Z})?
$$
If it cannot be computed out, can we get
$$
H^*(O(\mathbb{Z}^{\oplus ...

**2**

votes

**1**answer

329 views

### cohomology ring of symmetric group of order $3$

Let $S_3$ be the symmetric group of order $3$. What is the cohomology ring
$$
H^*(S_3;\mathbb{Z})?$$
My attempt: I want to use mathematical induction on $n$ for $S_n$.
For $n=1$, $S_1$ is trivial. ...

**8**

votes

**1**answer

378 views

### Automorphisms of generic complete intersections

This question concerns a seemingly folk lore result, which states that automorphism groups of generic complete intersections are trivial, under certain assumptions.
To state the question, let $r \geq ...

**1**

vote

**0**answers

93 views

### Dixon's diagram for BRS cohomology

The article by J. A. Dixon titled Calculation of BRS cohomology with spectral sequences (Comm. Math. Phys. Volume 139, Number 3 (1991), pages 495-526) describes in words a diagram that is not printed. ...

**1**

vote

**2**answers

580 views

### integral or rational cohomology of real grassmannians

I have obtained that the cohomology rings
$$
H^*(G_k(\mathbb{R}^\infty);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k].
$$
Also
$$
H^*(G_k(\mathbb{R}^m);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k]/(\bar ...

**3**

votes

**1**answer

198 views

### homology of configuration spaces of non-compact manifolds

Let $M$ be a manifold.
Let $F(M,n)$ be the configuration space of $n$-tuples on $M$.
Let $B(M,n)=F(M,n)/S_n$, where $S_n$ is the symmetric group of order $n$, be the corresponding unordered ...

**1**

vote

**0**answers

55 views

### A cohomology associated with a codimension one foliation(2)

What is an example of a codimension one foliation of a manifold for which this cohomology is finite dimension for all dimension $*$?
Moreover what is the description of this cohomology for ...

**1**

vote

**1**answer

102 views

### A cohomology associated with a codimension one foliation

Let $\alpha$ be a non vanishing one form on a manifold which which defines a codimension one foliation. With this $\alpha$ we define the following complex:
$$\phi:\Omega^{i}(M)\to \Omega^{i+2}(...

**6**

votes

**2**answers

197 views

### An example of two cofibrant dg categories whose tensor product is not cofibrant

I have been reading the paper by Toën "The homotopy theory of dg categories and derived Morita theory" where in chapter 4 it is stated that the tensor product of two cofibrant dg categories $C$ and $D$...

**1**

vote

**0**answers

104 views

### Dividing a n- cochain by a 1-cochain

Assume that $X$ is a path connected hausdorff topological space. Let $\alpha\in C^{1}(X,\mathbb{R})$ and $\beta\in C^{n}(X,\mathbb{R})$ be cochains in real singular cohomology. Asume that $\alpha \...

**9**

votes

**0**answers

290 views

### Who first talked about “holes” in homology?

The question Why do the homology groups capture holes in a space better than the homotopy groups? and many others here use the idea that homology counts the ``holes'' in a space. The comments on this ...

**7**

votes

**1**answer

456 views

### Intuitive Aproach to Dolbeault Cohomology [closed]

(Duplicated from math.stackexchange)
I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. ...

**3**

votes

**0**answers

91 views

### Computing Dolbeault cohomology of some simple domains

I have seen computations of the Dolbeault cohomology groups on compact Kahler manifolds using Hodge theory.
I have never seen the computation of Dolbeault cohomology for simple domains in $\mathbb{C}^...

**1**

vote

**0**answers

112 views

### Cohomology of a flat principal connection

Let $M$ be a compact manifold, $G$ a compact Lie group, $P\to M$ a principal $G$-bundle and $A$ a flat principal connection on $P$. Then $(\Omega^\bullet(M;\operatorname{ad}P),d_A)$ forms a cochain ...

**3**

votes

**2**answers

259 views

### cohomology algebra of braid spaces, configuration spaces

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, Chapter 5, 6, 7, 8, 9, 10, 11, the cohomology algebra $H^*(B(\mathbb{R}^{n+1},p),\mathbb{Z}_p)$, for $p$...

**0**

votes

**1**answer

328 views

### cohomology version of Cartan-Leray spectral sequence that deduces cup product

On page 338, A User's Guide to Spectral Sequences. 2nd Edition, by John McCleary, Theorem 8.9, there is a Cartan-Leray spectral sequence for homology:
If $X$ is a connected pace on which the group $\...

**2**

votes

**1**answer

186 views

### fiber sequence of principal bundles

Let $G$ be a group, either a Lie group or a discrete group. Let a principal $G$-bundle
$$
G\to E\to B,$$
then $B=E/G$, the orbit space under action of $G$.
Let $BG$ be the classifying space of $G$.
...

**4**

votes

**1**answer

304 views

### Relation between cohomology of ordered and unordered configuration spaces

Let $M$ be a manifold. Then $F(M,k)/\Sigma_k$, the unordered configuration space of $k$ points, is obtained as a quotient of $F(M,k)$, the ordered configuration space of $k$ points, by the group ...

**4**

votes

**1**answer

345 views

### Leray's theorem up to some degree

I am interested in the proof of Leray's theorem that relates Čech cohomology and sheaf cohomology.
The theorem states that if we have a space $X$, a sheaf $\mathcal{F}$ and a covering of $X$ such ...

**0**

votes

**1**answer

135 views

### cohomology algebra of unordered configuration space on Euclidean space

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, page 210 (the preface part before contents):
Line 2: ... is used to compute the precise algebra ...

**0**

votes

**1**answer

138 views

### cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$.
Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...

**6**

votes

**1**answer

221 views

### The cohomology of an $S_{3}$ cover of an elliptic curve ramified in one point

Let $E/\mathbb{C}$ be an elliptic curve. Let $C \to E$ be a Galois cover with group $G = S_{3}$ (symmetric group on $3$ elements), ramified in one point. (To clarify: there is a unique point in $E$ ...

**0**

votes

**0**answers

104 views

### Closed Invariant Forms on Complex Projective $k$-Space

Considering complex projective $k$-space as the homogeneous space $SU_k/U_{k-1}$, is it true that every $SU_k$-invariant form is closed?

**3**

votes

**0**answers

117 views

### Identifying a cohomology class arising from a Postnikov decomposition of BU(2)

For various reasons I'm currently interested in Principal $U(n)$-bundles $U(n)\hookrightarrow E\xrightarrow{p} S^m\times X_g$ over the Cartesian product of an $m$-sphere and a closed oriented surface $...