equality of elements in localization via universal property [unsolved!] - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T04:23:42Z http://mathoverflow.net/feeds/question/9921 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/9921/equality-of-elements-in-localization-via-universal-property-unsolved equality of elements in localization via universal property [unsolved!] Martin Brandenburg 2009-12-28T00:02:51Z 2012-01-30T09:24:21Z <p>I've been studying universal objects of universal algebra in a quite general setting and try to exhibit the structure of their elements just using the universal property. a very nice example for this is given in Serres <i>Trees</i> (normal form for elements in amalgamated sums of subgroups). up to know, it works in all examples I've came across. even tensor products, see: Pierre Mazet, Caracterisation des Epimorphismes par relations et generateurs. but I'm stuck with localizations of rings (or monoids, or modules). rings and monoids are here assumed to be commutative.</p> <p>so I <i>define</i> $S^{-1} A$ to be a ring which represents the subfunctor of $\hom(A,-)$, which maps elements of $S$ to units. here $S$ is a submonoid of a ring $A$. it can be shown with rather general facts that $S^{-1} A$ exists, in several ways. but that's not the point: I want to avoid explicit constructions (I might elaborate the reasons later).</p> <p>the definition implies that there is a natural homomorphism $A \to S^{-1} A$, which is denoted simply by $a \mapsto a$, and that every element of $S^{-1} A$ has the form $a/s$ ($a \in A, s \in S$). clearly $a/s=b/t$ holds, when $uta=usb$ for some $u \in S$. but how can we prove the converse, <i>only using the universal property?</i> I hope my aim is clear. in particular, it would be cheeting applying the universal property to another explicit constructed model of $S^{-1} A$.</p> <p>here is an example how elements might be described without using any construction: we want to show that in the category of abelian groups, elements of the coproduct $A+B$ (provided it exists) have a unique representation $a+b$, where $a \in A$ and $b \in B$. again we have an abuse of notation here, $a$ also means the image of $a$ in $A+B$. to prove this, observe that ${a+b : a \in A, b \in B}$ is a subgroup of $A+B$ which also satisfies the universal property. then it follows that every element has the form $a+b$. now define $A+B \to A$ by extending $id : A \to A$ and $0 : B \to A$. this maps $a+b \mapsto a$. hence $a$ is unique, and similar also $b$.</p> <p>as already said, this also works in other situations, but it get's more complicated. conclusion: we don't have to invent other objects to study universal objects. for we may apply the universal property to themselves! I hope that this also works for localizations, in order to see that $a/1=0 \in S^{-1} A$ if and only if a is annihilated by some $s \in S$. I've already found out many basic results about localizations just using the universal property (e.g. "coherence isomorphisms", behavior under colimits), and using that I can reduce all to the fact that $S^{-1} A$ is a flat $A$-module, but this also seems to be hard without elements. a major step would be the case of an integral domain.</p> <p>EDIT: A new improved version of this question can be found <a href="http://mathoverflow.net/questions/86923/elements-in-a-localization-category-theoretic-approach" rel="nofollow">here</a>.</p> http://mathoverflow.net/questions/9921/equality-of-elements-in-localization-via-universal-property-unsolved/9923#9923 Answer by Tom Leinster for equality of elements in localization via universal property [unsolved!] Tom Leinster 2009-12-28T00:42:45Z 2009-12-28T00:42:45Z <p>I'm not sure I understand the question. More exactly, I think I disagree with what seems to be an assumption built into it: that there are sharp lines to be drawn between 'only using the universal property' and not, or between working 'without elements' and not.</p> <p>Generally, a universal property describes how something interacts with the world around it. For example, if you say that an object $I$ of a category $\mathcal{C}$ is initial, that describes how $I$ interacts with other objects of $\mathcal{C}$. If you don't know much about the objects of $\mathcal{C}$, it doesn't tell you much about $I$. Similarly, you're not going to be able to deduce anything about the ring $S^{-1}A$ without using facts about rings. I don't know which of those facts are ones you'd be happy to use, and which aren't.</p> <p>There's nothing uncategorical about elements. For example, you're dealing with rings, and an element of a ring $A$ is simply a homomorphism $\mathbb{Z}[x] \to A$. (And $\mathbb{Z}[x]$ can be characterized as the free ring on one generator, that is, the result of taking the left adjoint to the forgetful functor $\mathbf{Ring} \to \mathbf{Set}$ and applying it to the terminal set 1.) </p> <p>So I'm unsure what exactly your task is. But I'd like to suggest a different universal property of localization, which might perhaps make your task easier. Here it is.</p> <p>Let $\mathbf{Set}/\mathbf{Ring}$ be the category of rings equipped with a set-indexed family of elements. Formally, it's a 'comma category'. An object is a triple $(S, i, A)$ where $S$ is a set, $A$ is a ring, and $i$ is a function from $S$ to the underlying set of $A$. (You might think of $i$ as an including $S$ as a subset of $A$, but $i$ doesn't have to be injective.) A map $(S, i, A) \to (S', i', A')$ is a pair $(p, \phi)$ consisting of a function $p: S \to S'$ and a homomorphism $\phi: A \to A'$ making the evident square commute.</p> <p>There is a functor $R: \mathbf{Ring} \to \mathbf{Set}/\mathbf{Ring}$ given by $$R(A) = (A^\times \to A)$$ where $A^\times$ is the set of units of $A$ and the arrow is the inclusion. Then $R$ has a left adjoint $L$, given by $L(S, i, A) = (iS)^{-1}A$. In other words, the left adjoint to $R$ is localization.</p> http://mathoverflow.net/questions/9921/equality-of-elements-in-localization-via-universal-property-unsolved/10090#10090 Answer by Sean Rostami for equality of elements in localization via universal property [unsolved!] Sean Rostami 2009-12-30T02:49:58Z 2009-12-30T02:49:58Z <p>I'm kind of confused. It sounds like you want to do the following:</p> <p>(1) start with some object X defined purely by a universal property</p> <p>(2) take some canonical objects and canonical morphisms relating them to X</p> <p>(3) do something with them</p> <p>(4) apply the universal property to arrive at a more granular description of the elements of X</p> <p>Phrasing aside, the <em>content</em> of this does not really sound different to me than the constructions you are trying to avoid. Your ability to actually accomplish (3) depends on knowing ahead of time an explicit construction. Is the the context where you already know the construction but you want to describe the elements differently the context you care about? Or do you want something more general?</p> http://mathoverflow.net/questions/9921/equality-of-elements-in-localization-via-universal-property-unsolved/15342#15342 Answer by shanest for equality of elements in localization via universal property [unsolved!] shanest 2010-02-15T15:57:42Z 2010-02-15T15:57:42Z <p>Here's a rough attempt of mine. I take it that you want to show that the ring $A$ and the localization $S^-1A$ are isomorphic. The way to do this is using the universal property that If $f:R\rightarrow T$ is any ring homomorphism such that $f\left(s\right)$ is a unit in $T$ for all $s\in S$ then show that there exists a unique ring homomorphism $\bar{f}:S^{-1}R\rightarrow T$ such that $\bar{f}\phi_{S}=f$ where $\phi_{S}$ is the canonical ring homomorphism $R\rightarrow S^{-1}R$ given by $r \mapsto \frac{rs}{s}$ for any $s \in S$.</p> <p>I will now give my attempted solution, prefaced by the fact that I am new to category theory and this is one of the first problems that I've attempted to really prove in a category-theoretic way.</p> <p>Working in the category $\mathbf{Ring}$, let $\mathcal{F}$ be the identity functor, $id_{\mathbf{Ring}}$. Then we know that $\left(S^{-1}R,\phi\right)$ is an initial morphism (i.e. a universal arrow) from $R$ to ${id}_{\mathbf{Ring}}$ because the following diagram commutes:</p> \xymatrix{R\ar[r]^{\phi}\ar[dr]_{f} & S^{-1}R\ar@{-->}[d]^{\bar{f}}\\ & T} <p>Similarly, $\left(R,{id}_{R}\right)$ is also an initial morphism because the following diagram commutes:</p> \xymatrix{R\ar[r]^{{id}_{R}}\ar[dr]_{f} & R\ar@{-->}[d]^{f}\\ & T} <p>Because $\left(S^{-1}R,\phi\right)$ and $\left(R,id_R \right)$ are both initial morphisms from $R$ to $id_{\mathbf{Ring}}$, they are unique up to a unique isomorphism. Furthermore, if we label this isomorphism $k:R\rightarrow S^{-1}R$, then plugging $\left(S^{-1}R,\phi\right)$ into the diagram for $\left(T,f\right)$, we see that $k$ satisfies $\phi=id_{\mathbf{Ring}}\left(k\right)\circ{id}_{R}$, i.e. $\phi$ is the unique isomorphism.</p>