Читать онлайн «Журнал «Компьютерра» №37». Страница 25

Итак, мы выдвинули гипотезу, что сновидения - способ усложнять нейронные сети, обеспечивающие важные для бодрствования формы поведения. Не вполне ясно, является ли эта гипотеза по-настоящему новой. Открыватель нейрогенеза Элизабет Гуд исследует сейчас влияние лишения сна на подопытных животных, и можно предположить, что она проверяет похожее предположение. С другой стороны, такая точка зрения не обязательно противоречит тем, которые высказывались ранее. Так, по мнению российско-израильского психофизиолога Вадима Ротенберга, функция сна - обеспечивать поисковое поведение, недостаточно реализующееся во время бодрствования. Когда организм не может найти подходящие пути приспособления наяву, сны помогают разрядить накопившееся напряжение. Такое объяснение вполне сочетается с нашим. Преодоление конфликта во сне помогает развивать центры, необходимые для его преодоления наяву!

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

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

«…поэтому мир… надо признать родственным сновидению или даже принадлежащим к одному с ним классу вещей. Ибо та функция мозга, которая во время сна какими-то чарами порождает совершенно объективный, наглядный, даже осязаемый мир, должна принимать такое же участие в создании объективного мира бодрствования».

Артур Шопенгауэр

Можно ли свести изучение множества решений полиномиального уравнения к изучению более простых объектов? Об этом нe только гипотеза Ходжа. Из подобных вопросов выросла вся алгебраическая геометрия.

Писать популярную статью о гипотезе Ходжа - задача неблагодарная. Пишешь о гипотезе Римана - к твоим услугам и богатая история вопроса, и интересные взаимосвязи с массой других областей, и долгая история численных экспериментов, поднимающихся уже в высоты совершенно заоблачные. Пишешь об уравнениях Навье-Стокса - тоже затруднений не испытываешь: разве не интересно узнать, как вода течет и воздух движется? Да и сами уравнения Навье-Стокса вовсе не выглядят зубодробительными и доступны человеку, прошедшему курс высшей математики, даже если он на лекциях играл в крестики-нолики и экзамен сдал на тройку. А вот алгебраическая геометрия, смысл и задачи которой, может, и нетрудно понять, но преподавание которой не налажено практически нигде[Говорю по собственному опыту. На математико-механическом факультете СПбГУ алгебраической геометрией занимается множество преподавателей (ибо наука очень важная и популярная), но в базовые курсы она не входит и преподается исключительно в рамках спецкурсов и в личных беседах. В связи с этим - спасибо Александру Леонидовичу Смирнову за беседу и лекцию, которые помогли мне при написании этой статьи], - совсем другое дело… Поэтому предупреждаю сразу: в этой статье даже толково сформулировать гипотезу Ходжа не получится. Поговорим мы в основном об алгебраической геометрии - что это, зачем и куда оно движется.

Алгебраическая геометрия

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

Приведу пример довольно сложного для анализа уравнения с тремя переменными: xn+yn-zn=0, где x, y, z - целые числа (его обычно переписывают с двумя переменными - x

+yn-1=0, но разрешают переменным принимать рациональные значения). Структура решений этого уравнения известна: у каждого из решений одна из компонент - x, y или z - равна 0. Однако для установления этого факта потребовалось более трехсот пятидесяти лет: от заметки на полях «Арифметики» Диофанта до доказательства Эндрю Уайльса (Andrew Wiles, см. врезку).

Алгебраические геометры и Филдсовская премия

Как известно, математикам не дают Нобелевскую премию (говорят, у Нобеля были весьма интимные счеты с одним математиком - впрочем, это всего лишь слухи). Возмущенный этой несправедливостью, канадский математик Джон Чарльз Филдс (John Charles Fields) предложил учредить для математиков отдельную награду, которая теперь так и называется - Филдсовская премия (по-английски - Fields Medal; почему при переводе медаль зачастую становится премией и так и попадает в словари, мне выяснить не удалось). Впервые она была присуждена в 1936 году, и всего было выдано 45 медалей представителям самых разных областей математики. Многие из них занимались среди прочего алгебраической геометрией. Но даже медалей, выданных исключительно за достижения в алгебраической геометрии, набрался целый десяток - кажется, больше, чем в любой другой области математики. Вот имена этих лауреатов:

1954: Кунихико Кодаира;

