DOCSLIB.ORG

The Integrable Analytic Geometry of Quantum String, Physics Letters B175

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Integrable Analytic Geometry of Quantum String, Physics Letters B175 Volume !75, number 3 PHYS:-'CSLETTERS B 7 August 1986 THE INTEGRABLE ANALYTIC GEOMETRY OF QUANTUM STRING ~ Daniei FRIEDAN and Stephen SHENKER Enrico Fermi and J~mes J~>anck L,~stitutes, and Department of Physics, Ui#versi.~y of Chicago, Chicago, IL 60637, USA Received 13 May 1986 The quantem theory of c~osed bosonic strings is formuNted as integrabie anMytic geometry on the universM moduli space of Riemann surfaces. Solztions of the equalion of motion of quantum strings are flat hermifian metrics in hoio- morphic vector bundles ever universal moduti space. In this 1otter we formulate quantum string theory two-dimensional conformabboots~rap equation *a as integrabie analytic geometry on the ~aniversal modu- The perturbation expansion of the strir~.g S-matrix is space of Riemann surfaces, based on the analytic written as a sum over world s~;rfaces in spacetime, formulation of two-dimensional conformal field which is the funcional integral version of a two-di- theory [ i ]. menNonal quantum field theory, The couplings of String theory currently provides the onty viable the twoodimensiona! qum~_tum field theory express candidate for a %ndamentaI theory of nature ~'~" , Any the background in which strings propagate. The per- such potentially fundamentai theory should have a. turbation expansion describes strings as the fluctua- completely nat~;ral mathematical formulation, The tions around the ground state° The gro~-,d state itself gauge symmetries of string theory should be the trans- is encoded as the two-dlmensional field theory ex- formations between mathematically equivalent descrip- pressing the background. tions of one underlying mathematical object° in par- A ground state era string is a background in which ticuiar, it is unnat~al to assume a particular space- the S-matrix of propagating strings is unitary, tn time as a setting for string theory, since string theory bosenic string theory, unitarity requires conformal is a quantization of general retati~ty. The structure of invafiance of the world surface, ConformaI invariance spacetime should be a property of the ground state. is expressed by the action of the Virasore algebra in One of our goals is a formulation of string theory the HiNert space of the two-dimensional field theory which is sufficiently abstract to allow discussion of of the cylindrical world surface swept out by a closed the nature of spacetime, A second goal is a formula- string. The central charge must have the particuIar tion in which effective calcw!ation might be possible. vMue c = 26, To solve the bosonic string equation of Even a potentially complete theory is unlikely to be motion is to construct two,dimenslonal conformM useful, or even testable, unless effective nonperturba., field theories with c = 26. Understanding co~fermM tire calculations are possible. ~is argues for an ~a- field theory on aH Riemann surfaces is the key to un- lyric or even aigebraic setting in which to do string derstanding quantum string theory. theory. Two-dimensions! confo~al field theory can be The equation of motion of strings is essentially the formulated as analytic geometry on the universal mo- duli space of Riemann surfaces [ 1], In this letter we adapt the generM ana!ytic geometry of conforms1 ~etd * This work was supported in part by DOE grant DE-FG02- 84ER-45t44, NSK grant PHY-8451285 and ~he Slosh Foundation. *~ For background references in string theory and two-dimen- *i For re%fences see refo [2 t. sional ccnformai field theory see refs. [I ,2 ]. 0370-2693/86/$ 03.50 © Eisevier Science Publishers B.V. 287 (North-Holland Physics Pub!isNng Division} Votume 175, number 3 PHYStCS LETTERS 13 7 August I986 theory to the speciai case of string ~heory, where its of compact, connected, stable Riemann surfaces of applbation is especially naturai. As the setting for the gents g. The stabb surfaces include the surfaces with analytic formulation of both two-dimensional con- nodes, c-~g is a compact, compbx analytic orbifold forma[ fie[d theory and string theory, we define the or V-manifold, of compiex dimension n = 3g - 3 for universal anaiytic moduli space of Riemann surfaces, g>i,n = !forg=iandn=0forg=0. T,.e~ s,~ace which apparendy has not been described previously. of surfaces with nodes is the compactification divisor The fundamental object of quantum string theory is @g = c-fy.g _ CyEg"Tb.e generic surface in @g has a hermitian metric h in a holomorp~c, infinite-dimen- exactty one node. The muItiple self-intersections of sional vector bundb W over universa! moduIi space. c3g, the subcemponents of q)g, are the spaces of The quantum equatio.,x of re.orion of strings is the flat- surfaces wit ~ mukipb r..odes. For every subcompo- ness equation o'n the metric h. Flatness equations are nent of C~,g, for every configuration of k nodes, there integrabie. Here, the solutions are exactly the unitary is a colbction of k independent analytic coordinates representations of the universa! modular group. String qi, ~ear qi = 0, defining the subcomponent by the k theory is thus reduced, in principie, to the represer.ta- independent equations q* = 0. ~n more abstract lan- tion theory of tl~e ~mlversal modular group. guage, a!t the se;]-mtersectlons.... of @g are transversal. in fermionic string theory, unitarity is equivabn~ to The generating f~.nctional of the connected part se.~percouformal invafiance of the world surface. The of the string S°matrix is fermionic theories are the on!y known string theories with consistent perUdrbative expansions. The equation = of motion of th_e fermionic string is esse~tia!ly the c] c°nn g={} C~g two-dimensional superconformal bootstrap equation. We concentrate in this letter on the closed bosonic where Z(N, m) is the string partition function on the string The superanalytic formuiation of the fermi,.mic modu.li spaces O# g. The string coup!ing constant 3, string paraliels the bosonic ~heory~ The fermionic string aepears in a factor )v2g-2 which is absorbed into Z. and two-dimensionai superconformal fie~d theory are CSconn is a .......... ~ ~ ,...... string background. The set in the super analytic geometry of the universal scattering amplitudes of strings are the coefficients of super moduti space, based on the superc,'mformal ten- the mfinitesima[ variations of the background i~) the sor ca{caius on super Riemann surfaces~ expansion of d corm around the string ground state. This work was motivated by .:he use of mod~atar The generating functional for the full S-matrix is invariance as a crucia~ constraint in string theory [3,4I the integral of the partition f~a~.ction over the moduli and ir~ two-dimensional conformal field theory [5 ]. space of all compact, smooth Pdemann surfaces, not and by some of the recent discussions of the fo,anda° necessarily cor._nected : tions of string theory and string field theory [6-9]~ Wiaib engaged it.: the presem work, we were encourag- F /- ~-- xmcSconn ) • Z,,m,m). (2) ed the paper Belav> and Knizhnik on the e I [ "=3 by of [10] OR partitio~:~ function of strings in flat spacetime, which also ~bcuses on the compbx analytic structure of ~ is the ~aniversai moduli space moduii space, and by other recent studies of determi- co nants of e!Iiptic operators on surfaces and their factori- ~= ~ S , (~) zation properties, on t:::e modu~J spaces of Riemann 2°(= k=0° g surfaces [ 11 l- We begin by establishing some notation and defin-. where Sym k is the k-fold symmetric product. The b.g the uriversa! modui! space [ t ]o Let cfg a be the symme~.rization is due ~o the indistinguishability of modu!i space of compact, connected, smooth, germs conformalIy equivalent Riema~n surfaces. Eq. (2) is g Riemann surfaces *a Let ~g be the moduii space a direct rewriting of eq. (!), given that the partition function of a disconnected surface is the product of ,a For expianations of moduli space see ref. ~t 2!; for analytic the partition functions of the con~.eeted components. geome*ry see ref. {13 ]. The factors t/k! are provided by the symmetric pmduc~s. 288 Volume 175,number 3 PHYSICS LETTERS B 7 August 1986 The space 9e is highly disconnected in its naive The moduli space near @ is ,~aramet.~zed oy (m @ ,q) topology as a union of products of the individual = (m, xl, x 2 , q), with q = 0 being the s~rface with moduii spaces cy~g. But tP..e" mfinue,:yi "÷ I many disconnect- node m O. ~n the limit q -~ 0, z becomes a coordinate ed components of c'd are connected by the formation on the punctured comDex p~ane, wmc, is conforma!o of nodes. Any two surfaces in q~ can be obtained .ly equivalent to the infinite cylinder. To study the from a single connected surface of higher genus by ana- behavior of the partition function near @, we only !y::,c aeformat,ons wm.cn mcmde formatio~ and re- need to know the properties o,.;" ~o,:.,.ormat "~ field theory moval of nodes. The pa.,t.,Ao.; fm.~don extends to on the annular pIumbLqg joint in the limit q -~ 0, fa~eao,, - wb:h'* nodes, so it lives on the u:~.wersm"" ' moduli wNch is just conformal field theory on the pla=e. space of compact, stabie Riemann surfaces The conforms! fie~a;' ~"m,o,y ~ "" on the plane is radiaIiy quant~zee, w~:h Virasoro algebra L m L m . Near @ the partition function of the surface (m@, q} can. be =ou syrup(%) (4) .oictured as an ex~ectation~ vaiue m_ the ~au~a:-~" : qu~n:>-*~ zation: The compactification divisor @- = c~ _ c)e is the space Z = tr(q z° ~Lo p(m @)) (6) of compact Riemann surfaces with nodes.
Load more

Recommended publications
  • Analytic Geometry
    Guide Study Georgia End-Of-Course Tests Georgia ANALYTIC GEOMETRY TABLE OF CONTENTS INTRODUCTION ...........................................................................................................5 HOW TO USE THE STUDY GUIDE ................................................................................6 OVERVIEW OF THE EOCT .........................................................................................8 PREPARING FOR THE EOCT ......................................................................................9 Study Skills ........................................................................................................9 Time Management .....................................................................................10 Organization ...............................................................................................10 Active Participation ...................................................................................11 Test-Taking Strategies .....................................................................................11 Suggested Strategies to Prepare for the EOCT ..........................................12 Suggested Strategies the Day before the EOCT ........................................13 Suggested Strategies the Morning of the EOCT ........................................13 Top 10 Suggested Strategies during the EOCT .........................................14 TEST CONTENT ........................................................................................................15
    [Show full text]
  • Chapter 11. Three Dimensional Analytic Geometry and Vectors
    Chapter 11. Three dimensional analytic geometry and vectors. Section 11.5 Quadric surfaces. Curves in R2 : x2 y2 ellipse + =1 a2 b2 x2 y2 hyperbola − =1 a2 b2 parabola y = ax2 or x = by2 A quadric surface is the graph of a second degree equation in three variables. The most general such equation is Ax2 + By2 + Cz2 + Dxy + Exz + F yz + Gx + Hy + Iz + J =0, where A, B, C, ..., J are constants. By translation and rotation the equation can be brought into one of two standard forms Ax2 + By2 + Cz2 + J =0 or Ax2 + By2 + Iz =0 In order to sketch the graph of a quadric surface, it is useful to determine the curves of intersection of the surface with planes parallel to the coordinate planes. These curves are called traces of the surface. Ellipsoids The quadric surface with equation x2 y2 z2 + + =1 a2 b2 c2 is called an ellipsoid because all of its traces are ellipses. 2 1 x y 3 2 1 z ±1 ±2 ±3 ±1 ±2 The six intercepts of the ellipsoid are (±a, 0, 0), (0, ±b, 0), and (0, 0, ±c) and the ellipsoid lies in the box |x| ≤ a, |y| ≤ b, |z| ≤ c Since the ellipsoid involves only even powers of x, y, and z, the ellipsoid is symmetric with respect to each coordinate plane. Example 1. Find the traces of the surface 4x2 +9y2 + 36z2 = 36 1 in the planes x = k, y = k, and z = k. Identify the surface and sketch it. Hyperboloids Hyperboloid of one sheet. The quadric surface with equations x2 y2 z2 1.
    [Show full text]
  • ANALYTIC GEOMETRY Revision Log
    Guide Study Georgia End-Of-Course Tests Georgia ANALYTIC GEOMETRYJanuary 2014 Revision Log August 2013: Unit 7 (Applications of Probability) page 200; Key Idea #7 – text and equation were updated to denote intersection rather than union page 203; Review Example #2 Solution – union symbol has been corrected to intersection symbol in lines 3 and 4 of the solution text January 2014: Unit 1 (Similarity, Congruence, and Proofs) page 33; Review Example #2 – “Segment Addition Property” has been updated to “Segment Addition Postulate” in step 13 of the solution page 46; Practice Item #2 – text has been specified to indicate that point V lies on segment SU page 59; Practice Item #1 – art has been updated to show points on YX and YZ Unit 3 (Circles and Volume) page 74; Key Idea #17 – the reference to Key Idea #15 has been updated to Key Idea #16 page 84; Key Idea #3 – the degree symbol (°) has been removed from 360, and central angle is noted by θ instead of x in the formula and the graphic page 84; Important Tip – the word “formulas” has been corrected to “formula”, and x has been replaced by θ in the formula for arc length page 85; Key Idea #4 – the degree symbol (°) has been added to the conversion factor page 85; Key Idea #5 – text has been specified to indicate a central angle, and central angle is noted by θ instead of x page 85; Key Idea #6 – the degree symbol (°) has been removed from 360, and central angle is noted by θ instead of x in the formula and the graphic page 87; Solution Step i – the degree symbol (°) has been added to the conversion
    [Show full text]
  • Analytic Geometry
    STATISTIC ANALYTIC GEOMETRY SESSION 3 STATISTIC SESSION 3 Session 3 Analytic Geometry Geometry is all about shapes and their properties. If you like playing with objects, or like drawing, then geometry is for you! Geometry can be divided into: Plane Geometry is about flat shapes like lines, circles and triangles ... shapes that can be drawn on a piece of paper Solid Geometry is about three dimensional objects like cubes, prisms, cylinders and spheres Point, Line, Plane and Solid A Point has no dimensions, only position A Line is one-dimensional A Plane is two dimensional (2D) A Solid is three-dimensional (3D) Plane Geometry Plane Geometry is all about shapes on a flat surface (like on an endless piece of paper). 2D Shapes Activity: Sorting Shapes Triangles Right Angled Triangles Interactive Triangles Quadrilaterals (Rhombus, Parallelogram, etc) Rectangle, Rhombus, Square, Parallelogram, Trapezoid and Kite Interactive Quadrilaterals Shapes Freeplay Perimeter Area Area of Plane Shapes Area Calculation Tool Area of Polygon by Drawing Activity: Garden Area General Drawing Tool Polygons A Polygon is a 2-dimensional shape made of straight lines. Triangles and Rectangles are polygons. Here are some more: Pentagon Pentagra m Hexagon Properties of Regular Polygons Diagonals of Polygons Interactive Polygons The Circle Circle Pi Circle Sector and Segment Circle Area by Sectors Annulus Activity: Dropping a Coin onto a Grid Circle Theorems (Advanced Topic) Symbols There are many special symbols used in Geometry. Here is a short reference for you:
    [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]
  • Chapter 1: Analytic Geometry
    1 Analytic Geometry Much of the mathematics in this chapter will be review for you. However, the examples will be oriented toward applications and so will take some thought. In the (x,y) coordinate system we normally write the x-axis horizontally, with positive numbers to the right of the origin, and the y-axis vertically, with positive numbers above the origin. That is, unless stated otherwise, we take “rightward” to be the positive x- direction and “upward” to be the positive y-direction. In a purely mathematical situation, we normally choose the same scale for the x- and y-axes. For example, the line joining the origin to the point (a,a) makes an angle of 45◦ with the x-axis (and also with the y-axis). In applications, often letters other than x and y are used, and often different scales are chosen in the horizontal and vertical directions. For example, suppose you drop something from a window, and you want to study how its height above the ground changes from second to second. It is natural to let the letter t denote the time (the number of seconds since the object was released) and to let the letter h denote the height. For each t (say, at one-second intervals) you have a corresponding height h. This information can be tabulated, and then plotted on the (t, h) coordinate plane, as shown in figure 1.0.1. We use the word “quadrant” for each of the four regions into which the plane is divided by the axes: the first quadrant is where points have both coordinates positive, or the “northeast” portion of the plot, and the second, third, and fourth quadrants are counted off counterclockwise, so the second quadrant is the northwest, the third is the southwest, and the fourth is the southeast.
    [Show full text]
  • Analytic Geometry
    INTRODUCTION TO ANALYTIC GEOMETRY BY PEECEY R SMITH, PH.D. N PROFESSOR OF MATHEMATICS IN THE SHEFFIELD SCIENTIFIC SCHOOL YALE UNIVERSITY AND AKTHUB SULLIVAN GALE, PH.D. ASSISTANT PROFESSOR OF MATHEMATICS IN THE UNIVERSITY OF ROCHESTER GINN & COMPANY BOSTON NEW YORK CHICAGO LONDON COPYRIGHT, 1904, 1905, BY ARTHUR SULLIVAN GALE ALL BIGHTS RESERVED 65.8 GINN & COMPANY PRO- PRIETORS BOSTON U.S.A. PEE FACE In preparing this volume the authors have endeavored to write a drill book for beginners which presents, in a manner conform- ing with modern ideas, the fundamental concepts of the subject. The subject-matter is slightly more than the minimum required for the calculus, but only as much more as is necessary to permit of some choice on the part of the teacher. It is believed that the text is complete for students finishing their study of mathematics with a course in Analytic Geometry. The authors have intentionally avoided giving the book the form of a treatise on conic sections. Conic sections naturally appear, but chiefly as illustrative of general analytic methods. Attention is called to the method of treatment. The subject is developed after the Euclidean method of definition and theorem, without, however, adhering to formal presentation. The advan- tage is obvious, for the student is made sure of the exact nature of each acquisition. Again, each method is summarized in a rule stated in consecutive steps. This is a gain in clearness. Many illustrative examples are worked out in the text. Emphasis has everywhere been put upon the analytic side, that is, the student is taught to start from the equation.
    [Show full text]
  • 3 Analytic Geometry
    3 Analytic Geometry 3.1 The Cartesian Co-ordinate System Pure Euclidean geometry in the style of Euclid and Hilbert is what we call synthetic: axiomatic, with- out co-ordinates or explicit formulæ for length, area, volume, etc. Nowadays, the practice of ele- mentary geometry is almost entirely analytic: reliant on algebra, co-ordinates, vectors, etc. The major breakthrough came courtesy of Rene´ Descartes (1596–1650) and Pierre de Fermat (1601/16071–1655), whose introduction of an axis, a fixed reference ruler against which objects could be measured using co-ordinates, allowed them to apply the Islamic invention of algebra to geometry, resulting in more efficient computations. The new geometry was revolutionary, so much so that Descartes felt the need to justify his argu- ments using synthetic geometry, lest no-one believe his work! This attitude persisted for some time: when Issac Newton published his groundbreaking Principia in 1687, his presentation was largely syn- thetic, even though he had used co-ordinates in his derivations. Synthetic geometry is not without its benefits—many results are much cleaner, and analytic geometry presents its own logical difficulties— but, as time has passed, its study has become something of a fringe activity: co-ordinates are simply too useful to ignore! Given that Cartesian geometry is the primary form we learn in grade-school, we merely sketch the familiar ideas of co-ordinates and vectors. • Assume everything necessary about on the real line. continuity y 3 • Perpendicular axes meet at the origin. P 2 • The Cartesian co-ordinates of a point P are measured by project- ing onto the axes: in the picture, P has co-ordinates (1, 2), often 1 written simply as P = (1, 2).
    [Show full text]
  • Synthetic and Analytic Geometry
    CHAPTER I SYNTHETIC AND ANALYTIC GEOMETRY The purpose of this chapter is to review some basic facts from classical deductive geometry and coordinate geometry from slightly more advanced viewpoints. The latter reflect the approaches taken in subsequent chapters of these notes. 1. Axioms for Euclidean geometry During the 19th century, mathematicians recognized that the logical foundations of their subject had to be re-examined and strengthened. In particular, it was very apparent that the axiomatic setting for geometry in Euclid's Elements requires nontrivial modifications. Several ways of doing this were worked out by the end of the century, and in 1900 D. Hilbert1 (1862{1943) gave a definitive account of the modern foundations in his highly influential book, Foundations of Geometry. Mathematical theories begin with primitive concepts, which are not formally defined, and as- sumptions or axioms which describe the basic relations among the concepts. In Hilbert's setting there are six primitive concepts: Points, lines, the notion of one point lying between two others (betweenness), congruence of segments (same distances between the endpoints) and congruence of angles (same angular measurement in degrees or radians). The axioms on these undefined concepts are divided into five classes: Incidence, order, congruence, parallelism and continuity. One notable feature of this classification is that only one class (congruence) requires the use of all six primitive concepts. More precisely, the concepts needed for the axiom classes are given as follows: Axiom class Concepts required Incidence Point, line, plane Order Point, line, plane, betweenness Congruence All six Parallelism Point, line, plane Continuity Point, line, plane, betweenness Strictly speaking, Hilbert's treatment of continuity involves congruence of segments, but the continuity axiom may be formulated without this concept (see Forder, Foundations of Euclidean Geometry, p.
    [Show full text]
  • Math 348 Differential Geometry of Curves and Surfaces Lecture 1 Introduction
    Math 348 Differential Geometry of Curves and Surfaces Lecture 1 Introduction Xinwei Yu Sept. 5, 2017 CAB 527, [email protected] Department of Mathematical & Statistical Sciences University of Alberta Table of contents 1. Course Information 2. Before Classical Differential Geometry 3. Classical DG: Upgrade to Calculus 4. Beyond Classical Differential Geometry 1 Course Information Course Organization • Instructor. Xinwei Yu; CAB 527; [email protected]; • Course Webpage. • http://www.math.ualberta.ca/ xinweiyu/348.A1.17f • We will not use eClass. • Getting Help. 1. Office Hours. TBA. 2. Appointments. 3. Emails. 4. It is a good idea to form study groups. 2 Evaluation • Homeworks. 9 HWs; 20%; Worst mark dropped; No late HW. Due dates: 9/22; 9/29; 10/6; 10/20; 10/27; 11/3; 11/10; 12/1; 12/8. 12:00 (noon) in assignment box (CAB 3rd floor) • Midterms. 30%; 10/5; 11/9. One hour. In class. No early/make-up midterms. • Final Exam. Tentative. 50%; 12/14 @9a. Two hours. > 50% =)> D; > 90% =)> A: 3 Resources • Textbook. • Andrew Pressley, Elementary Differential Geometry, 2nd Ed., Springer, 2010. • Reference books. • Most books calling themselves ”Introductory DG”, ”Elementary DG”, or ”Classical DG”. • Online notes. • Lecture notes (updated from Math 348 2016 Notes) • Theodore Shifrin lecture notes. • Xi Chen lecture notes for Math 348 Fall 2015. • Online videos. • Most relevant: Differential Geometry - Claudio Arezzo (ICTP Math). • Many more on youtube etc.. 4 Geometry, Differential • Geometry. • Originally, ”earth measure”. • More precisely, study of shapes.1 • Differential. • Calculus is (somehow) involved. • Classical Differential Geometry. • The study of shapes, such as curves and surfaces, using calculus.
    [Show full text]
  • Is Geometry Analytic? Mghanga David Mwakima
    IS GEOMETRY ANALYTIC? MGHANGA DAVID MWAKIMA 1. INTRODUCTION In the fourth chapter of Language, Truth and Logic, Ayer undertakes the task of showing how a priori knowledge of mathematics and logic is possible. In doing so, he argues that only if we understand mathematics and logic as analytic,1 by which he memorably meant “devoid of factual content”2, do we have a justified account of 3 a priori knowledgeδιανοια of these disciplines. In this chapter, it is not clear whether Ayer gives an argument per se for the analyticity of mathematics and logic. For when one reads that chapter, one sees that Ayer is mainly criticizing the views held by Kant and Mill with respect to arithmetic.4 Nevertheless, I believe that the positive argument is present. Ayer’s discussion of geometry5 in this chapter shows that it is this discussion which constitutes his positive argument for the thesis that analytic sentences are true 1 Now, I am aware that ‘analytic’ was understood differently by Kant, Carnap, Ayer, Quine, and Putnam. It is not even clear whether there is even an agreed definition of ‘analytic’ today. For the purposes of my paper, the meaning of ‘analytic’ is Carnap’s sense as described in: Michael, Friedman, Reconsidering Logical Positivism (New York: Cambridge University Press, 1999), in terms of the relativized a priori. 2 Alfred Jules, Ayer, Language, Truth and Logic (New York: Dover Publications, 1952), p. 79, 87. In these sections of the book, I think the reason Ayer chose to characterize analytic statements as “devoid of factual” content is in order to give an account of why analytic statements could not be shown to be false on the basis of observation.
    [Show full text]
  • Geometry in the Age of Enlightenment
    Geometry in the Age of Enlightenment Raymond O. Wells, Jr. ∗ July 2, 2015 Contents 1 Introduction 1 2 Algebraic Geometry 3 2.1 Algebraic Curves of Degree Two: Descartes and Fermat . 5 2.2 Algebraic Curves of Degree Three: Newton and Euler . 11 3 Differential Geometry 13 3.1 Curvature of curves in the plane . 17 3.2 Curvature of curves in space . 26 3.3 Curvature of a surface in space: Euler in 1767 . 28 4 Conclusion 30 1 Introduction The Age of Enlightenment is a term that refers to a time of dramatic changes in western society in the arts, in science, in political thinking, and, in particular, in philosophical discourse. It is generally recognized as being the period from the mid 17th century to the latter part of the 18th century. It was a successor to the renaissance and reformation periods and was followed by what is termed the romanticism of the 19th century. In his book A History of Western Philosophy [25] Bertrand Russell (1872{1970) gives a very lucid description of this time arXiv:1507.00060v1 [math.HO] 30 Jun 2015 period in intellectual history, especially in Book III, Chapter VI{Chapter XVII. He singles out Ren´eDescartes as being the founder of the era of new philosophy in 1637 and continues to describe other philosophers who also made significant contributions to mathematics as well, such as Newton and Leibniz. This time of intellectual fervor included literature (e.g. Voltaire), music and the world of visual arts as well. One of the most significant developments was perhaps in the political world: here the absolutism of the church and of the monarchies ∗Jacobs University Bremen; University of Colorado at Boulder; [email protected] 1 were questioned by the political philosophers of this era, ushering in the Glo- rious Revolution in England (1689), the American Revolution (1776), and the bloody French Revolution (1789).
    [Show full text]