🔢 mathematics

On Milnor and Tjurina numbers of Pairs of Holomorphic Functions Germs

Motivado por las fórmulas de bifurcación, este artículo introduce el número de Tjurina para pares de germen de funciones holomorfas a través de la teoría de foliaciones, demuestra su invariancia analítica y fórmula explícita, y aplica estos resultados junto con nuevas propiedades del número de Milnor para caracterizar gérmenes meromorfos semitamables y analizar penachos genéricos de curvas algebraicas.

Autores originales: Arturo Fernández-Pérez, Evelia R. García Barroso, Nancy Saravia-Molina

Publicado 2026-07-16

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Arturo Fernández-Pérez, Evelia R. García Barroso, Nancy Saravia-Molina

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un detective intentando resolver un misterio, pero en lugar de huellas dactilares o pisadas, tus pistas son las formas de curvas invisibles y retorcidas en un mundo matemático. Este es el reino de la Teoría de las Singularidades, una rama de las matemáticas que estudia qué sucede cuando las formas suaves de repente se vuelven "retorcidas" o se rompen en un solo punto. Piensa en una hoja de papel lisa que arrugas hasta convertirla en una bola; el punto donde todos los pliegues se encuentran es una "singularidad". Los matemáticos han utilizado durante mucho tiempo contadores especiales, llamados números, para describir qué tan desordenados son estos nudos. Dos contadores famosos son el número de Milnor y el número de Tjurina. El número de Milnor es como contar cuántos bucles separados crea un nudo cuando lo aprietas, mientras que el número de Tjurina cuenta de cuántas maneras diferentes puedes mover el nudo sin cambiar su forma básica.

Ahora, imagina que no estás mirando un solo nudo, sino dos funciones diferentes que danzan juntas, creando toda una familia de curvas llamada "pencil" (lápiz). Es como tener dos colores de pintura y mezclarlos en cada proporción posible para crear un arcoíris de nuevas formas. Recientemente, los matemáticos descubrieron una forma de contar la complejidad de toda esta danza, llamándola el "número de Milnor de un par". Pero quedaba una nueva pregunta: ¿Existe un "número de Tjurina de un par" que nos diga qué tan flexible es esta danza? Este es el rompecabezas que Arturo Fernández-Pérez, Evelia R. García Barroso y Nancy Saravia-Molina se propusieron resolver. No se limitaron a adivinar; construyeron una nueva herramienta matemática utilizando la teoría de las "foliaciones" —que puedes imaginar como una pila de hojas de papel donde las líneas en el papel representan los caminos que toman las curvas— para crear este nuevo contador.

El equipo introdujo con éxito este nuevo "número de Tjurina de un par", demostrando que es un hecho sólido e inalterable sobre la forma de estas funciones, independientemente de cómo las estires o retuerzas (siempre que no las rompas). Derivaron una fórmula específica para calcularlo, mostrando exactamente cómo se relaciona con los números de Tjurina individuales de las curvas y la "intersección" donde los dos caminos originales de las funciones se cruzan. Uno de sus descubrimientos más emocionantes es una "fórmula de bifurcación", que actúa como una receta: te dice que la complejidad total del par es la suma de la complejidad de los momentos "especiales" en la danza (donde la forma cambia repentinamente) más la complejidad base. Esto les permite identificar una clase especial de funciones matemáticas llamadas gérmenes "semitame" (semidóciles), que se comportan de una manera muy predecible y bien estructurada.

