Foliated and Mather-Jacobian discrepancies via tangential arcs

Sintesi Tecnica: Discrepanze Foliate e Mather–Jacobian tramite Archi Tangenziali

Enunciato del Problema
Questo articolo affronta il calcolo delle discrepanze foliate per fogliature di co-rango uno su varietà tridimensionali, specificamente nel contesto del Programma del Modello Minimo (MMP) foliato. Mentre la relazione tra discrepanze logaritmiche e codimensione dei cilindri divisoriali negli spazi degli archi è ben stabilita per varietà singolari (tramite il teorema di Ein–Mustaţ˘a–Yasuda) ed estesa ai casi non di intersezione completa locale tramite la teoria Mather–Jacobian (Ishii, Ein–Ishii, de Fernex–Docampo), un analogo "tangenziale" per le fogliature mancava precedentemente.

La difficoltà centrale risiede nella natura delle singolarità foliate. A differenza delle singolarità ordinarie, le discrepanze foliate dipendono dalla tangenza degli archi alla fogliatura. Il documento si concentra su fogliature logarithmic simple di co-rango uno su varietà tridimensionali rispetto a un fissato divisore separatrice a incrocio normale logaritmico. La sfida consiste nello stabilire una formula che metta in relazione la codimensione dei cilindri di archi tangenziali con le discrepanze foliate, in presenza di singolarità logaritmiche non risonanti dove gli archi sono confinati nei divisori invarianti.

Metodologia
Il documento sviluppa un "approccio tramite spazi degli archi tangenziali" che unisce la geometria birazionale alle famiglie di curve formali. La metodologia procede attraverso fasi chiave:

1. Ambiente Adattato Logaritmico Semplice: L'analisi è condotta all'interno di una specifica classe di modelli derivati dal teorema di riduzione di Cano. Questi sono modelli "logarithmic simple adapted" in cui la fogliatura è localmente generata da una 1-forma logaritmica con residui non risonanti positivi. Questo setting assicura che la fogliatura ammetta una risoluzione in singolarità semplici tramite blow-up centrati nel locus singolare, fornendo modelli formali locali stabili per il calcolo.

2. Confinamento degli Archi e Rappresentabilità: Un risultato tecnico centrale (Teorema 4.1) dimostra che, nel caso logaritmico non risonante, gli archi formali tangenziali ridotti centrati sul prescritto locus tangenziale sono strettamente confinati nel divisore a incrocio normale invariante $D_{inv}$. Di conseguenza, il funtore degli archi tangenziali ridotti è isomorfo al funtore degli archi ridotti del divisore invariante. Ciò riduce il problema del calcolo delle discrepanze tangenziali al calcolo delle discrepanze ordinarie sul divisore invariante.

3. Sistema Branch–Conductor: Per gestire la geometria del divisore invariante (che può presentare incroci normali), il documento costruisce un "sistema normalizzato separatrice–conduttore". Questo implica:

   • Normalizzare i rami invarianti irreducibili ($S^\nu_\alpha$).
   • Normalizzare le curve di intersezione a coppie, denominate conduttori ($C^\nu_{\alpha\beta}$).
   • Definire uno spazio separatrice seminormale $S^{sn}_W$ tramite un egalizzatore degli scialami delle strutture dei rami e dei conduttori.
     Questo sistema permette che il settore tangenziale sia rappresentato da spazi degli archi ordinari sui rami e sui conduttori normalizzati.

4. Adjunzione Foliata: Il documento utilizza l'adjunzione foliata (Cascini–Spicer, Spicer–Svaldi) per trasferire il calcolo delle discrepanze dalla varietà tridimensionale ai rami e ai conduttori normalizzati. Ciò stabilisce "confini di ramo" ($\Theta$) sulle superfici normalizzate e "confini di conduttore" sulle curve, garantendo la compatibilità crepa sotto blow-up adattati.

5. Raffinamento Mather–Jacobian: Per i strata di separatrice singolari sulla varietà base $X$, il documento introduce un raffinamento Mather–Jacobian. Ciò comporta la definizione di un sistema di separatrice immagine canonica su $X$ e il calcolo delle discrepanze rispetto a questa immagine algebrica fissata, usando il prodotto formale di ideali per codificare i confini. Questo distingue le separatrici formali intrinseche dal sistema di immagine algebrica utilizzato per il raffinamento.

Contributi Chiave e Risultati

