Hydrodynamics as cospans of field theories into the BF theory

El artículo propone que la aproximación hidrodinámica de una teoría microscópica puede entenderse como un cospan de variedades diferenciables graduadas que conecta las teorías microscópica e hidrodinámica a través de una teoría BF que describe las corrientes conservadas.

Lo esencial

Imagina que el universo es como una inmensa y compleja orquesta. En esta orquesta, hay dos formas principales de describir la música que se está tocando: la microscópica y la hidrodinámica.

Este artículo, escrito por David Simon Henrik Jonsson y Hyungrok Kim, propone una forma brillante y elegante de conectar estas dos descripciones usando una herramienta matemática llamada "coseno" (o cospan en inglés), que actúa como un puente.

Aquí tienes la explicación sencilla, paso a paso:

1. Los dos extremos del puente

Imagina que tienes dos libros de recetas para cocinar el mismo plato (digamos, una sopa):

• El Libro Microscópico (La Teoría Cuántica): Este libro es extremadamente detallado. Describe cada átomo, cada partícula, cada colisión y cada fuerza individual. Es como intentar describir la sopa contando cada molécula de agua y cada sal que cae. Es preciso, pero es una pesadilla de leer y calcular. En física, esto es la teoría cuántica de campos (como la cromodinámica cuántica).
• El Libro Hidrodinámico (La Hidrodinámica): Este libro es mucho más simple. No le importa a qué molécula pertenece cada gota. Solo te dice: "La sopa tiene una temperatura de 80°C, fluye a 2 metros por segundo y tiene una presión de 1 atmósfera". Describe el comportamiento colectivo, como si la sopa fuera un fluido continuo. Es lo que usamos para predecir el clima o el flujo de sangre.

El problema es: ¿Cómo pasamos del libro microscópico (complejo) al libro hidrodinámico (simple) sin perder la esencia de la física?

2. El Puente Mágico: La Teoría BF

Los autores proponen que no debemos saltar directamente de un libro al otro. En su lugar, construimos un puente intermedio llamado Teoría BF.

• ¿Qué es la Teoría BF? Imagina que es un "lenguaje universal de conservación".
  • En la física, hay leyes de conservación inquebrantables: la energía no se crea ni se destruye, la carga eléctrica se mantiene, etc.
  • La Teoría BF es un sistema matemático que se dedica exclusivamente a escribir estas leyes de conservación. Su única regla es: "Lo que entra debe salir igual" (en lenguaje matemático, las "formas" deben estar cerradas).

3. ¿Cómo funciona el "Coseno" (Cospan)?

El título del artículo habla de un "coseno". Visualiza una letra V invertida o un puente con dos caminos que se encuentran en un punto central:

      [Teoría Microscópica]       [Teoría Hidrodinámica]
             \                         /
              \                       /
               \                     /
                [Teoría BF (El Puente)]

• El camino de la izquierda (Microscópico → BF):
  Tomamos el libro de recetas microscópico (la orquesta compleja) y extraemos de él las "leyes de conservación". Convertimos el caos de las partículas en un mensaje limpio: "Aquí hay una corriente de energía que se conserva". Este mensaje se envía al puente central (Teoría BF).

• El camino de la derecha (Hidrodinámica → BF):
  Tomamos el libro de recetas simple (el fluido) y también extraemos sus leyes de conservación. Decimos: "Aquí hay una corriente de energía descrita por la velocidad y la densidad que también se conserva". Este mensaje también se envía al puente central.

• El resultado:
  Al conectar ambos caminos al mismo puente (Teoría BF), demostramos que ambas descripciones (la compleja y la simple) están hablando de la misma realidad física. El puente garantiza que la hidrodinámica no es solo una aproximación "a ojo", sino que es una consecuencia matemática rigurosa de la teoría microscópica.

4. La Analogía de la Orquesta y el Director

Para hacerlo aún más claro:

• La Teoría Microscópica es como escuchar a cada uno de los 100 músicos de la orquesta tocando su instrumento individualmente. Es un ruido complejo.
• La Teoría BF es como el director de orquesta que solo escucha las notas fundamentales que se repiten (la melodía principal). El director no le importa si el violín es de madera o plástico, solo le importa que la nota "Do" se mantenga constante.
• La Hidrodinámica es el resumen que el director le da al público: "Hoy la orquesta suena fuerte, con un ritmo rápido y una melodía alegre".

El artículo dice que podemos traducir la descripción de los instrumentos individuales (microscópica) a la descripción del director (hidrodinámica) pasando primero por la atención exclusiva del director a las notas fundamentales (Teoría BF).

5. ¿Por qué es importante esto?

