2025-11-10T02:58:12.135438

Invariant volume form for 3D QRT maps

Alonso, Suris
Recently, we proposed a three-dimensional generalization of QRT maps. These novel maps can be associated with pairs of pencils of quadrics in $\mathbb P^3$. By construction, these maps have two rational integrals (parameters of both pencils). In the present paper, we find an invariant volume form for these maps, thus finally establishing their integrability.
academic

Forma de volumen invariante para mapeos QRT 3D

Información Básica

  • ID del artículo: 2510.11468
  • Título: Forma de volumen invariante para mapeos QRT 3D
  • Autores: Jaume Alonso, Yuri B. Suris
  • Clasificación: nlin.SI (Sistemas integrables), math-ph (Física matemática), math.MP (Física matemática)
  • Fecha de publicación: 14 de octubre de 2025
  • Enlace del artículo: https://arxiv.org/abs/2510.11468v1

Resumen

Este artículo estudia la forma de volumen invariante para mapeos QRT tridimensionales. Los autores propusieron anteriormente una generalización tridimensional de los mapeos QRT, que pueden asociarse a haces de cuádricas en P3\mathbb{P}^3. Por construcción, estos mapeos poseen dos integrales racionales (los parámetros de los dos haces). El artículo encuentra la forma de volumen invariante de estos mapeos, estableciendo finalmente su integrabilidad completa.

Antecedentes y Motivación de la Investigación

  1. Problema central: Establecer la integrabilidad completa de los mapeos QRT tridimensionales. Aunque estos mapeos poseen dos integrales de movimiento, para probar la integrabilidad completa es necesario demostrar la existencia de una forma de volumen invariante.
  2. Importancia del problema:
    • Los mapeos QRT son uno de los ejemplos más famosos en sistemas discretos integrables bidimensionales
    • La generalización tridimensional es crucial para encontrar nuevas discretizaciones integrables de Kahan-Hirota-Kimura y ecuaciones de Painlevé discretas
    • El establecimiento completo de la integrabilidad tiene importancia fundamental para el desarrollo teórico
  3. Limitaciones de métodos existentes:
    • La teoría clásica de integrabilidad de Liouville-Arnold solo se aplica a variedades simplécticas de dimensión par
    • Para casos de dimensión impar, se requieren nuevas definiciones y métodos de prueba de integrabilidad
  4. Motivación de la investigación: Proporcionar un marco teórico completo de integrabilidad para sistemas dinámicos discretos tridimensionales, particularmente para fundamentar matemáticamente la teoría de ecuaciones de Painlevé discretas basadas en mapeos QRT 3D.

Contribuciones Principales

  1. Establecimiento de la forma de volumen invariante para mapeos QRT 3D: Se demuestra que estos mapeos preservan la forma de volumen dx1∧dx2∧dx3/ρ(x1,x2,x3)dx_1 \wedge dx_2 \wedge dx_3/\rho(x_1, x_2, x_3), donde la función de densidad es ρ(x1,x2,x3)=Q∞(x1,x2,x3,1)P∞(x1,x2,x3,1)\rho(x_1, x_2, x_3) = Q_\infty(x_1, x_2, x_3, 1)P_\infty(x_1, x_2, x_3, 1)
  2. Perfeccionamiento de la teoría de integrabilidad tridimensional: Se propone una definición de integrabilidad para mapeos tridimensionales: un mapeo tridimensional con una forma de volumen invariante y dos integrales funcionalmente independientes se denomina integrable
  3. Desarrollo de la técnica de coordenadas adaptadas al haz: Se introduce un método sistemático para tratar haces de cuádricas en P3\mathbb{P}^3, que es la herramienta técnica clave de la prueba
  4. Provisión de un marco teórico unificado: Se proporciona una prueba unificada de integrabilidad para discretizaciones de Kahan-Hirota-Kimura de sistemas 3D como el giroscopio de Euler y el giroscopio de Zhukovsky-Volterra

Explicación Detallada de Métodos

Definición de la Tarea

Demostrar que el mapeo QRT 3D f=i1∘i2f = i_1 \circ i_2 definido por dos haces de cuádricas {Qλ}λ∈P1\{Q_\lambda\}_{\lambda \in \mathbb{P}^1} y {Pμ}μ∈P1\{P_\mu\}_{\mu \in \mathbb{P}^1} posee una forma de volumen invariante.

Marco Teórico

1. Definición de Integrabilidad Tridimensional

Para un mapeo tridimensional, la integrabilidad requiere:

  • Existencia de una forma de volumen invariante
  • Existencia de dos integrales funcionalmente independientes I1,I2I_1, I_2

De esta manera, el mapeo puede restringirse al conjunto de nivel de I1I_1, poseyendo una integral de movimiento inducida por I2I_2 y una forma bilineal invariante.

2. Construcción de Mapeos QRT 3D

Dados dos haces de cuádricas: Qλ={X∈P3:Q0(X)−λQ∞(X)=0}Q_\lambda = \{X \in \mathbb{P}^3 : Q_0(X) - \lambda Q_\infty(X) = 0\}Pμ={X∈P3:P0(X)−μP∞(X)=0}P_\mu = \{X \in \mathbb{P}^3 : P_0(X) - \mu P_\infty(X) = 0\}

Se definen los mapeos involutivos:

  • i1(X)i_1(X): segundo punto de intersección de la línea generadora ℓ1(X)\ell_1(X) con PμP_\mu
  • i2(X)i_2(X): segundo punto de intersección de la línea generadora ℓ2(X)\ell_2(X) con PμP_\mu

El mapeo QRT 3D se define como f=i1∘i2f = i_1 \circ i_2.

Puntos de Innovación Técnica

1. Sistema de Coordenadas Adaptadas al Haz

Mediante transformaciones de normalización AλA_\lambda, se transforma el haz de cuádricas a forma estándar:

undefined