Topological and Diophantine properties of lattice subset projections

Resumen Técnico: Propiedades Topológicas y Diofánticas de las Proyecciones de Subconjuntos de Redes

Planteamiento del Problema
Este artículo investiga las propiedades geométricas y aritméticas de las proyecciones ortogonales de subconjuntos de redes $L \subset \mathbb{Z}^m$ sobre subespacios $W$ dentro de la variedad de Grassmann $\text{Gr}(n, m)$, donde $1 \le n < m$ y $k = m-n$. El problema central es caracterizar el conjunto de subespacios $W$ para los cuales la proyección $P_W(L)$ exhibe comportamientos topológicos específicos (discreción frente a acumulación en el origen) y relacionar estos comportamientos con la "densidad" o "lacunaridad" del subconjunto de la red $L$.

Específicamente, el artículo define un subconjunto de red $L$ como $k$-denso si intersecta el cono $C(O) = \bigcup_{V \in O} V \setminus \{0\}$ para cada conjunto abierto no vacío $O \subset \text{Gr}(k, m)$. El estudio se centra en dos conjuntos de subespacios en $\text{Gr}(n, m)$:

1. $L_{n, \text{disc}} = \{W : P_W(L) \text{ es discreto}\}$.
2. $L_{n, \text{lim}} = \{W : 0 \text{ es un punto de acumulación de } P_W(L)\}$.

El objetivo es determinar el tamaño topológico (vía categoría de Baire) y el tamaño de medida (vía la medida invariante por rotación $\sigma_n$) de estos conjuntos basándose en las propiedades de $L$.

Metodología
El artículo emplea una combinación de técnicas algebraicas, topológicas y de aproximación diofántica:

1. Preliminares Algebraicos: El autor utiliza la teoría de grupos abelianos libres y la forma normal de Smith para analizar subgrupos de $\mathbb{Z}^m$. Los lemas clave establecen la relación entre el rango de la intersección de un subespacio con la red ($r(W) = \text{rank}(W \cap \mathbb{Z}^m)$) y la racionalidad de la matriz de proyección $P_W$. Específicamente, $P_W(L)$ es discreto si y solo si $P_W \in \mathbb{Q}^{m \times m}$.

2. Análisis Topológico (Categoría de Baire):

   • El artículo utiliza la geometría de la variedad de Grassmann $\text{Gr}(n, m)$ como un espacio homogéneo compacto $SO(m, \mathbb{R}) / [SO(n, \mathbb{R}) \times SO(k, \mathbb{R})]$.
   • Se aplica el Teorema de Categoría de Baire para probar que, si $L$ es $k$-denso, el conjunto $L_{n, \text{lim}}$ es un conjunto $G_\delta$ (una intersección numerable de conjuntos abiertos densos). En consecuencia, su complemento $L_{n, \text{disc}}$ es exiguo (un conjunto numerable de conjuntos no densos).
   • Por el contrario, si $L$ no es $k$-denso, $L_{n, \text{disc}}$ contiene un conjunto abierto no vacío.

3. Análisis Diofántico (Teorema de Khintchine-Groshev):

   • El artículo utiliza la inmersión de Plücker para parametrizar $\text{Gr}(n, m)$ como una variedad analítica real, permitiendo el uso de la medida de Lebesgue en cartas locales.
   • Se aplica el Teorema de Khintchine-Groshev sobre aproximación diofántica para caracterizar la medida de $L_{n, \text{lim}}$. Al definir una función $\psi(p)$ basada en las propiedades de "lacunaridad" de $L$ (específicamente la tasa de crecimiento de los coeficientes en la factorización de los puntos de la red), el artículo determina si la medida de $L_{n, \text{lim}}$ es cero o uno.
   • La condición para que $L_{n, \text{lim}}$ sea un conjunto nulo (medida 0) o que su complemento sea un conjunto nulo depende de la convergencia o divergencia de la serie $\sum p^{k-1} \psi(p)^n$.

Contribuciones Clave y Resultados

• Caracterización Topológica (Teorema 1): El artículo demuestra que un subconjunto de red $L \subset \mathbb{Z}^m$ es $k$-denso si y solo si el conjunto $L_{n, \text{lim}}$ es un conjunto $G_\delta$. Esto establece una dicotomía topológica precisa: para los conjuntos $k$-densos, las proyecciones "malas" (donde 0 es un punto de acumulación) son topológicamente grandes (densas $G_\delta$), mientras que las proyecciones "buenas" (discretas) son topológicamente pequeñas (exiguas).
• Caracterización Diofántica (Teorema 2): El artículo construye subconjuntos de red $L$ específicos que son $k$-densos tales que la medida $\sigma_n(L_{n, \text{lim}})$ es 0 o 1.
  • Si la serie que involucra la función de lacunaridad $\psi$ converge, $\sigma_n(L_{n, \text{lim}}) = 0$.
  • Si la serie diverge, $\sigma_n(\text{Gr}(n, m) \setminus L_{n, \text{lim}}) = 0$ (lo que implica que $\sigma_n(L_{n, \text{lim}}) = 1$).
  • El Corolario 3 proporciona ejemplos explícitos utilizando vectores enteros escalados $k_j q_j$ para demostrar estos extremos de medida.
• Lemas Geométricos: El artículo establece que el mapa $W \mapsto W^\perp$ es una isometría que preserva la medida entre $\text{Gr}(n, m)$ y $\text{Gr}(k, m)$, y proporciona propiedades métricas de la variedad de Grassmann utilizando ángulos principales (ángulos de Jordan).

Significado y Reivindicaciones
El artículo posiciona sus resultados como poseedores de un interés matemático intrínseco, trazando un paralelo con el trabajo de Oxtoby sobre Medida y Categoría. La principal significación radica en la caracterización rigurosa del "tamaño" de los conjuntos de proyección para subconjuntos de redes, cerrando la brecha entre la estructura algebraica de la red y las propiedades analíticas de la variedad de Grassmann.

El autor establece explícitamente que el contenido de las Secciones 1–3 es independiente de la Sección 4. Los resultados de las tres primeras secciones se presentan como herramientas fundamentales para comprender los espectros de los cuasicristales físicos y las teselaciones aperiódicas, haciendo referencia al trabajo de Yves Meyer sobre medidas cristalinas.

Preguntas de Investigación y Especulación
El artículo concluye con una sección especulativa (Sección 4) que conecta estos resultados topológicos y diofánticos con la teoría de los Cuasicristales de Fourier (FQ) y las Medidas Cristalinas (CM):

• Pregunta 1: Pregunta si cada cuasicristal de Fourier en $\mathbb{R}^n$ (para $n > 1$) es un divisor de un mapa polinómico trigonométrico.
• Pregunta 2: Postula si todos los cuasicristales de Fourier surgen de "faros generalizados" (un concepto relacionado con la $k$-densidad y las propiedades de proyección analizadas en el artículo).

El autor sugiere que el análisis de los conjuntos $k$-densos y la medida de $L_{n, \text{lim}}$ proporciona un marco para responder afirmativamente a la Pregunta 2, aunque esto sigue siendo una conjetura más que un resultado probado dentro del texto. El artículo no pretende resolver estas preguntas, sino que las enmarca como el paso natural siguiente para la teoría desarrollada en las secciones precedentes.