La Grassmanniana Autoprotettiva

Informazioni Fondamentali

• ID Articolo: 2511.21442
• Titolo: The Self-Projecting Grassmannian
• Autori: Alheydis Geiger (Max Planck Institute for Mathematics in the Sciences), Francesca Zaffalon (Max Planck Institute & Weizmann Institute)
• Classificazione: math.AG (Geometria Algebrica), math.CO (Matematica Combinatoria)
• Data di Sottomissione: 26 novembre 2025
• Link Articolo: https://arxiv.org/abs/2511.21442

Riassunto

Questo articolo introduce la Grassmanniana autoprotettiva (self-projecting Grassmannian), una sottovarietà irriducibile della Grassmanniana che parametrizza sottospazi lineari soddisfacenti una condizione di autodualità generalizzata. Viene studiata la relazione con spazi di moduli classici (come lo spazio di moduli di curve di genere g con punti marcati) e altre sottovarietà naturali della Grassmanniana. Inoltre, la condizione di autoprotettività viene tradotta nel linguaggio combinatorio dei matroidi, introducendo i matroidi autoprotettivi (self-projecting matroids), e gli spazi di realizzazione vengono studiati mediante metodi computazionali.

Contesto di Ricerca e Motivazione

Problemi da Risolvere

1. Generalizzazione del Concetto di Autodualità: La teoria classica della Grassmanniana autoduale SGr(k,2k) studia configurazioni di punti soddisfacenti la dualità di Gale. Questo articolo generalizza il concetto al caso n≠2k, definendo la Grassmanniana autoprotettiva SGr(k,n).
2. Collegamento tra Geometria e Combinatoria: Viene stabilito un ponte tra gli spazi di moduli della geometria algebrica e la teoria combinatoria dei matroidi, in particolare studiando quali matroidi possono essere realizzati da configurazioni di punti autoprotettive.
3. Caratterizzazione degli Spazi di Moduli: Viene esplorata l'equivalenza birazionale tra la Grassmanniana autoprotettiva e gli spazi di moduli di curve (come M_{1,10} e M_{5,13}).

Importanza

• Significato Teorico: La condizione di autoprotettività descrive uniformemente tutti i sottospazi isotropi rispetto a una forma bilineare diagonale non degenere, fornendo una nuova prospettiva sulla Grassmanniana ortogonale.
• Valore Applicativo: La Grassmanniana ortogonale e le sue parti totalmente positive hanno importanti applicazioni in fisica (ampiezze di scattering nella teoria ABJM), nel modello di Ising e in cosmologia.
• Significato Combinatorio: L'introduzione dei matroidi autoprotettivi fornisce nuovi oggetti di studio per la teoria degli spazi di realizzazione dei matroidi.

Limitazioni dei Metodi Esistenti

• La teoria classica dell'autodualità si applica solo al caso n=2k
• Per n>2k generale, manca un framework geometrico e combinatorio unificato
• La ricerca sugli spazi di realizzazione dei matroidi si concentra principalmente sul caso generale, con insufficiente studio di sottovarietà speciali (come autoduale e autoprotettiva)

Contributi Principali

1. Definizione della Grassmanniana Autoprotettiva: Viene introdotta SGr(k,n) come chiusura di Zariski dell'insieme dei sottospazi k-dimensionali soddisfacenti la condizione X·Λ·X^t=0 (dove Λ è una matrice diagonale di rango massimo), e viene provata l'irriducibilità (Teorema 2.10).
2. Formula della Dimensione: Quando 2k≤n≤(k+1 choose 2), viene provato che dim(SGr(k,n)) = k(n-k) - (k+1 choose 2) + n - 1.
3. Equivalenza Birazionale con Spazi di Moduli:
   • Viene provata l'equivalenza birazionale tra M_{1,10} e X(4,9)^{sd} (Teorema 3.1)
   • Viene provata l'equivalenza birazionale tra M_{5,13} e X(5,13)^{sd} (Teorema 3.5)
4. Introduzione dei Matroidi Autoprotettivi: Vengono definiti i matroidi autoprotettivi come matroidi senza semi-coloop, generalizzazione naturale dei matroidi autodual.
5. Studio Computazionale degli Spazi di Realizzazione:
   • Per tutti i matroidi autoprotettivi di rango 2, viene provato S(M)=R(M) (Teorema 4.9)
   • Per i matroidi di rango 3 su al massimo 8 elementi, tutti tranne U_{3,6} soddisfano S(M)=R(M) (Teorema 4.10)
   • Per i 7181 matroidi autoprotettivi realizzabili di rango 4 su 9 elementi, almeno 174 soddisfano S(M)=R(M)≠∅, e almeno 5400 soddisfano S(M)⊊R(M) (Teorema 4.11)
