Constructions unique up to non-unique isomorphism - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T16:01:59Z http://mathoverflow.net/feeds/question/53767 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism Constructions unique up to non-unique isomorphism David Feldman 2011-01-30T07:53:19Z 2011-05-17T01:57:40Z <p>1) Fields have algebraic closures unique up to a non-unique isomorphism.</p> <p>2) Nice spaces (without base point) have universal covering spaces unique up to a non-unique isomorphism.</p> <p>3) Modules have injective hulls unique up to a non-unique isomorphism.</p> <p>Such situations can lead to interesting groups - the absolute Galois group, the fundamental group, and the "Galois" groups of modules introduced by Sylvia Wiegand in Can. J. Math., Vol. XXIV, No. 4, 1972, pp. 573-579.</p> <p>I'd appreciate any insight into the abstract features of situations which give rise to this type of phenomenon. And I'd appreciate as many examples from as many parts of mathematics as possible.</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53770#53770 Answer by Martin Brandenburg for Constructions unique up to non-unique isomorphism Martin Brandenburg 2011-01-30T09:46:50Z 2011-01-30T09:52:10Z <p>Any two injective resolutions (of an object in an abelian category) are homotopy equivalent, but this homotopy equivalence is not unique. This is of course because the lifting property in the definition of "injective" does not require any uniqueness.</p> <p>The connected sum of oriented manifolds is unique up to homeomorphism, but this homeomorphism is not unique.</p> <p>A bit silly, but: In a short exact sequence $0 \to A \to B \to C \to 0$ in a semisimple abelian category $B$ is unique up to isomorphism (namely, $B \cong A \oplus C$), but the isomorphism is not unique.</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53771#53771 Answer by Chris Heunen for Constructions unique up to non-unique isomorphism Chris Heunen 2011-01-30T10:17:54Z 2011-01-30T10:17:54Z <p>Vector spaces have a basis that is unique up to a non-unique isomorphism.<br> Hilbert spaces have an orthonormal basis that is unique up to a non-unique unitary.<br> (At least, if you accept Zorn's lemma, i.e. the axiom of choice)</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53781#53781 Answer by Qiaochu Yuan for Constructions unique up to non-unique isomorphism Qiaochu Yuan 2011-01-30T14:07:04Z 2011-01-30T21:40:43Z <p>The first two examples can be described more or less uniformly. Associated to a field $F$ is the category $C_F$ of algebraic field extensions of $F$ (whose objects are morphisms $F \to E$ and whose morphisms are commutative triangles). This category has a <a href="http://ncatlab.org/nlab/show/weak+limit" rel="nofollow">weak terminal object</a> given by any algebraic closure $F \to \bar{F}$. The full subcategory on the algebraic closures is what one might call the absolute Galois groupoid of $F$ (which is a perfectly canonical construction), and choosing an object in this groupoid (which is not) gives the absolute Galois group.</p> <p>Similarly, associated to a nice space $X$ is the category $C_X$ of connected covers of $X$ (whose objects are covering maps $Y \to X$ and whose morphisms are commutative triangles). This category has a weak initial object given by any universal cover $\bar{X} \to X$. The full subcategory on the universal covers is (equivalent to?) the fundamental groupoid of $X$ (again, a perfectly canonical construction), and choosing an object in this groupoid (which is not) gives the fundamental group. </p> <p>So you will get this kind of behavior in any situation where you have a weak universal object instead of a universal one. (This partially covers the third example, since injectivity is also a weak universal property.) A general way to engineer a situation similar to the above two might be to look at something like the category of (epi?)morphisms into an object or (mono?)morphisms out of it in your favorite category and see what happens.</p> <hr> <p>In any case, if you are only interested in these constructions because they produce interesting groups, then I think nowadays the modern thing to do is to produce interesting groups using <a href="http://en.wikipedia.org/wiki/Tannaka%E2%80%93Krein_duality" rel="nofollow">Tannaka-Krein duality</a>.</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53784#53784 Answer by Theo Buehler for Constructions unique up to non-unique isomorphism Theo Buehler 2011-01-30T14:41:43Z 2011-01-30T16:01:44Z <p>Here are some examples that are less of an algebraic nature (but all seem to be subsumed by Qiaochu's observation in that they are "weakly initial" or "weakly terminal" objects in appropriate categories):</p> <p>Consider the categories of metric spaces or complete metric spaces and $1$-Lipschitz maps. Isbell has shown that in these categories there are injective hulls, unique up to non-unique isomorphism. A metric space $I$ is injective if for every isometric embedding $A \to B$ and every $1$-Lipschitz map $A \to I$ there exists a $1$-Lipschitz extension $B \to I$. The automorphism groups of the injective hull of a space seems exceedingly hard to determine (even for finite spaces) but there's one case I find interesting. If $M$ happens to be a (real) Banach space and $I(M)$ is its injective hull then $I(M)$ is a Banach space, uniquely determined up to <em>unique</em> linear isometry, and it is of the form $C(K)$ where $K$ is an extremally disconnected Hausdorff space. H. Elton Lacey and co-authors have given a complete (finite!) list of possible injective hulls of separable Banach spaces.</p> <p>Closely related are projective covers in the category of compact Hausdorff spaces and continuous maps. There, the projectives are precisely the extremally disconnected spaces (Gleason).</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53786#53786 Answer by Steven Landsburg for Constructions unique up to non-unique isomorphism Steven Landsburg 2011-01-30T15:07:04Z 2011-01-30T15:18:22Z <p>For a field $k$ and a natural number $n$, the vector space of dimension $n$ over $k$ is unique up to a non-unique isomorphism, though this somehow feels "less unique" to me than your other examples. I thought at first that this might be due to its not fitting into the class of examples described by Qiaochu, but I suppose you can force it into that class by considering the category of $n$-dimensional vector spaces over $k$. But that in turn feels considerably more <i>ad hoc</i> (at least to me) than considering the category of algebraic field extensions.</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53796#53796 Answer by John Palmieri for Constructions unique up to non-unique isomorphism John Palmieri 2011-01-30T16:14:28Z 2011-01-30T23:36:30Z <p>The homology of a differential graded algebra has an $A_\infty$-algebra structure which is unique up to non-unique isomorphism.</p> <p>See <a href="http://front.math.ucdavis.edu/9910.5179" rel="nofollow">Keller's nice expository paper</a>, for instance. In particular, he states this result in Section 3.3 (as a theorem due to Kadeishvili, among others). It is stated there as a result about the homology of an $A_\infty$-algebra, but any differential graded algebra may be viewed as an $A_\infty$-algebra.</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53801#53801 Answer by Andres Caicedo for Constructions unique up to non-unique isomorphism Andres Caicedo 2011-01-30T16:46:58Z 2011-01-30T16:46:58Z <p>In recent work in set theory the concept of "canonical structure" has emerged, in connection with combinatorial work on pcf theory. The idea is that there are many constructions that depend on the axiom of choice but, once realized, are actually independent of the specific choices made. Usually, this involves two steps: You construct an object, which is not quite canonical (say, a collection of subsets of a cardinal $\kappa$), but then you recognize that there is a natural ideal (say, the non-stationary ideal on $\kappa$) and the corresponding equivalence classes <em>are</em> canonical. Of course, by switching to a new model of set theory, the "canonical structure" may change, so sometimes one thinks of it as a sort of <em>invariant</em> of the models.</p> <p>The first papers that explicitly mentioned the name "canonical structure" are by Cummings, Foreman, and Magidor, "Canonical structures in the universe of set theory", Parts I and II, Annals of Pure and Applied Logic 129 (2004), 211-243, and 142 (2006), 55-75. </p> <p>The following quote is from the beginning of the introduction to Part I:</p> <blockquote> <p>It is a distinguishing feature of modern set theory that many of the most interesting questions are not decided by ZFC, the theory in which we profess to work; to put it another way, ZFC admits a large variety of models. A natural response to this is to identify invariants which may take different values in different models, and which codify a large amount of information about a model. </p> <p>Of particular interest are invariants which are canonical, in the sense that the Axiom of Choice is needed to show that they exist, but once shown to exist they are independent of the choices made. For example the uncountable regular cardinals are canonical in this sense. </p> <p>Shelah discovered a large class of canonical invariants, the study of which he labeled PCF theory. These invariants include two which are central in this paper; Shelah [24, 26] (under some mild cardinal arithmetic assumptions on the singular cardinal $\mu$) defined two stationary subsets of $\mu^+$, the sets of good and approachable points. The definitions of these sets appear to depend on certain arbitrary choices, but (modulo the club filter) are in fact independent of these choices. Other canonical structures we study in this paper include the stationary sets of tight and internally approachable structures, and the collection of good points on a scale. </p> </blockquote> <p>The two references cited in the quote are S. Shelah, "On successors of singular cardinals", in M. Boffa, D. van Dalen, and K. McAloon, editors, Logic Colloquium ’78, pages 357–380, Amsterdam, 1979. North-Holland; and S. Shelah, "Cardinal Arithmetic". Oxford University Press, Oxford, 1994. </p> <p>Besides the ongoing work by Cummings-Foreman-Magidor and Shelah, these ideas have been extended by others; Krueger and Ishiu come to mind.</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53820#53820 Answer by David Roberts for Constructions unique up to non-unique isomorphism David Roberts 2011-01-30T20:50:27Z 2011-01-30T20:50:27Z <p>One example that springs to mind is when you are secretly working with the objects of a higher category, and so the choice is not unique up to a unique isomorphism, but the choice of isomorphism is also subject to higher coherence data. In a 2-category this would mean the isomorphisms are unique up to a unique invertible 2-arrow and so on. In $\omega$-categories, you may have such coherence all the way to infinity, and so end up with no uniqueness after all. One place where this emerges is when your $\omega$-category has all duals - is then an $\omega$-groupoid, because all the duals make everything weakly invertible!</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53861#53861 Answer by ARupinski for Constructions unique up to non-unique isomorphism ARupinski 2011-01-31T05:31:36Z 2011-01-31T05:31:36Z <p>A compact connected semisimple Lie Group $G$ has an essentially unique maximal torus $T$, a maximal abelian subgroup of maximum dimension (the rank of $G$ is the dimension of this torus). Although $G$ has lots of such torii (in fact any element of $G$ is contained in at least one), any two are conjugate to one another by some element of $G$.</p> <p>In a similar vein, one can break a given maximal torus $T$ up into congruent pieces (the images of Weyl chambers under the exponential map applied to the Lie algebra of $T$), any two of which are equivalent to one another by an element of the Weyl Group of $G$. The value of any class function on $G$ is then completely determined on all of $G$ by its values on a single one of these pieces.</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/53870#53870 Answer by Fernando Muro for Constructions unique up to non-unique isomorphism Fernando Muro 2011-01-31T09:02:51Z 2011-01-31T09:02:51Z <p>My favourite: the mapping cone of a morphism in a triangulated category is unique up to non-unique isomorphism. This fact has originated a lot of research in this topic, and it still does.</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/57943#57943 Answer by Emil Jeřábek for Constructions unique up to non-unique isomorphism Emil Jeřábek 2011-03-09T12:40:33Z 2011-03-09T13:49:02Z <p>The countable dense linear order is unique up to a non-unique isomorphism. The countable atomless Boolean algebra is unique up to a non-unique isomorphism. The <a href="http://en.wikipedia.org/wiki/Rado_graph" rel="nofollow">random graph</a> is unique up to a non-unique isomorphism. (Algebraically closed fields of a given characteristic and transcendence degree, and vector spaces of given dimension over a given field, are other examples already mentioned above.)</p> <p>In general, if $T$ is a <a href="http://en.wikipedia.org/wiki/Categorical_theory" rel="nofollow">$\kappa$-categorical</a> first-order theory (in a countable language), then the model $M$ of $T$ of cardinality $\kappa$ is unique up to a non-unique isomorphism.</p> <p>Even more generally: if $T$ is any complete theory and $\kappa$ an infinite cardinal, then the <a href="http://en.wikipedia.org/wiki/Saturated_model" rel="nofollow">saturated model</a> $M$ of $T$ of cardinality $\kappa$—if it exists at all—is unique up to a non-unique isomorphism. ($M$ is unique by a standard back-and-forth argument. Non-uniqueness of the isomorphism amounts to saying that $\operatorname{Aut}(M)$ is nontrivial. By homogeneity, it suffices to exhibit two elements of $M$ with the same type. If there exists a nonprincipal parameter-free $1$-type, we can easily find two elements that realize it. If all $1$-types are principal, there are only finitely many, hence two elements of $M$ have to realize the same type by the pigeonhole principle.)</p> http://mathoverflow.net/questions/53767/constructions-unique-up-to-non-unique-isomorphism/65197#65197 Answer by algori for Constructions unique up to non-unique isomorphism algori 2011-05-17T01:38:38Z 2011-05-17T01:57:40Z <p>Let me mention Sullivan's minimal models.</p> <p>Every commutative differential graded $\mathbb{Q}$-algebra (cdga) <code>$A^*$</code> concentrated in non-negative degrees and such that <code>$H^0(A^*)=\mathbb{Q}$</code> admits a minimal Sullivan model <code>$i:M^*\to A^*$</code> where <code>$M^*$</code> is a free commutative graded algebra obtained from $\mathbb{Q}$ by adding generators of non-negative degrees so that the differential of each generator is a $\mathbb{Q}$-linear combination of products of length $\geq 2$ of the previous generators, and $i$ is a map of cgda's that induces a cohomology isomorphism (i.e., a quasi-isomorphism).</p> <p>The minimal model is unique up to a non-unique isomorphism. More generally, if <code>$f:A^*\to B^*$</code> is a map of cdga's and <code>$j:N^*\to B^*$</code> is a minimal model of <code>$B^*$</code>, then there is a cdga map <code>$g:M^*\to N^*$</code>, defined up to cdga homotopy, such that $fi=gj$ up to cdga homotopy; moreover, if $f$ is a quasi-isomorphism, then $g$ is an isomorphism.</p> <p>This reduces the classification of non-negative cdga's up to quasi-isomorphism (and as a consequence, the classification of simply connected topological spaces up to rational homotopy) to the classification of algebras of a certain kind up to isomorphism.</p> <p>Of course, this example is similar to some mentioned before (in a sense it is the commutative analog of the answer of John Palmieri).</p>