Майкл Атья

Сэр Майкл Атья OM FRS FRSE FMedSci FAA HonFREng
Майкл Атья в 2007 году
Рожденный	Майкл Фрэнсис Атья ( 1929-04-22 ) 22 апреля 1929 г. Хэмпстед , Лондон, Англия
Умер	11 января 2019 г. (11 января 2019 г.) (89 лет) Эдинбург, Шотландия
Образование	Тринити-колледж, Кембридж ( бакалавр , доктор философии )
Известный	Алгеброид Атьи Гипотеза Атьи Гипотеза Атьи о конфигурациях Атья провалился Формула Атьи – Ботта Теорема Атьи–Ботта о неподвижной точке Гипотеза Атьи – Флоера Спектральная последовательность Атьи – Хирцебруха Гипотеза Атьи – Джонса Теорема Атьи – Хитчина – Зингера Теорема Атьи – Зингера об индексе Теорема Атьи – Сигала о пополнении Строительство АДХМ Фредгольмский модуль Эта-инвариант К-теория КР-теория Группа контактов Торическое многообразие
Награды	Премия Бервика (1961) Медаль Филдса (1966) Королевская медаль (1968) Медаль Моргана (1980) Медаль Копли (1988) Абелевская премия (2004).
Научная карьера
Поля	Математика
Учреждения	Оксфордский университет Институт перспективных исследований Университет Лестера Эдинбургский университет Кембриджский университет
Диссертация	Некоторые применения топологических методов в алгебраической геометрии   (1955)
Докторантура	ВВД Ходж
Докторанты	Саймон Дональдсон К. Дэвид Элворти Найджел Хитчин Лиза Джеффри Фрэнсис Кирван Питер Кронхаймер Рут Лоуренс Джордж Люстиг Ян Р. Портеус Грэм Сигал Дэвид О. Талл
Другие известные студенты	Эдвард Виттен

Сэр Майкл Фрэнсис Атья OM FRS FRSE FMedSci FAA HonFREng ( / ə ˈ t iː ə / ; 22 апреля 1929 — 11 января 2019) — британско-ливанский математик, специализирующийся на геометрии . Его вклад включает в себя теорему об индексе Атьи-Зингера и соавторство в создании топологической K-теории . Он был награжден медалью Филдса в 1966 году и премией Абеля в 2004 году.

Ранняя жизнь и образование

Большой суд , Тринити-колледжа в Кембридже где Атья был студентом, а затем магистром.

Атья родился 22 апреля 1929 года в Хэмпстеде , Лондон , Англия, в семье Джин (урожденной Левенс) и Эдварда Атьи . Его мать была шотландкой, а отец — ливанским православным христианином . У него было два брата, Патрик (умерший) и Джо, и сестра Сельма (умерла). Атья ходил в начальную школу епархиальной школы в Хартуме , Судан (1934–1941), и в среднюю школу в колледже Виктории в Каире и Александрии (1941–1945); школу также посещала европейская знать, перемещенная во время Второй мировой войны , и некоторые будущие лидеры арабских стран. Он вернулся в Англию и Манчестерскую гимназию для учебы в HSC (1945–1947) и прошел национальную службу в Королевских инженерах-электриках и механиках (1947–1949). Его обучение в бакалавриате и аспирантуре проходило в Тринити-колледже в Кембридже (1949–1955). Он был докторантом Уильяма В.Д. Ходжа. и получил докторскую степень в 1955 году за диссертацию под названием « Некоторые применения топологических методов в алгебраической геометрии» .

Атья был членом Британской гуманистической ассоциации .

Во время своего пребывания в Кембридже он был президентом «Архимедов» .

Карьера и исследования

Институт перспективных исследований в Принстоне, где Атья был профессором с 1969 по 1972 год.

Атья провел 1955–1956 учебный год в Институте перспективных исследований в Принстоне , затем вернулся в Кембриджский университет , где он был научным сотрудником и доцентом ( 1957–1958), затем университетским преподавателем и научным сотрудником в Пембрук-колледже, Кембридж. (1958–1961). В 1961 году он переехал в Оксфордский университет , где был читателем и научным сотрудником колледжа Святой Екатерины (1961–1963). Он стал профессором геометрии Савилиана и научным сотрудником Нового колледжа в Оксфорде с 1963 по 1969 год. Он проработал три года профессором в Институте перспективных исследований в Принстоне, после чего вернулся в Оксфорд в качестве профессора-исследователя Королевского общества и профессор Колледжа Святой Екатерины. Он был президентом Лондонского математического общества с 1974 по 1976 год.

Я начал с того, что менял местную валюту на иностранную везде, где путешествовал в детстве, и в итоге зарабатывал деньги. Именно тогда мой отец понял, что когда-нибудь я стану математиком.

Майкл Атья

Атья был президентом Пагуошской конференции по науке и мировым делам с 1997 по 2002 год. Он также внес вклад в создание Межакадемической группы по международным проблемам , Ассоциации европейских академий (ALLEA) и Европейского математического общества (EMS).

В Соединенном Королевстве он участвовал в создании Института математических наук Исаака Ньютона в Кембридже и был его первым директором (1990–1996). Он был президентом Королевского общества (1990–1995), магистром Тринити-колледжа в Кембридже (1990–1997). Канцлер ( Лестерского университета 1995–2005 гг.), и президент Эдинбургского королевского общества (2005–2008 гг.). С 1997 года и до своей смерти в 2019 году он был почётным профессором Эдинбургского университета . Он был попечителем Фонда Джеймса Клерка Максвелла .

Среди математических сотрудников Атьи были Рауль Ботт , Фридрих Хирцебрух. и Исадор Сингер , а среди его учеников были Грэм Сигал , Найджел Хитчин , Саймон Дональдсон и Эдвард Виттен . Вместе с Хирцебрухом он заложил основы топологической К-теории — важного инструмента алгебраической топологии , которая, неформально говоря, описывает способы скручивания пространств. Его самый известный результат, теорема об индексе Атьи-Зингера , была доказана Сингером в 1963 году и используется при подсчете количества независимых решений дифференциальных уравнений . Некоторые из его последних работ были вдохновлены теоретической физикой , в частности, инстантонами и монополями , которые ответственны за некоторые поправки в квантовой теории поля . Он был награжден медалью Филдса в 1966 году и премией Абеля в 2004 году.

Сотрудничество

Старый Математический институт (ныне Статистический факультет) в Оксфорде , где Атья руководил многими своими студентами.

