Complete simplicial fans, Stanley--Reisner rings, and equivariant h-polynomials

Sintesi Tecnica: Ventagli Simpliciali Completi, Anelli di Stanley–Reisner e Polinomi h Equivarianti

Enunciato del Problema
Il lavoro affronta lo studio combinatorio e algebrico dell'azione di gruppi finiti sulla coomologia delle varietà toriche e delle relative strutture algebriche associate. Nello specifico, si concentra sul caso in cui un gruppo finito $G$ agisce linearmente su uno spazio vettoriale $V$, preservando un ventaglio simpliciale completo $\Sigma$. Mentre la coomologia delle orbifold toriche compatte (associate a ventagli simpliciali completi razionali) è ben compresa tramite l'anello di Stanley–Reisner $A(\Sigma)$ e la sua riduzione Artiniana, il carattere graduato dell'azione del gruppo su tale anello non era stato completamente caratterizzato per ventagli generali. Inoltre, il lavoro indaga la struttura combinatoria degli invarianti di questi anelli sotto l'azione di gruppi di riflessione finiti, cercando un oggetto combinatorio che codifichi la topologia dello spazio quoziente.

Metodologia
L'autore impiega una sintesi di algebra commutativa, teoria delle rappresentazioni e geometria convessa:

1. Quadro Algebrico: Lo studio utilizza l'anello di Stanley–Reisner $A(\Sigma)$ di un ventaglio simpliciale completo $\Sigma$, definito come quoziente di un anello polinomiale per un ideale monomiale senza quadrati. L'anello è trattato come un modulo graduato su un anello polinomiale $A = \text{Sym}(V^*)$. La "riduzione Artiniana" $\overline{A(\Sigma)}$ è ottenuta quozientando $A(\Sigma)$ per un sistema lineare di parametri, che corrisponde alla coomologia usuale della varietà torica associata quando $\Sigma$ è razionale.
2. Teoria dei Caratteri Equivarianti: Il lavoro deriva una formula per il carattere graduato dell'azione di un elemento $g \in G$ su $\overline{A(\Sigma)}$. Ciò comporta la decomposizione dell'anello in sottospazi indicizzati da coni, l'analisi degli insiemi di punti fissi dell'azione del gruppo sul ventaglio e l'utilizzo delle rappresentazioni quoziente indotte $\psi_\sigma: G_\sigma \to \text{GL}(V/V_\sigma)$.
3. Analisi dei Gruppi di Riflessione: Per il caso specifico in cui $G$ è un gruppo di riflessione finito $W$, l'autore introduce un nuovo oggetto combinatorio chiamato "ventaglio ibrido" $\Sigma_W$. Questa costruzione, attribuita a Colin Crowley e Connor Simpson, codifica l'azione di $W$ combinando i raggi del dominio fondamentale di $W$ con le radici semplici negative.
4. Rappresentazioni Indotte e Reciprocità di Frobenius: Le dimostrazioni si basano pesantemente sulla teoria delle rappresentazioni indotte, sulla reciprocità di Frobenius e sulle proprietà dei sottogruppi paraboliche all'interno dei gruppi di riflessione per collegare gli invarianti del ventaglio originale alla combinatoria del ventaglio ibrido.

Contributi e Risultati Chiave

• Formula del Polinomio h Equivariante (Teorema 1.1):
  Il risultato principale è una formula per il carattere graduato dell'azione di un qualsiasi gruppo finito $G$ sulla riduzione Artiniana $\overline{A(\Sigma)}$. La serie di Hilbert equivariante $R_{A(\Sigma)}(t)$ è data da:
  $$R_{A(\Sigma)}(t) = \sum_{\sigma \in \Sigma} \frac{|G_\sigma|}{|G|} \text{Ind}_{G_\sigma}^G (\det(tI - \psi_\sigma))$$
  dove $G_\sigma$ è il stabilizzatore insiemistico di un cono $\sigma$, e $\psi_\sigma$ è la rappresentazione indotta sullo spazio quoziente $V/V_\sigma$. Questa formula generalizza il classico polinomio $h$ (riottenuto quando $g=\text{id}$) e riproduce risultati noti per i gruppi di Weyl che agiscono su permutoedri (Procesi, Dolgachev–Lunts, Stembridge, Lehrer).

