Examples of transfinite towers












5












$begingroup$


I am looking for examples of constructions for transfinite towers $(X_{alpha})_{alpha}$ generated by structures $X$ where the problem of determining whether the tower $(X_{alpha})_{alpha}$ stops growing is a non-trivial problem or the problem of determining the ordinal in which $X_{alpha}$ stops growing is a non-trivial problem.



In particular, I want the tower $(X_{alpha})_{alpha}$ to be generated by the following construction. Suppose that for each object $X$, there is a new object $C(X)$ and a morphism $e:Xrightarrow C(X)$. Then define the tower generated by $X$ by letting $X_{0}=X$, $X_{alpha+1}=C(X_{alpha})$ and
$X_{gamma}=varinjlim_{alpha<lambda}X_{alpha}$ for limit ordinals $gamma$ where the direct limit is taken in the category that $X$ belongs to.



I want all of the objects $X$ and each $X_{alpha}$ to be set sized.



Non-Example: The hierarchy of sets $(V_{alpha}[X])_{alpha}$ where
$V_{0}[X]=X,V_{alpha+1}[X]=P(V_{alpha}[X])$ and $V_{gamma}[X]=bigcup_{alpha<gamma}V_{alpha}[X]$ does not count as an example of what I am looking for since the tower $(V_{alpha}[X])_{alpha}$ never stops growing and therefore whether $(V_{alpha}[X])_{alpha}$ terminates is now a trivial mathematics problem.



Example 1: Suppose that $G$ is a group. Let $G_{0}=G$, and let
$G_{alpha+1}=mathrm{Aut}(G_{alpha})$ and let $G_{gamma}=varinjlim_{alpha<gamma}G_{alpha}$. The transition mapping from $G_{alpha}$ to $G_{alpha+1}$ is the mapping $e$ where $e(g)(h)=ghg^{-1}$. Then $(G_{alpha})_{alpha}$ is the automorphism group tower generated by $G$. The automorphism group tower always terminates. In this case, the mapping $Gmapsto G_{alpha}$ is not functorial.



Example 2: Frames are the objects that people study in point-free topology. If $L$ is a frame, then let $mathfrak{C}(L)$ denote the lattice of congruences of the frame $L$. Then $mathfrak{C}(L)$ is always a frame. Define a mapping $e:Lrightarrowmathfrak{C}(L)$ by letting $(x,y)in e(a)$ if and only if $xvee a=yvee a$. Then the function $e$ is a frame homomorphism.



There are frames $L$ where the congruence tower generated by $L$ never terminates. However, for ordinals $alpha$, it is a difficult open problem to determine whether there is a frame $L$ where $e:L_{beta}rightarrowmathfrak{C}(L_{beta})$ is a surjection if and only if $betageqalpha$ since in all known examples, the congruence tower either terminates before the fourth step or so or it never terminates.



If $L$ is a frame and $e:Lrightarrowmathfrak{C}(L)$ is an isomorphism, then $L$ is a complete Boolean algebra.



Unlike Example 1, Example 2 is functorial.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Have you looked into Kelly's "...and so on"?
    $endgroup$
    – Fosco Loregian
    3 hours ago
















5












$begingroup$


I am looking for examples of constructions for transfinite towers $(X_{alpha})_{alpha}$ generated by structures $X$ where the problem of determining whether the tower $(X_{alpha})_{alpha}$ stops growing is a non-trivial problem or the problem of determining the ordinal in which $X_{alpha}$ stops growing is a non-trivial problem.



In particular, I want the tower $(X_{alpha})_{alpha}$ to be generated by the following construction. Suppose that for each object $X$, there is a new object $C(X)$ and a morphism $e:Xrightarrow C(X)$. Then define the tower generated by $X$ by letting $X_{0}=X$, $X_{alpha+1}=C(X_{alpha})$ and
$X_{gamma}=varinjlim_{alpha<lambda}X_{alpha}$ for limit ordinals $gamma$ where the direct limit is taken in the category that $X$ belongs to.



I want all of the objects $X$ and each $X_{alpha}$ to be set sized.



Non-Example: The hierarchy of sets $(V_{alpha}[X])_{alpha}$ where
$V_{0}[X]=X,V_{alpha+1}[X]=P(V_{alpha}[X])$ and $V_{gamma}[X]=bigcup_{alpha<gamma}V_{alpha}[X]$ does not count as an example of what I am looking for since the tower $(V_{alpha}[X])_{alpha}$ never stops growing and therefore whether $(V_{alpha}[X])_{alpha}$ terminates is now a trivial mathematics problem.



