Derived representation schemes with arbitrary coefficients and associative smoothness

Sintesi Tecnica: Schemi di Rappresentazione Derivata con Coefficienti Arbitrari e Smoothness Associativa

Enunciato del Problema
Il saggio affronta i limiti della classica omologia di rappresentazione nel rilevare la smoothness formale delle algebre associative. Mentre il principio derivato di Kontsevich–Rosenberg suggerisce che le proprietà geometriche di un'algebra $A$ debbano riflettersi nei suoi schemi di rappresentazione derivati $DRep_V(A)$, i risultati esistenti (specificamente il teorema di vanishing di Berest–Felder–Ramadoss) mostrano che, se $A$ è formalmente smooth, la sua omologia di rappresentazione superiore $HR_i(A, V)$ svanisce per $i > 0$. Tuttavia, il inverso fallisce: esistono algebre non smooth (ad esempio, certi piani quantistici) la cui omologia di rappresentazione superiore svanisce quando i coefficienti sono ristretti alle algebre matriciali $End_k(V)$. Il problema centrale è se l'espansione della classe di coefficienti oltre le algebre matriciali, verso algebre finite-dimensional arbitrarie, fornisca un test di smoothness strettamente più forte capace di caratterizzare la smoothness formale.

Metodologia
L'autore generalizza il framework dell'omologia di rappresentazione sostituendo l'algebre di coefficienti standard $End_k(V)$ con un'arbitraria algebra $k$-finitamente dimensionale $M$.

1. Coefficienti Generalizzati: Una rappresentazione di $A$ con coefficiente $M$ è definita come un omomorfismo di algebre $A \to M$. Lo schema derivato associato è denotato $DRep_M(A)$, e la sua omologia è $HR_*(A, M)$.
2. Dimostrazione del Teorema di Vanishing: Per dimostrare che la formal smoothness implica lo svanimento dell'omologia di rappresentazione superiore per tutti i coefficienti finite-dimensional, l'autore evita l'ipotesi di "risoluzione semifree con algebra DG sottostante localmente finite-dimensionale" utilizzata in prove precedenti (ad esempio, Ciocan-Fontanine–Kapranov); invece, la prova utilizza:
   • Un argomento di confronto coinvolgente il complesso cotangente.
   • Il teorema di rilevamento fiberwise di Neeman (Lemma 2.11 in [15]) per stabilire che un morfismo di schemi DG è un quasi-isomorfismo se induce isomorfismi sui spazi tangenti derivati in tutti i punti.
   • L'identificazione degli spazi tangenti derivati $\pi_i(DRep_M(A), \rho)$ con i gruppi di coomologia di Hochschild $HH^{i+1}(A, M_F)$.
3. Costruzione del Controesempio: Per dimostrare la maggiore sensibilità dei coefficienti arbitrari, l'autore calcola esplicitamente l'omologia di rappresentazione del piano quantistico $k[x,y]_q$ e del piano di Jordan utilizzando l'algebra delle matrici strettamente triangolari superiori $(\mathfrak{n}_3)^+$ come coefficiente. Ciò comporta la costruzione di complessi di Koszul per mostrare un'omologia non banale.
4. Caratterizzazione per Algebre Finite-Dimensional: Per il caso in cui $A$ sia essa stessa una $k$-algebra finite-dimensional, l'autore dimostra il verso dell'inverso del teorema di vanishing utilizzando estensioni triviali $A \ltimes N$ come coefficienti di test.

Contributi Chiave e Risultati

• Teorema 3.4 (Vanishing Generalizzato): Se $A$ è un'algebra $k$-finitely generated formalmente smooth, allora $HR_i(A, M) = 0$ per ogni $i > 0$ e per qualsiasi algebra $k$-finite-dimensionale $M$.

  • Significato: Questo recupera il noto teorema di vanishing senza richiedere la condizione tecnicamente impegnativa di "locally finite-dimensional" sulla risoluzione semifree di $A$, basandosi invece sulla finitezza di $A$ e sulle proprietà del complesso cotangente.

• Rilevamento della Non-Smoothness (Teoremi 4.1 & 4.2): Il saggio dimostra che l'omologia di rappresentazione con coefficienti non-matriciali rileva singolarità invisibili ai coefficienti matriciali.

  • Per il piano quantistico $k[x,y]_q$ ($q$ non radice dell'unità), $HR_1(k[x,y]_q, (\mathfrak{n}_3)^+) \neq 0$.
  • Per il piano di Jordan $k[x,y]_J$, $HR_1(k[x,y]_J, (\mathfrak{n}_3)^+) \neq 0$.
  • Questi risultati confermano che il passaggio da coefficienti matriciali ad algebriche finite-dimensional arbitrarie produce un test di smoothness strettamente più forte.

• Teorema 4.3 (Caratterizzazione per Algebre Finite-Dimensional): Sia $A$ un'algebra $k$-finite-dimensionale su un campo algebricamente chiuso $k$. Allora $A$ è formalmente smooth se e solo se $HR_i(A, M) = 0$ per ogni $i > 0$ e per ogni algebra finite-dimensionale $M$.

  • Meccanismo: La prova utilizza l'estensione triviale $M = A \ltimes N$ come coefficiente. Lo svanimento di $HR_i(A, A \ltimes N)$ implica lo svanimento di $HH^{i+1}(A, N)$ per tutti i bimoduli finite-dimensional $N$, il che caratterizza la formal smoothness per le algebre finite-dimensional.

• Appendice (Criterio di Confronto): L'autore isola l'argomento centrale della prova principale per stabilire un criterio di confronto generale per gli schemi DG (Proposizione A.4). Questo risultato recupera il teorema di confronto di Ciocan-Fontanine–Kapranov sotto ipotesi più deboli, richiedendo solo che lo schema sottostante sia localmente Noetherian piuttosto che un "DG-manifold" con vincoli strutturali specifici.

Significatività e Rivendicazioni
Il saggio sostiene che gli schemi di rappresentazione derivata con coefficienti finite-dimensional arbitrari forniscono un "test di smoothness strettamente più forte" rispetto alla versione classica con valori matriciali.

• Allineamento Filosofico: I risultati supportano il principio di Kontsevich–Rosenberg suggerendo che l'omologia di rappresentazione con coefficienti arbitrari possa fornire una caratterizzazione omotopica completa della smoothness associativa.
• Limiti e Questioni Aperte: Il saggio inquadra esplicitamente l'inverso del teorema di vanishing per algebre Noetherian generalmente finitely generated come una questione aperta (Domanda 1). Sebbene l'inverso sia dimostrato per le algebre finite-dimensional, l'autore non rivendica di aver risolto il caso generale.
• Invarianza di Morita: Il saggio nota che l'omologia di rappresentazione con coefficienti finite-dimensional non è invariante per Morita (a differenza della formal smoothness stessa), evidenziando una differenza fondamentale tra la proprietà algebrica e i suoi invarianti di rappresentazione.

In sintesi, il lavoro stabilisce che l'espansione della classe di coefficienti nell'omologia di rappresentazione risolve i noti controesempi alla caratterizzazione della smoothness, fornendo uno strumento robusto per rilevare la non-smoothness e offrendo una caratterizzazione completa per la specifica, ma importante, classe delle algebre finite-dimensional.