También revisaron el antiguo "número de Milfor de un par" para encontrar nuevas reglas. Demostraron una versión de una regla famosa llamada el Lema de Teissier para estos pares y establecieron un límite estricto superior, o techo, para qué tan grande puede llegar a ser este número basándose en los números de Tjurina de las curvas involucradas. Finalmente, aplicaron sus hallazgos a un problema clásico que involucra lápices algebraicos genéricos de curvas (piensa en ellos como mezclas estándar, no especiales, de curvas). Confirmaron una fórmula conocida para la complejidad total de estas curvas y demostraron que si la complejidad total de los números de Tjurina alcanza una marca alta específica, significa que cada uno de los "retorcidos" en esas curvas está perfectamente equilibrado, o es "cuasihomogéneo". En resumen, el artículo ofrece a los matemáticos una nueva y precisa regla para medir la flexibilidad y la complejidad de los pares de funciones que danzan, convirtiendo una intuición vaga en un hecho concreto y calculable.

Resumen Técnico: Números de Milnor y Tjurina de Pares de Germs de Funciones Holomorfas

Planteamiento del Problema
El estudio de los invariantes numéricos para germs de funciones holomorfas con singularidades aisladas es un tema central en la Teoría de Singularidades, centrándose principalmente en el número de Milnor $\mu(f)$ y el número de Tjurina $\tau(f)$ . Recientemente, A. Szawlowski introdujo el número de Milnor de un par $(f, g)$ , denotado como $\mu(f, g)$ , el cual puede interpretarse como el número de Milnor de la función meromorfa $f/g$ . Este invariante se deriva de la foliación holomorfa singular $\mathcal{F}_{\omega_{f/g}}$ definida por la 1-forma $\omega_{f/g} = gdf - fdg$ .

El problema principal abordado en este artículo es la ausencia de un número de Tjurina correspondiente para pares de funciones holomorfas. Si bien $\mu(f, g)$ está establecido, es necesaria una definición y caracterización del número de Tjurina de un par, $\tau(f, g)$ , para proporcionar un marco completo de invariantes analíticos para germs meromorfos y sus asociados penicilos de curvas.

Metodología
Los autores emplean la teoría de foliaciones holomorfas singulares para definir y analizar estos invariantes. La metodología central consiste en:

Asociación de Foliación: Asociar el par $(f, g)$ con la foliación $\mathcal{F}_{\omega_{f/g}}$ generada por el penicilo de curvas $\mathcal{P}_{f,g} = \{ \alpha f + \beta g = 0 \}$ .
Números de Tjurina Relativos: Utilizar el concepto del número de Tjurina de una foliación $\mathcal{F}$ con respecto a una curva reducida invariante $C$ , definido como $\tau(\mathcal{F}, C) = \dim_{\mathbb{C}} \mathcal{O}_2 / (P, Q, h)$ , donde $\omega = Pdx + Qdy$ y $C = \{h=0\}$ .
Divisores Balanceados de Separatrices: Aplicar la teoría de divisores balanceados de separatrices (introducida por Genzmer) para la foliación $\mathcal{F}_{\omega_{f/g}}$ . Estos divisores se construyen utilizando fibras de bifurcación (miembros singulares del penicilo) y fibras genéricas.
Invariancia Analítica: Probar que los invariantes propuestos son independientes de la elección específica del divisor balanceado, estableciéndolos así como invariantes analíticos bien definidos.
Teoría de Intersección y Fórmulas: Derivar fórmulas explícitas relacionando los invariantes del par con la multiplicidad de intersección $I_0(f, g)$ , los números de Tjurina de las fibras individuales y el índice GSV (Gómez-Mont, Seade, Verjovsky).

Contribuciones Clave y Resultados

