The cohomology tag has no wiki summary.

**1**

vote

**1**answer

312 views

### A computation by the Shapiro Lemma

Hi:
When I read the book "An introduction to Homological algebra" by Weibel, the page 206, line 9 says that
"Shapiro's Lemma tell us that
$H_q(S_n(X)\otimes_{Z}A)$ is zero if $q\neq 0$ and is ...

**8**

votes

**1**answer

307 views

### “Cohomology at the infinity”: what does one call it

Suppose $X$ is a "good enough" Hausdorff topological space; we assume that $X$ is not compact. Now, for a natural number $k$ and an abelian group $G$, consider the group ...

**7**

votes

**1**answer

312 views

### BRST cohomology definition

Is there written anywhere a full definition of BRST cohomology? All I have found so far is BRST cohomology in _______.
As far as I can see, BRST cohomology is the ...

**1**

vote

**0**answers

153 views

### Mayer-Vietoris on Fibered Products

Suppose $M \xrightarrow{p} X$ is a surjective submersion of smooth manifolds. Define the fibered product in this case: $$M \times_X M = \{ (m_1, m_2) \in M \times M | p(m_1) = p(m_2) \}$$
and let $U ...

**1**

vote

**0**answers

508 views

### Cech Cohomology of Sections of Holomorphic Bundle over Contractible Space

Is there anything that can be said in general about the Cech cohomology of the sheaf $\mathcal{F}$ of sections of a holomorphic bundle over a contractible space $X$?
I know that such a bundle must ...

**1**

vote

**1**answer

206 views

### cohomology of infinite product of EM spaces

Is it true that any map from an infinite product of Eilenberg-MacLane spaces in to an Eilenberg-MacLane space factor through, upto homotopy, a finite subproduct? Even if we take with field ...

**1**

vote

**0**answers

145 views

### Cohomology with compact support and the nerve of a recouvrement

Let $X$ be a simplicial complexe and we assume it localy finite and finite dimensional. We suppose taht there exist a simplicial complexe $Y$ and a map assigning to each vertex $s\in Y$ a finite ...

**7**

votes

**1**answer

365 views

### A formal group law over oriented bordism

My question is related to the following question by Mark Grant here on math overflow:
Formal group law of unoriented cobordism
There it is stated that $MO_*$ has a formal group law $F_0$, universal ...

**0**

votes

**2**answers

229 views

### A question on composites of pushforward and pullback

Let a finite group $G$ acts on an orientable manifold $X$ freely. Denote $\pi:X\rightarrow Y=X/G$ be the quotient map. This covering map defines two maps between cohomology groups ...

**1**

vote

**1**answer

313 views

### $\pi$-cohomology class — a variant of cohomology class

Let $X$ be a topological space with a triangulation. The triangulation defines a
chain complex in $X$. Let $\mu_d$ be a cochain and $M^d$ be a chain. We use $<
\mu_d, M^d > \in M$ to denote ...

**1**

vote

**1**answer

414 views

### Does the Čech cohomology always yield long exact sequences from short ones?

