Homogeneous Coordinate Ring

Total Page:16

File Type:pdf, Size:1020Kb

Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Homogeneous Coordinate Ring Students: Tien Mai Nguyen, Bin Nguyen Kaiserslautern University Algebraic Group June 14, 2013 Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Outline 1 Quotients in Algebraic Geometry 2 Quotient Construction of Toric Varieties 3 The Total Coordinate Ring 4 Toric Varieties via Polytopes Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Outline 1 Quotients in Algebraic Geometry 2 Quotient Construction of Toric Varieties 3 The Total Coordinate Ring 4 Toric Varieties via Polytopes Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Definition Let G be a group acting on a variety X = Spec(R), R is a K-algebra. Then the following map G × R −! R (g; f ) 7−! g:f defined by (g:f )(x) = f (g −1:x) for all x 2 X is an action of G on R. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Remark: a) The group acting as above is induced by the group acting of G on X . b) The above acting gives two objects, namely the set G-orbits X =G = fG:xjx 2 X g and the ring of invariants RG = ff 2 Rjg:f = f ; for all g 2 Gg. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Definition Let G act on X and let π : X −! Y be morphism that is constant on G-orbits. Then π is called a good categorical quotient if: a) If U ⊂ Y is open, then the natural map −1 OY (U) ! OX (π (U)) induces an isomorphism −1 G OY (U) ' OX (π (U)) : b) If W ⊆ X is closed and G-invariant, then π(W ) ⊆ Y is closed. c) If W1; W2 are closed, disjoint, and G-invariant in X , then π(W1) and π(W2) are disjoint in Y . We often write a good categorical quotient as π : X −! X ==G. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Theorem: Let π : X ! X ==G be a good categorical quotient. Then: a) Given any diagram where φ is a morphism of varieties such that φ(g:x) = φ(x) for g 2 G and x 2 X , there is unique morphism φ making the diagram commute, i.e., φ ◦ π = φ. b) π is surjective. c) A subset U ⊆ X ==G is open iff π−1(U) ⊆ X is open. d) x; y 2 X , we have π(x) = π(y) , G:x \ G:y 6= ;. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Definition a) A subgroup G of GLn(C) is called an affine algebraic group if G is a subvariety of GLn(C). b) Let G be an affine algebraic group acting on a variety X . The G-action is called algebraic action if the action G × X −! X (g; x) 7−! g:x defines a morphism. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Proposition Let an affine algebraic group G act algebraically on a variety X , and assume that a good categorical quotient π : X −! X ==G. Then: a) If p 2 X ==G, then π−1(p) contains a unique closed G-orbit. b) π induces a bijection fclosed G-orbits in X g ' X ==G. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Proposition Let π : X −! X ==G be a good categorical quotient. Then the following are equivalent: a) All G-orbits are closed in X . b) Given x; y 2 X , we have π(x) = π(y) () x and y lie in the same G-orbit. c) π induces a bijection fG-orbits in X g ' X ==G. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Definition A good categorical quotient is called a good geometric quotient if it satisfies the condition of the above proposition. We write a good geometric quotient as π : X ! X =G. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Definition An affine algebraic group G is called reductive if its maximal connected solvable subgroup is a torus. Proposition Let G be a reductive group acting algebraically on an affine variety X = Spec(R). Then G a)R is a finely generated C-algebra. b) The morphism π : X −! Spec(RG ) induced by RG ⊆ R is a good categorical quotient. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Proposition Let G act on X and let π : X ! Y be a morphism of varieties that is constant on G-orbits. If Y has an open cover Y = [αVα such that −1 −1 πjπ (Vα) : π (Vα) −! Vα is a good categorical quotient for every α, then π : X −! Y is a good categorical quotient. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes ∗ 2 Example: Let C act on C nf0g by scalar multiplication, where 2 2 C = Spec(C[x0; x1]). Then C nf0g = U0 [ U1, where 2 ±1 U0 = C nV (x0) = Spec(C[x0 ; x1]) 2 ±1 U1 = C nV (x1) = Spec(C[x0; x1 ]) 2 ±1 ±1 U0 \ U1 = C nV (x0x1) = Spec(C[x0 ; x1 ]) The rings of invariants are ∗ ±1 C C[x0 ; x1] = C[x1=x0] ∗ ±1 C C[x0; x1 ] = C[x0=x1] ∗ ±1 ±1 C ±1 C[x0 ; x1 ] = C[(x1=x0) ] Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes ∗ It follows that the Vi = Ui ==C glue together in the usual way to 1 ∗ 2 create P . Since C -orbits are closed in C nf0g, it follows that 1 2 ∗ P = (C nf0g)=C is a good geometric quotient. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Outline 1 Quotients in Algebraic Geometry 2 Quotient Construction of Toric Varieties 3 The Total Coordinate Ring 4 Toric Varieties via Polytopes Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Let XΣ be the toric variety of a fan Σ in NR. The goal is to construct XΣ as a good categorical quotient r XΣ ' (C nZ)==G r r for an appropriate of affine space C , exceptional set Z ⊆ C , and reductive group G. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Definition Let XΣ be the toric variety of fan Σ in N(R). Assume that XΣ has no torus factor. We define ∗ G = HomZ(Cl(XΣ); C ) where Cl (X ) = Div (XΣ)/ . Σ Div0 (XΣ) Remark: By the above definition, we have the following short exact sequence of affine algebraic group ∗ Σ(1) 1 −! G −! (C ) −! TN −! 1: Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes Lemma Let G be as in the above definition. Then: a) Cl(XΣ) is the character group of G. b) G is isomorphic to a product of a torus and a finite Abelian group. In particular, G is reductive. c) Give a basis e1; :::; en of M. We have ∗ Σ(1) Y hm;uρi G = f(tρ) 2 (C ) j tρ = 1 for all m 2 Mg ρ ∗ Σ(1) Y hei ;uρi = f(tρ) 2 (C ) j tρ = 1 for 1 ≤ i ≤ ng: ρ Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes n Example: The ray generators of the fan for P are n X u0 = − ei ; u1 = e1; :::; un = en: i=1 ∗ n+1 By the above lemma, (t0; :::; tn) 2 (C ) lies in G if and only if hm;−e1−:::−eni hm;e1i hm;eni t0 t1 :::tn = 1 n for all m 2 M = Z . Taking m equal to e1; :::; en, we see that G is defined by −1 −1 t0 t1 = ::: = t0 tn: Thus ∗ ∗ G = f(λ, :::; λ)jλ 2 C g ' C ; ∗ n+1 which is the action of C on C given by scalar multiplication. Tien Mai Nguyen, Bin Nguyen Homogeneous Coordinate Ring Quotients in Algebraic Geometry Quotient Construction of Toric Varieties The Total Coordinate Ring Toric Varieties via Polytopes 1 1 Example: The fan for P × P has ray generators 2 u1 = e1; u2 = −e1; u3 = e2; u4 = −e2 in N = Z .
Recommended publications
  • BAST1986050004005.Pdf
    BASTERIA, 50: 93-150, 1986 Alphabetical revision of the (sub)species in recent Conidae. 9. ebraeus to extraordinarius with the description of Conus elegans ramalhoi, nov. subspecies H.E. Coomans R.G. Moolenbeek& E. Wils Institute of Taxonomic Zoology (Zoological Museum) University of Amsterdam INTRODUCTION In this ninth part of the revision all names of recent Conus taxa beginning with the letter e are discussed. Amongst these are several nominal species of tent-cones with a C.of close-set lines, the shell a darker pattern consisting very giving appearance (e.g. C. C. The elisae, euetrios, eumitus). phenomenon was also mentioned for C. castaneo- fasciatus, C. cholmondeleyi and C. dactylosus in former issues. This occurs in populations where with normal also that consider them specimens a tent-pattern are found, so we as colour formae. The effect is known shells in which of white opposite too, areas are present, leaving 'islands' with the tent-pattern (e.g. C. bitleri, C. castrensis, C. concatenatus and C. episco- These colour formae. patus). are also art. Because of a change in the rules of the ICZN (3rd edition, 1985: 73-74), there has risen a disagreement about the concept of the "type series". In cases where a museum type-lot consists of more than one specimen, although the original author(s) did not indicate that more than one shell was used for the description, we will designate the single originally mentioned and/or figured specimen as the "lectotype". Never- theless a number of taxonomists will consider that "lectotype" as the holotype, and disregard the remaining shells in the lot as type material.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY, CLASS 25 Contents 1
    INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 25 RAVI VAKIL Contents 1. The genus of a nonsingular projective curve 1 2. The Riemann-Roch Theorem with Applications but No Proof 2 2.1. A criterion for closed immersions 3 3. Recap of course 6 PS10 back today; PS11 due today. PS12 due Monday December 13. 1. The genus of a nonsingular projective curve The definition I’m going to give you isn’t the one people would typically start with. I prefer to introduce this one here, because it is more easily computable. Definition. The tentative genus of a nonsingular projective curve C is given by 1 − deg ΩC =2g 2. Fact (from Riemann-Roch, later). g is always a nonnegative integer, i.e. deg K = −2, 0, 2,.... Complex picture: Riemann-surface with g “holes”. Examples. Hence P1 has genus 0, smooth plane cubics have genus 1, etc. Exercise: Hyperelliptic curves. Suppose f(x0,x1) is a polynomial of homo- geneous degree n where n is even. Let C0 be the affine plane curve given by 2 y = f(1,x1), with the generically 2-to-1 cover C0 → U0.LetC1be the affine 2 plane curve given by z = f(x0, 1), with the generically 2-to-1 cover C1 → U1. Check that C0 and C1 are nonsingular. Show that you can glue together C0 and C1 (and the double covers) so as to give a double cover C → P1. (For computational convenience, you may assume that neither [0; 1] nor [1; 0] are zeros of f.) What goes wrong if n is odd? Show that the tentative genus of C is n/2 − 1.(Thisisa special case of the Riemann-Hurwitz formula.) This provides examples of curves of any genus.
    [Show full text]
  • X(V, M) = Dim Lm + 1 LEMMA 1. a Specialization of The
    34 MA THEMA TICS: J. IGUSA PROC. N. A. S. 4R.Bellman, Dynamic Programming and ContinuousProcesses (RAND Monograph R-271, 1954). 5R. Bellman, "Dynamic Programming and a New Formalism in the Calculus of Variations," these PROCEEDINGS, 40, 231-235, 1954. 6 R. Bellman, "Monotone Convergence in Dynamic Programming and the Calculus of Vari- ations," ibid., (these PROCEEDINGS, 40, 1073-1075, 1954). 7 E. Hille, Functional Analysis and Semi-groups ("American Mathematical Society Colloquium Publications," Vol. XXXI [1948]). 8 Cf. ibid., p. 71. 9 Ibid., p. 388. 10 V. Volterra, Leqons sur les fonctions des lignes (Paris: Gauthier-Villars, 1913). ARITHMETIC GENERA OF NORMAL VARIETIES IN AN ALGEBRAIC FAMILY* BY JUN-ICHI IGUSA DEPARTMENT OF MATHEMATICS, HARVARD UNIVERSITY, AND KYOTO UNIVERSITY, JAPAN Communicated by Oscar Zariski, October 28, 1954 It is well known that linear equivalence of divisors on a fixed ambient variety is preserved by specialization.' In this paper we shall show that the above assertion remains valid even when the ambient variety varies under specialization. This fact will be used as a lemma in our later paper. Here we shall derive the following theorem as an immediate consequence. If a normal variety V' is a specialization of a positive cycle V, then V is also a normal variety, and they have the same arith- metic genus. In the case of curves this assertion was proved by Chow and Nakai,2 and in our proof we shall use some of their ideas. We note also that a slightly less general result was proved in the classical case by Spencer and Kodaira quite recently.3 Let yr be a variety of dimension r in a projective space L'.
    [Show full text]
  • Applications of the Hyperbolic Ax-Schanuel Conjecture
    Applications of the hyperbolic Ax-Schanuel conjecture Christopher Daw Jinbo Ren Abstract In 2014, Pila and Tsimerman gave a proof of the Ax-Schanuel conjecture for the j- function and, with Mok, have recently announced a proof of its generalization to any (pure) Shimura variety. We refer to this generalization as the hyperbolic Ax-Schanuel conjecture. In this article, we show that the hyperbolic Ax-Schanuel conjecture can be used to reduce the Zilber-Pink conjecture for Shimura varieties to a problem of point counting. We further show that this point counting problem can be tackled in a number of cases using the Pila- Wilkie counting theorem and several arithmetic conjectures. Our methods are inspired by previous applications of the Pila-Zannier method and, in particular, the recent proof by Habegger and Pila of the Zilber-Pink conjecture for curves in abelian varieties. 2010 Mathematics Subject Classification: 11G18, 14G35 Keywords: hyperbolic Ax-Schanuel conjecture, Zilber-Pink conjecture, Shimura varieties Contents 1 Introduction 2 2 Special and weakly special subvarieties 5 3 The Zilber-Pink conjecture 7 4 The defect condition 8 5 The hyperbolic Ax-Schanuel conjecture 10 6 A finiteness result for weakly optimal subvarieties 13 7 Anomalous subvarieties 20 arXiv:1703.08967v5 [math.NT] 11 Oct 2018 8 Main results (part 1): Reductions to point counting 23 9 The counting theorem 25 10 Complexity 26 11 Galois orbits 27 12 Further arithmetic hypotheses 29 13 Products of modular curves 31 14 Main results (part 2): Conditional solutions to the counting problems 35 1 15 A brief note on special anomalous subvarieties 40 References 44 1 Introduction The Ax-Schanuel theorem [2] is a result regarding the transcendence degrees of fields generated over the complex numbers by power series and their exponentials.
    [Show full text]
  • Package 'Rgbif'
    Package ‘rgbif’ January 21, 2017 Title Interface to the Global 'Biodiversity' Information Facility 'API' Description A programmatic interface to the Web Service methods provided by the Global Biodiversity Information Facility ('GBIF'; <http://www.gbif.org/developer/summary>). 'GBIF' is a database of species occurrence records from sources all over the globe. 'rgbif' includes functions for searching for taxonomic names, retrieving information on data providers, getting species occurrence records, and getting counts of occurrence records. Version 0.9.7 License MIT + file LICENSE URL https://github.com/ropensci/rgbif BugReports https://github.com/ropensci/rgbif/issues LazyData true LazyLoad true VignetteBuilder knitr Imports utils, stats, xml2, ggplot2, httr (>= 1.0.0), data.table, whisker, magrittr, jsonlite (>= 0.9.16), V8, oai (>= 0.2.2), geoaxe, tibble Suggests testthat, knitr, reshape2, maps, sp, rgeos RoxygenNote 5.0.1 NeedsCompilation no Author Scott Chamberlain [aut, cre], Vijay Barve [ctb], Dan Mcglinn [ctb] Maintainer Scott Chamberlain <[email protected]> Repository CRAN Date/Publication 2017-01-21 01:27:16 1 2 R topics documented: R topics documented: rgbif-package . .3 check_wkt . .4 count_facet . .4 datasets . .6 dataset_metrics . .7 dataset_search . .8 dataset_suggest . 10 downloads . 12 elevation . 13 enumeration . 14 gbifmap . 15 gbif_bbox2wkt . 16 gbif_citation . 17 gbif_issues . 19 gbif_names . 19 gbif_oai . 20 gbif_photos . 22 installations . 23 isocodes . 24 name_backbone . 25 name_lookup . 26 name_suggest . 30 name_usage . 31 networks . 33 nodes . 35 occ_count . 37 occ_data . 40 occ_download . 53 occ_download_cancel . 56 occ_download_get . 57 occ_download_import . 58 occ_download_list . 59 occ_download_meta . 60 occ_facet . 60 occ_fields . 61 occ_get . 62 occ_issues . 63 occ_issues_lookup . 64 occ_metadata . 65 occ_search . 66 occ_spellcheck . 82 organizations . 83 parsenames . 84 read_wkt .
    [Show full text]
  • Package 'Binomen'
    Package ‘binomen’ August 29, 2016 Title 'Taxonomic' Specification and Parsing Methods Description Includes functions for working with taxonomic data, including functions for combining, separating, and filtering taxonomic groups by any rank or name. Allows standard (SE) and non-standard evaluation (NSE). Version 0.1.0 License MIT + file LICENSE URL https://github.com/ropensci/binomen BugReports https://github.com/ropensci/binomen/issues LazyLoad yes LazyData yes VignetteBuilder knitr Imports methods, stats, jsonlite, lazyeval, dplyr Suggests testthat, knitr, taxize RoxygenNote 5.0.1 NeedsCompilation no Author Scott Chamberlain [aut, cre] Maintainer Scott Chamberlain <[email protected]> Repository CRAN Date/Publication 2015-12-07 22:17:54 R topics documented: binomen-package . .2 binomial . .3 gethier . .3 grouping . .4 make_taxon . .6 make_taxon_fromclass . .7 parts . .7 1 2 binomen-package pick .............................................9 pop ............................................. 10 rank_table . 11 scatter . 11 span............................................. 12 strain . 13 taxa ............................................. 14 taxon . 14 taxonref . 15 taxonrefs . 16 taxon_classes . 16 taxon_df . 17 Index 18 binomen-package Taxonomic class specification and parsing methods Description Taxonomic class specification and parsing methods Author(s) Scott Chamberlain <[email protected]> Examples library("binomen") # operating on `taxon` objects out <- make_taxon(genus="Poa", epithet="annua", authority="L.", family='Poaceae',
    [Show full text]
  • (Sarracenia) Provide a 21St-Century Perspective on Infraspecific Ranks and Interspecific Hybrids: a Modest Proposal* for Appropriate Recognition and Usage
    Systematic Botany (2014), 39(3) © Copyright 2014 by the American Society of Plant Taxonomists DOI 10.1600/036364414X681473 Date of publication 05/27/2014 Pitcher Plants (Sarracenia) Provide a 21st-Century Perspective on Infraspecific Ranks and Interspecific Hybrids: A Modest Proposal* for Appropriate Recognition and Usage Aaron M. Ellison,1,5 Charles C. Davis,2 Patrick J. Calie,3 and Robert F. C. Naczi4 1Harvard University, Harvard Forest, 324 North Main Street, Petersham, Massachusetts 01366, U. S. A. 2Harvard University Herbaria, Department of Organismic and Evolutionary Biology, 22 Divinity Avenue, Cambridge, Massachusetts 02138, U. S. A. 3Eastern Kentucky University, Department of Biological Sciences, 521 Lancaster Avenue, Richmond, Kentucky 40475, U. S. A. 4The New York Botanical Garden, 2900 Southern Boulevard, Bronx, New York 10458, U. S. A. 5Author for correspondence ([email protected]) Communicating Editor: Chuck Bell Abstract—The taxonomic use of infraspecific ranks (subspecies, variety, subvariety, form, and subform), and the formal recognition of interspecific hybrid taxa, is permitted by the International Code of Nomenclature for algae, fungi, and plants. However, considerable confusion regarding the biological and systematic merits is caused by current practice in the use of infraspecific ranks, which obscures the meaningful variability on which natural selection operates, and by the formal recognition of those interspecific hybrids that lack the potential for inter-lineage gene flow. These issues also may have pragmatic and legal consequences, especially regarding the legal delimitation and management of threatened and endangered species. A detailed comparison of three contemporary floras highlights the degree to which infraspecific and interspecific variation are treated inconsistently.
    [Show full text]
  • SOS Glossary
    Seeds of Success: Glossary Alt. Collection Number – A secondary identification number representing a code assigned by another institution. It may represent another organization or individual involved in the collection, a batch number or other numbering system previously employed by the current institution, e.g. MSB378585, CH-101, 2014-16. Approx. Area of Population – The amount of land the collection’s population covers. Approx. No. of Individual Plants Present and Accessible – The total number of plants in the population with collectable seed. Area Sampled – In acres, the size of the area in which the collection was made. Since collections should be made from the entire population, this number should be very close to the actual population size. Area within Subunit - The geographic area where the collection was made. Geographic areas are physical or logical areas that transcend the geopolitical areas defined in the State, County, Subunit fields. These may include mountain ranges, river valleys, or trail names, e.g. Marigold Trail, Red Rocks Canyon, Maroon Bells. Aspect – The direction of the slope where the collection was made, measured with a compass, e.g. NW. Associated Species – Scientific names for all plants found coexisting with the collected species, e.g. Salix sp., Hordeum jubatum, and Polygonum alpinum. Collector Code – BLM field office or institutional code assigned to your collection team by the SOS National Coordinating Office, e.g. AK930, NCBG or CP2. Collector Name(s) – Names of active participants in seed collection, entered as last name, first initial, e.g. Dawson, C., Howard, M., Haidet, M. Common Name(s) – The vernacular or trade name(s) of the collected species, e.g.
    [Show full text]
  • Descent Theory
    CHAPTER 16 Descent Theory Consider fields k ˝. A variety V over k defines a variety V˝ over ˝ by extension of the base field. Descent theory attempts to answer the following question: what additional structure do you need to place on a variety over ˝, or regular map of varieties over ˝, to ensure that it comes from k? In this chapter, we shall make free use of the axiom of choice (usually in the form of Zorn’s lemma). a Models Let ˝ k be fields, and let V be a variety over ˝. Recall that a model of V over k (or a k-structure on V ) is a variety V0 over k together with an isomorphism ' V V0˝ (Chapter W ! 11). Recall also that a variety over ˝ need not have a model over k, and when it does it typically will have many nonisomorphic models. n Consider an affine variety. An embedding V, A˝ defines a model of V over k if I.V / ! def is generated by polynomials in kŒX1;:::;Xn, because then I0 I.V / kŒX1;:::;Xn is D \n a radical ideal, kŒX1;:::;Xn=I0 is an affine k-algebra, and V .I0/ A is a model of V . k Moreover, every model .V0;'/ arises in this way, because every model of an affine variety is affine. However, different embeddings in affine space will usually give rise to different models. Similar remarks apply to projective varieties. Note that the condition that I.V / be generated by polynomials in kŒX1;:::;Xn is stronger than asking that V be the zero set of some polynomials in kŒX1;:::;Xn.
    [Show full text]
  • Botanical Classification and Nomenclature an Introduction —
    Botanical classification and nomenclature an introduction — Marc S.M. Sosef Jérôme Degreef Henry Engledow Pierre Meerts Botanical classification and nomenclature an introduction — Marc S.M. Sosef Jérôme Degreef Henry Engledow Pierre Meerts by Marc S.M. Sosef1, Jérôme Degreef1,2, Henry Engledow1 & Pierre Meerts3 1 Meise Botanic Garden, Nieuwelaan 38, B-1860 Meise, Belgium 2 Service Général de l’Enseignement supérieur et de la Recherche scientifique, Fédération Wallonie-Bruxelles, Rue A. Lavallée 1, B-1080 Brussels, Belgium 3 Herbarium et bibliothèque de botanique africaine, Université Libre de Bruxelles, Av. F.D. Roosevelt 50, CP 265, B-1050 Brussels, Belgium Copyright © 2020 Meise Botanic Garden, Nieuwelaan 38, 1860 Meise, Belgium. Printed in Belgium by Gewadrupo, Arendonk. This publication is published and distributed in Open Access under the Creative Commons Attribution 4.0 International license (CC-BY 4.0), which permits use, distribution, and reproduction in any medium, provided the original work is properly cited. A PDF file of this publication can be ordered, free of charge (send an email to [email protected]), or downloaded from the webshop of Meise Botanic Garden at http://shopbotanicgarden.weezbe.com. DOI: 10.5281/zenodo.3706707 CIP Royal Library Albert I, Brussels Botanical classification and nomenclature, an introduction. Marc S.M. Sosef, Jérôme Degreef, Henry Engledow & Pierre Meerts - Meise, Meise Botanic Garden, 2020. - 72 p.; ill.; 22 x 15 cm. ISBN 9789492663207 Subject: Botany D/2020/0325/002 Content Introduction . 5 1. The history of classification . 9 1.1 Theophrastus to the Middle Ages . 11 1.2 Renaissance, Pre-Linnean period . 13 1.3 Linnaeus and the Linnaeans .
    [Show full text]
  • Package 'Rgbif'
    Package ‘rgbif’ November 25, 2015 Title Interface to the Global 'Biodiversity' Information Facility 'API' Description A programmatic interface to the Web Service methods provided by the Global Biodiversity Information Facility ('GBIF'). 'GBIF' is a database of species occurrence records from sources all over the globe. 'rgbif' includes functions for searching for taxonomic names, retrieving information on data providers, getting species occurrence records, and getting counts of occurrence records. Version 0.9.0 License MIT + file LICENSE URL https://github.com/ropensci/rgbif BugReports https://github.com/ropensci/rgbif/issues LazyData true VignetteBuilder knitr Imports methods, utils, stats, XML, ggplot2, httr (>= 1.0.0), data.table, whisker, magrittr, jsonlite (>= 0.9.16), V8, oai Suggests roxygen2, testthat, knitr, reshape2, maps RoxygenNote 5.0.1 NeedsCompilation no Author Scott Chamberlain [aut, cre], Karthik Ram [aut], Vijay Barve [aut], Dan Mcglinn [aut] Maintainer Scott Chamberlain <[email protected]> Repository CRAN Date/Publication 2015-11-25 08:54:32 1 2 R topics documented: R topics documented: rgbif-package . .3 check_wkt . .4 count_facet . .4 datasets . .5 dataset_metrics . .7 dataset_search . .7 dataset_suggest . 10 downloads . 12 elevation . 13 enumeration . 14 gbifmap . 15 gbif_bbox2wkt . 16 gbif_citation . 17 gbif_issues . 19 gbif_names . 19 gbif_oai . 20 gbif_photos . 22 installations . 22 isocodes . 24 name_backbone . 24 name_lookup . 26 name_suggest . 30 name_usage . 31 networks . 33 nodes . 35 occ_count . 37 occ_download . 38 occ_download_cancel . 40 occ_download_get . 41 occ_download_import . 42 occ_download_list . 43 occ_download_meta . 44 occ_fields . 44 occ_get . 44 occ_issues . 46 occ_issues_lookup . 47 occ_metadata . 48 occ_search . 49 organizations . 59 parsenames . 60 read_wkt . 61 rgbif-defunct . 62 rgb_country_codes . 63 taxrank . 63 typestatus . 63 Index 64 rgbif-package 3 rgbif-package Interface to the Global Biodiversity Information Facility API.
    [Show full text]
  • Nomenclature and Taxonomy
    c01.qxd 8/18/03 4:06 PM Page 5 1 NOMENCLATURE AND TAXONOMY Nomenclature (Scientific ● Common) When casually discussing nature, whether verbally or in print, we typi- cally use pretty informal language. Simple, everyday terms for plants and animals are more than adequate for expressing ourselves. We do not talk about Malus and Citrus sinensis (taxonomic terms) when referring to apples and oranges because it is simply not effective communication. However, we do use such terms when we want to make specific scientific distinctions—say, between the prairie crab apple, which botanists identify as Malus ioensis, and the sweet crab apple, which they have designated Malus coronaria. Because this book deals with differences, many of them technical and somewhat detailed, the reader will encounter quite a few such scientific names, some of which may appear not only needlessly elaborate but also virtually unpronounceable—although nothing as tongue twisting as Paracoccidioides brasilensis, a lung-infecting fungus, or Brachyta inter- rogationis interrogationis var. nigrohumeralisscutellohumeroconjuncta, a longhorn beetle. As for pronunciation, unless one really feels that the word will be used in conversation, there is no need to be concerned with “getting it right.” But why does science eschew common names and instead encumber itself with such a seemingly inexplicable vocabulary? Because, in part, “common” does not necessarily mean “universal.” What may be an organism’s common name in one part of the country may be quite dif- ferent in another, making any initial exchange of information suspect. For example, in the Midwest the thirteen-lined ground squirrel (Spermophilus tridecemlineatus) is commonly, but mistakenly, called a gopher, which is 5 c01.qxd 8/18/03 4:06 PM Page 6 6 This Is Not a Weasel really the rightful name of a much larger rodent (Geomys bursarius).
    [Show full text]