Example 1: Suppose that $G$ is a group. Let $G_{0}=G$, and let
$G_{alpha+1}=mathrm{Aut}(G_{alpha})$ and let $G_{gamma}=varinjlim_{alpha<gamma}G_{alpha}$. The transition mapping from $G_{alpha}$ to $G_{alpha+1}$ is the mapping $e$ where $e(g)(h)=ghg^{-1}$. Then $(G_{alpha})_{alpha}$ is the automorphism group tower generated by $G$. The automorphism group tower always terminates. In this case, the mapping $Gmapsto G_{alpha}$ is not functorial.



Example 2: Frames are the objects that people study in point-free topology. If $L$ is a frame, then let $mathfrak{C}(L)$ denote the lattice of congruences of the frame $L$. Then $mathfrak{C}(L)$ is always a frame. Define a mapping $e:Lrightarrowmathfrak{C}(L)$ by letting $(x,y)in e(a)$ if and only if $xvee a=yvee a$. Then the function $e$ is a frame homomorphism.



There are frames $L$ where the congruence tower generated by $L$ never terminates. However, for ordinals $alpha$, it is a difficult open problem to determine whether there is a frame $L$ where $e:L_{beta}rightarrowmathfrak{C}(L_{beta})$ is a surjection if and only if $betageqalpha$ since in all known examples, the congruence tower either terminates before the fourth step or so or it never terminates.



If $L$ is a frame and $e:Lrightarrowmathfrak{C}(L)$ is an isomorphism, then $L$ is a complete Boolean algebra.



Unlike Example 1, Example 2 is functorial.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Have you looked into Kelly's "...and so on"?
    $endgroup$
    – Fosco Loregian
    3 hours ago














5












5








5





$begingroup$


I am looking for examples of constructions for transfinite towers $(X_{alpha})_{alpha}$ generated by structures $X$ where the problem of determining whether the tower $(X_{alpha})_{alpha}$ stops growing is a non-trivial problem or the problem of determining the ordinal in which $X_{alpha}$ stops growing is a non-trivial problem.



In particular, I want the tower $(X_{alpha})_{alpha}$ to be generated by the following construction. Suppose that for each object $X$, there is a new object $C(X)$ and a morphism $e:Xrightarrow C(X)$. Then define the tower generated by $X$ by letting $X_{0}=X$, $X_{alpha+1}=C(X_{alpha})$ and
$X_{gamma}=varinjlim_{alpha<lambda}X_{alpha}$ for limit ordinals $gamma$ where the direct limit is taken in the category that $X$ belongs to.



I want all of the objects $X$ and each $X_{alpha}$ to be set sized.



Non-Example: The hierarchy of sets $(V_{alpha}[X])_{alpha}$ where
$V_{0}[X]=X,V_{alpha+1}[X]=P(V_{alpha}[X])$ and $V_{gamma}[X]=bigcup_{alpha<gamma}V_{alpha}[X]$ does not count as an example of what I am looking for since the tower $(V_{alpha}[X])_{alpha}$ never stops growing and therefore whether $(V_{alpha}[X])_{alpha}$ terminates is now a trivial mathematics problem.



Example 1: Suppose that $G$ is a group. Let $G_{0}=G$, and let
$G_{alpha+1}=mathrm{Aut}(G_{alpha})$ and let $G_{gamma}=varinjlim_{alpha<gamma}G_{alpha}$. The transition mapping from $G_{alpha}$ to $G_{alpha+1}$ is the mapping $e$ where $e(g)(h)=ghg^{-1}$. Then $(G_{alpha})_{alpha}$ is the automorphism group tower generated by $G$. The automorphism group tower always terminates. In this case, the mapping $Gmapsto G_{alpha}$ is not functorial.



Example 2: Frames are the objects that people study in point-free topology. If $L$ is a frame, then let $mathfrak{C}(L)$ denote the lattice of congruences of the frame $L$. Then $mathfrak{C}(L)$ is always a frame. Define a mapping $e:Lrightarrowmathfrak{C}(L)$ by letting $(x,y)in e(a)$ if and only if $xvee a=yvee a$. Then the function $e$ is a frame homomorphism.



There are frames $L$ where the congruence tower generated by $L$ never terminates. However, for ordinals $alpha$, it is a difficult open problem to determine whether there is a frame $L$ where $e:L_{beta}rightarrowmathfrak{C}(L_{beta})$ is a surjection if and only if $betageqalpha$ since in all known examples, the congruence tower either terminates before the fourth step or so or it never terminates.



