The parity of theta characteristics is preserved by infinitesimal deformations

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria algebrica, specificamente nello studio delle famiglie di curve e delle caratteristiche theta (fasci lineari $L$ tali che $L^{\otimes 2} \cong \omega_C$, dove $\omega_C$ è il fascio canonico).
Un risultato classico, dimostrato algebricamente da Mumford ([Mu71]) e generalizzato da Harris ([Ha82]), afferma che la parità del numero di sezioni globali $h^0(C_t, L_t)$ di una caratteristica theta è costante in una famiglia piatta di curve.

Gli autori si pongono il seguente problema:

• Se si considera una deformazione infinitesimale di una fibra (ovvero, la restrizione del fascio $L$ a un multiplo della fibra $kC_t$ invece che alla fibra generica $C_t$), la parità di $h^0(kC_t, L|_{kC_t})$ è ancora controllata dalla parità della fibra generica?
• In particolare, come si comporta la torsione del fascio della prima immagine diretta superiore $R^1\pi_* L$ in presenza di tali deformazioni?

2. Metodologia

La dimostrazione si basa su una combinazione di tecniche di coomologia, teoria delle deformazioni infinitesimali e algebra commutativa. I punti chiave della metodologia sono:

• Localizzazione: Poiché le affermazioni sono locali, il lavoro si concentra su un punto $\bar{t}$ di una curva liscia $\Delta$ (la base della famiglia). Si lavora sull'anello locale $A = \mathcal{O}_{\Delta, \bar{t}}$ e sui suoi quozienti $B_k = A/s^k A$, dove $s$ è un parametro locale.
• Riduzione a Problemi Algebrici: Gli autori riducono il problema geometrico a uno algebrico riguardante l'intersezione di sottospazi isotropi massimali in uno spazio vettoriale dotato di una forma bilineare simmetrica non degenere.
• Lemmi Tecnici Chiave:
  • Lemma 2.1: Dimostra che per una mappa lineare data da una matrice antisimmetrica su un modulo libero, la dimensione dell'immagine su $B_k$ forma una sequenza non decrescente di numeri pari.
  • Lemma 2.2: Fornisce una versione infinitesimale della permanenza della parità della dimensione dell'intersezione di due sottospazi totalmente isotropi. Dimostra che la sequenza $\{kq_1 - q_k\}$ (dove $q_k$ è la dimensione dell'intersezione su $B_k$) è una sequenza non decrescente di numeri pari.
  • Lemma 2.3 e Corollario 2.4: Utilizzano il teorema di cambiamento di base (Cohomology and Base Change) per rappresentare i fasci coomologici tramite complessi di moduli liberi, permettendo di calcolare le dimensioni delle coomologie su fibre multiple.
• Costruzione Geometrica: Costruiscono un diagramma esatto relativo che collega le sezioni globali su $kC$ all'intersezione di due fasci liberi $W_1$ e $W_2$ (derivati da $L$ e $L(D)$), identificando $H^0(kC, L|_{kC})$ con l'intersezione $(W_1 \otimes B_k) \cap (W_2 \otimes B_k)$.

3. Risultati Principali

Teorema 1.1 (Versione Infinitesimale)

Sia $\pi: X \to \Delta$ una morfismo proiettivo piatto con fibre curve ridotte e connesse, e sia $L$ un fascio lineare su $X$ tale che $L_t^{\otimes 2} \cong \omega_{C_t}$ per ogni $t \in \Delta$.
Allora, per ogni $k \in \mathbb{N}_{>0}$ e per ogni $t \in \Delta$:
$$h^0(kC_t, L|_{kC_t}) \equiv k \cdot h^0(C_t, L_t) \pmod 2$$
Inoltre, la differenza $k h^0(C_t, L_t) - h^0(kC_t, L|_{kC_t})$ forma una sequenza non decrescente di numeri pari al variare di $k$. Questo risultato può essere visto come una versione infinitesimale del semicontinuità.

Corollario 1.2 (Struttura della Torsione)

Sotto le stesse ipotesi, il sottofascio di torsione del fascio della prima immagine diretta superiore $R^1\pi_* L$ è isomorfo a una somma diretta di due fasci coerenti isomorfi:
$$\text{Tors}(R^1\pi_* L) \cong \mathcal{T} \oplus \mathcal{T}$$
Ciò implica che la torsione ha una struttura "doppia" o "pari" molto specifica.

4. Contributi Chiave

1. Generalizzazione Infinitesimale: Estendono il noto teorema di invarianza della parità delle caratteristiche theta dalle fibre generiche alle fibre multiple (deformazioni infinitesimali di ordine superiore).
2. Struttura della Torsione: Forniscono una descrizione precisa della struttura algebrica del sottofascio di torsione di $R^1\pi_* L$, dimostrando che non è un oggetto arbitrario ma si spezza in due copie identiche.
3. Metodo Algebrico Unificato: Collegano elegantemente la geometria delle superfici fibrato (tramite le caratteristiche theta) con l'algebra delle matrici antisimmetriche e le forme bilineari su anelli locali.

5. Significato e Applicazioni

• Superfici di Tipo Generale: L'interesse originale degli autori nasce dallo studio delle superfici di tipo generale con mappa canonica di grado dispari (cf. [MLPP26]). La costanza della parità è cruciale per l'analisi di tali superfici, ma i casi più complessi richiedevano il controllo delle deformazioni infinitesimali, che il Teorema 1.1 e il Corollario 1.2 permettono di escludere o gestire.
• Indipendenza del Risultato: Gli autori sottolineano che, sebbene nati da un problema specifico, i teoremi dimostrati hanno un interesse indipendente nella teoria delle famiglie di curve e nello studio dei fasci su superfici fibrato.
• Implicazioni per la Teoria delle Deformazioni: Il risultato chiarisce come la coomologia si comporti quando si "spessa" la fibra, fornendo strumenti per analizzare la struttura locale dei moduli di fasci lineari su curve singolari o su fibre multiple.

In sintesi, il paper risolve una questione tecnica sottile ma fondamentale, dimostrando che la parità delle caratteristiche theta è robusta non solo sotto deformazioni continue, ma anche sotto deformazioni infinitesimali di ordine superiore, con conseguenze strutturali dirette sui fasci coomologici associati.