Гипотеза Шона – Яу
В математике гипотеза Шона-Яу — опровергнутая гипотеза в гиперболической геометрии , названная в честь математиков Ричарда Шона и Шинг-Тунг Яу .
Он был вдохновлен теоремой Эрхарда Хайнца (1952). Одним из методов опровержения является использование поверхностей Шерка , использованных Гарольдом Розенбергом и Паскалем Коллином (2006).
Постановка и формулировка гипотезы
[ редактировать ]Позволять — комплексная плоскость, рассматриваемая как риманово многообразие с обычной (плоской) римановой метрикой. Позволять обозначим гиперболическую плоскость , т.е. единичный круг
наделенный гиперболической метрикой
Э. Хайнц в 1952 году доказал, что не может существовать гармонического диффеоморфизма.
В свете этой теоремы Шен предположил, что не существует гармонического диффеоморфизма.
(Неясно, как имя Яу стало ассоциироваться с этой гипотезой: в неопубликованной переписке с Гарольдом Розенбергом и Шен, и Яу идентифицируют Шона как постулировавшего гипотезу). Гипотеза Шёна(-Яу) с тех пор была опровергнута.
Комментарии
[ редактировать ]Акцент делается на существовании или отсутствии гармонического диффеоморфизма и на том, что это свойство является «односторонним». Более подробно: предположим, что мы рассматриваем два римановых многообразия M и N (с их соответствующими метриками) и пишем
если существует диффеоморфизм M на N (в обычной терминологии M и N диффеоморфны). Писать
если существует гармонический диффеоморфизм M на N . Нетрудно показать, что будучи диффеоморфным) является отношением эквивалентности на объектах категории ( римановых многообразий. В частности, является симметричным отношением :
Можно показать, что гиперболическая плоскость и (плоская) комплексная плоскость действительно диффеоморфны:
поэтому вопрос в том, являются ли они «гармонически диффеоморфными». Однако, как показывают истинность теоремы Хайнца и ложность гипотезы Шёна – Яу, не является симметричным отношением:
Таким образом, «гармонически диффеоморфность» является гораздо более сильным свойством, чем просто диффеоморфность, и может быть «односторонним» отношением.
Ссылки
[ редактировать ]- Хайнц, Эрхард (1952). «О решениях уравнения минимальной площади». Новости академической науки Геттинген. Матем.-Физ. кл. Матем.-Физ.-Хим. Аббат . 1952 : 51–56.
- Коллин, Паскаль; Розенберг, Гарольд (2010). «Построение гармонических диффеоморфизмов и минимальных графов». Энн. математики . 2. 172 (3): 1879–1906. arXiv : math/0701547 . дои : 10.4007/анналы.2010.172.1879 . ISSN 0003-486X . МИСТЕР 2726102