Left modularity and extremality for (some) infinite lattices

1. Problema e Contesto

La teoria dei reticoli ha tradizionalmente focalizzato la sua attenzione sui reticoli finiti, dove concetti fondamentali come la modularità sinistra (left modularity) e l'estremità (extremality) sono stati ampiamente studiati e collegati alla distributività. In particolare, per i reticoli finiti semidistributivi, è stato dimostrato che un reticolo è a modularità sinistra se e solo se è estremo (e quindi "trim").

Tuttavia, l'estensione di questi concetti ai reticoli infiniti (in particolare completi) presenta sfide significative. La maggior parte delle definizioni classiche si basano su proprietà combinatorie (come il numero di elementi irriducibili rispetto alla lunghezza delle catene) che non sono ben definite o non si comportano bene nel caso infinito.
Il problema centrale affrontato in questo lavoro è generalizzare le nozioni di modularità sinistra ed estremità a famiglie specifiche di reticoli infiniti, stabilire l'equivalenza tra queste due proprietà in tali contesti e applicare questi risultati alla teoria delle rappresentazioni degli algebre, in particolare allo studio dei reticoli delle classi di torsione.

2. Metodologia

Gli autori adottano un approccio ibrido che combina la teoria dei reticoli avanzata con la teoria delle rappresentazioni delle algebre finite dimensional.

• Generalizzazione delle Definizioni:
  • Modularità Sinistra: Viene mantenuta la definizione classica estesa: un reticolo completo $L$ è a modularità sinistra se possiede una catena massimale composta interamente da elementi modulari sinistri.
  • Estremità: Per i reticoli infiniti, la definizione classica (basata sul conteggio degli irriducibili) non è applicabile. Gli autori introducono una definizione tecnica basata sulla esistenza di una biiezione $\lambda$ tra gli elementi completamente irriducibili per join ($JI_c(L)$) e quelli per meet ($MI_c(L)$), e di una catena massimale che soddisfa condizioni specifiche di copertura e ordinamento rispetto a questa biiezione.
• Classi di Reticoli Studiate:
  1. $\kappa$-reticoli ben separati (Well-separated $\kappa$-lattices): Una classe definita tramite proprietà di separazione tra elementi e la biiezione $\kappa$.
  2. Reticoli completamente semidistributivi debolmente atomici: Una classe che include i reticoli delle classi di torsione di algebre finite dimensional.
• Strumenti Teorici:
  • Utilizzo della biiezione $\kappa: JI_c(L) \to MI_c(L)$, fondamentale per i reticoli semidistributivi.
  • Introduzione dei quiver di etichettatura (labelling quivers) $Q_L$, i cui vertici sono gli elementi $JI_c(L)$ e gli archi sono definiti dalla relazione $i \not\le \kappa(j)$.
  • Concetto di insiemi chiusi per successione (successor-closed sets) nei quiver.
  • Applicazione alla teoria delle rappresentazioni tramite le classi di torsione ($\text{tors } A$) e i mattoni (bricks).

3. Contributi Chiave e Risultati Principali

A. Equivalenza tra Modularità Sinistra ed Estremità

Il risultato teorico principale è l'estensione dell'equivalenza nota per i reticoli finiti ai casi infiniti per due famiglie distinte:

1. Teorema 1.1 (Parte 1): Per un $\kappa$-reticolo ben separato completo, la modularità sinistra è equivalente all'estremità.
2. Teorema 1.1 (Parte 2): Per un reticolo completamente semidistributivo e debolmente atomico, la modularità sinistra è equivalente all'estremità.

Gli autori sottolineano che queste due famiglie non coincidono nel caso infinito (a differenza del caso finito), rendendo i risultati distinti e non banali.

B. Caratterizzazione degli Elementi Modulari Sinistri

Per i reticoli completamente semidistributivi debolmente atomici, gli autori forniscono diverse caratterizzazioni equivalenti di un elemento $x$ che è a modularità sinistra (Teorema 1.3):

