Dejemos que $K$ sea un campo de funciones sobre $\mathbb{C}$ es decir, una extensión finitamente generada de $\mathbb{C}$ de grado de trascendencia 1. Supongamos que $x, y \in K^\ast$ son tales que $x + y = 1$ . Entonces el Teorema de Stothers-Mason establece que si $x \not \in \mathbb{C}$ tenemos $$ H_K(x) \leq |S| + 2g_K - 2, $$ donde $g_K$ es el género de $K$ y $S := \{v \in M_K : v(x) \neq 0 \text{ or } v(y) \neq 0\}$ son los lugares de $K$ tal que $v(x) \neq 0$ o $v(y) \neq 0$ .
El teorema de Stothers-Mason puede utilizarse para contar el número de soluciones de las ecuaciones unitarias en campos de funciones, pero conduce a la aparición de $g$ en los límites superiores resultantes. Por lo tanto, me pregunto si el límite superior del teorema de Stothers-Mason puede ser sustituido por $$ H_K(x) \leq c \gamma |S|, $$ donde $c$ es una constante absoluta y $\gamma$ es la gonalidad, es decir $$ \gamma := \min_{t \in K} [K : \mathbb{C}(t)]. $$ Obsérvese que este límite superior es más débil que el teorema de Stothers-Mason si $|S|$ tiene un tamaño mínimo de $2g_K - 2$ pero mucho más fuerte si $|S|$ es muy pequeño.
Hasta ahora he podido encontrar lo siguiente: Brownawell y Masser en su artículo ``sumas evanescentes en campos de funciones'' encuentran ejemplos para cada valor de $g$ tal que la igualdad se mantiene en el Teorema de Stothers-Mason para infinitos valores de $|S|$ . Por desgracia, $|S|$ tiene un tamaño mínimo de $g$ en sus ejemplos, por lo que no dice nada sobre la verdad de $H_K(x) \leq c \gamma |S|$ .
Edición: he cambiado el Teorema de Mason por el Teorema de Stothers-Mason.
1 votos
Espero que no te importe: He corregido la ortografía del nombre de Stothers (Stothers, no Stother).