Атья сотрудничал со многими математиками. Его три основных сотрудничества были с Раулем Боттом по теореме Атьи-Ботта о неподвижной точке и многим другим темам, с Айседором М. Сингером по теореме об индексе Атьи-Зингера и с Фридрихом Хирцебрухом по топологической K-теории. всех из них он встретил в Институте перспективных исследований в Принстоне в 1955 году. Включены и другие его сотрудники; Дж. Франк Адамс ( инвариантная проблема Хопфа ), Юрген Берндт (проективные плоскости), Роджер Белявски (задача Берри – Роббинса), Ховард Доннелли ( L-функции ), Владимир Г. Дринфельд (инстантоны), Йохан Л. Дюпон (особенности вектора) поля ), Ларс Гординг ( гиперболические дифференциальные уравнения ), Найджел Дж. Хитчин (монополи), Уильям В.Д. Ходж (Интегралы второго рода), Майкл Хопкинс ( К-теория ), Лиза Джеффри (топологические лагранжианы), Джон Д.С. Джонс (Янг –теория Миллса), Хуан Малдасена (М-теория), Юрий И. Манин (инстантоны), Ник С. Мэнтон (Скирмионы), Виджей К. Патоди (спектральная асимметрия), А.Н. Прессли (выпуклость), Элмер Рис (векторные расслоения) , Вильфрид Шмид (представления дискретной серии), Грэм Сигал ( эквивариантная К-теория ), Александр Шапиро (алгебры Клиффорда), Л. Смит (гомотопические группы сфер), Пол Сатклифф (многогранники), Дэвид О. Талл (лямбда-кольца), Джон А. Тодд ( многообразия Стифеля ), Камрун Вафа (М-теория), Ричард С. Уорд (инстантоны) и Эдвард Виттен (М-теория, топологические квантовые теории поля).

Его более поздние исследования теорий калибровочного поля , особенно теории Янга-Миллса , стимулировали важные взаимодействия между геометрией и физикой , особенно в работах Эдварда Виттена.

Если вы напрямую решаете математическую задачу, очень часто вы заходите в тупик, кажется, что ничего из того, что вы делаете, не работает, и вы чувствуете, что, если бы вы только могли заглянуть за угол, там могло бы быть простое решение. Нет ничего лучше, чем иметь рядом с собой кого-то еще, потому что он обычно может заглянуть из-за угла.

Майкл Атья

Среди учеников Атьи были Питер Браам 1987, Саймон Дональдсон 1983, К. Дэвид Элворти 1967,Говард Феган 1977,Эрик Грюнвальд 1977, Найджел Хитчин 1972,Лиза Джеффри 1991, Фрэнсис Кирван 1984, Питер Кронхаймер 1986, Рут Лоуренс 1989, Джордж Люстиг 1971, Джек Морава 1968,Майкл Мюррей 1983,Питер Ньюстед 1966, Ян Р. Портеус 1961, Джон Роу 1985,Брайан Сандерсон 1963, Рольф Шварценбергер 1960,Грэм Сигал 1967,Дэвид Талл 1966 г.,и Грэм Уайт 1982.

Среди других современных математиков, оказавших влияние на Атью, — Роджер Пенроуз , Ларс Хёрмандер , Ален Конн и Жан-Мишель Бисмут . Атья сказал, что математиком, которым он больше всего восхищался, был Герман Вейль . и что его любимыми математиками до 20-го века были Бернхард Риман и Уильям Роуэн Гамильтон .

Семь томов собрания статей Атьи включают большую часть его работ, за исключением учебника по коммутативной алгебре; первые пять томов разделены тематически, а шестой и седьмой — по датам.

Алгебраическая геометрия (1952–1958).

Основная статья: Алгебраическая геометрия

Искривленная кубическая кривая — тема первой статьи Атьи.

Ранние статьи Атьи по алгебраической геометрии (и некоторые общие статьи) переизданы в первом томе его собрания сочинений.

Будучи студентом, Атья интересовался классической проективной геометрией и написал свою первую статью: короткую заметку о скрученных кубиках . Он начал исследования под руководством WVD Ходжа и получил премию Смита в 1954 году за на основе теории снопов подход к линейчатым поверхностям . что побудило Атью продолжать заниматься математикой, а не переключаться на другие свои интересы - архитектуру и археологию. Его докторская диссертация вместе с Ходжем была посвящена теоретико-пучковому подходу к Соломона Лефшеца , в результате чего он получил приглашение посетить Институт перспективных исследований в Принстоне на год. теории интегралов второго рода на алгебраических многообразиях В то время как в Принстоне он классифицировал векторные расслоения на эллиптической кривой (расширяя классификацию векторных расслоений Александра Гротендика на кривой рода 0), показав, что любое векторное расслоение представляет собой сумму (по существу уникальных) неразложимых векторных расслоений, а затем показать, что пространство неразложимых векторных расслоений заданной степени и положительной размерности можно отождествить с эллиптической кривой. Он также изучал двойные точки на поверхностях. давая первый пример флопа , специального бирационального преобразования 3-х кратностей , которое позже широко использовалось в Сигэфуми Мори работе над минимальными моделями для 3-х кратностей. Флоп Атьи также можно использовать, чтобы показать, что универсальное отмеченное семейство поверхностей K3 не является Хаусдорфовым .

К-теория (1959–1974)

Основная статья: K-теория

Лента Мёбиуса — простейший нетривиальный пример векторного расслоения .

Работы Атьи по К-теории , включая его книгу по К-теории. переизданы во втором томе его собрания сочинений.

Простейшим нетривиальным примером векторного расслоения является лента Мёбиуса (на фото справа): полоска бумаги с завитком, которая представляет собой векторное расслоение ранга 1 над кругом (круг, о котором идет речь, является центральной линией листа Мёбиуса). группа). K-теория — это инструмент для работы с многомерными аналогами этого примера или, другими словами, для описания многомерных скручиваний: элементы K-группы пространства представлены векторными расслоениями над ним, поэтому лента Мёбиуса представляет собой элемент K-группы окружности.

Топологическая К-теория была открыта Атьей и Фридрихом Хирцебрухом. которые были вдохновлены доказательством Гротендика теоремы Гротендика-Римана-Роха и работой Ботта над теоремой периодичности . В этой статье обсуждалась только нулевая K-группа; вскоре после этого они распространили его на K-группы всех степеней, дающий первый (нетривиальный) пример обобщенной теории когомологий .

Некоторые результаты показали, что недавно представленная К-теория была в некотором смысле более мощной, чем обычная теория когомологий. Атья и Тодд использовал K-теорию для улучшения нижних оценок, полученных с помощью обычных когомологий Бореля и Серра для числа Джеймса , описывающих, когда отображение комплексного многообразия Штифеля в сферу имеет поперечное сечение. ( Адамс и Грант-Уокер позже показали, что граница, найденная Атьей и Тоддом, была наилучшей из возможных.) Атья и Хирцебрух использовал К-теорию, чтобы объяснить некоторые связи между операциями Стинрода и классами Тодда , которые Хирцебрух заметил несколько лет назад. Первоначальное решение одной задачи инварианта Хопфа Дж. Ф. Адамсом операций было очень длинным и сложным с использованием операций вторичных когомологий. Атья показал, как первичные операции в К-теории можно использовать для получения короткого решения, занимающего всего несколько строк, и в совместной работе с Адамсом также доказал аналоги результата для нечетных простых чисел.

