Coni di divisori di Noether-Lefschetz e spazi di moduli di varietà iperkähleriane

Informazioni Fondamentali

• ID Articolo: 2407.07622
• Titolo: Cones of Noether-Lefschetz divisors and moduli spaces of hyperkähler manifolds
• Autori: Ignacio Barros, Pietro Beri, Laure Flapan, Brandon Williams
• Classificazione: math.AG (Geometria Algebrica)
• Data di Pubblicazione: Primo invio luglio 2024, ultima revisione novembre 2025 (v3)
• Link Articolo: https://arxiv.org/abs/2407.07622

Riassunto

Questo articolo fornisce una formula generale per i generatori del cono NL (il cono delle combinazioni lineari effettive delle componenti irriducibili dei divisori di Noether-Lefschetz) su varietà di forme modulari ortogonali. Gli autori descrivono completamente il cono NL e i suoi raggi estremi per superfici K3 polarizzate e varietà iperkähleriane di tipo di deformazione noto nel caso di polarizzazioni di basso grado. Inoltre, per polarizzazioni di grado arbitrariamente grande, l'articolo espone divisori espliciti sul bordo del cono NL. Attraverso lo studio della positività NL della classe canonica di questi spazi di moduli, gli autori ottengono risultati di unirazionalità per spazi di moduli di varietà iperkähleriane polarizzate primitive di tipo OG6 e Kumn. Infine, si dimostra che qualsiasi famiglia su una base proiettiva di varietà iperkähleriane quadridimensionali di tipo Kum2 con grado 2 e divisibilità 2 è isotriviale.

Contesto di Ricerca e Motivazione

Problema Centrale

Questo articolo studia due invarianti fondamentali nella geometria birazionale di varietà algebriche: la dimensione di Kodaira e il cono dei divisori pseudoeffettivi Eff(X). Per lo spazio di moduli F₂d delle superfici K3 quasipolarizzate di grado 2d, la fonte più naturale di divisori effettivi è costituita dai divisori di Noether-Lefschetz (divisori NL).

Importanza del Problema

1. Significato Geometrico: La decomposizione del cono pseudoeffettivo Eff(X) fornisce una decomposizione in camere dei diversi modelli birazionali della varietà X, e i raggi estremi spesso corrispondono ai loci eccezionali delle contrazioni birazionali
2. Teoria degli Spazi di Moduli: La congettura di Maulik-Pandharipande (ora provata da Bergeron-Li-Millson-Moeglin e Bruinier-Zuffetti) afferma che il gruppo di Picard razionale è completamente generato dai divisori di Heegner (generalizzazioni dei divisori NL)
3. Sfida Computazionale: In generale è difficile determinare se Eff(X) è finitamente generato, e ancora più difficile descriverlo esplicitamente

Limitazioni dei Metodi Esistenti

• Bruinier-Möller BM19 hanno provato la poliedralità del cono NL (finitezza della generazione), ma non hanno fornito generatori espliciti
• Petersen Pet15 ha calcolato alcuni generatori per d≤18 e ha formulato congetture, ma mancavano garanzie teoriche
• La difficoltà chiave consiste nel rendere esplicita la velocità di convergenza dei raggi di divisori di Heegner verso le classi di Hodge, il che richiede limiti espliciti sulla crescita dei coefficienti di Fourier di forme modulari a valori vettoriali

Motivazione della Ricerca

Questo articolo mira a rispondere a una delle tre domande fondamentali poste da Petersen: è possibile calcolare i generatori di EffNL(F₂d)? Derivando limiti espliciti sui coefficienti di Fourier di forme cuspidali a valori vettoriali, gli autori trasformano i risultati teorici di BM19 in algoritmi calcolabili.

Contributi Principali

1. Risultato Teorico Generale (Teorema 1.1): Per un reticolo pari Λ di rango (2,n) che si scinde in due piani iperbolici, viene fornito un limite esplicito Ω per i generatori del cono NL EffNL(X), dove X = D/Õ⁺(Λ)
2. Implementazione Computazionale: Sviluppo di un pacchetto Sage Wil24 che può calcolare i generatori del cono NL per qualsiasi reticolo Λ che soddisfa le condizioni
3. Descrizione di Spazi di Moduli Concreti:
   • Calcolo completo dei generatori del cono NL per gli spazi di moduli F₂d (d≤20) di superfici K3 (Tabella 1)
   • Calcolo del cono NL per spazi di moduli di varietà iperkähleriane quadridimensionali di tipo K32 (Tabelle 2, 3)
   • Verifica e estensione della congettura di Petersen
