The cohomology tag has no wiki summary.

**6**

votes

**2**answers

644 views

### Faltings-Riemann-Roch Theorem

I found the famous Faltings book ``Lectures on arithmetic Riemann-Roch theorem".
In the book, very analytic techniques such as Garding inequality or heat kernel are explained. I have no idea where ...

**1**

vote

**2**answers

383 views

### Quantization by cohomology

Ok, so I have heard some cool stuff here and there about how to Quantize Yang-Mills via cohomology, can anyone refer any texts in the literature that have shed some light on this, I mean I have some ...

**0**

votes

**0**answers

145 views

### Metalinear frame bundle on sphere or $\mathbb{C}P^n$

Let $M$ be a smooth manifold. A complex metalinear frame bundle $\tilde F(P)\to M$ of a rank $n$ complex vector bundle $P\to M$ is a principal $ML(n,\mathbb{C})$-bundle together with a covering map ...

**26**

votes

**2**answers

2k views

### Why should I care about topological modular forms?

There seems to be a lot of recent activity concerning topological modular forms (TMF), which I gather is an extraordinary cohomology theory constructed from the classical theory of modular forms on ...

**7**

votes

**0**answers

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

**1**

vote

**1**answer

137 views

### lift of antiholomorphic involution of Riemann surface to its Jacobian's cohomology

Start from a connected closed Riemann surface $\Sigma_g,$
obtained as the (symmetric) covering of an open and/or unoriented surface
$\Sigma,$ namely $\Sigma=\Sigma_g/\Omega,$ where $\Omega$ is an ...

**16**

votes

**1**answer

866 views

### For which varieties is the natural map from the Chow ring to integral cohomology an isomorphism?

My apologies if this question is too naive.
Let $X$ be a smooth projective complex variety. There is a natural map $A^{\bullet}(X) \to H^{2\bullet}(X)$ of graded rings from the Chow ring of $X$ to ...

**2**

votes

**0**answers

87 views

### Vanishing theorems that work in positive characteristic

Let $X$ be a smooth projective variety over a field of characteristic $p>0$ of dimension at least $2$. I am looking for some examples when $H^2(\mathcal{O}_X)$ vanishes. Is there any standard way ...

**3**

votes

**0**answers

80 views

### Additive basis for the cohomology of real flag manifolds

By Borel's description the mod 2 cohomology algebra of the flag manifold is the polynomial algebra on the Stiefel-Whitney classes of canonical vector bundles modulo ideal generated by the dual ...

**0**

votes

**1**answer

334 views

### Global sections of the structure sheaf of a non-reduced projective scheme

Let $C$ be a curve in $\mathbb{P}^3$ which is of local complete intersection is some smooth surface in $\mathbb{P}^3$. Assume $C$ is non-reduced. What can we say about $h^0(\mathcal{O}_C)$? When can ...

**4**

votes

**0**answers

221 views

### extension of cohomology theories

In Rudyak's book it is proved (3.22 page 160) that every additive cohomology theory (in the sense of Eilenberg-Steenrod) defined on the category of finite dimensional pointed CW complexes can be ...

**1**

vote

**2**answers

311 views

### Isomorphism of connections on a complex line bundle

Reading an article I faced with the following theorem, please give me a reference to a proof of the fact which is stated without any reference in the article. Is it a well-known fact?
Theorem. Let $E ...

**2**

votes

**1**answer

434 views

### Is the higher direct image sheaf of a locally free sheaf over $\mathbb{P}^1$ locally free?

Let $f:X \to \mathbb{P}^1$ be a projective flat morphism, $X$ is a projective scheme. Let $\mathcal{F}$ be a locally free sheaf on $X$. Are the higher direct image sheaves $R^if_*\mathcal{F}$ locally ...

**5**

votes

**1**answer

425 views

### Are the Kahler Identities for a Holomorphic Vector Bundle Actually Interesting?

For a Kahler manifold $M$, and a smooth vector bundle $E$ over $M$, let us denote by $A^{(p,q)} := \Omega^{(p,q)} \otimes E$ the bundle of forms with values in $E$. Now with respect to a choice of ...

