Algebraic cobordism rings of wonderful varieties and matroids

Resumo Técnico: Anéis de Cobordismo Algébrico de Variedades Maravilhosas e Matroides

Enunciado do Problema
O artigo aborda o cálculo e a compreensão estrutural do anel de cobordismo algébrico $\Omega^*(X)$ para classes específicas de variedades associadas a matroides: a variedade torica $X_M$ do fan de Bergman de um matroide sem loops $M$, e a compactificação maravilhosa $W_H$ de um arranjo de hiperplanos complexos $H$. Embora os anéis de Chow $CH^*(X_M)$ e $CH^*(W_H)$ e os anéis K $K_0(X_M)$ e $K_0(W_H)$ tenham sido extensamente estudados e demonstrado possuir estruturas combinatórias ricas (incluindo o "pacote Kähler" e isomorfismos integrais excepcionais entre os anéis de Chow e K), apresentações explícitas para seus anéis de cobordismo algébrico $\Omega^*(X_M)$ e $\Omega^*(W_H)$ não estavam disponíveis anteriormente. O cobordismo algébrico, construído por Levine e Morel, é a teoria de cohomologia orientada universal, o que torna seu cálculo significativamente mais difícil do que o de Chow ou K-teoria, pois envolve a lei de grupo formal universal sobre o anel de Lazard $L^*$.

Metodologia
Os autores empregam uma combinação de álgebra combinatória, a teoria de leis de grupo formal e a geometria de variedades toricas e blow-ups.

1. Estrutura de Variedade Torica: Os autores utilizam a descrição do anel de cobordismo algébrico de uma variedade torica suave $X_\Sigma$ fornecida por Krishna e Uma. Esta apresentação envolve geradores correspondentes a divisores toricos e relações derivadas da combinatória do fan e da lei de grupo formal $F_U$.
2. Apresentações Combinatórias: Eles adaptam a apresentação de Feichtner–Yuzvinsky para anéis de Chow de variedades toricas matroidais para o contexto do cobordismo algébrico. Isso envolve definir um anel $\Omega^*(M)$ gerado por variáveis indexadas pelos flats não vazios do matroide, módulo relações decorrentes de flats incomparáveis e da lei de grupo formal.
3. Apresentação Simplicial: Um passo metodológico fundamental é a derivação de uma apresentação "simplicial" para $\Omega^*(X_M)$. Isso envolve uma mudança de variáveis usando a inversão de Möbius no reticulado de flats, elevando os "geradores simpliciais" conhecidos dos contextos de Chow e K-teoria para o contexto do cobordismo.
4. Teoremas de Comparação: Os autores utilizam teoremas de comparação entre cobordismo algébrico, teoria de Chow e cobordismo complexo ($MU^*$). Especificamente, eles utilizam o fato de que, para certas variedades, o mapa natural $\Omega^*(X) \to CH^*(X)$ permite recuperar $\Omega^*(X)$ como um módulo livre sobre $L^*$ se $CH^*(X)$ for livre sobre $\mathbb{Z}$.
5. Análise de Imersão: Para a variedade maravilhosa $W_H$, os autores analisam a inclusão canônica $\iota: W_H \hookrightarrow X_{M_H}$. Eles provam que esta inclusão induz isomorfismos nos anéis de cohomologia relevantes ao estudar o mapa de classe de ciclo e a estrutura de $W_H$ como um blow-up iterado do espaço projetivo.

Principais Contribuições e Resultados

1. Apresentação Simplicial para $\Omega^*(X_M)$:
   O resultado primário é uma apresentação combinatória do anel de cobordismo algébrico da variedade torica $X_M$ associada a um matroide sem loops $M$. O anel é apresentado como um $L^*$-álgebra gerada por elementos $h_G$ (elevações de geradores simpliciais) para flats não vazios $G$, sujeitos a relações envolvendo a lei de grupo formal $F_U$:
   $$\Omega^*(X_M) \cong \frac{L^*[h_G : G \neq \emptyset]}{\langle (h_G - h_{G \vee H})(h_H - h_{G \vee H}) \rangle + \langle h_G : \text{rank}(G)=1 \rangle}$$
   Crucialmente, esta apresentação produz um isomorfismo de $L^*$-álgebras:
   $$\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$$
   Este resultado implica que, para qualquer teoria de cohomologia orientada livre $h^*$, $h^*(X_M) \cong \Omega^*(X_M) \otimes_{L^*} h^*(pt)$.