Майкл Атья и Фридрих Хирцебрух (справа), создатели К-теории.

Спектральная последовательность Атьи – Хирцебруха связывает обычные когомологии пространства с его обобщенной теорией когомологий. (Атья и Хирцебрух использовали случай К-теории, но их метод работает для всех теорий когомологий).

Атья показал что для конечной группы G теория K ее классифицирующего пространства BG изоморфна пополнению ее кольца характеров :

$K(BG)\cong R(G)^{\wedge }.$

В том же году они доказали результат для G любой компактной связной группы Ли . Хотя вскоре этот результат можно было распространить на все компактные группы Ли, включив в него результаты диссертации Грэма Сигала : это расширение было сложным. Однако более простое и общее доказательство было получено путем введения эквивариантной K-теории , т.е. классов эквивалентности G векторных расслоений над компактным G -пространством X. - что при подходящих условиях пополнение эквивариантной K-теории X изоморфно Было показано , обычной K-теории пространства: $X_{G}$, расслоенный над BG со слоем X :

$K_{G}(X)^{\wedge }\cong K(X_{G}).$

Затем первоначальный результат стал следствием того, что X был принят за точку: левая часть сводилась к пополнению R(G) , а правая - к K(BG) . см. в теореме Атьи – Сигала о пополнении Более подробную информацию .

Он определил новые обобщенные теории гомологии и когомологии, называемые бордизмами и кобордизмами , и указал, что многие глубокие результаты о кобордизме многообразий, полученные Рене Томом , Ч.Т.С. Уоллом и другими, могут быть естественным образом переинтерпретированы как утверждения об этих теориях когомологии. Некоторые из этих теорий когомологии, в частности комплексный кобордизм, оказались одними из самых мощных известных теорий когомологии.

«Алгебра — это предложение, сделанное дьяволом математику. Дьявол говорит: «Я дам тебе эту мощную машину, она ответит на любой твой вопрос. Все, что тебе нужно сделать, это отдать мне свою душу: откажись от геометрии, и ты будет иметь эту чудесную машину».

Майкл Атья

Он представил J J-группа ( X ) конечного комплекса X , определяемая как группа стабильных слоев гомотопической эквивалентности расслоений сфер ; Позже это было подробно изучено Дж. Ф. Адамсом в серии статей, что привело к гипотезе Адамса .

Вместе с Хирцебрухом он распространил теорему Гротендика-Римана-Роха на комплексные аналитические вложения: и в соответствующей статье они показали, что гипотеза Ходжа для целых когомологий неверна. Гипотеза Ходжа для рациональных когомологий по состоянию на 2008 год является серьезной нерешенной проблемой.

Теорема о периодичности Ботта была центральной темой в работах Атьи по K-теории, и он неоднократно возвращался к ней, несколько раз перерабатывая доказательство, чтобы лучше его понять. Вместе с Боттом он разработал элементарное доказательство: и дал другую версию этого в своей книге. Вместе с Боттом и Шапиро он проанализировал связь периодичности Ботта с периодичностью алгебр Клиффорда ; хотя в этой статье не было доказательства теоремы о периодичности, аналогичное доказательство вскоре было найдено Р. Вудом. Он нашел доказательство нескольких обобщений с использованием эллиптических операторов ; в этом новом доказательстве использовалась идея, которую он использовал, чтобы дать особенно короткое и простое доказательство оригинальной теоремы о периодичности Ботта.

Теория индексов (1963–1984)

Исадор Сингер (в 1977 г.), который работал с Атьей над теорией индексов.

Основная статья: Теорема Атьи – Зингера об индексе

Работа Атьи по теории индексов переиздана в третьем и четвертом томах его собрания сочинений.

Индекс дифференциального оператора тесно связан с числом независимых решений (точнее, это разности чисел независимых решений дифференциального оператора и его сопряженного). В математике существует множество сложных и фундаментальных проблем, которые легко свести к проблеме нахождения числа независимых решений некоторого дифференциального оператора, поэтому, если у кого-то есть средства нахождения индекса дифференциального оператора, эти проблемы часто можно решить. Именно это и делает теорема Атьи-Зингера об индексе: она дает формулу для индекса некоторых дифференциальных операторов в терминах топологических инвариантов, которые выглядят довольно сложными, но на практике их обычно легко вычислить.

Несколько глубоких теорем, таких как теорема Хирцебруха-Римана-Роха , являются частными случаями теоремы об индексе Атьи-Зингера. На самом деле теорема об индексе дала более мощный результат, поскольку ее доказательство применимо ко всем компактным комплексным многообразиям, в то время как доказательство Хирцебруха работало только для проективных многообразий. Появилось также много новых приложений: типичным является вычисление размерностей пространств модулей инстантонов. Теорему об индексе можно также применить «обратно»: индекс, очевидно, является целым числом, поэтому формула для него также должна давать целое число, что иногда дает тонкие условия целости инвариантов многообразий. Типичным примером этого является теорема Рохлина , вытекающая из теоремы об индексе.

Самый полезный совет, который я бы дал студенту-математику, — это всегда подозревать впечатляюще звучащую теорему, если у нее нет частного случая, одновременно простого и нетривиального .

Майкл Атья

Проблема индекса для эллиптических дифференциальных операторов была поставлена ​​в 1959 Гельфандом . Он заметил гомотопическую инвариантность индекса и попросил дать для него формулу с помощью топологических инвариантов . Некоторые из мотивирующих примеров включали теорему Римана-Роха и ее обобщение, теорему Хирцебруха-Римана-Роха и сигнатурную теорему Хирцебруха . Хирцебрух и Борель доказали целостность рода Â спинового многообразия, и Атья предположил, что эту целостность можно было бы объяснить, если бы это был индекс оператора Дирака (который был переоткрыт Атьей и Сингером в 1961 году).

Первым объявлением теоремы Атьи-Зингера стала их статья 1963 года. Доказательство, изложенное в этом объявлении, было вдохновлено доказательством Хирцебруха теоремы Хирцебруха-Римана-Роха и никогда не было опубликовано ими, хотя оно описано в книге Пале. Их первое опубликованное доказательство было больше похоже на доказательство Гротендика теоремы Гротендика-Римана-Роха , заменяя теорию кобордизмов первого доказательства K-теорией , и они использовали этот подход для доказательства различных обобщений в серии статей с 1968 по 1971 год.

Вместо одного эллиптического оператора можно рассмотреть семейство эллиптических операторов, параметризованное некоторым пространством Y . В этом случае индекс является элементом K-теории Y , а не целым числом. Если операторы в семействе действительны, то индекс принадлежит вещественной K-теории Y . Это дает немного дополнительной информации, поскольку отображение реальной K-теории Y в комплексную K-теорию не всегда инъективно.

Бывший ученик Атьи Грэм Сигал (в 1982 г.), который работал с Атьей над эквивариантной K-теорией.

