We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse.
The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty.
We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.
- ID статьи: 2510.00464
- Название: Гладкие функции, которые являются морсовскими на прообразах значений, не являющихся локальными экстремумами, и построение естественных функций этого класса на связных суммах многообразий, допускающих такие функции
- Автор: Наоки Китазава
- Классификация: math.GN (Общая топология), math.CO (Комбинаторика), math.GT (Геометрическая топология)
- Дата публикации: октябрь 2025 г. (препринт arXiv)
- Ссылка на статью: https://arxiv.org/abs/2510.00464v3
В данной работе рассматриваются гладкие функции, обладающие свойством морсовскости на прообразах значений, не являющихся локальными экстремумами, называемые внутренними морсовскими функциями или I-морсовскими функциями. График Риба представляет собой пространство всех связных компонент одноточечных прообразов гладкой функции, вершины которого соответствуют прообразам, содержащим критические точки. Если прообраз вершины является замкнутым подмножеством с пустой внутренностью в области определения многообразия, то гладкая функция называется аккуратной относительно графика Риба (N-Риб). Автор исследует комбинацию I-морсовских и N-риб функций (IN-морсовско-рибовские функции), основной результат состоит в построении IN-морсовско-рибовской функции на связной сумме заданных многообразий, которая уважает обе такие функции.
- Значимость морсовских функций: Морсовские функции и функции Морса-Ботта являются фундаментальными инструментами в геометрии многообразий и важными объектами исследования в теории особенностей. Благодаря естественному соответствию между критическими точками и k-ручками они играют ключевую роль в понимании топологической структуры многообразий.
- Роль графиков Риба: Для определённых хороших классов функций можно определить их графики Риба. Эти комбинаторные объекты служат основным инструментом для получения важной информации, такой как первое число Бетти и ранг фундаментальной группы, а также являются важным средством визуализации морсовских функций и некоторых обобщённых функций.
- Ограничения существующих исследований: Традиционная теория морсовских функций сосредоточена главным образом на свойствах всех критических точек, тогда как исследование функций, обладающих морсовским свойством только на определённых прообразах, проводилось в меньшей степени.
- Совершенствование теории: Расширение теории морсовских функций, исследование более общих классов функций
- Проблемы построения: Решение задачи построения функций с определёнными свойствами на связных суммах многообразий
- Комбинаторные свойства: Установление глубокой связи между свойствами функций и их графиками Риба
- Определение новых классов функций: Введены понятия I-морсовских функций (внутренних морсовских) и N-рибовских функций (аккуратных относительно графика Риба), исследована их комбинация — IN-морсовско-рибовские функции
- Основная теорема построения: Доказано, что для IN-М-Р функций на двух замкнутых связных многообразиях можно построить IN-М-Р функцию на их связной сумме, ориентированный граф Риба которой изоморфен графу, полученным определённым способом
- Свойства простых функций: Разработана теория G-простых функций, доказаны соответствующие результаты построения и классификации
- Технические методы: Предложены методы построения, основанные на теореме о расслоении Эресмана и теории ручек
Определение 1 (I-морсовская функция): Гладкая функция f является морсовской на прообразах значений, не являющихся локальными экстремумами, называется внутренней морсовской или I-морсовской функцией.
Определение 2 (N-рибовская функция): Если каждый прообраз вершины графика Риба представляет собой замкнутое подмножество с пустой внутренностью в области определения многообразия, то функция называется аккуратной относительно графика Риба или N-рибовской функцией.
Определение 3 (IN-М-Р функция): Функция, одновременно удовлетворяющая свойствам I-морсовской и N-рибовской, называется IN-морсовско-рибовской функцией.
Теорема 1: Для IN-М-Р функций на двух замкнутых связных многообразиях размерности m > 1 можно построить IN-М-Р функцию на их связной сумме, ориентированный граф Риба которой изоморфен графу GR, полученному следующим образом:
- Выбрать по одной точке из каждого из двух ориентированных графов Риба GR,1 и GR,2, соответствующей значению, не являющемуся локальным экстремумом
- Отождествить эти две точки как единственную новую вершину графа GR
Теорема 2: Если две заданные функции являются GR,i-S функциями, то результирующая функция также может быть получена как GR-S функция.
Теорема 3: Для конечных связных графов G при определённых условиях даны более точные результаты построения IN-М-Р функций на связных суммах.
- Применение теории ручек: Использование естественного соответствия между k-ручками и критическими точками индекса k
- Теорема о расслоении Эресмана: Построение структуры произведения в областях без критических точек
- Локальное построение и склеивание: Реализация глобального построения через локальное конструирование морсовских функций и надлежащее склеивание
Поскольку это чистое математическое теоретическое исследование, оно не включает численные эксперименты, а основано на строгих математических доказательствах для верификации теоретических результатов.
- Локальный анализ: Локальное построение в окрестности каждой связной компоненты
- Построение произведения: Использование Предложения 1 и Замечания 1 для построения требуемой структуры произведения
- Деформация и склеивание: Надлежащая деформация и склеивание локальных произведений для получения желаемого многообразия
Статья успешно доказывает, что на связных суммах многообразий можно построить IN-М-Р функции с предполагаемой структурой графика Риба, что обеспечивает важную теоретическую базу для понимания существования и конструктивности этого класса функций.
- Предложение 1: Предоставляет метод построения структуры произведения при определённых условиях
- Предложение 2: Детально описывает локальные структурные свойства G-IN-М-Р функций
- Графические иллюстрации: Пять технических диаграмм детально демонстрируют ключевые этапы процесса построения
- Теория Морса: Основана на классических работах Милнора 26 и других авторов
- Теория графиков Риба: Восходит к пионерским работам Риба 27
- Теория особенностей: Ссылается на систематическое изложение Голубицкого и Гиллемина 8
- Проблемы классификации: Работы Гельбуха 6,7 по реализации графиков Риба функций Морса-Ботта на заданных поверхностях
- Методы построения: Исследования Михалака 24,25 по комбинаторным модификациям проблемы реализации графиков Риба
- Области применения: Приложения в симплектической топологии и задачах оптимизации
- Успешно разработана теория построения IN-М-Р функций на связных суммах
- Предоставлены конкретные методы построения и технические инструменты
- Установлена глубокая связь между свойствами функций и структурой графика Риба
- Ограничение по размерности: Основные результаты требуют m > 2, низкоразмерные случаи требуют специальной обработки
- Технические условия: Необходимо выполнение определённых условий вложения графов и степеней
- Сложность построения: Фактический процесс построения включает сложный локальный анализ и глобальное склеивание
- Проблемы классификации: Классификация определённых классов IN-М-Р функций через ориентированные графики Риба
- Геометрические приложения: Исследование значимости этих новых классов функций в других областях геометрии
- Вычислительные методы: Разработка более эффективных методов построения и вычисления
- Теоретическая инновация: Введение новых классов функций, расширение теории Морса
- Конструктивные результаты: Предоставление конкретных методов построения, доказательство не только существования
- Техническая строгость: Использование зрелых инструментов дифференциальной топологии, строгие аргументы
- Графическая поддержка: Детальные технические диаграммы ясно демонстрируют процесс построения
- Недостаточная мотивация приложениями: Отсутствие конкретных приложений этих новых классов функций в других областях математики
- Низкоразмерные случаи: Неполная обработка случая m = 2
- Вычислительная сложность: Фактический процесс построения может быть чрезмерно сложным, что ограничивает практическое применение
- Теоретический вклад: Предоставление нового направления для обобщения теории Морса
- Техническая ценность: Методы построения могут быть применимы к другим связанным проблемам
- Исследовательское вдохновение: Предоставление богатого набора технических инструментов и теоретической базы для последующих исследований
- Исследования дифференциальной топологии: Проблемы классификации и построения функций на многообразиях
- Теория особенностей: Исследование специальных классов функций
- Прикладная математика: Возможные приложения в теории оптимизации и анализе данных
Статья цитирует 33 связанные работы, охватывающие классические и современные результаты в области теории Морса, теории особенностей, дифференциальной топологии и других областей, обеспечивая прочную теоретическую базу для данного исследования.
Общая оценка: Это высококачественная работа по чистой математике, вносящая значительный вклад в развитие теории морсовских функций. Хотя практическое применение требует дальнейшего исследования, её теоретическая ценность и техническая инновативность заслуживают признания.