Projective resolutions of simple modules and Hochschild cohomology for incidence algebras

Titolo: Risoluzioni proiettive di moduli semplici e coomologia di Hochschild per algebre di incidenza

Autori: V. Bekkert, J. W. MacQuarrie, J. Marques

1. Il Problema

Il lavoro affronta la sfida computazionale di calcolare le risoluzioni proiettive minime dei moduli semplici per un'algebra di incidenza $\Lambda$ su un campo $k$ (dove $\Lambda$ è definita su un poset finito $X$).
Sebbene esistano metodi generali per calcolare risoluzioni proiettive (come l'algoritmo di Bongartz e Butler), questi presentano due limiti principali nel contesto delle algebre di incidenza:

1. Le risoluzioni ottenute non sono necessariamente minime.
2. I calcoli sono spesso onerosi, richiedendo operazioni su ideali dell'algebra $\Lambda$ piuttosto che su semplici strutture di algebra lineare.

Di conseguenza, non esisteva un algoritmo semplice ed efficiente per calcolare i gruppi di coomologia di Hochschild $HH^i(\Lambda, \Lambda)$ o i gruppi $\text{Ext}^i_\Lambda(S, T)$ tra moduli semplici per un'incidenza arbitraria e di dimensione finita.

2. Metodologia

Gli autori propongono un metodo algoritmico basato sulla costruzione di oggetti combinatori chiamati "i-cicli" ($i$-cycles), che permettono di costruire una risoluzione proiettiva minima utilizzando esclusivamente operazioni di algebra lineare di base (calcolo di nuclei, intersezioni, somme di sottospazi e basi di complementi).

La metodologia si articola nei seguenti passaggi:

• Definizione degli $i$-cicli ($C_i$):
  Per un elemento fissato $x \in X$ (il generatore del modulo semplice $S_x$), si definisce ricorsivamente una sequenza di insiemi $C_i$ che indicizzano i summandi indecomponibili dei moduli proiettivi nella risoluzione.

  • $C_0 = \{x\}$.
  • $C_1 = \{(x, y) \mid y \in x^+\}$ (successori immediati).
  • Per $i \ge 2$, $C_{i+1}$ è costruito prendendo basi di complementi di certi sottospazi del nucleo di mappe lineari $\partial_i$ definite su spazi vettoriali generati dai cicli precedenti. In particolare, si considerano i sottospazi $(\ker \partial_i)_z$ relativi a ciascun elemento $z$ del poset, sottraendo i contributi provenienti dai predecessori immediati di $z$.

• Costruzione della Risoluzione:
  Si definisce un complesso di catene $C_\bullet$ di spazi vettoriali $kC_i$. Applicando il funtore tensoriale $\otimes_{\Lambda_0} \Lambda$ (dove $\Lambda_0$ è la sottoalgebra semisemplice generata dai cammini stazionari), si ottiene una sequenza di moduli proiettivi:
  $$\cdots \to kC_2 \otimes_{\Lambda_0} \Lambda \xrightarrow{d_2} kC_1 \otimes_{\Lambda_0} \Lambda \xrightarrow{d_1} kC_0 \otimes_{\Lambda_0} \Lambda \to S_x \to 0$$
  Gli autori dimostrano che questa sequenza è esatta e che le mappe $d_i$ sono tali da rendere la risoluzione minima (il nucleo di ogni mappa è contenuto nel radicale del modulo proiettivo).

• Calcolo dei Gruppi Ext:
  La dimensione dei gruppi $\text{Ext}^i_\Lambda(S_x, S_b)$ è data direttamente dalla cardinalità di un sottoinsieme specifico degli $i$-cicli, denotato $|B^i_b|$, che corrisponde agli elementi di $C_i$ associati all'elemento $b$.

• Estensione alla Coomologia di Hochschild:
  Sfruttando un risultato di Cibils, gli autori collegano la coomologia di Hochschild di $\Lambda$ ai gruppi $\text{Ext}$ di un'algebra di incidenza estesa $\Lambda^*$ (costruita aggiungendo due punti $x^*$ e $y^*$ al poset $X$). La formula chiave è:
  $$HH^i(\Lambda, \Lambda) \cong \text{Ext}^{i+2}_{\Lambda^*}(S_{x^*}, S_{y^*})$$

3. Contributi Chiave

1. Algoritmo Pratico e Minimo: Forniscono il primo algoritmo semplice ed efficiente che garantisce direttamente la minimalità della risoluzione proiettiva per moduli semplici su algebre di incidenza, evitando il lavoro su ideali complessi.
2. Formula Combinatoria per gli Ext: Stabiliscono una relazione diretta e computazionalmente efficiente tra la dimensione dei gruppi $\text{Ext}$ e la cardinalità di insiemi definiti ricorsivamente ($|B^i_b|$).
3. Calcolo della Coomologia di Hochschild: Derivano una formula esplicita per calcolare $\dim HH^i(\Lambda, \Lambda)$ basata sugli $i$-cicli dell'algebra estesa $\Lambda^*$, risolvendo il problema per algebre di incidenza arbitrarie.
4. Applicazione Topologica: Dimostrano che il metodo permette di calcolare efficientemente i gruppi di coomologia singolare di spazi topologici finiti $T_0$ (che sono in biiezione con i poset finiti).

4. Risultati

• Teorema 3: La sequenza costruita tramite gli $i$-cicli è una risoluzione proiettiva minima per il modulo semplice $S_x$.
• Proposizione 4: Per ogni $i \ge 0$, $\dim_k \text{Ext}^i_\Lambda(S_x, S_b) = |B^i_b|$.
• Teorema 6: Fornisce la dimensione dei gruppi di coomologia di Hochschild:
  • Per $i=0$: $\dim HH^0(\Lambda, \Lambda) = |B^2_{y^*}| + 1$ (che corrisponde al numero di componenti connesse del poset).
  • Per $i>0$: $\dim HH^i(\Lambda, \Lambda) = |B^{i+2}_{y^*}|$.
• Performance Computazionale: L'implementazione dell'algoritmo in SAGE è stata confrontata con la funzione CompactProjectiveResolution di Magma. Su 10 poset casuali con 30 vertici, il nuovo algoritmo ha mostrato tempi medi di esecuzione di 0.034 secondi, contro i 420.43 secondi dell'algoritmo esistente, dimostrando una superiorità computazionale di diversi ordini di grandezza.

5. Significato e Implicazioni

Questo lavoro ha un impatto significativo sia nella teoria delle rappresentazioni che nella topologia computazionale:

• Efficienza: Rende fattibile lo studio della coomologia di Hochschild per algebre di incidenza di dimensioni e complessità precedentemente intrattabili con gli strumenti computazionali standard.
• Teoria dei Poset: Offre nuovi strumenti per analizzare la struttura dei poset senza alterare le loro proprietà coomologiche, aprendo la strada a future ricerche sulla riduzione dei poset.
• Topologia: Fornisce un ponte computazionale diretto tra la teoria delle algebre di incidenza e la coomologia singolare di spazi finiti $T_0$, permettendo di calcolare invarianti topologici complessi attraverso operazioni algebriche lineari semplici.
• Accessibilità: La natura puramente lineare-algebrica dell'algoritmo lo rende facilmente implementabile in qualsiasi sistema di algebra computazionale, democratizzando l'accesso a questi calcoli avanzati.