Morphism of algebraic varieties (original) (raw)
In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function.A regular map whose inverse is also regular is called biregular, and they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well.
| Property | Value |
|---|---|
| dbo:abstract | Ein Morphismus von Varietäten ist in der algebraischen Geometrie eine Abbildung von Varietäten mit bestimmten Regularitätseigenschaften. Ein Morphismus affiner Varietäten ist eine polynomiale Abbildung. Morphismen affiner Varietäten entsprechen eindeutig Homomorphismen ihrer Koordinatenringe. Die Definition kann auf quasiaffine, projektive und quasiprojektive Varietäten verallgemeinert werden, indem man Morphismen mit Hilfe regulärer Funktionen lokal definiert. Morphismen abstrakter Varietäten sind lokale Garbenmorphismen. (Bemerkung: Die Bezeichnung ist in der Literatur nicht einheitlich. Zum Teil wird auch für einen Morphismus der Ausdruck reguläre Abbildung verwendet, nicht zu verwechseln mit regulären Funktionen.) (de) In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function.A regular map whose inverse is also regular is called biregular, and they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well. (en) 代数幾何学においてアフィン多様体の間の写像が正則写像（せいそくしゃぞう、英: regular map）であるとは、それが多項式によって与えられることを言う。陽に書けば、X, Y がそれぞれアフィン多様体 An, Am の（あるいは代数的集合）であるとき、X から Y への正則写像 f は、各 fi が座標環 k[x1, …, xn]/I（I は X を定義するイデアル）に属するものとして、 なる形に書ける。ゆえに像 f(X) は Y に含まれる（つまり、Y の定義方程式を満たす）。 より一般に、抽象代数多様体間の写像 ƒ: X → Y が一点 x において正則 (regular at a point x)とは、x の近傍 U と f(x) の近傍 V が存在して、制限写像 ƒ: U → V が U と V との 上の写像として正則となることを言う。さらに ƒ が X の任意の点において正則であるとき、ƒ は正則 (regular) であるという。 代数多様体間の射は、その始域と終域にザリスキー位相を入れたとき連続でなければならない。より厳密に、抽象代数多様体をある種の局所環付き空間として定義するとき（例えば射影多様体に対する「環付き構造」は射影多様体の項を参照せよ）、この定義のもとでの代数多様体間の射とは台とする局所環付き空間の間の射のことを言う（故にたとえばこの射は定義により連続になる）。 Y = A1 となる特別の場合を考えるとき、正則写像 ƒ: X → A1 は正則函数 (regular function) と呼ばれ、これは微分幾何におけるスカラー函数に対応するものである。即ち、スカラー函数が一点 x において正則 (regular) となるのは、x の適当な近傍においてそれが有理函数（つまり多項式の商）に書けて、かつその分母が x において消えていないときに限られる。正則函数環（つまり、座標環あるいはより抽象的に構造層の大域切断の環）はアフィン代数幾何において基本的対象である。一方、連結射影多様体上の正則函数は定数しかない（これは複素解析におけるリウヴィルの定理の類似とみなせる）から、射影代数幾何では（正則函数ではなくて）直線束（あるいは因子）の大域切断を考えるのが普通である。 事実として、既約代数曲線 V 上の函数体 k(V) を取ると、この函数体に属する任意の函数 F は V から k 上の射影直線への射として実現することができる。その像 F(V) は一点か、さもなくば射影直線全体である（これはの帰結である）。つまり、F が実際に定数なのでない限り、F は V のどこかの点において値が ∞ となることを認めなければならない。いま、F のそのような（値が ∞ となる）点における振る舞いは、そのほかの点におけるよりも（ある意味で）悪くはならない。つまり、∞ は射影直線上にとった無限遠点として、それはメビウス変換によってどこでも好きなところに移すことができる。しかし幾何学的な必要により、函数の終域を（射影直線ではなく）アフィン直線に限らねばならないとすれば、有限な値しかとれないので、不十分である。 上の有理函数が正則であるための必要十分条件は、それが極を持たぬことである。これはハルトークスの拡張定理の類似である。 正則写像は定義によりアフィン多様体の圏における射である。特にアフィン多様体の間の正則写像は、その座標環の間の環準同型に反変的に一対一対応する。 逆もまた正則であるような正則写像は双正則（そうせいそく、英: biregular）であるといい、代数多様体の圏における同型射である。代数多様体間の射で台となる位相空間の間の同相となるものは必ずしも同型射ではない（反例はフロベニウス射 で与えられる）。他方、f が双射双有理かつ f の終域がならば f は双正則である（参照）。 正則および双正則は非常に強い条件（射影空間上の定数でない正則函数は存在しない）から、それより弱い条件であるや双有理写像が同じくらいよく用いられる。 f が代数多様体の間の射ならば、f の像はその閉包の稠密開集合を含む（を参照）。 の間の正則写像は（複素解析的な意味での）正則写像 (holomorphic map) である（実際には少し差異があって、本項に言う代数幾何的な意味で正則 (regular) となるのは特異点が除去可能であるような有理型写像なのであるが、実用上はこの差異は無視されるのが普通）。特に、複素数平面の中への正則写像は、まさに通常の（複素解析的な意味の）正則函数に他ならない。 (ja) В алгебричній геометрії, морфізмом між алгебричними многовидами називається відображення між многовидами, що локально є многочленом. Морфізми також називають регулярними відображеннями. Морфізм із алгебричного многовида в афінну пряму називається регулярною функцією. Регулярне відображення, для якого існує обернене відображення, що теж є регулярним називається бірегулярним. Бірегулярні відображення є ізоморфізмами у категорії алгебричних многовидів. Загалом регулярність і бірегулярність є досить сильними умовами, наприклад єдиними регулярними функціями на проєктивних многовидах є константи. Тому часто при вивченні алгебричних многовидів використовують слабші властивості відображень, зокрема раціональність і біраціональність. (uk) |
| dbo:wikiPageExternalLink | http://www.jmilne.org/math/CourseNotes/ag.html https://math.stackexchange.com/q/101038 https://www.springer.com/gp/book/9780387094939%7Cedition=2nd%7Cpublisher= https://www.springer.com/gp/book/9780387977164%7Cisbn=978-1-4757-2189-8%7Cpublisher= https://www.springer.com/gp/book/9780387985497 https://mathoverflow.net/q/87350 https://link.springer.com/book/10.1007/978-3-642-37956-7 |
| dbo:wikiPageID | 24457573 (xsd:integer) |
| dbo:wikiPageLength | 25694 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1088910717 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prime_ideal dbr:Morphism_of_schemes dbr:Normal_variety dbr:Algebra_homomorphism dbr:Algebraic_function dbr:Algebraically_closed_field dbc:Algebraic_varieties dbc:Types_of_functions dbr:Holomorphic_function dbr:Resolution_of_singularities dbr:Integral_domain dbr:Integrally_closed_domain dbr:Affine_scheme dbr:Ringed_space dbr:Complex_analysis dbr:Continuous_map dbr:Generic_point dbr:Quasi-projective_variety dbr:Generic_freeness dbr:Constructible_set_(topology) dbr:Contraction_morphism dbr:Liouville's_theorem_(complex_analysis) dbr:Smooth_function dbr:Complete_variety dbr:Complex_algebraic_variety dbr:Function_field_of_an_algebraic_variety dbr:Ideal_(ring_theory) dbr:Leray_spectral_sequence dbr:Maximal_ideal dbr:Local_diffeomorphism dbr:Sheaf_of_modules dbr:Riemann–Hurwitz_formula dbr:Affine_varieties dbr:Affine_variety dbr:Algebraic_curve dbr:Algebraic_geometry dbr:Algebraic_varieties dbc:Functions_and_mappings dbr:Flat_morphism dbr:Abstract_variety dbr:Noether's_normalization_lemma dbr:Birational dbr:Isomorphism dbr:Hartogs'_extension_theorem dbr:Projective_line dbr:Projective_variety dbr:Rational_function dbr:Removable_singularity dbr:Springer_Science+Business_Media dbr:Coordinate_ring dbr:Étale_morphism dbr:Image_(mathematics) dbr:Finite_morphism dbr:Residue_field dbr:Smooth_morphism dbr:Zariski's_main_theorem dbr:Affine_line dbr:Universally_catenary_ring dbr:Upper-semicontinuous dbr:Frobenius_morphism dbr:Ring_of_regular_functions dbr:Springer-Verlag dbr:Hartshorne's_Algebraic_Geometry dbr:Polynomial_map dbr:Rational_map dbr:Springer_Verlag dbr:Smooth_variety dbr:Completeness_of_projective_varieties dbr:Holomorphic_map dbr:Irreducible_variety dbr:Subvarieties dbr:Generic_rank |
| dbp:wikiPageUsesTemplate | dbt:= dbt:Cite_book dbt:Clarify dbt:Efn dbt:Notelist dbt:Refbegin dbt:Refend dbt:Reflist dbt:See_also dbt:Sfn dbt:Pipe dbt:Math_theorem |
| dcterms:subject | dbc:Algebraic_varieties dbc:Types_of_functions dbc:Functions_and_mappings |
| gold:hypernym | dbr:Function |
| rdf:type | owl:Thing yago:WikicatManifolds yago:Abstraction100002137 yago:Artifact100021939 yago:Assortment108398773 yago:Collection107951464 yago:Conduit103089014 yago:Function113783816 yago:Group100031264 yago:Manifold103717750 yago:MathematicalRelation113783581 yago:Object100002684 yago:Passage103895293 yago:PhysicalEntity100001930 yago:Pipe103944672 yago:Relation100031921 yago:WikicatFunctionsAndMappings yago:YagoGeoEntity yago:YagoPermanentlyLocatedEntity dbo:Disease yago:Tube104493505 yago:Way104564698 yago:Whole100003553 yago:WikicatAlgebraicVarieties |
| rdfs:comment | In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function.A regular map whose inverse is also regular is called biregular, and they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well. (en) Ein Morphismus von Varietäten ist in der algebraischen Geometrie eine Abbildung von Varietäten mit bestimmten Regularitätseigenschaften. Ein Morphismus affiner Varietäten ist eine polynomiale Abbildung. Morphismen affiner Varietäten entsprechen eindeutig Homomorphismen ihrer Koordinatenringe. Die Definition kann auf quasiaffine, projektive und quasiprojektive Varietäten verallgemeinert werden, indem man Morphismen mit Hilfe regulärer Funktionen lokal definiert. Morphismen abstrakter Varietäten sind lokale Garbenmorphismen. (de) 代数幾何学においてアフィン多様体の間の写像が正則写像（せいそくしゃぞう、英: regular map）であるとは、それが多項式によって与えられることを言う。陽に書けば、X, Y がそれぞれアフィン多様体 An, Am の（あるいは代数的集合）であるとき、X から Y への正則写像 f は、各 fi が座標環 k[x1, …, xn]/I（I は X を定義するイデアル）に属するものとして、 なる形に書ける。ゆえに像 f(X) は Y に含まれる（つまり、Y の定義方程式を満たす）。 より一般に、抽象代数多様体間の写像 ƒ: X → Y が一点 x において正則 (regular at a point x)とは、x の近傍 U と f(x) の近傍 V が存在して、制限写像 ƒ: U → V が U と V との 上の写像として正則となることを言う。さらに ƒ が X の任意の点において正則であるとき、ƒ は正則 (regular) であるという。 上の有理函数が正則であるための必要十分条件は、それが極を持たぬことである。これはハルトークスの拡張定理の類似である。 正則写像は定義によりアフィン多様体の圏における射である。特にアフィン多様体の間の正則写像は、その座標環の間の環準同型に反変的に一対一対応する。 f が代数多様体の間の射ならば、f の像はその閉包の稠密開集合を含む（を参照）。 (ja) В алгебричній геометрії, морфізмом між алгебричними многовидами називається відображення між многовидами, що локально є многочленом. Морфізми також називають регулярними відображеннями. Морфізм із алгебричного многовида в афінну пряму називається регулярною функцією. (uk) |
| rdfs:label | Morphismus (Varietät) (de) 多様体の射 (ja) Morphism of algebraic varieties (en) Морфізм алгебричних многовидів (uk) |
| rdfs:seeAlso | dbr:Morphism_of_schemes dbr:Degree_of_a_continuous_mapping dbr:Zariski's_connectedness_theorem |
| owl:sameAs | freebase:Morphism of algebraic varieties yago-res:Morphism of algebraic varieties wikidata:Morphism of algebraic varieties dbpedia-de:Morphism of algebraic varieties dbpedia-fa:Morphism of algebraic varieties dbpedia-ja:Morphism of algebraic varieties dbpedia-uk:Morphism of algebraic varieties https://global.dbpedia.org/id/4tqQJ |
| prov:wasDerivedFrom | wikipedia-en:Morphism_of_algebraic_varieties?oldid=1088910717&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Morphism_of_algebraic_varieties |
| is dbo:wikiPageRedirects of | dbr:Degree_of_a_finite_morphism dbr:Regular_function dbr:Regular_map_(algebraic_geometry) dbr:Biregular dbr:Dominant_morphism dbr:Morphism_of_varieties dbr:Regular_functions dbr:Regular_map_of_varieties dbr:Biregular_map |
| is dbo:wikiPageWikiLink of | dbr:Projective_space dbr:Morphism_of_schemes dbr:Glossary_of_algebraic_geometry dbr:Algebraic_geometry dbr:Ample_line_bundle dbr:Degree_of_a_finite_morphism dbr:Regular_function dbr:Regular_map_(algebraic_geometry) dbr:Tensor_product dbr:Biregular dbr:Automorphic_form dbr:Dominant_morphism dbr:List_of_unsolved_problems_in_mathematics dbr:Prym_variety dbr:Polynomial_mapping dbr:Morphism_of_varieties dbr:Regular_functions dbr:Regular_map_of_varieties dbr:Biregular_map |
| is foaf:primaryTopic of | wikipedia-en:Morphism_of_algebraic_varieties |