Arithmetic Dynamics, Arithmetic Geometry, and Number Theory Joseph H

Total Page:16

File Type:pdf, Size:1020Kb

Arithmetic Dynamics, Arithmetic Geometry, and Number Theory Joseph H Arithmetic Dynamics, Arithmetic Geometry, and Number Theory Joseph H. Silverman Brown University MAGNTS (Midwest Arithmetic Geometry and Number Theory Series) October 12{13, 2019 0 Arithmetic Dynamics and Arithmetic Geometry 1 What is Arithmetic Dynamics? Arithmetic Geometry: Study solutions to polyno- mial equations (points on algebraic varieties) over non- algebraically closed fields. (Discrete) Dynamical Systems: Study orbits of points under iteration of a function. Arithmetic Dynamics: Study number theoretic prop- erties of orbits of points on algebraic varieties. A lot of arithmetic dynamics comes by analogy from arithmetic geometry. Sometimes the analogy is quite di- rect, sometimes less so, and there are parts of arithmetic geometry that still lack dynamical analogues. Today's talk will be a survey of what arithmetic dynamics is all about, with details on its connections to the arithmetic geometry that we all know and love. Then in tomorrow's talk I'll delve more deeply into some specific topics. Arithmetic Dynamics and Arithmetic Geometry 2 In Arithmetic Geometry We Study . Elliptic curves / higher dim'l abelian varieties Torsion points Torsion points defined over a fixed K. Fields generated by torsion points. Image of Galois G(K=K¯ ) ! Aut(Ators). Torsion points on subvarieties (dim A ≥ 2). Mordell{Weil groups Rank of K-rational points . for fixed A and varying K; for fixed K and varying A. Intersection with subvarieties (dim A ≥ 2). Moduli spaces of elliptic curve and abelian varieties Geometry of moduli spaces, e.g., X0(N) and Ag. Distribution of \special" points (CM moduli). Modular forms, L-series, Hecke operators, . Arithmetic Dynamics and Arithmetic Geometry 3 In Discrete Dynamics We Study . A Space X, a Self-Map f : X ! X, and Iteration f◦n = f ◦ f ◦ · · · ◦ f : | {z } nth iterate of f Orbit of x 2 X ◦2 ◦3 Of (x) := x; f(x); f (x); f (x);::: : Preperiodic Point x 2 X with finite orbit Of (x). Periodic Point x 2 X with f◦n(x) = x for some n ≥ 1. Moduli spaces of dynamical systems Classify (X; f) up to \dynamical equivalence." Post-critically finite (PCF) maps Arithmetic Dynamics and Arithmetic Geometry 4 In Discrete Dynamics We Study . A Space X, a Self-Map f : X ! X, and Iteration f◦n = f ◦ f ◦ · · · ◦ f : | {z } nth iterate of f Orbit of x 2 X ! \Mordell{Weil group" ◦2 ◦3 Of (x) := x; f(x); f (x); f (x);::: : Preperiodic Point ! \torsion point" x 2 X with finite orbit Of (x). Periodic Point ! \torsion point" x 2 X with f◦n(x) = x for some n ≥ 1. Moduli spaces of dynamical systems Classify (X; f) up to \dynamical equivalence." Post-critically finite (PCF) maps ! \CM points" Arithmetic Dynamics and Arithmetic Geometry 5 Two Examples Let A be an abelian variety and P 2 A. Then P is a torsion point () P is preperiodic for doubling. In other words, Ators = PrePer A; [2] . Let T (Q) = Q + P . Then P = O (0) [O (0). P Z TP T−P Let f(x) 2 Q(x) be the polynomial 29 f(x) = x2 + : 16 Then f has 8 preperiodic points in Q: 3 1 4 4 7 −4 5 1 5 −4 −4 3 4 7 −4 4 That's a lot of rational preperiodic points!! Arithmetic Dynamics and Arithmetic Geometry 6 Uniform Boundedness in Arithmetic Geometry Let E=Q be an elliptic curve. Theorem. (Mazur) E(Q) contains at most 16 torsion points. More generally: Uniform Boundedness Theorem. (Mazur, Kami- enny, Merel) Let K=Q be a number field and E=K an elliptic curve. Then #E(K)tors ≤ C [K : Q] : And even more generally: Uniform Boundedness Conjecture. Let K=Q be a number field and A=K an abelian variety. Then #A(K)tors ≤ C [K : Q]; dim(A) : Arithmetic Dynamics and Arithmetic Geometry 7 Uniform Boundedness in Arithmetic Dynamics Recall our dictionary: Mordell{Weil group ! orbit of a point torsion point ! preperiodic point Dynamical Uniform Boundedness Conjec- ture. (Morton{Silverman) Let K=Q be a number field, N N and f : P ! P a morphism of degree ≥ 2. Then N # PrePer f; P (K) ≤ C [K : Q]; deg f; N : N • Northcott: PrePer f; P (Q) is a set of bounded ht. Here's a very special case that is still far from resolved: Conjecture. (Poonen) Let c 2 Q. Then 2 # PrePer(x + c; Q) ≤ 8: N • Fakhruddin: Dynamical UBC for P =) UBC for A Arithmetic Dynamics and Arithmetic Geometry 8 Arithmetic Geometry: Elliptic Modular Curves To study points of order N on elliptic curves, one looks at the set of pairs E is an elliptic curve, and Y1(N) := (E; P ): P 2 Etors is a point of order N As is well known, Y1(N) has a natural structure as an affine curve, and (E; P ) 2 Y1(N)(K) () E=K and P 2 E(K): As usual, we let X1(N) = smooth completion of Y1(N) = Y1(N) [ fcuspsg: Then Mazur's theorem (and proof) say that N > 16 () X1(N)(Q) = fcuspsg: (True more generally if genus X1(N) ≥ 1.) Arithmetic Dynamics and Arithmetic Geometry 9 Dynamical Modular Curves (for x2 + c) 2 Let fc(x) = x + c We want to classify pairs dyn Y1 (N) := (α; c): α has (formal) period N for fc dyn Y1 (N) has a natural structure as an affine curve. Let dyn dyn X1 (N) = smooth completion = Y1 (N) [ fcuspsg: dyn Conjecture. N ≥ 4 =) X1 (N)(Q) = fcuspsg. 2 In other words, for all c 2 Q, the map x + c has no Q-rational points of period 4 or larger. This is true for: N = 4 (Morton);N = 5 (Flynn{Poonen{Schaefer); ∗ N = 6 (Stoll) ∗assuming B-SwD for a certain abelian 4-fold. dyn Remark: Jac X1 (N) tends to be irreducible and have positive MW rank over Q, so no Eisenstein quotient! Arithmetic Dynamics and Arithmetic Geometry 10 Dynamical Modular Curves (for x2 + c) dyn The curve Y1 (N) is given explicitly by the equation dyn Y ◦d µ(N=d) ΦN (x; y) := fy (x) − x = 0: djN The inclusion/exclusion is needed to get rid of points of period smaller than N, just as in the formula for the cyclotomic polynomials. Two complications: dyn (1) One needs to prove that ΦN (x; y) is a polynomial. dyn (2) Even if ΦN (α; c) = 0, it may not be true that α 3 has exact period N for fc. For example, c = −4 gives dyn 3 dyn 3 2 Φ1 (x; −4) = (2x + 1)(2x − 3); Φ2 (x; −4) = (2x + 1) : Following Milnor, one says that α has formal period N. dyn Theorem. (Bousch) X1 (N) is geometrically irre- ducible, and there is an explicit formula for its genus. Arithmetic Dynamics and Arithmetic Geometry 11 Unlikely Intersections in Arithmetic Geometry Many theorems and conjectures in arithmetic geometry fall into the \unlikely intersection" paradigm: If an algebraic subvariety has a Zariski dense set of special points, then the subvariety is itself special, i.e., there is a geometric reason that it contains so many special points. Let A be an abelian variety and Y ⊆ A a subvariety. Theorem. (Faltings, n´eeMordell{Lang Conjecture) Let Γ ⊂ A be a finitely generated subgroup. If Γ \ Y = Y , then Y is a finite union of translates of abelian subvarieties of A. Theorem. (Raynaud, n´eeManin{Mumford Conj.) If Ators \ Y = Y , then Y is a finite union of translates of abelian subvarieties of A. Arithmetic Dynamics and Arithmetic Geometry 12 Unlikely Intersections in Arithmetic Dynamics 1 Our dictionary says that: finitely generated subgroup Γ ! orbit Of (x): Dynamical Mordell{Lang Conjecture. (Bell, Denis, Ghioca, Tucker) Let X=C be a smooth projective variety, let Y ⊆ X, let f : X ! X be a morphism, and let P 2 X. Then Of (P ) \ Y = Y =) Y is periodic for f. The extensive literature proving special cases includes: Theorem. Dynamical Mordell{Lang is true if: 2 2 (a) (Xie): f : A ! A is a morphism defined over Q. (b) (Bell-Ghioca-Tucker) f : X ! X is ´etaleand de- N N fined over Q, e.g., f : A ! A is an polynomial auto- morphism. [Proof uses Skolem{Mahler{Lech method.] Arithmetic Dynamics and Arithmetic Geometry 13 Unlikely Intersections in Arithmetic Dynamics 2 Our dictionary also says that: torsion subgp Ators ! preperiodic pts PrePer(f; X): Dynamical Manin{Mumford Conjecture. Let X=C be a smooth projective variety, let Y ⊆ X, and let f : X ! X be a polarized morphism (9 ample L with f∗L ∼= L⊗d with d > 1). Then PrePer(f) \ Y = Y =) Y is periodic for f. Ghioca{Tucker: This statement is FALSE! • There is a partial fix due to Ghioca{Tucker{Zhang. Arithmetic Dynamics and Arithmetic Geometry 14 Arithmetic Geometry: The Image of Galois m Classical Case: Let fm(x) = x . We consider cyclo- tomic fields and their Galois groups, −1 Qm := Q fm (1) = Q(µm);Gm := Gal(Qm=Q): A fundamental theorem on cyclotomic fields says that ∗ ρm : Gm −! Aut(µm) = (Z=mZ) is surjective. Iwasawa theory gives information about the ideal class groups in the tower of fields Q ⊂ Qp ⊂ Qp2 ⊂ Qp3 ::: . Elliptic Curves: Let E=K and [m]: E ! E. Let −1 Km := K [m] (0) = K E[m] ;Gm := Gal(Km=K): Theorem. (Serre) If E does not have CM, then Image of ρE;m : Gm −! Aut E[m] = GL2(Z=mZ) has index that is bounded independent of m. Arithmetic Dynamics and Arithmetic Geometry 15 Arithmetic Dynamics: Arboreal Representations Let K=Q be a number field, let N N f : PK ! PK N be a map of degree d ≥ 2, and let P 2 P (K).
Recommended publications
  • Mathematics Is a Gentleman's Art: Analysis and Synthesis in American College Geometry Teaching, 1790-1840 Amy K
    Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 2000 Mathematics is a gentleman's art: Analysis and synthesis in American college geometry teaching, 1790-1840 Amy K. Ackerberg-Hastings Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Higher Education and Teaching Commons, History of Science, Technology, and Medicine Commons, and the Science and Mathematics Education Commons Recommended Citation Ackerberg-Hastings, Amy K., "Mathematics is a gentleman's art: Analysis and synthesis in American college geometry teaching, 1790-1840 " (2000). Retrospective Theses and Dissertations. 12669. https://lib.dr.iastate.edu/rtd/12669 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. INFORMATION TO USERS This manuscript has been reproduced from the microfilm master. UMI films the text directly from the original or copy submitted. Thus, some thesis and dissertation copies are in typewriter face, while others may be from any type of computer printer. The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleedthrough, substandard margwis, and improper alignment can adversely affect reproduction. in the unlikely event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted.
    [Show full text]
  • Distribution of Rational Points on Toric Varieties: a Multi-Height Approach
    Distribution of Rational Points on Toric Varieties: A Multi-Height Approach Arda H. Demirhan University of Illinois at Chicago March 19, 2021 Arda H. Demirhan Distribution of Rational Points on Toric Varieties: A Multi-Height Approach Height Machine associates counting devices to divisor classes. ( ) ( ) geometric facts arithmetic facts , given by divisor relations given by height relations Height Machine is useful for other fields too. How to Count Rational Points? X: an algebraic variety in Pn over a number field Main Idea: We use height functions to count rational points. Arda H. Demirhan Distribution of Rational Points on Toric Varieties: A Multi-Height Approach Height Machine is useful for other fields too. How to Count Rational Points? X: an algebraic variety in Pn over a number field Main Idea: We use height functions to count rational points. Height Machine associates counting devices to divisor classes. ( ) ( ) geometric facts arithmetic facts , given by divisor relations given by height relations Arda H. Demirhan Distribution of Rational Points on Toric Varieties: A Multi-Height Approach How to Count Rational Points? X: an algebraic variety in Pn over a number field Main Idea: We use height functions to count rational points. Height Machine associates counting devices to divisor classes. ( ) ( ) geometric facts arithmetic facts , given by divisor relations given by height relations Height Machine is useful for other fields too. Arda H. Demirhan Distribution of Rational Points on Toric Varieties: A Multi-Height Approach Counting Function: N(U(K); B) = cardfx 2 U(K): HK (x) ≤ Bg Let U ⊆ X be a Zariski open with some rational points.
    [Show full text]
  • O Modular Forms As Clues to the Emergence of Spacetime in String
    PHYSICS ::::owan, C., Keehan, S., et al. (2007). Health spending Modular Forms as Clues to the Emergence of Spacetime in String 1anges obscure part D's impact. Health Affairs, 26, Theory Nathan Vander Werf .. , Ayanian, J.Z., Schwabe, A., & Krischer, J.P. Abstract .nd race on early detection of cancer. Journal ofth e 409-1419. In order to be consistent as a quantum theory, string theory requires our universe to have extra dimensions. The extra dimensions form a particu­ lar type of geometry, called Calabi-Yau manifolds. A fundamental open ions ofNursi ng in the Community: Community question in string theory over the past two decades has been the problem ;, MO: Mosby. of establishing a direct relation between the physics on the worldsheet and the structure of spacetime. The strategy used in our work is to use h year because of lack of insurance. British Medical methods from arithmetic geometry to find a link between the geome­ try of spacetime and the physical theory on the string worldsheet . The approach involves identifying modular forms that arise from the Omega Fact Finder: Economic motives with modular forms derived from the underlying conformal field letrieved November 20, 2008 from: theory. The aim of this article is to first give a motivation and expla­ nation of string theory to a general audience. Next, we briefly provide some of the mathematics needed up to modular forms, so that one has es. (2007). National Center for Health the tools to find a string theoretic interpretation of modular forms de­ : in the Health ofAmericans. Publication rived from K3 surfaces of Brieskorm-Pham type.
    [Show full text]
  • Number Theory
    “mcs-ftl” — 2010/9/8 — 0:40 — page 81 — #87 4 Number Theory Number theory is the study of the integers. Why anyone would want to study the integers is not immediately obvious. First of all, what’s to know? There’s 0, there’s 1, 2, 3, and so on, and, oh yeah, -1, -2, . Which one don’t you understand? Sec- ond, what practical value is there in it? The mathematician G. H. Hardy expressed pleasure in its impracticality when he wrote: [Number theorists] may be justified in rejoicing that there is one sci- ence, at any rate, and that their own, whose very remoteness from or- dinary human activities should keep it gentle and clean. Hardy was specially concerned that number theory not be used in warfare; he was a pacifist. You may applaud his sentiments, but he got it wrong: Number Theory underlies modern cryptography, which is what makes secure online communication possible. Secure communication is of course crucial in war—which may leave poor Hardy spinning in his grave. It’s also central to online commerce. Every time you buy a book from Amazon, check your grades on WebSIS, or use a PayPal account, you are relying on number theoretic algorithms. Number theory also provides an excellent environment for us to practice and apply the proof techniques that we developed in Chapters 2 and 3. Since we’ll be focusing on properties of the integers, we’ll adopt the default convention in this chapter that variables range over the set of integers, Z. 4.1 Divisibility The nature of number theory emerges as soon as we consider the divides relation a divides b iff ak b for some k: D The notation, a b, is an abbreviation for “a divides b.” If a b, then we also j j say that b is a multiple of a.
    [Show full text]
  • Algebraic Geometry Michael Stoll
    Introductory Geometry Course No. 100 351 Fall 2005 Second Part: Algebraic Geometry Michael Stoll Contents 1. What Is Algebraic Geometry? 2 2. Affine Spaces and Algebraic Sets 3 3. Projective Spaces and Algebraic Sets 6 4. Projective Closure and Affine Patches 9 5. Morphisms and Rational Maps 11 6. Curves — Local Properties 14 7. B´ezout’sTheorem 18 2 1. What Is Algebraic Geometry? Linear Algebra can be seen (in parts at least) as the study of systems of linear equations. In geometric terms, this can be interpreted as the study of linear (or affine) subspaces of Cn (say). Algebraic Geometry generalizes this in a natural way be looking at systems of polynomial equations. Their geometric realizations (their solution sets in Cn, say) are called algebraic varieties. Many questions one can study in various parts of mathematics lead in a natural way to (systems of) polynomial equations, to which the methods of Algebraic Geometry can be applied. Algebraic Geometry provides a translation between algebra (solutions of equations) and geometry (points on algebraic varieties). The methods are mostly algebraic, but the geometry provides the intuition. Compared to Differential Geometry, in Algebraic Geometry we consider a rather restricted class of “manifolds” — those given by polynomial equations (we can allow “singularities”, however). For example, y = cos x defines a perfectly nice differentiable curve in the plane, but not an algebraic curve. In return, we can get stronger results, for example a criterion for the existence of solutions (in the complex numbers), or statements on the number of solutions (for example when intersecting two curves), or classification results.
    [Show full text]
  • FROM HARMONIC ANALYSIS to ARITHMETIC COMBINATORICS: a BRIEF SURVEY the Purpose of This Note Is to Showcase a Certain Line Of
    FROM HARMONIC ANALYSIS TO ARITHMETIC COMBINATORICS: A BRIEF SURVEY IZABELLA ÃLABA The purpose of this note is to showcase a certain line of research that connects harmonic analysis, speci¯cally restriction theory, to other areas of mathematics such as PDE, geometric measure theory, combinatorics, and number theory. There are many excellent in-depth presentations of the vari- ous areas of research that we will discuss; see e.g., the references below. The emphasis here will be on highlighting the connections between these areas. Our starting point will be restriction theory in harmonic analysis on Eu- clidean spaces. The main theme of restriction theory, in this context, is the connection between the decay at in¯nity of the Fourier transforms of singu- lar measures and the geometric properties of their support, including (but not necessarily limited to) curvature and dimensionality. For example, the Fourier transform of a measure supported on a hypersurface in Rd need not, in general, belong to any Lp with p < 1, but there are positive results if the hypersurface in question is curved. A classic example is the restriction theory for the sphere, where a conjecture due to E. M. Stein asserts that the Fourier transform maps L1(Sd¡1) to Lq(Rd) for all q > 2d=(d¡1). This has been proved in dimension 2 (Fe®erman-Stein, 1970), but remains open oth- erwise, despite the impressive and often groundbreaking work of Bourgain, Wol®, Tao, Christ, and others. We recommend [8] for a thorough survey of restriction theory for the sphere and other curved hypersurfaces. Restriction-type estimates have been immensely useful in PDE theory; in fact, much of the interest in the subject stems from PDE applications.
    [Show full text]
  • Pure Mathematics
    Why Study Mathematics? Mathematics reveals hidden patterns that help us understand the world around us. Now much more than arithmetic and geometry, mathematics today is a diverse discipline that deals with data, measurements, and observations from science; with inference, deduction, and proof; and with mathematical models of natural phenomena, of human behavior, and social systems. The process of "doing" mathematics is far more than just calculation or deduction; it involves observation of patterns, testing of conjectures, and estimation of results. As a practical matter, mathematics is a science of pattern and order. Its domain is not molecules or cells, but numbers, chance, form, algorithms, and change. As a science of abstract objects, mathematics relies on logic rather than on observation as its standard of truth, yet employs observation, simulation, and even experimentation as means of discovering truth. The special role of mathematics in education is a consequence of its universal applicability. The results of mathematics--theorems and theories--are both significant and useful; the best results are also elegant and deep. Through its theorems, mathematics offers science both a foundation of truth and a standard of certainty. In addition to theorems and theories, mathematics offers distinctive modes of thought which are both versatile and powerful, including modeling, abstraction, optimization, logical analysis, inference from data, and use of symbols. Mathematics, as a major intellectual tradition, is a subject appreciated as much for its beauty as for its power. The enduring qualities of such abstract concepts as symmetry, proof, and change have been developed through 3,000 years of intellectual effort. Like language, religion, and music, mathematics is a universal part of human culture.
    [Show full text]
  • From Arithmetic to Algebra
    From arithmetic to algebra Slightly edited version of a presentation at the University of Oregon, Eugene, OR February 20, 2009 H. Wu Why can’t our students achieve introductory algebra? This presentation specifically addresses only introductory alge- bra, which refers roughly to what is called Algebra I in the usual curriculum. Its main focus is on all students’ access to the truly basic part of algebra that an average citizen needs in the high- tech age. The content of the traditional Algebra II course is on the whole more technical and is designed for future STEM students. In place of Algebra II, future non-STEM would benefit more from a mathematics-culture course devoted, for example, to an understanding of probability and data, recently solved famous problems in mathematics, and history of mathematics. At least three reasons for students’ failure: (A) Arithmetic is about computation of specific numbers. Algebra is about what is true in general for all numbers, all whole numbers, all integers, etc. Going from the specific to the general is a giant conceptual leap. Students are not prepared by our curriculum for this leap. (B) They don’t get the foundational skills needed for algebra. (C) They are taught incorrect mathematics in algebra classes. Garbage in, garbage out. These are not independent statements. They are inter-related. Consider (A) and (B): The K–3 school math curriculum is mainly exploratory, and will be ignored in this presentation for simplicity. Grades 5–7 directly prepare students for algebra. Will focus on these grades. Here, abstract mathematics appears in the form of fractions, geometry, and especially negative fractions.
    [Show full text]
  • ARTIN-MAZUR ZETA FUNCTIONS in ARITHMETIC DYNAMICS How Should We Define the Zeta Function of a Rational Map F : P 1(K) → P 1(K)
    ARTIN-MAZUR ZETA FUNCTIONS IN ARITHMETIC DYNAMICS EVAN WARNER How should we define the zeta function of a rational map f : P1(k) ! P1(k), k a field? All we need is a sequence of numbers, and it makes sense to consider the sequence jPern(f)j, where 1 n Pern(f) = fx 2 P (k): f (x) = xg: Then we construct a zeta function in the usual way: 1 ! X tn ζ(f; t) = exp jPer (f)j : n n n=1 This is a special case of an Artin-Mazur zeta function, which is defined for certain dynamical systems (and in general counts the number of isolated fixed points). Note that we are, as usual, not counting fixed points with multiplicity, which in this case would be something like the Lefschetz index. In fact, if we did count with n multiplicity and deg f = d, then jPern(f)j = d + 1 for all n, and after summing the geometric series we would get 1 ζ(f; t) = : (1 − t)(1 − dt) n In general, we at least have jPern(f)j ≤ d + 1, so the zeta function is certainly defined as a formal power series and even converges on a positive radius around the origin if k is a normed field. The usual formal manipulations give rise to an Euler product over cycles, and in particular ζ(f; t) 2 Z[[t]]. Over C, these zeta functions aren't too hard to calculate: Theorem 1 (Hinkkanen). If f : P1(C) ! P1(C) has degree d ≥ 2, then ζ(f; t) is a rational function.
    [Show full text]
  • Topics in Complex Analytic Geometry
    version: February 24, 2012 (revised and corrected) Topics in Complex Analytic Geometry by Janusz Adamus Lecture Notes PART II Department of Mathematics The University of Western Ontario c Copyright by Janusz Adamus (2007-2012) 2 Janusz Adamus Contents 1 Analytic tensor product and fibre product of analytic spaces 5 2 Rank and fibre dimension of analytic mappings 8 3 Vertical components and effective openness criterion 17 4 Flatness in complex analytic geometry 24 5 Auslander-type effective flatness criterion 31 This document was typeset using AMS-LATEX. Topics in Complex Analytic Geometry - Math 9607/9608 3 References [I] J. Adamus, Complex analytic geometry, Lecture notes Part I (2008). [A1] J. Adamus, Natural bound in Kwieci´nski'scriterion for flatness, Proc. Amer. Math. Soc. 130, No.11 (2002), 3165{3170. [A2] J. Adamus, Vertical components in fibre powers of analytic spaces, J. Algebra 272 (2004), no. 1, 394{403. [A3] J. Adamus, Vertical components and flatness of Nash mappings, J. Pure Appl. Algebra 193 (2004), 1{9. [A4] J. Adamus, Flatness testing and torsion freeness of analytic tensor powers, J. Algebra 289 (2005), no. 1, 148{160. [ABM1] J. Adamus, E. Bierstone, P. D. Milman, Uniform linear bound in Chevalley's lemma, Canad. J. Math. 60 (2008), no.4, 721{733. [ABM2] J. Adamus, E. Bierstone, P. D. Milman, Geometric Auslander criterion for flatness, to appear in Amer. J. Math. [ABM3] J. Adamus, E. Bierstone, P. D. Milman, Geometric Auslander criterion for openness of an algebraic morphism, preprint (arXiv:1006.1872v1). [Au] M. Auslander, Modules over unramified regular local rings, Illinois J.
    [Show full text]
  • Phylogenetic Algebraic Geometry
    PHYLOGENETIC ALGEBRAIC GEOMETRY NICHOLAS ERIKSSON, KRISTIAN RANESTAD, BERND STURMFELS, AND SETH SULLIVANT Abstract. Phylogenetic algebraic geometry is concerned with certain complex projec- tive algebraic varieties derived from finite trees. Real positive points on these varieties represent probabilistic models of evolution. For small trees, we recover classical geometric objects, such as toric and determinantal varieties and their secant varieties, but larger trees lead to new and largely unexplored territory. This paper gives a self-contained introduction to this subject and offers numerous open problems for algebraic geometers. 1. Introduction Our title is meant as a reference to the existing branch of mathematical biology which is known as phylogenetic combinatorics. By “phylogenetic algebraic geometry” we mean the study of algebraic varieties which represent statistical models of evolution. For general background reading on phylogenetics we recommend the books by Felsenstein [11] and Semple-Steel [21]. They provide an excellent introduction to evolutionary trees, from the perspectives of biology, computer science, statistics and mathematics. They also offer numerous references to relevant papers, in addition to the more recent ones listed below. Phylogenetic algebraic geometry furnishes a rich source of interesting varieties, includ- ing familiar ones such as toric varieties, secant varieties and determinantal varieties. But these are very special cases, and one quickly encounters a cornucopia of new varieties. The objective of this paper is to give an introduction to this subject area, aimed at students and researchers in algebraic geometry, and to suggest some concrete research problems. The basic object in a phylogenetic model is a tree T which is rooted and has n labeled leaves.
    [Show full text]
  • SE 015 465 AUTHOR TITLE the Content of Arithmetic Included in A
    DOCUMENT' RESUME ED 070 656 24 SE 015 465 AUTHOR Harvey, John G. TITLE The Content of Arithmetic Included in a Modern Elementary Mathematics Program. INSTITUTION Wisconsin Univ., Madison. Research and Development Center for Cognitive Learning, SPONS AGENCY National Center for Educational Research and Development (DHEW/OE), Washington, D.C. BUREAU NO BR-5-0216 PUB DATE Oct 71 CONTRACT OEC-5-10-154 NOTE 45p.; Working Paper No. 79 EDRS PRICE MF-$0.65 HC-$3.29 DESCRIPTORS *Arithmetic; *Curriculum Development; *Elementary School Mathematics; Geometric Concepts; *Instruction; *Mathematics Education; Number Concepts; Program Descriptions IDENTIFIERS Number Operations ABSTRACT --- Details of arithmetic topics proposed for inclusion in a modern elementary mathematics program and a rationale for the selection of these topics are given. The sequencing of the topics is discussed. (Author/DT) sJ Working Paper No. 19 The Content of 'Arithmetic Included in a Modern Elementary Mathematics Program U.S DEPARTMENT OF HEALTH, EDUCATION & WELFARE OFFICE OF EDUCATION THIS DOCUMENT HAS SEEN REPRO Report from the Project on Individually Guided OUCED EXACTLY AS RECEIVED FROM THE PERSON OR ORGANIZATION ORIG INATING IT POINTS OF VIEW OR OPIN Elementary Mathematics, Phase 2: Analysis IONS STATED 00 NOT NECESSARILY REPRESENT OFFICIAL OFFICE Of LOU Of Mathematics Instruction CATION POSITION OR POLICY V lb. Wisconsin Research and Development CENTER FOR COGNITIVE LEARNING DIE UNIVERSITY Of WISCONSIN Madison, Wisconsin U.S. Office of Education Corder No. C03 Contract OE 5-10-154 Published by the Wisconsin Research and Development Center for Cognitive Learning, supported in part as a research and development center by funds from the United States Office of Education, Department of Health, Educa- tion, and Welfare.
    [Show full text]