2025-11-25T07:04:17.977375

Division algebras of slice-Nash functions

Bisi, Carbone
The purpose of this paper is to introduce the notion of Nash functions in the context of slice regular functions of one quaternionic or octonionic variable. We begin with a detailed analysis of the possible definitions of Nash slice regular functions which leads us to the definition of \textit{slice-Nash} function proposed in this paper (and which we strongly believe to be the natural generalisation of the classical real and complex Nash functions to this context). Once the `correct' definition of slice-Nash functions has been established, we study their properties with particular focus on their finiteness properties. These finiteness properties position this new class of slice-Nash functions as an intermediate class between the class of slice regular functions and the class of slice polynomials, in analogy with the classical real and complex case. We also introduce semiregular slice-Nash functions, in analogy with meromorphic Nash functions, and study their finiteness properties.
academic

Алгебры деления slice-Nash функций

Основная информация

  • ID статьи: 2510.09779
  • Название: Division algebras of slice-Nash functions
  • Авторы: Cinzia Bisi, Antonio Carbone
  • Классификация: math.CV (комплексный анализ), math.AG (алгебраическая геометрия)
  • Дата публикации: 17 октября 2025 г.
  • Ссылка на статью: https://arxiv.org/abs/2510.09779

Аннотация

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

Исследовательский контекст и мотивация

Значимость проблемы

  1. Потребность в развитии гиперкомплексного анализа: С начала XX века математики ищут подходящий класс кватернионных функций, играющий роль, аналогичную голоморфным функциям в комплексном анализе. Хотя аналитические свойства slice-регулярных функций уже хорошо развиты, исследование их геометрических свойств остаётся недостаточным.
  2. Обобщение геометрии Нэша: Функции Нэша играют ключевую роль в вещественной алгебраической геометрии, образуя важный промежуточный класс между полиномиальными и аналитическими функциями. Обобщение этой концепции на некоммутативную и неассоциативную алгебраическую среду имеет значительное теоретическое значение.
  3. Необходимость геометрических приложений: В гиперкомплексной геометрии отсутствуют подходящие инструменты для определения и изучения фундаментальных геометрических объектов (таких как многообразия, алгебраические множества или аналитические множества). Обобщение функций Нэша может предоставить новые пути для решения этой проблемы.

Ограничения существующих методов

  1. Функции Фуэтера: Хотя теория хорошо разработана, она не включает тождественное отображение q ↦ q, поэтому не включает полиномы и степенные ряды.
  2. Трудности прямого алгебраического определения: Из-за некоммутативности кватернионов и неассоциативности октонионов прямое обобщение концепции "алгебраичности над кольцом полиномов" встречает фундаментальные трудности.
  3. Недостаточность геометрической теории: Помимо некоторых положительных результатов, теория определения и изучения геометрических объектов в гиперкомплексной среде остаётся ограниченной.

Основные вклады

  1. Установлено "корректное" определение slice-Nash функций: Путём глубокого анализа различных возможных способов определения предложено определение, основанное на stem-функциях с комплексными компонентами, являющимися комплексными функциями Нэша.
  2. Предоставлены множественные эквивалентные характеризации: Даны эквивалентные характеризации slice-Nash функций в терминах компонент splitting-леммы и вещественных компонент (теоремы 5.9 и 5.10).
  3. Доказана алгебраическая структура: Доказано, что slice-Nash функции образуют альтернативную *-алгебру и составляют тело деления над симметричными slice-областями (теорема 5.16).
  4. Установлены свойства конечности: Доказаны множественные свойства конечности slice-Nash функций, включая полиномиальность глобальных функций, конечность множества нулей, полиномиальную ограниченность на бесконечности и др.
  5. Введены полурегулярные slice-Nash функции: Аналогично мероморфным функциям Нэша установлена соответствующая теоретическая база.

Подробное описание методов

Основная задача

Основной задачей работы является определение slice-Nash функций на кватернионах ℍ и октонионах 𝕆 таким образом, чтобы они обладали свойствами, аналогичными классическим функциям Нэша, в частности свойствами конечности и алгебраичности.

Теоретическая база

Определение stem-Nash функций

Для stem-функции F: D → A⊗ℝℂ говорят, что F является stem-Nash функцией, если существует мнимая единица I ∈ SA и соответствующий splitting базис такие, что функции F^ℓ_{I,I_k}: D → ℂ для всех ℓ = 1,2 и k = 0,...,u_A являются комплексными функциями Нэша.

Определение slice-Nash функций

Slice-функция f: Ω → A называется slice-Nash функцией, если:

  1. f ∈ SR_A(Ω) (f является slice-регулярной)
  2. Порождающая f stem-функция является stem-Nash функцией

Технические инновации

1. Метод определения на основе комплексных компонент

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

2. Множественные эквивалентные характеризации

Теорема 1.4 предоставляет пять эквивалентных условий:

  • Характеризация через комплексные компоненты splitting-базиса
  • Характеризация через вещественные компоненты вещественного базиса
  • Независимость от выбора базиса

3. Установление алгебраической структуры

Теорема 1.5 доказывает, что SN_A(Ω) образует альтернативную *-подалгебру, и:

  • Если Ω является симметричной slice-областью, то SN_A(Ω) является телом деления
  • Если Ω является произведением областей, то существуют ненулевые элементы f такие, что N(f) ≡ 0

Экспериментальная установка

Методы теоретической верификации

Работа в основном использует теоретические доказательства для верификации результатов, включая:

  1. Конструктивные примеры:
    • Slice-полиномы являются slice-Nash функциями
    • √qJ (квадратный корень q, умноженный на мнимую единицу J) является slice-Nash функцией
    • (cos q)I + (sin q)J не является slice-Nash функцией
  2. Построение контрпримеров: Путём конкретных вычислений доказывается, что некоторые на первый взгляд разумные определения на самом деле неосуществимы

Стратегия доказательства

  1. Применение splitting-леммы: Использование splitting-леммы для разложения slice-функций на комплексные компоненты
  2. Применение теории комплексных функций Нэша: Использование известных свойств комплексных функций Нэша для установления slice-версии
  3. Анализ алгебраической структуры: Установление алгебраических свойств slice-Nash функций через алгебраические операции stem-функций

Результаты исследования

Основные теоретические результаты

1. Свойства конечности

  • Глобальные функции являются полиномами (теорема 6.1): Если f ∈ SN_A(A), то f ∈ Ax
  • Конечность множества нулей (предложение 6.3): На круговых областях множество нулей slice-Nash функции является объединением конечного числа изолированных нулей и изолированных сферических нулей
  • Полиномиальная ограниченность на бесконечности (предложение 6.12): Существуют целое число m и константы C, R такие, что ‖f(x)‖ ≤ C(1 + ‖x‖^m)

2. Алгебраические свойства

  • Slice-Nash функции замкнуты относительно slice-производной
  • Образуют альтернативную *-алгебраическую структуру
  • При надлежащих условиях образуют тело деления

3. Полурегулярный случай

  • Глобальные полурегулярные slice-Nash функции являются slice-рациональными функциями (теорема 6.10)
  • Конечность полюсов (лемма 6.7)

Ключевые открытия

  1. Уникальность определения: Путём детального анализа доказано, что определение, основанное на комплексных компонентах stem-функций, является "корректным" выбором, в то время как другие попытки содержат фундаментальные проблемы.
  2. Промежуточные свойства: Slice-Nash функции действительно образуют промежуточный класс между slice-полиномами и slice-регулярными функциями с надлежащими свойствами конечности.
  3. Обработка некоммутативности: Успешное установление теории функций Нэша в некоммутативной (кватернионной) и неассоциативной (октонионной) среде.

Связанные работы

Развитие гиперкомплексного анализа

  1. Функции Фуэтера: Ранняя теория кватернионных регулярных функций, но не включающая полиномы
  2. Теория Джентили-Струппы: Введение концепции slice-регулярности, включающей полиномы и степенные ряды
  3. Метод Гилони-Перотти: Подход, основанный на stem-функциях, обобщённый на общие альтернативные *-алгебры

Теория функций Нэша

  1. Классическая геометрия Нэша: Пионерская работа Джона Нэша, установившая теорию вещественных функций Нэша
  2. Комплексные функции Нэша: Обобщение на комплексный случай
  3. Теория алгебраического приближения: Работы Косте, Руиза, Сиота и других

Инновации данной работы

Работа впервые успешно обобщает концепцию функций Нэша на некоммутативную и неассоциативную алгебраическую среду, устанавливая полную теоретическую базу.

Заключение и обсуждение

Основные выводы

  1. Успешно установлено определение и теоретическая база slice-Nash функций
  2. Доказано, что эти функции обладают ожидаемыми свойствами конечности и алгебраичности
  3. Предоставлены новые инструменты исследования для гиперкомплексной геометрии

Ограничения

  1. Ограничение по размерности: В настоящее время рассматривается в основном однопеременный случай, теория многопеременного случая ещё развивается
  2. Вычислительная сложность: При практических вычислениях могут возникнуть проблемы сложности
  3. Область применения: Геометрические приложения требуют дальнейшего развития

Будущие направления

  1. Обобщение на многопеременный случай: Развитие теории slice-Nash функций нескольких кватернионных или октонионных переменных
  2. Геометрические приложения: Применение теории к исследованию многообразий Нэша и алгебраических множеств
  3. Вычислительные методы: Разработка эффективных вычислительных алгоритмов

Глубокая оценка

Преимущества

  1. Теоретическая полнота: Предоставлены полные определения, характеризации и доказательства свойств
  2. Методологическая инновативность: Искусное разрешение трудностей, вызванных некоммутативностью и неассоциативностью
  3. Ясная структура: Хорошо организованная работа с логичным переходом от мотивации к приложениям
  4. Строгость: Все основные результаты имеют полные математические доказательства

Недостатки

  1. Ограниченность примеров приложений: Отсутствуют более конкретные примеры геометрических приложений
  2. Отсутствие обсуждения вычислительной сложности: Не анализируется сложность практических вычислений
  3. Связь с другими теориями: Можно было бы более подробно обсудить связь с другими гиперкомплексными теориями

Влияние

  1. Теоретический вклад: Предоставляет важный новый инструмент для гиперкомплексного анализа
  2. Геометрическое значение: Может способствовать развитию гиперкомплексной геометрии
  3. Междисциплинарные приложения: Потенциальные приложения в физике и инженерии

Области применения

  1. Теоретические исследования: Исследования в гиперкомплексном анализе и алгебраической геометрии
  2. Геометрическое моделирование: Геометрические задачи, требующие некоммутативных структур
  3. Физические приложения: Потенциальные приложения в квантовой механике и теории относительности

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

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


Общая оценка: Это высококачественная теоретическая математическая работа, успешно обобщающая классическую теорию функций Нэша на гиперкомплексную среду. Теоретический вклад работы значителен, методология инновативна, доказательства строги, и она предоставляет важные новые инструменты для гиперкомплексного анализа и геометрии. Хотя в области приложений есть место для развития, её теоретическая ценность и потенциальное влияние неоспоримы.