The cohomology tag has no wiki summary.

**0**

votes

**0**answers

20 views

### Global sections of locally free sheaves and its value at a closed point

This is somewhat generalization of my question on
Global section of very ample line bundles and its value on stalks
Let $X$ be a projective (complex) curve and $\mathcal{F}$ a locally free sheaf on ...

**0**

votes

**1**answer

87 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

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

**0**

votes

**0**answers

57 views

### permutation action on cohomology of configuration space

Let $F(M,n)$ be the $n$-th configuration (ordered) of manifold $M$.
In the paper The Integral Cohomology Algebras of Ordered Configuration Spaces of Spheres, ...

**2**

votes

**0**answers

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

**17**

votes

**0**answers

464 views

### Combinatorics of Quantum Schubert Polynomials

Let $S_n$ be the symmetric group. Let $s_i$ denote the adjacent transposition $(i \ i+1)$. For any permutation $w\in S_n$, an expression $w=s_{i_1}s_{i_2}\cdots s_{i_p}$ of minimal possible length is ...

**0**

votes

**0**answers

158 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$ ...

**9**

votes

**2**answers

364 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$ ...

**1**

vote

**1**answer

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

**3**

votes

**0**answers

303 views

### Defining the cup product in Ext using a Kunneth formula

I want to make a Kunneth product of sorts on Ext. In particular, letting $C_*$ be a $R$-free resolution for $k$ over a $k$-hopf algebra $R$, elements in $Ext_R(k,k)$ are represented by maps in ...

**0**

votes

**0**answers

113 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

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

**1**

vote

**1**answer

183 views

### Bockstein homomorphism from $H^d(BG,Z_2)$ to $H^{d+1}(BG,Z)$, and Steenrod Square $Sq^1$

The Theorem 1.5 and 1.6 of
Brown, Edgar H., Jr. The cohomology of BSOn and BOn with integer coefficients. Proc. Amer. Math. Soc. 85 (1982), no. 2, 283–288.
give a general answer for $H^d(BSO_n,Z)$ ...

**-1**

votes

**1**answer

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

**8**

votes

**1**answer

311 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

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

**7**

votes

**1**answer

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

**9**

votes

**1**answer

336 views

### Fomin-Kirillov algebras and Schubert calculus

In
Fomin, Sergey; Kirillov, Anatol N. Quadratic algebras, Dunkl elements, and
Schubert calculus. Advances in geometry, 147--182, Progr. Math., 172,
Birkhäuser Boston, Boston, MA, 1999. MR1667680 ...

**5**

votes

**2**answers

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

**-3**

votes

**0**answers

94 views

### cohomology of permutation group of order power of $2$

Let $S_k$ be symmetric group of order $k$. What is
$$
H^*(BS_{2^k};\mathbb{Z}_2)?
$$
$$
H^*(BS_{2^k};\mathbb{Z})?
$$
I only know the case $k=1$.

**1**

vote

**1**answer

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

**2**

votes

**1**answer

113 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 $$
...

**6**

votes

**2**answers

306 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

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

**10**

votes

**1**answer

219 views

### A cdga for compactly supported cohomology (à la Sullivan's algebra of polynomial forms)

Let $M$ be a smooth manifold, and let $\Omega^\bullet(M)$ be the commutative dg-algebra of differential forms on $M$. It is quasi-isomorphic to the dg-algebra of singular cochains on $M$. If $M$ is no ...

**1**

vote

**0**answers

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

**4**

votes

**0**answers

149 views

### consistent orientation for functorial pull-push in generalized cohomology

Given a correspondence $X_{\mathrm{in}} \stackrel{i_{\mathrm{in}}}{\leftarrow} X \stackrel{i_{\mathrm{out}}}{\to} X_{out}$ of suitable "spaces" of sorts, and given a (generalized) cohomology theory ...

**13**

votes

**7**answers

3k views

### What is a cup-product in group cohomology, and how does it relate to other branches of mathematics?

I have a few elementary questions about cup-products.
Can one develop them in an axiomatic approach as in group cohomology itself, and give an existence and uniqueness theorem that includes an ...

**3**

votes

**1**answer

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

**0**

votes

**2**answers

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

**1**

vote

**0**answers

50 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

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

**6**

votes

**2**answers

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

**1**

vote

**0**answers

94 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

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

**2**

votes

**0**answers

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

**1**

vote

**0**answers

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

**0**

votes

**0**answers

66 views

### cohomology of labelled configuration space & relation with braid space

Let $M$ be a manifold and $(X,*)$ be a pointed topological space. ( If we want, we can let $M=S^2,S^1\times \mathbb{R},etc.$)
Let $F(M,k)$ be the ordered configuration space of $k$-tuples on $M$.
...

**3**

votes

**2**answers

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

**0**

votes

**1**answer

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

**1**

vote

**1**answer

138 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

215 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

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

**4**

votes

**0**answers

125 views

### cohomology algebra of unordered configuration space with coefficients the finite fields

in the paper The cohomology algebra of unordered configuration spaces (Y. Félix, D. Tanré, J. London Math. Soc., 2005), Theorem 4:
Let $M$ be an odd-dimensional, compact, closed, oriented manifold. ...

**-1**

votes

**1**answer

85 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

115 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

212 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$ ...

**41**

votes

**2**answers

1k views

### $H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free.
...

**0**

votes

**0**answers

88 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?

**11**

votes

**2**answers

650 views

### Are generalized cohomology theories a homotopy category of some category of invariants?

I was taught to think of generalized cohomology theories as the homotopy category of (symmetric) spectra. But is there also a category of 'invariants', that is, some category of contravariant functors ...