2. Generalização do Isomorfismo Excepcional:
   O isomorfismo $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ generaliza o "isomorfismo excepcional" $K_0(X_M) \cong CH^*(X_M)$ estabelecido recentemente por Berget–Eur–Spink–Tseng e Larson–Li–Payne–Proudfoot. Os autores observam que esta propriedade é rara; eles citam o exemplo de Speyer de uma variedade torica suave projetiva onde $CH^*(X) \not\cong K_0(X)$, demonstrando que o isomorfismo para variedades toricas matroidais é uma característica estrutural especial.

3. Isomorfismo para Variedades Maravilhosas:
   Os autores provam que a inclusão $\iota: W_H \hookrightarrow X_{M_H}$ induz um isomorfismo de anéis de cobordismo:
   $$\iota^*: \Omega^*(X_{M_H}) \xrightarrow{\sim} \Omega^*(W_H)$$
   Além disso, eles estabelecem que o mapa natural do cobordismo algébrico para o cobordismo complexo induz um isomorfismo:
   $$\Omega^*(W_H) \xrightarrow{\sim} MU^*(W_H(\mathbb{C}))$$
   Consequentemente, o anel de cobordismo algébrico da variedade maravilhosa coincide com seu anel de cobordismo complexo e é isomorfo ao produto tensorial de seu anel de Chow com o anel de Lazard.

4. Dependência da Estrutura do Matroide:
   O artigo demonstra que a classe de cobordismo $[W_H \to pt]$ em $\Omega^*(pt)$ (e $MU^*(pt)$) depende apenas do matroide subjacente $M_H$ do arranjo de hiperplanos $H$. Isso é demonstrado ao verificar que os números de Chern de $W_H$, que determinam a classe de cobordismo, são determinados inteiramente pela combinatória de $M_H$ via a fórmula de Cheng para a classe de Chern total do fibrado tangente.

Significância e Alegações
O artigo afirma fornecer as primeiras apresentações combinatórias explícitas para os anéis de cobordismo algébrico das variedades toricas de fans de Bergman e das variedades maravilhosas de arranjos de hiperplanos. Ao estabelecer o isomorfismo $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$, os autores mostram que a estrutura complexa desses anéis é inteiramente governada pela estrutura de seu anel de Chow e pela lei de grupo formal universal.

A significância reside em:

• Unificação: Unifica o estudo dos anéis de Chow, anéis K e anéis de cobordismo algébrico para variedades matroidais sob um único framework, mostrando que o "isomorfismo excepcional" entre Chow e K-teoria é uma sombra de um isomorfismo mais profundo envolvendo o cobordismo algébrico.
• Acesso Computacional: Fornece um método concreto para calcular classes de cobordismo algébrico para essas variedades, que são geralmente difíceis de calcular.
• Invariantes Matroidais: Confirma que invariantes geométricos profundos (como a classe de cobordismo em $\Omega^*(pt)$) da compactificação maravilhosa são invariantes puramente combinatórios do matroide subjacente, estendendo esta propriedade do Chow e K-teoria para a teoria de cohomologia orientada universal.

Os autores declaram explicitamente que, embora forneçam uma fórmula recursiva para a classe de $M_{0,n}$ em um contexto relacionado (via Ellis-Bloor), a fórmula recursiva explícita para $[W_H \to pt]$ em termos de geradores do anel de Lazard permanece como uma direção para trabalhos futuros. Eles também observam que o isomorfismo $\Omega^*(X) \cong CH^*(X) \otimes L^*$ não se aplica a todas as variedades toricas suaves projetivas, destacando a natureza especial das variedades matroidais.