Джеймс У. Кэннон | |
---|---|
Рожденный | ( 1943-01-30 )30 января 1943 г. Беллефонт, Пенсильвания , США |
Национальность | американский |
Альма-матер | Университет Юты |
Известный | работа в области низкоразмерной топологии , геометрической теории групп |
Награды | Член Американского математического общества, стипендия имени Слоуна |
Научная карьера | |
Поля | Математика |
Учреждения | Университет Висконсин-Мэдисон Университет имени Бригама Янга |
научный руководитель | Сесил Берджесс |
Докторанты | Колин Адамс |
Джеймс У. Кэннон (родился 30 января 1943 года) — американский математик, работавший в области низкоразмерной топологии и геометрической теории групп . Он был профессором математики имени Орсона Пратта в Университете имени Бригама Янга .
Джеймс У. Кэннон родился 30 января 1943 года в Беллефонте , штат Пенсильвания . [1] Кэннон получил степень доктора философии по математике в Университете Юты в 1969 году под руководством Эдмунда Берджесса.
Он был профессором в Университете Висконсина в Мадисоне с 1977 по 1985 год. [1] В 1986 году Кэннон был назначен профессором математики имени Орсона Пратта в Университете имени Бригама Янга . [2] Он занимал эту должность до выхода на пенсию в сентябре 2012 года. [3]
Кэннон выступил с приглашённым докладом AMS на заседании Американского математического общества в Сиэтле в августе 1977 года, с приглашённым докладом на Международном конгрессе математиков в Хельсинки в 1978 году и прочитал Хедриковские лекции Математической ассоциации Америки в Торонто , Канада, в 1982 году. [1] [4]
Кэннон был избран в Совет Американского математического общества в 2003 году со сроком полномочий с 1 февраля 2004 года по 31 января 2007 года. [2] [5] В 2012 году он стал членом Американского математического общества . [6]
В 1993 году Кэннон прочитал 30-ю ежегодную лекцию имени Карла Г. Мезера в Университете имени Бригама Янга . [7]
Джеймс Кэннон — преданный член Церкви Иисуса Христа Святых последних дней . [8]
Ранние работы Кэннона касались топологических аспектов вложенных поверхностей в R 3 и понимания разницы между «ручными» и «дикими» поверхностями.
Его первый известный результат появился в конце 1970-х годов, когда Кэннон дал полное решение давней проблемы «двойной подвески», поставленной Джоном Милнором . Кэннон доказал, что двойная подвеска гомологической сферы является топологической сферой. [9] [10] Ранее RD Edwards доказал это во многих случаях.
Результаты статьи Кэннона [10] были использованы Кэнноном, Брайантом и Лачером для доказательства (1979) [11] важного случая так называемой гипотезы характеризации для топологических многообразий. Гипотеза утверждает, что обобщенное n -многообразие , где , которое удовлетворяет "свойству непересекающегося диска", является топологическим многообразием. Кэннон, Брайант и Лачер установили [11] , что гипотеза верна при предположении, что является многообразием, за исключением, возможно, множества размерности . Позднее Фрэнк Куинн [12] завершил доказательство того, что гипотеза характеризации верна, если существует хотя бы одна точка многообразия. В общем случае гипотеза ложна, как доказали Джон Брайант, Стивен Ферри, Вашингтон Мио и Шмуэль Вайнбергер . [13]
В 1980-х годах фокус работы Кэннона сместился на изучение 3-многообразий , гиперболической геометрии и клейновых групп , и он считается одной из ключевых фигур в рождении геометрической теории групп как отдельного предмета в конце 1980-х и начале 1990-х годов. Статья Кэннона 1984 года «Комбинаторная структура кокомпактных дискретных гиперболических групп» [14] была одним из предшественников в развитии теории словесно-гиперболических групп , понятия, которое было введено и развито три года спустя в основополагающей монографии 1987 года Михаила Громова . [15] В статье Кэннона были исследованы комбинаторные и алгоритмические аспекты графов Кэли клейновых групп и их связь с геометрическими особенностями действий этих групп на гиперболическом пространстве . В частности, Кэннон доказал, что выпукло-кокомпактные клейновы группы допускают конечные представления , где алгоритм Дена решает проблему слов . Последнее условие позже оказалось эквивалентным для характеристики гиперболичности слов и, более того, оригинальное доказательство Кэннона по сути прошло без изменений, чтобы показать, что проблема слов в гиперболических группах слов разрешима алгоритмом Дена. [16] В статье Кэннона 1984 года [14] также было введено важное понятие типа конуса элемента конечно порожденной группы (грубо говоря, множества всех геодезических расширений элемента). Кэннон доказал, что выпукло-кокомпактная клейнова группа имеет только конечное число типов конусов (относительно фиксированного конечного порождающего множества этой группы), и показал, как использовать этот факт для вывода о том, что ряд роста группы является рациональной функцией . Эти аргументы также оказались обобщающими на контекст гиперболической группы слов . [15] Теперь стандартные доказательства [17] того факта, что множество геодезических слов в гиперболической группе слов является регулярным языком, также используют конечность числа типов конусов.
Работа Кэннона также ввела важное понятие почти выпуклости для графов Кэли конечно порожденных групп [18] , понятие, которое привело к существенному дальнейшему изучению и обобщению. [19] [20] [21]
Влиятельная статья Кэннона и Уильяма Терстона "Групповые инвариантные кривые Пеано" [22] , которая впервые распространилась в виде препринта в середине 1980-х годов [23] , ввела понятие того, что сейчас называется отображением Кэннона–Терстона . Они рассмотрели случай замкнутого гиперболического 3-многообразия M , которое расслаивается над окружностью со слоем, являющимся замкнутой гиперболической поверхностью S. В этом случае универсальное покрытие S , которое отождествляется с гиперболической плоскостью , допускает вложение в универсальное покрытие M , которое является гиперболическим 3-пространством . Кэннон и Терстон доказали, что это вложение продолжается до непрерывного π 1 ( S )-эквивариантного сюръективного отображения (теперь называемого отображением Кэннона–Терстона ) от идеальной границы гиперболической плоскости (окружности) до идеальной границы гиперболического 3-пространства ( 2-сферы ). Хотя статья Кэннона и Терстона была окончательно опубликована только в 2007 году, за это время она послужила толчком для дальнейших исследований и ряда важных обобщений (как в контексте групп Кляйна, так и гиперболических групп), включая работы Махана Митры [24] , [25] Эрики Кларрайх [26] , Брайана Боудича [27] и других.
Кэннон был одним из соавторов книги 1992 года Word Processing in Groups [17] , которая представила, формализовала и развила теорию автоматических групп . Теория автоматических групп принесла новые вычислительные идеи из компьютерной науки в геометрическую теорию групп и сыграла важную роль в развитии предмета в 1990-х годах.
В статье Кэннона 1994 года было дано доказательство « комбинаторной теоремы об отображении Римана » [28] , которое было мотивировано классической теоремой об отображении Римана в комплексном анализе . Целью было понять, когда действие группы гомеоморфизмами на 2-сфере является (с точностью до топологического сопряжения) действием на стандартной сфере Римана преобразованиями Мёбиуса . «Комбинаторная теорема об отображении Римана» Кэннона дала набор достаточных условий, когда последовательность все более и более тонких комбинаторных подразделений топологической поверхности определяет, в соответствующем смысле и после перехода к пределу, фактическую конформную структуру на этой поверхности. Эта статья Кэннона привела к важной гипотезе, впервые явно сформулированной Кэнноном и Свенсоном в 1998 году [29] (но также предложенной в неявной форме в разделе 8 статьи Кэннона 1994 года) и теперь известной как гипотеза Кэннона , относительно характеристики гиперболических групп в виде слов с 2-сферой в качестве границы. Гипотеза (гипотеза 5.1 в [29] ) утверждает, что если идеальная граница гиперболической группы в виде слов G гомеоморфна 2-сфере , то G допускает собственно разрывное кокомпактное изометрическое действие на гиперболическом 3-пространстве (так что G по сути является 3-мерной клейновой группой ). В аналитических терминах гипотеза Кэннона эквивалентна утверждению, что если идеальная граница гиперболической группы G гомеоморфна 2-сфере , то эта граница с визуальной метрикой, полученной из графа Кэли группы G , квазисимметрична стандартной 2-сфере.
Статья Кэннона и Свенсона 1998 года [29] дала начальный подход к этой гипотезе, доказав, что гипотеза верна при дополнительном предположении, что семейство стандартных «дисков» на границе группы удовлетворяет комбинаторному «конформному» свойству. Основной результат статьи Кэннона 1994 года [28] сыграл ключевую роль в доказательстве. Этот подход к гипотезе Кэннона и связанным с ней проблемам был позже развит в совместной работе Кэннона, Флойда и Перри. [30] [31] [32]
Гипотеза Кэннона мотивировала большую часть последующих работ других математиков и в значительной степени повлияла на последующее взаимодействие между геометрической теорией групп и теорией анализа метрических пространств. [33] [34] [35] [36] [37] [38] Гипотеза Кэннона была мотивирована (см. [29] ) гипотезой геометризации Терстона и попыткой понять, почему в размерности три переменная отрицательная кривизна может быть повышена до постоянной отрицательной кривизны. Хотя гипотеза геометризации была недавно разрешена Перельманом , гипотеза Кэннона остается широко открытой и считается одной из ключевых выдающихся открытых проблем в геометрической теории групп и геометрической топологии .
Идеи комбинаторной конформной геометрии, лежащие в основе доказательства Кэнноном «комбинаторной теоремы об отображении Римана» [28] , были применены Кэнноном, Флойдом и Парри (2000) к изучению крупномасштабных моделей роста биологических организмов. [39] Кэннон, Флойд и Парри создали математическую модель роста, которая продемонстрировала, что некоторые системы, определяемые простыми правилами конечного подразделения, могут приводить к объектам (в их примере, стволу дерева), крупномасштабная форма которых сильно колеблется с течением времени, даже если локальные законы подразделения остаются прежними. [39] Кэннон, Флойд и Парри также применили свою модель к анализу моделей роста тканей крысы. [39] Они предположили, что «отрицательно изогнутая» (или неевклидова) природа микроскопических моделей роста биологических организмов является одной из ключевых причин, по которой крупномасштабные организмы не выглядят как кристаллы или многогранные формы, а на самом деле во многих случаях напоминают самоподобные фракталы . [39] В частности, они предположили (см. раздел 3.4 [39] ), что такая «отрицательно изогнутая» локальная структура проявляется в сильно складчатой и сильно связанной природе мозга и легочной ткани.