6. Pratica FAIR dei Dati: Viene adottato il nuovo formato di file .mrdi per memorizzare i risultati computazionali, il codice verrà integrato nel sistema OSCAR, e i dati verranno archiviati nel database oscarDB.

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Input: Sottospazio k-dimensionale V⊆K^n (o matrice k×n X)
Output: Determinare se V è autoprotettivo, cioè se esiste λ∈(K*)^n tale che X·diag(λ)·X^t=0
Vincoli: 2k≤n (altrimenti lo spazio autoprotettivo è vuoto)

Definizioni e Costruzioni Fondamentali

1. Caratterizzazione Equivalente della Condizione di Autoprotettività

Sia V∈Gr(k,n) rappresentato dalla matrice k×n M_V, e ν:K^ℓ→K^{(ℓ+1 choose 2)} l'immersione di Veronese di secondo grado. Viene definita la matrice di Veronese multipla ν(M_V) come la matrice (k+1 choose 2)×n ottenuta applicando ν a ogni colonna di M_V.

Equivalenza Chiave: V è autoprotettivo ⟺ esiste λ∈(K*)^n tale che ν(M_V)·λ=0

Vantaggi di questa caratterizzazione:

• Trasforma la condizione quadratica X·Λ·X^t=0 in una condizione lineare
• Corrisponde alla caratterizzazione dell'intersezione con la quadrica autoduale
• Facilita la definizione dell'ideale e i calcoli

2. Caratterizzazione Ideale

Nelle coordinate di Stiefel duali: $I_k,n^{sd} = (\langle ν(X)·λ \rangle : \langle λ_1···λ_n \rangle^∞) ∩ K[x_{(1,1)},...,x_{(k,n)}]$

Nelle coordinate di Plücker duali: $J_k,n^{sd} := (\langle ν(D_{k,n})·λ \rangle : \langle λ_1···λ_n \rangle^∞) ∩ K[q_I | I∈\binom{[n]}{k}] + I_{k,n}$

dove D_{k,n} è la matrice di cocircuito (cocircuit matrix), definita come: $(D_{k,n})_{I,j} = \begin{cases} \text{sign}(I,j)q_{I∪j} & \text{se } j∉I \\ 0 & \text{altrimenti} \end{cases}$

3. Relazione con la Grassmanniana Ortogonale

Data λ∈(K*)^n, la Grassmanniana ortogonale OGr^λ(k,n) è l'insieme dei V∈Gr(k,n) soddisfacenti ω(u,v)=0 (per tutti u,v∈V), dove ω è definita dalla matrice diagonale diag(λ).

Teorema Chiave 2.9:

• Se K è algebricamente chiuso, SGr_K(k,n) è la chiusura di Zariski dell'immagine di OGr_K^1(k,n) sotto l'azione del toro (K*)^n
• Se K=ℝ, SGr_ℝ(k,n) è la chiusura di Zariski dell'immagine di ∪{u∈{±1}^n} OGr_ℝ^u(k,n) sotto l'azione di (ℝ{>0})^n

Questo mostra che la Grassmanniana autoprotettiva è la chiusura dell'unione di tutte le Grassmanniane ortogonali diagonali.

Punti Tecnici Innovativi

1. Applicazione della Matrice di Veronese Multipla

La linearizzazione della condizione quadratica mediante ν(X) è l'innovazione tecnica chiave:

• Consente di applicare metodi di algebra lineare ai vincoli quadratici
• La condizione rank(ν(X))≤n-1 equivale all'autoprotettività
• Stabilisce il collegamento con lo spazio parametrico X^{r,d}_{m,n} di Caminata-Moon-Schaffler

2. Concetto di Semi-Coloop

Definizione: Un elemento e∈n è un semi-coloop se esistono piatti F_1,F_2 di rango k-1 tali che F_1∪F_2=n{e}.

Questo concetto:

• Generalizza il concetto di coloop
• Per n=2k equivale all'autodualità
• Fornisce un criterio combinatorio calcolabile per n>2k

3. Algoritmo di Calcolo dello Spazio di Realizzazione

