Incidence-based Combinatorial Geometry on Cell Complexes

Resumen Técnico: Geometría Combinatoria Basada en la Incidencia sobre Complejos Celulares

Planteamiento del Problema
El Cálculo de Mallas Combinatorias (CMC, por sus siglas en inglés) proporciona un marco para formular leyes de conservación directamente sobre complejos celulares utilizando formas diferenciales combinatorias de valores escalares. Sin embargo, muchas teorías físicas que involucran magnitudes direccionales (por ejemplo, desplazamiento, velocidad, momento, fuerza) requieren espacios de coeficientes locales, la comparación de estados en diferentes ubicaciones y estructuras geométricas capaces de representar compatibilidad, transporte, curvatura y torsión. La geometría diferencial suave estándar se basa en haces tangentes y estructuras diferenciables, las cuales no se transfieren directamente a complejos celulares explícitos. Además, los enfoques discretos existentes (como la Geometría Exterior Discreta) suelen depender de haces de rango fijo prescritos independientemente de la topología del complejo. El problema abordado es el desarrollo de una geometría combinatoria basada en la incidencia que genere intrínsecamente espacios de coeficientes locales, estructuras de transporte e invariantes geométricos directamente a partir de la organización representada por el complejo celular, sin asumir una variedad suave subyacente.

Metodología
El artículo construye un marco geométrico sobre un complejo computacional $K$ (una subdivisión de Forman de un complejo físico $M$) reemplazando los coeficientes escalares con espacios vectoriales localmente variables (fibras) generados por la estructura de incidencia del complejo.

1. Fibras Generadas por la Incidencia: Para cada vértice $a \in K_0$, se define una fibra local $F_a$ como el espacio vectorial generado por las direcciones de las aristas orientadas incidentes en $a$. La dimensión de $F_a$ ($n_a$) está determinada por la valencia local del vértice, lo que permite haces de rango variable que reflejan la topología local.
2. Cocadenas de Incidencia con Valores en la Fibra: En lugar de asignar valores únicamente a las celdas, el marco define cocadenas sobre incidencias $(a, \sigma)$, donde un vértice $a$ es una cara de una celda $\sigma$. El espacio de coeficientes para dicha cocadena es la fibra $F_a$ (o su dual $F_a^*$). Esto ancla el coeficiente al vértice específico, mientras que la celda $\sigma$ proporciona el dominio geométrico.
3. Transporte y Conexiones: Dado que las fibras vecinas son distintas, se introduce una estructura de transporte de arista dirigida $P = \{P_{ab}\}$, que asigna aplicaciones lineales entre las fibras de vértices adyacentes. El transporte por camino se define mediante composición. Se identifican las conexiones discretas reversibles (isomorfismos con inversos) como un caso especial.
4. Formas de Soldadura y Torsión: Una forma de soldadura $\theta$ (una 1-cocadena con valores vectoriales) relaciona las 1-celdas combinatorias con las direcciones locales de la fibra. La torsión $\Theta$ se define como el defecto de soldadura transportado alrededor de una 2-celda, midiendo el fallo de las direcciones de las aristas locales al cerrarse cuando se transportan a una fibra de referencia.
5. Curvatura y Holonomía: La holonomía $R(a, f)$ se define como la composición de las aplicaciones de transporte alrededor de la frontera de una 2-celda. El defecto de holonomía finita $\Delta = R - \text{Id}$ y la curvatura impar de orientación $\Omega = \frac{1}{2}(R - R^{-1})$ se introducen para caracterizar el fallo de transporte.
6. Estructuras Métricas: Se introduce una métrica de fibra $g$ como dato independiente, induciendo productos internos en las cocadenas con valores en la fibra. Esto permite la definición de operadores de Hodge de haces ($\star^\flat, \star^\sharp$) que mapean entre cocadenas con valores vectoriales y de cocotangentes, así como productos cup de evaluación que emparejan cantidades cinemáticas y de tipo fuerza para formar campos energéticos escalares.
7. Operadores Covariantes Ponderados: Se construye un operador de incidencia covariante ponderado $\delta^\nabla$ que eleva el grado de las cocadenas. Este agrega los valores transportados de vértices vecinos utilizando conjuntos de anclaje, caminos y pesos de normalización para asegurar una sumatoria bien definida en la fibra de referencia común.
8. Álgebras Dependientes de la Localidad: El artículo analiza el álgebra de los operadores que actúan sobre 0-cocadenas escalares, definiendo una filtración basada en la distancia combinatoria. Demuestra que los operadores inducidos por campos vectoriales poseen un defecto de Leibniz cuadrático, y que sus conmutadores expanden el radio de localidad, formando un álgebra de Lie filtrada.