Вместе с Боттом Атья нашел аналог формулы Лефшеца о неподвижной точке для эллиптических операторов, определяя число Лефшеца эндоморфизма эллиптического комплекса в терминах суммы по неподвижным точкам эндоморфизма. В качестве особых случаев их формула включала формулу характеров Вейля и несколько новых результатов об эллиптических кривых со сложным умножением, некоторым из которых эксперты поначалу не поверили. Атья и Сигал объединили эту теорему о неподвижной точке с теоремой об индексе следующим образом.Если существует компактное групповое действие группы G на компактном многообразии X , коммутирующее с эллиптическим оператором, то можно заменить обычную К-теорию в теореме об индексе эквивариантной К-теорией .Для тривиальных групп G это дает теорему об индексе, а для конечной группы G, действующей с изолированными неподвижными точками, это дает теорему Атьи–Ботта о неподвижной точке. В общем случае он дает индекс как сумму по подмногообразиям с неподвижными точками группы G .

Атья решил проблему, заданную независимо Хёрмандером и Гельфандом, о том, определяют ли комплексные степени аналитических функций распределения . Атья использовал . разрешение сингулярностей Хиронаки, чтобы ответить на этот вопрос утвердительно Гениальное и элементарное решение было найдено примерно в то же время Дж. Бернштейном и обсуждалось Атьей.

В качестве применения теоремы об эквивариантном индексе Атья и Хирцебрух показали, что многообразия с эффективными действиями окружности имеют исчезающий Â-род . (Лихнерович показал, что если многообразие имеет метрику положительной скалярной кривизны, то Â-род исчезает.)

Вместе с Элмером Рисом Атья изучал проблему связи между топологическими и голоморфными векторными расслоениями в проективном пространстве. Они решили простейший неизвестный случай, показав, что все векторные расслоения ранга 2 над проективным 3-мерным пространством имеют голоморфную структуру. Хоррокс ранее нашел несколько нетривиальных примеров таких векторных расслоений, которые позже были использованы Атьей в его исследовании инстантонов на 4-сфере.

Рауль Ботт , который работал с Атьей над формулами с фиксированной запятой и рядом других тем.

Атья, Ботт и Виджай К. Патоди дал новое доказательство теоремы об индексе с использованием уравнения теплопроводности .

Если многообразию разрешено иметь границу, то необходимо наложить некоторые ограничения на область определения эллиптического оператора, чтобы обеспечить конечный индекс. Эти условия могут быть локальными (например, требование, чтобы сечения области исчезали на границе) или более сложными глобальными условиями (например, требование, чтобы сечения области решали какое-то дифференциальное уравнение). Локальный случай был разработан Атьей и Боттом, но они показали, что многие интересные операторы (например, сигнатурный оператор ) не допускают локальных граничных условий. Чтобы справиться с этими операторами, Атья, Патоди и Сингер ввели глобальные граничные условия, эквивалентные присоединению цилиндра к многообразию вдоль границы и затем ограничению области теми сечениями, которые интегрируются с квадратом вдоль цилиндра, а также ввели уравнение Атьи – Патоди – Сингера. эта-инвариант . Результатом стала серия статей по спектральной асимметрии. которые впоследствии неожиданно были использованы в теоретической физике , в частности в работах Виттена об аномалиях.

Лакуны, обсуждаемые Петровским, Атьей, Боттом и Гордингом, подобны промежуткам между ударными волнами сверхзвукового объекта.

Фундаментальные решения линейных гиперболических уравнений в частных производных часто имеют лакуны Петровского : области, где они тождественно равны нулю. Их изучал в 1945 году И. Г. Петровский , который нашел топологические условия, описывающие, какие области являются лакунами.В сотрудничестве с Боттом и Ларсом Гордингом Атья написал три статьи, обновляющие и обобщающие работу Петровского.

Атья показал, как распространить теорему об индексе на некоторые некомпактные многообразия, на которых действует дискретная группа с компактным фактором. Ядро эллиптического оператора в этом случае, вообще говоря, бесконечномерно, но можно получить конечный индекс, используя размерность модуля над алгеброй фон Неймана ; этот индекс обычно имеет вещественное, а не целочисленное значение. Эта версия называется L. ² теорема об индексе и использовалась Атьей и Шмидом. дать геометрическую конструкцию, используя интегрируемые с квадратом гармонические спиноры, представлений дискретной серии Хариш-Чандры полупростых групп Ли . В ходе этой работы они нашли более элементарное доказательство фундаментальной теоремы Хариш-Чандры о локальной интегрируемости характеров групп Ли.

Вместе с Х. Доннелли и И. Сингером он распространил формулу Хирцебруха (связывающую дефект сигнатуры в точках возврата гильбертовых модулярных поверхностей со значениями L-функций) с вещественных квадратичных полей на все вполне вещественные поля.

Калибровочная теория (1977–1985)

Основная статья: Калибровочная теория (математика)

Слева два соседних монополя одной полярности отталкиваются, а справа два соседних монополя противоположной полярности образуют диполь . Это абелевы монополи; неабелевы, изученные Атьей, более сложны.

Многие из его статей по калибровочной теории и смежным темам переизданы в пятом томе его собрания сочинений. Общей темой этих статей является исследование пространств модулей решений некоторых нелинейных уравнений в частных производных , в частности уравнений для инстантонов и монополей. Часто это предполагает поиск тонкого соответствия между решениями двух, казалось бы, совершенно разных уравнений. Ранним примером этого, который Атья неоднократно использовал, является преобразование Пенроуза , которое иногда может преобразовывать решения нелинейного уравнения над некоторым реальным многообразием в решения некоторых линейных голоморфных уравнений над другим комплексным многообразием.

В серии статей с несколькими авторами Атья классифицировал все инстантоны в 4-мерном евклидовом пространстве. Классифицировать инстантоны удобнее на сфере, поскольку она компактна, и это по существу эквивалентно классификации инстантонов в евклидовом пространстве, поскольку это конформно эквивалентно сфере, а уравнения для инстантонов конформно инвариантны. С Хитчином и Сингером он вычислил размерность пространства модулей неприводимых самодуальных связностей (инстантонов) для любого главного расслоения над компактным 4-мерным римановым многообразием ( теорема Атьи–Хитчина–Зингера ). Например, размерность пространства инстантонов SU ₂ ранга k >0 равна 8k − 3. Для этого они использовали теорему об индексе Атьи – Зингера, чтобы вычислить размерность касательного пространства к пространству модулей в точке; касательное пространство - это, по сути, пространство решений эллиптического дифференциального оператора, заданное линеаризацией нелинейных уравнений Янга – Миллса. Эти пространства модулей позже были использованы Дональдсоном для построения его инвариантов 4-многообразий .Атья и Уорд использовали соответствие Пенроуза, чтобы свести классификацию всех инстантонов на 4-сфере к задаче алгебраической геометрии. Вместе с Хитчиным он использовал идеи Хоррокса для решения этой проблемы, дав конструкцию ADHM для всех инстантонов на сфере; Манин и Дринфельд одновременно нашли одну и ту же конструкцию, что привело к совместной статье всех четырех авторов. Атья переформулировал эту конструкцию, используя кватернионы , и написал неторопливое описание этой классификации инстантонов в евклидовом пространстве в виде книги.

