Local rigidity

Local rigidity theorems in the theory of discrete subgroups of Lie groups are results which show that small deformations of certain such subgroups are always trivial. It is different from Mostow rigidity and weaker (but holds more frequently) than superrigidity.

History

The first such theorem was proven by Atle Selberg for co-compact discrete subgroups of the unimodular groups .[1] Shortly afterwards a similar statement was proven by Eugenio Calabi in the setting of fundamental groups of compact hyperbolic manifolds. Finally, the theorem was extended to all co-compact subgroups of semisimple Lie groups by André Weil.[2][3] The extension to non-cocompact lattices was made later by Howard Garland and Madabusi Santanam Raghunathan.[4] The result is now sometimes referred to as Calabi—Weil (or just Weil) rigidity.

Statement

Deformations of subgroups

Let be a group generated by a finite number of elements and a Lie group. Then the map defined by is injective and this endows with a topology induced by that of . If is a subgroup of then a deformation of is any element in . Two representations are said to be conjugated if there exists a such that for all . See also character variety.

Lattices in simple groups not of type A1 or A1 × A1

The simplest statement is when is a lattice in a simple Lie group and the latter is not locally isomorphic to or and (this means that its Lie algebra is not that of one of these two groups).

There exists a neighbourhood in of the inclusion such that any is conjugated to .

Whenever such a statement holds for a pair we will say that local rigidity holds.

Lattices in

Local rigidity holds for cocompact lattices in . A lattice in which is not cocompact has nontrivial deformations coming from Thurston's hyperbolic Dehn surgery theory. However, if one adds the restriction that a representation must send parabolic elements in to parabolic elements then local rigidity holds.

Lattices in

In this case local rigidity never holds. For cocompact lattices a small deformation remains a cocompact lattice but it may not be conjugated to the original one (see Teichmüller space for more detail). Non-cocompact lattices are virtually free and hence have non-lattice deformations.

Semisimple Lie groups

Local rigidity holds for lattices in semisimple Lie groups providing the latter have no factor of type A1 (i.e. locally isomorphic to or ) or the former is irreducible.

Other results

There are also local rigidity results where the ambient group is changed, even in case where superrigidity fails. For example, if is a lattice in the unitary group and then the inclusion is locally rigid.[5]

A uniform lattice in any compactly generated topological group is topologically locally rigid, in the sense that any sufficiently small deformation of the inclusion is injective and is a uniform lattice in . An irreducible uniform lattice in the isometry group of any proper geodesically complete -space not isometric to the hyperbolic plane and without Euclidean factors is locally rigid.[6]

Proofs of the theorem

Weil's original proof is by relating deformations of a subgroup in to the first cohomology group of with coefficients in the Lie algebra of , and then showing that this cohomology vanishes for cocompact lattices when has no simple factor of absolute type A1. A more geometric proof which also work in the non-compact cases uses Charles Ehresmann (and William Thurston's) theory of structures.[7]

gollark: Without it working correctly, copper ore etc. will be gone.
gollark: CoFH World is a dependency for Thermal Foundation handling worldgen.
gollark: Cult of the Full Hub.
gollark: <@!330678593904443393> Worldgen WORKS but is incompatible with CoFH World.
gollark: ```File applied-energistics-2 [rv6-stable-3].jar already downloaded.File autoreglib [1.3-20].jar already downloaded.File baubles [1.12-1.5.2].jar already downloaded.File bitcoin [1.12.2-1.1.0].jar already downloaded.File botania [r1.10-357].jar already downloaded.File codechicken-lib [1.12-3.2.2.353].jar already downloaded.File cofh-core [1.12.2-4.6.1.22].jar already downloaded.File cofh-world [1.12.2-1.3.0.6].jar already downloaded.File computercraft [1.80pr1.10].jar already downloaded.File cubic-chunks [1.12.2-0.0.902.0].jar already downloaded.File cubic-chunks-worldgen [1.12.2-0.0.33.0].jar already downloaded.File jei [1.12.2-4.13.1.222].jar already downloaded.File opencomputers [1.12.2-1.7.2.67].jar already downloaded.File plethora-peripherals [1.12.2-1.1.13].jar already downloaded.File psi [r1.1-59].jar already downloaded.File quark [r1.5-130].jar already downloaded.File redstone-flux [1.12.2-2.1.0.6].jar already downloaded.File thermal-dynamics [1.1.2-2.5.3.16].jar already downloaded.File thermal-expansion [1.1.2-5.5.2.39].jar already downloaded.File thermal-foundation [1.1.2-2.6.1.22].jar already downloaded.File thermal-innovation [1.1.2-0.3.1.8].jar already downloaded.File tis-3d [1.12.2-1.5.0.34].jar already downloaded.File vanillafix [1.0.9-97].jar already downloaded.File wawla [1.12.2-2.5.264].jar already downloaded.File worldedit [mc1.12-6.1.8].jar already downloaded.File xaero-minimap [1.15.8].jar already downloaded.██████████████████████████████████████░░ ❘ moar-boats ❘ 96% ❘ 1s ❘ 1.91MB/2MB ❘ 379.45kB/sMod download complete. The modpack recommends Forge version 14.23.5.2768.```Progress bars: the epitome of advanced technology. Please ignore the slightly broken number there.

References

  1. Selberg, Atle (1960). "On discontinuous groups in higher-dimensional symmetric spaces". Contributions to functional theory. Tata Institut, Bombay. pp. 100–110.
  2. Weil, André (1960), "On discrete subgroups of Lie groups", Annals of Mathematics, Second Series, 72: 369–384, doi:10.2307/1970140, ISSN 0003-486X, JSTOR 1970140, MR 0137792
  3. Weil, André (1962), "On discrete subgroups of Lie groups. II", Annals of Mathematics, Second Series, 75: 578–602, doi:10.2307/1970212, ISSN 0003-486X, JSTOR 1970212, MR 0137793
  4. Garland, Howard; Raghunathan, M.~S. (1970). "Fundamental domains for lattices in R-rank 1 Lie groups". Annals of Mathematics. 92: 279–326. doi:10.2307/1970838.
  5. Goldman, William; Millson, John (1987), "Local rigidity of discrete groups acting on complex hyperbolic space", Inventiones Mathematicae, 88: 495–520, Bibcode:1987InMat..88..495G, doi:10.1007/bf01391829
  6. Gelander, Tsachik; Levit, Arie (2017), "Local rigidity of uniform lattices", Commentarii Mathematici Helvetici, arXiv:1605.01693
  7. Bergeron, Nicolas; Gelander, Tsachik (2004). "A note on local rigidity". Geometriae Dedicata. Kluwer. 107: 111–131. arXiv:1702.00342. doi:10.1023/b:geom.0000049122.75284.06.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.