Циклотомические целые точки для аффинной динамики

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

• ID статьи: 2511.13443
• Название: Cyclotomic integral points for affine dynamics
• Авторы: Zhuchao Ji, Junyi Xie, Geng-Rui Zhang
• Классификация: math.DS (Динамические системы), math.AG (Алгебраическая геометрия), math.NT (Теория чисел)
• Дата подачи: 17 ноября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2511.13443

Аннотация

В данной работе изучаются регулярные эндоморфизмы $f:\mathbb{A}^N\to\mathbb{A}^N$ аффинного пространства $\mathbb{A}^N$, определённые над числовым полем (алгебраическая степень $d\geq2$). Основной результат доказывает: если множество $f$-предпериодических циклотомических точек является плотным по Зарискому в $\mathbb{A}^N$, то некоторая итерация $f^{\circ l}$ является фактором эндоморфизма алгебраической группы $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$. Это является многомерным обобщением теоремы Дворницича-Заньера о циклотомических предпериодических точках одномерных многочленов. В более общем случае для доминантных эндоморфизмов аффинных многообразий, определённых над числовыми полями, доказаны результаты жёсткости для подмножеств циклотомических целых точек, которые являются плотными по Зарискому и "почти инвариантными". В качестве приложений результаты применяются к обратным орбитам регулярных эндоморфизмов и периодическим точкам автоморфизмов типа Энона.

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

1. Исследуемые проблемы

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

• Обладает ли динамическая система специальной алгебраической структурой, когда предпериодические точки содержат множество циклотомических точек, плотное по Зарискому?
• Может ли такое явление охарактеризовать свойство системы быть "мономиального типа" (monomial type)?

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

Данная проблема связывает несколько областей математики:

• Арифметическая динамика: понимание распределения специальных точек (таких как циклотомические точки, точки кручения) в динамических системах
• Проблема маловероятных пересечений (Unlikely Intersection): продолжение философии Заньера и других — специальные точки не должны быть плотными в неспециальных многообразиях
• Диофантова геометрия: арифметические свойства циклотомических целых точек

3. Ограничения существующих работ

Теорема Дворницича-Заньера (2007) рассматривает только одномерный случай:

• Для многочлена $f\in K[z]$ степени $d\geq2$, если предпериодических циклотомических точек бесконечно много, то $f$ аффинно сопряжён с $z^d$ или $\pm T_d(z)$ (многочлены Чебышёва)

Ограничения:

• Применима только к полиномиальным отображениям $\mathbb{A}^1$
• Не рассматривает случай высокомерного аффинного пространства
• Не применима к более общим динамическим системам (например, отображениям Энона)

4. Исследовательская мотивация

Основная мотивация данной работы:

• Многомерное обобщение: распространить результат Дворницича-Заньера на $\mathbb{A}^N$
• Единая схема: установить теорию жёсткости, применимую к общим доминантным эндоморфизмам
• Расширение приложений: решить конкретные проблемы, связанные с обратными орбитами и автоморфизмами типа Энона

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

1. Основная теорема жёсткости (Theorem 1.2): для доминантного эндоморфизма $f$ аффинного многообразия $X$ доказано, что плотность по Зарискому множества циклотомических целых точек, удовлетворяющих трём условиям (DCI, BH, AI), влечёт, что $(X,f)$ имеет мономиальный тип.
2. Теорема эквивалентности (Theorem 1.3): для когомологически гиперболических систем мономиальный тип эквивалентен сильному мономиальному типу.
3. Приложение к регулярным эндоморфизмам (Theorem 1.4): доказано, что для регулярного эндоморфизма $\mathbb{A}^N$ алгебраической степени $d\geq2$, если предпериодические циклотомические точки плотны по Зарискому, то система имеет сильный мономиальный тип — это прямое многомерное обобщение теоремы Дворницича-Заньера.
4. Характеризация обратных орбит (Theorem 1.5): даны необходимые и достаточные условия для того, чтобы циклотомические точки в обратной орбите удовлетворяли условиям (DCI, BH, AI).
5. Автоморфизмы типа Энона (Theorem 1.7): доказано, что периодические циклотомические точки автоморфизма типа Энона не могут быть плотными по Зарискому, что предоставляет новое свидетельство в пользу философии "маловероятных пересечений".

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

Определение задачи

Входные данные:

• Аффинное многообразие $X\subseteq \mathbb{A}^N_K$ (где $K$ — числовое поле)
• Доминантный эндоморфизм $f:X\to X$
• Множество точек $P\subseteq X(K)$

Задача: определить, является ли $(X,f)$ мономиального типа, то есть существуют ли:

• Целые числа $l\geq1, n\geq\dim(X)$
• Групповой гомоморфизм $g:\mathbb{G}_m^n\to\mathbb{G}_m^n$
• Доминантный морфизм $\phi:\mathbb{G}_m^n\to X$

такие, что $f^{\circ l}\circ\phi = \phi\circ g$

Условия: $P$ удовлетворяет

• (DCI) плотные циклотомические целые точки: $P$ плотно по Зарискому и координаты лежат в $\frac{1}{M}\mathcal{O}_{K^c}$
• (BH) ограниченная высота: $\mathcal{C}(y)\leq c$ для всех $y\in P$
• (AI) почти инвариантность: $P\setminus f^{-1}(P)$ не плотно по Зарискому

Архитектура доказательства

Доказательство состоит из четырёх ключевых этапов:

Этап 1: Применение теоремы Локстона

Основной инструмент: обобщённая теорема Локстона Дворницича-Заньера (Theorem 2.1)

Заключение: существуют конечное множество $E\subset K$ и целое число $b$ такие, что $P\subseteq \left(\sum_{i=1}^b E\cdot U(\mathbb{C})\right)^N$

Конструкция: для каждого $a=(a_{ij})\in E^{bN}$ определим

• Морфизм $\phi_a:\mathbb{G}_m^{bN}\to\mathbb{A}^N$, $(z_{ij})\mapsto\left(\sum_j a_{ij}z_{ij}\right)_i$
• Множество точек кручения $\Lambda_a = \phi_a^{-1}(P)\cap\mathbb{G}_m^{bN}(K)_{tors}$
• Замкнутое подмножество $Z_a = \overline{\Lambda_a}^{Zar}\subseteq \mathbb{G}_m^{bN}$

Ключевое свойство: путём удаления исключительного множества можно предположить, что $\phi_a(\Lambda_a)^{Zar}=X$ для всех $a\in M$.

Этап 2: Построение соответствия

Определим соответствие (correspondence) $\Gamma = \bigsqcup_{(a_1,a_2)\in M^2}\Gamma_{a_1,a_2}\subseteq Z\times Z$ где $\Gamma_{a_1,a_2} = \overline{\{(\xi_1,\xi_2)\in\Lambda_{a_1}\times\Lambda_{a_2}: f(\phi_{a_1}(\xi_1))=\phi_{a_2}(\xi_2)\}}^{Zar}$

Ключевые свойства:

• $\pi_1(\Gamma) = Z$ (сюръективность)
• $(\phi\times\phi)(\Gamma)^{Zar} = \Gamma_f$ (связь с графиком $f$)
• По теореме о точках кручения (Theorem 2.3) каждое $\Gamma_{a_1,a_2}$ является конечным объединением смежных классов точек кручения

Этап 3: Неприводимость и сюръективность

Посредством серии редукций:

1. Разложим $Z$ на неприводимые компоненты $Z=\bigsqcup_{\alpha\in I}Y_\alpha$, каждая $Y_\alpha\cong\mathbb{G}_m^{\gamma_\alpha}$
2. Выберем периодическую точку $\alpha_0\in J$ (где $J=\{\alpha:\phi(Y_\alpha)^{Zar}=X\}$)
3. Заменим композицией итерации $f^{\circ n}$ и соответствующего $\psi$, получим:
   • $Y$ неприводимо
   • $\psi\subseteq Y\times Y$ неприводимо
   • $\psi(Y)=Y$ (сюръективность)

Этап 4: Индуцирование группового гомоморфизма

Техника стабилизатора:

• Для каждого $y\in Y$ определим слой $F_y=\phi^{-1}(\phi(y))$ и его стабилизатор $T_y=\text{Stab}_Y(F_y)$
• Положим $T=\bigcap_{y\in Y}T_y$
• После факторизации по $T$ можно предположить, что $T=1$

Ключевое наблюдение:

• Для любых $y\in Y$ и $z\in\psi(y)$ имеем $\psi(y)=z\cdot V$, где $V$ — алгебраическая подгруппа
• Посредством аргумента инвариантности доказываем, что $V=1$
• Следовательно, $\psi$ является графиком морфизма $g:Y\to Y$

Корректировка групповой структуры:

• Поскольку $\psi$ является смежным классом точек кручения, $g(y)=\tau_0\cdot g_0(y)$ (где $g_0$ — групповой гомоморфизм, $\tau_0$ — точка кручения)
• Посредством итерации добиваемся $g(1)=1$, откуда $g$ становится групповым гомоморфизмом

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

1. Метод соответствий: использование $\Gamma$ для кодирования динамической информации — это ключевая техническая инновация для решения многомерных задач
2. Систематическое применение теоремы о точках кручения: теорема Лорана о точках кручения (мультипликативная гипотеза Манина-Мамфорда) используется как основной инструмент
3. Теория когомологической гиперболичности: Theorem 1.3 использует логарифмическую вогнутость динамических степеней и когомологические множители Ляпунова
4. Единая схема: три условия (DCI, BH, AI) предоставляют единую схему для решения различных проблем

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

Примечание: данная работа является чистой математической теорией и не содержит численных экспериментов. Все результаты являются строгими математическими теоремами.

Проверка приложений

Статья проверяет применимость теории путём доказательства следующих теорем:

Приложение 1: Регулярные эндоморфизмы (Theorem 1.4)

• Установка: $f:\mathbb{A}^N\to\mathbb{A}^N$ — регулярный эндоморфизм алгебраической степени $d\geq2$
• Проверка: проверяем, что $P=\text{PrePer}(f,\mathbb{A}^N(K^c))$ удовлетворяет (DCI), (BH), (AI)
• Ключевой момент: использование свойств функции Грина $G(z)=\lim_{n\to\infty}\frac{1}{d^n}\log\max\{1,\|f^{\circ n}(z)\|\}$

Приложение 2: Обратные орбиты (Theorem 1.5)

• Установка: $P=\{z\in\mathbb{A}^N(K^c):\exists n\geq1, f^{\circ n}(z)=x\}$
• Необходимое и достаточное условие: $P$ удовлетворяет (DCI), (BH), (AI) $\Leftrightarrow$ $P$ плотно по Зарискому

Приложение 3: Автоморфизмы типа Энона (Theorem 1.7)

• Установка: $f:\mathbb{A}^N\to\mathbb{A}^N$ — автоморфизм типа Энона ($\deg_1(f)\geq2$, $I(f)\cap I(f^{-1})=\emptyset$)
• Заключение: $\text{Per}(f,\mathbb{A}^N(K^c))$ не плотно по Зарискому (доказательство от противного)
• Ключевой инструмент: теория функций Грина Кавагучи

Результаты экспериментов

Результаты доказательства основных теорем

Проверка Theorem 1.2

Проверка входных условий:

• Для регулярных эндоморфизмов условие (BH) проверяется посредством аргумента компактности функции Грина
• Условие (DCI) проверяется путём построения целого числа $M$ с использованием условия $f^{-1}_h(0)=\{0\}$
• Условие (AI) автоматически выполняется из $P\subseteq f^{-1}(P)$

Выходной результат: успешно построено $f^{\circ l}\circ\phi = \phi\circ g$ где $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ — сюръективный групповой гомоморфизм

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

Для когомологически гиперболических систем:

• Используем оценку скорости роста из Lemma 2.7
• Посредством Lemma 2.6 разлагаем на часть с характеристическими значениями корней из единицы и положительную часть
• Используем формулу проекции для вывода противоречия, доказывая, что необходимо $n=\dim(X)$

Анализ ключевых случаев

Случай 1: Одномерный случай восстанавливает теорему Дворницича-Заньера

Для $f\in K[z]$ степени $d\geq2$:

• По Theorem 1.4, если предпериодических циклотомических точек бесконечно много, то $f$ имеет сильный мономиальный тип
• Существуют $n\in\mathbb{Z}, h\in\mathbb{Q}(z)\setminus\mathbb{Q}$ такие, что $z^n\circ h=f^{\circ l}\circ h$
• Из $n=\pm d^l$ и классических результатов следует, что $f$ сопряжён с $z^d$ или $\pm T_d(z)$

Случай 2: Периодические точки отображения Энона

Для $f(x,y)=(p(x)-ay,x)$ (где $a\neq0, \deg p\geq2$):