Does the Čech cohomology always give rise to a long exact sequences given a short exact sequence of sheaves?
Clearly that cannot occur for sheaves on a paracomact (perhaps also Hausdorff, I'm not ...

**0**

votes

**1**answer

206 views

### The locus where a sheaf is supported in a certain dimension

I am trying to understand a particular case of this question.
Let $T$ be an affine scheme of finite type over the ground field C. Let $X \to T$ be a morphism. I'll assume this to be the base change ...

**0**

votes

**0**answers

174 views

### Coherent Sheaf supported in a point

Hi guys, I'm studying Cech cohomology of sheaves and I've the following doubt:
If you have a coherent sheaf $\mathcal{F}$ in a compact complex variety $X$ then the cohomology groups are finite ...

**2**

votes

**1**answer

293 views

### Cohomology of configuration space of a compact manifold

There is a reference or a methode which by it we can calculate the cohomology of a configuration space of a compact manifold simply connected? It is possible to find a spectral sequence converging to ...

**10**

votes

**1**answer

496 views

### Results from Differential Cohomology

I've been working through some notes on differential cohomology for the past few months. I feel like I have a pretty decent grasp on the concepts and its construction, at least for differential ...

**3**

votes

**1**answer

234 views

### Cohomology of Projective Classical Lie Groups

Let $G$ be a compact, connected, simply-connected Lie group with centre $Z(G)$, and consider the Lie group $G/Z(G)$. I believe that for $G$ a classical group, the Lie group $G/Z(G)$ is sometimes ...

**0**

votes

**3**answers

362 views

### Zero-cohomology of birational varieties

Let $f:X\dashrightarrow Y$ be a birational map of smooth projective varieties, i.e., there exist open subsets $U_1, \subset X$ and $U_2 \subset Y$ such that $f|_{U_1} : U_1 \rightarrow U_2$ is an ...

**3**

votes

**3**answers

384 views

### Computing the cardinality of cohomology groups

I hope this question is not unreasonably broad. It is about calculating or at least bounding the cardinality of cohomology groups in case they are finite.
Let us assume we are given a group $G$ and a ...

**3**

votes

**0**answers

160 views

### In the cohomology of Thom spectrum over LoopS^{2} and p-adic characteristic classes

Let $T$ denote the thom spectrum over $\Omega S^{2}$ defined by the map
$1+3: \Omega S^{2} \to BG_{3}$
where $1 +3$ is a unit in $3$-adics.
Here $G_{3}$ is the unit component of ...

**0**

votes

**1**answer

181 views

### Reference for notation $H^0(C, mK)$

I am reading the draft of "Equations of Riemann Surfaces of Genus 4, 5 and 6 wih Large Automorphism groups" and the author starts using the notation $H^0(C, mK)$ on page 3, without explaining it. As ...

**2**

votes

**0**answers

145 views

### cech cohomology in topos

Hi,
The following result seems to be well known, but I can't come up with a proof.
Suppose that $C$ is a topos and that $F\to G$ is an effective epimorphism in $C$. If $P$ is
any abelian sheaf on ...

**0**

votes

**2**answers

143 views

### Cohomology of Complements by an analytic subset?

Good moring,
Let $\Omega$ be a domain in $\mathbb{C}^n$ and $S\subset\Omega$ an analytic subset of codimension 1. What can we say about the cohomology group $H^1(\Omega\backslash S, \mathbb{Z})$? ...

**4**

votes

**2**answers

169 views

### Borel localization with Mayer-Vietoris sequence

We have this theorem:
Let $U$, $V$ two open sets of manifold $M$, ($U \cup V = M$). If they are $G$ -stable the induced sequence in cohomology
$$ \cdots \to H^k_G (U \cup V) \to H^k_{G}(U)\oplus ...

**6**

votes

**0**answers

231 views

### Real schubert calculus

Studying real enumerative questions I noticed, that the even-even Schubert varieties of the real Grassmannian $Gr:=Gr_{2k}(2n,\mathbb R)$ behave analogously to the complex case.
I call a partition ...

**12**

votes

**1**answer

472 views

### Essential uniqueness of the real-analytic structure on $\mathbb R$

It is well-known that any $C^k$-smooth $1$-manifold homeomorphic to $\mathbb R$ is $C^k$-diffeomorphic to $\mathbb R$. The cases of $k\in{\mathbb N}\cup$ {$\infty$} may all be handled similarly by ...

**1**

vote

**0**answers

94 views

### A certain 'coniveau-like' filtration for cohomology: what can one say about the intersection of $Ker H^i(X)\to H^i(Z)$ for $Z$ running through subvarieties of $X$ of dimension $m$?

Let $X$ be a smooth variety (say, a complex one; denote its dimension by $n$). What can one say about the intersection of $Ker (H^i(X)\to H^i(Z))$ for $Z$ running through (closed, not necessarily ...

**2**

votes

**1**answer

306 views

### Cohomology of quotient space

Let be $X$ a maximal torus in a Lie group $G$. I'd like to calculate the cohomology $H^{*}(G/N(T))$. I know that it is trivial in odd degree and the base-field is even but I haven't a basic method to ...

**5**

votes

**1**answer

213 views

### Cocycles for right- and left- regular representations on $\ell_2(G)$

Using the standard notation, let $\lambda_gf(x)=f(g^{-1}x)$ be the left regular representation and $\rho_gf(x)=f(xg)$ be the right regular one, acting on the space $V$ of complex-values functions on ...

**1**

vote

**1**answer

229 views

### What can we say about the map $\pi^{*}\pi_{*}$ for $\pi:X\rightarrow X/G$?

Let $X$ be a manifold or scheme with a finite group $G$ acting on it freely. Let $\pi:X\rightarrow X/G$ be the natural projection. We have $\pi_{\*}\pi^{\*}=|G|id$ on $H^*(X/G,\mathbb{Z})$. Can we say ...

**2**

votes

**1**answer

193 views

### Endomomorphisms of Chain Complexes of vector spaces and determinants

Let $C_{\ast} : \cdots \to A_{2} \to A_{1} \to A_{0} \to 0$ be a chain complex of finite dimensional vector spaces over a field $K$.
And let $f_{\ast} : C_{\ast} \to C_{\ast}$ and $g_{\ast} : ...

**2**

votes

**0**answers

143 views

### A nice way to verify whether the Neron-Severi group of a smooth affine variety is zero

Let $S$ be a smooth affine variety over an algebraically closed field (this could be the field of complex numbers). Is there an 'easy' way to verify whether $NS(S)=0$? Unfortunately, I don't know how ...

**6**

votes

**0**answers

172 views

### Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...

**9**

votes

**0**answers

178 views

### Is there a Hodge isomorphism theorem for part-tangential, part-normal, harmonic differential forms?

Let $M$ be an oriented compact Riemannian $n$-manifold with boundary $\partial M$. A differential $p$-form $\omega$ on $M$ is normal if $i^* \omega = 0$ holds, tangential if $i^* \star \omega = 0$ ...

**5**

votes

**2**answers

576 views

### English reference for the Grauert–Riemenschneider vanishing theorem

What is the best reference in English for the following theorem of Grauert–Riemenschneider:
Theorem:
Let $\phi:X \to Y$ be a proper bi-rational morphism of algebraic varieties over characteristic ...

**2**

votes

**1**answer

190 views

### Artinian property of local cohomology module over graded local ring

We know that if $(R, m)$ is a local ring, $M$ is a finitely generated $R$-module, then the local cohomology module $H^{i}_{m}(M)$ is an Artinian module for every $j$.
My question is : if $(R,m)$ is a ...

**3**

votes

**2**answers

494 views

### vanishing of local cohomology $H^2_{(x,y)}\left(\frac{\Bbb Z[x,y]}{(5x+4y)}\right)=0$

Edited:
I guess
$$H^2_{(x,y)}\left(\frac{\Bbb Z[x,y]}{(5x+4y)}\right)=0$$
We know that if $\operatorname{Supp} H^i_I(M)\subseteq V(I)\cap \operatorname{Supp}(M)$, then
$$\operatorname{Supp} ...

**1**

vote

**1**answer

437 views

### cohomology of torsion sheaves and nilpotent sheaves

Let $X$ be a scheme and $\mathcal{F}$ be a sheaf on $X$ which is torsion $\mathcal{O}_X-$module (i.e., every local section is annihilated by an element of the ring $\mathcal{O}_X(U)$) or nilpotent ...

**3**

votes

**1**answer

333 views

### A cohomology computation request.

The short: Let
$X= \{(x,y,z) \in \mathbb{C}^* \times \mathbb{C} \times \mathbb{C} \, |\, yz-x\neq 0\}$
Compute $H^*_c(X)$ (say with $\mathbb{C}$-coefficients).
The long: Unless I messed something ...

**7**

votes

**6**answers

1k views

### reference for (co)homology theories

Hi everyone,
Every now and then, I find myself dealing with such or such (co)homology theory, and I'm frustrated I don't feel more comfortable around it.
I was wondering if someone could recommend a ...

**2**

votes

**0**answers

278 views

### Voevodsky's 'split standard triple' argument: an explanation; does it work with $Z/nZ$-coefficients?

For varieties over a perfect field (of some characteristic $p$ that could be 0) Voevodsky defines the notion of a 'standard triple' (see ...

**3**

votes

**0**answers

158 views

### For a finite flat (etale?) morphism $f:Y\to X$, is $f_*1_Y-\deg f . 1_X$ nilpotent in $A^0(X)$, where $A^*$ is the algebraic cobordism?

Let $A^\ast$ be an algebraic oriented cohomology theory (i.e. it is equipped with certain push-forwards for projective morphisms of smooth varieties over the base field $k$; see section 2 of ...

**4**

votes

**3**answers

354 views

### Connection Transformation Formula; Degree 3 Cech Cohomology

While reading through Brylinski, as in all of my posts, I am trying to understand the following equation:
$ g_* \tilde{\theta} = \tilde{\theta} - g^{-1} dg$
Setting
I have a principal ...

**5**

votes

**1**answer

254 views

### spectral sequence for cobordism without leaving smooth category

In Bott & Tu's marvelous book there is a derivation of the spectral sequence for a (smooth) fiber bundle for deRham cohomology done entirely in the realm of the smooth category. Unfortunately, as ...

**3**

votes

**1**answer

297 views

### Cohomology of a fiber bundle with fiber $H$ and base space $BG$

Are there any general results on the (integral) cohomology
of fiber bundle, where the fiber is a compact group $H$ (continuous or discrete)
and the base space is the classifying space $BG$ of another ...

**4**

votes

**1**answer

375 views

### Cohomology Ring of the Flag Manifolds, Cartan Subalgebras, and Weyl Groups

I've recently read the following line in an interesting paper:
It is well-known that the cohomology ring of a flag variety $G/B$ is isomorphic to the quotient ring of the ring of polynomial ...

**1**

vote

**1**answer

210 views

### Why does a homologically trivial cycle have trivial projections?

Let $X$ be a smooth curve over a field. Let $Y$ be the triple product $X \times X \times X$. Let $\gamma$ be a homologically trivial codimension $2$ cycle.
In the text [Zhang, p. 76] that I am ...

**2**

votes

**1**answer

347 views

### How to calculate the equivariant cohomology ring of $P^2$?

It is well known that Kirwan's injection theorem gives an ring injection from $H^{\ast}_T(M)$ to $H^{\ast}_T(M^T)$ which is induced by the inclusion $M^T \to M$, where $T$ is a torus acting on ...

**0**

votes

**0**answers

102 views

### on variable and primitive cohomology of a hypersurface in a projective space

I have a smooth hypersurface D in $\mathbb{P}^n$: in many books about Hodge theory (as the ones of Voisin and Carlson) they take for granted that the primitive cohomology of D is equal the variable ...

**2**

votes

**2**answers

346 views

### Vanishing of Ext group

Let $C$ be a cartier divisor on a smooth projective surface in $\mathbb{P}^3$. Then we get the short exact sequence $$0 \to \mathcal{O}_X(-C) \to \mathcal{O}_X(-C_{red}) \to F \to 0$$
for some sheaf ...

**7**

votes

**2**answers

427 views

### Injective maps on cohomology and Kahler manifolds

Compact Kahler manifolds have the property that surjective maps induce injections on cohomology with coefficents in $\mathbb{Q}$ (That is, if $X,Y$ compact Kahler, then a surjective map $\phi: X ...