Gli Algoritmi 1 e 2 realizzano lo spazio di realizzazione mediante il calcolo della base di Gröbner:

• Sfruttano la caratterizzazione della base del matroide come vincoli
• Saturano rispetto al prodotto dei λ_i
• Eliminano per ottenere l'ideale puro negli elementi della matrice
• Lavorano nell'anello localizzato per garantire la non degenerazione

Strategie di ottimizzazione: La scelta di matroidi isomorfi contenenti un frame (ciclo di dimensione k+1 contenente la base k) migliora significativamente l'efficienza computazionale.

Configurazione Sperimentale

Fonti dei Dati

• Database dei Matroidi: Tutti i matroidi di piccolo rango e piccolo numero di elementi ottenuti da polyDB
• Intervallo di Calcolo:
  • Rango 2: tutti i matroidi fino a 12 elementi
  • Rango 3: tutti i matroidi fino a 8 elementi
  • Rango 4: 8 elementi (da GHSV24) e 9 elementi

Strumenti Computazionali

• Software Principale: Magma 2.27 per il calcolo della base di Gröbner
• Parallelizzazione: GNU Parallel
• Hardware: 2×8 core Intel Xeon Gold 6144 @ 3.5GHz, 768GB RAM
• Implementazione Open Source: Codice sperimentale nel sistema OSCAR

Criteri di Filtraggio

1. Verifica computazionale se ogni matroide ha semi-coloop, filtrando i matroidi autoprotettivi
2. Per ogni matroide autoprotettivo, scelta del matroide isomorfo con k come base
3. Ulteriore ottimizzazione: scelta del matroide isomorfo contenente un frame (per rango 3-8 elementi e rango 4-9 elementi)

Impostazione del Timeout

• Timeout standard: 360 secondi
• Timeout esteso: 7000 secondi (per alcuni matroidi di rango 4-9 elementi)

Metriche di Valutazione

• Dimensione dello Spazio di Realizzazione: dim(R(M)) e dim(S(M))
• Relazioni di Inclusione: S(M)=R(M), S(M)⊊R(M), S(M)=∅
• Tasso di Completamento: Proporzione di matroidi per cui il calcolo termina

Risultati Sperimentali

Risultati Principali

1. Statistiche sul Numero di Matroidi Autoprotettivi (Tabella 1)

Osservazioni:

• Per rango 2 e 3, la maggior parte dei matroidi è autoprotettiva
• Per rango 4, la proporzione di matroidi autoprotettivi diminuisce significativamente
• La proprietà di basi disgiunte (128676 matroidi di rango 4-9 elementi) è più comune dell'autoprotettività (7365 matroidi)

2. Classificazione Completa per Rango 2 (Teorema 4.9)

Conclusione: Tutti i matroidi autoprotettivi di rango 2 M soddisfano S(M)=R(M)

Schema della Dimostrazione:

• I matroidi di rango 2 sono caratterizzati dall'insieme dei cicli L e dalla partizione in classi parallele P_1,...,P_r
• L'esistenza di semi-coloop ⟺ r∈{2,3} e |P_r|=1
• Per r≥4, qualsiasi realizzazione può essere trasformata in una realizzazione autoprotettiva mediante scelta appropriata di λ
• Per i casi speciali r=2,3 viene effettuata una verifica separata

3. Risultati per Rango 3 (Teorema 4.10, Tabella 2)

Scoperte Chiave:

• Eccetto U_{3,6}, tutti i matroidi autoprotettivi di rango 3 (≤8 elementi) soddisfano S(M)=R(M)
• Per U_{3,6}, S(M) è una sottovarietà di codimensione 1 in R(M)
• 4 matroidi non hanno completato il calcolo (dimensione 4 o 5)
• Da CL23, gli spazi di realizzazione dei matroidi di rango 3 (≤11 elementi) sono lisci, quindi quando S(M)=R(M), lo spazio di realizzazione autoprotettivo è anch'esso liscio

4. Risultati Dettagliati per Rango 4-9 Elementi (Teorema 4.11, Tabella 3)

Statistiche Generali:

• Numero totale di matroidi autoprotettivi: 7365 (inclusi matroidi uniformi)
• Matroidi realizzabili: 7181
• S(M)=R(M)≠∅: 174
• S(M)⊊R(M): almeno 5400
• ∅≠S(M)⊊R(M): almeno 2844
• S(M)=∅ (realizzabile ma senza realizzazione autoprotettiva): almeno 2556
• Calcolo non terminato: 1606

