Punti interi ciclotomici per dinamiche affini

Informazioni Fondamentali

• ID Articolo: 2511.13443
• Titolo: Cyclotomic integral points for affine dynamics
• Autori: Zhuchao Ji, Junyi Xie, Geng-Rui Zhang
• Classificazione: math.DS (Sistemi Dinamici), math.AG (Geometria Algebrica), math.NT (Teoria dei Numeri)
• Data di Sottomissione: 17 novembre 2025
• Link Articolo: https://arxiv.org/abs/2511.13443

Riassunto

Questo articolo studia gli endomorfismi regolari $f:\mathbb{A}^N\to\mathbb{A}^N$ (grado algebrico $d\geq2$) dello spazio affine $\mathbb{A}^N$ definiti su campi numerici. Il risultato principale dimostra che se l'insieme dei punti ciclotomici $f$-preperiodici è Zariski denso in $\mathbb{A}^N$, allora una certa iterazione $f^{\circ l}$ è un quoziente di un endomorfismo di gruppo algebrico $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$. Questo rappresenta una generalizzazione in dimensione superiore del teorema di Dvornicich-Zannier sui punti preperiodici ciclotomici di polinomi univariati. Più in generale, l'articolo dimostra risultati di rigidità riguardanti sottoinsiemi Zariski densi di punti interi ciclotomici "quasi invarianti" per endomorfismi dominanti di varietà affini definite su campi numerici. Come applicazioni, i risultati vengono applicati alle orbite all'indietro di endomorfismi regolari e ai punti periodici di automorfismi di tipo Hénon.

Contesto e Motivazione della Ricerca

1. Problemi di Ricerca

Questo articolo studia la distribuzione di punti speciali (punti ciclotomici) nei sistemi dinamici algebrici, con particolare attenzione a:

• Quando i punti preperiodici contengono punti ciclotomici Zariski densi, il sistema dinamico possiede una struttura algebrica speciale?
• Questo fenomeno può caratterizzare la proprietà "di tipo monomiale" (monomial type) del sistema?

2. Importanza del Problema

Questo problema collega diversi ambiti della matematica:

• Dinamica Aritmetica: comprendere la distribuzione di punti speciali (come punti ciclotomici, punti di torsione) nei sistemi dinamici
• Problema delle Intersezioni Improbabili (Unlikely Intersection): proseguire la filosofia di Zannier e altri—i punti speciali non dovrebbero essere densi in varietà non speciali
• Geometria Diofantea: proprietà aritmetiche dei punti interi ciclotomici

3. Limitazioni del Lavoro Esistente

Il Teorema di Dvornicich-Zannier (2007) affronta solo il caso unidimensionale:

• Per un polinomio $f\in K[z]$ di grado $d\geq2$, se i punti ciclotomici preperiodici sono infiniti, allora $f$ è affinemente coniugato a $z^d$ o $\pm T_d(z)$ (polinomio di Chebyshev)

Limitazioni:

• Ristretti alle mappe polinomiali di $\mathbb{A}^1$
• Non affrontano il caso dello spazio affine di dimensione superiore
• Non applicabili a sistemi dinamici più generali (come le mappe di Hénon)

4. Motivazione della Ricerca

La motivazione centrale di questo articolo è:

• Generalizzazione in Dimensione Superiore: estendere il risultato di Dvornicich-Zannier a $\mathbb{A}^N$
• Quadro Unificato: stabilire una teoria di rigidità applicabile a endomorfismi dominanti generali
• Estensione delle Applicazioni: risolvere problemi concreti come orbite all'indietro e automorfismi di tipo Hénon

Contributi Principali

