14 votos

Curvas con la negativa de sí mismo intersección en el producto de dos curvas

Me pregunto si el siguiente es conocido: hay dos compacto curvas C1 y C2 de género>1, definida sobre los números complejos tales que su producto contiene un número infinito de curvas irreducibles de negativo auto-intersección y arbitraria género grande? Se nos aks la misma pregunta con la sustitución de "negativa" por parte de "cero", la respuesta será sí, además habrá ejemplos de con C1 y C2 de cualquier género. Estos ejemplos pueden ser obtenidos como ramificado que cubre ExE donde E es una curva elíptica.

(PS. Las respuestas dadas a esta pregunta en el año 2009 no resolver)

27voto

winsql Puntos 389

Descargo de responsabilidad. La respuesta a continuación es una variación de Bogomolov del argumento y que no vendría a ser sin Dmitri respuesta. Si usted se siente como upvoting esto, por favor upvote su respuesta.

Las curvas de los productos de isogeneous curvas elípticas. Como ya se ha sugerido en el cuerpo de la pregunta, si empezamos con un par de elíptica curvas, decir $E_1$$E_2$, la admisión de un no-constante de morfismos $f : E_1 \to E_2$ dado cualquier punto de $p \in X=E_1 \times E_2$ tenemos infinidad de curvas elípticas con auto-intersección cero en $X$ pasando a través de $p$. Basta considerar que se traduce de las gráficas de endomorphisms de $E_2$ (hay al menos $\mathbb Z$ de ellos), compuesto con $f$.

Si nos blow-up $p$ entonces tenemos una superficie de $S$ que contiene un número infinito de (elíptica) curvas con la negativa de auto-intersección.

Jacobians de género $2$ curvas. Como se señaló en la Dmitri responder a la natural de morfismos $$ \mathrm{Símbolo}^2 C \a \rm{Pic}^2(C) \cong \rm{Jac}(C) $$ identifica a $\mathrm{Sym}^2 C$ con el golpe de $\rm{Jac}(C)$ a un punto. Por lo tanto si tenemos un género $2$ curva con Jacobiana isogenous a la plaza de una curva elíptica luego de la discusión en el párrafo anterior muestra que $C^2$ tiene una infinidad de curvas de negativo auto-intersección, ya podemos retirar el negativo curvas en $\mathrm{Sym}^2 C$ a través de los naturales de morfismos $C^2 \to \rm{Sym}^2 C$. Observe también que la negativa de las curvas han ilimitado intersección con la diagonal $\Delta \subset C^2$. No es difícil comprobar que el pull-backs de la negativa de curvas elípticas a $C^2$ tendrá ilimitada de género.

Ejemplo claro. Si $C$ es un género $2$ curva de admitir a una de morfismos $\pi : C \to E$ a una curva elíptica $E$ $\rm{Jac}(C)$ es isogeneous para el producto de $E$ con otro curva elíptica $E'$ ( el componente conectado de que el núcleo de $\pi$ a través de cero). Automorfismos de a $C$ ley natural en la $\rm{Jac}(C)$. Si hay un elemento
$\varphi \in \mathrm{Aut}(C)$ con inducida por la acción en $\rm{Jac}(C)$ no preservar $E'$ $E$ es isogeneous a $E'$ desde $$\pi_* \circ \varphi_* : \rm{Jac}(C) \to \rm{Jac}(E)\cong E$$ restricted to $E'$ is an isogeny. Therefore $\rm{Jac}(C)$ is isogeneous to the square of $E$.

Para tener un ejemplo concreto podemos tomar $C = \lbrace y^2 = x^6 - 1\rbrace$ que se asigna a $E =\lbrace y^2 = x^3 -1\rbrace$, y ha automorphism grupo isomorfo a $\mathbb Z_3 \rtimes D_8$ (que no es el automorphism grupo de cualquier curva elíptica). De la discusión anterior de ello se desprende que $C^2$ tiene una infinidad de curvas de negativo auto-intersección y sin límites género.

