Открытый доступ Открытый доступ  Доступ закрыт Доступ предоставлен  Доступ закрыт Только для подписчиков

Том 88, № 3 (2024)

Обложка

Весь выпуск

Открытый доступ Открытый доступ
Доступ закрыт Доступ предоставлен
Доступ закрыт Только для подписчиков

Статьи

Геометрические конструкции в теории аналитической сложности

Белошапка В.К.

Аннотация

В контексте теории аналитической сложности рассмотрены две геометрические конструкции. Первая – на совокупности аналитических функций построена метрика, инвариантная относительно действия калибровочной группы. Вторая – получено необходимое дифференциально-алгебраическое условие принадлежности функции касательному пространству к классу функций двух переменных аналитической сложности не выше чем два в точке $z_0=x^3 y^2 +xy$. Этот результат позволил привести простой пример полинома степени пять, чья аналитическая сложность равна трем, а именно, $z=x^3y^2+xy + \pi x^2 y^3$.Библиография: 10 наименований.

Известия Российской академии наук. Серия математическая. 2024;88(3):3-11
pages 3-11 views

634 vertex-transitive and more than $10^{103}$ non-vertex-transitive 27-vertex triangulations of manifolds like the octonionic projective plane

Гайфуллин А.А.

Аннотация

In 1987 Brehm and Kühnel showed that any combinatorial $d$-manifold with less than $3d/2+3$ vertices is PL homeomorphic to the sphere and any combinatorial $d$-manifold with exactly $3d/2+3$ vertices is PL homeomorphic to either the sphere or a manifold like a projective plane in the sense of Eells and Kuiper. The latter possibility may occur for $d\in\{2,4,8,16\}$ only. There exist a unique $6$-vertex triangulation of $\mathbb{RP}^2$, a unique $9$-vertex triangulation of $\mathbb{CP}^2$, and at least three $15$-vertex triangulations of $\mathbb{HP}^2$. However, until now, the question of whether there exists a $27$-vertex triangulation of a manifold like the octonionic projective plane has remained open. We solve this problem by constructing a lot of examples of such triangulations. Namely, we construct $634$ vertex-transitive $27$-vertex combinatorial $16$-manifolds like the octonionic projective plane. Four of them have symmetry group $\mathrm{C}_3^3\rtimes \mathrm{C}_{13}$ of order $351$, and the other $630$ have symmetry group $\mathrm{C}_3^3$ of order $27$. Further, we construct more than $10^{103}$ non-vertex-transitive $27$-vertex combinatorial $16$-manifolds like the octonionic projective plane. Most of them have trivial symmetry group, but there are also symmetry groups $\mathrm{C}_3$, $\mathrm{C}_3^2$, and $\mathrm{C}_{13}$. We conjecture that all the triangulations constructed are PL homeomorphic to the octonionic projective plane $\mathbb{OP}^2$. Nevertheless, we have no proof of this fact so far.Bibliography: 52 titles.

Известия Российской академии наук. Серия математическая. 2024;88(3):12-60
pages 12-60 views

О логиках доказуемости арифметики Нибергалля

Дворкин Л.В.

Аннотация

К. Г. Нибергалль предложил простой пример негёделевой арифметической теории $\mathrm{NA}$, в которой доказуема естественная формализация утверждения о собственной непротиворечивости. В настоящей работе рассмотрена логика доказуемости $\mathrm{NA}$ относительно арифметики Пеано. Для нее описан класс конечных шкал Крипке и установлена теорема о полноте. Для консервативного расширения данной логики в языке с дополнительной пропозициональной константой получена конечная аксиоматизация. Также рассмотрены истинностная логика доказуемости $\mathrm{NA}$ и логика доказуемости $\mathrm{NA}$ относительно самой $\mathrm{NA}$. Описаны классы моделей Крипке, относительно которых данные логики полны. Установлена $\mathrm{PSpace}$-полнота проблемы выводимости в перечисленных логиках и описаны их замкнутые фрагменты. Для логики доказуемости $\mathrm{NA}$ относительно арифметики Пеано установлено отсутствие интерполяционного свойства Крейга.Библиография: 19 наименований.

Известия Российской академии наук. Серия математическая. 2024;88(3):61-100
pages 61-100 views

