# Tagged Questions

**2**

votes

**1**answer

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

**0**answers

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

**2**answers

369 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

**1**answer

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

**0**answers

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

**1**answer

351 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

**1**answer

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

**2**answers

193 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

**0**answers

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

**2**answers

221 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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

86 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

**1**answer

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

**1**answer

365 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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

603 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

**2**answers

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

**1**answer

365 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

**2**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

225 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

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

**0**answers

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

**2**answers

344 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

**2**answers

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

**0**answers

470 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

**1**answer

181 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

**3**answers

338 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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

405 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

338 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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

284 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

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

**0**answers

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

**1**answer

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

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

**5**

votes

**2**answers

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