Pregunta. Supongamos $C$ género $2$ curva tal que $C^2$ contiene una infinidad de curvas de negativo auto-intersección. Es el Jacobiano de $C$ isogeneous a la plaza de una curva elíptica ?

13voto

Arda Xi Puntos 1099

¿Qué hace el auto-intersección número cálculo de la homología de decir?

La actualización, la corrección: he Aquí lo que quiero decir. Considere la posibilidad de una curva que tiene la clase xC1 + yC2, entonces su cuadrado es

               x^2 (C1)^2 + y^2 (C2)^2 + 2xy(C1)(C2)

que es sólo 2xy. Tal vez esto va a arrojar algo de luz sobre el tema.

7voto

RodeoClown Puntos 3949

Es una construcción de este tipo de producto, me gustaría agradecer a Fedor Bogomolov, para proporcionar la respuesta.

De la construcción. Es bien sabido que la simetría del cuadrado de $S^2(C)$ de una curva de $C$ de género $2$ es un Abelian superficie volado en un punto (la canónica divisor de $C$). Considerar el grado $16$ cubierta de $S^2(C)$ correspondiente a la sub-red $2\mathbb Z^4$$H_1(C,\mathbb Z)$. El cociente de esta superficie por una involución es un Kummer superficie, y por lo tanto tiene infinito número de $-2$ racional curvas. Deje $C'$ ser el grado $16$ cubierta de $C$ (de nuevo, correspondiente al subgrupo $2\mathbb Z^4$$H_1(C,\mathbb Z)$). Entonces uno puede comprobar que no es un mapa de $C'\times C'$ a la Kummer superficie. $C'\times C'$ es la superficie que estamos buscando.

4voto

Otto Puntos 1246

Parece probable que los (gráficos) de los operadores de Hecke en el auto-producto de una construcción modular de la curva tienen esta propiedad. Esto puede ser un poco difícil de comprobar debido a los topes, así que es mejor trabajar con adecuado de las curvas de Shimura (cocientes de la mitad superior del plano por una torsión libre aritmética de los subgrupos de un indefinido racional álgebra de cuaterniones).

En el caso de las curvas de Shimura se obtiene una curva C de género > 1 (muchos de ellos en realidad) y una infinidad de curvas Gamma_i en C \times C tal que tanto los mapas de proyección de Gamma_i a C son finitos y etale. Esto muestra que el auto de intersección de cada Gamma_i es negativo. Los grados de estos mapas ir hasta el infinito, por lo tanto lo hace el género de la Gamma_i.

(En el caso de las habituales modular curvas de la proyección de los mapas no son etale que es lo que hace que el cálculo de la auto-intersección más difícil.)

ESTO NO FUNCIONA! (Lo siento.)

El problema es que, incluso a pesar de que conseguir curvas Gamma_i con dos (diferentes) etale se asigna a C (a Shimura curva, digamos) la imagen en C x C podría ser singular, por lo que la auto-intersección que bien podría ser positivo. Para el caso de modular las curvas de hecho este es el caso, tal como puede ser visto por la reducción de la mod p. Esto sugiere que la auto-intersección de los números también son positivos para las curvas de Shimura.

3voto

sickgemini Puntos 2001

Con respecto a JSE de la idea: El correspondiente espacio vectorial es H^{1,1}, no H^2, ya que estamos tratando con clases de curvas. Y la forma bilineal no es la distancia Euclídea forma, pero tiene firma (1,k), por la Hodge índice teorema.

Como yo lo entiendo, JSE la idea es que sea imposible tener un número infinito de vectores v_i en (1,k) espacio de Minkowski tales que < v_i, v_i> < 0 y a < v_i, v_j > > 0 para i \neq j. No estoy de acuerdo.

Considere los vectores (1-e_i, sin(pi/2^i), cos(pi/2^i)), donde

0 < e_i < (1/2)(1-cos pi/2^{i+1}),

en el espacio vectorial con la norma |(t,x,y)| = t^2 - x^2 - y^2. Si no me equivoco, el interior de los productos entre estos vectores tienen las firmas necesarias.

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