VI. De las fórmulas a los grafos de descenso
← V. El cubo perdido: testimonio sin mecanismo conservado · Índice · VII. Por qué una única fórmula no basta →
Los dos casos anteriores obligan a abandonar una imagen demasiado rígida del descenso.
Si sólo observáramos \(n=4\), podríamos imaginar que el método consiste en encontrar siempre una fórmula que se reproduzca a sí misma a menor escala. El cubo muestra ya que las representaciones intermedias pueden ser distintas. Los controles posteriores reforzarán esa conclusión.
Conviene entonces describir el descenso no como una fórmula sino como un camino entre clases de objetos.
1. Nodos y aristas
Un nodo representa una clase aritmética relevante:
- una solución supuesta de la ecuación original;
- una factorización normalizada;
- una forma cuadrática;
- una parametrización;
- una rama excepcional;
- una configuración auxiliar.
Una arista representa una operación válida:
- normalización;
- factorización;
- separación por gcd;
- extracción de una potencia;
- representación;
- parametrización;
- cambio de rama;
- reensamblaje.
Un argumento puede atravesar varios tipos de objetos antes de volver a una nueva instancia de la obstrucción original.
En símbolos:
\[ \mathcal O \rightsquigarrow \mathcal O'. \]
La flecha ondulada puede esconder una cadena larga.
2. Cuándo el camino merece llamarse descenso
No todo camino en el grafo es un descenso.
Necesitamos tres condiciones.
Preservación de la obstrucción
El objeto final debe seguir representando aquello cuya existencia conduce a contradicción.
Cierre
La nueva instancia debe pertenecer a una clase desde la cual el mismo procedimiento —o un procedimiento del mismo esquema— pueda volver a aplicarse.
Estrictez
Debe existir una medida en enteros positivos tal que
\[ \mu(\mathcal O')<\mu(\mathcal O). \]
Sólo entonces tenemos un descenso.
Por eso una transformación algebraica puede ser correcta y, sin embargo, no servir. Puede producir un objeto nuevo pero no reingresar a la clase adecuada. O puede cerrar pero no disminuir. O puede disminuir una cantidad irrelevante sin conservar la obstrucción.
El formalismo de grafos obliga a verificar por separado cada obligación.
3. El prefijo común por funciones
Al comparar \(n=4\) y \(p=3\), aparece un núcleo compartido, pero sólo por roles.
Puede resumirse así:
\[ D0\to D4. \]
En lenguaje no técnico:
- suponer y normalizar una solución;
- imponer primitividad, paridad y coprimalidad;
- factorizar la expresión;
- aislar el primo excepcional cuando exista;
- extraer potencias de factores coprimos.
Nada de esto implica que Fermat escribiera una plantilla universal con cinco casillas. Es una reconstrucción funcional: diferentes problemas permiten reconocer operaciones del mismo tipo.
El punto crucial aparece después.
A partir de esa rigidización, cada exponente puede requerir un paquete diferente de transformaciones:
\[ \mathcal T_p. \]
Podemos escribir la arquitectura general como
\[ \boxed{ \mathcal O_p \xrightarrow{\text{rigidización aritmética}} \mathcal R_p \xrightarrow{\mathcal T_p} \mathcal O'_p, \qquad \mu_p(\mathcal O'_p)<\mu_p(\mathcal O_p). } \]
La notación \(\mathcal T_p\) no designa una fórmula descubierta por Fermat. Es nuestro nombre para el tramo que debe producir el retorno y la disminución.
Para \(n=4\), ese paquete está documentado en forma comprimida.
Para \(p=3\), Fermat afirma que existe un descenso, pero el paquete no se conserva.
Esta diferencia impide transformar el formalismo en una atribución histórica automática.
4. Tres roles distintos de los grafos
La comparación exige todavía una distinción más.
Un grafo de descenso contiene cierre y estrictez.
Un grafo fuente puede mostrar operaciones históricamente relevantes sin descender. Diofanto II.8 pertenece aquí: auxiliarización, igualación, cancelación y reducción, pero sin repetición de una obstrucción menor.
Un grafo de control es una construcción moderna utilizada para comprobar qué arquitecturas funcionan o fracasan. Sus aristas no son evidencia sobre el procedimiento de Fermat.
Separar estos tres papeles resulta esencial. Dos grafos pueden compartir una operación —por ejemplo, una factorización o un cambio de representación— sin ser históricamente el mismo método.
← V. El cubo perdido: testimonio sin mecanismo conservado · Índice · VII. Por qué una única fórmula no basta →