1966: Александр Гротендик (Alexander Grothendieck; о его жизни можно писать отдельную статью, и преувлекательно выйдет - например, говорят, что сейчас он живет отшельником где-то в Пиренеях, но точно никто ничего об этом не знает; а в математике это фигура примерно уровня Эйнштейна в физике);

1970: Хейсуке Хиронака;

1974: Дэвид Мамфорд (David Mumford);

1978: Даниэль Квиллен (Daniel Quillen)

и Пьер Делинь (Pierre Deligne);

1986: Герд Фалтингс (Gerd Faltings);

1990: Владимир Дринфельд и Шигефуми Мори;

2004: Лоран Лаффорг (Laurent Lafforgue) и Владимир Воеводский.

У Филдсовской премии есть одно строгое ограничение, которого нет у Нобелевской: лауреат должен быть не старше сорока лет. Именно это ограничение не позволило вручить заслуженную медаль Эндрю Уайльсу (Andrew Wiles), который доказал великую теорему Ферма. Точнее говоря, он доказал более общее утверждение о связи модулярных и эллиптических форм - гипотезу Таниямы-Шимуры. История доказательства теоремы Ферма тоже на редкость интересна - Эндрю Уайльс несколько лет работал над проблемой, никому не рассказывая о том, чем занимается… Советую прочесть книгу о теореме Ферма (rrc.dgu.ru/res/mikel.altonika.ru/fermat/flt.htm). Если отвлечься от постоянных лирических отступлений на математические забавности, к теореме Ферма имеющие весьма опосредованное отношение, чтиво очень интересное.

Алгебраическая геометрия в современной математике играет ведущую роль. Ее проблемы стимулируют развитие и алгебры, и геометрии с топологией, и теории чисел, и многих других отраслей математического знания. Из семи «задач на миллион» три имеют непосредственное отношение к алгебраической геометрии - гипотеза Ходжа, гипотеза Берча-Суиннертон-Дайера и гипотеза Римана. Фактически алгебраическая геометрия - самый популярный и быстро развивающийся фронтир сегодняшней «чистой математики» (если не относить к чистой науке вопросы теоретической информатики).

Инварианты и гипотеза Ходжа

Центральное понятие, предопределяющее структуру подавляющего большинства исследований в алгебраической геометрии, - это понятие инварианта. Идею инвариантов понять легко. Предположим, что есть два объекта (в данном случае - два множества решений тех или иных уравнений), и нужно выяснить, равны ли они. Сделать это очень сложно, если вообще возможно, - как сравнивать? Но можно установить некоторые свойства объектов, и если эти свойства окажутся не идентичными, то и исходные объекты, очевидно, не равны. Например, проверить, совпадают ли два текста, можно, сравнив их объем. Если размер текстов отличается - в них можно и не заглядывать. В алгебраической геометрии одними из простейших инвариантов являются размерность или связность искомого множества.

Обратное, разумеется, неверно: из равенства двух инвариантов нельзя ничего заключить о равенстве исходных объектов. Но и такое частичное знание - уже хорошо. А полное счастье настанет, если все же удастся доказать обратное утверждение (иными словами, если избранный набор инвариантов будет однозначно задавать исходный объект). Гипотеза Ходжа - как раз одно из таких заманчивых утверждений. Если она окажется верной, изучение большого и сложного класса алгебраических многообразий (так называют множества, составленные из кусочков, каждый из которых является множеством решений каких-либо полиномиальных уравнений) фактически сведется к изучению гораздо более простых объектов.

Теперь о текущем статусе гипотезы. В предыдущих статьях мы говорили о гипотезе Римана и уравнении Навье-Стокса. В гипотезу Римана верят все математики. В единственность решения уравнений Навье-Стокса - тоже (по крайней мере, при достаточных для практических применений условиях). Гипотеза Ходжа выбивается из этого ряда. Долгое время верили, что она верна - но доказать это никак не удавалось. В последние годы многие математики предположили, что доказательство не удается найти просто потому, что гипотеза неверна - но контрпримеров пока построить тоже не удалось. Никаких численных экспериментов в этой задаче провести невозможно. Утверждение гипотезы доказано для ряда частных случаев, но на то они и частные. Если же контрпример будет построен, вряд ли он будет иметь очень простой вид. В общем, гипотеза Ходжа пока что открыта со всех сторон.