# Proof of the presence of places where symmetries cannot exist

3r3195. 3r3-31.

in support of free speech on campus. But before becoming a university president, he was a mathematician. And a lot of time after he left serious research, the research plan he launched finally gives his results. 3r3183. 3r3195. proved the Zimmer hypothesis associated with the circumstances in which geometric spaces have symmetries of a certain type. Their proof has become one of the greatest mathematical advances in recent years. It puts an end to the question that stood before Zimmer during his intense mental activity in the late 1970s and early 1980s. 3r3183. 3r3195. 3r3183. 3r3195. “I would say that for five years I went to bed with thoughts about this task every night, so I was obsessed with it, and it’s great to watch how people solved it,” said Zimmer. 3r3183. 3r3195. 3r3183. 3r3195. Usually, the larger the geometric dimension space, the more symmetries can be in it. This can be represented by studying a circle that exists on a two-dimensional plane, and a ball that extends in three dimensions: there are more ways to rotate a ball than methods to rotate a circle. Additional ball measurements create additional symmetries. 3r3183. 3r3195. 3r3183. 3r3195. Zimmer's hypothesis refers to the symmetries of a special kind, known as high-ranking grids. She asks whether the measurement of geometric space limits the use of symmetries of this type. The authors of the new work - Aaron Brown and 3r3341. Sebastian Hurtado-Salazar

from the University of Chicago and 3r34343. David Fisher

from Indiana University –– they showed that when the number of measurements is less than a certain specific symmetries is not observed. Thus, they proved the correctness of the Zimmer hypothesis. 3r3183. 3r3195. 3r3183. 3r3195. 3r3183. 3r3195. Symmetry is one of the first geometrical concepts that children encounter in mathematics. With their own hands, they will learn that they can rotate, turn over and shift the form, and eventually get the same form with which they started. Preserving the shape of an object as a result of changes responds with a certain inner satisfaction - this is an allusion to the presence of a deeper order in the Universe. 3r3183. 3r3195. 3r3183. 3r3195. Mathematicians have their own formal language for studying symmetry. It gives them the opportunity to talk in various terms about various symmetries that are applicable in a given geometric space. 3r3183. 3r3195. 3r3183. 3r3195. A square, for example, has eight symmetries - eight ways to flip or turn it, again getting a square. The circle can be rotated by any number of degrees; She has an infinite number of symmetries. Mathematicians collect all the symmetries of a given geometric object, or space, and pack them into a “group”. 3r3183. 3r3195. 3r3183. 3r3195. Groups are interesting in their own right. They often appear as a result of studying certain geometrical spaces, but sometimes they also appear in a completely unconnected context with geometry. For example, groups can form numerical sets (for example, there is a certain symmetry in adding 5 or subtracting 5 from a number). 3r3183. 3r3195. 3r3183. 3r3195. “A group, in principle, can appear as a symmetry of completely different things,” said Zimmer. 3r3183. 3r3195. 3r3183. 3r3195. There are more exotic types of symmetry than those that we learn in school. Consider, for example, lattice symmetry. The simplest grid is a two-dimensional grid. On the plane, the grid can be moved up, down, left, right to any number of squares, and get a grid that looks exactly like the original. You can also reflect the grid through any number of individual cells. Spaces with lattices possess an infinite number of different symmetries of lattices. 3r3183. 3r3195. 3r3183. 3r3195. 3r33939. 3r3183. 3r3195. 3r3183. 3r3195. Grilles can exist in any number of dimensions. In three-dimensional space, the lattice may consist of cubes, and not of squares. In four or more dimensions, the grid cannot be imagined anymore, but it works in the same way; mathematicians can describe it exactly. Groups of interest to the Zimmer hypothesis include “higher rank” grids, or grids in certain spaces of higher dimensions. “This strange lattice would be very beautiful if it could be seen, even if it is not given to me,” said Hurtado-Salazar. “It seems to me that looking at her would be very nice.” 3r3183. 3r3195. 3r3183. 3r3195. In the 20th century, mathematicians discovered these groups in various conditions — not only in geometry, but also in number theory, logic, and computer science. Opening new groups, it is logical to ask the question - what kind of spaces have such sets of symmetries? 3r3183. 3r3195. 3r3183. 3r3195. Sometimes groups are obviously impossible to match with space. One can quickly understand that the symmetry group of a circle cannot be applied to a square. Turn the square by 10 degrees and you will not get the original square. But a mixture of a group with an infinite number of symmetries and a space with many dimensions makes it difficult to determine the applicability of the group. 3r3183. 3r3195. 3r3183. 3r3195. “As we move to a more complex group in more dimensions,” said Zimmer, “these issues become very complicated.” 3r3183. 3r3195. 3r3183. 3r3195. 3r3113. Indirect Link

