MHB How is the Map $\tilde{\varphi}$ Well-Defined in Algebraic Geometry?

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am trying to gain an understanding of the basics of elementary algebraic geometry and am reading Dummit and Foote Chapter 15: Commutative Rings and Algebraic Geometry ...

At present I am focused on Section 15.1 Noetherian Rings and Affine Algebraic Sets ... ...

I need someone to help me to fully understand the reasoning/analysis behind the statements following the Definition of morphisms (or polynomial maps) of algebraic sets (which eventually leads to the statement of Theorem 6, Section 15.1) ... ...

On page 662 (in Section 15.1) of D&F we find the following relevant text ... :
View attachment 4770
View attachment 4771In the above text, after the Definition of morphisms of algebraic sets, we find the following:

" ... ... Thus $$ F \circ \phi \in \mathcal{I} (V) $$. It follows that $$\phi$$ induces a well defined map from the quotient ring $$ k[ x_1, \ ... \ ... \ , x_n ]/ \mathcal{I} (W)$$ to the quotient ring $$k[ x_1, \ ... \ ... \ , x_n ]/ \mathcal{I} (V)$$:

$$\tilde{ \phi } \ : \ k[W] \rightarrow k[V]$$

$$f \mapsto f \circ \phi $$

... ... "
My question is as follows:

Can someone please explain exactly (formally and rigorously) how the above statement follows: that is, how/why is it true?

Hope someone can help ...

Peter

*** NOTE ***

The above notes from Dummit and Foote displayed above, constitute the proof of the first part of Theorem 6, Section 15.1 which reads as follows:View attachment 4772
 
Last edited:
Physics news on Phys.org
What is it you don't understand? The definition of the mapping $\tilde{\varphi}$, or how it is well-defined?

The well-defined issue is easier to dispatch: since $\tilde{\varphi}$ is defined on an equivalence class (coset of functions), one has to verify that:

$\tilde{\varphi}(F) = \tilde{\varphi}(G)$ if $F - G \in \mathcal{I}(W)$.

Now $\tilde{\varphi}(F) = F\circ \varphi + \mathcal{I}(V)$ and $\tilde{\varphi}(G) = G\circ \varphi + \mathcal{I}(V)$.

To assert that $\tilde{\varphi}(F) = \tilde{\varphi}(G)$ is to say that:

$\tilde{\varphi}(F) - \tilde{\varphi}(G) = 0_{k[V]} = 0 + \mathcal{I}(V) = \mathcal{I}(V)$.

Thus we seek to show that:

$F - G \in \mathcal{I}(W) \implies [ F\circ \varphi + \mathcal{I}(V)] - [G\circ \varphi + \mathcal{I}(V)] = \mathcal{I}(V)$, which is true when:

$(F \circ \varphi) - (G \circ\varphi) \in \mathcal{I}(V)$.

However, $(F \circ \varphi) - (G \circ\varphi) = (F - G)\circ \varphi$, and since

$F - G$ annihilates $W$ (which is what it MEANS to be an element of $\mathcal{I}(W)$), and $\varphi(V) \subseteq W$, it is clear that $(F-G) \circ \varphi$ annihilates $V$, that is:

$(F - G)\circ \varphi \in \mathcal{I}(V)$.

Thus it doesn't matter which "$F$" we use to define $f = F + \mathcal{I}(W)$, as $\tilde{\varphi}$ is constant on the entire coset.

********************

The contravariant nature of $\tilde{\varphi}$ is often expressed as saying $\tilde{\varphi}(f)$ is a pullback of $f$ along $\varphi$, for just as $\varphi$ "goes forward" from $V \to W$, $\tilde{\varphi}$ "pulls back" from $k[W] \to k[V]$. This kind of construction is *very* common in mathematics; for example, in differential geometry, where one uses it to relate tangent spaces of two manifolds that have a smooth mapping between them. This kind of construction is characterized by *pre-composition*, and shows up in various disguises in many places.
 
Deveno said:
What is it you don't understand? The definition of the mapping $\tilde{\varphi}$, or how it is well-defined?

The well-defined issue is easier to dispatch: since $\tilde{\varphi}$ is defined on an equivalence class (coset of functions), one has to verify that:

$\tilde{\varphi}(F) = \tilde{\varphi}(G)$ if $F - G \in \mathcal{I}(W)$.

Now $\tilde{\varphi}(F) = F\circ \varphi + \mathcal{I}(V)$ and $\tilde{\varphi}(G) = G\circ \varphi + \mathcal{I}(V)$.

To assert that $\tilde{\varphi}(F) = \tilde{\varphi}(G)$ is to say that:

$\tilde{\varphi}(F) - \tilde{\varphi}(G) = 0_{k[V]} = 0 + \mathcal{I}(V) = \mathcal{I}(V)$.

Thus we seek to show that:

$F - G \in \mathcal{I}(W) \implies [ F\circ \varphi + \mathcal{I}(V)] - [G\circ \varphi + \mathcal{I}(V)] = \mathcal{I}(V)$, which is true when:

$(F \circ \varphi) - (G \circ\varphi) \in \mathcal{I}(V)$.

However, $(F \circ \varphi) - (G \circ\varphi) = (F - G)\circ \varphi$, and since

$F - G$ annihilates $W$ (which is what it MEANS to be an element of $\mathcal{I}(W)$), and $\varphi(V) \subseteq W$, it is clear that $(F-G) \circ \varphi$ annihilates $V$, that is:

$(F - G)\circ \varphi \in \mathcal{I}(V)$.

Thus it doesn't matter which "$F$" we use to define $f = F + \mathcal{I}(W)$, as $\tilde{\varphi}$ is constant on the entire coset.

********************

The contravariant nature of $\tilde{\varphi}$ is often expressed as saying $\tilde{\varphi}(f)$ is a pullback of $f$ along $\varphi$, for just as $\varphi$ "goes forward" from $V \to W$, $\tilde{\varphi}$ "pulls back" from $k[W] \to k[V]$. This kind of construction is *very* common in mathematics; for example, in differential geometry, where one uses it to relate tangent spaces of two manifolds that have a smooth mapping between them. This kind of construction is characterized by *pre-composition*, and shows up in various disguises in many places.
Hi Deveno,

Apologies for the short absence ... back on the Internet now ...

Just reaquainting with with the theorem ... and working through your post ...

Thanks for your help ... it is much appreciated ...

Peter
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top