Antes, los físicos a veces tenían que "adivinar" cómo pasar de las partículas a los fluidos. Este artículo ofrece un mapa matemático riguroso (usando geometría avanzada llamada "geometría diferencial graduada") que asegura que no se pierda información crucial en el proceso.

Además, el artículo extiende esto a simetrías más extrañas y modernas (llamadas "simetrías de forma superior"), que son como reglas de conservación que no solo se aplican a puntos, sino a líneas, superficies o volúmenes en el espacio-tiempo. Es como si la orquesta tuviera reglas de conservación no solo para las notas, sino para cómo se mueven los músicos en el escenario.

En resumen

El paper dice: "Para entender cómo el caos de las partículas se convierte en el flujo suave de un fluido, no intentes saltar directamente. Construye un puente intermedio basado en las leyes de conservación (Teoría BF). Conecta tu teoría compleja y tu teoría simple a este puente, y verás que encajan perfectamente como dos caras de la misma moneda."

Es una forma elegante de decir que la física de lo muy pequeño y la física de lo muy grande están conectadas por reglas matemáticas profundas y universales.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Hydrodynamics as cospans of field theories into the BF theory" (Hidrodinámica como cospans de teorías de campo hacia la teoría BF), escrito por David Simon Henrik Jonsson y Hyungrok Kim.

1. El Problema

La hidrodinámica es una descripción universal de sistemas de muchos cuerpos a largas escalas de tiempo y longitud, basada en las leyes de conservación de corrientes (densidad, presión, velocidad, etc.). Tradicionalmente, se entiende como una consecuencia de simetrías y sus leyes de conservación. Sin embargo, en los últimos años, el concepto de "simetría" se ha generalizado para incluir simetrías de orden superior (higher-form symmetries), donde las corrientes de Noether no son necesariamente 1-formas o (d-1)-formas, sino formas de grado $p$ arbitrario.

El problema central abordado en este trabajo es la falta de una formalización rigurosa y unificada que conecte tres niveles de descripción de la misma física:

1. Teoría Microscópica: Una teoría cuántica de campos (QFT) compleja (ej. QCD, teorías de gauge) que describe los grados de libertad fundamentales.
2. Teoría BF: Una teoría de campo topológica donde las corrientes conservadas se tratan como campos fundamentales y sus leyes de conservación son ecuaciones de movimiento (formas cerradas).
3. Teoría Hidrodinámica: Una descripción macroscópica donde las corrientes se parametrizan en términos de variables hidrodinámicas (densidad, velocidad, etc.).

Existe una brecha conceptual y matemática para describir cómo la teoría microscópica "se mapea" a la hidrodinámica, especialmente cuando se incluyen simetrías generalizadas y se requiere un tratamiento covariante y geométrico que maneje tanto la dinámica como las simetrías de gauge.

2. Metodología

Los autores utilizan un marco matemático avanzado que combina la geometría diferencial graduada (differential graded geometry) y el formalismo de Batalin-Vilkovisky (BV).

• Geometría Diferencial Graduada (dg-manifolds): Se modelan las teorías de campo como variedades graduadas equipadas con un campo vectorial homológico ($Q$) de grado 1 tal que $[Q, Q]=0$. Este campo codifica las ecuaciones de movimiento.

• Formalismo BV: Se extiende el espacio de campos para incluir "antifields" (campos antifísicos) y fantasmas, permitiendo tratar simetrías de gauge de manera consistente. El formalismo BV describe una teoría clásica como una variedad diferencial graduada simpléctica de grado -1.

• Estructura de Cospan: En lugar de intentar derivar la hidrodinámica directamente de la microscópica, los autores proponen que ambas teorías se conectan a una tercera teoría intermedia: la Teoría BF. Esto forma una estructura de "cospan" en la teoría de categorías:
  $$X_{micro} \to X_{BF} \leftarrow X_{hydro}$$
  Donde:

  • $X_{micro}$: La teoría microscópica (QFT).
  • $X_{BF}$: Una teoría BF abeliana donde las corrientes conservadas $J^{(p)}$ son campos fundamentales y las ecuaciones de movimiento son $dJ^{(p)} = 0$.
  • $X_{hydro}$: La teoría hidrodinámica, donde las corrientes $J^{(p)}$ se expresan como funcionales de variables hidrodinámicas.

• Manejo de No-Orientabilidad: Se introduce el uso de formas diferenciales "twisted" (torcidas) con respecto al haz de orientación ($or_M$) para permitir la definición de corrientes de Noether en variedades que no son orientables, lo cual es crucial para la generalidad de la hidrodinámica.

