2
votes
1answer
128 views

mixed Hodge structure on Cohomology with compact support

Let $X$ be a smooth quasi-projective variety of dimension $n$ over the complex numbers (let us assume it is the complement of a normal crossings divisor in a smooth projective variety). Then how does ...
0
votes
0answers
67 views

cohomology of a space from a map to affine plane

Suppose $X$ is an affine variety,complete intersection in $\mathbb{C}^{2n}$, but with a high dimension of singularities. I also have a surjective finite algebraic map $f:X\rightarrow \mathbb{C}^{d}$. ...
4
votes
2answers
362 views

Why is the derived tensor product only defined for bounded above derived categories?

In "Residues and Duality" by Hartshorne, the derived tensor $\otimes$ only defined for the bounded above categories (see Chapter I, section 4), that is one has $$\otimes: D^{-}(X) \times D^{-}(X) \to ...
7
votes
1answer
264 views

Log forms and Tate classes

Let $X$ be a smooth finite type variety over $\mathbb{C}$. Suppose that $\theta$ is a closed algebraic $1$-form whose cohomology class is weight $2$. Can we always express $\theta$ as $$\theta = ...
3
votes
0answers
107 views

Cycle class map in non-smooth family of projective varieties

Let $\pi:\mathcal{X} \to T$ be a family of smooth projective complex varieties. Assume $T$ is quasi-projective, reduced, irreducible but not smooth and of positive dimension. Let $\mathcal{Z}$ be a ...
8
votes
1answer
307 views

Are $D^b_{coh}(X)$ and $D^b(Coh(X))$ derived equivalent?

Let $X$ be a variety. Let $D^b(Coh(X))$ be the derived category of bounded complexes of coherent sheaves on $X$, and $D^b_{coh}(X)$ be the derived category of bounded complexes of sheaves of ...
1
vote
1answer
202 views

A functorial property of higher right derived functors

Let $f:X \to Y$ be a projective morphism of complex Noetherian schemes. Assume $Y$ is smooth and for all $y \in Y$, $f^{-1}(y)$ is of pure dimension $1$. Let $\mathcal{F}_1, \mathcal{F}_2$ and ...
5
votes
2answers
190 views

Cohomology of the tangent sheaf of $\mathbb{P}(1,2,3)$

Using the exact sequence $$0\mapsto\mathcal{O}_{\mathbb{P}^{2}}\rightarrow\mathcal{O}_{\mathbb{P}^{2}}(1)^{\oplus 3}\rightarrow T_{\mathbb{P}^{2}}\mapsto 0$$ it is easy to compute ...
2
votes
0answers
121 views

On a difference between $i_!$ and $i_*$ over $\mathbb{P}^1$

Let $X$ be a smooth projective surface in $\mathbb{P}^3$ containing a line $l$. Denote by $C$ the curve corresponding to the divisor $2l$. Let $p \in C$ be a closed point. Denote by $U:=C \backslash ...
1
vote
2answers
218 views

Cohomology of sheaf extended by zero

Let $X$ be a projective scheme of pure dimension $1$. Let $U$ be a open subscheme and $j:U \to X$ the open immersion. Let $\mathcal{F}$ be a coherent sheaf on $U$. Denote by $j_!(\mathcal{F})$ the ...
2
votes
1answer
100 views

Depth of Schubert cycles

For $a:a_1\geq \cdots\geq a_c$, let $\sigma_a$ be the corresponding Schubert cycle over $Gr(c,\infty)$. We say $a$ is of depth $k$ if $a_1-a_c=k$ ($c>1$). Let $a$ and $b$ be of depth $k_1$ and ...
0
votes
1answer
90 views

The Existence of Pure Resolutions, Given a Degree Sequence?

I have been trying to understand the proof of the following theorem for the last month, I read some basics of sheaves theory and their cohomology, but still can't get the idea of this important ...
0
votes
1answer
174 views

Example of non-vanishing of first cohomology of a torsion coherent sheaf on a curve

By a curve we mean a projective scheme of pure dimension one. Can some one give an example of a curve $C$ and a torsion coherent sheaf on $C$ such that its first cohomology group does not vanish? ...
1
vote
0answers
85 views

Surjectivity of global sections of sheaf of Kaehler differentials

By a curve I mean a scheme of pure dimension $1$. Let $C_1, C_2$ be a local complete intersection curve in $\mathbb{P}^3$ such that $C_1 \cap C_2$ are finitely many points. Assume further that ...
2
votes
1answer
206 views

Compare global sections of restriction and pullback of sheaves

Let $X$ be a projective scheme and $X \subset \mathbb{P}^n$ for some positive integer $n$. Let $j:Z \hookrightarrow X$ be a closed subscheme. Is it true that $H^0(j^*\mathcal{N}_{X|\mathbb{P}^n}) ...
4
votes
1answer
363 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 ...
0
votes
0answers
93 views

Dimension of the set of polarized sections

Let $M$ be a symplectic manifold. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if $P$ is Lagrangian, i.e. Maximal isotroic, dim$P_m=n$, ...
6
votes
0answers
174 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
1answer
114 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
1answer
602 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 ...
0
votes
2answers
257 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 ...
2
votes
1answer
362 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 ...
3
votes
2answers
210 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
0answers
164 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 ...
2
votes
2answers
198 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 ...
0
votes
0answers
52 views

on relative divisors over artinian rings

Let $X$ a curve over $\mathbb{C}$, $D$ a divisor on $X$, $R$ a local artinian ring of residue field $\mathbb{C}$ Let $A=H^{0}(X_{R},\mathcal{O}(D_{R}))$ the scheme of sections over $Spec(R)$. Let ...
2
votes
0answers
212 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 ...
1
vote
0answers
93 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 ...
1
vote
0answers
222 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
1answer
238 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 ...
0
votes
0answers
108 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
2answers
343 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 ...
0
votes
2answers
208 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 ...
1
vote
0answers
466 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 ...
0
votes
1answer
180 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
3answers
337 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 ...
0
votes
1answer
173 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 ...
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
0answers
140 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 ...
4
votes
2answers
403 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
335 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 ...
2
votes
0answers
268 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
1answer
310 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 ...
2
votes
2answers
283 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
373 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
1answer
252 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$? ...
1
vote
0answers
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 ...
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 ...