Skip to main content

Questions tagged [pushforward]

The notion of pushforward in mathematics is "dual" to the notion of pullback, and can mean a number of different but closely related things as in differential geometry, algebraic topology and measure theory.

2 votes
1 answer
103 views

Given a scheme $(X, \mathcal O_X)$ and $\mathcal F$ a sheaf of $\mathcal O_X$ -modules, I say that $\mathcal F$ is coherent when $X$ has an affine open cover by $U_i = \mathrm{Spec} A_i$ for $i \in I$ ...
user123498-30284-3290's user avatar
6 votes
0 answers
127 views

In my studies of category theory, I encountered the definition of a pullback. Given a category $\mathcal{C}$ and two morphisms $f\colon A \to C$ and $g\colon B \to C$, the limit of the diagram formed ...
Lucas Giraldi's user avatar
0 votes
1 answer
76 views

Let $\mu$ be a probability measure on $\mathbb{R}^n$ that is absolutely continuous w.r.t Lebesgue measure, and $T_1$ is a push-forward map such that $T_1\# \mu= \mu_1$. Let $\mu_2$ be any probability ...
Silentmovie's user avatar
2 votes
2 answers
187 views

Consider a smooth map $F: M \rightarrow N$ between smooth manifolds with or without boundary. Choose smooth coordinate charts $(U, \varphi)$ for $M$ containing $p$ and $(V, \psi)$ for $N$ containing $...
Mathematics's user avatar
0 votes
1 answer
60 views

Consider a measurable function $f: \mathbb{R} \to \mathbb{R}$. I'd like to define a measure $g$ as the pushforward of the normal distribution via $f$: $$ g = f \ {\sharp}\ \mathcal{N}(0, 1) $$ Is ...
psychicmachinist's user avatar
1 vote
1 answer
162 views

Theorem on formal functions: Let $f:X\to Y$ be a projective morphism between noetherian schemes, $\mathcal{F}\in\textrm{Coh}(X)$, and $y\in Y$. Then the natural map $R^if_*(\mathcal{F})_y^\wedge\to\...
okabe rintarou's user avatar
0 votes
0 answers
29 views

I was trying to show that a push forward operation of a vector field $\phi$ in a density $p$ $( \phi \# p )$ preserves the quantiles. For example, I want to show that: \begin{equation} F_{p}(x) = \...
Matthew D.'s user avatar
3 votes
2 answers
151 views

This is Problem 3-12 from Introduction to Riemannian Manifolds by Lee. I know these facts: The hyperbolic metric $\breve{g}_R^4$ on the upper half plane $\mathbb{U}^n(R)$ is given in coordinates $(x^...
StrugglingWithAlgTop's user avatar
2 votes
1 answer
157 views

I've been dealing with probability integral transforms a lot recently, and understand how to use them well enough at this point. For completeness, a probability integral transform pertaining to a ...
David G.'s user avatar
  • 386
0 votes
1 answer
74 views

I was reading a measure theory book (Fremlin, vol 4) where it states that given two probability spaces $(X,\Sigma_X,\mu),(Y,\Sigma_Y,\nu)$ and $f:X\rightarrow Y$ a measurable function such that $\nu$ ...
Luigi Traino's user avatar
  • 1,256
0 votes
1 answer
42 views

Let $\mu$ be a signed measure on $X$ with Jordan decomposition $\mu^+-\mu^-$, $\pi:X\rightarrow Y$ a measurable map, $\pi_\#\mu$ the pushforward measure of $\mu$ with respect to $\pi$. If $f:Y\...
Luigi Traino's user avatar
  • 1,256
6 votes
1 answer
276 views

Example 8.20 of Lee's "Smooth Manifolds" is as follows: Let $M$ and $N$ be the following open submanifolds of $\mathbb{R}^2:$ $$\begin{align*}M &= \{(x,y) : y > 0 \text{ and } x + y &...
Adil Raza's user avatar
  • 445
1 vote
0 answers
129 views

The Wasserstein-1 metric between two probability measures is defined as $$W_1(\mathbb{P}_X, \mathbb{P}_Y) = \inf_{\gamma \in \Gamma(\mathbb{P}_X, \mathbb{P}_Y)} \mathbb{E}_{(X,Y) \sim \gamma } \Vert X-...
Eli VC's user avatar
  • 145
0 votes
1 answer
85 views

Consider a smooth map $f:X\to Y$ and let $E\to X$ and $E'\to Y$ be vector bundles such that $E=f^* E'$, and it admits a filtration $$0=E_0\subset E_1\subset\cdots\subset E_{n-1}\subset E_n\simeq E.$$ ...
QGravity's user avatar
  • 263
4 votes
1 answer
489 views

Consider two measures $\mu , \nu$ on $\mathbb{R}^n$. Now consider a map (a priori only measurable) $f$ and the push forward measures $f_\# \mu, f_\# \nu$. Is there any relation between the Wasserstein ...
tommy1996q's user avatar
  • 3,774

15 30 50 per page
1
2 3 4 5
14