Алгебраическая теорема де Рама и функция Бейкера–Ахиезера

Кричевер И.М., Тахтаджян Л.А.

Аннотация

Для случая алгебраических кривых (компактных римановых поверхностей) показано, что группа когомологий де Рама $H^1_{\mathrm{dR}}(X,\mathbb{C})$ римановой поверхности $X$ рода $g$ имеет естественную структуру симплектического векторного пространства. Выбор неспециального эффективного дивизора $D$ степени $g$ на $X$ задает симплектический базис $H^1_{\mathrm{dR}}(X,\mathbb{C})$, состоящий из голоморфных дифференциалов и дифференциалов второго рода с полюсами в $D$. Этот результат, алгебраическая теорема де Рама, позволяет описать касательное пространство к многообразиям Пикара и Якоби римановой поверхности $X$ в терминах дифференциалов второго рода и определить естественные векторные поля на многообразии Якоби, отвечающие движению точек дивизора $D$. В терминах формализма Лакса на алгебраических кривых эти векторные поля соответствуют уравнениям Дубровина в теории интегрируемых систем, а функция Бейкера–Ахиезера естественным образом получаетсяинтегрированием вдоль интегральных кривых.Библиография: 14 наименований.

Известия Российской академии наук. Серия математическая. 2024;88(3):101-110
pages 101-110 views

Критерий существования связного характеристического пространства орбит у градиентно-подобного диффеоморфизма поверхности

Ноздринова Е.В., Починка О.В., Цаплина Е.В.

Аннотация

Классический подход к изучению динамических систем состоит в представлении динамики системы в виде “источник–сток”, т. е. в выделении дуальной пары аттрактор–репеллер, которые являются притягивающими и отталкивающими множествами для всех остальных траекторий системы. Если удается выбрать дуальную пару аттрактор–репеллер так, что пространство орбит в их дополнении (характеристическое пространство орбит) является связным, то это создает предпосылки для нахождения полных топологических инвариантов динамической системы. На этом пути, в частности, получен целый ряд классификационных результатов для систем Морса–Смейла. Так, полная топологическая классификация 3-диффеоморфизмов Морса–Смейла существенно базируется на наличиисвязного характеристического пространства орбит, ассоциированного с выбором одномерной дуальной пары аттрактор–репеллер. Для диффеоморфизмов Морса–Смейла с гетероклиническими точками на поверхностях известны примеры, для которых все характеристические пространства орбит не связны. В настоящей работе доказан критерий существования связного характеристического пространства орбит для градиентно-подобных (без гетероклинических точек) диффеоморфизмов на поверхностях, из которого, в частности, следует, что связным характеристическим пространством обладает любой сохраняющий ориентацию диффеоморфизм. Тогда как на ориентируемой поверхности любого рода построен меняющий ориентацию градиентно-подобный диффеоморфизм, не обладающий связным характеристическим пространством. Градиентно-подобный диффеоморфизм без связного характеристического пространства построен также на неориентируемой поверхности любого рода.Библиография: 14 наименований.

Известия Российской академии наук. Серия математическая. 2024;88(3):111-138
pages 111-138 views

Об операторах смежности локально конечных графов

Трофимов В.И.

Аннотация

Граф $\Gamma$ называется локально конечным, если у графа $\Gamma$ для каждой вершины $v$ множество $\Gamma(v)$ смежных с ней вершин конечно. Для произвольного локально конечного графа $\Gamma$ с множеством вершин $V(\Gamma)$ и произвольного поля $F$ на $F^{V(\Gamma)}$ (векторном пространстве над $F$ всех функций $V(\Gamma) \to F$ с естественными покомпонентными операциями) определен линейный оператор $A^{(\mathrm{alg})}_{\Gamma,F}\colon F^{V(\Gamma)} \to F^{V(\Gamma)}$, посредством $(A^{(\mathrm{alg})}_{\Gamma,F}(f))(v)=\sum_{u \in \Gamma(v)}f(u)$ для всех $f\in F^{V(\Gamma)}$, $v \in V(\Gamma)$. В случае конечного графа $\Gamma$ отображение $A^{(\mathrm{alg})}_{\Gamma,F}$ есть хорошо известный оператор, определяемый матрицей смежности графа $\Gamma$ (над $F$), и теория собственных значений и собственных функций таких операторов составляет (по крайней мере, в случае $F=\mathbb{C}$) хорошо разработанный раздел теории конечных графов. В настоящей работе разрабатывается теория собственных значений и собственных функций операторов $A^{(\mathrm{alg})}_{\Gamma,F}$ для бесконечных локально конечных графов $\Gamma$ (впрочем, отдельные ее результаты могут представлять интерес для конечных графов) и произвольных полей $F$, хотя особый акцент делается на случай, когда $\Gamma$ – связный граф с ограниченными в совокупности степенями вершин и $F=\mathbb{C}$. Предпринимавшиеся ранее попытки в этом направлении не были, по мнению автора, вполне удовлетворительными в том смысле, что ограничивались рассмотрением лишь собственных функций весьма специального вида (и соответствующих им собственных значений).Библиография: 18 наименований.