1. Teorema di Rigidità Principale (Teorema 1.2): Per un endomorfismo dominante $f$ su una varietà affine $X$, si dimostra che la densità Zariski di un insieme di punti interi ciclotomici soddisfacente tre condizioni (DCI, BH, AI) implica che $(X,f)$ è di tipo monomiale.
2. Teorema di Equivalenza (Teorema 1.3): Per sistemi iperbolici coomologici, il tipo monomiale è equivalente al tipo monomiale forte.
3. Applicazione agli Endomorfismi Regolari (Teorema 1.4): Si dimostra che per endomorfismi regolari di $\mathbb{A}^N$ con grado algebrico $d\geq2$, se i punti ciclotomici preperiodici sono Zariski densi, allora il sistema è di tipo monomiale forte—questa è la diretta generalizzazione in dimensione superiore del teorema di Dvornicich-Zannier.
4. Caratterizzazione delle Orbite all'Indietro (Teorema 1.5): Fornisce condizioni necessarie e sufficienti affinché i punti ciclotomici nelle orbite all'indietro soddisfino le condizioni (DCI, BH, AI).
5. Automorfismi di Tipo Hénon (Teorema 1.7): Si dimostra che i punti ciclotomici periodici degli automorfismi di tipo Hénon non possono essere Zariski densi, fornendo nuove evidenze per la filosofia delle "intersezioni improbabili".

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Input:

• Varietà affine $X\subseteq \mathbb{A}^N_K$ ($K$ è un campo numerico)
• Endomorfismo dominante $f:X\to X$
• Insieme di punti $P\subseteq X(K)$

Compito: Determinare se $(X,f)$ è di tipo monomiale, cioè se esistono:

• Interi $l\geq1, n\geq\dim(X)$
• Omomorfismo di gruppo $g:\mathbb{G}_m^n\to\mathbb{G}_m^n$
• Morfismo dominante $\phi:\mathbb{G}_m^n\to X$

tale che $f^{\circ l}\circ\phi = \phi\circ g$

Condizioni: $P$ soddisfa

• (DCI) Punti Interi Ciclotomici Densi: $P$ è Zariski denso e le coordinate sono in $\frac{1}{M}\mathcal{O}_{K^c}$
• (BH) Altezza Limitata: $\mathcal{C}(y)\leq c$ per tutti $y\in P$
• (AI) Quasi Invariante: $P\setminus f^{-1}(P)$ non è Zariski denso

Architettura della Dimostrazione

La dimostrazione si divide in quattro passi chiave:

Passo 1: Applicazione del Teorema di Loxton

Strumento Principale: Teorema di Loxton esteso da Dvornicich-Zannier (Teorema 2.1)

Conclusione: Esistono un insieme finito $E\subset K$ e un intero $b$ tali che $P\subseteq \left(\sum_{i=1}^b E\cdot U(\mathbb{C})\right)^N$

Costruzione: Per ogni $a=(a_{ij})\in E^{bN}$, si definiscono

• Morfismo $\phi_a:\mathbb{G}_m^{bN}\to\mathbb{A}^N$, $(z_{ij})\mapsto\left(\sum_j a_{ij}z_{ij}\right)_i$
• Insieme di punti di torsione $\Lambda_a = \phi_a^{-1}(P)\cap\mathbb{G}_m^{bN}(K)_{tors}$
• Sottoinsieme chiuso $Z_a = \overline{\Lambda_a}^{Zar}\subseteq \mathbb{G}_m^{bN}$

Proprietà Chiave: Rimuovendo un insieme eccezionale, si può assumere che $\phi_a(\Lambda_a)^{Zar}=X$ per tutti $a\in M$.

Passo 2: Costruzione della Corrispondenza

Si definisce la corrispondenza (correspondence) $\Gamma = \bigsqcup_{(a_1,a_2)\in M^2}\Gamma_{a_1,a_2}\subseteq Z\times Z$ dove $\Gamma_{a_1,a_2} = \overline{\{(\xi_1,\xi_2)\in\Lambda_{a_1}\times\Lambda_{a_2}: f(\phi_{a_1}(\xi_1))=\phi_{a_2}(\xi_2)\}}^{Zar}$

Proprietà Chiave:

• $\pi_1(\Gamma) = Z$ (suriettività)
• $(\phi\times\phi)(\Gamma)^{Zar} = \Gamma_f$ (relazione con il grafico di $f$)
• Per il teorema dei punti di torsione (Teorema 2.3), ogni $\Gamma_{a_1,a_2}$ è un'unione finita di coset di torsione

Passo 3: Irriducibilità e Suriettività

Attraverso una serie di riduzioni:

1. Si decompone $Z$ in componenti irriducibili $Z=\bigsqcup_{\alpha\in I}Y_\alpha$, dove ogni $Y_\alpha\cong\mathbb{G}_m^{\gamma_\alpha}$
2. Si sceglie un punto periodico $\alpha_0\in J$ (dove $J=\{\alpha:\phi(Y_\alpha)^{Zar}=X\}$)
3. Sostituendo con composizioni di $f^{\circ n}$ e della corrispondenza $\psi$ associata, si ottiene:
   • $Y$ irriducibile
   • $\psi\subseteq Y\times Y$ irriducibile
   • $\psi(Y)=Y$ (suriettività)