Математические проблемы, которые были решены, или методы, возникшие в физике в прошлом, были источником жизненной силы математики.

Майкл Атья

Работа Атьи над пространствами инстантонных модулей была использована в работе Дональдсона по теории Дональдсона . Дональдсон показал, что пространство модулей инстантонов (степени 1) над компактным односвязным 4-многообразием с положительно определенной формой пересечения может быть компактифицировано, чтобы дать кобордизм между многообразием и суммой копий комплексного проективного пространства. Из этого он пришел к выводу, что форма пересечения должна быть суммой одномерных форм, что привело к нескольким впечатляющим применениям к гладким 4-многообразиям, таким как существование неэквивалентных гладких структур в 4-мерном евклидовом пространстве. Дональдсон продолжал использовать другие пространства модулей, изученные Атьей, для определения инвариантов Дональдсона , что произвело революцию в изучении гладких 4-многообразий и показало, что они были более тонкими, чем гладкие многообразия в любом другом измерении, а также сильно отличались от топологических 4-многообразий. коллекторы. Атья описал некоторые из этих результатов в обзорном докладе.

Функции Грина для линейных уравнений в частных производных часто можно найти с помощью преобразования Фурье, чтобы преобразовать это в алгебраическую задачу. Атья использовал нелинейную версию этой идеи. Он использовал преобразование Пенроуза, чтобы преобразовать функцию Грина для конформно-инвариантного лапласиана в комплексный аналитический объект, который оказался по сути диагональным вложением твисторного пространства Пенроуза в его квадрат. Это позволило ему найти явную формулу для конформно-инвариантной функции Грина на 4-многообразии.

В своей статье с Джонсом он изучал топологию пространства модулей инстантонов SU(2) над 4-сферой. Они показали, что естественное отображение этого пространства модулей в пространство всех связностей индуцирует эпиморфизмы групп гомологий в определенном диапазоне измерений, и предположили, что оно может индуцировать изоморфизмы групп гомологий в том же диапазоне измерений. Это стало известно как гипотеза Атьи-Джонса и позже была доказана несколькими математиками.

Хардер и М. С. Нарасимхан описали когомологии пространств модулей стабильных векторных расслоений над римановыми поверхностями , подсчитав количество точек пространств модулей над конечными полями, а затем используя гипотезы Вейля для восстановления когомологий над комплексными числами. Атья и Р. Ботт использовали теорию Морса и уравнения Янга – Миллса над римановой поверхностью, чтобы воспроизвести и расширить результаты Хардера и Нарасимхана.

Старый результат Шура и Хорна гласит, что множество возможных диагональных векторов эрмитовой матрицы с заданными собственными значениями представляет собой выпуклую оболочку всех перестановок собственных значений. Атья доказал обобщение этого утверждения, применимое ко всем компактным симплектическим многообразиям, на которые действует тор, показав, что образ многообразия при отображении моментов представляет собой выпуклый многогранник. и вместе с Прессли дал соответствующее обобщение на бесконечномерные группы петель.

Дуйстермаат и Хекман нашли поразительную формулу, утверждающую, что выдвижение меры Лиувилля для отображения моментов действия тора определяется в точности приближением стационарной фазы (которое в общем случае является просто асимптотическим разложением, а не точным). Атья и Ботт показал, что это можно вывести из более общей формулы в эквивариантных когомологиях , что было следствием известных теорем локализации . Атья показал что отображение моментов было тесно связано с геометрической теорией инвариантов , и эта идея впоследствии была значительно развита его учеником Ф. Кирваном . Вскоре после этого Виттен применил формулу Дуйстермаата-Хекмана к пространствам петель и показал, что это формально дает теорему Атьи-Зингера об индексе для оператора Дирака; эту идею прочитал Атья.

Вместе с Хитчиным он работал над магнитными монополями и изучал их рассеяние, используя идеи Ника Мэнтона . Его книга вместе с Хитчиным дает подробное описание своих работ по магнитным монополям . Основная тема книги — исследование пространства модулей магнитных монополей ; это имеет естественную риманову метрику, и ключевым моментом является то, что эта метрика является полной и гиперкэлеровой . Затем метрика используется для изучения рассеяния двух монополей с использованием предположения Н. Мантона о том, что геодезический поток в пространстве модулей является низкоэнергетическим приближением рассеяния. Например, они показывают, что лобовое столкновение двух монополей приводит к рассеянию на 90 градусов, причем направление рассеяния зависит от относительных фаз двух монополей. Он также изучал монополи в гиперболическом пространстве.

Атья показал что инстантоны в 4-х измерениях можно идентифицировать с инстантонами в 2-х измерениях, с которыми гораздо проще обращаться. Здесь, конечно, есть загвоздка: при переходе от 4-го измерения к 2-му структурная группа калибровочной теории меняется с конечномерной группы на бесконечномерную группу петель. Это дает еще один пример, когда пространства модулей решений двух, казалось бы, несвязанных нелинейных уравнений в частных производных оказываются по существу одинаковыми.

Атья и Сингер обнаружили, что аномалии в квантовой теории поля можно интерпретировать с точки зрения теории индекса оператора Дирака; эта идея позже стала широко использоваться физиками.

Более поздняя работа (1986–2019)

Эдвард Виттен , на чьи работы по инвариантам многообразий и топологическим квантовым теориям поля повлиял Атья.

Многие статьи шестого тома из собраний его сочинений — обзоры, некрологи и общие беседы. Впоследствии Атья продолжал публиковать, в том числе несколько обзоров, популярную книгу и еще одна статья с Сигалом по скрученной K-теории .

Одна бумага представляет собой детальное исследование эта-функции Дедекинда с точки зрения топологии и теоремы об индексе.

Некоторые из его статей, написанных примерно в это время, исследуют связи между квантовой теорией поля , узлами и теорией Дональдсона . Он представил концепцию топологической квантовой теории поля , вдохновленную работой Виттена и определением Сигала конформной теории поля. Его книга «Геометрия и физика узлов». описывает новые инварианты узлов, обнаруженные Воаном Джонсом и Эдвардом Виттеном в терминах топологических квантовых теорий поля, а также его статью с Л. Джеффри. объясняет лагранжиан Виттена, дающий инварианты Дональдсона .

Он изучал скирмионы с Ником Мэнтоном, найти связь с магнитными монополями и инстантонами и дать гипотезу о структуре пространства модулей двух скирмионов как некоторого подфактора комплексного проективного 3-пространства .