3r3183. 3r3195. Imagine symmetry, we represent the rotation of the whole form - for example, a square rotated 90 degrees. But at the basic level, symmetry depends on moving points. Symmetric transformation of space means that you need to take each of its points and move it to some other point. In this sense, turning a square by 90 degrees actually means taking every point of a square, and turning it 90 degrees so that it is not on the edge from which it started. 3r3183. 3r3195. 3r3183. 3r3195. 3r3183. 3r3195. 3r3183. 3r3195. The task of moving points can be solved more or less strictly. The symmetrical transformations most familiar to us — the reflection of a square relative to a diagonal or its rotation by 90 degrees — are very strict. Strict in the sense that they do not confuse points. The points that were vertices before the reflection remain vertices after (they just become different vertices), and the points that make up the direct edges after the reflection still make up the straight edges (just different ones). 3r3183. 3r3195. 3r3183. 3r3195. There are less strict, more flexible types of symmetric transformations, and they are interesting in the context of the Zimmer hypothesis. In such transformations, points change their organization more strongly; they do not necessarily retain their previous connections with each other after transformation. For example, you can shift each point of a square by three units of length around the perimeter of a square — this satisfies the basic requirements of a symmetric transformation, that is, simply shifting each point in space to another place. Aaron Brown, the co-author of the proof, described how these, freer types of transformations might look in the context of the ball. 3r3183. 3r3195. 3r3183. 3r3195. “You can take the north and south poles and twist them in opposite directions. Then the distances between the points will increase, ”said Brown. 3r3183. 3r3195. 3r3183. 3r3195. In the case of a grid, instead of simply shifting it along a plane, you can bend it, stretch it in some places and compress it in others, so that the transformed mesh no longer overlaps the original one. Such transformations are less strict, and they are called 3r3142. by diffeomorphisms