Известия Российской академии наук. Серия математическая. 2024;88(3):139-191
pages 139-191 views

The length of the cut locus on convex surfaces

Yuan L., Zamfirescu T.

Аннотация

In this paper, we prove the conjecture stating that, on any closed convex surface, the cut locus of a finite set $M$ with more than two points has length at least half the diameter of the surface.

Известия Российской академии наук. Серия математическая. 2024;88(3):192-202
pages 192-202 views

Согласие на обработку персональных данных с помощью сервиса «Яндекс.Метрика»

1. Я (далее – «Пользователь» или «Субъект персональных данных»), осуществляя использование сайта https://journals.rcsi.science/ (далее – «Сайт»), подтверждая свою полную дееспособность даю согласие на обработку персональных данных с использованием средств автоматизации Оператору - федеральному государственному бюджетному учреждению «Российский центр научной информации» (РЦНИ), далее – «Оператор», расположенному по адресу: 119991, г. Москва, Ленинский просп., д.32А, со следующими условиями.

2. Категории обрабатываемых данных: файлы «cookies» (куки-файлы). Файлы «cookie» – это небольшой текстовый файл, который веб-сервер может хранить в браузере Пользователя. Данные файлы веб-сервер загружает на устройство Пользователя при посещении им Сайта. При каждом следующем посещении Пользователем Сайта «cookie» файлы отправляются на Сайт Оператора. Данные файлы позволяют Сайту распознавать устройство Пользователя. Содержимое такого файла может как относиться, так и не относиться к персональным данным, в зависимости от того, содержит ли такой файл персональные данные или содержит обезличенные технические данные.

3. Цель обработки персональных данных: анализ пользовательской активности с помощью сервиса «Яндекс.Метрика».

4. Категории субъектов персональных данных: все Пользователи Сайта, которые дали согласие на обработку файлов «cookie».

5. Способы обработки: сбор, запись, систематизация, накопление, хранение, уточнение (обновление, изменение), извлечение, использование, передача (доступ, предоставление), блокирование, удаление, уничтожение персональных данных.

6. Срок обработки и хранения: до получения от Субъекта персональных данных требования о прекращении обработки/отзыва согласия.

7. Способ отзыва: заявление об отзыве в письменном виде путём его направления на адрес электронной почты Оператора: info@rcsi.science или путем письменного обращения по юридическому адресу: 119991, г. Москва, Ленинский просп., д.32А

8. Субъект персональных данных вправе запретить своему оборудованию прием этих данных или ограничить прием этих данных. При отказе от получения таких данных или при ограничении приема данных некоторые функции Сайта могут работать некорректно. Субъект персональных данных обязуется сам настроить свое оборудование таким способом, чтобы оно обеспечивало адекватный его желаниям режим работы и уровень защиты данных файлов «cookie», Оператор не предоставляет технологических и правовых консультаций на темы подобного характера.

9. Порядок уничтожения персональных данных при достижении цели их обработки или при наступлении иных законных оснований определяется Оператором в соответствии с законодательством Российской Федерации.

10. Я согласен/согласна квалифицировать в качестве своей простой электронной подписи под настоящим Согласием и под Политикой обработки персональных данных выполнение мною следующего действия на сайте: https://journals.rcsi.science/ нажатие мною на интерфейсе с текстом: «Сайт использует сервис «Яндекс.Метрика» (который использует файлы «cookie») на элемент с текстом «Принять и продолжить».