If $L$ is a frame and $e:Lrightarrowmathfrak{C}(L)$ is an isomorphism, then $L$ is a complete Boolean algebra.



Unlike Example 1, Example 2 is functorial.










share|cite|improve this question









$endgroup$




I am looking for examples of constructions for transfinite towers $(X_{alpha})_{alpha}$ generated by structures $X$ where the problem of determining whether the tower $(X_{alpha})_{alpha}$ stops growing is a non-trivial problem or the problem of determining the ordinal in which $X_{alpha}$ stops growing is a non-trivial problem.



In particular, I want the tower $(X_{alpha})_{alpha}$ to be generated by the following construction. Suppose that for each object $X$, there is a new object $C(X)$ and a morphism $e:Xrightarrow C(X)$. Then define the tower generated by $X$ by letting $X_{0}=X$, $X_{alpha+1}=C(X_{alpha})$ and
$X_{gamma}=varinjlim_{alpha<lambda}X_{alpha}$ for limit ordinals $gamma$ where the direct limit is taken in the category that $X$ belongs to.



I want all of the objects $X$ and each $X_{alpha}$ to be set sized.



Non-Example: The hierarchy of sets $(V_{alpha}[X])_{alpha}$ where
$V_{0}[X]=X,V_{alpha+1}[X]=P(V_{alpha}[X])$ and $V_{gamma}[X]=bigcup_{alpha<gamma}V_{alpha}[X]$ does not count as an example of what I am looking for since the tower $(V_{alpha}[X])_{alpha}$ never stops growing and therefore whether $(V_{alpha}[X])_{alpha}$ terminates is now a trivial mathematics problem.



Example 1: Suppose that $G$ is a group. Let $G_{0}=G$, and let
$G_{alpha+1}=mathrm{Aut}(G_{alpha})$ and let $G_{gamma}=varinjlim_{alpha<gamma}G_{alpha}$. The transition mapping from $G_{alpha}$ to $G_{alpha+1}$ is the mapping $e$ where $e(g)(h)=ghg^{-1}$. Then $(G_{alpha})_{alpha}$ is the automorphism group tower generated by $G$. The automorphism group tower always terminates. In this case, the mapping $Gmapsto G_{alpha}$ is not functorial.



Example 2: Frames are the objects that people study in point-free topology. If $L$ is a frame, then let $mathfrak{C}(L)$ denote the lattice of congruences of the frame $L$. Then $mathfrak{C}(L)$ is always a frame. Define a mapping $e:Lrightarrowmathfrak{C}(L)$ by letting $(x,y)in e(a)$ if and only if $xvee a=yvee a$. Then the function $e$ is a frame homomorphism.



There are frames $L$ where the congruence tower generated by $L$ never terminates. However, for ordinals $alpha$, it is a difficult open problem to determine whether there is a frame $L$ where $e:L_{beta}rightarrowmathfrak{C}(L_{beta})$ is a surjection if and only if $betageqalpha$ since in all known examples, the congruence tower either terminates before the fourth step or so or it never terminates.



If $L$ is a frame and $e:Lrightarrowmathfrak{C}(L)$ is an isomorphism, then $L$ is a complete Boolean algebra.



Unlike Example 1, Example 2 is functorial.







ct.category-theory set-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 3 hours ago









Joseph Van NameJoseph Van Name

15k34774




15k34774












  • $begingroup$
    Have you looked into Kelly's "...and so on"?
    $endgroup$
    – Fosco Loregian
    3 hours ago


















  • $begingroup$
    Have you looked into Kelly's "...and so on"?
    $endgroup$
    – Fosco Loregian
    3 hours ago
















$begingroup$
Have you looked into Kelly's "...and so on"?
$endgroup$
– Fosco Loregian
3 hours ago




$begingroup$
Have you looked into Kelly's "...and so on"?
$endgroup$
– Fosco Loregian
3 hours ago










1 Answer
1






active

oldest

votes


















5












$begingroup$

Consider the following construction of sets of ordinals.




  • $X_0={0}$,


  • $X_{alpha+1}=$ the closure of $X_{alpha}$ under $gammamapstogamma+1$ and under countable sums,


  • $X_alpha=bigcup_{beta<alpha}X_beta$ for $alpha$ limit.



We can consider in ZF the question of whether this tower stabilizes.



It is definitely consistent that the answer is yes, since in ZFC $omega_1$ is regular, so $X_beta=omega_1$ for all $betageqomega_1$.



