On the number of directions formed by Cartesian products in $\mathbb{F}_{p^2}^2$

Resumen Técnico: Sobre el Número de Direcciones Formadas por Productos Cartesianos en $\mathbb{F}_{p^2}$

Enunciado del Problema
El artículo investiga el número de direcciones determinadas por un conjunto de puntos $U$ en el plano afín sobre un cuerpo finito $\mathbb{F}_q$, centrándose específicamente en productos cartesianos $A \times A$ donde $A \subset \mathbb{F}_{p^2}$ y $q = p^2$. Una dirección se define mediante la pendiente de la recta que conecta dos puntos distintos del conjunto.

Aunque es trivial que un conjunto con más de $q$ puntos determina todas las direcciones posibles, el problema se vuelve no trivial para conjuntos de tamaño $|U| \le q$. En cuerpos primos, se conocen cotas inferiores agudas, pero sobre cuerpos finitos generales, los conjuntos estructurados (particularmente aquellos concentrados en copias afines de subcuerpos) pueden determinar significativamente menos direcciones. El obstáculo específico abordado aquí ocurre cuando $A$ está contenido dentro de una copia afín del subcuerpo propio $\mathbb{F}_p$. En tales casos, $A \times A$ determina a lo sumo $p$ direcciones, lo cual está muy por debajo de la escala cuadrática esperada para conjuntos de tamaño cercano a $p$.

La pregunta central es: Si $A$ no está contenido en ninguna copia afín de $\mathbb{F}_p$, ¿cuál es la cota inferior sobre el número de direcciones $|D(A \times A)|$?

Metodología
La prueba sintetiza herramientas de la combinatoria algebraica, la geometría finita y la teoría de números aditiva:

1. Método del Polinomio de Rédei: El artículo utiliza el polinomio de Rédei $R(X, Y)$ asociado al conjunto de puntos. Las raíces del polinomio especializado $R(X, y)$ corresponden a las intersecciones de las rectas con pendiente $y$ que intersectan al conjunto. La multiplicidad de estas raíces se relaciona con el número de puntos en cada recta.
2. Parámetros de Multiplicidad Algebraica: Los autores emplean definiciones de Fancsali, Sziklai y Takács respecto a dos parámetros clave:
   • $s(y)$: La mayor potencia de $p$ tal que cada recta de dirección $y$ intersecta al conjunto en un número de puntos divisible por $s(y)$.
   • $t(y)$: Un parámetro algebraico derivado del polinomio auxiliar $H(X, y)$ en la factorización $R(X, Y)Q(X, Y) = X^q + H(X, Y)$. Específicamente, $t(y)$ es la máxima potencia de $p$ tal que $H(X, y)$ pertenece a $\mathbb{F}_q[X^{t(y)}]$ pero no a $\mathbb{F}_q[X^{p \cdot t(y)}]$.
3. Resultados Estructurales sobre Conjuntos de Direcciones: La prueba se basa en un lema estructural (Lema 2.7, implícito en Li y Roche-Newton) que establece que si un conjunto de direcciones $D(X)$ es cerrado bajo la suma ($1+D(X) \subset D(X)$) y la multiplicación ($X D(X) \subset D(X)$), entonces $D(X)$ debe ser un subcuerpo generado por $X$.
4. Combinatoria Aditiva: El argumento utiliza variantes de la desigualdad de Plünnecke-Ruzsa (Lemas 2.5 y 2.6) y un resultado de Li y Roche-Newton (Lema 2.4) para acotar el tamaño de sumas y productos de conjuntos. Estas herramientas se emplean para derivar contradicciones si el conjunto de direcciones falla en exhibir las propiedades de cierre necesarias.

Contribuciones y Resultados Clave
El resultado principal, Teorema 1.1, establece una cota inferior cuadrática para el número de direcciones determinadas por $A \times A$ en $\mathbb{F}_{p^2}$, siempre que $A$ evite la estructura de subcuerpo.

• Teorema 1.1: Sea $q = p^2$ para un primo impar $p$, y sea $A \subset \mathbb{F}_q$. Existe una constante absoluta $k > 1$ tal que si $k \cdot p^{2/3} < |A| < p$ y $A$ no está contenido en ninguna copia afín de $\mathbb{F}_p$ (es decir, $A \not\subset c\mathbb{F}_p + d$ para cualquier $c \in \mathbb{F}_q^*, d \in \mathbb{F}_q$), entonces:
  $$|D(A)| \ge \frac{|A|^2 + 1}{2}$$

Lógica de la Prueba:
La prueba procede normalizando $A$ de tal manera que $0, 1 \in A$. Luego considera dos casos:

1. Caso de Cierre: Si para todas las direcciones $r \in D(A)$, el conjunto $|rA - A| \le p$, los autores utilizan cotas combinatorias aditivas para demostrar que $D(A)$ debe estar cerrado bajo la suma y la multiplicación. Por el Lema 2.7, esto implica que $D(A)$ es un subcuerpo. Dado que $A \not\subset \text{copia afín de } \mathbb{F}_p$, $D(A)$ no puede ser $\mathbb{F}_p$. Si $D(A) = \mathbb{F}_{p^2}$, la cota se cumple trivialmente.
2. Caso de No Cierre: Si existe una dirección $y \in D(A)$ tal que $|yA - A| > p$, los autores prueban (Afirmación 3.1) que el parámetro de multiplicidad algebraica $t(y)$ y el parámetro geométrico $s(y)$ son ambos iguales a 1. Aplicando el teorema de cota inferior de Fancsali, Sziklai y Takács (Teorema 2.3) con $t=1$ se obtiene la deseada cota cuadrática $|D(A)| \ge (|A|^2 + 1)/2$.

Significado y Alcance
El artículo afirma resolver el problema de la cota inferior para productos cartesianos en el rango específico $p^{2/3} < |A| < p$ (hasta un factor constante), excluyendo el caso degenerado de subcuerpo.

• Refinamiento de Cotas Existentes: El trabajo refina las cotas inferiores generales obtenidas por Fancsali, Sziklai y Takács para conjuntos de puntos generales al manejar explícitamente la estructura del producto cartesiano y la geometría específica de $\mathbb{F}_{p^2}$.
• Multiplicidad Explícita: Un paso técnico clave es demostrar que, a menos que el conjunto de direcciones fuerce una estructura de subcuerpo, se puede identificar explícitamente una dirección donde el parámetro de multiplicidad algebraica $t$ es 1, lo que permite la aplicación de cotas agudas.
• Limitaciones: Los autores señalan que extender esta cota inferior cuadrática al rango $|A| < p^{2/3}$ sigue siendo un problema abierto. En ese rango inferior, las mejores cotas conocidas son subcuadráticas y dependen de métodos de geometría de incidencia (citando [6] y [7]). El artículo no afirma resolver el problema para todos los tamaños de conjunto, ni proporciona una caracterización geométrica de los conjuntos que alcanzan la cota óptima para $|A| < q$ en el caso general, señalando que esto permanece desconocido.