The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
3answers
361 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
0answers
141 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
1answer
172 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
0answers
131 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
2answers
134 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
0answers
233 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
2answers
139 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
0answers
204 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
1answer
448 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
0answers
87 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
1answer
299 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
1answer
194 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
1answer
224 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
1answer
178 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
0answers
139 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
0answers
159 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 ...
6
votes
0answers
125 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$ ...
4
votes
2answers
402 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
1answer
141 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 ...
2
votes
2answers
454 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
1answer
333 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
1answer
309 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
6answers
995 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
0answers
267 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
0answers
142 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
3answers
330 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
1answer
230 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
1answer
262 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
1answer
309 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
1answer
192 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
1answer
329 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
0answers
82 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
2answers
282 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
2answers
371 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
0answers
159 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
0answers
488 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 ...
12
votes
0answers
386 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
2answers
351 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
1answer
251 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
1answer
342 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
1answer
201 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
1answer
682 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
0answers
316 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
1answer
272 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
1answer
376 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
2answers
235 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 ...
1
vote
0answers
191 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 ...
2
votes
2answers
412 views

Global Definition of the Dolbeault Complex of a Vector Bundle

For an $2n$-dimensional complex manifold $M$, and a smooth vector bundle $E$ over $M$, it is well-known (see Voisin, Huybrechts) that there exists an operator $\overline{\partial}$, built locally from ...
6
votes
1answer
490 views

Equivalence between statements of Hodge conjecture

Dear everyone, I was unable to obtain the equivalence between the two statements of the Hodge conjecture. I searched for some previous questions that others asked here, to check whether someone has ...
3
votes
0answers
353 views

Finite Field Varieties and the de Rham Complex of Kähler Differentials

In an answer to a previous question I asked, where the Kahler differentials of a variety over a finite field were discussed, it was stated that: You can certainly define de Rham cohomology using ...