3. Contribuciones Clave

1. Formalización de la Hidrodinámica como Cospan: La contribución principal es la demostración de que la aproximación hidrodinámica a una teoría microscópica puede formalizarse rigurosamente como un cospan de variedades diferenciales graduadas. Esto unifica la descripción microscópica y macroscópica bajo un mismo lenguaje geométrico.
2. Inclusión de Simetrías de Orden Superior: El marco se generaliza naturalmente para incluir corrientes de Noether de grado $p$ (simetrías de $p$-forma), lo que permite describir sistemas como la magnetohidrodinámica (MHD) de campos de gauge $p$-forma y fluidos con cargas generalizadas.
3. Tratamiento Unificado de Ecuaciones de Movimiento:
   • En la teoría microscópica, las corrientes son funcionales de los campos $\phi$ y se conservan "on-shell" (sobre la capa de masa).
   • En la teoría BF, las corrientes son campos fundamentales y su conservación es una ecuación de movimiento exacta derivada de una acción tipo BF ($S = \int \Lambda \wedge dJ$).
   • En la hidrodinámica, las corrientes se parametrizan por variables macroscópicas y su conservación se impone directamente como ecuaciones diferenciales parciales (a menudo sin un principio de acción debido a la disipación, por lo que se usa una estructura dg-manifold sin estructura simpléctica).
4. Morfismos de Variedades Graduadas: Se definen explícitamente los morfismos que conectan estas teorías:
   • $X_{micro} \to X_{BF}$: Mapea los campos microscópicos a las corrientes de Noether (y sus antifields correspondientes).
   • $X_{hydro} \to X_{BF}$: Mapea las variables hidrodinámicas a las corrientes parametrizadas.

4. Resultados y Ejemplos

Los autores validan su formalismo aplicándolo a varios casos concretos:

• Hidrodinámica Relativista Estándar: Se muestra cómo la conservación del tensor energía-momento ($\nabla_\mu T^{\mu\nu}=0$) se mapea desde una teoría de campo escalar microscópica hacia una teoría BF y luego a la hidrodinámica de un fluido perfecto parametrizado por densidad $\rho$ y velocidad $u^\mu$.
• Fluido Irrotacional Relativista: Se analiza un campo escalar con valores en un círculo ($S^1$), que posee una corriente conservada de 1-forma ($J=d\phi$). Esto genera un sistema sobredeterminado en ciertas dimensiones, que se resuelve naturalmente en el lenguaje de formas diferenciales y potenciales.
• Magnetohidrodinámica (MHD) de Campos $p$-forma: Se reformula la MHD como la consecuencia de la conservación del tensor energía-momento y la identidad de Bianchi ($dF=0$) de un campo de gauge. Se demuestra cómo las variables hidrodinámicas (velocidad, densidad, y formas auxiliares $h$ y $k$) parametrizan las corrientes microscópicas en el contexto de simetrías de orden superior.

Un resultado técnico importante es la identificación de que, para sistemas con simetrías de orden superior, el número de ecuaciones puede exceder el número de incógnitas (sistemas sobredeterminados), y el formalismo de cospans maneja esto mediante la introducción de potenciales o restricciones geométricas en las variedades graduadas.

5. Significado e Impacto

• Unificación Conceptual: El trabajo proporciona un lenguaje común para físicos teóricos que trabajan en teoría cuántica de campos, topología y física de fluidos, permitiendo traducir problemas de hidrodinámica a problemas de teoría de campos topológicos y viceversa.
• Generalización de Simetrías: Ofrece una herramienta poderosa para estudiar sistemas con simetrías generalizadas (higher-form symmetries), un área de investigación muy activa en física de la materia condensada y teoría de cuerdas.
• Fundamentos Matemáticos: Al utilizar la geometría diferencial graduada y el formalismo BV, el artículo establece una base matemática rigurosa para la hidrodinámica, superando las limitaciones de las formulaciones fenomenológicas tradicionales.
• Futuras Direcciones: Aunque el artículo se centra en simetrías continuas y leyes de conservación (excluyendo la entropía y coeficientes de transporte disipativos en este marco), abre la puerta a futuras investigaciones sobre cómo incorporar efectos termodinámicos y disipativos dentro de esta estructura geométrica, así como la extensión a simetrías discretas mediante cohomologías discretas.

En resumen, el artículo propone un cambio de paradigma: ver la hidrodinámica no como una teoría independiente, sino como una "proyección" o parametrización específica de una teoría de campos topológica (BF) que, a su vez, es una aproximación de una teoría cuántica microscópica, todo ello unificado mediante morfismos en la categoría de variedades diferenciales graduadas.