Distribuzione della Dimensione:

Spazio di realizzazione R(M):

Spazio di realizzazione autoprotettivo S(M):

Matroidi Realizzabili Senza Realizzazione Autoprotettiva (Tabella 4):

Esperimenti di Ablazione: Analisi di Casi

Caso 4.12: Esempio Senza Realizzazione Autoprotettiva

Il matroide è definito dalle dipendenze lineari delle colonne della seguente matrice: $M = \begin{pmatrix} 1 & 0 & 0 & 0 & 2/3 & 0 & 1 & 1 & 1/2 \\ 0 & 1 & 0 & 0 & 0 & 2 & 1/2 & 1 & 1/2 \\ 0 & 0 & 1 & 0 & 1 & 1 & 1 & 1 & 1 \\ 0 & 0 & 0 & 1 & 2 & 2 & 2 & 1 & 1 \end{pmatrix}$

Caratteristiche:

• dim(R(M))=0 (spazio di realizzazione zero-dimensionale)
• Realizzazione unica in caratteristica 0 (modulo PGL(4)) è la matrice sopra
• S(M)=∅ perché ν(M) ha rango massimo
• File: r_4_n_9_index_5985.mrdi

Questo esempio è simile al primo controesempio di rango 5-10 elementi in GHSV24.

Verifiche Sperimentali delle Applicazioni Geometriche

Equivalenza Birazionale di M_{1,10} e X(4,9)^{sd} (Teorema 3.1)

Costruzione:

• Prendere un punto V su una curva di genere 1 irriducibile in X(4,9)^{sd}
• Trovare il decimo punto di intersezione p_{10} attraverso l'iperpiano passante per i primi 3 punti p_1,p_2,p_3
• La mappa ψ:U→M_{1,10} è iniettiva e birazionale

Verifica:

• Le due varietà hanno la stessa dimensione (entrambe 10-dimensionali)
• M_{1,10} è irriducibile
• La mappa è un isomorfismo nel punto generico

Equivalenza Birazionale di M_{5,13} e X(5,13)^{sd} (Teorema 3.5)

Costruzione:

• V∈X(5,13)^{sd} con rank(ν(V))=12
• Le colonne di V definiscono una curva di genere 5 unica (intersezione completa di 3 ipersuperfici quadriche)
• Corrisponde ai punti marcati dell'immersione canonica

Risultati sui Matroidi Positivi (Tabella 5)

Scoperte Chiave (Nota 5.5):

• Esiste 1 matroide autoprotettivo positivo di rango 4-9 elementi che non è un matroide ortogonale positivo per alcun λ
• Questo matroide positivo ha non-basi {1,2,3,4},{4,5,6,7},{1,7,8,9}
• Non ha realizzazione autoprotettiva totalmente non negativa
• Ma S_M≠∅ (esiste una realizzazione autoprotettiva)

Lavori Correlati

Ricerca su Configurazioni di Punti Autodual

• Coble (1922): Introduzione delle configurazioni di punti associati
• Dolgachev-Ortland (1988): Studio sistematico di insiemi autodual e dualità di Gale
• Petrakiev (2009): Insiemi auto-associati in piccoli spazi proiettivi
• Eisenbud-Popescu (2000): Trasformazione di Gale in geometria proiettiva
• GHSV24: Matroidi autodual e loro spazi di realizzazione, generalizzazione diretta di questo lavoro

Grassmanniana Ortogonale

• Galashin-Pylyavskyy (2020): Modello di Ising e Grassmanniana ortogonale totalmente positiva
• Huang-Wen (2014), Huang-Wen-Xie (2014): Applicazioni nella teoria ABJM
• Lasenby (2010): Applicazioni in cosmologia
• El Maazouz-Mandelshtam (2025): Ricerca recente sulla Grassmanniana ortogonale totalmente positiva

Configurazioni di Punti su Ipersuperfici

• Caminata-Moon-Schaffler (2023): Introduzione dello spazio parametrico X^{r,d}_{m,n}
• Agostini-Ramesh-Shen (2025): Varietà ABCT e punti su curve razionali normali
• Contributo di questo articolo: Prova che SGr(k,n) è un ramo irriducibile generale di X^{k-1,2}_{m,n} (Proposizione 2.17)

Spazi di Realizzazione dei Matroidi

