Topology of the torus











up vote
3
down vote

favorite
1













Theorem: There is no open covering $T^k=U_1cup...cup U_k$ of the $k$-torus such that the map $$H_1(V,mathbb{Z}) rightarrow H_1(T^k,mathbb{Z}) $$ has rank at most $(i-1)$ for every component $V$ of $U_i$.




McMullen states this in his 2004 article on Minkowski's conjecture without proof and without any reference.



I have no idea how to prove it. Can anyone suggest a proof or give any reference?










share|cite|improve this question




























    up vote
    3
    down vote

    favorite
    1













    Theorem: There is no open covering $T^k=U_1cup...cup U_k$ of the $k$-torus such that the map $$H_1(V,mathbb{Z}) rightarrow H_1(T^k,mathbb{Z}) $$ has rank at most $(i-1)$ for every component $V$ of $U_i$.




    McMullen states this in his 2004 article on Minkowski's conjecture without proof and without any reference.



    I have no idea how to prove it. Can anyone suggest a proof or give any reference?










    share|cite|improve this question


























      up vote
      3
      down vote

      favorite
      1









      up vote
      3
      down vote

      favorite
      1






      1






      Theorem: There is no open covering $T^k=U_1cup...cup U_k$ of the $k$-torus such that the map $$H_1(V,mathbb{Z}) rightarrow H_1(T^k,mathbb{Z}) $$ has rank at most $(i-1)$ for every component $V$ of $U_i$.




      McMullen states this in his 2004 article on Minkowski's conjecture without proof and without any reference.



      I have no idea how to prove it. Can anyone suggest a proof or give any reference?










      share|cite|improve this question
















      Theorem: There is no open covering $T^k=U_1cup...cup U_k$ of the $k$-torus such that the map $$H_1(V,mathbb{Z}) rightarrow H_1(T^k,mathbb{Z}) $$ has rank at most $(i-1)$ for every component $V$ of $U_i$.




      McMullen states this in his 2004 article on Minkowski's conjecture without proof and without any reference.



      I have no idea how to prove it. Can anyone suggest a proof or give any reference?







      general-topology homology-cohomology covering-spaces dimension-theory arithmetic-topology






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 5 '17 at 4:33

























      asked Nov 5 '17 at 3:54









      Vladimir Kondratiev

      164




      164






















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          0
          down vote













          This follows from a more general result of McMullen:



          Definition: The order of a cover $mathfrak{U}$ is the greatest integer $n$ so that the intersection of $n+1$ elements is nontrivial.



          Loosely stated theorem: Let $mathfrak{U}$ be an open cover of the $n$-torus. Suppose for that all components $V$ of the intersection $U_1 capdotscap U_k$ with $k leq n$, we have that the induced map by inclusion on homology has at most rank $(n-k)$, then $mathfrak{U}$ has order at least $n$.



          The basic ingredient for the proof is the Cech DeRham complex, reference for which can be found here, on page 6.






          share|cite|improve this answer




























            up vote
            0
            down vote













            In Mc Mullen paper "Minkowski's conjecture, well rounded lattices and topological dimension" it is referred as Corollary 2.2, and it is proved at p.5, as a trivial consequence of Theorem 2.1, which is the "Loosely stated theorem" as pointed out by Andres Mejia.
            Sincerely, to me, is not clear how that theorem implies the corollary you are looking for, so I cannot help you with that.






            share|cite|improve this answer




























              up vote
              0
              down vote













              I think the statement follows from the theorem cited above in the following way:



              Suppose there was a cover $(U_i)_{ileq k}$ such that $$H_1(V)rightarrow H_1(T^k)$$ has rank at most $i-1$ for each component $V$ of $U_i$. Let $Isubseteq lbrace 1,dots,krbrace$, $#I=l$. Then $j=min Ileq k-(l-1)$. Let $Vsubseteqbigcap_I U_i$ be a component of the corresponding $l$-intersection. Then there is another component $Wsubseteq U_j$ with $Vsubseteq W$. It follows $$mathrm{rk}(H_1(V)rightarrow H_1(T^k))leqmathrm{rk}(H_1(W)rightarrow H_1(T^k))leq j-1leq k-l.$$
              Therefore, the order of $(U_i)_{ileq k}$ is at least $k$, which is impossible.






              share|cite|improve this answer








              New contributor




              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
              Check out our Code of Conduct.


















              • This doesn't improve this answer whatsoever.
                – José Carlos Santos
                Nov 20 at 10:55











              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: "69"
              };
              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',
              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%2fmath.stackexchange.com%2fquestions%2f2505231%2ftopology-of-the-torus%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              3 Answers
              3






              active

              oldest

              votes








              3 Answers
              3






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              0
              down vote













              This follows from a more general result of McMullen:



              Definition: The order of a cover $mathfrak{U}$ is the greatest integer $n$ so that the intersection of $n+1$ elements is nontrivial.



              Loosely stated theorem: Let $mathfrak{U}$ be an open cover of the $n$-torus. Suppose for that all components $V$ of the intersection $U_1 capdotscap U_k$ with $k leq n$, we have that the induced map by inclusion on homology has at most rank $(n-k)$, then $mathfrak{U}$ has order at least $n$.



              The basic ingredient for the proof is the Cech DeRham complex, reference for which can be found here, on page 6.






              share|cite|improve this answer

























                up vote
                0
                down vote













                This follows from a more general result of McMullen:



                Definition: The order of a cover $mathfrak{U}$ is the greatest integer $n$ so that the intersection of $n+1$ elements is nontrivial.



                Loosely stated theorem: Let $mathfrak{U}$ be an open cover of the $n$-torus. Suppose for that all components $V$ of the intersection $U_1 capdotscap U_k$ with $k leq n$, we have that the induced map by inclusion on homology has at most rank $(n-k)$, then $mathfrak{U}$ has order at least $n$.



                The basic ingredient for the proof is the Cech DeRham complex, reference for which can be found here, on page 6.






                share|cite|improve this answer























                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  This follows from a more general result of McMullen:



                  Definition: The order of a cover $mathfrak{U}$ is the greatest integer $n$ so that the intersection of $n+1$ elements is nontrivial.



                  Loosely stated theorem: Let $mathfrak{U}$ be an open cover of the $n$-torus. Suppose for that all components $V$ of the intersection $U_1 capdotscap U_k$ with $k leq n$, we have that the induced map by inclusion on homology has at most rank $(n-k)$, then $mathfrak{U}$ has order at least $n$.



                  The basic ingredient for the proof is the Cech DeRham complex, reference for which can be found here, on page 6.






                  share|cite|improve this answer












                  This follows from a more general result of McMullen:



                  Definition: The order of a cover $mathfrak{U}$ is the greatest integer $n$ so that the intersection of $n+1$ elements is nontrivial.



                  Loosely stated theorem: Let $mathfrak{U}$ be an open cover of the $n$-torus. Suppose for that all components $V$ of the intersection $U_1 capdotscap U_k$ with $k leq n$, we have that the induced map by inclusion on homology has at most rank $(n-k)$, then $mathfrak{U}$ has order at least $n$.



                  The basic ingredient for the proof is the Cech DeRham complex, reference for which can be found here, on page 6.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 5 '17 at 18:58









                  Andres Mejia

                  15.9k21445




                  15.9k21445






















                      up vote
                      0
                      down vote













                      In Mc Mullen paper "Minkowski's conjecture, well rounded lattices and topological dimension" it is referred as Corollary 2.2, and it is proved at p.5, as a trivial consequence of Theorem 2.1, which is the "Loosely stated theorem" as pointed out by Andres Mejia.
                      Sincerely, to me, is not clear how that theorem implies the corollary you are looking for, so I cannot help you with that.






                      share|cite|improve this answer

























                        up vote
                        0
                        down vote













                        In Mc Mullen paper "Minkowski's conjecture, well rounded lattices and topological dimension" it is referred as Corollary 2.2, and it is proved at p.5, as a trivial consequence of Theorem 2.1, which is the "Loosely stated theorem" as pointed out by Andres Mejia.
                        Sincerely, to me, is not clear how that theorem implies the corollary you are looking for, so I cannot help you with that.






                        share|cite|improve this answer























                          up vote
                          0
                          down vote










                          up vote
                          0
                          down vote









                          In Mc Mullen paper "Minkowski's conjecture, well rounded lattices and topological dimension" it is referred as Corollary 2.2, and it is proved at p.5, as a trivial consequence of Theorem 2.1, which is the "Loosely stated theorem" as pointed out by Andres Mejia.
                          Sincerely, to me, is not clear how that theorem implies the corollary you are looking for, so I cannot help you with that.






                          share|cite|improve this answer












                          In Mc Mullen paper "Minkowski's conjecture, well rounded lattices and topological dimension" it is referred as Corollary 2.2, and it is proved at p.5, as a trivial consequence of Theorem 2.1, which is the "Loosely stated theorem" as pointed out by Andres Mejia.
                          Sincerely, to me, is not clear how that theorem implies the corollary you are looking for, so I cannot help you with that.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Nov 6 '17 at 17:11









                          usr1123

                          11




                          11






















                              up vote
                              0
                              down vote













                              I think the statement follows from the theorem cited above in the following way:



                              Suppose there was a cover $(U_i)_{ileq k}$ such that $$H_1(V)rightarrow H_1(T^k)$$ has rank at most $i-1$ for each component $V$ of $U_i$. Let $Isubseteq lbrace 1,dots,krbrace$, $#I=l$. Then $j=min Ileq k-(l-1)$. Let $Vsubseteqbigcap_I U_i$ be a component of the corresponding $l$-intersection. Then there is another component $Wsubseteq U_j$ with $Vsubseteq W$. It follows $$mathrm{rk}(H_1(V)rightarrow H_1(T^k))leqmathrm{rk}(H_1(W)rightarrow H_1(T^k))leq j-1leq k-l.$$
                              Therefore, the order of $(U_i)_{ileq k}$ is at least $k$, which is impossible.






                              share|cite|improve this answer








                              New contributor




                              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                              Check out our Code of Conduct.


















                              • This doesn't improve this answer whatsoever.
                                – José Carlos Santos
                                Nov 20 at 10:55















                              up vote
                              0
                              down vote













                              I think the statement follows from the theorem cited above in the following way:



                              Suppose there was a cover $(U_i)_{ileq k}$ such that $$H_1(V)rightarrow H_1(T^k)$$ has rank at most $i-1$ for each component $V$ of $U_i$. Let $Isubseteq lbrace 1,dots,krbrace$, $#I=l$. Then $j=min Ileq k-(l-1)$. Let $Vsubseteqbigcap_I U_i$ be a component of the corresponding $l$-intersection. Then there is another component $Wsubseteq U_j$ with $Vsubseteq W$. It follows $$mathrm{rk}(H_1(V)rightarrow H_1(T^k))leqmathrm{rk}(H_1(W)rightarrow H_1(T^k))leq j-1leq k-l.$$
                              Therefore, the order of $(U_i)_{ileq k}$ is at least $k$, which is impossible.






                              share|cite|improve this answer








                              New contributor




                              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                              Check out our Code of Conduct.


















                              • This doesn't improve this answer whatsoever.
                                – José Carlos Santos
                                Nov 20 at 10:55













                              up vote
                              0
                              down vote










                              up vote
                              0
                              down vote









                              I think the statement follows from the theorem cited above in the following way:



                              Suppose there was a cover $(U_i)_{ileq k}$ such that $$H_1(V)rightarrow H_1(T^k)$$ has rank at most $i-1$ for each component $V$ of $U_i$. Let $Isubseteq lbrace 1,dots,krbrace$, $#I=l$. Then $j=min Ileq k-(l-1)$. Let $Vsubseteqbigcap_I U_i$ be a component of the corresponding $l$-intersection. Then there is another component $Wsubseteq U_j$ with $Vsubseteq W$. It follows $$mathrm{rk}(H_1(V)rightarrow H_1(T^k))leqmathrm{rk}(H_1(W)rightarrow H_1(T^k))leq j-1leq k-l.$$
                              Therefore, the order of $(U_i)_{ileq k}$ is at least $k$, which is impossible.






                              share|cite|improve this answer








                              New contributor




                              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                              Check out our Code of Conduct.









                              I think the statement follows from the theorem cited above in the following way:



                              Suppose there was a cover $(U_i)_{ileq k}$ such that $$H_1(V)rightarrow H_1(T^k)$$ has rank at most $i-1$ for each component $V$ of $U_i$. Let $Isubseteq lbrace 1,dots,krbrace$, $#I=l$. Then $j=min Ileq k-(l-1)$. Let $Vsubseteqbigcap_I U_i$ be a component of the corresponding $l$-intersection. Then there is another component $Wsubseteq U_j$ with $Vsubseteq W$. It follows $$mathrm{rk}(H_1(V)rightarrow H_1(T^k))leqmathrm{rk}(H_1(W)rightarrow H_1(T^k))leq j-1leq k-l.$$
                              Therefore, the order of $(U_i)_{ileq k}$ is at least $k$, which is impossible.







                              share|cite|improve this answer








                              New contributor




                              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                              Check out our Code of Conduct.









                              share|cite|improve this answer



                              share|cite|improve this answer






                              New contributor




                              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                              Check out our Code of Conduct.









                              answered Nov 20 at 10:35









                              Sundance Kid

                              1




                              1




                              New contributor




                              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                              Check out our Code of Conduct.





                              New contributor





                              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                              Check out our Code of Conduct.






                              Sundance Kid is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                              Check out our Code of Conduct.












                              • This doesn't improve this answer whatsoever.
                                – José Carlos Santos
                                Nov 20 at 10:55


















                              • This doesn't improve this answer whatsoever.
                                – José Carlos Santos
                                Nov 20 at 10:55
















                              This doesn't improve this answer whatsoever.
                              – José Carlos Santos
                              Nov 20 at 10:55




                              This doesn't improve this answer whatsoever.
                              – José Carlos Santos
                              Nov 20 at 10:55


















                               

                              draft saved


                              draft discarded



















































                               


                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function () {
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2505231%2ftopology-of-the-torus%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

                              Wiesbaden

                              Marschland

                              Dieringhausen