Definición y concepto
En el ámbito de las matemáticas, una foliación constituye un concepto fundamental dentro de la topología y la geometría diferencial. Se define formalmente como una partición de una variedad diferenciable en subvariedades diferenciables. Esta definición implica que la variedad original se descompone en conjuntos más pequeños, llamados hojas, cada uno de los cuales posee una estructura diferenciable propia. La propiedad esencial de esta partición radica en la uniformidad dimensional de sus componentes. Todas las subvariedades que conforman la foliación comparten la misma dimensión, denotada como m. Es crucial destacar que esta dimensión m es estrictamente menor que la dimensión total de la variedad original que se está foliando. Esta relación dimensional es lo que permite distinguir la estructura interna de la foliación del espacio global que la contiene.
Interpretación geométrica e intuitiva
Para comprender la naturaleza de una foliación, resulta útil recurrir a una analogía geométrica sencilla. El término evoca la imagen de una hoja de libro o las capas de un pastel. En este sentido, una foliación puede visualizarse como una serie de cortes o "lonchas" que atraviesan la variedad. Cada una de estas lonchas representa una de las subvariedades mencionadas en la definición formal. A diferencia de una partición arbitraria, estas hojas están dispuestas de manera continua y coherente a lo largo de la variedad. La disposición no es caótica; las hojas se organizan de tal forma que cubren toda la variedad sin superposiciones innecesarias y sin dejar huecos, manteniendo su identidad como superficies diferenciables individuales. Esta perspectiva intuitiva ayuda a visualizar cómo una estructura compleja puede descomponerse en elementos más manejables y de menor dimensión.
Estructura local y teorema de Frobenius
Una característica definitoria de las foliaciones es su comportamiento local. Localmente, una foliación presenta una estructura topológica equivalente a la de una variedad producto. Esto significa que, al observar una región suficientemente pequeña de la variedad foliada, la estructura se asemeja al producto cartesiano de dos espacios: uno que representa la dirección de las hojas y otro que representa la dirección transversal a ellas. Esta propiedad de producto local es lo que otorga a las foliaciones su regularidad y previsibilidad en escalas pequeñas. La condición matemática que garantiza esta estructura se encuentra en el teorema de Frobenius. Este teorema establece las condiciones necesarias y suficientes para la integrabilidad de una distribución. La integrabilidad asegura que los campos vectoriales que definen las direcciones de las hojas pueden "integrarse" para formar las subvariedades continuas que constituyen la foliación. Sin la condición de integrabilidad establecida por Frobenius, la partición podría carecer de la coherencia geométrica requerida para ser considerada una foliación verdadera.
Definición formal y coordenadas locales
En el contexto de la geometría diferencial y la topología, una foliación se define rigurosamente como una partición de una variedad diferenciable en subvariedades diferenciables, conocidas como hojas. Esta estructura impone que todas las subvariedades que conforman la foliación sean de la misma dimensión m, la cual es estrictamente menor que la dimensión de la variedad original. La definición formal requiere la existencia de un recubrimiento abierto de la variedad por cartas de coordenadas locales que respeten esta estructura de descomposición.
Coordenadas locales y aplicaciones
Para establecer la estructura de foliación, se considera un recubrimiento topológico de la variedad mediante aplicaciones phi_i. Estas aplicaciones mapean los abiertos de la variedad hacia espacios euclídeos o variedades modelo, permitiendo visualizar la estructura local como un producto. La clave de la definición radica en la forma específica que toman las funciones de transición phi_ij en los solapes entre dos cartas cualesquiera. Estas funciones de transición deben preservar la estructura de las hojas, lo que implica que, localmente, la variedad tiene una estructura topológica de variedad producto.
Matemáticamente, esto significa que en los solapes, las coordenadas se descomponen de tal manera que las hojas L_alpha se corresponden con las fibras de esta estructura de producto. La descomposición en hojas L_alpha es, por tanto, una consecuencia directa de la condición de integrabilidad de la distribución de planos tangentes asociada a la foliación. Cada hoja L_alpha es una subvariedad conexa de dimensión m, y la unión de todas las hojas constituye la variedad original, sin intersecciones entre ellas salvo en los bordes definidos por la topología global.
Integrabilidad y el teorema de Frobenius
La condición necesaria y suficiente para que una distribución de planos tangentes genere una foliación está dada por el teorema de Frobenius. Este teorema establece que la distribución debe ser integrable, lo cual se traduce en condiciones algebraicas sobre los campos de vectores que generan la distribución. La integrabilidad asegura que las hojas L_alpha sean subvariedades diferenciables bien definidas y que la estructura de producto local se mantenga coherentemente a lo largo de toda la variedad. Sin esta condición, la partición en subvariedades de la misma dimensión m no podría mantenerse de manera consistente bajo las aplicaciones phi_i y sus funciones de transición phi_ij.
¿Cómo se generan foliaciones mediante submersiones?
Las submersiones constituyen uno de los mecanismos fundamentales para la construcción de foliaciones en variedades diferenciables. Una submersión es una aplicación diferenciable cuya derivada es sobreyectiva en cada punto del dominio. Esta propiedad geométrica garantiza que la imagen localmente se comporte como un espacio de menor dimensión, permitiendo definir una estructura de foliación mediante las fibras de la aplicación. La relación entre estas dos nociones se establece de manera directa y rigurosa a través de conceptos básicos del análisis en variedades.
Construcción mediante fibras inversas
Considérese una variedad diferenciable M de dimensión n y una variedad diferenciable N de dimensión k. Si se tiene una submersión f: M → N, entonces para cada punto y en N, la fibra inversa f⁻¹(y) define una subvariedad de M. Estas fibras conforman las hojas de la foliación inducida por la submersión. Cada hoja es una subvariedad de dimensión n - k, ya que la condición de submersión asegura que el núcleo de la derivada df tiene dimensión constante igual a n - k en cada punto.
El teorema de la función implícita juega un papel central en esta construcción. Este resultado garantiza que, localmente, la fibra inversa de una submersión tiene la estructura de una subvariedad cerrada de dimensión constante. Por lo tanto, la colección de todas las fibras inversas forma una partición de M en subvariedades diferenciables de la misma dimensión, cumpliendo así la definición de foliación. Esta foliación se denomina foliación por fibras o foliación definida por una submersión.
Ejemplo en el espacio euclídeo
Un ejemplo ilustrativo se encuentra en el espacio euclídeo n-dimensional ℝⁿ. Considérese la proyección natural π: ℝⁿ → ℝᵏ que envía cada punto (x₁, x₂,..., xₙ) a sus primeras k coordenadas (x₁, x₂,..., xₖ). Esta aplicación es una submersión cuya derivada tiene rango k en cada punto. Las fibras inversas π⁻¹(y) para cada y en ℝᵏ son subespacios afines de dimensión n - k, paralelos al subespacio definido por las últimas n - k coordenadas. Estas fibras forman una foliación de ℝⁿ en planos paralelos de dimensión n - k.
Este ejemplo muestra cómo las submersiones generan foliaciones con estructura de producto local. La variedad original se descompone en hojas que son imágenes inversas de puntos del espacio de parámetros. Esta construcción es fundamental en geometría diferencial y topología, ya que proporciona un método sistemático para generar foliaciones a partir de aplicaciones naturales entre variedades.
Ejemplos prácticos de foliaciones
Foliaciones en espacios euclidianos
Un ejemplo fundamental de foliación se construye en el espacio euclidiano tridimensional, denotado como R^3. En este contexto, se considera una foliación de dimensión p=2. Las hojas de esta estructura son subvariedades de dimensión 2 que particionan la variedad original. Un caso particularmente claro ocurre cuando las hojas se definen como conjuntos de la forma {x} x R^2. Aquí, cada valor fijo de la coordenada x determina una hoja específica, que geométricamente corresponde a un plano paralelo al plano yz. Esta configuración ilustra directamente el principio de que todas las subvariedades que conforman la foliación deben ser de la misma dimensión m, siendo esta menor que la dimensión de la variedad original. La estructura local de esta foliación refleja la propiedad de variedad producto, donde el espacio se descompone localmente en el producto de la hoja y el espacio transversal.
Foliaciones inducidas por submersiones
Otro método para generar foliaciones consiste en utilizar submersiones sobre variedades diferenciadas. Un ejemplo concreto se encuentra en el espacio R^3 menos el origen. Se considera la función f definida por la expresión f(x,y,z)=2x^2+3y^2+4z^2. Esta función actúa como una submersión en el dominio especificado. Las hojas de la foliación inducida corresponden a las superficies de nivel de la función f. Cada valor constante de la función determina una hoja específica, creando una partición de la variedad en subvariedades diferenciables. Esta construcción demuestra cómo las condiciones de integrabilidad, relacionadas con el teorema de Frobenius, se manifiestan a través de la estructura de las superficies de nivel. La función proporciona un mecanismo claro para visualizar cómo una distribución puede ser integrable, formando así una foliación global en el espacio considerado.
La Fibración de Hopf y cubiertas
La Fibración de Hopf representa un ejemplo clásico y no trivial de foliación en topología y geometría. Esta estructura proporciona una partición de la esfera tridimensional en círculos, ilustrando cómo las hojas pueden tener una topología compleja dentro de una variedad mayor. Además, las foliaciones pueden ser inducidas mediante cubiertas. Este proceso permite transferir la estructura de foliación desde una variedad cubierta hacia la variedad base, o viceversa, dependiendo de la proyección. La inducción mediante cubiertas es una herramienta poderosa para construir nuevas foliaciones a partir de ejemplos conocidos, ampliando el catálogo de estructuras foliadas en diversas dimensiones. Estos ejemplos prácticos refuerzan la comprensión de que una foliación es esencialmente una partición en subvariedades diferenciables de otra variedad diferenciable, manteniendo coherencia dimensional y topológica en toda la estructura.
Teorema de Frobenius e integrabilidad
La relación entre las foliaciones y la integrabilidad de distribuciones constituye un pilar fundamental de la geometría diferencial. Una distribución sobre una variedad diferenciable puede verse como una asignación de subespacios vectoriales en cada punto de la variedad. Cuando estos subespacios son de dimensión constante m, se habla de una distribución de dimensión m. La pregunta central es bajo qué condiciones esta distribución es integrable, es decir, si existe una familia de subvariedades de dimensión m (las hojas de la foliación) cuyas espacios tangentes coincidan con la distribución en cada punto.
Condiciones de cierre bajo el paréntesis de Lie
El teorema de Frobenius, nombrado en honor al matemático alemán Ferdinand Georg Frobenius, proporciona las condiciones necesarias y suficientes para que una distribución sea integrable. Una condición esencial es que la distribución debe ser cerrada bajo el paréntesis de Lie. Esto significa que si se toman dos campos vectoriales que son secciones de la distribución, su paréntesis de Lie también debe ser una sección de la distribución. Esta propiedad garantiza que las direcciones definidas por los campos vectoriales sean "compatibles" y puedan integrarse para formar superficies o subvariedades de mayor dimensión.
En el caso específico de campos vectoriales no nulos, la integrabilidad se manifiesta a través de las curvas integrales. Una curva integral de un campo vectorial es una curva cuya tangente en cada punto coincide con el valor del campo vectorial en ese punto. Para que una distribución generada por un solo campo vectorial sea integrable, las curvas integrales deben "ajustarse" sin solaparse de manera compleja, formando las hojas de la foliación.
Reducción del grupo GL(n)
Otra perspectiva importante para entender la integrabilidad es a través de la reducción del grupo lineal general, denotado como GL(n). Esta reducción implica que la estructura de la foliación puede describirse mediante la existencia de un atlas de coordenadas especiales donde las transiciones entre cartas preservan una estructura específica. La reducción del grupo GL(n) refleja la manera en que las hojas de la foliación se organizan localmente como productos de variedades, lo cual es consistente con la estructura topológica de variedad producto mencionada anteriormente.
En resumen, el teorema de Frobenius no solo establece las condiciones matemáticas precisas para la integrabilidad de una distribución, sino que también conecta profundamente con conceptos geométricos como el paréntesis de Lie y la reducción de grupos, ofreciendo una visión unificada de la estructura de las foliaciones en variedades diferenciables.
Aplicaciones en sistemas hamiltonianos
El estudio de los sistemas dinámicos, particularmente en el contexto de la mecánica hamiltoniana, ofrece una aplicación fundamental de la teoría de foliaciones. La estructura geométrica subyacente a la evolución temporal de un sistema físico puede describirse rigurosamente mediante la partición del espacio de fases en subvariedades, lo que permite analizar la integrabilidad y el comportamiento a largo plazo de las trayectorias.
Integrabilidad y el teorema de Frobenius
En un sistema hamiltoniano con n grados de libertad, la búsqueda de integrales de movimiento (cantidades conservadas) es esencial para simplificar la dinámica. Cuando existen n integrales de movimiento en involución mutua, el sistema se considera integrable según Liouville. La condición de involución implica que los paréntesis de Poisson entre cualquier par de estas integrales son nulos. Esta propiedad algebraica tiene una contraparte geométrica directa a través del teorema de Frobenius.
El teorema de Frobenius establece las condiciones necesarias y suficientes para que una distribución de planos tangentes sea integrable, es decir, que sea la tangente a una familia de subvariedades. En el contexto hamiltoniano, las integrales de movimiento definen niveles de constancia en el espacio de fases. La condición de que los paréntesis de Poisson sean nulos asegura que los gradientes de estas integrales generen una distribución en involución. Por lo tanto, según Frobenius, estas distribuciones se integran en subvariedades de dimensión n, conocidas como toros invariantes o variedades de nivel.
Estructura de las trayectorias
La intersección de las superficies de nivel definidas por las n integrales de movimiento constituye una foliación del espacio de fases. Cada hoja de esta foliación representa una subvariedad donde el sistema evoluciona. Dentro de cada hoja, las trayectorias del movimiento están confinadas, lo que significa que la dinámica se reduce a un flujo sobre estas subvariedades de dimensión constante. Esta estructura de variedad producto localmente permite parametrizar las soluciones mediante coordenadas angulares y radiales, facilitando el análisis de la estabilidad y la cuasi-periodicidad del movimiento.
Así, la noción de foliación proporciona el marco geométrico natural para entender por qué ciertas cantidades se conservan y cómo estas restricciones reducen la complejidad dinámica. La integrabilidad no es solo una propiedad algebraica de las funciones Hamiltonianas, sino una propiedad topológica y diferencial de la partición del espacio de fases, donde las hojas de la foliación coinciden con las trayectorias cerradas o densas del sistema.
Ejercicios resueltos
Ejercicio 1: Verificación de foliación en R^3 con dimensión de hoja 2
Se considera el espacio euclidiano RR3 y se busca verificar si una distribución de planos de dimensión m=2 define una foliación. Sea la distribución D generada por los campos de vectores X1=(1,0,0) y X2=(0,1,0). Para aplicar el teorema de Frobenius, se calcula el corchete de Lie [X1,X2]. Dado que las componentes son constantes, el corchete es nulo: [X1,X2]=0. Como el corchete pertenece a D, la distribución es integrable. Las hojas son planos paralelos al plano xy, definidos por z=c, donde c es una constante. Esto confirma que la partición en subvariedades diferenciables de la misma dimensión cumple con la estructura topológica de variedad producto localmente.
Ejercicio 2: Hojas de la submersión f(x,y,z) en R^3
Se analiza la función f:RR3\{(0,0,0)}→R definida por f(x,y,z)=2x2+3y2+4z2. Para determinar las hojas de la foliación inducida, se calculan los conjuntos de nivel f(x,y,z)=c. El gradiente es ∇f=(4x,6y,8z). En RR3\{(0,0,0)}, el gradiente no se anula, por lo que f es una submersión. Las hojas son las superficies elipsoidales 2x2+3y2+4z2=c para c>0. Cada hoja es una subvariedad diferenciable de dimensión 2, cumpliendo con la definición de foliación como partición en subvariedades de la misma dimensión menor que la variedad original.