**7**

votes

**2**answers

239 views

### Is there a cohomology for magmas?

Is there a cohomology theory for magmas? Or cohomology theories for any class of non-associative algebras (other than Lie and maybe Jordan)?

**15**

votes

**0**answers

378 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

**1**answer

542 views

### Exact sequences of the cohomology induced by fiber bundle

I'm reading section 2.1 of Lawson's book, Spin Geometry. The book states the following fact. Let $X$ be a manifold and $E$ a vector bundle over it. Equip $E$ with a Riemannian structure. Let $P_O$ be ...

**3**

votes

**2**answers

226 views

### 1st cech cohomology groups on ringed sites

Let $(C, O)$ be a ringed site -- i.e., $C$ is a small category with a grothendieck topology $\tau$ and $O$ a sheaf of rings on the site $(C,\tau)$. In this context, for any object $U$ of $C$ one can ...

**2**

votes

**0**answers

210 views

### “Extended” Weil Cohomology Theories

According to Wikipedia, a Weil cohomology theory is a functor from the category of smooth projective varieties over a field $k$, to graded algebras over a field $K$ of characteristic zero, together ...

**0**

votes

**0**answers

69 views

### Hit problem and $\left( \mathbb{F}_2 \otimes_{A} P_6 \right)_{10}$

I try to determine the $\left(\mathbb{F}_2 \otimes_{A} P_6 \right)_{10}$ as a $\mathbb{F}_2$- vector space, in which $P_6$ is polynomial algebra $\mathbb{F}_2[x_1,x_2,\dots,x_6]$ and $A$ is Steenrod ...

**1**

vote

**0**answers

200 views

### What is your expectation of the depth?

Let $S=k[x_1,...,x_9]$ be a polynomial ring over field $k$. Set $q_1=(x_1,x_2,x_5,x_6)$, $q_2=(x_1,x_2,x_6,x_7)$, $q_3=(x_2,x_3,x_7,x_8)$, $q_4=(x_1,x_5,x_6,x_7)$, $q_5=(x_1,x_6,x_7,x_8)$, ...

**0**

votes

**1**answer

330 views

### A generalization of cochain complex: quasi-cochain complex

It appears that we can generalize cochain complex to quasi-cochain complex, that still allow us to define cohomology.
Definition:
A quasi-cochain complex is a sequence of commutative monoids $M_n$ ...

**4**

votes

**2**answers

297 views

### How does Tate cohomology fit into a derived categories framework?

I've read through one class field theory text after another, but there's something very non-intuitive for me about cohomology that makes it hard for me to understand why Tate cohomology was invented.
...

**1**

vote

**1**answer

126 views

### first cohomology of exterior power of tangent bundle

suppose G is a Grassmannian manifold, and TG is the tangent bundle.
By Bott's theorem $H^1(G, T_G)=0$.
Is it true that $H^1(G, \bigwedge^i T_G)=$, for i>0.
I saw some vanishing result by lepotier, ...

**2**

votes

**2**answers

202 views

### Confusion about two statements about cohomology of curves with automorphisms

Let $\pi :C\rightarrow \mathbb{P}^{1}$ be a cyclic cover of degree $m$ of $\mathbb{P}^{1}$. So $C$ has an action of $\mathbb{Z}/m\mathbb{Z}$. Let $\xi$ be a primitive $m$-th root of unity. Consider ...

**2**

votes

**2**answers

165 views

### Preimage of $1 \in H^n(M^n)$ under Chern character

Let $M$ be a closed, oriented manifold of dimension $n$. We know that the Chern character induces an isomorphism $K^\ast(M) \otimes \mathbb{Q} \cong H^\ast(M; \mathbb{Q})$ and now I was wondering how ...

**3**

votes

**1**answer

601 views

### Pontryagin square on $Y\times S^1$ where $Y$ is three-dimensional

Let $Y$ be an oriented manifold of dimension three, and let $X=Y\times S^1$. We have
$$H^2(X,\mathbb{Z}_2)=H^2(Y,\mathbb{Z}_2)\oplus H^1(Y,\mathbb{Z}_2).$$
Pick an element $m\oplus n\in ...