Contribuciones Clave y Resultados

• Andamiaje Geométrico Intrínseco: El marco establece un andamiaje combinatorio donde los espacios de coeficientes locales, las direcciones admisibles y las estructuras de transporte se generan directamente de la organización del complejo celular, en lugar de ser prescritos externamente.
• Fibras de Rango Variable: A diferencia de los enfoques de haces de rango fijo, la dimensión de la fibra varía con la valencia del vértice, proporcionando una representación más flexible de la topología local.
• Definiciones Operacionales de Torsión y Curvatura: La torsión y la curvatura se definen operativamente a través de operaciones de transporte finito (defectos de soldadura transportados y holonomías) en lugar de como derivadas de una conexión. El artículo distingue entre el defecto de holonomía finita y la cocadena de curvatura impar de orientación.
• Producto Cup de Evaluación: Se define un producto cup generalizado que empareja cocadenas con valores de cocotangente y valores vectoriales mediante la evaluación canónica de las fibras duales, permitiendo la construcción de campos energéticos escalares sin necesidad de transporte.
• Operadores de Hodge de Haces: El artículo define operadores Hodge de vector a cocotangente y de cocotangente a vector inducidos por la métrica de la fibra, dividiendo el operador estrella de Hodge escalar en distintos mapas operacionales.
• Defecto de Leibniz: El artículo demuestra que el álgebra puntual de las 0-cocadenas escalares sobre un conjunto finito de vértices no admite derivaciones distintas de cero. En consecuencia, los operadores inducidos por campos vectoriales combinatorios exhiben un defecto de Leibniz cuadrático, una característica distinta de la geometría diferencial suave.
• Álgebras de Operadores Filtradas: La construcción de una filtración de localidad en los espacios de operadores revela que los conmutadores de operadores de radio uno generalmente resultan en operadores de radio dos, estableciendo una estructura de álgebra de Lie filtrada.

Significado y Pretensiones
El artículo se posiciona como una nota exploratoria que establece un marco matemático e identifica las principales cuestiones para el desarrollo futuro. Pretende proporcionar:

• Un análogo combinatorio de los espacios de coeficientes locales, el transporte, la curvatura y la torsión que no depende de variedades suaves o estructuras diferenciables.
• Un entorno unificado para formular la mecánica y el transporte directamente sobre una organización celular en evolución.
• Una distinción respecto a la teoría de haces celulares: aunque los datos del vértice se asemejan a los tallos de un haz, la construcción no es automáticamente un haz celular o un sistema local sin condiciones de compatibilidad adicionales (por ejemplo, rango constante, de la naturaleza de un functor).
• Un alcance modesto respecto a las ecuaciones diferenciales: El artículo establece explícicamente que aún no establece una estructura completa de tipo Cartan (no se afirma que $\delta^\nabla \delta^\nabla \neq 0$ sea un derivado nulo). La relación entre las definiciones operacionales (holonomía finita) y las definiciones diferenciales (formas de curvatura) sigue siendo un problema abierto.

El trabajo concluye identificando preguntas abiertas, incluyendo la identificación de clases de transporte admisibles, conexiones compatibles con la métrica, operadores constitutivos y la formulación de proyecciones de gran escala hacia haces tangentes continuos en el límite macroscópico. La importancia reside en proporcionar el "andamiaje" fundacional para estos desarrollos futuros en el Cálculo de Malla Combinatoria con valores en la fibra.