Passo 4: Induzione dell'Omomorfismo di Gruppo

Tecnica dello Stabilizzatore:

• Per ogni $y\in Y$, si definisce lo stabilizzatore $T_y=\text{Stab}_Y(F_y)$ della fibra $F_y=\phi^{-1}(\phi(y))$
• Si pone $T=\bigcap_{y\in Y}T_y$
• Quozientando per $T$ si può assumere $T=1$

Osservazione Chiave:

• Per ogni $y\in Y$ e $z\in\psi(y)$, si ha $\psi(y)=z\cdot V$, dove $V$ è un sottogruppo algebrico
• Attraverso argomenti di invarianza, si dimostra che $V=1$
• Pertanto $\psi$ è il grafico di un morfismo $g:Y\to Y$

Aggiustamento della Struttura di Gruppo:

• Poiché $\psi$ è un coset di torsione, $g(y)=\tau_0\cdot g_0(y)$ ($g_0$ è un omomorfismo di gruppo, $\tau_0$ è un punto di torsione)
• Attraverso iterazione si rende $g(1)=1$, così che $g$ diventa un omomorfismo di gruppo

Punti di Innovazione Tecnica

1. Metodo della Corrispondenza: Usare $\Gamma$ per codificare l'informazione dinamica è l'innovazione tecnica chiave nel trattare problemi in dimensione superiore
2. Applicazione Sistematica del Teorema dei Punti di Torsione: Il teorema dei punti di torsione di Laurent (Manin-Mumford moltiplicativo) è lo strumento centrale
3. Teoria dell'Iperbolicitá Coomologica: Il Teorema 1.3 utilizza la concavità logaritmica del grado dinamico e i moltiplicatori di Lyapunov coomologici
4. Quadro Unificato: Le tre condizioni (DCI, BH, AI) forniscono un quadro unificato per affrontare diversi problemi

Configurazione Sperimentale

Nota: Questo articolo è un articolo di matematica pura teorica e non contiene esperimenti numerici. Tutti i risultati sono teoremi matematici rigorosi.

Verifica dell'Applicazione

L'articolo verifica l'applicabilità della teoria dimostrando i seguenti teoremi:

Applicazione 1: Endomorfismi Regolari (Teorema 1.4)

• Configurazione: $f:\mathbb{A}^N\to\mathbb{A}^N$ endomorfismo regolare di grado algebrico $d\geq2$
• Verifica: Controllare che $P=\text{PrePer}(f,\mathbb{A}^N(K^c))$ soddisfi (DCI), (BH), (AI)
• Chiave: Utilizzare le proprietà della funzione di Green $G(z)=\lim_{n\to\infty}\frac{1}{d^n}\log\max\{1,\|f^{\circ n}(z)\|\}$

Applicazione 2: Orbite all'Indietro (Teorema 1.5)

• Configurazione: $P=\{z\in\mathbb{A}^N(K^c):\exists n\geq1, f^{\circ n}(z)=x\}$
• Condizione Necessaria e Sufficiente: $P$ soddisfa (DCI), (BH), (AI) $\Leftrightarrow$ $P$ è Zariski denso

Applicazione 3: Automorfismi di Tipo Hénon (Teorema 1.7)

• Configurazione: $f:\mathbb{A}^N\to\mathbb{A}^N$ di tipo Hénon ($\deg_1(f)\geq2$, $I(f)\cap I(f^{-1})=\emptyset$)
• Conclusione: $\text{Per}(f,\mathbb{A}^N(K^c))$ non è Zariski denso (per contraddizione)
• Strumento Chiave: Teoria della funzione di Green di Kawaguchi

Risultati Sperimentali

Risultati della Dimostrazione dei Teoremi Principali

Verifica del Teorema 1.2

Controllo delle Condizioni di Input:

• Per endomorfismi regolari, si verifica (BH) attraverso argomenti di compattezza della funzione di Green
• Si utilizza la condizione $f^{-1}_h(0)=\{0\}$ per costruire l'intero $M$ e verificare (DCI)
• (AI) è automaticamente soddisfatto da $P\subseteq f^{-1}(P)$

