| RUS ENG |
| Полная версия |
|
|
|
| ПЕРСОНАЛИИ |
| Белов Алексей Яковлевич |
|
| профессор |
| доктор физико-математических наук (2002) |
"Чистая" математика.
1. $PI$-теория. Проблема Шпехта: Доказана локальная представимость относительно свободных алгебр и конечная базируемость систем тождеств в ассоциативной алгебре над произвольным нетеровым ассоциативно-коммутативным кольцом от ограниченного множества переменных. Тем самым решены вопросы, поставленные акад. А.И.Мальцевым в 1968 г. Для бесконечного числа переменных приведен контрпример к проблеме Шпехта -- построена бесконечно базируемая система тождеств над произвольном полем положительной характеристики. Доказана алгоритмическая разрешимость проблемы следования тождеств в ассоциативной алгебре (проблема Мальцева-Тарского-Фон Неймана, поставлена в 1967 г.). Показана рациональность рядов Гильберта для относительно свободных ассоциативных алгебр (вопрос, поставленный К.Прочези в 1970 г.). И в то же время приведен пример представимой алгебры с трансцендентным рядом Гильберта.
Перспективы: Доказательство локальной конечной базируемости и локальной представимости алгебр Ли в которых выполняется система тождеств Капелли, а также над доказательством локальной представимости для класса колец, ассимптотически близких к ассоциативным, в которых радикал отщепляется от полупростой части, над полем нулевой характеристики. Предполагается работать над вопросом В.Н.Латышева о конечности базиса обструкций для $T$-идеалов. Контрпримеры к проблеме Шпехта привели к пониманию следа от кососимметричности и к концепции знака ``минус над полем характеристики $2$ и над кольцами, дало путь к построению супертеории.
В свете рациональности рядов Гильберта относительно свободных алгебр и примеров трансцендентности этого ряда для представимых алгебр, интересует тематика, связанная с исследованием линейных базисов алгебр. Мономиальная алгебра представима если и только если множество ее ненулевых слов есть множество подслов конечного набора серий $x_1^{k_1}\cdots x_s^{k_s}$ при этом множество векторов $k_1,\dots,k_s$ удовлетворяют системе экспоненциально диофантовых неравенств вида $\sum_I P_I(k_1,\dots,k_s) \lambda_{i_1}^{k_1}\cdots\lambda_{i_s}^{k_s} \ne 0$. Поэтому над полем нулевой характеристики проблема изоморфизма двух мономиальных подалгебр алгебр матриц над кольцом многочленов алгоритмически неразрешима, а с другой стороны в силу совместного результата с учеником -- А.А.Чиликовым, описывающим множество решений системы экспоненциально диофантовых уравнений с основаниями экспонент в поле положительной характеристики, эта проблема оказывается алгоритмически разрешимой. Интересно исследовать базисы представимых алгебр. Целочисленность их размерностей Гельфанда Кириллова и ее совпадение с существенной высотой установлена автором. Представляется интересным также получение полиномиальных оценка в теореме Ширшова о высоте (субэкспоненциальные оценки получены совместно с М. И. Харитоновым).
2. Геометрическая теория колец. Совместно с И.А.Рипсом, А.Аткарской, Е.Плоткиным Развита теория колец с малыми сокращениями, имеется перспективы решения ряда проблем, создаются тексты. Показано, что бесконечное критическое кольцо должно быть телом.
Перспективы: Построение аналога теории гиперболических колец. В этой связи имеются красивые задачи.
Благодаря решению И.Рипсом и А.Юхасом проблемы построения не локально разрешимой энгелевой группы возникла теория групп с неположительной кривизны с флатами -- коммутирующими фрагментами. Эта теория позволяет понять и кольцевой случай, ибо коммутирующие части ведут себя подобно сложению.
3. Аффинная алгебраическая геометрия: Вместе с М.Л.Концевичем показано, что из гипотезы Якобиана следует гипотеза Диксмье. Вместе с Jie Tai Yu показано, что дикие автоморфизмы $K[x,y,z]$ не поднимаются до $z$-автоморфизмов свободной ассоциативной алгебры и что $z$-автоморфизмы $K<x,y,z>$ стабильно ручные. Предполагается работа над теорией $IND$-схем, получение соответствующих доказательств гипотезы Концевича о изоморфизме групп полиномиальных симплектоморфизмов и автоморфизмов алгебры Вейля, а также над проблемой невозможности подъема диких автоморфизмов.
Представляется интересной работа над исследованием значений многочленов от матриц. В свете продвижения в вопросе Капланского-Львова (совместно с Л.Роуэном и С.Малевым) есть шансы описать множества значений полилинейных полиномов в общем случае с точностью до замыкания по Зарисскому. Исследование случая когда размер матриц много больше степени полинома может помочь доказать теорему о свободе, а также построить алгебраически замкнутое некоммутативное тело в произвольной характеристике (обобщение результата Макар-Лиманова).
Прикладная математика.
1. Механика и комбинаторная геометрия. Изобретены самозаклинивающиеся структуры и развита соответствующая теория вместе с соавторами. В малом зерне не успевает развиться трещина, и ее рост останавливается при выходе на границу. В то же время существуют расположения выпуклых тел, (в частности, правильных многогранников), которые друг друга держат. Это обстоятельство может позволить создать композитные материалы, которые выдерживают высокие давления.
Эти соображения уже используются при создании бронежилетов. Предполагается дальнейшая работа над самозаклинивающимися структурами и их инженерными приложениями.
2. Методы построения конечно представленных объектов в общей алгебре. Совместно с учеником И.А.Ивановым-Погодаевым решена проблема Шеврина-Сапира -- построена конечно определенная бесконечная ниль-полугруппа с тождеством $x^9=0$.
Вопрос был поставлен в Свердловской тетради. В настоящее время есть мало эффективных методов построения конечно представленных объектов. При построении нильполугруппы разработан новый метод таких построений, использующий апериодические мозаики. В частности, слова рассматриваются как пути на геометрическом равномерно-эллиптическом пространстве, обладающем апериодической природой и набором специальных свойств. Проблема Шеврина-Сапира требует методов, связанных с геометрией апериодических мозаик на равномерно-эллиптическом пространстве.
Данная задача имеет значение в computer science -- буква алфавита символизирует конечный автомат, а слово -- цепочку локально взаимодействующих автоматов. Задача состоит в координации поведения системы автоматов при обратимых преобразованиях из любых начальных состояниях.
Перспективы. Предполагается достичь тождества $x^2=0$, работать над неограниченной экспонентой. Планируется приспособить метод для построения конечно заданных объектов в кольцах и группах. Например, получить осмысленные соображения в проблеме Латышева о конечно определенном ненильпотентном ниль кольце.
Для ряда задач, например при построении конечно определенной полугруппы с рекурсивной размерностью Гельфанда-Кириллова можно ограничиться чисто автоматными методами, т.е. путем исследования цепочек локально взаимодействующих автоматов (см. диссертацию И. А. Иванова-Погодаева, предшествующую решению проблемы Шеврина-Сапира).
Данный сюжет перекликается с идеями П.Гатча, Г.Л.Курдюмова, Л.А.Левина и о поведении систем конечных автоматов на прямой. Представляется интересным и важным применить геометрические методы позволяющие переходить от одномерного к многомерному случаю для прояснения знаменитой теоремы П.Гатча -- примера двух случайно эволюционирующих стационарных систем клеточных автоматов на прямой с разными статистиками ( positive rates conjecture). Начало деятельности с И.А.Ивановым-Погодаевым было связано с задачей А.Тоома (связанной с обработкой изображений) о плоской эволюции паттернов , возникшей благодаря positive rates conjecture.
Было бы интересно и важно получить конечно определенную полугруппу с размерностью Гельфанда-Кириллова равной $2.5$.
3. Комбинаторика слов и схемы Рози, теоремы типа теоремы Вершика-Лившица. Вместе с учеником А. Л. Чернятьевым получен критерий того, что символическая динамика порождается перекладыванием отрезков, тем самым был дан ответ на вопрос, поставленный Г.Рози в 1979 г.. (Чуть позже для почти периодических слов удовлетворяющих i.d.o.c.-condition S.Ferenci и L.Zamboni независимо получили аналогичный результат.) Вместе с учеником И. В. Митрофановым получена теорема типа теоремы Вершика-Лившица дающую критерий того, что почти периодическое сверхслово задается HDOLL-системой (первое продвижение по этой проблеме было в 1986 году). Это позволило И.В.Митрофанову решить известные проблемы, поставленные А. А. Мучником, Ю.Л.Притыкиным, А.Л.Семеновым -- установить алгоритмическую разрешимость проверки периодичности а также почти периодичности $HDOLL$-системы. Аналогичный результат был независимо получен F.Durandом. Показано, что если старший коэффициент многочлена $P(x)$ иррационален, а $W$ есть слово, составленное из первых двоичных цифр дробной части $\{P(n)\}$, то количество подслов длины $n$ слова $W$ при достаточно больших $n$ является в точности полиномом от $n$.
Предполагается применить технику схем Рози и теорем типа Вершика-Лившица для гипотезы Пюизо и для изучения конкретных точек во фракталах Рози и для дальнейшего исследования $HDOLL$-систем, в частности проблем совпадения сверхслов и совпадения языков. Ф.Руховичем разработана компьютерная система для доказательства наличия индукции Рози, самоподобия и апериодических точек и доказано существование апериодических точек во внешнем биллиарде вокруг правильного 12-угольника.
По связям алгебры и логики выиграно ряд грантов РФФИ, РНФ Israel Science foundation.
4. Статистическая геометрия. Имеются приложения статистической геометрии в горном деле. Трещины могут моделироваться случайными плоскостями. Разработан метод, позволяющий находить явные формулы для вероятностных распределений в плоских задачах статистистической геометрии, в частности распределение площадей и периметров при распределении плоскости пуассоновским полем прямых.
Предполагается провести исследование ряда плоских задач мозаик Вороного а также процесса Колмогорова.
5. Математическое образование как инструмент исследования человеческого восприятия и мышления, искусственный интеллект.
Образовательная деятельность, в частности составление подборок олимпиадных задач, важна прежде всего как инструмент построения классификации идей и стереотипов решения задач. для исследования человеческого мышления. Имеющиеся олимпиадные книги и статьи а также классификаторы являются шагами в этом направлении. Такое исследование представляется полезным в связи с работами по искусственному интеллекту. Как было указано известным лингвистом А.В.Гладким, своего рода "литературоведческое " исследование математических текстов перекликается с NLP и с известными работами В.Проппа об исторических корнях волшебной сказки.
С этой точки зрения имеется интерес к комбинаторике, в частности, к комбинаторной геометрии. Результаты, полученные в рамках преподавательской деятельности (в частности, создание олимпиадных задач.) имеют значение прежде всего для верификации правильности вычленения идей и стереотипов.
Предполагается продолжить это направление.
; A. Ya. Belov, “The local finite basis property and local representability of varieties of associative rings”, Izv. Math., 74:1 (2010), 
; A. Ya. Belov, “On the rationality of Hilbert series of relatively free algebras”, Russian Math. Surveys, 52:2 (1997), 
ИСТИНА