4. Risultati di Unirazionalità (Teorema 1.3): Dimostrazione dell'unirazionalità di molteplici spazi di moduli di varietà iperkähleriane di tipo OG6 e Kumn:
   • Tipo OG6: d≤12 quando γ=1; molteplici casi quando γ=2
   • Tipo Kumn: n≤15 e n=17,20 quando γ=1; molteplici casi quando γ=2
5. Proprietà Topologiche (Teorema 1.4 e Corollario 1.5): Dimostrazione che M²Kum₂,₂ è quasiaffine, da cui segue che qualsiasi famiglia su una base proiettiva di varietà iperkähleriane quadridimensionali di tipo Kum2 con grado 2 e divisibilità 2 è isotriviale

Spiegazione dei Metodi

Definizione del Compito

Dato un reticolo pari Λ di rango (2,n), n≥3, che si scinde in due copie del piano iperbolico U, calcolare un insieme finito di generatori del cono NL EffNL(X) della varietà di forme modulari ortogonali X = D/Õ⁺(Λ).

Quadro Teorico

1. Corrispondenza tra Forme Modulari e Gruppo di Picard

Lo strumento chiave è l'isomorfismo stabilito da Borcherds e altri (Teorema 2.2): $\phi: (Mod°_{k,\Lambda})^∨ \to Pic_\mathbb{Q}(D/\tilde{O}^+(\Lambda)), \quad c_{m,\mu} \mapsto H_{-m,\mu}$ dove k = 1 + n/2, Mod°ₖ,Λ è lo spazio delle forme quasi-cuspidali, e cₘ,μ è il funzionale di estrazione dei coefficienti.

2. Struttura del Cono NL

• Divisori di Heegner: Hₘ,μ corrispondono a vettori nel reticolo duale Λ∨ con quadrato m e classe di discriminante μ
• Divisori di Heegner Primitivi: P∆,δ corrispondono a vettori primitivi in Λ
• Relazione (Formula 4): $H_{m,\mu} = \sum_{r^2|m} \sum_{r\delta=\mu} P_{m/r^2,\delta}$

3. Analisi di Convergenza

BM19 ha provato che quando m→∞, cₘ,μ converge proiettivamente a -c₀,₀ (corrispondente alla classe di Hodge λ). L'innovazione principale di questo articolo consiste nel rendere esplicita questa velocità di convergenza.

Innovazioni Tecniche Chiave

1. Limiti Espliciti sui Coefficienti di Forme Cuspidali (Lemmi 3.1-3.2)

Attraverso la rappresentazione mediante serie di Poincaré e il prodotto interno di Petersson, si provano limiti per forme cuspidali a valori vettoriali di peso semintero k≥5/2: $|a_{m,\mu}| \leq \tilde{C}m^{k/2} \cdot \|f\|$ dove la costante C̃ è calcolabile esplicitamente.

Punti Tecnici Chiave:

• Utilizzo dei limiti sui coefficienti "diagonali" della serie di Poincaré Pₖ,(ₘ,μ)
• Applicazione della disuguaglianza di Cauchy-Schwarz
• Utilizzo di stime per segmenti della funzione di Bessel Jₖ₋₁(x): per c piccolo si usa |Jₖ₋₁(x)|≤M/x^(1/3), per c grande si usano limiti standard

2. Limite Inferiore per le Serie di Eisenstein

I coefficienti della serie di Eisenstein Eₖ,Λ soddisfano: $|e_{m,\mu}| \geq C_{k,\Lambda} \cdot m^{k-1}$ dove Cₖ,Λ può essere espresso esplicitamente in termini del discriminante del reticolo D.

3. Derivazione del Limite dei Generatori (Teorema 3.4)

Sia CS l'inviluppo convesso generato da sₘᵢ,μᵢ/γₘᵢ,μᵢ che contiene una palla di raggio R. Allora il cono NL è generato da tutti i P∆,δ con ∆≤Ω, dove: $\Omega = \left(\frac{R \cdot C_{k,\Lambda} \cdot \mathcal{M}}{B \cdot (1+D(\zeta(k)-1))^2}\right)^{2/(2-k)}$

