Smooth morphism (original) (raw)
In algebraic geometry, a morphism between schemes is said to be smooth if * (i) it is locally of finite presentation * (ii) it is flat, and * (iii) for every geometric point the fiber is regular. (iii) means that each geometric fiber of f is a nonsingular variety (if it is separated). Thus, intuitively speaking, a smooth morphism gives a flat family of nonsingular varieties. If S is the spectrum of an algebraically closed field and f is of finite type, then one recovers the definition of a nonsingular variety.
| Property | Value |
|---|---|
| dbo:abstract | In algebraic geometry, a morphism between schemes is said to be smooth if * (i) it is locally of finite presentation * (ii) it is flat, and * (iii) for every geometric point the fiber is regular. (iii) means that each geometric fiber of f is a nonsingular variety (if it is separated). Thus, intuitively speaking, a smooth morphism gives a flat family of nonsingular varieties. If S is the spectrum of an algebraically closed field and f is of finite type, then one recovers the definition of a nonsingular variety. (en) 대수기하학에서 매끄러운 스킴(영어: smooth scheme)은 국소적으로 아핀 공간과 같이 보이는 체 위의 스킴이며, 매끄러운 사상(-寫像, 영어: smooth morphism)은 각 올이 매끄러운 스킴을 이루는 스킴 사상이다. 비분기 사상(非分岐寫像, 영어: unramified morphism)은 분기화가 일어나지 않는 스킴 사상이며, 미분기하학의 몰입에 해당한다. (대수기하학의 열린 몰입과 닫힌 몰입은 이름과 달리 미분기하학의 매장에 해당한다.) 에탈 사상(étale寫像, 영어: étale morphism)은 스킴 사이의 국소 동형 사상이다. 즉, 미분기하학의 국소 미분동형사상이나, 위상수학의 국소 위상동형사상에 대응되는 개념이다. (ko) 代数幾何学において滑らかな射（なめらかなしゃ、英: smooth morphism）とは、スキームの射 であって、次の3つの条件を満たすもののことを言う： * (i) 局所的に有限表示 * (ii) 平坦 * (iii) 任意の幾何学的点 に対し、そのファイバー は (iii) から、（分離的であれば）f の幾何学的ファイバーは全て非特異多様体になる。したがって、直感的には滑らかな射とは非特異多様体の平坦族を与えるような射のことである。 S が代数的閉体のスペクトルで f が有限型（of finite type）であれば、これは非特異多様体であることと同値である。 滑らかな射はスムーズ射と呼ばれることもある。 (ja) |
| dbo:wikiPageExternalLink | http://www.jmilne.org/math/CourseNotes/LEC.pdf |
| dbo:wikiPageID | 7837041 (xsd:integer) |
| dbo:wikiPageLength | 8508 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1095259454 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Quasi-finite_morphism dbr:Submersion_(mathematics) dbc:Morphisms_of_schemes dbr:Spectrum_of_a_ring dbr:James_Milne_(mathematician) dbr:Locally_acyclic_morphism dbr:Algebraic_geometry dbr:Field_(mathematics) dbr:Flat_morphism dbr:Formally_étale_morphism dbr:Formally_smooth_map dbr:Quasi-compact_morphism dbr:Finitely_presented_scheme dbr:Cotangent_sheaf dbr:Ehresmann's_theorem dbr:Regular_embedding dbr:Scheme_(mathematics) dbr:Étale_morphism dbr:Smooth_scheme dbr:Smooth_algebra dbr:Base_change_morphism dbr:Relative_dimension_(scheme_theory) dbr:Geometric_point |
| dbp:wikiPageUsesTemplate | dbt:See_also |
| dcterms:subject | dbc:Morphisms_of_schemes |
| rdf:type | owl:Thing |
| rdfs:comment | In algebraic geometry, a morphism between schemes is said to be smooth if * (i) it is locally of finite presentation * (ii) it is flat, and * (iii) for every geometric point the fiber is regular. (iii) means that each geometric fiber of f is a nonsingular variety (if it is separated). Thus, intuitively speaking, a smooth morphism gives a flat family of nonsingular varieties. If S is the spectrum of an algebraically closed field and f is of finite type, then one recovers the definition of a nonsingular variety. (en) 대수기하학에서 매끄러운 스킴(영어: smooth scheme)은 국소적으로 아핀 공간과 같이 보이는 체 위의 스킴이며, 매끄러운 사상(-寫像, 영어: smooth morphism)은 각 올이 매끄러운 스킴을 이루는 스킴 사상이다. 비분기 사상(非分岐寫像, 영어: unramified morphism)은 분기화가 일어나지 않는 스킴 사상이며, 미분기하학의 몰입에 해당한다. (대수기하학의 열린 몰입과 닫힌 몰입은 이름과 달리 미분기하학의 매장에 해당한다.) 에탈 사상(étale寫像, 영어: étale morphism)은 스킴 사이의 국소 동형 사상이다. 즉, 미분기하학의 국소 미분동형사상이나, 위상수학의 국소 위상동형사상에 대응되는 개념이다. (ko) 代数幾何学において滑らかな射（なめらかなしゃ、英: smooth morphism）とは、スキームの射 であって、次の3つの条件を満たすもののことを言う： * (i) 局所的に有限表示 * (ii) 平坦 * (iii) 任意の幾何学的点 に対し、そのファイバー は (iii) から、（分離的であれば）f の幾何学的ファイバーは全て非特異多様体になる。したがって、直感的には滑らかな射とは非特異多様体の平坦族を与えるような射のことである。 S が代数的閉体のスペクトルで f が有限型（of finite type）であれば、これは非特異多様体であることと同値である。 滑らかな射はスムーズ射と呼ばれることもある。 (ja) |
| rdfs:label | 매끄러운 사상 (ko) 滑らかな射 (ja) Smooth morphism (en) |
| rdfs:seeAlso | dbr:Formally_smooth_map |
| owl:sameAs | freebase:Smooth morphism wikidata:Smooth morphism dbpedia-ja:Smooth morphism dbpedia-ko:Smooth morphism https://global.dbpedia.org/id/4ujKY |
| prov:wasDerivedFrom | wikipedia-en:Smooth_morphism?oldid=1095259454&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Smooth_morphism |
| is dbo:wikiPageRedirects of | dbr:Formally_smooth dbr:Formally_smooth_morphism dbr:Formally_unramified |
| is dbo:wikiPageWikiLink of | dbr:Semi-simplicity dbr:Resolution_of_singularities dbr:D-module dbr:Kähler_differential dbr:Néron_model dbr:Normal_cone dbr:Glossary_of_commutative_algebra dbr:Morphism_of_algebraic_varieties dbr:Deligne–Mumford_stack dbr:A¹_homotopy_theory dbr:Dualizing_sheaf dbr:Galois_module dbr:Locally_acyclic_morphism dbr:Log_structure dbr:Base_change_theorems dbr:Differential_graded_category dbr:Formally_smooth_map dbr:Kodaira_vanishing_theorem dbr:Hilbert's_Nullstellensatz dbr:Cotangent_complex dbr:Abelian_variety dbr:Moduli_of_algebraic_curves dbr:Reductive_group dbr:Regular_embedding dbr:Relative_effective_Cartier_divisor dbr:Fiber_product_of_schemes dbr:Grothendieck–Riemann–Roch_theorem dbr:Kleiman's_theorem dbr:Scheme_(mathematics) dbr:Étale_morphism dbr:Vector_bundle dbr:List_of_unsolved_problems_in_mathematics dbr:Parshin's_conjecture dbr:Sum_of_residues_formula dbr:Smooth_scheme dbr:Proj_construction dbr:P-adic_Hodge_theory dbr:P-curvature dbr:Formally_smooth dbr:Formally_smooth_morphism dbr:Formally_unramified |
| is foaf:primaryTopic of | wikipedia-en:Smooth_morphism |