The cohomology tag has no wiki summary.

**10**

votes

**1**answer

436 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

219 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

353 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

373 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

156 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

177 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

141 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

142 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})$? ...

**0**

votes

**0**answers

291 views

### Cohomology of Grassmannian and equivariant cohomology

Let $G=U(n)$ and $EU(n)=V_{n}(\mathbb{C}^{\infty})$ the infinit Stiefel manifold. So i think that $BU(n)$ is the infinite Grassmannian $G_r(\mathbb{C}^{\infty})$. We have $H_{BU(n)}(pt)= ...

**4**

votes

**2**answers

158 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

215 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

459 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

91 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

303 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

211 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

227 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

186 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

142 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

166 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

173 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

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

**1**

vote

**1**answer

168 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

479 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

395 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

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

**6**

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

274 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

148 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

342 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

249 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

289 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

342 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

204 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

340 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

93 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

317 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

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

**0**

votes

**0**answers

166 views

### lefschetz theorem for quadrics

Does there exist an analogue of Lefschetz Hyperplane Theorem for cohomology that holds for intersections with (smooth) quadrics?

**6**

votes

**0**answers

573 views

### Is there any “deep” relation between the localization theorem of equivariant cohomology and the localization theorem of equivariant K-theory

First let's consider equivariant cohomology: if a compact Lie group $G$ acts on a compact manifold $M$. We have the equivariant cohomology $ H_G(M)$ defined as the cohomology of the cochain complex ...

**13**

votes

**0**answers

415 views

### Steenrod algebra at a prime power

Let $n=p^k$ be a prime power.
When $k=1$, the algebra of stable operations in mod $p$ cohomology is the Steenrod algebra $\mathcal{A}_p$. It has a nice description in terms of generators and ...

**1**

vote

**2**answers

421 views

### Hyper(co)homology of exact (acyclic) complexes

Let $\mathcal{A}$ be an abelican category with enough injectives, let $K^\bullet \in Kom^+(\mathcal{A})$ be a complex, where $Kom^+(\mathcal{A})$ is the category of cochain complexes over ...

**6**

votes

**1**answer

268 views

### Effective Serre Vanishing

Suppose that $X = \mathbb{P}^n_k$ and $G$ is a coherent sheaf on $X$.
Question: Is there a way to determine some integer $n_0$ such that $H^1(X, G \otimes O_X(n)) = 0$ for all $n \geq n_0$? ...

**10**

votes

**1**answer

356 views

### Wanted: Odd-dimensional integral cohomology class whose square is nonzero

Does anyone know of a nice simple example of a space $X$ with an odd-dimensional integral cohomology class $a\in H^{2k+1}(X;\mathbb{Z})$ whose square is nonzero?
I once thought that the ...

**2**

votes

**1**answer

250 views

### Cohomology groups of quotient by finite group

I know there are already lots of questions about (co)homology groups of a quotient manifold, but please let me ask one more question.
Let $G$ be a finite group acting on a manifold $M$ without fixed ...

**8**

votes

**1**answer

826 views

### Differential Calculus and the De Rham Homotopy Operator

Suppose $M$ is a smooth manifold, $\Omega^k(M)$ the vector space (or $C^\infty(M)$-module in case this is better suited) of $k$-differentialforms on $M$ and
$$I: \Omega^k(M\times \mathbb{R}) \to ...

**1**

vote

**0**answers

317 views

### Vanishing of cohomology groups

Given a smooth hypersurface $X \subset \mathbb{P}^{2p+1}_{\mathbb{C}}$ of degree $d \ge 5$ (with $p\ge 2$), when can we say that
...

**6**

votes

**1**answer

283 views

### Torsion in $H^2(X,\mathbb{Z})$ induced by torsion in $H_1(X,\mathbb{Z})$

Let $X$ be a topological space. The universal coefficient theorem says that there is a short exact sequence
$$
0\rightarrow Ext(H_{k-1}(X,\mathbb{Z}),\mathbb{Z})\rightarrow ...

**0**

votes

**1**answer

479 views

### Infinite linear span vs closed linear span

Hi,
Suppose we have a (real, separable) Banach space $V$ and a (linear) set $A\subseteq V$. I presume in general it might not be possible to write every element of the closed span of $A$ as an ...

**5**

votes

**2**answers

252 views

### cohomology and $j_!$

I have a projective variety $X$ and an open immersion $j : U \to X$.
Say I have a sheaf, locally free in my case of interest, $\mathcal{S}$ on $U$. Is there any reasonable relationship between ...

**2**

votes

**0**answers

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