Questions tagged [pushforward]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer
94 views

Normality and integrality of schemes and splitting of map from structure sheaf to (derived)pushforward of structure sheaf along proper birational map

Let $R, S$ be commutative Noetherian rings such that $R$ is a subring of $S$. If $S$ is a normal domain, and there exists an $R$-linear map $\phi: S\to R$ whose restriction on $R$ is the identity map, ...
Snake Eyes's user avatar
1 vote
0 answers
195 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
277 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
  • 51
2 votes
0 answers
118 views

Convex ordering of measures that are obtained by different push-forwards of a same measure

Suppose that we have a probability measure $\rho$ which is supported on $\mathbb{R}^d$ and absolutely continuous w.r.t. the Lebesgue measure. Take two vector fields $F, G : \mathbb{R}^d \rightarrow \...
theouscidda6's user avatar
1 vote
1 answer
103 views

Approximation of two densities with a single transformation

Let $p_1$ and $p_2$ be two probability densities and $X_i\sim N(\mu_i,\Sigma_i)$. Write $w(X)\sim p$ if the law of the random variable $w(X)$ has a density equal to $p$. For general densities $p_i$, ...
jack412's user avatar
  • 63
4 votes
2 answers
264 views

Change of coordinates for coends

I recall that there was a theorem mimicking the change of variables' integral formula. Surprisingly, I can't find it on the Fosco Loregian book. The change of variables formula states that, if $f: E \...
Andrea Marino's user avatar
2 votes
1 answer
242 views

A question about pushforward measures and continuous Borel isomorphisms

It is fairly well known that if $\mu$ and $\nu$ are nonatomic measures on the standard Borel spaces $(X,B)$ and $(Y,C)$ such that $\mu(X)=\nu(Y)$. If $X$ and $Y$ are uncountable, then there exists a ...
O-Schmo's user avatar
  • 33
2 votes
0 answers
171 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
355 views

Rewriting PDE as "push-forward"

Suppose that we have the following PDE $$\partial_t \mu_t = \nabla\cdot \left(\nabla \mu_t - (b*\mu_t)\mu_t\right), \tag{1}$$ with $\mu_0$ being a (smooth) probability measure/density on $\mathbb{R}^d$...
Fei Cao's user avatar
  • 700
1 vote
1 answer
600 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
1 vote
1 answer
384 views

Pushforward of measure under surjective map

Let $X, Y, Z$ be measurable spaces with measures $\mu_X, \mu_Y, \mu_Z$ respectively. Let $\pi_Y : Y \times Z \rightarrow Y$ be the projection on $Y$ and $\pi_Z : Y \times Z \rightarrow Z$ the ...
Andrew Musso's user avatar
2 votes
1 answer
420 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
  • 383
3 votes
0 answers
92 views

Relation between the orientation sheaves of the interior and the boundary of a topological manifold

Let $(M, \partial M)$ be an $n$-dimensional topological manifold with boundary. Let $\mathcal{O}_{M \setminus \partial M}$ and $\mathcal{O}_{\partial M}$ denote the orientation sheaves of $M \setminus ...
Rahmpilz's user avatar
  • 165
1 vote
1 answer
194 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,116
4 votes
1 answer
544 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
2 votes
0 answers
782 views

Isomorphism of probability spaces

Consider a surjective map $f:(X, \sigma(f)) \to (Y, \mathcal{Y})$, if a measure $\nu$ is given in $(Y, \mathcal{Y})$ the pullback $\nu(f(\cdot))$ is a measure on $(X, \sigma(f))$, similarly if $\mu$ ...
Jorge E. Cardona's user avatar
8 votes
1 answer
560 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
  • 22.7k
1 vote
2 answers
805 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,832
47 votes
3 answers
12k views

Pullback measures

Why do all measure theory textbooks present the concept of push-forward measure, but never the concept of pull-back measure? Doesn't the latter exist? It's true that the naive treatment of such a ...
Alex M.'s user avatar
  • 5,197
2 votes
2 answers
557 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