Несколько статей были вдохновлены вопросом Джонатана Роббинса (называемым проблемой Берри-Роббинса ), который спросил, существует ли отображение конфигурационного пространства n точек в 3-мерном пространстве в многообразие флагов унитарной группы. Атья дал утвердительный ответ на этот вопрос, но посчитал, что его решение слишком вычислительно, и изучил гипотезу, которая могла бы дать более естественное решение. Он также связал этот вопрос с уравнением Нама и представил гипотезу Атьи о конфигурациях .

Но для большинства практических целей вы просто используете классические группы. Исключительные группы Ли созданы только для того, чтобы показать вам, что теория немного шире; они появляются довольно редко.

Майкл Атья

С Хуаном Малдасеной и Кумруном Вафой , и Э. Виттен он описал динамику М-теории на многообразиях с _G2 голономией . Похоже, что в этих статьях Атья впервые работал над исключительными группами Ли.

В своих статьях с М. Хопкинсом и Г. Сигал он вернулся к своему прежнему интересу к К-теории, описав некоторые извращенные формы К-теории с приложениями в теоретической физике .

В октябре 2016 года он заявил краткое доказательство отсутствия сложных структур на 6-сфере. Его доказательство, как и многие его предшественники, считается математическим сообществом ошибочным даже после того, как доказательство было переписано в исправленной форме.

На Гейдельбергском форуме лауреатов 2018 года он заявил, что решил гипотезу Римана , восьмую проблему Гильберта , методом от противного, используя константу тонкой структуры . И снова доказательство не подтвердилось, и эта гипотеза остается одной из шести нерешенных задач по математике, удостоенных премии тысячелетия . по состоянию на 2024 год

Библиография

Книги

В этом подразделе перечислены все книги, написанные Атьей; в нем отсутствуют несколько книг, которые он редактировал.

• Атья, Майкл Ф.; Макдональд, Ян Г. (1969), Введение в коммутативную алгебру , Addison-Wesley Publishing Co., Ридинг, Массачусетс-Лондон-Дон Миллс, Онтарио, MR   0242802 . Классический учебник по стандартной коммутативной алгебре.
• Атья, Майкл Ф. (1970), Векторные поля на многообразиях , Рабочая группа по исследованию штата Северный Рейн-Вестфалия, выпуск 200, Кельн: Westdeutscher Verlag, MR   0263102 . Перепечатано как ( Атья 1988b , пункт 50).
• Атья, Майкл Ф. (1974), Эллиптические операторы и компактные группы , Конспекты лекций по математике, Vol. 401, Берлин, Нью-Йорк: Springer-Verlag , MR   0482866 . Перепечатано как ( Atiyah 1988c , пункт 78).
• Атья, Майкл Ф. (1979), Геометрия полей Янга – Миллса , Scuola Normale Superiore Pisa, Пиза, MR   0554924 . Перепечатано как ( Atiyah 1988e , пункт 99).
• Атья, Майкл Ф.; Хитчин, Найджел (1988), Геометрия и динамика магнитных монополей , Лекции М.Б. Портера, Princeton University Press , doi : 10.1515/9781400859306 , ISBN  978-0-691-08480-0 , МР   0934202 . Перепечатано как ( Атия 2004 , пункт 126).
• Атья, Майкл Ф. (1988a), Собрание сочинений. Том. 1 Ранние статьи: общие статьи , Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN  978-0-19-853275-0 , МР   0951892 .
• Атья, Майкл Ф. (1988b), Собрание сочинений. Том. 2 K-теория , Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN  978-0-19-853276-7 , МР   0951892 .
• Атья, Майкл Ф. (1988c), Собрание сочинений. Том. 3 Теория индекса: 1 , Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN  978-0-19-853277-4 , МР   0951892 .
• Атья, Майкл Ф. (1988d), Собрание сочинений. Том. 4 Теория индекса: 2 , Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN  978-0-19-853278-1 , МР   0951892 .
• Атья, Майкл Ф. (1988e), Собрание сочинений. Том. 5 калибровочных теорий , Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN  978-0-19-853279-8 , МР   0951892 .
• Атья, Майкл Ф. (1989), K-теория , Advanced Book Classics (2-е изд.), Аддисон-Уэсли , ISBN  978-0-201-09394-0 , МР   1043170 . Первое издание (1967 г.) переиздано как ( Atiyah 1988b , пункт 45).
• Атья, Майкл Ф. (1990), Геометрия и физика узлов , Lezioni Lincee. [Лекции Линсеи], Cambridge University Press , doi : 10.1017/CBO9780511623868 , ISBN  978-0-521-39521-2 , МР   1078014 . Перепечатано как ( Атия 2004 , пункт 136).
• Атья, Майкл Ф. (2004), Собрание сочинений. Том. 6 , Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN  978-0-19-853099-2 , МР   2160826 .
• Атья, Майкл Ф. (2007), Мы все математики (итал.: Мы все математики) , Рим: Di Renzo Editore, стр. 96, ISBN  978-88-8323-157-5 , архивировано из оригинала 14 января 2019 года , получено 23 июля 2008 года.
• Атья, Майкл (2014), Собрание сочинений. Том. 7. 2002–2013 , Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN.  978-0-19-968926-2 , МР   3223085 .
• Атья, Майкл Ф.; Ягольницер, Даниэль; Чонг, Читат (2015), Лекции медалистов Филдса (3-е издание) , World Scientific, doi : 10.1142/9652 , ISBN  978-981-4696-18-0 .

Избранные статьи