. 3r3183. 3r3195. 3r3183. 3r3195. 3r3148. 3r3183. 3r3195. 3r3183. 3r3195. Zimmer had good reasons to use this less stringent version of symmetry in his hypothesis. The higher-order special grids related to this hypothesis were first studied in the 1960s, Grigory Alexandrovich Margulis who got 3r3155 for his work. Fields premium 3r3156. . Margulis has compiled a complete description of what kind of spaces can be transformed with the help of these higher-order grids, if only strict transformations are allowed. 3r3183. 3r3195. 3r3183. 3r3195. Zimmer’s hypothesis was a natural continuation of Margulis’s work. It begins with a list of spaces on which higher-level grids can work — this list was discovered by Margulis — and asks if this sheet is expanding, if lattices are allowed to have less stringent transformations. 3r3183. 3r3195. 3r3183. 3r3195. In the new work, three mathematicians proved that weakening the definition of symmetry does not change the scope of the application of symmetries of higher-order lattices. Even if gratings are allowed to be very irregular transformations - to shift, bend, stretch - the grids still have a hard limit to the scope. 3r3183. 3r3195. 3r3183. 3r3195. “After adding such flexibility to the task condition, intuitively, of course, it seems that the grids will be able to act more widely. Therefore, it turns out to be surprising that in reality the answer will be “no” - in some cases they cannot, ”said Fisher. 3r3183. 3r3195. 3r3183. 3r3195. Mathematicians have established exact correspondences between the dimension of space and the dimension, or rank, of lattices, for lattices capable of playing the role of symmetry in a given space. In general, they showed that the higher the rank of the lattice, the more measurement is necessary for the space that can accommodate it. Even with considerable flexibility in the transformation of space, the transformation of high-ranking grids is limited to higher dimensions. 3r3183. 3r3195. 3r3183. 3r3195. “This suggests that there is something very fundamental in the structure of spaces, from which follows their ability to accommodate such transformations,” said Wilkinson. 3r3183. 3r3195. 3r3183. 3r3195. Zimmer's hypothesis is just the first step to a larger program. Having dealt with it, the co-authors of the work imposed a gross restriction on the spaces in which high-ranking grids can be transformed. The next, more ambitious phase of work will be concentration on those spaces in which lattices can exist - and then the classification of all the different ways of transformation by the lattices of these spaces. 3r3183. 3r3195. 3r3183. 3r3195. “As a result, the program should be able to classify all these methods. There are many interesting issues outside of simply establishing the existence of certain places in which the grids cannot operate, ”said Zimmer. 3r3191. 3r3195. 3r3195. 3r3188. ! function (e) {function t (t, n) {if (! (n in e)) {for (var r, a = e.document, i = a.scripts, o = i.length; o-- ;) if (-1! == i[o].src.indexOf (t)) {r = i[o]; break} if (! r) {r = a.createElement ("script"), r.type = "text /jаvascript", r.async =! ? r.defer =! ? r.src = t, r.charset = "UTF-8"; var d = function () {var e = a.getElementsByTagName ("script")[0]; e.parentNode.insertBefore (r, e)}; "[object Opera]" == e.opera? a.addEventListener? a.addEventListener ("DOMContentLoaded", d,! 1): e.attachEvent ("onload", d ): d ()}}} t ("//mediator.mail.ru/script/2820404/"""_mediator") () (); 3r3189. 3r3195. 3r3191. 3r3195. 3r3195. 3r3195. 3r3195.

### A major mathematical achievement was the proof of Zimmer’s hypothesis, found by a small team of researchers

3r3183. 3r3195. 3r3183. 3r3195. 3r3183. 3r3195. The success of Robert Zimmer can be defined in different ways. As 3r315. President of the University of Chicago 3r3-3156. since 200? he hit the headlines, finding nine-digit amounts for funding and publishing 3-3317. Articlesin support of free speech on campus. But before becoming a university president, he was a mathematician. And a lot of time after he left serious research, the research plan he launched finally gives his results. 3r3183. 3r3195. proved the Zimmer hypothesis associated with the circumstances in which geometric spaces have symmetries of a certain type. Their proof has become one of the greatest mathematical advances in recent years. It puts an end to the question that stood before Zimmer during his intense mental activity in the late 1970s and early 1980s. 3r3183. 3r3195. 3r3183. 3r3195. “I would say that for five years I went to bed with thoughts about this task every night, so I was obsessed with it, and it’s great to watch how people solved it,” said Zimmer. 3r3183. 3r3195. 3r3183. 3r3195. Usually, the larger the geometric dimension space, the more symmetries can be in it. This can be represented by studying a circle that exists on a two-dimensional plane, and a ball that extends in three dimensions: there are more ways to rotate a ball than methods to rotate a circle. Additional ball measurements create additional symmetries. 3r3183. 3r3195. 3r3183. 3r3195. Zimmer's hypothesis refers to the symmetries of a special kind, known as high-ranking grids. She asks whether the measurement of geometric space limits the use of symmetries of this type. The authors of the new work - Aaron Brown and 3r3341. Sebastian Hurtado-Salazar

from the University of Chicago and 3r34343. David Fisher

