Questions tagged [pullback]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
76 views

Pullback of Differential Forms

In exercise 47 from Gauge Fields, Knots and Gravity by Baez and Munain, we want to show that if $\phi:M\to N$ is a map of smooth manifolds, then there is a unique pullback map on forms $$\phi^*:\Omega(...
LeonardoOiler's user avatar
2 votes
0 answers
39 views

Find a subgroup $K$ to complete the pullback diagram $G/g_1Hg_1^{-1}\leftarrow G/H\to G/g_2Hg_2^{-1}$.

EDIT: I have realised I made a mistake when decompsoing the morphisms of $\mathscr B_G$. Nevertheless, the question seems to be interesting on its own, so i will leave it. I would also like to cite ...
Dog_69's user avatar
  • 1,805
2 votes
2 answers
61 views

Tensor fields and scalar function pullbacks

For convenience, $(p,q)$ tensor fields on a differentiable manifold $M$ is defined to be the entire scalar field. On the other hand, in my textbook, the pullback of the $(p,q)$ tensor $T(x)$ at $x \...
tony-c's user avatar
  • 25
0 votes
0 answers
30 views

Pullback of a translation map of a divisor in Birkenhake-Lange's book "Complex Abelian Varieties"

I'm currently studying the book 'Complex Abelian Varieties' by Birkenhake and Lange. On page 74, after lemma 1.5, the authors make the following statement: 'Another observation, which will prove ...
William Gibson's user avatar
2 votes
1 answer
88 views

Showing that the Kernel in $\textbf{Vect}$ is given by a pullback diagram

The following question is taken from Arrows, Structures and Functors the categorical imperative by Arbib and Manes, "Advanced Modern Algebra" 2nd edition by Rotman, and "Representation ...
Seth's user avatar
  • 2,745
1 vote
0 answers
51 views

Showing that the CoKernel in $\textbf{Vect}$ is given by a pushout diagram

The following question is taken from Arrows, Structures and Functors the categorical imperative by Arbib and Manes, "Advanced Modern Algebra" 2nd edition by Rotman, and "Representation ...
Seth's user avatar
  • 2,745
1 vote
1 answer
47 views

Doubt about splitting principle

I have a doubt about splitting principle. We know that if $E\to M$ is a complex vector bundle of rank $k$, then there exist a manifold $T=T(E)$ and a proper smooth map $f:T\to M$ such that $f^*:H^*(M)...
Alchemist's user avatar
  • 366
1 vote
1 answer
63 views

Orientation preserving diffeomorphism $\iff$ positive determinant

I am stuck on a step in a proof, so I will write out the statement and the proof (it is not too long). I would like someone to explain the last 2 steps of the proof, if possible. Statement: Let $U,V \...
Ben123's user avatar
  • 514
0 votes
1 answer
58 views

Is conormal sheaf a pullback?

Apologize if this is a newbie question. Let $i: Z\hookrightarrow X$ be a closed immersion with ideal sheaf $\mathscr{I}$. The conormal sheaf of $Z$ in $X$ is defined as $\mathscr{I}/\mathscr{I}^2$, ...
aaa acb's user avatar
  • 195
0 votes
1 answer
40 views

Pullback along a family of maps

Is there a construction to handle pullbacks along many maps simultaneously? Something like this: Given a subset $S \subseteq C(B',B)$ and a bundle $\xi = (E,\pi,B)$. Is there a bundle " $S^*\xi$ &...
psl2Z's user avatar
  • 1,604
2 votes
1 answer
52 views

Pullback of a Lorentzian metric is non-degenerate

Background: Recently I've read this post of one person trying to prove that the pullback $F^*g$ of a riemannian metric $g$ is a Riemannian metric iff $F: N \to (M,g)$ is a smooth immersion. Question: ...
Генивалдо's user avatar
0 votes
0 answers
17 views

Pullback of lorentzian metric is degenerate at the boundary of embedded submanifold

Let $\Sigma = \mathbb{R} \times [0,1]$ be a smooth manifold with boundary $\partial \Sigma = \mathbb{R} \times \{0,1\}$.Let $M = R^{1,D-1}$ be the $D$-dimensional Minkowski space with scalar product (...
Генивалдо's user avatar
2 votes
2 answers
45 views

Computing the pullback of an exterior differential of a vector field at a point given two linear independent vectors

Given the $1$-differential form $\omega=xzdx+xdy+xdz$ and the vector field $F(x,y,z)=(e^y,e^z,e^x)$, I must compute $$(F^{*}d\omega)_{p}(v_1,v_2)$$ where $p=(1,-1,0), v_1=(1,1,0)$ and $v_2=(1,0,1)$. ...
HornyPigeon54's user avatar
0 votes
0 answers
50 views

Pullback of the identity is 'basically' the identity?

I encountered the titular statement in a discussion on subobject classifiers (in particular: in the proof that the domain of such a subobject classifier is terminal). However, I think his 'basically' ...
Jos van Nieuwman's user avatar
0 votes
0 answers
56 views

Existence of a right adjoint functor of the inverse image via a morphism of schemes between the categories of quasi-coherent modules

Let $f:X\to Y$ a morphism of schemes. It induces a covariant functor: $$f^*:Qcoh(Y)\to Qcoh(X)$$ Which happens to be the inverse image. Now, fixing any quasi-coherent $O_X$-module N we can define ...
Jorge A. Mateos's user avatar
4 votes
2 answers
223 views

Is there a cojoin, the dual construction of the join of topological spaces?

The join $X\star Y$ of topological spaces $X$ and $Y$ can alternatively be written as a homotopy pushout of the canonical diagram $X\leftarrow X\times Y\rightarrow Y$: \begin{equation} X\star Y =X\...
Samuel Adrian Antz's user avatar
0 votes
0 answers
38 views

Determinant of pullback of metric tensor

Consider a pseudo-Riemannian manifold $(M,g)$ with $\dim M=n$. Let $\Sigma$ be an embedded submanifold with $\dim\Sigma=k$ and inclusion map $\iota:\Sigma\rightarrow M$. We then define the induced ...
Mr. Feynman's user avatar
0 votes
0 answers
70 views

Understanding Pullback of Cartier Divisors

Let $g\colon X\to Y$ be a morphism of schemes, and let $D=(U_i,f_i)$ be a Cartier Divisor on $Y$. I've seen the following definition of the pullback of $D$: $g^*D\colon=(g^{-1}(U_i),f_i\circ g)$, as ...
Lorenzo Andreaus's user avatar
2 votes
0 answers
97 views

Pullback and pushforward of vector fields

I am studying the article On the Lagrange-Dirichlet converse in dimension three. Lemma 2.15. With respect to the coordinate chart corresponding to $θ_1 \neq 0$ and defining $ξ_1 = 1$ for notational ...
yumika's user avatar
  • 121
6 votes
2 answers
151 views

Pullbacks respect order of forms

Consider a holomorphic map $f:M\to N$ between two complex manifolds. This gives rise to a pullback $f^*:\Omega^k(N)\to\Omega^k(M)$, that is, a complex linear map between the complex $k$-forms on $N$ ...
Nakafo's user avatar
  • 85
2 votes
0 answers
44 views

What is the pullback of the adjoint representation on a Lie algebra?

On a Lie Algebra, we often work with the adjoint representation \begin{align*} \text{ad}_u: \mathfrak{g}&\to\mathfrak{g}\\ v&\mapsto [u,v]. \end{align*} Provided we have some symmetric, ...
Poseidaan's user avatar
  • 456
1 vote
1 answer
39 views

Pullback seen as universal cone, arrow wanted

I am trying to learn some concepts of category theory and there is something I don't understand about categorical limits. I found these notes online with the following definitions (please see the ...
edamondo's user avatar
  • 1,208
0 votes
0 answers
35 views

Description of $\operatorname{Spec}(A\times_C B)$ in terms of the spectra for $A,B,C$

I assume rings are commutative. Given surjective ring morphisms $f:A\to C$, $g:B\to C$, I wonder if it's possible to determine the prime ideals of the pullback $A\times_C B$ in terms of the prime ...
Sha Vuklia's user avatar
  • 3,554
0 votes
1 answer
94 views

Trying to understand that $Imm(\Bbb S^1,\Bbb R^d)\simeq Map(\Bbb S^1,\Bbb S^{d-1})$

I'm looking at various seminars that Pascal Lambrechts has given about manifold calculus. One of the lectures I've found is in the following slides of one of his lectures, but I have problems ...
GreekCorpse's user avatar
0 votes
1 answer
62 views

The pullback and derivative on GL(n)

$GL(n)$ is the space of invertible matrices. Let $\phi^i_j: GL(n) \rightarrow R$ be the function where $\phi^i_j(g)$ is the element in the $i$-th row and $j$-th column of $g$. Let $d\phi$ be the ...
mathhhhhhhh16's user avatar
0 votes
0 answers
33 views

Clarifying Calculation of Induced Mappings (Pullback) in Coordinates

I am reading Mathematical Analysis by Andrew Browder and am confused in his calculating the meaning of $\mathbf{f^\ast},$ the "induced mapping" or pullback of $\mathbf{f^\ast}.$ Here's his ...
AlexanderPope's user avatar
1 vote
1 answer
40 views

Intuition for the commutation of the pullback and the exterior derivative

I know that there are already several questions to this topic but I haven‘t seen a satisfactory answer. Deriving that the pullback and the exterior derivative commute is no problem but I want to know ...
Silas's user avatar
  • 318
2 votes
1 answer
103 views

Pullback of tangent bundle of codomain induced by a submersion is a quotient of tangent bundle of domain

Let $M,N$ be smooth manifolds and $f: M \to N$ a smooth map. Then, we have the following commutative diagram Here, $\pi_1, \pi_2$ are the bundle projections from the tangent bundles, $p_1, p_2$ are ...
Aaratrick's user avatar
  • 573
0 votes
1 answer
96 views

Example of a finite category without pushouts or pullbacks

I'm trying to find an example of a finite category in which there are no pushouts or pullbacks. By finite category, I mean a category with a finite amount of objects and morphisms. The concepts of ...
GreekCorpse's user avatar
0 votes
0 answers
16 views

Pull-Push homomorphism of group convolution algebra

Given three finite groups $H, G, K$ with homomorphisms $\displaystyle H\xleftarrow{\pi_H}{} G \xrightarrow{\pi_K}{} K,$ we have two homorphisms of group (convolution) algebras, the first going from ...
JLA's user avatar
  • 6,211
2 votes
0 answers
53 views

Clarification needed for the definition of Pushout and Pushout diagram from definition of Pullback and Pullback diagram

The following is taken from $\textit{Categories}$ by Horst Schubert Definition for Pullback Let $f:A\rightarrow C, g:B\rightarrow C$ be two morhisms with the same codomain. A $\textit{pullback}$ (...
Seth's user avatar
  • 2,745
5 votes
1 answer
103 views

Residue of the pullback

Suppose $p\colon Y \rightarrow X$ is a holomorphic mapping of Riemann surfaces, $a\in X$, $b\in p^{-1}(a)$ and $k$ is the multiplicity of $p$ at $b$. Then I am trying to show the claim: Given any ...
Peter's user avatar
  • 703
1 vote
0 answers
38 views

Equivalence problem and Maurer-Cartan structure equations

I am reading a proposition. The proposition is as follows: Let $M$ and $\bar{M}$ be two manifold, with $\{\mu_i\}$ and $\{\bar{\mu}_i\}$ co-frame, respectively. And there is an diffeomorphism s.t. $\...
Mostafa's user avatar
  • 11
0 votes
2 answers
78 views

Quick further question about the notion of "pullback/pushout".

Previously, I asked a question about the notion of "pullback" in category theory here, I just have one further quick question about the concept of "pullback/pushout", that is, does ...
Seth's user avatar
  • 2,745
1 vote
0 answers
67 views

When is the induced map in a pullback diagram a fibration?

Let $X$, $Y$ and $Z$ be topological spaces and let $f:X \to Z$ and $g:Y \to Z$ be continuous. Let $P$ be the pullback of $X\stackrel{f}{\to}Z\stackrel{g}{\leftarrow} Y$. Let $E$ be another space and ...
Stephan Mescher's user avatar
0 votes
1 answer
96 views

Pullback of a 2-tensor exercise

Let $(e_1,e_2,e_3)$ be a basis of $V$ and $(\varepsilon^1,\varepsilon^2, \varepsilon^3)$ be the dual basis. Let $(f_1,f_2)$ be a basis of $W$ and $(\phi^1,\phi^2)$ the dual basis. Let $L: V \...
mathhhhhhhh16's user avatar
4 votes
2 answers
124 views

When is a pair of morphisms is a pullback of some pair of morphisms?

Given $p$ and $q$ morphisms on a category (preferably arbitrary, but it could be interesting to know on some other class of categories too), are there any useful necessary and/or sufficient conditions ...
Francisco's user avatar
  • 159
1 vote
1 answer
25 views

Does subclass of morphisms closed under wide pullbacks necessarily consist of only monomorphisms?

For category $\mathcal{C}$, does subclass $M \subseteq \operatorname{Mor}(\mathcal{C})$ closed under even largely wide pullbacks necessarily consist of only monomorphisms? The assumption being more ...
PPP's user avatar
  • 75
0 votes
0 answers
21 views

Can we pull back a measure with additional information on one coordinate?

Let $\mu$ be a finite measure on a product sigma algebra $(\Sigma_1\times\Sigma_2, \mathcal A_1\otimes\mathcal A_2)$, let $f:\Sigma'_2\to\Sigma_2$ be a measurable function from another measurable ...
Michael's user avatar
  • 351
1 vote
0 answers
76 views

Torsion on a flat connection (Geometric Intuition).

Start with the 2-sphere $\mathcal{S}^2$ with the standard $(\theta, \phi)$ chart ($\theta = 0$ is the North pole etc) and metric: $$ds^2 = d\theta^2 + \sin^2 \theta d\phi^2$$ Remove the two poles from ...
Pellenthor's user avatar
3 votes
1 answer
159 views

Sections of pullback bundle are generated by pullback of sections

Let $M,N$ be smooth manifolds, $\pi:E\to M$ a smooth rank $r$ vector bundle, $f:N\to M$ a smooth map. We define $$ f^*E=\{(p,v)\in N\times E: f(p)=\pi(v)\}, $$ which has a natural structure of a ...
Sha Vuklia's user avatar
  • 3,554
1 vote
0 answers
43 views

Compute $\int_𝛷^{ }dx_1\wedge dy_1 + dy_1\wedge dx_2 +dx_2 \wedge dy_2 \,\mathrm .$

Let $z_j=x_j+iy_j $ $(j=1, 2, ... n)$ be the coordinates in $ℂ^n$. We can identify $ℂ^n$ with $ℝ^ {2n}$ by writing $(z_1, ... z_n) =(x_1,y_1, ... x_n,y_n) $ Let $D⊂ℂ$ be the square of the points $z=x+...
stoneaa's user avatar
  • 424
2 votes
0 answers
115 views

Relation between the $t$-derivative of the pullback of a form $\omega$ by the flow $f_t$ and the Lie derivative of $\omega$ along the generator

at the moment I am self-studying differential geometry using the book by Guillemin and Haine. In this book, Exercise 2.6.ix asks me to prove the following: Let $U \subset \mathbb{R}^n$ open, $f_t: U \...
beralt's user avatar
  • 61
0 votes
1 answer
42 views

Prove a square is a pullback

Let $C$ an abelian category, and consider the following diagram: $$ \require{AMScd} \begin{CD} P @> \beta_1 >> A_1 \\ @V \beta_2 VV @VV \alpha_1 V \\ A_2 ...
Selena J's user avatar
  • 143
1 vote
1 answer
60 views

Pullback of an epimorphism in the category of Hausdorff spaces

Can anyone give me an example of a pullback of an epimorphism which is not an epimorphism, in the category of Hausdorff spaces? I've been thinking about it but I have no idea.
Selena's user avatar
  • 51
1 vote
1 answer
148 views

Constructing finite limit from terminal object and pullbacks

I'm trying to understand, why in Proposition 3.1 in Finite Limit in ncatlab (3) implies (1). My intuition tells me to use induction to show that the limit for any diagram having $n$ vertices (objects) ...
user764184's user avatar
0 votes
1 answer
44 views

Pullback notation in Arapura's book "Algebraic Geometry over the Complex Numbers"

In Arapura's Algebraic Geometry over the Complex Numbers, exercise 2.1.16. reads: Let $F:X\to Y$ be a surjective continuous map. Suppose that $\mathscr{P}$ is a sheaf of $T$-valued functions on $X$. ...
LeonardoOiler's user avatar
2 votes
0 answers
72 views

Pullback to spherical coordinates and intuition on pullbacks in general

Pretty much what the question says. Right. So, to remind everyone, spherical coordinates are: \begin{align} x & = \rho \sin(\phi)\cos(\theta) \\ y & = \rho \sin(\phi)\sin(\theta) \\ z & ...
mathmagic's user avatar
2 votes
1 answer
143 views

Pullback of projection

I am trying to understand what an axial map $f \colon \mathbb{R}P^n \times \mathbb{R}P^m \to \mathbb{R}P^k$ does on cohomology, where a map is called axial, if the restrictions $* \times \mathbb{R}P^...
Candyblock's user avatar
0 votes
2 answers
61 views

Showing that a specific set is really a limit. (Tom Leinster "Basic Category Theory" Ex. 5.1.37)

Here is the question I want a concrete example of it so that I can feel that the given set is really a limit: Show that the set $(5.16)$ in Example 5.1.22 really is a limit of $D.$ Here is Example 5.1....
Emptymind's user avatar
  • 1,767

1
2 3 4 5
7