Definición de $\tau(f, g)$ : El artículo introduce el número de Tjurina de un par $(f, g)$ , denotado como $\tau(f, g)$ , definido como el número de Tjurina de la foliación $\mathcal{F}_{\omega_{f/g}}$ con respecto a cualquier divisor balanceado primitivo de separatrices adaptado a la curva $fg=0$. Los autores demuestran que esta definición es independiente de la elección del divisor balanceado.
Fórmulas Explícitas:
- Relación por Fibra: Para una fibra específica $C_{[\alpha:\beta]}$ del penicilo, el artículo establece $\tau_{[\alpha:\beta]}(f, g) = I_0(f, g) + \tau(C_{[\alpha:\beta]})$ .
- Fórmula General: Se deriva una fórmula explícita para $\tau(f, g)$ en términos de los números de Tjurina de los divisores de cero y polo de un divisor balanceado, el número de separatrices de bifurcación $r$ , y la multiplicidad de intersección $I_0(f, g)$ . Específicamente, $\tau(f, g) = \tau(B_0) - \tau(B_\infty) + r(r-2)I_0(f, g)$ .
- Fórmula de Bifurcación: Se establece una fórmula de bifurcación para $\tau(f, g)$ , análoga a la fórmula conocida para $\mu(f, g)$ :
  $\tau(f, g) = \tau(fg) + \sum_{j=1}^r (\tau(h_j) - \tau_{\text{gen}}) + r^2 I_0(f, g) + \Theta_{B_0} + \Theta_{h_1 \dots h_r} - \Theta_{B_\infty}$
  donde $h_j$ son fibras de bifurcación y $\tau_{\text{gen}}$ es el número de Tjurina genérico.
Naturaleza Topológica vs. Analítica: El artículo demuestra que, mientras que el número de Milnor genérico de un par es un invariante topológico, el número de Tjurina genérico de un par no es un invariante topológico. Esto se demuestra mediante un ejemplo donde pares topológicamente equivalentes producen diferentes números de Tjurina genéricos.
Caracterización de Germs Semitame: Los autores proporcionan una nueva caracterización de los germs meromorfos semitame (aquellos cuyas únicas fibras de bifurcación son $f$ y $g$ ). Un par $(f, g)$ es semitame si y solo si $\tau(f, g) = \tau(fg)$ . Esta condición se muestra equivalente a $\mu(f, g) = \mu(fg)$ .
Lema de Teissier para Pares: Se establece una versión del Lema de Teissier para pares, relacionando el número de intersección polar del par a lo largo de un divisor balanceado con el número de Milnor del par:
$i_0((f, g), B) = \mu(f, g) + \nu(f) + \nu(g) - 1$
donde $\nu$ denota la multiplicidad algebraica.
Cotas Superiores y Aplicaciones:
- Se deriva una cota superior para $\mu(f, g)$ : $\mu(f, g) \leq 2\tau(fgh_1 \dots h_r) - 2r(r+2)I_0(f, g)$ .
- Los resultados se aplican a penicilos genéricos de curvas algebraicas en $\mathbb{P}^2$ . El artículo proporciona una prueba alternativa para la fórmula de Dimca respecto a la suma de los números de Milnor globales de los miembros singulares en un penicilo genérico, mostrando que $\sum \mu(C^s_j) = 3(k-1)^2$ .
- Se deriva una desigualdad correspondiente para la suma de los números de Tjurina globales: $\frac{9}{4}(k-1)^2 < \sum \tau(C^s_j) \leq 3(k-1)^2$ , donde la igualdad en el límite superior se cumple si y solo si todas las singularidades son cuasihomogéneas.

Significancia
El artículo afirma su significancia al extender la teoría clásica de singularidades de funciones holomorfas individuales a pares de funciones (germs meromorfos). Al introducir $\tau(f, g)$ , los autores completan el paralelo entre los números de Milnor y Tjurina en el contexto de los penicilos de curvas. El trabajo proporciona herramientas computacionales explícitas (fórmulas) para estos invariantes y clarifica sus propiedades topológicas y analíticas. Específicamente, la caracterización de los germs semitame a través del número de Tjurina ofrece una nueva perspectiva sobre la estructura de las funciones meromorfas. Además, la aplicación a los penicilos genéricos de curvas algebraicas conecta la teoría de singularidades locales con propiedades geométricas globales, ofreciendo una prueba alternativa a los resultados existentes de Dimca y estableciendo nuevas cotas para los números de Tjurina en este contexto.

Más como este