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

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

• ID статьи: 2302.05295
• Название: Identifiability and singular locus of secant varieties to spinor varieties
• Автор: Винченцо Гальгано (Университет Тренто)
• Классификация: math.AG (алгебраическая геометрия)
• Дата публикации: февраль 2023 г. (arXiv v2: 10 декабря 2023 г.)
• Ссылка на статью: https://arxiv.org/abs/2302.05295

Аннотация

В данной работе анализируется $Spin(V)$-структура второго секантного многообразия (секантного многообразия прямых) $\sigma_2(\mathbb{S})$ спинорного многообразия $\mathbb{S}$, минимально вложенного в его спинорное представление. Исследование определяет частично упорядоченное множество $Spin(V)$-орбит и их размерности, которые используются для решения проблем идентифицируемости и касательной идентифицируемости в $\sigma_2(\mathbb{S})$, а также для определения второго следа Терракини многообразия $\mathbb{S}$. Наконец, доказывается, что сингулярное множество $Sing(\sigma_2(\mathbb{S}))$ содержит две орбиты наименьшей размерности и находится внутри касательного многообразия $\tau(\mathbb{S})$.

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

1. Центральная проблема: Исследование геометрических свойств секантных многообразий, в частности их идентифицируемости и сингулярности — классическая задача алгебраической геометрии.
2. Значимость:
   • Проблема идентифицируемости имеет важное значение как в теории, так и в приложениях, связанных с единственностью тензорного разложения
   • Исследование сингулярного множества критично для понимания геометрической структуры секантных многообразий
   • Спинорные многообразия как важные примеры рациональных однородных многообразий имеют репрезентативное значение для изучения свойств их секантных многообразий
3. Существующие ограничения:
   • Для общих секантных многообразий определение сингулярного множества $Sing(\sigma_r(X))$ является центральной проблемой, но полностью решено лишь в нескольких случаях
   • Уравнения секантных многообразий спинорных многообразий и их сингулярные множества еще не полностью определены
   • За исключением Легендровых многообразий, соответствующих $Spin_{12}$, понимание других случаев ограничено
4. Исследовательская мотивация: Использование структуры алгебры Клиффорда спинорного многообразия и естественных свойств действия группы $Spin_{2N}$ для систематического исследования орбитальной структуры его второго секантного многообразия.

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

1. Классификация орбит: Полное определение частично упорядоченной структуры $Spin_{2N}$-орбит в $\sigma_2(S_N^+)$ и их размерности
2. Теория идентифицируемости: Полное решение проблем идентифицируемости и касательной идентифицируемости через двойственность Клиффорда
3. След Терракини: Определение второго следа Терракини спинорного многообразия
4. Границы сингулярного множества: Получение верхних и нижних границ сингулярного множества $\sigma_2(S_N^+)$ и предложение полной характеризации
5. Теоретические инструменты: Введение двойственности Клиффорда как частного случая неабелевой двойственности

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

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

Исследование второго секантного многообразия $\sigma_2(S_N^+)$ спинорного многообразия $S_N^+ \subset \mathbb{P}(\bigwedge^{ev} E)$, где:

• Входные данные: спинорное многообразие на четномерном векторном пространстве $V = E \oplus E^{\vee}$
• Выходные данные: классификация орбит, критерии идентифицируемости, характеризация сингулярного множества
• Ограничения: рассмотрение случая четного $N$, использование спинорной группы D-типа диаграммы Дынкина

Основная архитектура

1. Фреймворк алгебры Клиффорда

Использование алгебры Клиффорда $Cl_q(V)$ для установления соответствия между спинорным многообразием и максимальными изотропными подпространствами: $S_N^+ \cup S_N^- \leftrightarrow OGr^+(N,V) \cup OGr^-(N,V)$ реализуемого через отображение $\psi_a: V \to \bigwedge E$, $v \mapsto v \cdot a$.

2. Классификация по расстоянию Хэмминга

Определение расстояния Хэмминга на спинорном многообразии: $d([a],[b]) = \frac{\text{codim}_{H_a}(H_a \cap H_b)}{2}$ использование этого расстояния для разложения $S_N^+ \times S_N^+$ на орбиты.

3. Конструкция орбит

• Секантные орбиты: $\Sigma_{l,N} = \{[a+b] \in \sigma_2^{\circ}(S_N^+) | d([a],[b]) = l\}$
• Касательные орбиты: $\Theta_{l,N} = \{[q] \in \tau(S_N^+) | q \text{ соответствует кососимметричной матрице ранга } 2l\}$

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

1. Двойственность Клиффорда

Введение новой теории двойственности: $\Phi: \bigwedge^{ev} E \otimes \bigwedge^{od} E^{\vee} \to E \oplus E^{\vee}$$e \otimes f \mapsto C_e(f)|_E + C_f(e)|_{E^{\vee}}$

Это конкретная реализация неабелевой двойственности в случае спинорных многообразий, обобщающая классическую кососимметричную двойственность.

2. Индуктивное доказательство

Использование инъективности отображения внешнего произведения: $(e_{[N-2l]} \wedge \bullet): \Sigma_{l,2l} \to \Sigma_{l,N}$ для установления связей между секантными орбитами спинорных многообразий различных размерностей и реализации индуктивного доказательства.

3. Структура расслоения

Конструкция расслоения $\xi: \Sigma_{l,N} \to OGr(N-2l,V)$, слои которого изоморфны плотным орбитам спинорных многообразий меньшей размерности, используемая для вычисления размерностей.

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

Теоретическая верификация

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

1. Верификация частных случаев: Детальный анализ конкретных случаев $N=4,5,6,8$ для проверки общей теории
2. Вычисление размерностей: Вычисление размерностей различных орбит с использованием теоремы о размерности слоев
3. Сравнение с известными результатами: Сравнение с известными результатами для Легендровых многообразий ($N=6$)

Вычислительные примеры

• Случай $S_4^+$: Соответствует 6-мерной квадрике $Q_6 \subset \mathbb{P}^7$, множество разложений параметризуется как $\mathbb{P}^6 \setminus Q_5$
• Случай $S_6^+$: 15-мерное Легендрово многообразие, размерности орбит равны 15, 24, 30, 31
• Случай $S_8^+$: Единственный случай, удовлетворяющий $\Theta_{3,8} = \Theta_{4,8} \cap \Sigma_{3,8}$

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

Основные теоремы

Частично упорядоченная структура орбит (Теорема 3.12)

Для $N \geq 6$ частичный порядок $Spin_{2N}$-орбит в $\sigma_2(S_N^+)$ имеет вид:

S_N^+
  ↓
Θ_{2,N} = Σ_{2,N}
  ↓        ↓
Θ_{3,N} → Σ_{3,N}
  ↓        ↓
  ⋮        ⋮
  ↓        ↓
Θ_{N/2,N} → Σ_{N/2,N}

Результаты идентифицируемости (Основная теорема)

• Точки в $\Sigma_{2,N}$ не идентифицируемы
• Точки в $\Sigma_{l,N}$ ($l \geq 3$) идентифицируемы
• Точки в $\Theta_{l,N}$ ($l \geq 3$) касательно идентифицируемы

Формулы размерности (Предложения 6.2, 6.4)