• Вычисляем динамические степени: $\lambda_1(f)=d, \lambda_2(f)=1$ (где $d=\deg p$)
• Если периодические циклотомические точки плотны, по доказательству от противного в Theorem 1.7:
  • Должна существовать $A\in\text{GL}_2(\mathbb{Z})$ такая, что $\lambda_i(\phi_A)=\lambda_i(f)$
  • Но $|\det(A)|=1$ противоречит $\lambda_2(f)=d^2\geq4$
• Заключение: периодические циклотомические точки не плотны

Теоретические открытия

1. Явление жёсткости: плотность по Зарискому циклотомических точек вынуждает систему иметь структуру алгебраической группы
2. Препятствие размерности: для когомологически гиперболических систем не существует "избыточных размерностей" ($n=\dim X$)
3. Проверка маловероятных пересечений: результат для автоморфизмов типа Энона согласуется с философией Заньера

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

Историческое развитие

1. Теорема Локстона (1972)

• Содержание: циклотомические целые числа представимы как сумма ограниченного числа корней из единицы
• Обобщение: Дворницич-Заньер (2007) обобщили на произвольные числовые поля

2. Теорема Дворницича-Заньера (2007)

• Содержание: жёсткость циклотомических предпериодических точек одномерных многочленов
• Метод: применение теоремы Локстона + классификация динамических систем
• Ограничение: рассматривает только $\mathbb{P}^1$

3. Последующие работы

• Остафе (2017): обратные орбиты рациональных функций с периодическими критическими точками
• Чен (2018): обратные орбиты в замыкании циклотомического поля
• Ферагути-Остафе-Заньер (2024): обратные орбиты абелевых точек

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

Теорема о точках кручения (Лоран 1984)

• Гипотеза Манина-Мамфорда: замыкание по Зарискому множества точек кручения абелева многообразия является объединением смежных классов абелевых подмногообразий
• Мультипликативная версия: замыкание по Зарискому множества точек кручения $\mathbb{G}_m^n$ является конечным объединением смежных классов точек кручения
• Применение в данной работе: Theorem 2.3 является основным инструментом доказательства

Теория динамических степеней

• Определение: $\lambda_i(f)=\lim_{n\to\infty}\deg_{i,L}(f^{\circ n})^{1/n}$
• Свойства: логарифмическая вогнутость (Труонг 2020)
• Когомологическая гиперболичность: $\mu_i(f)=\lambda_i(f)/\lambda_{i-1}(f)\neq1$ для всех $i$

Уникальные вклады данной работы

По сравнению с существующими работами:

1. Размерность: впервые рассматривается произвольная размерность аффинных многообразий
2. Общность: применима ко всем доминантным эндоморфизмам (не только многочленам)
3. Единство: (DCI)+(BH)+(AI) предоставляют единую схему
4. Широта приложений: охватывают регулярные эндоморфизмы, обратные орбиты, отображения Энона

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

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

1. Многомерная теорема жёсткости: плотность по Зарискому циклотомических целых точек вместе с "почти инвариантностью" влечёт структуру мономиального типа
2. Многомерное обобщение теоремы Дворницича-Заньера: для регулярного эндоморфизма $\mathbb{A}^N$, если предпериодические циклотомические точки плотны, то система имеет сильный мономиальный тип
3. Отрицательный результат для автоморфизмов типа Энона: периодические циклотомические точки не могут быть плотными по Зарискому, что подтверждает философию "маловероятных пересечений"
4. Характеризация эквивалентности: для когомологически гиперболических систем мономиальный тип эквивалентен сильному мономиальному типу

Ограничения

1. Ограничение на числовые поля: теоремы требуют определения над числовыми полями, прямое применение к функциональным полям невозможно
2. Ограничение на циклотомические точки: рассматриваются только циклотомические точки (корни из единицы), не включаются более общие алгебраические точки
3. Почти инвариантность: условие (AI) в некоторых случаях может быть сложно проверить
4. Неконструктивность: теоремы являются теоремами существования, не предоставляют алгоритм явного построения $\phi$ и $g$
5. Когомологическая гиперболичность: Theorem 1.3 требует дополнительных предположений, связь между мономиальным типом и сильным мономиальным типом в общем случае остаётся неясной

Направления будущих исследований

Статья намекает на следующие направления исследований:

1. Обобщение на функциональные поля: можно ли распространить результаты на функциональные поля положительной характеристики?
2. Абелевы точки: для $K=\mathbb{Q}$ проблема распределения точек абелевых расширений (уже имеются частичные результаты)
3. Алгоритмические вопросы: можно ли алгоритмически определить, является ли данное $f$ мономиального типа?
4. Количественные результаты: можно ли получить верхние границы для числа предпериодических циклотомических точек?
5. Другие динамические системы: можно ли обобщить результаты на рациональные отображения, бирациональные отображения и т.д.?

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

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

