Algebraic Methods for Computer Aided Geometric Design
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Arxiv:1912.10980V2 [Math.AG] 28 Jan 2021 6
Automorphisms of real del Pezzo surfaces and the real plane Cremona group Egor Yasinsky* Universität Basel Departement Mathematik und Informatik Spiegelgasse 1, 4051 Basel, Switzerland ABSTRACT. We study automorphism groups of real del Pezzo surfaces, concentrating on finite groups acting with invariant Picard number equal to one. As a result, we obtain a vast part of classification of finite subgroups in the real plane Cremona group. CONTENTS 1. Introduction 2 1.1. The classification problem2 1.2. G-surfaces3 1.3. Some comments on the conic bundle case4 1.4. Notation and conventions6 2. Some auxiliary results7 2.1. A quick look at (real) del Pezzo surfaces7 2.2. Sarkisov links8 2.3. Topological bounds9 2.4. Classical linear groups 10 3. Del Pezzo surfaces of degree 8 10 4. Del Pezzo surfaces of degree 6 13 5. Del Pezzo surfaces of degree 5 16 arXiv:1912.10980v2 [math.AG] 28 Jan 2021 6. Del Pezzo surfaces of degree 4 18 6.1. Topology and equations 18 6.2. Automorphisms 20 6.3. Groups acting minimally on real del Pezzo quartics 21 7. Del Pezzo surfaces of degree 3: cubic surfaces 28 Sylvester non-degenerate cubic surfaces 34 7.1. Clebsch diagonal cubic 35 *[email protected] Keywords: Cremona group, conic bundle, del Pezzo surface, automorphism group, real algebraic surface. 1 2 7.2. Cubic surfaces with automorphism group S4 36 Sylvester degenerate cubic surfaces 37 7.3. Equianharmonic case: Fermat cubic 37 7.4. Non-equianharmonic case 39 7.5. Non-cyclic Sylvester degenerate surfaces 39 8. Del Pezzo surfaces of degree 2 40 9. -
Real Rank Two Geometry Arxiv:1609.09245V3 [Math.AG] 5
Real Rank Two Geometry Anna Seigal and Bernd Sturmfels Abstract The real rank two locus of an algebraic variety is the closure of the union of all secant lines spanned by real points. We seek a semi-algebraic description of this set. Its algebraic boundary consists of the tangential variety and the edge variety. Our study of Segre and Veronese varieties yields a characterization of tensors of real rank two. 1 Introduction Low-rank approximation of tensors is a fundamental problem in applied mathematics [3, 6]. We here approach this problem from the perspective of real algebraic geometry. Our goal is to give an exact semi-algebraic description of the set of tensors of real rank two and to characterize its boundary. This complements the results on tensors of non-negative rank two presented in [1], and it offers a generalization to the setting of arbitrary varieties, following [2]. A familiar example is that of 2 × 2 × 2-tensors (xijk) with real entries. Such a tensor lies in the closure of the real rank two tensors if and only if the hyperdeterminant is non-negative: 2 2 2 2 2 2 2 2 x000x111 + x001x110 + x010x101 + x011x100 + 4x000x011x101x110 + 4x001x010x100x111 −2x000x001x110x111 − 2x000x010x101x111 − 2x000x011x100x111 (1) −2x001x010x101x110 − 2x001x011x100x110 − 2x010x011x100x101 ≥ 0: If this inequality does not hold then the tensor has rank two over C but rank three over R. To understand this example geometrically, consider the Segre variety X = Seg(P1 × P1 × P1), i.e. the set of rank one tensors, regarded as points in the projective space P7 = 2 2 2 7 arXiv:1609.09245v3 [math.AG] 5 Apr 2017 P(C ⊗ C ⊗ C ). -
Combination of Cubic and Quartic Plane Curve
IOSR Journal of Mathematics (IOSR-JM) e-ISSN: 2278-5728,p-ISSN: 2319-765X, Volume 6, Issue 2 (Mar. - Apr. 2013), PP 43-53 www.iosrjournals.org Combination of Cubic and Quartic Plane Curve C.Dayanithi Research Scholar, Cmj University, Megalaya Abstract The set of complex eigenvalues of unistochastic matrices of order three forms a deltoid. A cross-section of the set of unistochastic matrices of order three forms a deltoid. The set of possible traces of unitary matrices belonging to the group SU(3) forms a deltoid. The intersection of two deltoids parametrizes a family of Complex Hadamard matrices of order six. The set of all Simson lines of given triangle, form an envelope in the shape of a deltoid. This is known as the Steiner deltoid or Steiner's hypocycloid after Jakob Steiner who described the shape and symmetry of the curve in 1856. The envelope of the area bisectors of a triangle is a deltoid (in the broader sense defined above) with vertices at the midpoints of the medians. The sides of the deltoid are arcs of hyperbolas that are asymptotic to the triangle's sides. I. Introduction Various combinations of coefficients in the above equation give rise to various important families of curves as listed below. 1. Bicorn curve 2. Klein quartic 3. Bullet-nose curve 4. Lemniscate of Bernoulli 5. Cartesian oval 6. Lemniscate of Gerono 7. Cassini oval 8. Lüroth quartic 9. Deltoid curve 10. Spiric section 11. Hippopede 12. Toric section 13. Kampyle of Eudoxus 14. Trott curve II. Bicorn curve In geometry, the bicorn, also known as a cocked hat curve due to its resemblance to a bicorne, is a rational quartic curve defined by the equation It has two cusps and is symmetric about the y-axis. -
Curvature Theorems on Polar Curves
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES Volume 33 March 15, 1947 Number 3 CURVATURE THEOREMS ON POLAR CUR VES* By EDWARD KASNER AND JOHN DE CICCO DEPARTMENT OF MATHEMATICS, COLUMBIA UNIVERSITY, NEW YoRK Communicated February 4, 1947 1. The principle of duality in projective geometry is based on the theory of poles and polars with respect to a conic. For a conic, a point has only one kind of polar, the first polar, or polar straight line. However, for a general algebraic curve of higher degree n, a point has not only the first polar of degree n - 1, but also the second polar of degree n - 2, the rth polar of degree n - r, :. ., the (n - 1) polar of degree 1. This last polar is a straight line. The general polar theory' goes back to Newton, and was developed by Bobillier, Cayley, Salmon, Clebsch, Aronhold, Clifford and Mayer. For a given curve Cn of degree n, the first polar of any point 0 of the plane is a curve C.-1 of degree n - 1. If 0 is a point of C, it is well known that the polar curve C,,- passes through 0 and touches the given curve Cn at 0. However, the two curves do not have the same curvature. We find that the ratio pi of the curvature of C,- i to that of Cn is Pi = (n -. 2)/(n - 1). For example, if the given curve is a cubic curve C3, the first polar is a conic C2, and at an ordinary point 0 of C3, the ratio of the curvatures is 1/2. -
Diophantine Problems in Polynomial Theory
Diophantine Problems in Polynomial Theory by Paul David Lee B.Sc. Mathematics, The University of British Columbia, 2009 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The College of Graduate Studies (Mathematics) THE UNIVERSITY OF BRITISH COLUMBIA (Okanagan) August 2011 c Paul David Lee 2011 Abstract Algebraic curves and surfaces are playing an increasing role in mod- ern mathematics. From the well known applications to cryptography, to computer vision and manufacturing, studying these curves is a prevalent problem that is appearing more often. With the advancement of computers, dramatic progress has been made in all branches of algebraic computation. In particular, computer algebra software has made it much easier to find rational or integral points on algebraic curves. Computers have also made it easier to obtain rational parametrizations of certain curves and surfaces. Each algebraic curve has an associated genus, essentially a classification, that determines its topological structure. Advancements on methods and theory on curves of genus 0, 1 and 2 have been made in recent years. Curves of genus 0 are the only algebraic curves that you can obtain a rational parametrization for. Curves of genus 1 (also known as elliptic curves) have the property that their rational points have a group structure and thus one can call upon the massive field of group theory to help with their study. Curves of higher genus (such as genus 2) do not have the background and theory that genus 0 and 1 do but recent advancements in theory have rapidly expanded advancements on the topic. -
Geometry of Algebraic Curves
Geometry of Algebraic Curves Fall 2011 Course taught by Joe Harris Notes by Atanas Atanasov One Oxford Street, Cambridge, MA 02138 E-mail address: [email protected] Contents Lecture 1. September 2, 2011 6 Lecture 2. September 7, 2011 10 2.1. Riemann surfaces associated to a polynomial 10 2.2. The degree of KX and Riemann-Hurwitz 13 2.3. Maps into projective space 15 2.4. An amusing fact 16 Lecture 3. September 9, 2011 17 3.1. Embedding Riemann surfaces in projective space 17 3.2. Geometric Riemann-Roch 17 3.3. Adjunction 18 Lecture 4. September 12, 2011 21 4.1. A change of viewpoint 21 4.2. The Brill-Noether problem 21 Lecture 5. September 16, 2011 25 5.1. Remark on a homework problem 25 5.2. Abel's Theorem 25 5.3. Examples and applications 27 Lecture 6. September 21, 2011 30 6.1. The canonical divisor on a smooth plane curve 30 6.2. More general divisors on smooth plane curves 31 6.3. The canonical divisor on a nodal plane curve 32 6.4. More general divisors on nodal plane curves 33 Lecture 7. September 23, 2011 35 7.1. More on divisors 35 7.2. Riemann-Roch, finally 36 7.3. Fun applications 37 7.4. Sheaf cohomology 37 Lecture 8. September 28, 2011 40 8.1. Examples of low genus 40 8.2. Hyperelliptic curves 40 8.3. Low genus examples 42 Lecture 9. September 30, 2011 44 9.1. Automorphisms of genus 0 an 1 curves 44 9.2. -
1 Riemann Surfaces - Sachi Hashimoto
1 Riemann Surfaces - Sachi Hashimoto 1.1 Riemann Hurwitz Formula We need the following fact about the genus: Exercise 1 (Unimportant). The genus is an invariant which is independent of the triangu- lation. Thus we can speak of it as an invariant of the surface, or of the Euler characteristic χ(X) = 2 − 2g. This can be proven by showing that the genus is the dimension of holomorphic one forms on a Riemann surface. Motivation: Suppose we have some hyperelliptic curve C : y2 = (x+1)(x−1)(x+2)(x−2) and we want to determine the topology of the solution set. For almost every x0 2 C we can find two values of y 2 C such that (x0; y) is a solution. However, when x = ±1; ±2 there is only one y-value, y = 0, which satisfies this equation. There is a nice way to do this with branch cuts{the square root function is well defined everywhere as a two valued functioned except at these points where we have a portal between the \positive" and the \negative" world. Here it is best to draw some pictures, so I will omit this part from the typed notes. But this is not very systematic, so let me say a few words about our eventual goal. What we seem to be doing is projecting our curve to the x-coordinate and then considering what this generically degree 2 map does on special values. The hope is that we can extract from this some topological data: because the sphere is a known quantity, with genus 0, and the hyperelliptic curve is our unknown, quantity, our goal is to leverage the knowns and unknowns. -
Fermat's Spiral and the Line Between Yin and Yang
FERMAT’S SPIRAL AND THE LINE BETWEEN YIN AND YANG TARAS BANAKH ∗, OLEG VERBITSKY †, AND YAROSLAV VOROBETS ‡ Abstract. Let D denote a disk of unit area. We call a set A D perfect if it has measure 1/2 and, with respect to any axial symmetry of D⊂, the maximal symmetric subset of A has measure 1/4. We call a curve β in D an yin-yang line if β splits D into two congruent perfect sets, • β crosses each concentric circle of D twice, • β crosses each radius of D once. We• prove that Fermat’s spiral is a unique yin-yang line in the class of smooth curves algebraic in polar coordinates. 1. Introduction The yin-yang concept comes from ancient Chinese philosophy. Yin and Yang refer to the two fundamental forces ruling everything in nature and human’s life. The two categories are opposite, complementary, and intertwined. They are depicted, respectively, as the dark and the light area of the well-known yin-yang symbol (also Tai Chi or Taijitu, see Fig. 1). The borderline between these areas represents in Eastern thought the equilibrium between Yin and Yang. From the mathematical point of view, the yin-yang symbol is a bipartition of the disk by a certain curve β, where by curve we mean the image of a real segment under an injective continuous map. We aim at identifying this curve, up to deriving an explicit mathematical expression for it. Such a project should apparently begin with choosing a set of axioms for basic properties of the yin-yang symbol in terms of β. -
An Exploration of the Group Law on an Elliptic Curve Tanuj Nayak
An Exploration of the Group Law on an Elliptic Curve Tanuj Nayak Abstract Given its abstract nature, group theory is a branch of mathematics that has been found to have many important applications. One such application forms the basis of our modern Elliptic Curve Cryptography. This application is based on the axiom that all the points on an algebraic elliptic curve form an abelian group with the point at infinity being the identity element. This one axiom can be explored further to branch out many interesting implications which this paper explores. For example, it can be shown that choosing any point on the curve as the identity element with the same group operation results in isomorphic groups along the same curve. Applications can be extended to geometry as well, simplifying proofs of what would otherwise be complicated theorems. For example, the application of the group law on elliptic curves allows us to derive a simple proof of Pappus’s hexagon theorem and Pascal’s Theorem. It bypasses the long traditional synthetic geometrical proofs of both theorems. Furthermore, application of the group law of elliptic curves along a conic section gives us an interesting rule of constructing a tangent to any conic section at a point with only the aid of a straight-edge ruler. Furthermore, this paper explores the geometric and algebraic properties of an elliptic curve’s subgroups. (212 words) Contents Introduction .................................................................................................................................... -
Algebraic Plane Curves Deposited by the Faculty of Graduate Studies and Research
PLUCKER'3 : NUMBERS: ALGEBRAIC PLANE CURVES DEPOSITED BY THE FACULTY OF GRADUATE STUDIES AND RESEARCH Iw • \TS • \t£S ACC. NO UNACC.'»"1928 PLITCOR'S FOOTERS IE THE THEORY 0? ALGEBRAIC PLAITS CURVES A Thesis presented in partial fulfilment for the degree of -Master of Arts, Department of Mathematics. April 28, 1928. by ALICiD WI1LARD TURIIPP. Acknowledgment Any commendation which this thesis may merit, is in large measure due to Dr. C..T. Sullivan, Peter Re&path Professor of Pure Mathematics; and I take this opportunity to express my indebtedness to him. April 25, 1928. I IT D A :: IITTPODIICTIOI? SECTIOH I. • pp.l-S4 Algebraic Curve defined. Intersection of two curves. Singular points on curves. Conditions for multiple points. Conditions determining an n-ic. Maximum number of double points. Examples. SECTION II ...... pp.25-39 Class of curve. Tangerfcial equations. Polar reciprocation. Singularities on a curve and its reciprocal. Superlinear branches, with application to intersections of two curves at singular points. Examples. 3SCTI0IT III pp.40-52 Polar Curves. Intersections of Curve and Pirst Polar. Hessian.Intersections of Hessian and Curve. Examples. 3ECTI0TT IV . .................. pp.52-69 Pliicker's numbers and Equations for simple singularities. Deficiency. Unicursal Curves. Classification of cubies and quartics. Extension of Plucker's relations to k-ple points with distinct tangents, and to ordinary superlinear branch points. Short discussion of Higher Singularities. Examples. I PhTJCPEirS PTE.3EE3 IE PEE EHSOHY CF ALGEBRAIC Ph-TITE CUPYE3. IPPEODUCPIOH Pith the advent of the nineteenth century,a new era dawned in the progress of analytic geometry. The appearance of poiiceletTs, "Traite des proprietes project ives des figures", in 1822, really initiated modern geometry. -
Quadratic Transformations / Probability and Point Set Theory
QUADRATIC TRANSFORMATIONS QUADRATIC TRANSFORMATIONS I CREMONA TRANSFORMATIONS I II QUADRATIC TRANSFORMATIONS 6 III QUADRAIC INVERSION 7 IV DEGENERATE CASES 9 V SUCCESSIVE QUADRATIC TRANSFORMATIONS 12 VI GEOMETRIC CONSTRUCTIONS OF QUADRATIC TRANSFORMATIONS 15 VII APPLICATIONS 19 VIII SINGULARITIES OF A PLANE CURVE 20 IX HIGHER SINGULARITIES OF PLANE CURVES 24 « X ANALYSIS OF HIGHER SINGULARITIES BY QUADRATIC TRANSFORMATIONS 24 XI EXAMPLES 28 XII NOETHER'S THEOREM 31 BIBLIOGRAPHY QUADRATIC TRANSPORTATIONS I CR3MOHA TRAIISFBRMATIŒJS T3To consider the general problem of finding birational transformations between two spaces, with homogeneous coordinates (x,y,...) and (x',y* That is we want to find a transformation so that the relation 1) x':y*:... 3 X:Y*... where X,Y,... are rational,integral,h<$geneous functions, of the degree n, in (x,y,.,,)f implies the relation 2) x:y*... - X'sY':... where X’,Y*,... are rational, integral, homogeneous functions , of the degree n*, in (x*,y* That is,to each point (x,y,..«) there is to correspond one and only one point (x*,y*,...) and conversely. As an introductory example, we consider the transformation of the coordinates on a line. We are to have 3j xsy s X* sY* and 4) x*iy8 - X:Y with X,Y,X*,Y* all rational. The equation x'*y* s XsY must give a single variable value for the ratio x/y. But if X and Y are of the order n, there are n values of x/y for each value of xî/y*. Since but one of these is to be variable, we must have n - 1 values independent of x* and y*, this can only be the case if X and Y have a common factor of order n-1 . -
Geometry of Algebraic Curves
Geometry of Algebraic Curves Lectures delivered by Joe Harris Notes by Akhil Mathew Fall 2011, Harvard Contents Lecture 1 9/2 x1 Introduction 5 x2 Topics 5 x3 Basics 6 x4 Homework 11 Lecture 2 9/7 x1 Riemann surfaces associated to a polynomial 11 x2 IOUs from last time: the degree of KX , the Riemann-Hurwitz relation 13 x3 Maps to projective space 15 x4 Trefoils 16 Lecture 3 9/9 x1 The criterion for very ampleness 17 x2 Hyperelliptic curves 18 x3 Properties of projective varieties 19 x4 The adjunction formula 20 x5 Starting the course proper 21 Lecture 4 9/12 x1 Motivation 23 x2 A really horrible answer 24 x3 Plane curves birational to a given curve 25 x4 Statement of the result 26 Lecture 5 9/16 x1 Homework 27 x2 Abel's theorem 27 x3 Consequences of Abel's theorem 29 x4 Curves of genus one 31 x5 Genus two, beginnings 32 Lecture 6 9/21 x1 Differentials on smooth plane curves 34 x2 The more general problem 36 x3 Differentials on general curves 37 x4 Finding L(D) on a general curve 39 Lecture 7 9/23 x1 More on L(D) 40 x2 Riemann-Roch 41 x3 Sheaf cohomology 43 Lecture 8 9/28 x1 Divisors for g = 3; hyperelliptic curves 46 x2 g = 4 48 x3 g = 5 50 1 Lecture 9 9/30 x1 Low genus examples 51 x2 The Hurwitz bound 52 2.1 Step 1 . 53 2.2 Step 10 ................................. 54 2.3 Step 100 ................................ 54 2.4 Step 2 .