Innovatività: Trasformazione della convergenza topologica (risultato di esistenza) in una disuguaglianza algebrica (limite calcolabile).

Criterio di Discriminazione per l'Unirazionalità

Calcolo della Classe Canonica (Formula 15)

$K_X = n\lambda - \frac{1}{2}Br(\pi)$ dove Br(π) è il divisore di ramificazione della mappa quoziente.

Proposizione di Discriminazione (Proposizione 1.2)

Se $nc_{0,0}(E_{\frac{n+2}{2},\Lambda}) + \frac{1}{4}c_{1,0}(E_{\frac{n+2}{2},\Lambda}) < 0$ allora X è unirazionale.

Principio: Questa disuguaglianza garantisce che la classe canonica Kₓ ha intersezione negativa con classi di curve nef, quindi Kₓ non è pseudoeffettiva, da cui segue l'unirazionalità per risultati di Miyaoka-Mori e Boucksom.

Configurazione Sperimentale

Strumenti Computazionali

• Pacchetto Sage: Pacchetto Wil24 sviluppato dagli autori che implementa il calcolo del limite nel Teorema 3.7
• Pacchetto WeilRep: Utilizzato per calcolare gli sviluppi di Fourier di forme modulari a valori vettoriali

Strategia Computazionale

Sebbene il limite teorico Ω sia generalmente grande (ad esempio, per Λd, d≤10, il limite è nell'intervallo 100-150), i calcoli effettivi mostrano che il cono NL è spesso generato da divisori con ∆≤2. Pertanto si adotta la strategia:

1. Calcolare il cono generato da ∆≤2
2. Verificare che questo cono contiene tutti i P∆,δ con ∆≤Ω

Casi Concreti

Superfici K3 (Tabella 1)

• Calcolo del cono NL di F₂d per d=1 fino a d=20
• Registrazione dei raggi generatori minimi, numero di raggi, rango del gruppo di Picard

Varietà Iperkähleriane Quadridimensionali (Tabelle 2, 3)

• Caso Scindibile (γ=1): Reticolo Λd = U⊕² ⊕ E₈(-1)⊕² ⊕ Qd
• Caso Non Scindibile (γ=2): Reticolo Λt = U⊕² ⊕ E₈(-1)⊕² ⊕ Qt

Risultati Sperimentali

Risultati Computazionali Principali

1. Spazi di Moduli di Superfici K3 (Tabella 1 - Selezione)

Scoperta: Eccetto per d=13, si verifica la congettura di Petersen (i divisori dei primi quattro livelli ∆=0,1,2,3 sono sufficienti per generare).

2. Varietà Iperkähleriane di Tipo K32 (Tabella 2)

Per M¹ₖ₃₂,₂d:

• d=1: 4 generatori, gruppo di Picard 4-dimensionale
• d=2: 8 generatori, gruppo di Picard 6-dimensionale
• d=5: 16 generatori, gruppo di Picard 12-dimensionale

3. Risultati di Unirazionalità (Teoremi 4.5 e 4.8)

Tipo OG6 (Teorema 4.5):

• γ=1: M^γ_{OG6,2d} è unirazionale per d≤12
• γ=2, d=4t-1: unirazionale per t≤10 e t=12
• γ=2, d=4t-2: unirazionale per t≤9 e t=11,13

Esempio di Verifica (d=12, γ=1): $E_0(q) = 1 - \frac{272}{13}q - \frac{1472}{13}q^2 + \cdots$$5c_{0,0}(E_{7/2,\Lambda_h}) + \frac{1}{4}c_{-1,0}(E_{7/2,\Lambda_h}) = 5 - \frac{272}{52} < 0$

Tipo Kumn (Teorema 4.8):

• γ=1: unirazionale per n≤15 e n=17,20
• γ=2: n=4t-2, unirazionale per t≤11 e t=13,15,17,19

Risultati Speciali

Proprietà di M²Kum₂,₂ (Teorema 1.4)

• Razionalità: Già nota da Wang-Williams WW24
• Nuovo Risultato: Il gruppo di Picard è unidimensionale, PicQ(M²Kum₂,₂) = Q≥₀λ
• Quasiaffinità: Lo spazio di moduli (M²Kum₂,₂)° è un sottoinsieme aperto di una varietà affine
• Corollario: Qualsiasi famiglia su una base proiettiva deve essere isotriviale (Corollario 1.5)

Idea della Dimostrazione:

1. Immersione tramite mappa dei periodi (M²Kum₂,₂)° ↪ M²Kum₂,₂
2. Ricerca di divisore di Heegner primitivo Pρ nel complemento (con ρ=3f-δ, ⟨ρ,ρ⟩=-6)
3. Poiché il gruppo di Picard è unidimensionale, Pρ è un multiplo positivo della classe di Hodge (ampio)
4. Pertanto (M²Kum₂,₂)° è un sottoinsieme aperto del complemento di un iperpiano nella compattificazione di Baily-Borel

Lavori Correlati

Sviluppo Storico

1. Unirazionalità di Superfici K3: Serie di lavori di Mukai Muk88-Muk16 che costruiscono parametrizzazioni unirazionali di F₂d per bassi gradi; miglioramenti di Farkas-Verra FV18,FV21
2. Costruzione di Varietà Iperkähleriane:
   • Beauville Bea83: Varietà di Kummer generalizzate e schemi di Hilbert di superfici K3
   • O'Grady O'G03: Esempi sei-dimensionali
   • Unirazionalità provata solo parzialmente per tipo K3n BD85,IR01,DV10 e altri
3. Teoria del Cono NL:
   • Petersen Pet15: Pone tre domande fondamentali, calcola casi di basso grado
   • Bruinier-Möller BM19: Provano la poliedralità
   • Questo articolo: Fornisce generatori espliciti e metodo computazionale

Fondamenti Tecnici

• Teoria delle Forme Modulari: Borcherds Bor98,Bor99 stabilisce il collegamento tra forme automorfe e singolarità su Grassmanniane
• Generatori del Gruppo di Picard: Bergeron-Li-Millson-Moeglin BLMM17 e Bruinier-Zuffetti BZ24 provano che i divisori di Heegner generano il gruppo di Picard razionale
• Limiti sui Coefficienti: Schulze-Pillot-Yenirce SPY18 forniscono limiti per forme cuspidali a valori scalari

Vantaggi di Questo Articolo

1. Primo a fornire limiti espliciti sui coefficienti per forme cuspidali a valori vettoriali di peso semintero
2. Trasforma risultati di esistenza in algoritmi calcolabili
3. Calcolo sistematico di molteplici spazi di moduli di origine geometrica
4. Primi risultati di unirazionalità per tipi OG6 e Kumn

Conclusioni e Discussione

Conclusioni Principali

1. Contributo Algoritmico: Trasforma il calcolo del cono NL da teoricamente possibile a praticamente realizzabile attraverso limiti espliciti
2. Applicazione Geometrica: Conferma la congettura di Petersen nel caso di superfici K3 (eccetto d=13 che richiede un generatore aggiuntivo)
3. Nuovi Fenomeni Geometrici: Scoperta delle proprietà speciali di M²Kum₂,₂ (gruppo di Picard unidimensionale, quasiaffinità, isotrivialità delle famiglie)
4. Progresso nell'Unirazionalità: Primo risultato di unirazionalità per molteplici spazi di moduli di tipo OG6 e Kumn

Limitazioni

1. Acutezza del Limite

Il limite Ω fornito dal Teorema 3.7 è tutt'altro che ottimale. Ad esempio:

• Limite teorico: Ω ∈ 100, 150 (per Λd, d≤10)
• Generazione effettiva: ∆≤2 è sufficiente

Motivo: Per ottenere costanti esplicite, si utilizzano stime piuttosto grossolane per le funzioni di Bessel e disuguaglianze triangolari.

2. Ambito di Applicabilità del Metodo

• Richiede che il reticolo Λ si scinda in due piani iperbolici (necessario per il criterio di unirazionalità)
• Per il caso Kumn con γ≥3, la classe canonica si trova all'interno del cono NL, il metodo fallisce (Proposizione 4.10)
• Il peso intero k=3 richiede trattamento speciale (Teorema 3.6)

3. Complessità Computazionale

Sebbene teoricamente fattibile, i casi di grado elevato (come d>20) richiedono ancora una quantità significativa di calcoli; il pacchetto software richiede in pratica la verifica di numerosi divisori.

Direzioni Future

1. Miglioramenti Teorici

• Ricerca di limiti più acuti sui coefficienti di Fourier, in particolare utilizzando la teoria spettrale degli operatori di Hecke
• Studio della relazione tra il cono NL e il cono pseudoeffettivo Eff(X) (Problema 3 di Petersen)

2. Applicazioni Geometriche

• Estensione a varietà iperkähleriane di tipo OG10 (il metodo di questo articolo non produce nuovi risultati)
• Studio di casi con alta divisibilità γ≥3, che richiede nuovi strumenti geometrici
• Esplorazione del collegamento con le condizioni di stabilità di Bridgeland

3. Aspetti Computazionali

• Ottimizzazione degli algoritmi per gestire gradi più elevati
• Sviluppo di metodi euristici per predire il numero effettivo di generatori
• Estensione delle funzionalità del pacchetto software

4. Problemi Correlati

• Studio della struttura del cono effettivo degli spazi di moduli (decomposizione in camere)
• Esplorazione della relazione tra divisori NL e teoria di Gromov-Witten (motivazione originale di Maulik-Pandharipande)

Valutazione Approfondita

Punti di Forza

1. Rigore Teorico

• Costanti Esplicite: Tutti i limiti forniscono costanti calcolabili, evitando prove non costruttive del tipo "esiste una costante C"
• Dimostrazioni Complete: Dalla serie di Poincaré alle somme di Kloosterman, ogni passo fornisce stime dettagliate
• Quadro Generale: Il metodo si applica a qualsiasi reticolo che soddisfa le condizioni, non limitato a esempi specifici

2. Realizzabilità Computazionale

• Implementazione Software: Il pacchetto Sage Wil24 rende i risultati verificabili e riproducibili
• Efficienza Pratica: Scoperta che i generatori effettivi sono molto meno numerosi del limite teorico, fornendo una strategia computazionale pratica
• Calcolo Sistematico: Le Tabelle 1-3 forniscono dati concreti ricchi di valore riferenziale importante

3. Intuizioni Geometriche

• Specialità di M²Kum₂,₂: Scoperta della proprietà inaspettata del gruppo di Picard unidimensionale
• Teorema di Isotrivialità: Generalizzazione del risultato classico per superfici K3 BKPSB98 a varietà iperkähleriane quadridimensionali
• Risultati di Unirazionalità: Colma lacune importanti per tipi OG6 e Kumn

4. Qualità della Presentazione

• Struttura chiara: Conoscenze preliminari, teoria, applicazioni ben stratificate
• Esempi ricchi: Gli Esempi 3.3 e 3.8 mostrano in dettaglio il processo computazionale
• Appendici complete: Le tabelle registrano sistematicamente tutti i risultati computazionali

Insufficienze

1. Limitazioni Tecniche

• Limiti Non Acuti: Grande discrepanza tra il limite teorico e le esigenze effettive, limitando l'applicabilità del metodo a casi di grado elevato
• Specialità del Peso Semintero: I pesi interi richiedono tecniche diverse (Teorema 3.6), il metodo non è sufficientemente unificato
• Limite della Funzione di Bessel: Utilizza limiti generali noti dalla letteratura, con possibili margini di miglioramento

2. Copertura Geometrica

• Assenza del Tipo OG10: Esplicitamente indicato che il metodo non produce nuovi risultati per il tipo OG10, ma manca un'analisi approfondita delle ragioni
• Alta Divisibilità: Il metodo fallisce per γ≥3, la Proposizione 4.10 fornisce l'ostacolo ma non offre approcci alternativi
• Struttura del Bordo: Per gradi arbitrariamente grandi, solo "espone" divisori di bordo, senza descrizione sistematica

3. Profondità dell'Applicazione

• Eff vs EffNL: Non risolve il Problema 3 di Petersen (i due coni sono uguali?), che è il problema aperto più importante
• Geometria dello Spazio di Moduli: L'unirazionalità è il concetto di razionalità più debole, non esplora la razionalità o la unirazionalità
• Classificazione delle Famiglie: Il risultato di isotrivialità è provato solo per M²Kum₂,₂, con limitata generalizzabilità

4. Progettazione Sperimentale

• Verifica Insufficiente: Principalmente verifica congetture note (Petersen), con poche nuove previsioni
• Scelta dei Casi: Concentrata su gradi bassi, non testa sufficientemente i limiti del metodo
• Confronto Mancante: Nessun confronto con altri possibili metodi computazionali (come costruzioni geometriche dirette)

Valutazione dell'Impatto

1. Contributo Accademico

• Innovazione Metodologica: Primo a trasformare il calcolo del cono NL da teorico a pratico, previsto di diventare strumento standard nel campo
• Risorsa di Dati: Le Tabelle 1-3 diventeranno riferimento importante per ricerche successive
• Nuovi Fenomeni Geometrici: Le proprietà di M²Kum₂,₂ potrebbero ispirare ricerche su altri casi a bassa dimensione

2. Valore Pratico

• Strumento Software: Il pacchetto Sage abbassa la barriera di accesso, permettendo anche a non specialisti di effettuare calcoli
• Applicazione Diretta: I risultati di unirazionalità hanno significato diretto per comprendere la geometria birazionale delle varietà iperkähleriane
• Guida Teorica: I limiti espliciti forniscono stime a priori sulla fattibilità computazionale

3. Limitazioni

• Soglia Tecnica Alta: Richiede profonda conoscenza di forme modulari, teoria dei reticoli e geometria algebrica
• Ambito di Applicazione Ristretto: Principalmente applicabile a varietà di forme modulari ortogonali, difficile da generalizzare a spazi di moduli generali
• Costo Computazionale: I casi di grado elevato richiedono ancora risorse computazionali significative

4. Riproducibilità

• Eccellente: Pacchetto open-source, tabelle dettagliate, formule esplicite garantiscono completa riproducibilità
• Estensibilità: Il quadro consente agli utenti di aggiungere nuovi reticoli e nuovi calcoli

Scenari di Applicabilità

1. Applicazione Diretta

• Studio della geometria birazionale di spazi di moduli specifici di varietà iperkähleriane
• Calcolo del gruppo di Picard e del cono effettivo di spazi di moduli concreti
• Verifica di congetture riguardanti i divisori NL

2. Adattamento Metodologico

• Altri problemi che richiedono limiti espliciti sui coefficienti di Fourier
• Esempio di trasformazione di risultati di esistenza in algoritmi costruttivi
• Applicazioni della teoria delle forme modulari in geometria algebrica

3. Sviluppo Teorico

• Punto di partenza per lo studio della relazione tra Eff(X) e EffNL(X)
• Collegamento tra teoria delle forme modulari e condizioni di stabilità di Bridgeland
• Sviluppo di strumenti più raffinati di geometria birazionale

4. Casi Non Applicabili

• Reticoli che non si scindono in piani iperbolici
• Calcoli ad alta precisione che richiedono limiti acuti
• Spazi di moduli non di forme modulari ortogonali

Riferimenti Bibliografici (Selezione di Riferimenti Chiave)

1. BM19 Bruinier-Möller: Cones of Heegner divisors - Lavoro fondamentale che prova la poliedralità del cono NL
2. BLMM17 Bergeron-Li-Millson-Moeglin: The Noether-Lefschetz conjecture and generalizations - Prova che i divisori di Heegner generano il gruppo di Picard
3. Pet15 Peterson: Modular forms on the moduli space of polarised K3 surfaces - Pone tre domande fondamentali e fornisce congetture computazionali
4. Bor98,Bor99 Borcherds: Stabilisce la corrispondenza tra forme modulari e divisori di Heegner
5. WW24 Wang-Williams: Modular forms with poles on hyperplane arrangements - Prova la razionalità di M²Kum₂,₂
6. MP13 Maulik-Pandharipande: Gromov-Witten theory and Noether-Lefschetz theory - Pone la congettura originale, collega la teoria di Gromov-Witten

Valutazione Complessiva: Questo è un articolo eccellente di profonda tecnicità, computazionalmente completo e di ampia applicabilità. Trasformando i risultati profondi della teoria delle forme modulari in algoritmi calcolabili, fornisce strumenti potenti per lo studio degli spazi di moduli di varietà iperkähleriane. Sebbene i limiti teorici non siano acuti, sono sufficientemente efficaci nelle applicazioni pratiche. La scoperta delle proprietà speciali di M²Kum₂,₂ dimostra il valore del calcolo sistematico. La dimostrazione dell'unirazionalità per spazi di moduli di tipo OG6 e Kumn colma lacune importanti. L'implementazione software garantisce la riproducibilità e l'estensibilità del lavoro, e si prevede diventerà uno strumento standard nel campo. Le limitazioni principali risiedono nell'inapplicabilità del metodo a certi casi (come alta divisibilità e tipo OG10) e nella mancata risoluzione del problema fondamentale della relazione tra il cono NL e il cono pseudoeffettivo.