• Mnëv (1988): Teorema di universalità, gli spazi di realizzazione possono essere arbitrariamente complessi
• Corey-Luber (2023): Gli spazi di realizzazione dei piccoli matroidi sono lisci
• GHSV24: Spazi di realizzazione dei matroidi autodual
• Questo articolo: Primo studio sistematico degli spazi di realizzazione dei matroidi autoprotettivi

Spazi di Moduli di Curve

• Gelfand-MacPherson (1982): Corrispondenza tra Grassmanniana e configurazioni di punti
• Kapranov (1993): Quoziente di Chow e spazi di moduli
• Keel-Tevelev (2006): Geometria dei quozienti di Chow della Grassmanniana
• Chan (2021): Spazi di moduli di curve classiche e tropicali

Conclusioni e Discussione

Conclusioni Principali

1. Stabilimento del Framework Teorico: Generalizzazione riuscita dell'autodualità all'autoprotettività, con framework teorico completo di geometria algebrica che include:
   • Prova di irriducibilità
   • Formula della dimensione
   • Caratterizzazione ideale
   • Relazione con la Grassmanniana ortogonale
2. Significato Geometrico Chiarito:
   • SGr(4,9) è birazionalmente equivalente a M_{1,10}, spiegando la dimensione aggiuntiva dell'immersione di curve ellittiche
   • SGr(4,10) caratterizza 10 punti su superfici quadriche in P³ (problema di Bruxelles)
   • SGr(5,13) è birazionalmente equivalente a M_{5,13}
3. Caratterizzazione Combinatoria Completa:
   • Il concetto di semi-coloop fornisce un criterio calcolabile
   • Classificazione completa per rango 2: S(M)=R(M)
   • Classificazione quasi completa per rango 3 (eccetto U_{3,6})
   • Prima apparizione di S(M)=∅ per matroidi realizzabili autoprotettivi di rango 4-9 elementi
4. Infrastruttura Computazionale:
   • Sviluppo di algoritmi efficienti basati su base di Gröbner
   • Implementazione pratica dei principi FAIR dei dati
   • Fornimento di codice e database riutilizzabili per ricerche future

Limitazioni

1. Completezza Computazionale:
   • Il 22% dei matroidi di rango 4-9 elementi non ha completato il calcolo, con conclusioni limitate da "almeno"
   • Mancanza di condizioni necessarie e sufficienti per S(M)⊊R(M) o caratterizzazione sistematica
   • Analisi teorica insufficiente per i matroidi con calcolo non terminato
2. Profondità Teorica:
   • Le proprietà Cohen-Macaulay e normalità sono provate solo per il caso di codimensione 1
   • Mancanza di teoria sistematica per il caso di codimensione generale (come locus singolare, risoluzione)
   • Relazione insufficientemente approfondita con il teorema di universalità di Mnëv
3. Parte sulla Geometria Positiva:
   • La Sezione 5 è relativamente breve, con molti problemi solo proposti non risolti
   • Definizione non chiara della Grassmanniana ortogonale totalmente positiva autoprotettiva (Problema 5.3)
   • La parte sui matroidi positivi è principalmente enumerativa, con analisi strutturale insufficiente
4. Geometria Tropicale:
   • Il problema di tropicalizzazione proposto nella Nota 3.3 è molto interessante ma non risolto
   • Matroidi di valutazione autoprotettivi e suddivisioni di matroidi non studiati
   • Collegamento con lo spazio di moduli di curve tropicali solo menzionato non sviluppato
5. Prospettive di Applicazione:
   • Le applicazioni in fisica (teoria ABJM, cosmologia) sono solo brevemente menzionate
   • Mancanza di esempi concreti di applicazione o calcoli
   • Collegamento insufficiente con problemi pratici
6. Dettagli Tecnici:
   • Alcune dimostrazioni sono piuttosto concise (come la dimostrazione della Proposizione 2.5)
   • I dettagli tecnici del passo di eliminazione nell'Algoritmo 2 (riga 5) non sono sufficientemente spiegati
   • La scelta dei parametri di timeout (360 secondi, 7000 secondi) manca di giustificazione

Valutazione dell'Impatto

1. Contributo Teorico:
   • Fornisce un nuovo paradigma per lo studio delle sottovarietà della Grassmanniana
   • Arricchisce la teoria degli spazi di realizzazione dei matroidi
   • Fornisce nuovi strumenti per la ricerca sugli spazi di moduli
