2.3 Estructura del Polinomio BR para L(p,q)
Resultados estructurales clave para la lectura del término de género 1
Este apartado funciona como guía de exposición: solo enunciamos los resultados que organizan la lectura del polinomio de Bollobás-Riordan para los grafos de Heegaard de espacios lente.
Mapa del capítulo
La narrativa queda en cuatro bloques:
- Restricción global del polinomio en la variable \(z\).
- Rebanada base \(y^2 z^2\) y criterio de activación de \(S_2\).
- Extremos de la parte planar (\(z^0\)): \(S_1\) y \(T_0\).
- Geometría del núcleo Theta-core y reducción a dominio tipo \(L\).
Restricción global: solo aparecen \(z^0\) y \(z^2\)
Para \(G_{p,q}=C_p(\pm1,\pm q)\), todo término de \(R_{p,q}(x,y,z)\) tiene exponente de \(z\) igual a \(0\) o \(2\).
Consecuencia de lectura:
\[ R_{p,q}(x,y,z)=P_0(x,y)+z^2 P_2(x,y). \]
- \(P_0\): contribuciones de género \(0\).
- \(P_2\): contribuciones de género 1.
Rebanada base \(y^2 z^2\)
Para un subgrafo generador \(F\), el monomio \(X^s y^t z^2\) (con \(X=x-1\)) corresponde a:
\[ k(F)=s+1, \qquad n(F)=t, \qquad g(F)=1. \]
En particular, la rebanada \(y^2 z^2\) recoge exactamente subgrafos de género 1 y nulidad \(2\).
Criterio algebraico en nulidad 2
Si \(n(F)=2\) y \(u,v\in\Lambda_{p,q}\) son los vectores de los dos ciclos fundamentales, entonces son equivalentes:
- \(g(F)=1\).
- \(f(F)=s+1\).
- \(\langle u,v\rangle_{\mathbb Z}=\Lambda_{p,q}\).
- \(|\det(u,v)|=p\).
Lectura didáctica: en nulidad \(2\), género 1 equivale a una condición unimodular en la retícula de ciclos.
Activación universal del término base
Para todo \(p\ge 3\), el coeficiente de \(X^0 y^2 z^2\) es estrictamente positivo.
Interpretación: siempre existe al menos un subgrafo conectado de género 1 con nulidad \(2\).
Primer detector de órbita
Definimos \(S_2\) como el mayor \(s\) tal que \(X^s y^2 z^2\) aparece en \(R_{p,q}\).
\[ S_2=0 \iff q\equiv \pm1 \pmod p. \]
Mensaje para exposición:
- Caso trivial de órbita (\(\mathcal O_1\)): \(S_2=0\).
- Caso no trivial: \(S_2>0\).
Definición de invariantes de borde
Para organizar rebanadas extremales, se fija:
- \(S_1\): máximo exponente \(s\) con \(X^s y^1 z^0\) no nulo.
- Para \(i\ge2\), \(S_i\): máximo exponente \(s\) con \(X^s y^i z^2\) no nulo.
Esto permite hablar de la frontera superior de cada rebanada relevante.
Extremos en la parte planar (\(z^0\))
Extremo en nulidad 1
\[ S_1 = p-\mathrm{Girth}(G_{p,q}). \]
Lectura: el mejor exponente en \(y^1 z^0\) depende de la longitud del ciclo más corto del grafo.
Extremo en conectividad total
Definimos
\[ T_0 := \max\{t\ge0:[X^0 y^t z^0]R_{p,q}\neq0\}. \]
\[ T_0 = p+1-\lambda_1(\Lambda_{p,q}). \]
Lectura: el máximo de nulidad planar conectada se controla por la primera mínima \(L_1\) de la retícula.
Núcleo de nulidad 2: estructura tipo Theta
Si \(F\) es conectado y \(n(F)=2\), su 2-núcleo es un grafo \(\Theta\) (tres caminos internamente disjuntos entre dos vértices de ramificación).
Sea \(F_2\) ese 2-núcleo y \(u,v\) los dos ciclos fundamentales.
\[ e(F_2)=\frac12\bigl(\|u\|_1+\|v\|_1+\|u-v\|_1\bigr). \]
Interpretación: el tamaño del núcleo se traduce en un problema variacional sobre bases de \(\Lambda_{p,q}\).
Caracterización variacional
El 2-núcleo mínimo de género 1 se obtiene minimizando
\[ S(u,v)=\frac12\bigl(\|u\|_1+\|v\|_1+\|u-v\|_1\bigr) \]
sobre bases \(\mathbb Z\) de \(\Lambda_{p,q}\). Todo minimizador es una base \(L_1\)-reducida.
Corolario narrativo: el núcleo mínimo induce, salvo signo y permutación, la base \(L_1\)-reducida canónica.
Levantamiento al cubriente universal
Para un 2-núcleo mínimo \(F_2\), su levantamiento \(\widetilde F_2\subset\mathbb Z^2\) induce dominios fundamentales \(\mathcal D\) con propiedades geométricas clave:
- \(|\mathcal D|=p\) (un representante por coset de \(\Lambda_{p,q}\)).
- Frontera ortogonal cerrada con seis tramos monótonos máximos.
- Emparejamiento de lados opuestos por traslaciones de \(\Lambda_{p,q}\).
- Sin aristas del levantamiento en el interior.
- Grado interno \(4\) y grado de frontera \(2\) dentro de \(\mathcal D\).
Flips y reducción combinatoria
Se define el volteo cuadrado periódico (equivariante por traslaciones del retículo) y se restringe a volteos admisibles:
- preservan nulidad,
- preservan número de componentes.
Un volteo es admisible si y solo si reemplaza un subcamino de una de las tres ramas del \(\Theta\) por otro con los mismos extremos.
Consecuencia: se preserva la descomposición en tres caminos internamente disjuntos.
Reducción a dominio tipo L
Todo dominio fundamental asociado a un 2-núcleo mínimo de género 1 puede transformarse, mediante una secuencia de volteos admisibles, en una región ortogonal combinatoriamente equivalente a una \(L\).
La forma L como invariante completo
Los resultados anteriores permiten leer directamente la geometría de la forma \(L\) desde los coeficientes del polinomio BR:
Máximo exponente en \(x\): el valor \(S_2 = \max\{s : [x^s y^2 z^2] R \neq 0\}\) satisface \[S_2 = p + 1 - \tfrac{P}{2},\] donde \(P\) es el perímetro de la forma \(L\) asociada al grafo \(G(p;\pm 1,\pm q)\).
Lado del cuadrado inscrito: el entero \(m\) tal que el cuadrado de lado \(m\) es el mayor inscrito en la forma \(L\) queda codificado como el lado del bloque cuadrado en la descomposición de la \(L\).
Primer ascenso de nulidad: el primer valor de \(t\) en que la nulidad sube a \(3\) sin perder conectividad del ribbon codifica el brazo más corto de la forma \(L\).
Número de ascensos: la cantidad total de tales ascensos de nulidad sin desconexión codifica el número de hileras adicionales necesarias para construir la forma \(L\) a partir del cuadrado de lado \(m\).
Máximo exponente en \(y\): el valor \(T_0 = \max\{t : [x^0 y^t z^0] R \neq 0\}\) satisface \[T_0 = p + 1 - \lambda_1(\Lambda_{p,q}),\] donde \(\lambda_1(\Lambda_{p,q})\) es la longitud del vector más corto no nulo de la lattice de ciclos \(\Lambda_{p,q}\).
Base de la lattice: los lados largos de la \(L\) junto con los lados de la muesca codifican una base de \(\Lambda_{p,q}\) de determinante \(p\).
En conjunto, esta evidencia indica que el polinomio BR permite recuperar la forma \(L\) sin ambigüedad y, con ella, la clase de homeomorfismo del espacio lente \(L(p,q)\).