Questions tagged [pushforward]
The pushforward tag has no usage guidance.
20
questions
48
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 ...
8
votes
1
answer
561
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|...
4
votes
1
answer
547
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$ ...
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 \...
4
votes
1
answer
278
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 ...
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 ...
2
votes
1
answer
421
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$ ...
2
votes
2
answers
558
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 ...
2
votes
1
answer
244
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 ...
2
votes
1
answer
96
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, ...
2
votes
0
answers
120
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 \...
2
votes
0
answers
172
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 ...
2
votes
0
answers
784
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$ ...
1
vote
2
answers
806
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 $...
1
vote
1
answer
391
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 ...
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 ...
1
vote
1
answer
361
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$...
1
vote
1
answer
611
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\...
1
vote
0
answers
199
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_*...
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$, ...