Étale morphism (original) (raw)
In geometria algebrica, un morfismo étale (dal francese: calmo, immobile, qualcosa lasciato a stabilirsi.) è un morfismo di schemi che è ed è . Un morfismo étale è l'analogo algebrico della nozione di isomorfismo locale nella topologia euclidea. I morfismi étale soddisfano le ipotesi del teorema della funzione implicita, ma poiché gli aperti nella topologia di Zariski sono grandi, tali morfismi non sono necessariamente isomorfismi locali. Nonostante ciò, i morfismi étale conservano molte delle proprietà degli isomorfismi analitici locali e sono utili per definire il e la .
| Property | Value |
|---|---|
| dbo:abstract | In geometria algebrica, un morfismo étale (dal francese: calmo, immobile, qualcosa lasciato a stabilirsi.) è un morfismo di schemi che è ed è . Un morfismo étale è l'analogo algebrico della nozione di isomorfismo locale nella topologia euclidea. I morfismi étale soddisfano le ipotesi del teorema della funzione implicita, ma poiché gli aperti nella topologia di Zariski sono grandi, tali morfismi non sono necessariamente isomorfismi locali. Nonostante ciò, i morfismi étale conservano molte delle proprietà degli isomorfismi analitici locali e sono utili per definire il e la . (it) In algebraic geometry, an étale morphism (French: [etal]) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology. The word étale is a French adjective, which means "slack", as in "slack tide", or, figuratively, calm, immobile, something left to settle. (en) エタール射（エタールしゃ、étale morphism）とは、数学において間の平坦かつ不分岐な射のこと。「étale」という形容詞は複素解析幾何学（géométrie analytique complexe）における古典的な概念「domaine étalé」から採られた。 (ja) |
| dbo:wikiPageExternalLink | https://archive.org/details/etalecohomology00miln http://www.jmilne.org/math/CourseNotes/LEC.pdf |
| dbo:wikiPageID | 3022771 (xsd:integer) |
| dbo:wikiPageLength | 15529 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1084286242 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Monic_polynomial dbr:Ringed_space dbr:Quasi-finite_morphism dbr:Radicial_morphism dbr:Galois_theory dbr:Branched_covering dbr:Submersion_(mathematics) dbc:Morphisms_of_schemes dbr:Tangent_space dbr:Publications_Mathématiques_de_l'IHÉS dbr:Adjective dbr:Algebraic_Geometry_(book) dbr:Algebraic_geometry dbr:Flat_morphism dbr:Formally_étale_morphism dbr:Parabola dbr:Formal_derivative dbr:Quasi-compact_morphism dbr:Purity_(algebraic_geometry) dbr:Regular_map_(algebraic_geometry) dbr:Jacobian_matrix_and_determinant dbr:Jean_Dieudonné dbr:Diffeomorphisms dbr:Manifold dbr:Square_root dbr:Grothendieck's_Galois_theory dbr:Glossary_of_scheme_theory dbr:Implicit_function_theorem dbr:Separable_closure dbr:Scheme_(mathematics) dbr:Étale_topology dbr:Unramified_morphism dbr:Completion_(ring_theory) dbr:Formally_étale dbr:Zariski_topology dbr:Smooth_morphism dbr:Ring_homomorphism dbr:Springer-Verlag dbr:Open_subset dbr:Algebraic_fundamental_group |
| dbp:wikiPageUsesTemplate | dbt:= dbt:Citation dbt:IPA-fr dbt:Reflist |
| dct:subject | dbc:Morphisms_of_schemes |
| gold:hypernym | dbr:Morphism |
| rdfs:comment | In geometria algebrica, un morfismo étale (dal francese: calmo, immobile, qualcosa lasciato a stabilirsi.) è un morfismo di schemi che è ed è . Un morfismo étale è l'analogo algebrico della nozione di isomorfismo locale nella topologia euclidea. I morfismi étale soddisfano le ipotesi del teorema della funzione implicita, ma poiché gli aperti nella topologia di Zariski sono grandi, tali morfismi non sono necessariamente isomorfismi locali. Nonostante ciò, i morfismi étale conservano molte delle proprietà degli isomorfismi analitici locali e sono utili per definire il e la . (it) エタール射（エタールしゃ、étale morphism）とは、数学において間の平坦かつ不分岐な射のこと。「étale」という形容詞は複素解析幾何学（géométrie analytique complexe）における古典的な概念「domaine étalé」から採られた。 (ja) In algebraic geometry, an étale morphism (French: [etal]) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology. (en) |
| rdfs:label | Morfismo étale (it) 에탈 사상 (ko) エタール射 (ja) Étale morphism (en) |
| owl:sameAs | freebase:Étale morphism wikidata:Étale morphism dbpedia-it:Étale morphism dbpedia-ja:Étale morphism dbpedia-ko:Étale morphism https://global.dbpedia.org/id/4xYmt |
| prov:wasDerivedFrom | wikipedia-en:Étale_morphism?oldid=1084286242&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Étale_morphism |
| is dbo:wikiPageDisambiguates of | dbr:Étale |
| is dbo:wikiPageRedirects of | dbr:Etale_covering dbr:Etale_map dbr:Etale_morphism dbr:Etale_morphisms dbr:Étale_covering dbr:Étale_map |
| is dbo:wikiPageWikiLink of | dbr:Puiseux_series dbr:Algebraic_space dbr:Glossary_of_algebraic_geometry dbr:Glossary_of_commutative_algebra dbr:Branched_covering dbr:Morphism_of_algebraic_varieties dbr:Profinite_integer dbr:Local_criterion_for_flatness dbr:Deligne–Mumford_stack dbr:Étale_algebra dbr:Étale_cohomology dbr:Fundamental_group dbr:Stack_(mathematics) dbr:Etale_covering dbr:Etale_map dbr:Etale_morphism dbr:Local_homeomorphism dbr:Nisnevich_topology dbr:Ernst_Witt dbr:Flat_morphism dbr:Formally_étale_morphism dbr:Diffeomorphism dbr:Dimension_of_a_scheme dbr:Purity_(algebraic_geometry) dbr:Hilbert's_Nullstellensatz dbr:Cotangent_complex dbr:Hypercovering dbr:Torsor_(algebraic_geometry) dbr:Abhyankar's_conjecture dbr:Topos dbr:Regular_scheme dbr:Ramification_(mathematics) dbr:Scheme_(mathematics) dbr:Sheaf_(mathematics) dbr:Étale dbr:Étale_fundamental_group dbr:Étale_topology dbr:Unramified_morphism dbr:Exceptional_inverse_image_functor dbr:Smooth_scheme dbr:Perfectoid_space dbr:Smooth_algebra dbr:Smooth_morphism dbr:Etale_morphisms dbr:Étale_covering dbr:Étale_map |
| is foaf:primaryTopic of | wikipedia-en:Étale_morphism |