Sorry for the confusing title. I just started learning category theory and am very confused about the concept "universal property". I am not even sure whether my "proof" is a proof or is just a restating of the original problem.
Here is a problem from Vakil's notes of Algebraic Geometry.
Exercise 1.3.D. Verify that $A\rightarrow S^{-1}A$ satisfies the following universal property: $S^{-1}A$ is initial among $A$-algebras $B$ where every element of $S$ is sent to an invertible element in $B$.
My attempt:
I searched and found this question on MSE: https://math.stackexchange.com/questions/1816224/localization-and-the-universal-property?rq=1.
So I constructed my "proof" based on that:
We consider a category $\mathscr{C}$ with objects as pairs of, e.g., $(S^{-1}A, A\xrightarrow{i_s} S^{-1}A), (B, A\xrightarrow{\pi_B} B), (C, A\xrightarrow{\pi_C} C)$. The objects are pairs whose first components are $A$-algebras, and second components are ring maps from $A$ to the corresponding $A$-algebras, in which elements from $S$ are sent to an invertible element. Notice that $S$ is in $A$. For any two objects $B, C$, the morphisms are ring maps between $B$ and $C$. We have the following diagram:
We see that any map $\pi: A\rightarrow B$ where every element of $S$ is sent to an invertible element must factor uniquely through $i_s: A\rightarrow S^{-1}A$.
My question:
Could anyone verify my "proof"? I am not sure how this universal property could be used.
Edit:
According to @Hoot's suggestion, I will define $\phi$ and prove that it is unique. Define $\phi: S^{-1}A\rightarrow B$ by $\phi(a/s)=\pi(a)\pi(s)^{-1}$, for $s\in S, a\in A$.
We prove that $\phi$ is well-defined. Let $a_1/s_1=a_2/s_2$, i.e., $s(a_1s_2-a_2s_1)=0$ for some $s\in S$. This implies $\pi(a_1s_2-a_2s_1)=0$. We have $\phi(a_1/s_1)=\pi(a_1)\pi(s_1)^{-1}, \phi(a_2/s_2)=\pi(a_2)\pi(s_2)^{-1}$. Apparently they are equal. By some similar computations we can prove it is a ring homomorphism.
It remains to show that $\phi$ is unique. Let $\psi: S^{-1}A\rightarrow B$ be another ring homomorphism, such that $\pi=\psi\circ i_s$. Then $\pi(a)=\psi(a)$ for all $a\in A$. Since it is homomorphism, $\psi(a/s)=\psi(a)\psi(s)^{-1}=\pi(a)\pi(s)^{-1}$. This shows that $\psi=\phi$.
Another question:
In the notes the author says every map $A\rightarrow B$ that sends elements in $S$ to an invertible element factors uniquely through $A\rightarrow S^{-1}A$. I'm still confused about this sentence. Shouldn't we say it factors uniquely through $S^{-1}A\rightarrow B$, since that is the unique universal map?
Thank you for your help!
Best Answer
Setup
Following page 32 of Vakil's notes,let S be a multiplicative subring of a ring A; i.e., $1 ∈ S ∧ x,y ∈ S ⇒ x · y ∈ S$. Then we consider “formal fractions”,
The property we're interested in is
Want to show: S⁻¹A is initial among A-algebras B where every element of S is sent to an invertible element in B
So we're interested in the category whose objects are pairs (B, f) where B is a ring and f : A → B is a ring morphism satisfying 𝒫.
Note that $S⁻¹A$ is such an algebra due to the emebeding $i : a ↦ a / 1$ since we know $1 ∈ S$. Moreover we have that $𝒫 i$ holds since $(s / 1)⁻¹ = 1 / s$ in $S⁻¹A$ for $s \in S$ : it is clear that $1/1$ is the unit of multiplication and so we need to show $(s / 1) · (1 / s) = 1 / 1$. Indeed,
Now the natural definition of an arrow between two such objects is a ring morphism of the underlying rings that makes the obvious diagram commute: f : (B, g) ⟶ (C, h) iff f : B → C is a ring map with f ∘ g = h.
Defining the needed morphism
Given an A-algebra $f : A → B$ satisfying $𝒫$, let us show that there is an arrow $(S⁻¹A, i) ⟶ (B, f)$.
Given an element $a / s : S⁻¹A$, we know that $f \ s$ is invertible by assumption $𝒫 \ f$ and so we can form the expression $f a · (f s)⁻¹ : B$. Let $⟨ f ⟩$ be the name of this operation; i.e., $⟨ f ⟩ : S⁻¹A → B$ with $⟨ f ⟩ (a / s) = f a · (f s)⁻¹$. Since / is just formal notation for pairs, in this context, that gets reified into an actual division by ⟨_⟩, let us write ÷ for a legitimate division in a ring: $x ÷ y = x · y ⁻¹$. Then, $⟨ f ⟩ (a / s) = f a ÷ f s$. Notice that we do not know if $s⁻¹$ exists and so cannot use ring morphism properties to rewrite this last expression as $f (a / s)$.
Anyhow, for ⟨ f ⟩ to be an arrow in our category we must show that is
Satisfies 𝒫
Let $a, s$ be arbitrary, then
Indeed,
Ring morphism
For example, for additivity:
I will not check the other properties ─I'm not as vested in this problem as you!
Arrow
It is also an arrow in the category; indeed: for arbitrary a,
Whence $⟨ f ⟩ ∘ i = f$
Uniqueness
It remains to show that $⟨ f ⟩$ is unique with these properties.
That is, given any ring morphism $G : S⁻¹A → B$ with $G ∘ i = f$, let us show that it equals $⟨ f ⟩$.
Hence, by extensionality, G = ⟨ f ⟩ sweetums :-)
Conclusion
At the end of the problem statement they give rephrasings of the desideratum, which we'll restate for fun.
Using the above formalisation and usual category theory definition of initiality, we have
But by construction this
f'
is obtained by the angle brackets; we're doing a process known as skolemisation. So this equivalesThis' loosey-goosey true since: for ⇒ to hold we need ⟨ f ⟩ to be defined which means we need 𝒫 f to hold and we need to know that g is an arrow in the category which means g ∘ i = f; conversely, we know that g ∘ i = f has the unique solution ⟨ f ⟩ which is defined since we have 𝒫 f. A formal proof is not difficult either:
Anyhow,
Read ⇒: a ring map S⁻¹A → B is the “same thing as” (ie corresponds to) a ring map A → B satisfying 𝒫
Read ⇐: any ring map A → B sending elements of S to invertible elements factors through i : A → S⁻¹A and does so uniquely.
Intiality really just says that $i$ is the best map satisfying 𝒫 and any other such map must be “further away” (in that it factors through $i$).
Hope this helps! :-)
PS. Notice that since $g ∘ i = f ⇒ 𝒫 f$, we could simplify the equivalence to just $g = ⟨ f ⟩ ≡ g ∘ i = f$, but then those English renditions are no longer immediate.