from Indiana University –– they showed that when the number of measurements is less than a certain specific symmetries is not observed. Thus, they proved the correctness of the Zimmer hypothesis. 3r3183. 3r3195. 3r3183. 3r3195. 3r3183. 3r3195. Symmetry is one of the first geometrical concepts that children encounter in mathematics. With their own hands, they will learn that they can rotate, turn over and shift the form, and eventually get the same form with which they started. Preserving the shape of an object as a result of changes responds with a certain inner satisfaction - this is an allusion to the presence of a deeper order in the Universe. 3r3183. 3r3195. 3r3183. 3r3195. Mathematicians have their own formal language for studying symmetry. It gives them the opportunity to talk in various terms about various symmetries that are applicable in a given geometric space. 3r3183. 3r3195. 3r3183. 3r3195. A square, for example, has eight symmetries - eight ways to flip or turn it, again getting a square. The circle can be rotated by any number of degrees; She has an infinite number of symmetries. Mathematicians collect all the symmetries of a given geometric object, or space, and pack them into a “group”. 3r3183. 3r3195. 3r3183. 3r3195. Groups are interesting in their own right. They often appear as a result of studying certain geometrical spaces, but sometimes they also appear in a completely unconnected context with geometry. For example, groups can form numerical sets (for example, there is a certain symmetry in adding 5 or subtracting 5 from a number). 3r3183. 3r3195. 3r3183. 3r3195. “A group, in principle, can appear as a symmetry of completely different things,” said Zimmer. 3r3183. 3r3195. 3r3183. 3r3195. There are more exotic types of symmetry than those that we learn in school. Consider, for example, lattice symmetry. The simplest grid is a two-dimensional grid. On the plane, the grid can be moved up, down, left, right to any number of squares, and get a grid that looks exactly like the original. You can also reflect the grid through any number of individual cells. Spaces with lattices possess an infinite number of different symmetries of lattices. 3r3183. 3r3195. 3r3183. 3r3195. 3r33939. 3r3183. 3r3195. 3r3183. 3r3195. Grilles can exist in any number of dimensions. In three-dimensional space, the lattice may consist of cubes, and not of squares. In four or more dimensions, the grid cannot be imagined anymore, but it works in the same way; mathematicians can describe it exactly. Groups of interest to the Zimmer hypothesis include “higher rank” grids, or grids in certain spaces of higher dimensions. “This strange lattice would be very beautiful if it could be seen, even if it is not given to me,” said Hurtado-Salazar. “It seems to me that looking at her would be very nice.” 3r3183. 3r3195. 3r3183. 3r3195. In the 20th century, mathematicians discovered these groups in various conditions — not only in geometry, but also in number theory, logic, and computer science. Opening new groups, it is logical to ask the question - what kind of spaces have such sets of symmetries? 3r3183. 3r3195. 3r3183. 3r3195. Sometimes groups are obviously impossible to match with space. One can quickly understand that the symmetry group of a circle cannot be applied to a square. Turn the square by 10 degrees and you will not get the original square. But a mixture of a group with an infinite number of symmetries and a space with many dimensions makes it difficult to determine the applicability of the group. 3r3183. 3r3195. 3r3183. 3r3195. “As we move to a more complex group in more dimensions,” said Zimmer, “these issues become very complicated.” 3r3183. 3r3195. 3r3183. 3r3195. 3r3113. Indirect Link

3r3183. 3r3195. Imagine symmetry, we represent the rotation of the whole form - for example, a square rotated 90 degrees. But at the basic level, symmetry depends on moving points. Symmetric transformation of space means that you need to take each of its points and move it to some other point. In this sense, turning a square by 90 degrees actually means taking every point of a square, and turning it 90 degrees so that it is not on the edge from which it started. 3r3183. 3r3195. 3r3183. 3r3195. 3r3183. 3r3195. 3r3183. 3r3195. The task of moving points can be solved more or less strictly. The symmetrical transformations most familiar to us — the reflection of a square relative to a diagonal or its rotation by 90 degrees — are very strict. Strict in the sense that they do not confuse points. The points that were vertices before the reflection remain vertices after (they just become different vertices), and the points that make up the direct edges after the reflection still make up the straight edges (just different ones). 3r3183. 3r3195. 3r3183. 3r3195. There are less strict, more flexible types of symmetric transformations, and they are interesting in the context of the Zimmer hypothesis. In such transformations, points change their organization more strongly; they do not necessarily retain their previous connections with each other after transformation. For example, you can shift each point of a square by three units of length around the perimeter of a square — this satisfies the basic requirements of a symmetric transformation, that is, simply shifting each point in space to another place. Aaron Brown, the co-author of the proof, described how these, freer types of transformations might look in the context of the ball. 3r3183. 3r3195. 3r3183. 3r3195. “You can take the north and south poles and twist them in opposite directions. Then the distances between the points will increase, ”said Brown. 3r3183. 3r3195. 3r3183. 3r3195. In the case of a grid, instead of simply shifting it along a plane, you can bend it, stretch it in some places and compress it in others, so that the transformed mesh no longer overlaps the original one. Such transformations are less strict, and they are called 3r3142. by diffeomorphisms