**3**

votes

**0**answers

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

**16**

votes

**2**answers

613 views

### KK-theory as a stable infinity-category and KU Mod

The category KK of bivariant operator K-theory (or possibly its E-theory variant) ought to be the homotopy category of something at least close to a stable infinity-category; notably in that it ...

**2**

votes

**0**answers

229 views

### Global sections of a coherent sheaf in terms of a presentation

Let $A$ be a graded ring satisfying the usual finiteness conditions of EGA II (for example $A_0$ is noetherian, $A_1$ is finite over $A_0$ and $A$ is generated by finitely many elements of $A_1$ as an ...

**8**

votes

**1**answer

229 views

### What's a good example/reference for cohomology classes on Springer fibers that aren't restricted from the flag variety

As usual, by Springer fiber, I mean the fixed points $X^u$ of a unipotent element $u$ of the group $G$ on the flag variety $X=G/B$. It's a lovely theorem that when $G=SL_n$, the induced map on ...

**7**

votes

**1**answer

286 views

### On quadratic forms, Pontryagin Squares, and H^4(K(pi,2),U(1))

I am trying to get a concrete handle on the isomorphism $H^4(K(\pi_2,2),U(1)) \simeq \{$quadratic forms $\pi_2 \to U(1) \}$. This is explained in Eilenberg and Maclane's ...

**1**

vote

**0**answers

97 views

### Realization of a formal duality isomorphism via integration

This is a more precise version of my previous question. Let $X$ be a smooth variety of dimension $n$ over $\mathbb{C}$ and $Z$ a proper sub-scheme. We denote by $\tilde{X}$ the formal completion of ...

**3**

votes

**2**answers

230 views

### Equivariant cohomology and complex non-degenerate bilinear forms

Let $M = GL(n,\mathbb{C})$ be the set of non-degenerate bilinear forms on $\mathbb{C}^n$ (not necessarily symmetric). The general linear group $G = GL(n,\mathbb{C})$ acts on $M$ in the usual way
...

**1**

vote

**0**answers

376 views

### cohomology of a blowup: reference needed

Does anybody know a reference in which the computation of the cohomology of a blow-up is made in detail?

**-2**

votes

**1**answer

260 views

### How cohomology group varies with tensor product [closed]

Let $\mathfrak{F}$ be a sheaf of abelian groups on a smooth scheme $X$. Suppose for some $i>1$, there exists a surjective morphism
$H^i(\mathfrak{F}^{\otimes i-1}) \to H^i(\mathfrak{F}^{\otimes ...

**6**

votes

**1**answer

302 views

### Vanishing cohomology of de-Rham Witt complex

Let $X$ be a smooth scheme over $\mathbb{F}_{p}$ for a prime number $p$. As far as I understand,
there is a surjective morphism from
$\Omega^\bullet_{W\mathcal{O}_X} \to W \Omega_{X}^\bullet$ which ...

**0**

votes

**0**answers

114 views

### Compare cohomology of tensor product and exterior product

Let $X$ be a smooth projective variety over a field $K$ of positive characteristic. Let $\mathcal{F}$ be a sheaf of $K-$algebras. Is there any criterion when the natural map from ...

**6**

votes

**2**answers

378 views

### Weights on equivariant cohomology?

Let $X$ be a quasi-projective variety over the complex numbers, equipped with an action of a linear algebraic group $G$.
Is there a natural mixed Hodge structure on its equivariant cohomology?
Is ...

**1**

vote

**1**answer

159 views

### Is there a prime of height $i$ in support of $H^i_I(R)$?

$I$ is an ideal of a local Noetherian ring $R$ and $i>0$ .
Clearly the height of primes in support of $H^i_I(R)$ is at least $i$
The question is if it
contains a prime of height $i$, specially ...

**4**

votes

**1**answer

192 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

258 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

207 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

161 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

352 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

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

**3**

votes

**1**answer

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

**5**

votes

**1**answer

473 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

300 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

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