2. Contributo Metodologico:
   • La tecnica della matrice di Veronese multipla è applicabile ad altri problemi
   • L'algoritmo di calcolo e le strategie di ottimizzazione (scelta del frame) hanno generalità
   • La pratica FAIR dei dati stabilisce uno standard per la ricerca computazionale in matematica
3. Valore Pratico:
   • Il database oscarDB può essere utilizzato direttamente per ricerche successive
   • Il codice può essere adattato a problemi correlati (come spazi di realizzazione di altre sottovarietà)
   • Fornisce potenziali strumenti matematici per applicazioni in fisica
4. Riproducibilità:
   • Codice, dati e descrizioni di algoritmi sono completi
   • Utilizzo di software open source OSCAR (anche se i calcoli usano Magma)
   • Il formato .mrdi garantisce precisione e interscambiabilità
5. Ricerca Successiva:
   • Ha già suscitato interesse per tropicalizzazione, geometria positiva e casi di codimensione superiore
   • Fornisce dati per ricerca sulla levigatezza e connessione degli spazi di realizzazione dei matroidi
   • Il collegamento con gli spazi di moduli promette di promuovere l'interazione tra i due campi

Scenari di Applicabilità

1. Ricerca in Geometria Algebrica:
   • Studio della struttura delle sottovarietà della Grassmanniana
   • Esplorazione della geometria birazionale degli spazi di moduli
   • Studio di configurazioni di punti su intersezioni di ipersuperfici
2. Matematica Combinatoria:
   • Teoria degli spazi di realizzazione dei matroidi
   • Proprietà geometriche dei matroidi
   • Matroidi positivi e matroidi tropicali
3. Fisica Teorica:
   • Calcolo delle ampiezze di scattering (teoria ABJM)
   • Applicazioni della geometria positiva in fisica
   • Struttura matematica del modello di Ising
4. Matematica Computazionale:
   • Sviluppo di metodi di calcolo simbolico
   • Costruzione di database matematici
   • Pratica della scienza riproducibile
5. Applicazioni Didattiche:
   • Argomenti avanzati sulla Grassmanniana
   • Aspetti geometrici della teoria dei matroidi
   • Esempi di geometria algebrica computazionale

Riferimenti Bibliografici (Selezionati)

1. GHSV24 Geiger, Hashimoto, Sturmfels, Vlad. Self-dual matroids from canonical curves. Exp. Math., 2024. (Lavoro direttamente generalizzato in questo articolo)
2. DO88 Dolgachev, Ortland. Point sets in projective spaces and theta functions. 1988. (Letteratura classica su configurazioni di punti autodual)
3. CMS23 Caminata, Moon, Schaffler. Determinantal varieties from point configurations on hypersurfaces. IMRN, 2023. (Spazio parametrico X^{r,d}_{m,n})
4. GP20 Galashin, Pylyavskyy. Ising model and the positive orthogonal grassmannian. Duke Math. J., 2020. (Grassmanniana ortogonale totalmente positiva)
5. MM25 El Maazouz, Mandelshtam. The positive orthogonal grassmannian. Matematiche, 2025. (Ricerca recente sulla Grassmanniana ortogonale)
6. CL23 Corey, Luber. Singular matroid realization spaces. arXiv:2307.11915, 2023. (Levigatezza degli spazi di realizzazione dei piccoli matroidi)
7. Kap93 Kapranov. Chow quotients of Grassmannians I. 1993. (Teoria dei quozienti di Chow)
8. Mne88 Mnëv. The universality theorems on the classification problem of configuration varieties. 1988. (Universalità degli spazi di realizzazione dei matroidi)

Valutazione Complessiva: Questo è un articolo di alta qualità che combina ricerca in geometria algebrica e matematica combinatoria. Ha forte innovazione teorica, lavoro computazionale solido e pratica di scienza aperta lodevole. Il contributo principale è l'istituzione di un framework teorico completo per la Grassmanniana autoprotettiva e la rivelazione della ricca struttura degli spazi di realizzazione dei matroidi autoprotettivi attraverso calcoli su larga scala. L'articolo fornisce una base solida e direzioni di ricerca ricche per studi successivi. Le principali limitazioni risiedono nel fatto che alcuni problemi teorici (proprietà di codimensione generale, tropicalizzazione, geometria positiva) rimangono irrisolti e parte dei calcoli non è stata completata. Tuttavia, i meriti superano i difetti, rappresentando un progresso importante in questo campo.