Reticolo (gruppo)

In matematica, e in particolare in geometria e in teoria dei gruppi, un reticolo in $\mathbb {R} ^{n}$ è un sottogruppo discreto di $\mathbb {R} ^{n}$ che genera lo spazio vettoriale reale $\mathbb {R} ^{n}$ . Ogni reticolo in $\mathbb {R} ^{n}$ è generato da una base dello spazio vettoriale $\mathbb {R} ^{n}$ mediante combinazioni lineari con coefficienti interi. Un reticolo può essere visto come una tassellatura regolare di uno spazio utilizzando una cella primitiva.

I reticoli hanno molte applicazioni significative in matematica pura, in particolare nell'ambito delle algebre di Lie, della teoria dei numeri e della teoria dei gruppi. I reticoli emergono anche in diversi contesti della matematica applicata e delle scienze fisiche, ad esempio nella teoria dei codici, nella crittografia (a causa della congetturata difficoltà computazionale di molti problemi di reticolo), nella scienza dei materiali, nella fisica dello stato solido e nella fisica computazionale in generale.

Ogni reticolo in $\mathbb {R} ^{n}$ è un gruppo abeliano libero di rango $n$ .

Covolume

Un tipico reticolo $\Lambda$ in $\mathbb {R} ^{n}$ ha la forma

\Lambda =\left\{\sum _{i=1}^{n}a_{i}v_{i},a_{i}\in \mathbb {Z} \right\}=v_{1}\mathbb {Z} +\ldots +v_{n}\mathbb {Z} ,

dove $\{v_{1},\ldots ,v_{n}\}$ è una base di $\mathbb {R} ^{n}$ . Differenti basi possono generare lo stesso reticolo, ma il valore assoluto del determinante dei vettori $v_{1},\ldots ,v_{n}$ è unicamente determinato ed è indicato da $d(\Lambda )$ . Se si pensa il reticolo come una divisione dello spazio $\mathbb {R} ^{n}$ in poliedri congruenti (copie di un parallelepipedo $n$ -dimensionale noto come regione fondamentale del reticolo), allora $d(\Lambda )$ è uguale al volume $n$ -dimensionale del poliedro. Poiché il gruppo quoziente $\mathbb {R} ^{n}/\Lambda$ può essere identificato con questo poliedro, il valore $d(\Lambda )$ è detto covolume del reticolo $\Lambda$ . Se $d(\Lambda )=1$ , il reticolo è detto unimodulare.

Punti di un reticolo in un insieme convesso

Il teorema di Minkowski mette in relazione il covolume $d(\Lambda )$ di un reticolo $\Lambda$ e il volume di un insieme convesso $S$ simmetrico rispetto all'origine con il numero di punti del reticolo contenuti in $S$ . Nello specifico esso afferma che se

\mathrm {vol} (S)>2^{n}d(\Lambda ),

allora $S$ contiene almeno un punto del reticolo oltre all'origine.

Il numero di punti di un reticolo contenuti in un politopo è descritto dal polinomio di Ehrhart associato al politopo.

Reticoli in generici spazi vettoriali

Il concetto di reticolo può essere esteso ad un qualunque spazio vettoriale di dimensione finita su un generico campo. Sia $K$ un campo e $V$ uno spazio vettoriale di dimensione finita $n$ su $K$ . Sia ${\mathcal {B}}=\{\mathbf {v} _{1},\ldots ,\mathbf {v} _{n}\}$ una base per $V$ e sia $R$ un anello contenuto in $K$ . Allora l' $R$ -reticolo $\Lambda$ in $V$ generato da ${\mathcal {B}}$ è dato da

\Lambda =\left\{\sum _{i=1}^{n}a_{i}\mathbf {v} _{i},a_{i}\in R,\mathbf {v} _{i}\in B\right\}=v_{1}R+\ldots +v_{n}R.

Differenti basi ${\mathcal {B}}$ daranno in generale differenti reticoli. Tuttavia, se la matrice di transizione $T$ tra le due basi appartiene a $GL_{n}(R)$ , allora i reticoli generati da queste due basi sono isomorfi. Dire che $T$ appartiene a $GL_{n}(R)$ equivale a dire che $T$ ha tutte le componenti in $R$ e ha determinante che è un'unità dell'anello $R$ o, alternativamente, sia $T$ che $T^{-1}$ hanno tutte le componenti in $R$ .