Density of Visible Lattice Points on Hyperplanes and their Intersections

1. Il Problema

Il lavoro si concentra sulla determinazione della densità asintotica dei punti reticolari visibili (visible lattice points) che giacciono su iperpiani e sulle loro intersezioni nello spazio euclideo $\mathbb{R}^n$.

Un punto reticolare $\mathbf{x} = (x_1, \dots, x_n) \in \mathbb{Z}^n$ è definito "visibile" dall'origine se il segmento di retta che lo congiunge all'origine non contiene altri punti reticolari. Questa condizione è equivalente a dire che il massimo comun divisore delle sue coordinate è 1, ovvero $\gcd(x_1, \dots, x_n) = 1$.

Mentre la densità dei punti visibili nell'intero spazio $\mathbb{Z}^n$ è un risultato classico noto ($1/\zeta(n)$), il problema affrontato in questo articolo è estendere tale calcolo a sottovarietà lineari definite da equazioni del tipo $\mathbf{a} \cdot \mathbf{x} = b$, dove $\mathbf{a} \in \mathbb{Z}^n$ e $b \in \mathbb{Z}$, e alle loro intersezioni. L'obiettivo è trovare una formula esatta per questa densità in funzione dei parametri che definiscono l'iperpiano.

2. Metodologia

Gli autori utilizzano un approccio che combina la teoria dei numeri, la geometria dei numeri e metodi di setaccio (sieve methods). I pilastri metodologici includono:

• Trasformazioni Lineari Intere ($GL_n(\mathbb{Z})$): Viene sfruttata l'invarianza della visibilità sotto trasformazioni unimodulari. Poiché una matrice $A \in GL_n(\mathbb{Z})$ preserva il $\gcd$ delle coordinate di un punto intero, è possibile trasformare un iperpiano arbitrario in una posizione "più semplice" (ad esempio, allineandolo agli assi coordinati) senza alterare la densità dei punti visibili.
• Forma Normale di Smith (Smith Normal Form - SNF): Per gestire sistemi di equazioni lineari (intersezioni di iperpiani), gli autori applicano la SNF alla matrice dei coefficienti del sistema. Questo permette di diagonalizzare il sistema, riducendo l'intersezione di iperpiani a un insieme di coordinate fisse ($y_i = p'_i$) e coordinate libere, semplificando drasticamente il calcolo della densità.
• Metodi di Setaccio e Funzioni Aritmetiche: Il calcolo della densità si basa sull'uso della funzione di Möbius $\mu$ e della funzione di Jordan $J_k(n)$. Viene generalizzato il metodo del setaccio per contare i punti le cui coordinate sono coprimi a un intero fissato $b$ (o privi di potenze $k$-esime di primi).
• Stime Geometriche: Vengono utilizzate stime asintotiche sul numero di punti interi in domini convessi (teoremi di Davenport e risultati di [18]) per dimostrare che il rapporto tra il numero di punti visibili e il volume del dominio converge alla densità attesa, controllando gli errori di bordo ($O(\omega^{n-1})$).

3. Contributi Chiave e Risultati Principali

A. Densità su un Singolo Iperpiano

Il risultato centrale è la Corollario 3.4, che fornisce la densità asintotica dei punti visibili su un iperpiano definito da $\sum a_i x_i = b$ (con $\gcd(a_i)=1$).
La densità è data da:
$$\rho(H) = \frac{J_{n-1}(b)}{b^{n-1}} = \prod_{p|b} \left(1 - \frac{1}{p^{n-1}}\right)$$
dove $J_k$ è la funzione di Jordan totient.

• Se $b=0$, la densità è $1/\zeta(n-1)$.
• Se $b=\pm 1$, la densità è 1 (tutti i punti sono visibili).
• La formula mostra che la densità dipende esclusivamente dai fattori primi di $b$.

B. Densità su Intersezioni di Iperpiani

Il Teorema 3.3 generalizza il risultato precedente all'intersezione di $s$ iperpiani. Utilizzando la Forma Normale di Smith, la densità dipende dal massimo comun divisore delle coordinate trasformate del punto di intersezione.
La densità è:
$$\rho(\cap H_i) = \prod_{p | \gcd(p'_1, \dots, p'_m)} \left(1 - \frac{1}{p^{n-m}}\right)$$
dove $m$ è il rango del sistema di equazioni e $p'_i$ sono le coordinate del punto trasformato.

C. Generalizzazione ai Punti $k$-free

La Sezione 4 estende i risultati ai punti $k$-free (punti il cui $\gcd$ non è divisibile per $p^k$ per nessun primo $p$).
Il Teorema 4.2 fornisce la densità per punti $k$-free su intersezioni di iperpiani:
$$\rho_k = \prod_{p^k | \gcd(p'_1, \dots, p'_m)} \left(1 - \frac{1}{p^{k(n-m)}}\right)$$
Questo generalizza i risultati classici sulla densità dei punti $k$-free in $\mathbb{Z}^n$ ($1/\zeta(kn)$) al caso vincolato su iperpiani.

D. Struttura dell'Insieme delle Densità

La Sezione 5 analizza l'insieme $D_n$ di tutte le possibili densità ottenibili variando gli iperpiani in $\mathbb{R}^n$.

• Per $n=2$ (rette nel piano), l'insieme delle densità è denso nell'intervallo $[0, 1]$ (risultato noto di Schinzel e Sierpiński).
• Per $n > 2$, il Teorema 5.2 dimostra che $D_n$ non è denso nell'intervallo $[1/\zeta(n-1), 1]$. Esistono "buchi" (gap) specifici. Ad esempio, per $n=3$, c'è un intervallo vuoto tra $1 - 1/2^{n-1}$ e il prodotto sui primi dispari.
• Il Teorema 5.4 stabilisce che per ogni $n \ge 2$, $D_n$ è una unione finita di intervalli compatti.
• Il Teorema 5.6 calcola esplicitamente la struttura di $D_2$ (densità sui piani in $\mathbb{R}^3$), mostrando che è l'unione di quattro intervalli specifici definiti da valori come $6/\pi^2$, $2/3$, ecc.

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

1. Unificazione Teorica: Fornisce una formula unificata e rigorosa per la densità dei punti visibili su varietà lineari, collegando la geometria dei reticoli alla teoria analitica dei numeri attraverso la funzione di Jordan.
2. Generalizzazione: Estende il concetto di visibilità e di punti $k$-free da tutto lo spazio a sottospazi di dimensione inferiore, risolvendo un problema aperto nella letteratura sulla densità dei punti reticolari vincolati.
3. Struttura Spettrale: La scoperta che l'insieme delle densità possibili non è denso per $n > 2$ ma è invece una unione finita di intervalli, offre nuove intuizioni sulla distribuzione aritmetica dei punti reticolari su varietà lineari. Questo contrasta con il caso bidimensionale e suggerisce una struttura più rigida nelle dimensioni superiori.
4. Applicabilità: I metodi utilizzati (SNF, trasformazioni $GL_n(\mathbb{Z})$, stime di volume) sono strumenti potenti che possono essere applicati ad altri problemi di conteggio di punti interi su varietà algebriche o analitiche.

In sintesi, l'articolo risolve un problema fondamentale di geometria dei numeri fornendo formule esatte per densità complesse e caratterizzando la struttura topologica dell'insieme di tutti i valori di densità possibili.