Geometry of weak contact conics to irreducible quartics with 2 nodes and 1 cusp via rational elliptic surfaces and Zariski pairs

Sintesi Tecnica: Geometria delle Coniche di Debole Contatto per Quartiche Irreducibili con 2 Nodi e 1 Cuspide

Enunciato del Problema
Questo articolo indaga la geometria delle coniche di debole contatto per una curva quartica piana irriducibile $Q$ avente esattamente due nodi ($x_1, x_2$) e una cuspide ($y$) come sue singolarità. Una conica $C$ è definita una conica di debole contatto per $Q$ se la molteplicità di intersezione $I_x(Q, C)$ è pari per ogni punto $x \in Q \cap C$. Lo studio si restringe specificamente ai casi in cui $Q \cap C$ contiene almeno un punto regolare $z_0$ di $Q$. L'obiettivo principale è classificare ed enumerare tutte le coniche di debole contatto del genere in base alla configurazione dei punti singolari di $Q$ contenuti in $C$ (categorizzati in sei tipi) e al comportamento locale della retta tangente $l_{z_0}$ in $z_0$.

Metodologia
Gli autori impiegano la teoria delle superfici ellittiche razionali per tradurre il problema geometrico della ricerca di coniche di contatto in un problema algebrico riguardante le sezioni di tali superfici.

1. Costruzione della Superficie: Per una data quartica $Q$ e un punto regolare $z_0 \in Q$, gli autori costruiscono una superficie ellittica razionale $S_{Q, z_0}$. Ciò è ottenuto mediante un rivestimento doppio di $\mathbb{P}^2$ ramificato su $Q$ (e su una curva ausiliaria), seguito da una sequenza di blow-up per risolvere le singolarità.
2. Gruppo di Mordell-Weil: Il problema della ricerca di coniche di debole contatto è ridotto allo studio delle sezioni della fibrazione $\phi: S_{Q, z_0} \to \mathbb{P}^1$. L'insieme delle sezioni, $MW(S_{Q, z_0})$, forma il gruppo di Mordell-Weil, che è identificato con il gruppo dei punti razionali sulla fibra generica $E(\mathbb{C}(t))$.
3. Accoppiamento di Altezza: Gli autori utilizzano l'accoppiamento di altezza di Shioda $\langle \cdot, \cdot \rangle$ sul gruppo di Mordell-Weil. Analizzando le fibre singolari di $S_{Q, z_0}$ (determinate dall'intersezione della retta tangente $l_{z_0}$ con $Q$), calcolano le matrici di Gram del reticolo generato da sezioni specifiche corrispondenti alle rette passanti per le singolarità di $Q$.
4. Classificazione: Utilizzando i valori dell'accoppiamento di altezza, gli autori determinano quali combinazioni lineari di sezioni di base corrispondono a coniche che soddisfano la condizione di "debole contatto" (molteplicità di intersezione pari).

Contributi e Risultati Chiave
L'articolo fornisce un'enumerazione completa delle coniche di debole contatto per la quartica $Q$ specificata, categorizzata in base alla posizione della retta tangente $l_{z_0}$ e al tipo di punti singolari attraverso cui passa la conica.

• Classificazione dei Casi: L'analisi è divisa in quattro casi in base all'intersezione di $l_{z_0}$ con $Q$:
  • (I) $l_{z_0}$ incontra $Q$ trasversalmente in altri punti (caso generico).
  • (II) $l_{z_0}$ è una bitangente o ha contatto di ordine 4.
  • (III) $l_{z_0}$ passa attraverso la cuspide.
  • (IV) $l_{z_0}$ passa attraverso un nodo.
• Tabelle di Enumerazione: Per ogni caso, gli autori derivano il numero di coniche di debole contatto ($n_i$) per ciascuno dei sei tipi (definiti da quale sottoinsieme di $\{x_1, x_2, y\}$ giace su $C$). Ad esempio, nel Caso (I), vi sono 3 coniche di Tipo 1 (passanti solo per la cuspide), 4 di Tipo 2, 4 di Tipo 3, 1 di Tipo 4, 1 di Tipo 5 e 1 di Tipo 6.
• Costruzione Esplicita: L'articolo costruisce esplicitamente le sezioni nel gruppo di Mordell-Weil corrispondenti a queste coniche. Per il Caso (I), le coniche corrispondono a elementi quali $[2]P_1$, $[2]P_2$ e $[2]P_0$, dove $P_i$ sono elementi di base derivati dalle rette che collegano i punti singolari.
• Coppie di Zariski: Come applicazione significativa, gli autori costruiscono coppie di Zariski di grado 7 e grado 8. Una coppia di Zariski consiste in due curve piane dello stesso tipo combinatorio (stesse singolarità e schemi di intersezione) ma con embedding non omeomorfi in $\mathbb{P}^2$.
  • Le coppie costruite consistono nella quartica $Q$, una retta $L_i$ passante per un nodo e la cuspide, e una conica di debole contatto $C_j$.
  • Selezionando coniche specifiche $C_0, C_1, C_2$ derivate dal gruppo di Mordell-Weil, gli autori dimostrano che coppie come $(Q + L_1 + C_1, Q + L_2 + C_1)$ condividono la stessa combinatoria ma non sono omeomorfe. Questa non-omeomorfia è dimostrata utilizzando le proprietà di dipendenza/indipendenza lineare delle sezioni corrispondenti nel gruppo di Mordell-Weil (utilizzando specificamente il Teorema 2.1 e 2.2 riguardanti omeomorfismi che preservano la componente quartica).

Significato
L'articolo estende il lavoro precedente sulle coniche di contatto per quartiche con 3 nodi e 3 cuspidi al caso più complesso di quartiche con singolarità miste (2 nodi, 1 cuspide). Dimostra che anche sotto la restrizione di avere un punto di intersezione regolare, possono essere generati esempi non banali di coppie di Zariski. Il lavoro stabilisce un legame rigoroso tra l'aritmetica del gruppo di Mordell-Weil delle superfici ellittiche razionali e la classificazione topologica degli arrangiamenti di curve piane, fornendo equazioni algebriche esplicite per questi oggetti geometrici. La costruzione di coppie di Zariski di grado 7 e 8 arricchisce il catalogo noto di tali coppie topologicamente distinte in geometria algebrica.