The cohomology tag has no wiki summary.

**5**

votes

**2**answers

232 views

### Seifert Fibrations and their associated Spectral Sequence

In a somewhat limited setting, a Seifert Fibre Space is a 3-manifold $M$ with a "nice" decomposition into circles (http://en.wikipedia.org/wiki/Seifert_fiber_space). That is, $M$ is decomposed into ...

**0**

votes

**2**answers

288 views

### Surjectivity of the Gysin morphism

Let $f:X \to Y$ be a closed immersion between smooth projective complex varieties. Suppose that the codimension of (the image of) $Y$ in $X$ is equal to $r \ge 1$. This induces the Gysin morphism ...

**2**

votes

**1**answer

235 views

### Chern Character Isomorphism for non-finite CW complexes, resp. for non-CW complexes

This is a question I asked at Math.SE but got no answers: http://math.stackexchange.com/q/397164/7110/
Atiyah and Hirzebruch showed in their paper "Vector bundles and homogeneous spaces" that ...

**0**

votes

**1**answer

169 views

### Relation between $H^i_I(-)$ and $H^i_J(-)$ when $I\subset J$

What is the relation between $H^i_I(-)$ and $H^i_J(-)$ (cohomological functors) when $I\subset J$ are ideals of a (local) noetherian ring?

**3**

votes

**3**answers

369 views

### Reference request: construction of Steenrod operations for an odd p

Where in literature can one find a construction of Steenrod
reduced powers (for an odd $p$) that
(1) works for the singular cohomology of arbitrary topological spaces
(or, more generally, for the ...

**9**

votes

**0**answers

183 views

### KK-theory by abelianized correspondences of smooth stacks?

Whith (Kasparov, bivariant) KK-theory I am left with the nagging feeling that the theory is "more fundamental", than has been made explicit, that there is a "more profound" universal characterization ...

**4**

votes

**1**answer

149 views

### A group 3-cocycle, trivial on a pair of generating subgroups?

I'm looking for an example of the following situation:
A group $G$ generated by finite subgroups $H$ and $K$,
a non-trivial 3-cocycle $\omega \in H^3(G, \mathbb{k}^\times)$
such that
the ...

**6**

votes

**1**answer

533 views

### Can group cohomology be interpreted as an obstruction to lifts?

The standard way to view the first and second group cohomologies is this:
The Standard Story
Let $G$ be a group, and let $M$ be a commutative group with a $G$-action. Then the first cohomology has ...

**1**

vote

**1**answer

319 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

157 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

511 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

208 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

374 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

230 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

421 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

208 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

175 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

298 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

504 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

363 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

391 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

162 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

148 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

175 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

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

**13**

votes

**1**answer

480 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

95 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

307 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

231 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

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

**7**

votes

**0**answers

178 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

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

**6**

votes

**2**answers

597 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

194 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

497 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

451 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

334 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

279 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

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