1. Per ogni $j \in JI_c(L)$, vale o $j \le x$ oppure $x \le \kappa(j)$ (ma non entrambi).
2. Per ogni relazione di copertura $y \lessdot z$, vale $x \vee y = x \vee z$ oppure $x \wedge y = x \wedge z$, ma non entrambi.
3. $x$ è l'unione (join) di un sottoquiver chiuso per successione del quiver di etichettatura $Q_L$.

Inoltre, viene dimostrato che l'insieme degli elementi modulari sinistri, $LM(L)$, forma un sottoreticolo completamente distributivo di $L$. Questo generalizza il concetto di "spina" (spine) dei reticoli finiti trim.

C. Struttura Combinatoria e Catene Estremali

Viene stabilito un collegamento biunivoco tra:

• Le catene estremali in $L$.
• Le estensioni lineari dell'ordine parziale indotto dal quiver di etichettatura $Q_L$ (quando $L$ è estremo, $Q_L$ è aciclico).
  Questo permette di costruire catene estremali tramite le successioni di insiemi discendenti (downsets) del quiver.

D. Applicazione alle Algebre e Classi di Torsione

Il lavoro applica questi risultati teorici al reticolo delle classi di torsione $\text{tors } A$ di un'algebra finita dimensionale $A$.

• Teorema 1.5 e Corollario 1.6: Si dimostra che $\text{tors } A$ è un reticolo a modularità sinistra (o estremo) se e solo se l'algebra $A$ è brick-directed (cioè, non esistono cicli di mattoni in $\text{mod } A$).
• Questa condizione è equivalente all'assenza di cicli orientati nel quiver dei mattoni $Q_b(A)$.
• Viene fornita una caratterizzazione puramente algebrica: un torsione class $T$ è un elemento modulare sinistro se e solo se i mattoni in $T$ formano un sottoquiver chiuso per successione di $Q_b(A)$.

E. Esempi e Controesempi

Gli autori costruiscono una vasta gamma di esempi concreti:

• Per le algebre di cammino $kQ$, $\text{tors } kQ$ è modulare sinistro se e solo se $Q$ è un quiver di Dynkin o di Kronecker.
• Per i gruppi di Weyl associati a quiver di Dynkin, solo gli elementi minimo e massimo sono modulari sinistri.
• Esistono infinite algebre connesse per cui $\text{tors } A$ ha lunghezza arbitraria $m > 4$ ed è un reticolo estremo.
• Per ogni cardinalità infinita $\aleph$, esistono reticoli estremi con $2^\aleph$ catene massimali composte da elementi modulari.

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

1. Unificazione Teorica: Colma il divario tra la teoria dei reticoli finiti e quella infinita, fornendo un quadro coerente per concetti fondamentali come la modularità e l'estremità in contesti infiniti.
2. Ponte tra Discipline: Rafforza il legame tra la teoria dei reticoli e la teoria delle rappresentazioni, mostrando come proprietà strutturali delle algebre (brick-directedness) si traducano direttamente in proprietà combinatorie dei loro reticoli di torsione.
3. Nuovi Strumenti: L'introduzione dei quiver di etichettatura e degli insiemi chiusi per successione offre nuovi strumenti computazionali e concettuali per analizzare la struttura dei reticoli infiniti.
4. Classificazione: Fornisce una classificazione completa per le algebre i cui reticoli di torsione sono "ben comportati" (modulari sinistri/estremi), identificando i brick-directed algebras come la classe corretta da studiare.
5. Connessioni Aperte: Il lavoro solleva nuove domande sulla relazione tra l'esistenza di semibricks infiniti e la struttura delle catene massimali, collegandosi a congetture aperte nella teoria delle rappresentazioni (come la Strong Semibrick Conjecture).

In sintesi, il paper estende con successo la teoria dei reticoli "trim" e distributivi al regno infinito, fornendo caratterizzazioni precise e applicazioni concrete nella teoria delle algebre, con implicazioni per la comprensione della struttura delle classi di torsione e dei gruppi di Weyl.