The question of whether this tower can be non-stabilizing is much harder, and is equivalent to asking whether it is consistent that all ordinals have countable cofinality. This was shown to be consistent by Gitik in 1980, assuming consistency of a proper class of strongly compact cardinals. Let me note that large cardinals cannot be avoided, because even making $omega_1$ and $omega_2$ singular has consistency at least as high as $0^#$.






share|cite|improve this answer











$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "504"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f325582%2fexamples-of-transfinite-towers%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    5












    $begingroup$

    Consider the following construction of sets of ordinals.




    • $X_0={0}$,


    • $X_{alpha+1}=$ the closure of $X_{alpha}$ under $gammamapstogamma+1$ and under countable sums,


    • $X_alpha=bigcup_{beta<alpha}X_beta$ for $alpha$ limit.



    We can consider in ZF the question of whether this tower stabilizes.



    It is definitely consistent that the answer is yes, since in ZFC $omega_1$ is regular, so $X_beta=omega_1$ for all $betageqomega_1$.



    The question of whether this tower can be non-stabilizing is much harder, and is equivalent to asking whether it is consistent that all ordinals have countable cofinality. This was shown to be consistent by Gitik in 1980, assuming consistency of a proper class of strongly compact cardinals. Let me note that large cardinals cannot be avoided, because even making $omega_1$ and $omega_2$ singular has consistency at least as high as $0^#$.






    share|cite|improve this answer











    $endgroup$


















      5












      $begingroup$

      Consider the following construction of sets of ordinals.




      • $X_0={0}$,


      • $X_{alpha+1}=$ the closure of $X_{alpha}$ under $gammamapstogamma+1$ and under countable sums,


      • $X_alpha=bigcup_{beta<alpha}X_beta$ for $alpha$ limit.



      We can consider in ZF the question of whether this tower stabilizes.



      It is definitely consistent that the answer is yes, since in ZFC $omega_1$ is regular, so $X_beta=omega_1$ for all $betageqomega_1$.



      The question of whether this tower can be non-stabilizing is much harder, and is equivalent to asking whether it is consistent that all ordinals have countable cofinality. This was shown to be consistent by Gitik in 1980, assuming consistency of a proper class of strongly compact cardinals. Let me note that large cardinals cannot be avoided, because even making $omega_1$ and $omega_2$ singular has consistency at least as high as $0^#$.






      share|cite|improve this answer











      $endgroup$
















        5












        5








        5





        $begingroup$

        Consider the following construction of sets of ordinals.




        • $X_0={0}$,


        • $X_{alpha+1}=$ the closure of $X_{alpha}$ under $gammamapstogamma+1$ and under countable sums,


        • $X_alpha=bigcup_{beta<alpha}X_beta$ for $alpha$ limit.



        We can consider in ZF the question of whether this tower stabilizes.



        It is definitely consistent that the answer is yes, since in ZFC $omega_1$ is regular, so $X_beta=omega_1$ for all $betageqomega_1$.



        The question of whether this tower can be non-stabilizing is much harder, and is equivalent to asking whether it is consistent that all ordinals have countable cofinality. This was shown to be consistent by Gitik in 1980, assuming consistency of a proper class of strongly compact cardinals. Let me note that large cardinals cannot be avoided, because even making $omega_1$ and $omega_2$ singular has consistency at least as high as $0^#$.






        share|cite|improve this answer











        $endgroup$



        Consider the following construction of sets of ordinals.




        • $X_0={0}$,


        • $X_{alpha+1}=$ the closure of $X_{alpha}$ under $gammamapstogamma+1$ and under countable sums,


        • $X_alpha=bigcup_{beta<alpha}X_beta$ for $alpha$ limit.



        We can consider in ZF the question of whether this tower stabilizes.



        It is definitely consistent that the answer is yes, since in ZFC $omega_1$ is regular, so $X_beta=omega_1$ for all $betageqomega_1$.



        The question of whether this tower can be non-stabilizing is much harder, and is equivalent to asking whether it is consistent that all ordinals have countable cofinality. This was shown to be consistent by Gitik in 1980, assuming consistency of a proper class of strongly compact cardinals. Let me note that large cardinals cannot be avoided, because even making $omega_1$ and $omega_2$ singular has consistency at least as high as $0^#$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited 1 hour ago

























        answered 2 hours ago









        WojowuWojowu

        7,06513055




        7,06513055






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to MathOverflow!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f325582%2fexamples-of-transfinite-towers%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            How to label and detect the document text images

            Vallis Paradisi

            Tabula Rosettana