羅伯特·齊默(robert zimme)證明了低維度空間的一些對稱性質不存在。
2017年，一個三位數學家組成的團隊解決了名為齊默猜想的問題，這個問題主要是研究在某些情形下幾何空間會顯示出某種特定的對稱性。他們的證明是近幾年來最大的數學成就之一。這個問題是齊默在20世紀70年代後期到20世紀80年代前期學術活躍期間提出的，現如今這個問題得到了解決。
一般而言，我們通常認為幾何空間的維度越多，對稱性特征也就越多。比如，你可以去比較二維平麵上的圓和三維空間中的球：旋轉球的方法就比旋轉圓的方法要多得多。這就是因為球的額外維度使得球有了更多的對稱性。
齊默猜想關注點主要是在某種特定類型的對稱性，這通常被稱之為高階格(higher-rankttice)。這個猜想關注了以下問題：一個幾何空間的維度是否會限製對這些類型對稱性產生。
芝加哥大學的阿倫·布朗教授(aaron brown)。
賽巴斯提安·烏爾塔多·薩拉查教授(sebastian hurtado-szar)。
印第安納大學的大衛·費希爾教授(david fisher)的最新研究表明，隻要低於某一維度，某些特殊的對稱性就不可能存在。
這也就證明了齊默猜想是正確的。
對稱性是人們從孩提時期的數學中便接觸到的幾何學概念。通過動手分析，孩子們便知道由於對稱性，圖形可以旋轉、翻轉和平移，最後得到的圖形和最開始是一致的。圖形的這種在變化中保持不變的特性滿足了某種內在特點——它揭示了宇宙法則中的某種深刻涵義。
在數學中，數學家們用自己特定的規範性語言來研究對稱性。這種語言為他們提供了非常準確的方法來描述在給定的幾何空間中所有不同的對稱性。
比如說，正方形有八個對稱變換——也就是說有八種方法可以將正方形翻轉、旋轉成原來的圖形。而對於圓來說，圓按任意角度旋轉之後仍然是圓；它有無數個對稱變換。數學家把特定幾何對象或空間所具有的對稱性全部歸類在一起，稱之為“群”。
群原本就是非常有價值的研究對象。群通常會出現在特定幾何空間的研究中，但是他們也會出現在非幾何領域中。比如，數的集合也可以組成群。（比如說：考慮如下的對稱性，例如給一個數+5或-5。）
齊默說：“理論上，各類事物的對稱性都可以用群來表達。”
現在我們討論的對稱性和我們在小學時所學到的相差甚遠。比如，參考格的對稱性。最簡單的格就是一個二維網格。在平麵上，你可以將這塊網格往上、下、左、右的方向平移任意方塊的距離，然後得到一個它完全一樣大小的網格。你還可以對網格內任何單獨的正方形進行對稱變換。這種有類似格的空間，一般而言會有無窮個多種多樣的對稱變換。
這種可以存在任何維度的空間裏。在三維空間裏，格就是一個個正方體，而不是正方形。在四維或更高維度的空間裏，我們就無法畫出這種格了，但是性質是一樣的。數學家可以用自己的語言進行準確描述。齊默猜想的關注對象主要就是這些特定維度的。“如果你可以看到這些網格，這些奇怪的格會特別美麗。盡管我看不到。”烏爾塔多-薩拉查教授說，“我猜想如果它們能展現在我們眼前，他們的形狀一定特別好看。”
齊默說：“由於在高維度的情況下，你由此得到的群會愈發複雜，問題的解決也就變得更加困難。”
當我們分析對稱性的時候，我們所想象到的是，整個圖形正在進行旋轉，就像一個正方形按順時針方向轉90°。在一個比較微觀的層級中去觀察，對稱性與點的運動有密切的聯係。按對稱性將空間進行變換意味著將空間上的每一個點移動到空間的另外一處。在這種視角下，將正方形順時針旋轉90°的真正意義是：考慮正方形上的每一個點，然後將它順時針旋轉90°，這樣每個點就移動到了新的邊上，這些點最終出現在與初始位置不同的邊上。
或多或少的，我們都是用剛性的方式來進行移動。最熟悉的一些對稱操作——通過對角線進行鏡麵變換，或者旋轉90°——都非常剛性的。他們之所以剛性的是因為他們並沒有對點進行扭曲。鏡麵變換前在頂角上的點在變換以後還是頂角上的點（隻不過是不同的頂角），鏡麵變換前在邊上的點在變換以後還是邊上的點（隻不過是不同的邊上）。
但是，在實際上，還有很多更為靈活的對稱變換類型，這也是齊默猜想所感興趣的地方。在這些變換中，點會被最大限度的重組；他們在變換的過程當中不會完全遵循他們在變換前的位置關係。例如你可以將正方形的每一個點都圍繞著移動三個單位——這還是滿足了一個對稱變換的基本要求，它將空間上的每一個點都移動到了新的位置。新證明的合作者艾倫·布朗借助球的模型來解釋這種不受約束的變換方式。
布朗稱：“你可以試著將球的南北兩極向相反方向拉扯，球上的距離和點之間的距離會加大。”
當你在討論一個網格時，除了平移平麵中的網格，你還可以對網格進行扭曲，或者在某些地方進行扭曲，而在其他地方進行拉伸，這就使得轉換後的網格不再與原來的網格完全重合。這些變換就沒有那麽剛性了，他們被稱之為微分同胚。
在他的猜想當中，齊默有非常好的理由認為這種更為柔性的變換是有意義的。在20世紀60年代，格裏戈裏·馬爾古利斯(grigory margulis)對在齊默的猜想當中涉及的這種高維格進行了研究。馬爾古利斯也因為這項工作由此獲得了菲爾茲獎。當要求隻進行剛性的變換時，哪些空間可以由這些高維格轉換而來，馬爾古利斯給出了這種空間所有滿足的條件。
因此，齊默猜想是對馬爾古利斯研究的自然延伸。他便是開始於高維格架構變換得以實現的空間——馬爾古利斯所找到的空間——並持續深入探討如果允許不那麽剛性的變換，也就是在放寬變換的條件之後，這個集合是否會進一步擴張。
在他們新的研究當中，三位數學家們證明了當高維格的放寬對對稱性的定義以後，廣義的對稱性特征並沒有本質變化。即使格進行不規則的空間變換時——比如剪切、彎曲、拉伸——高維格仍然被限製在它們所在的空間中。
費希爾說：“由於在這個問題上加了那麽多的靈活性之後，你就有了一種直觀的感受，這些高維格群能作用於任何空間上。所以，我們很驚訝的發現，答案是不對的。在某種情況下，他們不能作用於任何空間上。”
這幾位數學家們在空間的維度和能作用在其上的高維格維度（或秩）之間建立了聯係。他們證明了在通常情況下格的維度越高，空間的維度也應該越高，這樣才能對格的對稱性產生作用。在高維空間裏，即使有非常好的空間變換靈活性，高維格的變換依舊受到高維空間的限製。
威爾金森說：“這就告訴了我們，空間將物體組合在一起會有一些非常基礎的特性，這種特性使得他們能夠產生這些變換。”
齊默猜想隻是解決一個大問題的第一步。通過解決這個猜想，這個問題的研究者們對這些高維格能做用的空間給出了一個粗略的限製條件。下一步是更加宏偉的計劃，研究者將關注在這些空間中格是如何出現的，接著將這些格在空間中變換的方法進行分類。
齊默說：“這項計劃最後是要分清楚所有這些方法。在你目前所看到的問題之外還有更有趣的，有一些空間中，格是不能保持對稱性的。但有趣的問題則遠遠超出了這些內容。”
2017年，一個三位數學家組成的團隊解決了名為齊默猜想的問題，這個問題主要是研究在某些情形下幾何空間會顯示出某種特定的對稱性。他們的證明是近幾年來最大的數學成就之一。這個問題是齊默在20世紀70年代後期到20世紀80年代前期學術活躍期間提出的，現如今這個問題得到了解決。
一般而言，我們通常認為幾何空間的維度越多，對稱性特征也就越多。比如，你可以去比較二維平麵上的圓和三維空間中的球：旋轉球的方法就比旋轉圓的方法要多得多。這就是因為球的額外維度使得球有了更多的對稱性。
齊默猜想關注點主要是在某種特定類型的對稱性，這通常被稱之為高階格(higher-rankttice)。這個猜想關注了以下問題：一個幾何空間的維度是否會限製對這些類型對稱性產生。
芝加哥大學的阿倫·布朗教授(aaron brown)。
賽巴斯提安·烏爾塔多·薩拉查教授(sebastian hurtado-szar)。
印第安納大學的大衛·費希爾教授(david fisher)的最新研究表明，隻要低於某一維度，某些特殊的對稱性就不可能存在。
這也就證明了齊默猜想是正確的。
對稱性是人們從孩提時期的數學中便接觸到的幾何學概念。通過動手分析，孩子們便知道由於對稱性，圖形可以旋轉、翻轉和平移，最後得到的圖形和最開始是一致的。圖形的這種在變化中保持不變的特性滿足了某種內在特點——它揭示了宇宙法則中的某種深刻涵義。
在數學中，數學家們用自己特定的規範性語言來研究對稱性。這種語言為他們提供了非常準確的方法來描述在給定的幾何空間中所有不同的對稱性。
比如說，正方形有八個對稱變換——也就是說有八種方法可以將正方形翻轉、旋轉成原來的圖形。而對於圓來說，圓按任意角度旋轉之後仍然是圓；它有無數個對稱變換。數學家把特定幾何對象或空間所具有的對稱性全部歸類在一起，稱之為“群”。
群原本就是非常有價值的研究對象。群通常會出現在特定幾何空間的研究中，但是他們也會出現在非幾何領域中。比如，數的集合也可以組成群。（比如說：考慮如下的對稱性，例如給一個數+5或-5。）
齊默說：“理論上，各類事物的對稱性都可以用群來表達。”
現在我們討論的對稱性和我們在小學時所學到的相差甚遠。比如，參考格的對稱性。最簡單的格就是一個二維網格。在平麵上，你可以將這塊網格往上、下、左、右的方向平移任意方塊的距離，然後得到一個它完全一樣大小的網格。你還可以對網格內任何單獨的正方形進行對稱變換。這種有類似格的空間，一般而言會有無窮個多種多樣的對稱變換。
這種可以存在任何維度的空間裏。在三維空間裏，格就是一個個正方體，而不是正方形。在四維或更高維度的空間裏，我們就無法畫出這種格了，但是性質是一樣的。數學家可以用自己的語言進行準確描述。齊默猜想的關注對象主要就是這些特定維度的。“如果你可以看到這些網格，這些奇怪的格會特別美麗。盡管我看不到。”烏爾塔多-薩拉查教授說，“我猜想如果它們能展現在我們眼前，他們的形狀一定特別好看。”
齊默說：“由於在高維度的情況下，你由此得到的群會愈發複雜，問題的解決也就變得更加困難。”
當我們分析對稱性的時候，我們所想象到的是，整個圖形正在進行旋轉，就像一個正方形按順時針方向轉90°。在一個比較微觀的層級中去觀察，對稱性與點的運動有密切的聯係。按對稱性將空間進行變換意味著將空間上的每一個點移動到空間的另外一處。在這種視角下，將正方形順時針旋轉90°的真正意義是：考慮正方形上的每一個點，然後將它順時針旋轉90°，這樣每個點就移動到了新的邊上，這些點最終出現在與初始位置不同的邊上。
或多或少的，我們都是用剛性的方式來進行移動。最熟悉的一些對稱操作——通過對角線進行鏡麵變換，或者旋轉90°——都非常剛性的。他們之所以剛性的是因為他們並沒有對點進行扭曲。鏡麵變換前在頂角上的點在變換以後還是頂角上的點（隻不過是不同的頂角），鏡麵變換前在邊上的點在變換以後還是邊上的點（隻不過是不同的邊上）。
但是，在實際上，還有很多更為靈活的對稱變換類型，這也是齊默猜想所感興趣的地方。在這些變換中，點會被最大限度的重組；他們在變換的過程當中不會完全遵循他們在變換前的位置關係。例如你可以將正方形的每一個點都圍繞著移動三個單位——這還是滿足了一個對稱變換的基本要求，它將空間上的每一個點都移動到了新的位置。新證明的合作者艾倫·布朗借助球的模型來解釋這種不受約束的變換方式。
布朗稱：“你可以試著將球的南北兩極向相反方向拉扯，球上的距離和點之間的距離會加大。”
當你在討論一個網格時，除了平移平麵中的網格，你還可以對網格進行扭曲，或者在某些地方進行扭曲，而在其他地方進行拉伸，這就使得轉換後的網格不再與原來的網格完全重合。這些變換就沒有那麽剛性了，他們被稱之為微分同胚。
在他的猜想當中，齊默有非常好的理由認為這種更為柔性的變換是有意義的。在20世紀60年代，格裏戈裏·馬爾古利斯(grigory margulis)對在齊默的猜想當中涉及的這種高維格進行了研究。馬爾古利斯也因為這項工作由此獲得了菲爾茲獎。當要求隻進行剛性的變換時，哪些空間可以由這些高維格轉換而來，馬爾古利斯給出了這種空間所有滿足的條件。
因此，齊默猜想是對馬爾古利斯研究的自然延伸。他便是開始於高維格架構變換得以實現的空間——馬爾古利斯所找到的空間——並持續深入探討如果允許不那麽剛性的變換，也就是在放寬變換的條件之後，這個集合是否會進一步擴張。
在他們新的研究當中，三位數學家們證明了當高維格的放寬對對稱性的定義以後，廣義的對稱性特征並沒有本質變化。即使格進行不規則的空間變換時——比如剪切、彎曲、拉伸——高維格仍然被限製在它們所在的空間中。
費希爾說：“由於在這個問題上加了那麽多的靈活性之後，你就有了一種直觀的感受，這些高維格群能作用於任何空間上。所以，我們很驚訝的發現，答案是不對的。在某種情況下，他們不能作用於任何空間上。”
這幾位數學家們在空間的維度和能作用在其上的高維格維度（或秩）之間建立了聯係。他們證明了在通常情況下格的維度越高，空間的維度也應該越高，這樣才能對格的對稱性產生作用。在高維空間裏，即使有非常好的空間變換靈活性，高維格的變換依舊受到高維空間的限製。
威爾金森說：“這就告訴了我們，空間將物體組合在一起會有一些非常基礎的特性，這種特性使得他們能夠產生這些變換。”
齊默猜想隻是解決一個大問題的第一步。通過解決這個猜想，這個問題的研究者們對這些高維格能做用的空間給出了一個粗略的限製條件。下一步是更加宏偉的計劃，研究者將關注在這些空間中格是如何出現的，接著將這些格在空間中變換的方法進行分類。
齊默說：“這項計劃最後是要分清楚所有這些方法。在你目前所看到的問題之外還有更有趣的，有一些空間中，格是不能保持對稱性的。但有趣的問題則遠遠超出了這些內容。”