• Атья, Майкл Ф. (1961), «Характеристики и когомологии конечных групп» , Inst. Hautes Études Sci. Опубл. Математика. , 9 : 23–64, doi : 10.1007/BF02698718 , S2CID   54764252 . Перепечатано в ( Atiyah 1988b , статья 29).
• Атья, Майкл Ф.; Хирцебрух, Фридрих (1961), Векторные расслоения и однородные пространства , Труды симпозиумов по чистой математике, том. 3, стр. 7–38, doi : 10.1090/pspum/003/0139181 , ISBN.  9780821814031 . Перепечатано в ( Atiyah 1988b , статья 28).
• Атья, Майкл Ф.; Сигал, Грэм Б. (1969), «Эквивариантная K-теория и пополнение», Журнал дифференциальной геометрии , 3 (1–2): 1–18, doi : 10.4310/jdg/1214428815 . Перепечатано в ( Atiyah 1988b , статья 49).
• Атья, Майкл Ф. (1976), «Эллиптические операторы, дискретные группы и алгебры фон Неймана», Коллоквиум «Анализ и топология» в честь Анри Картана (Орсе, 1974) , Asterisque, vol. 32–33, Соц. Математика. Франция, Париж, стр. 43–72, MR   0420729 . Перепечатано в ( Atiyah 1988d , статья 89). Формулировка «Гипотезы» Атьи о рациональности L ² -Числа Бетти.
• Атья, Майкл Ф.; Сингер, Исадор М. (1963), «Индекс эллиптических операторов на компактных многообразиях», Bull. амер. Математика. Соц. , 69 (3): 322–433, doi : 10.1090/S0002-9904-1963-10957-X . Анонс теоремы об индексе. Перепечатано в ( Atiyah 1988c , статья 56).
• Атья, Майкл Ф.; Сингер, Исадор М. (1968a), «Индекс эллиптических операторов I», Annals of Mathematics , 87 (3): 484–530, doi : 10.2307/1970715 , JSTOR   1970715 . Это дает доказательство с использованием К-теории вместо когомологий . Перепечатано в ( Atiyah 1988c , статья 64).
• Атья, Майкл Ф.; Сигал, Грэм Б. (1968), «Индекс эллиптических операторов: II», Анналы математики , вторая серия, 87 (3): 531–545, doi : 10.2307/1970716 , JSTOR   1970716 . Это переформулирует результат как своего рода теорему Лефшеца о неподвижной точке, используя эквивариантную K-теорию . Перепечатано в ( Atiyah 1988c , статья 65).
• Атья, Майкл Ф.; Сингер, Исадор М. (1968b), «Индекс эллиптических операторов III», Анналы математики , вторая серия, 87 (3): 546–604, doi : 10.2307/1970717 , JSTOR   1970717 . В этой статье показано, как перейти от версии K-теории к версии, использующей когомологии. Перепечатано в ( Atiyah 1988c , статья 66).
• Атья, Майкл Ф.; Сингер, Исадор М. (1971), «Индекс эллиптических операторов IV», Annals of Mathematics , Second Series, 93 (1): 119–138, doi : 10.2307/1970756 , JSTOR   1970756. В этой статье изучаются семейства эллиптических операторов, где индекс теперь является элементом K-теории пространства, параметризующего семейство. Перепечатано в ( Atiyah 1988c , статья 67).
• Атья, Майкл Ф.; Сингер, Исадор М. (1971), «Индекс эллиптических операторов V», Анналы математики , вторая серия, 93 (1): 139–149, doi : 10.2307/1970757 , JSTOR   1970757 . При этом изучаются семейства реальных (а не сложных) эллиптических операторов, когда иногда можно выжать немного дополнительной информации. Перепечатано в ( Atiyah 1988c , статья 68).
• Атья, Майкл Ф.; Ботт, Рауль (1966), «Формула Лефшеца с фиксированной точкой для эллиптических дифференциальных операторов», Bull. Являюсь. Математика. Соц. , 72 (2): 245–50, номер документа : 10.1090/S0002-9904-1966-11483-0 . Это формулирует теорему о вычислении числа Лефшеца эндоморфизма эллиптического комплекса. Перепечатано в ( Atiyah 1988c , статья 61).
• Атья, Майкл Ф.; Ботт, Рауль (1967), «Формула Лефшеца с фиксированной точкой для эллиптических комплексов: I», Annals of Mathematics , Second Series, 86 (2): 374–407, doi : 10.2307/1970694 , JSTOR   1970694 (перепечатано в ( Atiyah 1988c) , статья 61)) и Атья, Майкл Ф.; Ботт, Рауль (1968), «Формула Лефшеца с фиксированной точкой для эллиптических комплексов: II. Приложения», Annals of Mathematics , Second Series, 88 (3): 451–491, doi : 10.2307/1970721 , JSTOR   1970721 . Перепечатано в ( Atiyah 1988c , статья 62). В них приведены доказательства и некоторые приложения результатов, анонсированных в предыдущей статье.
• Атья, Майкл Ф.; Ботт, Рауль; Патоди, Виджей К. (1973), «Об уравнении теплопроводности и теореме об индексе» (PDF) , Invent. Математика. , 19 (4): 279–330, Bibcode : 1973InMat..19..279A , doi : 10.1007/BF01425417 , MR   0650828 , S2CID   115700319 ; Атья, Майкл Ф.; Ботт, Р.; Патоди, В.К. (1975), «Ошибки», Инвент. Математика. , 28 (3): 277–280, Bibcode : 1975InMat..28..277A , doi : 10.1007/BF01425562 , MR   0650829 Перепечатано в ( Atiyah 1988d , статья 79, 79a).
• Атья, Майкл Ф.; Шмид, Вильфрид (1977), «Геометрическая конструкция дискретного ряда для полупростых групп Ли», Invent. Математика. , 42 : 1–62, Bibcode : 1977InMat..42....1A , doi : 10.1007/BF01389783 , MR   0463358 , S2CID   189831012 ; Атья, Майкл Ф.; Шмид, Вильфрид (1979), «Ошибка», Invent. Математика. , 54 (2): 189–192, Бибкод : 1979InMat..54..189A , doi : 10.1007/BF01408936 , MR   0550183 . Перепечатано в ( Atiyah 1988d , статья 90).
• Атья, Майкл (2010), Эдинбургские лекции по геометрии, анализу и физике , arXiv : 1009.4827v1 , Bibcode : 2010arXiv1009.4827A

Награды и почести

Помещение Королевского общества , президентом которого Атья был с 1990 по 1995 год.

В 1966 году, когда ему было тридцать семь лет, он был награжден Медалью Филдса . за работу по разработке K-теории, обобщенной теоремы Лефшеца о неподвижной точке и теоремы Атьи-Зингера, за которую он также получил Абелевскую премию совместно с Исадором Сингером в 2004 году. Среди других наград, которые он получил, - Королевская медаль Королевского общества 1968 года. медаль Де Моргана Лондонского математического общества в 1980 году, премия Антонио Фельтринелли Национальной академии Линчеи в 1981 году, Международная премия короля Фейсала в области науки в 1987 году, Медаль Копли Королевского общества в 1988 году, Медаль Бенджамина Франклина за выдающиеся достижения в области науки Американского философского общества в 1993 году, Медаль столетия со дня рождения Джавахарлала НеруИндийской национальной академии наук в 1993 году, Института Медаль Президента физики в 2008 году, Большая медаль Французской академии наук в 2010 г. и кавалер ордена Почетного легиона Франции в 2011 году.

Он был избран иностранным членом Национальной академии наук , Американской академии искусств и наук (1969). Академия наук , Академия Леопольдина , Шведская королевская академия , Королевская ирландская академия , Эдинбургское королевское общество , Американское философское общество , Индийская национальная академия наук , Китайская академия наук , Австралийская академия наук , Российская академия наук. Академия наук , Украинская академия наук , Грузинская академия наук , Венесуэльская академия наук , Норвежская академия наук и литературы , Королевская испанская академия наук , Академия деи Линчеи и Московское математическое общество . В 2012 году он стал членом Американского математического общества . Он также был назначен почетным членом Королевской инженерной академии в 1993 году.

Атья был удостоен почетных степеней университетов Бирмингема, Бонна, Чикаго, Кембриджа, Дублина, Дарема, Эдинбурга, Эссекса, Гента, Хельсинки, Ливана, Лестера, Лондона, Мексики, Монреаля, Оксфорда, Ридинга, Саламанки, Сент-Эндрюса, Сассекса. , Уэльс, Уорик, Американский университет в Бейруте, Университет Брауна, Карлов университет в Праге, Гарвардский университет, Университет Хериот-Ватт, Гонконг (Китайский университет), Университет Кил, Королевский университет (Канада), Открытый университет, Университет Ватерлоо , Университет Уилфрида Лорье, Технический университет Каталонии и UMIST.

