7 votos

S-unidad ecuación y pequeños conjuntos de lugares

Deje $K$ ser un campo de número, y deje $S_x$ denota el conjunto de números primos de norma en la mayoría de las $x$. Es posible encontrar un conjunto más pequeño de lugares $T_x\subset S_x$, de modo que muchas de las soluciones de la $S_x$-unidad ecuación de $a+b=1$ $a,b\in S_x$ son soluciones de la $T_x$-unidad ecuación?

He aquí una posible declaración precisa (aunque yo estaría interesado en otras formulaciones así): ¿existe un constante $0<c<1$, dependiendo de la $K$ (pero no $x$), de manera que para cada $x$, hay un $T_x\subset S_x$$|T_x|\le\sqrt{|S_x|}$, de modo que el número de soluciones a la $T_x$-unidad ecuación es, al menos, $c$ veces el número de soluciones de la $S_x$-unidad ecuación?

Estoy interesado en esto principalmente por analogía: Bellabas y Gangl tienen un límite para el conjunto de los lugares de un campo de número se debe verificar en el fin de calcular las $K_2$ de el anillo de los números enteros. Sería interesante saber si se podría al menos tener una buena aproximación para $K_2$ buscando a un conjunto más pequeño de los lugares.

6voto

Danimal Puntos 5721

Creo que la declaración precisa que pedimos es falso, pero tengo la sensación de que los actuales límites en el número de soluciones a $S$-unidad de ecuaciones no son lo suficientemente buenas para probar esto, incluso para $K=\mathbf{Q}$.

Lo que puedo demostrar es que es falso, si se requieren $T_x$ a ser el subconjunto del tamaño especificado que consiste en el más pequeño de los números primos de $S_x$. (Y parece poco probable que el uso de grandes números primos sería mucho mejor; por eso, me parece que precisamente el enunciado es falso.)

Prueba: Deja que me suponga $K=\mathbf{Q}$ por la simplicidad. Deje $f(x)$ el número de soluciones a la $S_x$-unidad de la ecuación. Tenemos $T_x=S_y$ donde $y=x^{1/2+o(1)}$, por lo que si $c$ existe, tendríamos $f(x^{1/2+o(1)}) \ge c f(x)$ todos los $x$. Recorrer esta muestra que $f(x)$ es acotado por un polinomio en $\log x$$x \to \infty$. Pero $f(x) \ge x-1$ debido a las soluciones de $a+(1-a)=1$$a=2,\ldots,x$. Esta es una contradicción.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X