. 3r3183. 3r3195. 3r3183. 3r3195. 3r3148. 3r3183. 3r3195. 3r3183. 3r3195. Zimmer had good reasons to use this less stringent version of symmetry in his hypothesis. The higher-order special grids related to this hypothesis were first studied in the 1960s, Grigory Alexandrovich Margulis who got 3r3155 for his work. Fields premium 3r3156. . Margulis has compiled a complete description of what kind of spaces can be transformed with the help of these higher-order grids, if only strict transformations are allowed. 3r3183. 3r3195. 3r3183. 3r3195. Zimmer’s hypothesis was a natural continuation of Margulis’s work. It begins with a list of spaces on which higher-level grids can work — this list was discovered by Margulis — and asks if this sheet is expanding, if lattices are allowed to have less stringent transformations. 3r3183. 3r3195. 3r3183. 3r3195. In the new work, three mathematicians proved that weakening the definition of symmetry does not change the scope of the application of symmetries of higher-order lattices. Even if gratings are allowed to be very irregular transformations - to shift, bend, stretch - the grids still have a hard limit to the scope. 3r3183. 3r3195. 3r3183. 3r3195. “After adding such flexibility to the task condition, intuitively, of course, it seems that the grids will be able to act more widely. Therefore, it turns out to be surprising that in reality the answer will be “no” - in some cases they cannot, ”said Fisher. 3r3183. 3r3195. 3r3183. 3r3195. Mathematicians have established exact correspondences between the dimension of space and the dimension, or rank, of lattices, for lattices capable of playing the role of symmetry in a given space. In general, they showed that the higher the rank of the lattice, the more measurement is necessary for the space that can accommodate it. Even with considerable flexibility in the transformation of space, the transformation of high-ranking grids is limited to higher dimensions. 3r3183. 3r3195. 3r3183. 3r3195. “This suggests that there is something very fundamental in the structure of spaces, from which follows their ability to accommodate such transformations,” said Wilkinson. 3r3183. 3r3195. 3r3183. 3r3195. Zimmer's hypothesis is just the first step to a larger program. Having dealt with it, the co-authors of the work imposed a gross restriction on the spaces in which high-ranking grids can be transformed. The next, more ambitious phase of work will be concentration on those spaces in which lattices can exist - and then the classification of all the different ways of transformation by the lattices of these spaces. 3r3183. 3r3195. 3r3183. 3r3195. “As a result, the program should be able to classify all these methods. There are many interesting issues outside of simply establishing the existence of certain places in which the grids cannot operate, ”said Zimmer. 3r3191. 3r3195. 3r3195. 3r3188. ! function (e) {function t (t, n) {if (! (n in e)) {for (var r, a = e.document, i = a.scripts, o = i.length; o-- ;) if (-1! == i[o].src.indexOf (t)) {r = i[o]; break} if (! r) {r = a.createElement ("script"), r.type = "text /jаvascript", r.async =! ? r.defer =! ? r.src = t, r.charset = "UTF-8"; var d = function () {var e = a.getElementsByTagName ("script")[0]; e.parentNode.insertBefore (r, e)}; "[object Opera]" == e.opera? a.addEventListener? a.addEventListener ("DOMContentLoaded", d,! 1): e.attachEvent ("onload", d ): d ()}}} t ("//mediator.mail.ru/script/2820404/"""_mediator") () (); 3r3189. 3r3195. 3r3191. 3r3195. 3r3195. 3r3195. 3r3195.