Risultato di Output: Costruzione riuscita di $f^{\circ l}\circ\phi = \phi\circ g$ dove $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ è un omomorfismo di gruppo suriettivo

Strategia di Dimostrazione del Teorema 1.3

Per sistemi iperbolici coomologici:

• Utilizzo della stima del tasso di crescita del Lemma 2.7
• Decomposizione attraverso il Lemma 2.6 in parte con autovalori radici dell'unità e parte positiva
• Derivazione di contraddizione tramite formula di proiezione, dimostrando che deve valere $n=\dim(X)$

Analisi di Casi Chiave

Caso 1: Recupero del Teorema di Dvornicich-Zannier nel Caso Unidimensionale

Per $f\in K[z]$ di grado $d\geq2$:

• Dal Teorema 1.4, se i punti ciclotomici preperiodici sono infiniti, allora $f$ è di tipo monomiale forte
• Esistono $n\in\mathbb{Z}, h\in\mathbb{Q}(z)\setminus\mathbb{Q}$ tali che $z^n\circ h=f^{\circ l}\circ h$
• Da $n=\pm d^l$ e risultati classici, $f$ è coniugato a $z^d$ o $\pm T_d(z)$

Caso 2: Punti Periodici della Mappa di Hénon

Per $f(x,y)=(p(x)-ay,x)$ ($a\neq0, \deg p\geq2$):

• Calcolo del grado dinamico: $\lambda_1(f)=d, \lambda_2(f)=1$ (dove $d=\deg p$)
• Se i punti ciclotomici periodici sono densi, per contraddizione dal Teorema 1.7:
  • Deve esistere $A\in\text{GL}_2(\mathbb{Z})$ tale che $\lambda_i(\phi_A)=\lambda_i(f)$
  • Ma $|\det(A)|=1$ contraddice $\lambda_2(f)=d^2\geq4$
• Conclusione: I punti ciclotomici periodici non sono densi

Scoperte Teoriche

1. Fenomeno di Rigidità: La densità Zariski dei punti ciclotomici forza il sistema ad avere una struttura di gruppo algebrico
2. Ostacolo Dimensionale: Per sistemi iperbolici coomologici, non esiste "dimensione ridondante" ($n=\dim X$)
3. Verifica dell'Intersezione Improbabile: Il risultato per automorfismi di tipo Hénon è coerente con la filosofia di Zannier

Lavori Correlati

Evoluzione Storica

1. Teorema di Loxton (1972)

• Contenuto: Gli interi ciclotomici possono essere rappresentati come somme di un numero limitato di radici dell'unità
• Generalizzazione: Dvornicich-Zannier (2007) generalizzano a campi numerici arbitrari

2. Teorema di Dvornicich-Zannier (2007)

• Contenuto: Rigidità dei punti ciclotomici preperiodici di polinomi unidimensionali
• Metodo: Utilizzo del teorema di Loxton + classificazione di sistemi dinamici
• Limitazione: Affronta solo $\mathbb{P}^1$

3. Lavori Successivi

• Ostafe (2017): Orbite all'indietro di funzioni razionali con punti critici periodici
• Chen (2018): Orbite all'indietro nella chiusura del campo ciclotomico
• Ferraguti-Ostafe-Zannier (2024): Orbite all'indietro di punti abeliani

Teorie Correlate

Teorema dei Punti di Torsione (Laurent 1984)

• Congettura di Manin-Mumford: La chiusura Zariski dei punti di torsione in una varietà abeliana è un'unione di coset di sottovarietà abeliane
• Versione Moltiplicativa: La chiusura Zariski dei punti di torsione in $\mathbb{G}_m^n$ è un'unione finita di coset di torsione
• Applicazione in questo Articolo: Il Teorema 2.3 è lo strumento centrale della dimostrazione

Teoria del Grado Dinamico

• Definizione: $\lambda_i(f)=\lim_{n\to\infty}\deg_{i,L}(f^{\circ n})^{1/n}$
• Proprietà: Concavità logaritmica (Truong 2020)
• Iperbolicitá Coomologica: $\mu_i(f)=\lambda_i(f)/\lambda_{i-1}(f)\neq1$ per tutti $i$

