Formalmente étale significa que el infinitesimal de elevación de la propiedad es exclusivamente satisfecho. Si el mapa es también localmente finito de presentación, entonces es llamado étale. Una de las muchas caracterizaciones (ver EGA 4.5.17) de étale es plana y unramified. Así que mi pregunta es si el más débil condición de formalmente étale implica todavía planitud?
Respuesta
¿Demasiados anuncios?
Parece que Anton Geraschenkos respuesta a una pregunta anterior hay un ejemplo de una formalmente liso de morfismos que no es suave hace el truco aquí. Su ejemplo de una formalmente liso mapa que no es plana, es de hecho formalmente etale. Así, formalmente etale ¿ no implica plana.