• Palindromicità (Proposizione 3.2):
  Il lavoro dimostra che il carattere graduato $P_G(t, g)$ è palindromo, soddisfacendo $P_G(t, g) = t^d P_G(t^{-1}, g)$, dove $d = \dim(V)$. Ciò è stabilito mostrando che la componente di grado massimo della riduzione Artiniana porta la rappresentazione banale, una conseguenza della proprietà Gorenstein dell'anello di Stanley–Reisner e della preservazione di un elemento di volume sotto l'azione del gruppo.

• Ventaglio Ibrido e Invarianti (Teorema 1.2):
  Quando $W$ è un gruppo di riflessione finito, il polinomio di Poincaré degli $W$-invarianti di $\overline{A(\Sigma)}$ risulta essere uguale al polinomio $h$ di un "ventaglio ibrido" $\Sigma_W$ di nuova definizione. Il ventaglio ibrido è costruito prendendo i raggi nel dominio fondamentale e aggiungendo i raggi generati dalle radici semplici negative, con strutture coniche determinate dalle orbite del ventaglio originale.

• Coomologia dei Quozienti (Teorema 1.3):
  Come diretta applicazione, se $\Sigma$ è un ventaglio simpliciale completo razionale, il polinomio di Poincaré della coomologia dell'orbifold torico quoziente $X_\Sigma/W$ è uguale al polinomio di Poincaré dell'orbifold torico $X_{\Sigma_W}$ associato al ventaglio ibrido. Ciò generalizza risultati precedenti di Horiguchi–Masuda–Shareshian–Song e Crowley–Gong–Simpson riguardanti i quozienti di poliedri e i loro ventagli normali.

Significato e Affermazioni
Il lavoro afferma di fornire un quadro combinatorio unificato per comprendere la coomologia equivariante delle varietà toriche sotto azioni di gruppi finiti, estendendosi oltre il caso razionale fino ai ventagli simpliciali completi generali.

• Stabilisce che il "polinomio $h$ equivariante" funge da invariante completo per la rappresentazione graduata del gruppo sulla coomologia della varietà torica associata (nel caso razionale).
• Dimostra che il problema complesso di calcolare la coomologia di uno spazio quoziente $X_\Sigma/W$ può essere ridotto al calcolo combinatorio del polinomio $h$ del ventaglio ibrido $\Sigma_W$, anche quando il ventaglio originale non è razionale.
• Il lavoro colma il divario tra la combinatoria dei ventagli e la topologia degli spazi quoziente, suggerendo che il ventaglio ibrido è il modello combinatorio corretto per il quoziente.

Domande Aperte e Direzioni Future
Il lavoro conclude ponendo diversi problemi aperti:

1. Isomorfismo di Anelli: Se esista un esplicito isomorfismo di anelli graduati tra gli invarianti $\overline{A(\Sigma)}^W$ e l'anello di Stanley–Reisner del ventaglio ibrido $\overline{A(\Sigma_W)}$.
2. Isomorfismo di Varietà (Congettura 5.2): Se la varietà torica quoziente $X_\Sigma/W$ sia isomorfa alla varietà torica $X_{\Sigma_W}$ per qualsiasi ventaglio razionale. Il lavoro nota che ciò è noto per ventagli poliedrali e singoli coni, ma rimane aperto per ventagli generali.
3. Coomologia di Intersezione: Se esista una formula simile per il carattere equivariante per la coomologia di intersezione combinatoria di ventagli generali (non simpliciali), potenzialmente coinvolgendo polinomi equivarianti di Kazhdan–Lusztig–Stanley.
4. Coomologia di Intersezione del Quoziente: Se gli invarianti della coomologia di intersezione combinatoria di un ventaglio siano uguali alla coomologia di intersezione del ventaglio ibrido, notando che le singolarità nel quoziente potrebbero complicare tale relazione.