Contributi Unici di questo Articolo

Rispetto ai lavori esistenti:

1. Dimensione: Prima volta che si affronta varietà affini di dimensione arbitraria
2. Generalità: Applicabile a tutti gli endomorfismi dominanti (non solo polinomi)
3. Unitarietà: (DCI)+(BH)+(AI) forniscono un quadro unificato
4. Ampiezza di Applicazioni: Copre endomorfismi regolari, orbite all'indietro, mappe di Hénon

Conclusioni e Discussione

Conclusioni Principali

1. Teorema di Rigidità in Dimensione Superiore: La densità Zariski dei punti interi ciclotomici con "quasi invarianza" implica una struttura di tipo monomiale
2. Generalizzazione in Dimensione Superiore del Teorema di Dvornicich-Zannier: Per endomorfismi regolari su $\mathbb{A}^N$, se i punti ciclotomici preperiodici sono densi, allora il sistema è di tipo monomiale forte
3. Risultato Negativo per Automorfismi di Tipo Hénon: I punti ciclotomici periodici non possono essere Zariski densi, verificando la filosofia delle "intersezioni improbabili"
4. Caratterizzazione di Equivalenza: Per sistemi iperbolici coomologici, tipo monomiale $\Leftrightarrow$ tipo monomiale forte

Limitazioni

