La Geometría como un Proceso Emergente — Parte 5
Lo que Proyecta el Sistema
Las publicaciones anteriores tenían un propósito. Estaban construyendo un argumento: identificando lo que estaba mal con los fundamentos clásicos, intentando una solución, fracasando honestamente, encontrando el punto de partida correcto y finalmente declarando lo que realmente es el marco. Ese argumento está completo.
Esta publicación es diferente. No es un argumento. Se parece más a lo que sucede cuando terminas de construir algo y retrocedes para ver en qué se ha convertido.
El marco se construyó para responder a una pregunta: ¿qué es lo mínimo que necesitas especificar para definir un objeto geométrico? La respuesta a la que llegó resultó tener conexiones que no formaban parte de la motivación original. Algunas de esas conexiones llevaron a lugares que ya tenían nombre. Esta publicación menciona algunos de ellos.
Las redes siempre han sido relacionales
Una red informática está formada por nodos conectados mediante enlaces ponderados. Un mensaje encuentra su destino por la ruta más barata. Algunas conexiones son redundantes y se pueden eliminar sin afectar la accesibilidad.
No es una metáfora — la correspondencia estructural es directa. El marco relacional y la teoría de enrutamiento de redes describen las mismas estructuras subyacentes. El resultado de emergencia métrica es el mismo cálculo que encontrar una métrica de camino más corto en un grafo; el resultado de la presentación mínima es el mismo que identificar aristas redundantes.
La cuestión de cuándo dos configuraciones de red diferentes producen el mismo comportamiento de enrutamiento tiene una formulación precisa en este lenguaje. En el caso de un solo generador, la clasificación de congruencias la responde completamente. En el caso general de múltiples generadores, la pregunta de equivalencia es indecidible — el marco proporciona un lenguaje formal para la pregunta, no una solución general.
Las redes no se volvieron relacionales cuando se construyó el marco. Siempre lo fueron. El marco simplemente hizo visible la conexión al describir ambos con las mismas primitivas.
Ya era Clásico
Aquí está la que fue genuinamente sorprendente para mí — aunque sospecho que no sorprenderá a nadie que ya trabaje en el área.
Cuando el marco relacional se expresa en su forma matemática completa, se hace visible una conexión: las distancias que produce el marco resultan ser las mismas que las distancias estudiadas en la teoría geométrica de grupos, un campo que ha estado activo durante más de un siglo, estudiando cómo las estructuras algebraicas pueden entenderse a través de la geometría de los espacios que generan. Todavía estoy aprendiendo este territorio. Lo que puedo decir es que la conexión no estaba planificada.
El marco llegó allí no por tomar prestado de él deliberadamente, no por reconocer la conexión de antemano, sino por seguir la lógica de las definiciones hasta que aterrizó en algún lugar que ya tenía un nombre.
Las distancias que produce el marco son formalmente las mismas que las métricas de palabras en la teoría geométrica de grupos — no análogas a ellas, sino la misma construcción. Lo que ese cuerpo de conocimiento hace disponible para el estudio de los sistemas relacionales, y lo que requiere más trabajo para hacer explícito, son preguntas en las que todavía estoy inmerso.
Una Pregunta Sobre Complejidad Descriptiva
El marco almacena las formas como reglas en lugar de como conjuntos de puntos. Un círculo es un generador y una ley. Un toro requiere dos generadores y la ley que gobierna cómo se relacionan. Todo espacio métrico finito tiene una presentación mínima — una de la que no se puede eliminar ningún generador sin cambiar la geometría.
Esto plantea una pregunta que el marco no responde: si el tamaño de una presentación mínima corresponde a alguna noción de complejidad de la teoría de la información. La presentación mínima mide algo sobre la estructura interna de una forma — un círculo es más simple que un toro en un sentido preciso — pero si esa medida se conecta con nociones como la complejidad de Kolmogorov está fuera del alcance actual.
Donde el Hilo Continúa
El siguiente paso más claro es también el más interno al propio marco.
El marco produce naturalmente dos formas de medir la distancia. Una mide el costo de pasar de un estado a otro — cuántos pasos, cuánto peso. La otra mide la distancia entre procesos completos — qué tan diferentes son dos secuencias de movimientos entre sí. Ambas son reales, ambas son útiles, pero la relación precisa entre ellas aún no se ha establecido formalmente. Cerrar esa brecha es el trabajo actualmente en progreso. Requiere herramientas matemáticas que el autor todavía está aprendiendo.
Más adelante, hay un paralelismo estructural con la forma en que la física mide la curvatura — ambos implican preguntar cuánto un bucle no logra regresar a donde comenzó. Ese paralelismo es sugerente y vale la pena seguirlo eventualmente. Pero pertenece al horizonte, no al camino inmediato. El siguiente paso concreto es el más cercano: entender exactamente cómo se relacionan las dos medidas de distancia entre sí, y qué revela esa relación sobre la estructura más profunda del marco.
Una Dirección, No un Mapa
Lo que desarrollaron las cuatro publicaciones anteriores fue un marco. Lo que esta publicación nota son las conexiones que vinieron con él: un paralelo estructural con la compresión, un lenguaje para redes, un lugar dentro de una tradición matemática existente y un hilo que apunta hacia la física.
Estas no son el mismo tipo de cosa. Algunas se deducen directamente de los teoremas. Algunas son preguntas abiertas que el marco plantea sin responder todavía. Algunas son visibles en el horizonte sin saber cuánto dura el camino. La postura honesta es mantenerlas a diferentes niveles de confianza.
Lo que tienen en común es que ninguna de ellas formaba parte de la pregunta original. El marco se construyó para responder una pregunta sobre objetos geométricos. Si la responde bien, y si alguna de estas conexiones lleva a algún lugar real, son preguntas que aún se están trabajando.
Esa incertidumbre es donde se encuentra el pensamiento actualmente. No es un mapa terminado — es una dirección. Si algo de esto resuena o abre una pregunta que valga la pena seguir, para eso fue exactamente esta serie.
El desarrollo matemático formal detrás de estas ideas está siendo desarrollado en un artículo complementario actualmente en progreso. Una versión anterior de ese artículo exageró la novedad del marco. Tras la crítica sustantiva de miembros de la comunidad Zulip de Teoría de Categorías, el artículo fue revisado para aclarar que la maquinaria es clásica y la contribución es organizacional y conceptual. La versión actual refleja eso.
Discusión