Arxiv:1907.13536V4 [Math.AG]
Total Page:16
File Type:pdf, Size:1020Kb
Load more
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. -
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. -
Boundary and Shape of Cohen-Macaulay Cone
BOUNDARY AND SHAPE OF COHEN-MACAULAY CONE HAILONG DAO AND KAZUHIKO KURANO Abstract. Let R be a Cohen-Macaulay local domain. In this paper we study the cone of Cohen-Macaulay modules inside the Grothendieck group of finitely generated R-modules modulo numerical equivalences, introduced in [3]. We prove a result about the boundary of this cone for Cohen-Macaulay domain admitting de Jong’s alterations, and use it to derive some corollaries on finite- ness of isomorphism classes of maximal Cohen-Macaulay ideals. Finally, we explicitly compute the Cohen-Macaulay cone for certain isolated hypersurface singularities defined by ξη − f(x1; : : : ; xn). 1. Introduction Let R be a Noetherian local ring and G0(R) the Grothendieck group of finitely generated R-modules. Using Euler characteristic of perfect complexes with finite length homologies (a generalized version of Serre’s intersection multiplicity pair- ings), one could define the notion of numerical equivalence on G0(R) as in [17]. See Section 2 for precise definitions. When R is the local ring at the vertex of an affine cone over a smooth projective variety X, this notion can be deeply related to that of numerical equivalences on the Chow group of X as in [17] and [20]. Let G0(R) be the Grothendieck group of R modulo numerical equivalences. A simple result in homological algebra tells us that if M is maximal Cohen- Macaulay (MCM), the Euler characteristic function will always be positive. Thus, maximal Cohen-Macaulay modules all survive in G0(R), and it makes sense to talk about the cone of Cohen-Macaulay modules inside G (R) : 0 R X C (R) = [M] ⊂ G (R) : CM R≥0 0 R M:MCM The definition of this cone and some of its basic properties was given in [3]. -
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'. -
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. -
Foundations of Algebraic Geometry Class 13
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 13 RAVI VAKIL CONTENTS 1. Some types of morphisms: quasicompact and quasiseparated; open immersion; affine, finite, closed immersion; locally closed immersion 1 2. Constructions related to “smallest closed subschemes”: scheme-theoretic image, scheme-theoretic closure, induced reduced subscheme, and the reduction of a scheme 12 3. More finiteness conditions on morphisms: (locally) of finite type, quasifinite, (locally) of finite presentation 16 We now define a bunch of types of morphisms. (These notes include some topics dis- cussed the previous class.) 1. SOME TYPES OF MORPHISMS: QUASICOMPACT AND QUASISEPARATED; OPEN IMMERSION; AFFINE, FINITE, CLOSED IMMERSION; LOCALLY CLOSED IMMERSION In this section, we'll give some analogues of open subsets, closed subsets, and locally closed subsets. This will also give us an excuse to define affine and finite morphisms (closed immersions are a special case). It will also give us an excuse to define some im- portant special closed immersions, in the next section. In section after that, we'll define some more types of morphisms. 1.1. Quasicompact and quasiseparated morphisms. A morphism f : X Y is quasicompact if for every open affine subset U of Y, f-1(U) is quasicompact. Equivalently! , the preimage of any quasicompact open subset is quasicom- pact. We will like this notion because (i) we know how to take the maximum of a finite set of numbers, and (ii) most reasonable schemes will be quasicompact. 1.A. EASY EXERCISE. Show that the composition of two quasicompact morphisms is quasicompact. 1.B. EXERCISE. Show that any morphism from a Noetherian scheme is quasicompact. -
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 . -
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', -
(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. -
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. -
Math 632: Algebraic Geometry Ii Cohomology on Algebraic Varieties
MATH 632: ALGEBRAIC GEOMETRY II COHOMOLOGY ON ALGEBRAIC VARIETIES LECTURES BY PROF. MIRCEA MUSTA¸TA;˘ NOTES BY ALEKSANDER HORAWA These are notes from Math 632: Algebraic geometry II taught by Professor Mircea Musta¸t˘a in Winter 2018, LATEX'ed by Aleksander Horawa (who is the only person responsible for any mistakes that may be found in them). This version is from May 24, 2018. Check for the latest version of these notes at http://www-personal.umich.edu/~ahorawa/index.html If you find any typos or mistakes, please let me know at [email protected]. The problem sets, homeworks, and official notes can be found on the course website: http://www-personal.umich.edu/~mmustata/632-2018.html This course is a continuation of Math 631: Algebraic Geometry I. We will assume the material of that course and use the results without specific references. For notes from the classes (similar to these), see: http://www-personal.umich.edu/~ahorawa/math_631.pdf and for the official lecture notes, see: http://www-personal.umich.edu/~mmustata/ag-1213-2017.pdf The focus of the previous part of the course was on algebraic varieties and it will continue this course. Algebraic varieties are closer to geometric intuition than schemes and understanding them well should make learning schemes later easy. The focus will be placed on sheaves, technical tools such as cohomology, and their applications. Date: May 24, 2018. 1 2 MIRCEA MUSTA¸TA˘ Contents 1. Sheaves3 1.1. Quasicoherent and coherent sheaves on algebraic varieties3 1.2. Locally free sheaves8 1.3. -
Relative Affine Schemes
Relative Affine Schemes Daniel Murfet October 5, 2006 The fundamental Spec(−) construction associates an affine scheme to any ring. In this note we study the relative version of this construction, which associates a scheme to any sheaf of algebras. The contents of this note are roughly EGA II §1.2, §1.3. Contents 1 Affine Morphisms 1 2 The Spec Construction 4 3 The Sheaf Associated to a Module 8 1 Affine Morphisms Definition 1. Let f : X −→ Y be a morphism of schemes. Then we say f is an affine morphism or that X is affine over Y , if there is a nonempty open cover {Vα}α∈Λ of Y by open affine subsets −1 Vα such that for every α, f Vα is also affine. If X is empty (in particular if Y is empty) then f is affine. Any morphism of affine schemes is affine. Any isomorphism is affine, and the affine property is stable under composition with isomorphisms on either end. Example 1. Any closed immersion X −→ Y is an affine morphism by our solution to (Ex 4.3). Remark 1. A scheme X affine over S is not necessarily affine (for example X = S) and if an affine scheme X is an S-scheme, it is not necessarily affine over S. However, if S is separated then an S-scheme X which is affine is affine over S. Lemma 1. An affine morphism is quasi-compact and separated. Any finite morphism is affine. Proof. Let f : X −→ Y be affine. Then f is separated since any morphism of affine schemes is separated, and the separatedness condition is local.