• Formula Ein–Mustaţ˘a–Yasuda Tangenziale: Il documento dimostra una formula di codimensione (Teorema 1.4, Corollario 1.4) che identifica la codimensione logaritmica dei cilindri divisoriali toroidali tangenziali adattati con le corrispondenti discrepanze tangenziali:
  $$\text{lcodim}^{\text{tan}}(N^{\text{tan}}_q(E)) = q \cdot a^{\text{tan}}(E; X, \mathcal{F}, \Delta)$$
  Questa formula si basa sulla riduzione del settore tangenziale agli spazi degli archi ordinari sul sistema branch–conductor.

• Inversione di Adjunzione Tangenziale: Viene stabilita un'inversione di adjunzione toroidale per il caso tangenziale (Corollario 13.1). Essa afferma che una coppia foliata è tangenzialmente toroidale log-canonica lungo un insieme chiuso tangente $Y$ se e solo se ogni coppia di adjunzione associata sui rami e sui conduttori normalizzati è log-canonica lungo l'immagine inversa di $Y$.

• Caratterizzazione dei Loci Singolari: Il documento fornisce una descrizione branch–conductor dei loci tangenziali non log-canonici (non-lc) e non kawamata-log-terminal (non-klt) (Corollario 13.3). Tali loci vengono rilevati come l'unione delle immagini dei corrispondenti loci singolari sui rami e sui conduttori normalizzati.

• Semi-continuità Inferiore: La minima discrezione logaritmica tangenziale toroidale adattata ($tmld_{tor}$) è dimostrata essere inferiore semi-continua sul centro tangenziale adattato (Corollario 13.5). Ciò deriva dalla semi-continuità inferiore delle minime discrezioni logaritmiche ordinarie sui rami normalizzati (che sono superfici o curve) e dalla finitezza del sistema branch–conductor.

• Raffinamento Mather–Jacobian: Il documento definisce una discrepanza Mather–Jacobian tangenziale ($a^{\text{tan}}_{MJ}$) rispetto al sistema di separatrice immagine canonica su $X$ (Definizione 15.4, Teorema 15.7). Dimostra che questo raffinamento rileva i difetti di singolarità degli strata di separatrice che sono invisibili alla ordinaria discrepanza tangenziale toroidale, particolarmente quando gli strata non sono intersezioni complete locali.

• Criterio dei Cilindri: Un criterio per la log-canonicità tangenziale è fornito in termini di non-negatività delle codimensioni logaritmiche dei cilindri tangenziali (Corollario 13.6).

Significato e Rivendicazioni
Il documento rivendica di fornire un quadro rigoroso per il calcolo delle discrepanze foliate utilizzando gli spazi degli archi, specificamente adattato alla natura "tangenziale" delle singolarità foliate. Il suo significato risiede in:

1. Unificazione di Prospettive: Combina il punto di vista infinitesimale degli schemi di jet di Carter (tangenza forte, separatrici totali) con il punto di vista birazionale del MMP foliato (adjunzione, inversione di adjunzione).
2. Riduzione alla Teoria Ordinaria: Dimostrando che gli archi tangenziali ridotti sono confinati nel divisore invariante nel caso non risonante, il documento riduce i complessi calcoli delle discrepanze foliate ai calcoli degli archi ordinari sui rami e sui conduttori normalizzati.
3. Raffinamento per le Singolarità: Il raffinamento Mather–Jacobian offre uno strumento più preciso per analizzare le singolarità dove gli strata di separatrice non sono lisci o intersezioni complete locali, estendendo l'applicabilità della teoria delle discrepanze oltre l'intervallo delle intersezioni complete locali.
4. Indipendenza dal Modello: I risultati sono mostrati essere indipendenti dalla scelta del modello toroidale adattato all'interno della categoria fissata, basandosi sulla funtorialità del sistema branch–conductor sotto blow-up adattati.

Gli autori notano esplicitamente che la condizione di non-risonanza è essenziale per l'argomento di confinamento degli archi e che i risultati si applicano al settore "logarithmic simple adapted", che serve come assunzione di semplicità nel MMP foliato piuttosto che una mera assunzione di log-canonicità. La teoria non pretende di coprire tutte le singolarità foliate (ad esempio, i casi risonanti o quelli che richiedono risoluzioni non toroidali), ma fornisce un calcolo completo ed efficace per la classe specificata di modelli.