Атья стал рыцарем-холостяком в 1983 году. В 1992 году стал кавалером ордена « За заслуги» .

Здание Майкла Атьи в Университете Лестера и кафедра математических наук Майкла Атьи в Американском университете Бейрута были названы в его честь.

Личная жизнь

Атья женился на Лили Браун 30 июля 1955 года, от которой у него было трое сыновей: Джон, Дэвид и Робин. Старший сын Атьи Джон умер 24 июня 2002 года во время прогулки по Пиренеям со своей женой Мадж-Лис.

Лили Атья умерла 13 марта 2018 года в возрасте 90 лет. а сэр Майкл Атья умер менее чем через год, 11 января 2019 года, в возрасте 89 лет.

См. также

• Список президентов Королевского общества

Ссылки

Источники

• Бойер, Чарльз П.; Хуртубисе, JC ; Манн, Б.М.; Милгрэм, Р.Дж. (1993), «Топология пространств инстантонных модулей. I. Гипотеза Атьи – Джонса», Annals of Mathematics , Second Series, 137 (3): 561–609, doi : 10.2307/2946532 , ISSN   0003-486X , JSTOR   2946532 , МР   1217348
• Барт, Вольф П.; Хулек, Клаус; Питерс, Крис AM; Ван де Вен, Антониус (2004), Компактные комплексные поверхности , Берлин: Springer, стр. 334, ISBN  978-3-540-00832-3
• Гельфанд, Израиль М. (1960), "Об эллиптических уравнениях", Изв. Математика. Выж. , 15 (3): 113–123, Бибкод : 1960РуМаС..15..113Г , doi : 10.1070/rm1960v015n03ABEH004094 . Перепечатано в первом томе его собрания сочинений, с. 65–75, ISBN   0-387-13619-3 . На стр. 120 Гельфанд предполагает, что индекс эллиптического оператора должен быть выразим через топологические данные.
• Хардер, Г.; Narasimhan, MS (1975), «О кохомологических группах модули-пространств векторных пучков на кривых» , Matematische Annalen , 212 (3): 215–248, doi : 10.1007/bf01357141 , ISSN   0025-5831 , MR   0364254 , S2CID   1171060606060606060606060606 . , архивировано из оригинала 5 марта 2016 года , получено 30 сентября 2013 года.
• Мацуки, Кенджи (2002), Введение в программу Мори , Universitext, Берлин, Нью-Йорк: Springer-Verlag , doi : 10.1007/978-1-4757-5602-9 , ISBN  978-0-387-98465-0 , МР   1875410
• Пале, Ричард С. (1965), Семинар по теореме об индексе Атьи – Зингера , Анналы математических исследований, том. 57, SL: Princeton Univ Press, ISBN  978-0-691-08031-4 . Это описывает оригинальное доказательство теоремы об индексе. (Атья и Сингер сами никогда не публиковали свое оригинальное доказательство, а лишь улучшали его версии.)
• Сигал, Грэм Б. (1968), «Кольцо представлений компактной группы Ли» , Inst. Hautes Études Sci. Опубл. Математика. , 34 : 113–128, doi : 10.1007/BF02684592 , S2CID   55847918 .
• Яу, Шинг-Тунг; Чан, Раймонд Х., ред. (1999), «Сэр Майкл Атья: великий математик двадцатого века» , Asian J. Math. , 3 (1), Международная пресса: 1–332, ISBN  978-1-57146-080-6 , MR   1701915 , заархивировано из оригинала 8 августа 2008 года .
• Яу, Шинг-Тунг, изд. (2005), Основатели теории индексов: воспоминания об Атье, Ботте, Хирцебрухе и Сингере , International Press, стр. 358, ISBN  978-1-57146-120-9 , заархивировано из оригинала 7 февраля 2006 года .

Внешние ссылки

• Майкл Атья рассказывает историю своей жизни в Web of Stories
• Празднование 80-летия Майкла Атьи в Эдинбурге, 20-24 апреля 2009 г.
• Математические потомки Майкла Атьи
• «Сэр Майкл Атья о математике, физике и развлечениях» , superstringtheory.com , Официальный веб-сайт теории суперструн], заархивировано из оригинала 14 сентября 2008 г. , получено 14 августа 2008 г.
• Атья, Майкл, Красота в математике (видео, 3 минуты 14 секунд) , заархивировано из оригинала 26 мая 2011 года , получено 14 августа 2008 года.
• Атья, Майкл, Природа космоса (онлайн-лекция) , заархивировано из оригинала 3 августа 2020 г. , получено 14 августа 2008 г.
• Батра Амба (8 ноября 2003 г.), гуру математики с мечтой Эйнштейна, предпочитает мел мыши. (Интервью с Атьей). , Лента новостей Дели, заархивировано из оригинала 8 февраля 2009 г. , получено 14 августа 2008 г.
• Майкл Атья в проекте «Математическая генеалогия»
• Халим, Хала (1998), «Майкл Атия: Евклид и Виктория» , еженедельник Аль-Ахрам в Интернете , вып. 391, заархивировано из оригинала 16 августа 2004 г. , получено 26 августа 2008 г.
• Мик, Джеймс (21 апреля 2004 г.), «Интервью с Майклом Атьей» , The Guardian , Лондон , получено 14 августа 2008 г.
• Сэр Майкл Атья, FRS , Институт Исаака Ньютона , архивировано из оригинала 31 мая 2008 г. , получено 14 августа 2008 г.
• «Атья и Сингер получают премию Абеля 2004 г.» (PDF) , Уведомления Американского математического общества , 51 (6): 650–651, 2006 г. , получены 14 августа 2008 г.
• Рауссен, Мартин; Скау, Кристиан (24 мая 2004 г.), Интервью с Майклом Атьей и Исадор Сингер , получено 14 августа 2008 г.
• Фотографии Майкла Фрэнсиса Атьи , коллекция фотографий Обервольфаха , получены 14 августа 2008 г.
• Уэйд, Майк (21 апреля 2009 г.), Математика и бомба: сэр Майкл Атья в 80 лет , Лондон: Timesonline , получено 12 мая 2010 г.
• Список работ Майкла Атьи из Celebratio Mathematica
• Конн, Ален; Кунейхер, Джозеф (2019). «Сэр Майкл Атья, рыцарь-математик: дань уважения Майклу Атье, вдохновителю и другу». Уведомления Американского математического общества . 66 (10): 1660–1685. arXiv : 1910.07851 . Бибкод : 2019arXiv191007851C . дои : 10.1090/noti1981 . S2CID   204743755 .
• Портреты Майкла Атьи в Национальной портретной галерее, Лондон