¿Es posible configurar la teoría clásica del cobordismo en el contexto de los orbifolds? Por ejemplo, consideremos el grupo abeliano libre generado por orbifolds lisos orientados y cociente por los que son cobordantes nulos (es decir, son el límite de un orbifold liso orientado con límite). ¿Es el anillo resultante expresable como los grupos de homotopía de algún espectro de Thom? ¿Podemos demostrarlo simplemente incrustando suavemente un orbifold en Rn/Sn y siguiendo la prueba clásica?
Mi motivación es que en la teoría de Gromov--Witten, el espacio de moduli de los mapas estables ˉMg,n(X,A) es un orbifolio liso orientado (suponiendo que se corta transversalmente, y suponiendo que tenemos cartas lisas para los encolados) y está definido hasta el cobordismo. Por lo tanto, en lugar de tomar su clase fundamental y avanzar hasta H∗(ˉMg,n×Xn) para obtener los invariantes de Gromov--Witten, podríamos considerar la clase que representa en la teoría de cohomología generalizada que podríamos llamar "cobordismo de orbifold orientado" de ˉMg,n×Xn y obtener una invariante un poco más refinada.