1. Restrizione ai Campi Numerici: I teoremi richiedono definizione su campi numerici, non applicabili direttamente a campi di funzioni
2. Restrizione ai Punti Ciclotomici: Affrontano solo punti ciclotomici (radici dell'unità), non punti algebrici più generali
3. Quasi Invarianza: La condizione (AI) può essere difficile da verificare in alcuni casi
4. Mancanza di Costruttività: I teoremi sono di esistenza, senza algoritmi espliciti per costruire $\phi$ e $g$
5. Iperbolicitá Coomologica: Il Teorema 1.3 richiede ipotesi aggiuntive; la relazione tra tipo monomiale e tipo monomiale forte nel caso generale rimane aperta

Direzioni Future

Le direzioni di ricerca suggerite dall'articolo:

1. Generalizzazione a Campi di Funzioni: Può il risultato essere esteso a campi di funzioni in caratteristica positiva?
2. Punti Abeliani: Per $K=\mathbb{Q}$, problema della distribuzione di punti in estensioni abeliane (lavoro parziale già esistente)
3. Problemi Algoritmici: Dato $f$, è possibile determinare algoritmicamente se è di tipo monomiale?
4. Risultati Quantitativi: È possibile fornire limiti superiori sul numero di punti ciclotomici preperiodici?
5. Altri Sistemi Dinamici: Può il risultato essere generalizzato a mappe razionali, mappe birazionali, ecc.?

Valutazione Approfondita

Punti di Forza

1. Profondità Matematica

• Innovazione Teorica: Primo stabilimento di un teorema di rigidità per punti ciclotomici in dimensione superiore
• Innovazione Tecnica: Il metodo della corrispondenza codifica elegantemente l'informazione dinamica
• Sintesi di Strumenti: Combinazione abile del teorema di Loxton, teorema dei punti di torsione, teoria del grado dinamico

2. Struttura della Dimostrazione

• Chiarezza: La dimostrazione in quattro passi è logicamente chiara, con obiettivi espliciti per ogni passo
• Completezza: Dalla teoria generale alle applicazioni specifiche forma una catena completa
• Tecnicità: Tecniche come il metodo dello stabilizzatore e l'aggiustamento della struttura di gruppo riflettono abilità sofisticate

3. Valore Applicativo

• Ampiezza: Affronta uniformemente endomorfismi regolari, orbite all'indietro, mappe di Hénon
• Estensibilità: Il quadro può potenzialmente applicarsi ad altri problemi di sistemi dinamici
• Significato Teorico: Fornisce nuove evidenze per la filosofia delle "intersezioni improbabili"

4. Qualità della Presentazione

• Organizzazione: Introduzione dettagliata, motivazione chiara, dimostrazione sviluppata per passi
• Leggibilità: Nonostante la forte tecnicità, la logica è facile da seguire
• Rassegna della Letteratura: Revisione completa dei lavori correlati, posizionamento chiaro dei contributi

Punti Deboli

1. Limitazioni Tecniche

• Iperbolicitá Coomologica: L'ipotesi aggiuntiva del Teorema 1.3 limita la generalità
• Ipotesi di Campo Numerico: Il caso del campo di funzioni è completamente non affrontato
• Mancanza di Costruttività: Nessun algoritmo efficace

2. Ambito di Applicazione

• Tipo di Punti Speciali: Limitato ai punti ciclotomici, non include altri punti speciali come punti CM
• Tipo di Sistemi Dinamici: Principalmente focalizzato su endomorfismi polinomiali; il caso di funzioni razionali rimane poco chiaro

3. Problemi Quantitativi

• Dipendenza delle Costanti: La dipendenza specifica delle costanti $M,c$ non è fornita
• Complessità: La complessità dell'algoritmo di determinazione non è discussa

4. Mancanza di Esempi

• Esempi Concreti: A parte i polinomi di Chebyshev, mancano altri esempi non banali
• Casi Limite: Non sono discussi i casi in cui le condizioni non sono soddisfatte

Valutazione dell'Impatto

Contributi al Campo

• Sistemi Dinamici Aritmetici: Apre una nuova direzione di ricerca per punti ciclotomici in dimensione superiore
• Geometria Diofantea: Fornisce nuove tecniche per affrontare punti interi ciclotomici
• Geometria Algebrica: Il metodo della corrispondenza può avere applicazioni più ampie

Valore Pratico

• Guida Teorica: Fornisce un quadro teorico per lo studio della distribuzione di punti speciali
• Risoluzione di Problemi: Risponde a domande di lunga data sui punti periodici delle mappe di Hénon

Riproducibilità

• Completezza della Dimostrazione: Tutti i teoremi hanno dimostrazioni complete
• Strumenti Standard: Utilizza solo strumenti matematici standard
• Chiarezza Logica: La dimostrazione può essere verificata passo dopo passo

Scenari di Applicazione

Ricerca Teorica

• Studio della struttura di sistemi dinamici algebrici in dimensione superiore
• Esplorazione della distribuzione di punti speciali (punti di torsione, punti CM, ecc.)
• Sviluppo della teoria delle "intersezioni improbabili"

Problemi Concreti

• Determinazione se una data mappa è di tipo monomiale
• Studio delle proprietà aritmetiche dei punti preperiodici
• Analisi della struttura delle orbite all'indietro

Adattamento di Metodi

• La tecnica della corrispondenza può applicarsi ad altri problemi geometrici
• Il metodo dello stabilizzatore può essere utilizzato per altre costruzioni di quozienti
• La tecnica della funzione di Green può applicarsi ad altri problemi di altezza

Bibliografia (Selezionata)

Citazioni Fondamentali

1. Dvornicich-Zannier (2007): Cyclotomic Diophantine problems, Duke Math. J.
   • Risultato originale nel caso unidimensionale
2. Laurent (1984): Equations diophantiennes exponentielles, Invent. Math.
   • Dimostrazione del teorema dei punti di torsione
3. Kawaguchi (2013): Local and global canonical height functions, Algebra Number Theory
   • Teoria della funzione di Green per automorfismi di tipo Hénon
4. Truong (2020): Relative dynamical degrees of correspondences, J. Reine Angew. Math.
   • Concavità logaritmica del grado dinamico
5. Zannier (2012): Some problems of unlikely intersections in arithmetic and geometry
   • Esposizione sistematica della filosofia delle "intersezioni improbabili"

Lavori Correlati

6. Ostafe (2017): On roots of unity in orbits of rational functions, Proc. AMS
7. Ferraguti-Ostafe-Zannier (2024): Cyclotomic and abelian points in backward orbits, Adv. Math.
8. Pink-Roessler (2004): On ψ-invariant subvarieties, J. Algebraic Geom.

Valutazione Complessiva: Questo è un articolo di alta qualità in matematica pura che fornisce contributi importanti nel campo dei sistemi dinamici aritmetici. Attraverso tecniche sofisticate e intuizioni profonde, ha con successo generalizzato il risultato classico unidimensionale a dimensione superiore e stabilito un quadro teorico unificato. Nonostante alcune limitazioni tecniche, i suoi metodi e risultati hanno un significato guida importante per la ricerca futura in questo campo. La rigorosità, completezza e originalità dell'articolo raggiungono gli standard delle riviste matematiche di massimo livello.