Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
320 views

Is the pushforward of a closed immersion ever fully-faithful at the level of Derived Categories?

Let $i: Z \rightarrow X$ be a closed immersion of schemes. Then, for any $\mathcal{O}_{Z}$-module $\mathcal{G}$, the counit of adjunction $i^{*}i_{*}\mathcal{G} \rightarrow \mathcal{G}$ is an ...
Sunny Sood's user avatar
4 votes
0 answers
192 views

Vanishing of all higher direct images for a non-flat morphism

Let $f: X \to Y$ be a proper morphism of algebraic varieties which is not flat. Then for a line bundle $L$ on $X$, is the vanishing of all higher direct images ($R^i f_* L = 0$ for all $i \geq 0$) ...
Yellow Pig's user avatar
  • 2,964
0 votes
1 answer
243 views

Behavior of divisors under push forward and pull back

Consider a birational morphism between smooth projective varieties $f:X\to Y$. I would like to understand the behavior of push-pull/pull-push of effective divisors under $f$. I know that if $D$ is an ...
Khainq's user avatar
  • 109
1 vote
0 answers
242 views

Pull and push formula for degree for non-flat morphism

Let $\varphi\colon X_1\to X_2$ be dominant proper morphism of finite degree (in particular $\dim X_1=\dim X_2$) between varieties. Let $D \subset X_2$ be a Cartier divisor. Is it true that $$\varphi_*...
Galois group's user avatar
4 votes
1 answer
338 views

Derived pushforward of a projection

Given two smooth projective varieties, $X,Y$, consider their derived categories $D^b(X), D^b(Y)$. Let $\mathcal{F}$ a complex of coherent sheaves in $D^b(X \times Y)$, why the derived pushforward of ...
Abel 's user avatar
  • 61
2 votes
0 answers
189 views

Relation between push forward by diagonal morphism and higher direct image functors

Let $f : X \to Y$ be a morphism between two Noetherian schemes. Then $f_*$(respect to $R^1f_*$) sends coherent sheaves to coherent sheaves if and only if $f$ is universally closed (respect to ...
Doyoung Choi's user avatar
1 vote
1 answer
725 views

Push-forward of divisors and intersections

Let $f:X\rightarrow Y$ be a surjective finite morphism of varieties, with $X$ normal and $Y$ smooth. Let $D\subset X$ be a divisor and $C\subset Y$ a curve. Does the equality $$C\cdot f_{*}D = f^{*}C\...
user avatar
2 votes
1 answer
464 views

Pushforward of a very ample line bundle on a curve to $\mathbb{P}^1$

Let $p:C\to\mathbb{P}^1$ be a degree $k$ morphism from a smooth projective curve $C$ to the projective line and $L$ a very ample line bundle on $C$. We know that $p_*\mathcal{O}_C(L)$ is a rank $k$ ...
Li Li's user avatar
  • 439
1 vote
1 answer
200 views

Gysin map for projective sub-bundles of exceptional divisors

Let $X$ be a smooth, projective variety, $Y \subset X$ a smooth, projective subvariety of codimension $3$. Denote by $\pi:\tilde{X} \to X$ the blow-up of $X$ along $Y$ and by $E$ the exceptional ...
Ron's user avatar
  • 2,126
4 votes
1 answer
571 views

Pushforward of curves

Let $Z$ be a subvariety of an irreducible projective variety $X$, and let $i:Z\rightarrow X$ be the inclusion. Let $N_1(X),N_1(Z)$ be the $\mathbb{Q}$-vector spaces of curves in $X$ and $Z$ ...
user avatar
8 votes
1 answer
575 views

Pushforward of line bundle under "toric isogeny"

Let $(X,T)$ be a smooth complex toric variety of dimension $d$ with torus $T$ and toric boundary $D=X\setminus T$. Let $\phi : X\to X$ be a finite endomorphism of $X$ such that the restriction $$\phi|...
Qfwfq's user avatar
  • 23.3k
1 vote
2 answers
846 views

Push-forward of a nef bundle

Let $f:X\rightarrow Y$ be a finite morphism between normal varieties. Let $E$ be a vector bundle on $X$ and let us consider its pushforwad $f_{*}E$. Does anyone know an example where $E$ is nef but $...
Puzzled's user avatar
  • 8,998
2 votes
2 answers
579 views

sheaves for which the derived (compact or not) pushforward is zero

Conventions: sheaf = complex of constructible sheaves (in the l-adic setup with etale tplg or in the complex coefficients setup with analytical tplg). I would like to understand if there is an ...
Dragos Fratila's user avatar