1. Математическая глубина

• Теоретический прорыв: впервые установлена теорема жёсткости для циклотомических точек в высокой размерности
• Техническая инновация: метод соответствий элегантно кодирует динамическую информацию
• Синтез инструментов: искусное объединение теоремы Локстона, теоремы о точках кручения и теории динамических степеней

2. Структура доказательства

• Ясность: четырёхэтапное доказательство имеет ясную логику, каждый этап имеет чёткую цель
• Полнота: от общих теорем к конкретным приложениям образуется полная цепь
• Техничность: техника стабилизатора, корректировка групповой структуры и другие приёмы демонстрируют высокое мастерство

3. Практическая ценность

• Широкое применение: единая схема применима к регулярным эндоморфизмам, обратным орбитам, отображениям Энона
• Расширяемость: схема может быть применена к другим проблемам динамических систем
• Теоретическое значение: предоставляет новое свидетельство в пользу философии "маловероятных пересечений"

4. Качество изложения

• Организация: подробное введение, ясная мотивация, пошаговое развитие доказательства
• Читаемость: несмотря на техническую сложность, логика легко отслеживается
• Обзор литературы: полный обзор связанных работ, ясное позиционирование вклада

Недостатки

1. Технические ограничения

• Когомологическая гиперболичность: дополнительное предположение в Theorem 1.3 ограничивает общность
• Предположение о числовых полях: функциональные поля полностью не рассмотрены
• Отсутствие конструктивности: нет эффективного алгоритма

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

• Тип специальных точек: ограничено циклотомическими точками, не включает CM-точки и другие специальные точки
• Тип динамических систем: в основном сосредоточено на полиномиальных эндоморфизмах, случай рациональных функций неясен

3. Количественные проблемы

• Зависимость констант: конкретная зависимость констант $M,c$ не указана
• Сложность: сложность алгоритма определения не обсуждается

4. Недостаток примеров

• Конкретные примеры: кроме многочленов Чебышёва, отсутствуют другие нетривиальные примеры
• Граничные случаи: не обсуждаются случаи, когда условия не выполняются

Оценка влияния

Вклад в область

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

Практическая ценность

• Теоретическое руководство: предоставляет теоретическую схему для исследования распределения специальных точек
• Решение проблем: решает давнюю проблему о периодических точках отображений Энона

Воспроизводимость

• Полнота доказательства: все теоремы имеют полные доказательства
• Стандартные инструменты: используются стандартные математические инструменты
• Логическая ясность: доказательства можно пошагово проверить

Применимые сценарии

Теоретические исследования

• Исследование структуры высокомерных алгебраических динамических систем
• Изучение распределения специальных точек (точек кручения, CM-точек и т.д.)
• Развитие теории "маловероятных пересечений"

Конкретные проблемы

• Определение, является ли данное отображение мономиального типа
• Исследование арифметических свойств предпериодических точек
• Анализ структуры обратных орбит

Заимствование методов

• Техника соответствий может быть применена к другим геометрическим проблемам
• Метод стабилизатора может быть использован в других конструкциях факторов
• Техника функций Грина может быть применена к другим проблемам высоты

Избранные ссылки

Основные цитирования

1. Dvornicich-Zannier (2007): Cyclotomic Diophantine problems, Duke Math. J.
   • Исходный результат для одномерного случая
2. Laurent (1984): Equations diophantiennes exponentielles, Invent. Math.
   • Доказательство теоремы о точках кручения
3. Kawaguchi (2013): Local and global canonical height functions, Algebra Number Theory
   • Теория функций Грина для автоморфизмов типа Энона
4. Truong (2020): Relative dynamical degrees of correspondences, J. Reine Angew. Math.
   • Логарифмическая вогнутость динамических степеней
5. Zannier (2012): Some problems of unlikely intersections in arithmetic and geometry
   • Систематическое изложение философии "маловероятных пересечений"

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

6. Ostafe (2017): On roots of unity in orbits of rational functions, Proc. AMS
7. Ferraguti-Ostafe-Zannier (2024): Cyclotomic and abelian points in backward orbits, Adv. Math.
8. Pink-Roessler (2004): On ψ-invariant subvarieties, J. Algebraic Geom.

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