The Convex Hull of a Space Curve. Bernd Sturmfels, UC Berkeley (two papers with Kristian Ranestad)
|
|
- June Shields
- 6 years ago
- Views:
Transcription
1 The Convex Hull of a Space Curve Bernd Sturmfels, UC Berkeley (two papers with Kristian Ranestad)
2 Convex Hull of a Trigonometric Curve { (cos(θ), sin(2θ), cos(3θ) ) R 3 : θ [0, 2π] } = { (x, y, z) R 3 : x 2 y 2 xz = z 4x 3 + 3x = 0 }
3 Convex Hull of a Trigonometric Curve { (cos(θ), sin(2θ), cos(3θ) ) R 3 : θ [0, 2π] } = { (x, y, z) R 3 : x 2 y 2 xz = z 4x 3 + 3x = 0 }
4 Boundary Surface Patches The yellow surface has degree 3 and it equals z 4x 3 + 3x = 0. The green surface has degree 16 and its defining polynomial is 1024x x 14 y x 12 y x 10 y x 8 y x 6 y x 4 y x 15 z 14080x 13 y 2 z 72000x 11 y 4 z x 9 y 6 z x 7 y 8 z x 5 y 10 z x 14 z x 12 y 2 z x 10 y 4 z x 8 y 6 z x 6 y 8 z x 13 z x 11 y 2 z x 9 y 4 z x 7 y 6 z x 12 z x 10 y 2 z x 8 y 4 z x 11 z x 9 y 2 z x 10 z x x 12 y x 10 y x 8 y x 6 y x 4 y x 2 y y x 13 z x 11 y 2 z x 9 y 4 z x 7 y 6 z 67680x 5 y 8 z x 3 y 10 z xy 12 z 81600x 12 z x 10 y 2 z x 8 y 4 z x 6 y 6 z x 4 y 8 z x 2 y 10 z x 11 z x 9 y 2 z x 7 y 4 z x 5 y 6 z x 3 y 8 z x 10 z x 8 y 2 z x 6 y 4 z x 4 y 6 z x 9 z x 7 y 2 z x 5 y 4 z x 8 z x 6 y 2 z x 7 z x x 10 y x 8 y x 6 y x 4 y x 2 y y x 11 z x 9 y 2 z x 7 y 4 z x 5 y 6 z 79748x 3 y 8 z 18288xy 10 z x 10 z x 8 y 2 z x 6 y 4 z x 4 y 6 z x 2 y 8 z 2 936y 10 z x 9 z x 7 y 2 z x 5 y 4 z x 3 y 6 z xy 8 z x 8 z x 6 y 2 z x 4 y 4 z x 2 y 6 z 4 + y 8 z x 7 z x 5 y 2 z x 3 y 4 z 5 + 4xy 6 z x 6 z x 4 y 2 z 6 + 6x 2 y 4 z 6 152x 5 z 7 + 4x 3 y 2 z 7 + x 4 z x x 8 y x 6 y x 4 y x 2 y x 9 z x 7 y 2 z x 5 y 4 z x 3 y 6 z xy 8 z 25880x 8 z x 6 y 2 z x 4 y 4 z x 2 y 6 z y 8 z x 7 z x 5 y 2 z x 3 y 4 z xy 6 z x 6 z x 4 y 2 z x 2 y 4 z y 6 z x 5 z x 3 y 2 z xy 4 z 5 984x 4 z x 2 y 2 z 6 2y 4 z x 3 z 7 4xy 2 z 7 2x 2 z x x 6 y x 4 y x 2 y x 7 z x 5 y 2 z x 3 y 4 z 24576xy 6 z 12500x 6 z x 4 y 2 z x 2 y 4 z y 6 z x 5 z x 3 y 2 z xy 4 z x 4 z x 2 y 2 z y 4 z 4 520x 3 z xy 2 z x 2 z 6 48y 2 z 6 24xz 7 + z 8.
5 Trigonometry Review A trigonometric polynomial of even degree d is an expression f (θ) = d/2 α j cos(jθ) + j=1 d/2 β j sin(jθ) + γ. j=1 A trigonometric space curve of degree d has the form C = { ( f 1 (θ), f 2 (θ), f 3 (θ) ) R 3 : θ [0, 2π] }. For general α j, β j, γ R, the curve C CP 3 is smooth and g = 0. Rational parametrization by change of coordinates cos(θ) = 1 t2 1 + t 2 and sin(θ) = 2t 1 + t 2. Express cos(jθ) and sin(jθ) as rational functions in t via ( cos(jθ) ) sin(jθ) sin(jθ) cos(jθ) = ( ) j cos(θ) sin(θ), sin(θ) cos(θ)
6 (Real) Algebraic Geometry Review Fix a compact algebraic curve C in R 3. Let C be the corresponding complex curve in CP 3. We define the degree d and genus g of C to be those of C. We say that C is smooth only if C is smooth. Reminder: Complex curves are Riemann surfaces.
7 (Real) Algebraic Geometry Review Fix a compact algebraic curve C in R 3. Let C be the corresponding complex curve in CP 3. We define the degree d and genus g of C to be those of C. We say that C is smooth only if C is smooth. Reminder: Complex curves are Riemann surfaces. The convex hull conv(c) of the real algebraic curve C is a compact, convex, semi-algebraic subset of R 3, and its boundary conv(c) is a pure 2-dimensional semi-algebraic subset of R 3. Let K be the subfield of R over which the curve C is defined. The algebraic boundary of conv(c) is the K-Zariski closure of conv(c) in C 3. The algebraic boundary is denoted a conv(c). This complex surface is usually reducible and reduced. Its defining polynomial in K[x, y, z] is unique up to scaling.
8 Our Degree Formulas Theorem. Let C be a general smooth compact curve of degree d and genus g in R 3. The algebraic boundary a conv(c) of its convex hull is the union of the edge surface of degree 2(d 3)(d + g 1) and the tritangent planes of which there are 8 ( ) d+g 1 3 8(d+g 4)(d+2g 2) + 8g 8.
9 Our Degree Formulas Theorem. Let C be a general smooth compact curve of degree d and genus g in R 3. The algebraic boundary a conv(c) of its convex hull is the union of the edge surface of degree 2(d 3)(d + g 1) and the tritangent planes of which there are 8 ( ) d+g 1 3 8(d+g 4)(d+2g 2) + 8g 8. A plane H in CP 3 is a tritangent plane of C if H is tangent to C at three points. We count these using De Jonquières formula. Given points p 1, p 2 C, their secant line L = span(p 1, p 2 ) is a stationary bisecant if the tangent lines of C at p 1 and p 2 lie in a common plane. The edge surface of C is the union of all stationary bisecant lines. Its degree was determined by Arrondo et al. (2001). Example. If d = 4 and g = 0 then the two numbers are 6 and 0.
10 Smooth Rational Quartic Curve The edge surface of the curve ( cos(θ), sin(θ) + cos(2θ), sin(2θ) ) is irreducible of degree six. d = 4, g = 0
11 Rational Sextic Curves Fix d = 6, g = 0. The algebraic boundary of the convex hull of a general trigonometric curve of degree 6 consists of 8 tritangent planes and an irreducible edge surface of degree 30. For special curves, these degrees drop and the edge surface degenerates... conv { (cos(θ), cos(2θ), sin(3θ)) : 0 θ 2π }
12 Morton s Curve C : θ 1 ( ) cos(3θ), sin(3θ), cos(2θ) 2 sin(2θ) Freedman (1980) whether every knotted curve in R 3 must have a tritangent plane. Morton (1991) showed that the answer is NO.
13 Curves with Singularities Theorem. The edge surface of a general irreducible space curve of degree d, geometric genus g, with n ordinary nodes and k ordinary cusps, has degree 2(d 3)(d+g 1) 2n 2k. Example. (d = 4, g = 0, n + k = 1) Consider a rational quartic curve with one ordinary singular point. The edge surface has degree 4. It is the union of two quadric cones.
14 Rational Quartic with a Node
15 Rational Quartic with a Cusp
16 Extension to Arbitrary Varieties Let X be a compact real algebraic variety in R n, whose complexification X CP n is smooth. For k N let X [k] be the Zariski closure in (CP n ) of the set of hyperplanes that are tangent to X at k regular points that span a (k 1)-flat. Thus X [1] = X is the dual variety. Consider the inclusions X [n] X [2] X [1] (CP n ).
17 Extension to Arbitrary Varieties Let X be a compact real algebraic variety in R n, whose complexification X CP n is smooth. For k N let X [k] be the Zariski closure in (CP n ) of the set of hyperplanes that are tangent to X at k regular points that span a (k 1)-flat. Thus X [1] = X is the dual variety. Consider the inclusions X [n] X [2] X [1] (CP n ). (X [k] ) is the k-th secant variety of X for small k. But we want n k dim(x ) + 1 This is necessary for (X [k] ) to be a hypersurface. Theorem The algebraic boundary of the convex body P = conv(x ) can be computed by projective biduality using the formula a (P) k (X [k] ).
18 Curves Revisited Plane Curves: If X is a non-convex curve in R 2 of degree d then a (P) = (X [1] ) (X [2] ) = X (X [2] ). For smooth X, the classical Plücker formulas determine the number of (complex) bitangent lines. Hence, a (P) is a curve of degree d + deg(x [2] (d 3)(d 2) d (d + 3) ) = d +. 2 Space Curves: If n = 3, dim(x ) = 1, and r(x ) = 2 then a (P) = (X [2] ) (X [3] ).
19 Surfaces in 3-Space Let X be a general smooth compact surface in R 3. Then a (P) = (X [1] ) (X [2] ) (X [3] ) = X (X [2] ) (X [3] ), Suppose deg(x ) = d. Piene and Vainsencher (1970s) give degree of the curve X [2], its dual surface (X [2] ), and the finite set X [3] : deg(x [2] ) = d(d 1)(d 2)(d 3 d 2 + d 12), 2 deg ( (X [2] ) ) = d(d 2)(d 3)(d 2 + 2d 4), deg(x [3] ) = deg ( (X [3] ) ) = = d9 6d 8 +15d 7 59d d 5 339d d d d 6 Of course, the degree of a (X ) is much smaller for singular X...
20 THE END: Four Pairwise Touching Circles Figure: Schlegel diagram of the convex hull of 4 pairwise touching circles
The Convex Hull of a Space Curve
The Convex Hull of a Space Curve Bernd Sturmfels, UC Berkeley (joint work with Kristian Ranestad) The Mathematics of Klee & Grünbaum: 100 Years in Seattle Friday, July 30, 2010 Convex Hull of a Trigonometric
More informationChanging Views on Curves and Surfaces
Changing Views on and Kathle n Kohn (TU Berlin) joint work with Bernd Sturmfels (MPI MIS Leipzig, UC Berkeley) and Matthew Trager (Inria, E cole Normale Suprieure Paris, CNRS, PSL Research University)
More informationCONVEX HULL OF TWO CIRCLES IN R 3
Fields CAG book, to appear, 20 January 2017arXiv.org/1612.09382 CONVEX HULL OF TWO CIRCLES IN R 3 EVAN D. NASH, ATA FIRAT PIR, FRANK SOTTILE, AND LI YING ABSTRACT. We describe convex hulls of the simplest
More informationCremona transformations
Synopsis for Tuesday, November 1 Cremona transformations Let N be a net with base-points. It gives a generically one-to-one map of P 2 into N blowing up the base-points and blowing-down the lines joining
More informationRATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES. Contents 1. Introduction 1 2. The proof of Theorem References 9
RATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES IZZET COSKUN AND JASON STARR Abstract. We prove that the space of rational curves of a fixed degree on any smooth cubic hypersurface of dimension at least
More informationChapter 6. Curves and Surfaces. 6.1 Graphs as Surfaces
Chapter 6 Curves and Surfaces In Chapter 2 a plane is defined as the zero set of a linear function in R 3. It is expected a surface is the zero set of a differentiable function in R n. To motivate, graphs
More informationLinear Systems of Conics
Synopsis for Tuesday, November 6 and Thursday, November 8 Linear Systems of Conics As we have already noted, the linear space of global sections Γ(2H) of the divisor 2H on P 2 consists of all the conics.
More informationA COINCIDENCE BETWEEN GENUS 1 CURVES AND CANONICAL CURVES OF LOW DEGREE
A COINCIDENCE BETWEEN GENUS 1 CURVES AND CANONICAL CURVES OF LOW DEGREE AARON LANDESMAN 1. A COINCIDENCE IN DEGREES 3, 4, AND 5 Describing equations for the low degree canonical embeddings are a very classical
More informationTHE ENUMERATIVE GEOMETRY OF DEL PEZZO SURFACES VIA DEGENERATIONS
THE ENUMERATIVE GEOMETRY OF DEL PEZZO SURFACES VIA DEGENERATIONS IZZET COSKUN Abstract. This paper investigates low-codimension degenerations of Del Pezzo surfaces. As an application we determine certain
More informationLinear Precision for Parametric Patches
Department of Mathematics Texas A&M University March 30, 2007 / Texas A&M University Algebraic Geometry and Geometric modeling Geometric modeling uses polynomials to build computer models for industrial
More informationMultiple View Geometry in Computer Vision
Multiple View Geometry in Computer Vision Prasanna Sahoo Department of Mathematics University of Louisville 1 More on Single View Geometry Lecture 11 2 In Chapter 5 we introduced projection matrix (which
More informationarxiv:math/ v1 [math.ag] 14 Jul 2004
arxiv:math/0407255v1 [math.ag] 14 Jul 2004 Degenerations of Del Pezzo Surfaces and Gromov-Witten Invariants of the Hilbert Scheme of Conics Izzet Coskun January 13, 2004 Abstract: This paper investigates
More informationRationality constructions for cubic hypersurfaces
Rationality constructions for cubic hypersurfaces ICERM workshop Birational Geometry and Arithmetic Brendan Hassett Brown University May 14, 2018 Goals for this talk Our focus is smooth cubic fourfolds
More informationChapter 3. Quadric hypersurfaces. 3.1 Quadric hypersurfaces Denition.
Chapter 3 Quadric hypersurfaces 3.1 Quadric hypersurfaces. 3.1.1 Denition. Denition 1. In an n-dimensional ane space A; given an ane frame fo;! e i g: A quadric hypersurface in A is a set S consisting
More informationThe Manifold of Planes that Intersect Four Straight Lines in Points of a Circle
Journal for Geometry and Graphics Volume 8 (2004), No. 1, 59 68. The Manifold of Planes that Intersect Four Straight Lines in Points of a Circle Hans-Peter Schröcker Institute of Discrete Mathematics and
More informationarxiv:math/ v2 [math.ag] 12 Dec 2007
arxiv:math/0609548v2 [math.ag] 12 Dec 2007 The generic special scroll of genus g in P N. Special Scrolls in P 3. Luis Fuentes García Manuel Pedreira Pérez Authors address: Departamento de Métodos Matemáticos
More informationLECTURE 13, THURSDAY APRIL 1, 2004
LECTURE 13, THURSDAY APRIL 1, 2004 FRANZ LEMMERMEYER 1. Parametrizing Curves of Genus 0 As a special case of the theorem that curves of genus 0, in particular those with the maximal number of double points,
More informationL-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY
MOSCOW MATHEMATICAL JOURNAL Volume 3, Number 3, July September 2003, Pages 1013 1037 L-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY A. KHOVANSKII AND D. NOVIKOV Dedicated to Vladimir Igorevich
More informationAlgebraic Geometry of Segmentation and Tracking
Ma191b Winter 2017 Geometry of Neuroscience Geometry of lines in 3-space and Segmentation and Tracking This lecture is based on the papers: Reference: Marco Pellegrini, Ray shooting and lines in space.
More informationCurves and Surfaces Computer Graphics I Lecture 9
15-462 Computer Graphics I Lecture 9 Curves and Surfaces Parametric Representations Cubic Polynomial Forms Hermite Curves Bezier Curves and Surfaces [Angel 10.1-10.6] February 19, 2002 Frank Pfenning Carnegie
More informationarxiv: v2 [math.nt] 4 Jun 2014
RATIONAL HYPERBOLIC TRIANGLES AND A QUARTIC MODEL OF ELLIPTIC CURVES NICOLAS BRODY AND JORDAN SCHETTLER arxiv:14060467v2 [mathnt] 4 Jun 2014 Abstract The family of Euclidean triangles having some fixed
More informationPERIODS OF ALGEBRAIC VARIETIES
PERIODS OF ALGEBRAIC VARIETIES OLIVIER DEBARRE Abstract. The periods of a compact complex algebraic manifold X are the integrals of its holomorphic 1-forms over paths. These integrals are in general not
More informationOn the classification of real algebraic curves and surfaces
On the classification of real algebraic curves and surfaces Ragni Piene Centre of Mathematics for Applications and Department of Mathematics, University of Oslo COMPASS, Kefermarkt, October 2, 2003 1 Background
More informationarxiv: v2 [cs.cg] 24 Jul 2011
Ice-Creams and Wedge Graphs Eyal Ackerman Tsachik Gelander Rom Pinchasi Abstract arxiv:116.855v2 [cs.cg] 24 Jul 211 What is the minimum angle α > such that given any set of α-directional antennas (that
More informationConics on the Cubic Surface
MAAC 2004 George Mason University Conics on the Cubic Surface Will Traves U.S. Naval Academy USNA Trident Project This talk is a preliminary report on joint work with MIDN 1/c Andrew Bashelor and my colleague
More informationCS3621 Midterm Solution (Fall 2005) 150 points
CS362 Midterm Solution Fall 25. Geometric Transformation CS362 Midterm Solution (Fall 25) 5 points (a) [5 points] Find the 2D transformation matrix for the reflection about the y-axis transformation (i.e.,
More informationThe Manifold of Planes that Intersect Four Straight Lines in Points of a Circle
The Manifold of Planes that Intersect Four Straight Lines in Points of a Circle Hans-Peter Schröcker Institute of Discrete Mathematics and Geometry Vienna University of Technology March 7, 2004 Our topic
More informationDiscriminant Coamoebas in Dimension Three
Discriminant Coamoebas in Dimension Three KIAS Winter School on Mirror Symm......elevinsky A-Philosophy and Beyond, 27 February 2017. Frank Sottile sottile@math.tamu.edu Joint work with Mounir Nisse A-Discriminants
More informationCurve and Surface Basics
Curve and Surface Basics Implicit and parametric forms Power basis form Bezier curves Rational Bezier Curves Tensor Product Surfaces ME525x NURBS Curve and Surface Modeling Page 1 Implicit and Parametric
More informationLecture 2. Topology of Sets in R n. August 27, 2008
Lecture 2 Topology of Sets in R n August 27, 2008 Outline Vectors, Matrices, Norms, Convergence Open and Closed Sets Special Sets: Subspace, Affine Set, Cone, Convex Set Special Convex Sets: Hyperplane,
More informationCS-9645 Introduction to Computer Vision Techniques Winter 2019
Table of Contents Projective Geometry... 1 Definitions...1 Axioms of Projective Geometry... Ideal Points...3 Geometric Interpretation... 3 Fundamental Transformations of Projective Geometry... 4 The D
More informationGeometric approximation of curves and singularities of secant maps Ghosh, Sunayana
University of Groningen Geometric approximation of curves and singularities of secant maps Ghosh, Sunayana IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish
More informationLecture 0: Reivew of some basic material
Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms
More informationKnots and surfaces in 3-dimensional space
March 13, 2012 Knots Definition A knot is a smooth embedding of the circle into 3-dimensional space. Knots Figure: A knot Knots Fact I: The mathematical study of knots includes several different branches,
More informationFlat Surfaces, Teichmueller Discs, Veech Groups, and the Veech Tessellation
Flat Surfaces, Teichmueller Discs, Veech Groups, and the Veech Tessellation S. Allen Broughton - Rose-Hulman Institute of Technology Chris Judge - Indiana University AMS Regional Meeting at Pennsylvania
More informationAlgebraic Curves in Structure From Motion
Algebraic Curves in Structure From Motion Jeremy Yirmeyahu Kaminski and Mina Teicher Bar-Ilan University, Department of Mathematics and Statistics, Ramat-Gan, Israel. E-mail: {kaminsj,teicher}@macs.biu.ac.il
More informationLecture 3: Convex sets
Lecture 3: Convex sets Rajat Mittal IIT Kanpur We denote the set of real numbers as R. Most of the time we will be working with space R n and its elements will be called vectors. Remember that a subspace
More informationDuality of Plane Curves
Duality of Plane Curves Maria Monks December 1, 2011 Abstract The dual of an algebraic curve C in RP 2 defined by the polynomial equation f(x, y, z) = ( f x ) f f 0 is the locus of points (a, b, c) : (a,
More informationBoundary Curves of Incompressible Surfaces
Boundary Curves of Incompressible Surfaces Allen Hatcher This is a Tex version, made in 2004, of a paper that appeared in Pac. J. Math. 99 (1982), 373-377, with some revisions in the exposition. Let M
More informationFano varieties and polytopes
Fano varieties and polytopes Olivier DEBARRE The Fano Conference Torino, September 29 October 5, 2002 Smooth Fano varieties A smooth Fano variety (over a fixed algebraically closed field k) is a smooth
More informationIce-Creams and Wedge Graphs
Ice-Creams and Wedge Graphs Eyal Ackerman Tsachik Gelander Rom Pinchasi Abstract What is the minimum angle α > such that given any set of α-directional antennas (that is, antennas each of which can communicate
More informationConvex Optimization. 2. Convex Sets. Prof. Ying Cui. Department of Electrical Engineering Shanghai Jiao Tong University. SJTU Ying Cui 1 / 33
Convex Optimization 2. Convex Sets Prof. Ying Cui Department of Electrical Engineering Shanghai Jiao Tong University 2018 SJTU Ying Cui 1 / 33 Outline Affine and convex sets Some important examples Operations
More informationChapter 4 Concepts from Geometry
Chapter 4 Concepts from Geometry An Introduction to Optimization Spring, 2014 Wei-Ta Chu 1 Line Segments The line segment between two points and in R n is the set of points on the straight line joining
More informationConvex Sets. Pontus Giselsson
Convex Sets Pontus Giselsson 1 Today s lecture convex sets convex, affine, conical hulls closure, interior, relative interior, boundary, relative boundary separating and supporting hyperplane theorems
More informationReliable Location with Respect to the Projection of a Smooth Space Curve
Reliable Location with Respect to the Projection of a Smooth Space Curve Rémi Imbach Marc Pouget INRIA Nancy Grand Est, LORIA laboratory, Nancy, France. firstname.name@inria.fr Guillaume Moroz Abstract
More informationParameter spaces for curves on surfaces and enumeration of rational curves
Compositio Mathematica 3: 55 8, 998. 55 c 998 Kluwer Academic Publishers. Printed in the Netherlands. Parameter spaces for curves on surfaces and enumeration of rational curves LUCIA CAPORASO and JOE HARRIS
More informationDifferential Geometry: Circle Patterns (Part 1) [Discrete Conformal Mappinngs via Circle Patterns. Kharevych, Springborn and Schröder]
Differential Geometry: Circle Patterns (Part 1) [Discrete Conformal Mappinngs via Circle Patterns. Kharevych, Springborn and Schröder] Preliminaries Recall: Given a smooth function f:r R, the function
More informationAdaptive and Smooth Surface Construction by Triangular A-Patches
Adaptive and Smooth Surface Construction by Triangular A-Patches Guoliang Xu Institute of Computational Mathematics and Scientific/Engineering Computing, Chinese Academy of Sciences, Beijing, China Abstract
More informationControl point based representation of inellipses of triangles
Annales Mathematicae et Informaticae 40 (2012) pp. 37 46 http://ami.ektf.hu Control point based representation of inellipses of triangles Imre Juhász Department of Descriptive Geometry, University of Miskolc,
More informationPUBLISHED BY THE UNIVERSITY OF ILLINOIS, URBANA
UNIVERSITY OF ILLINOIS URBANA LIBRARY UNIVERSITY OF ILLINOIS BULLETIN Issued Weekly Vol XX June 18, 1923 No. 42 [Entered as second-class matter December 11, 1912, at the post office at Urbana, Illinois,
More informationTopology 550A Homework 3, Week 3 (Corrections: February 22, 2012)
Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012) Michael Tagare De Guzman January 31, 2012 4A. The Sorgenfrey Line The following material concerns the Sorgenfrey line, E, introduced in
More informationConvex Algebraic Geometry
, North Carolina State University What is convex algebraic geometry? Convex algebraic geometry is the study of convex semialgebraic objects, especially those arising in optimization and statistics. What
More informationFinding All Real Points of a Complex Algebraic Curve
Finding All Real Points of a Complex Algebraic Curve Charles Wampler General Motors R&D Center In collaboration with Ye Lu (MIT), Daniel Bates (IMA), & Andrew Sommese (University of Notre Dame) Outline
More informationEnvelopes Computational Theory and Applications
Envelopes Computational Theory and Applications Category: survey Abstract for points, whose tangent plane maps to a line under the projection. These points form the so-called Based on classical geometric
More informationED degree of smooth projective varieties
ED degree of smooth projective varieties Paolo Aluffi and Corey Harris December 9, 2017 Florida State University Max Planck Institute for Mathematics in the Sciences, Leipzig Euclidean distance degrees
More informationAlgorithmic Semi-algebraic Geometry and its applications. Saugata Basu School of Mathematics & College of Computing Georgia Institute of Technology.
1 Algorithmic Semi-algebraic Geometry and its applications Saugata Basu School of Mathematics & College of Computing Georgia Institute of Technology. 2 Introduction: Three problems 1. Plan the motion of
More informationLinear Systems on Tropical Curves
Linear Systems on Tropical Curves Gregg Musiker (MIT University of Minnesota) Joint work with Christian Haase (FU Berlin) and Josephine Yu (Georgia Tech) FPSAC 00 August 5, 00 Musiker (University of Minnesota)
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 14
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 14 RAVI VAKIL CONTENTS 1. Introduction 1 2. The Proj construction 2 3. Examples 7 4. Maps of graded rings and maps of projective schemes 8 5. Important exercises
More informationA TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3
A TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3 ANDREW J. HANSON AND JI-PING SHA In this paper we present a systematic and explicit algorithm for tessellating the algebraic surfaces (real 4-manifolds) F
More informationFACES OF CONVEX SETS
FACES OF CONVEX SETS VERA ROSHCHINA Abstract. We remind the basic definitions of faces of convex sets and their basic properties. For more details see the classic references [1, 2] and [4] for polytopes.
More informationLecture 2 - Introduction to Polytopes
Lecture 2 - Introduction to Polytopes Optimization and Approximation - ENS M1 Nicolas Bousquet 1 Reminder of Linear Algebra definitions Let x 1,..., x m be points in R n and λ 1,..., λ m be real numbers.
More informationHomotopy type of the complement. complex lines arrangements
On the homotopy type of the complement of complex lines arrangements Department of Geometry-Topology Institute of Mathematics, VAST, Hanoi Singapore December 15, 2008 Introduction Let A be an l-arrangement,
More informationTopic: Orientation, Surfaces, and Euler characteristic
Topic: Orientation, Surfaces, and Euler characteristic The material in these notes is motivated by Chapter 2 of Cromwell. A source I used for smooth manifolds is do Carmo s Riemannian Geometry. Ideas of
More informationParameterization of triangular meshes
Parameterization of triangular meshes Michael S. Floater November 10, 2009 Triangular meshes are often used to represent surfaces, at least initially, one reason being that meshes are relatively easy to
More informationCOMPUTER AIDED GEOMETRIC DESIGN. Thomas W. Sederberg
COMPUTER AIDED GEOMETRIC DESIGN Thomas W. Sederberg January 31, 2011 ii T. W. Sederberg iii Preface This semester is the 24 th time I have taught a course at Brigham Young University titled, Computer Aided
More informationCurves and Surfaces 1
Curves and Surfaces 1 Representation of Curves & Surfaces Polygon Meshes Parametric Cubic Curves Parametric Bi-Cubic Surfaces Quadric Surfaces Specialized Modeling Techniques 2 The Teapot 3 Representing
More informationLecture notes for Topology MMA100
Lecture notes for Topology MMA100 J A S, S-11 1 Simplicial Complexes 1.1 Affine independence A collection of points v 0, v 1,..., v n in some Euclidean space R N are affinely independent if the (affine
More informationCurves and Surfaces Computer Graphics I Lecture 10
15-462 Computer Graphics I Lecture 10 Curves and Surfaces Parametric Representations Cubic Polynomial Forms Hermite Curves Bezier Curves and Surfaces [Angel 10.1-10.6] September 30, 2003 Doug James Carnegie
More informationarxiv: v1 [math.ag] 14 Jun 2007
LINEAR PRECISION FOR PARAMETRIC PATCHES arxiv:76.26v [math.ag] 4 Jun 27 LUIS GARCIA-PUENTE AND FRANK SOTTILE Abstract. We study linear precision for multi-sided parametric patches of any dimension, showing
More informationIntroduction to Geometric Algebra Lecture V
Introduction to Geometric Algebra Lecture V Leandro A. F. Fernandes laffernandes@inf.ufrgs.br Manuel M. Oliveira oliveira@inf.ufrgs.br Visgraf - Summer School in Computer Graphics - 2010 CG UFRGS Lecture
More informationarxiv: v2 [math.ag] 8 Mar 2017
arxiv:1412.5313v2 [math.g] 8 Mar 2017 M-curves of degree 9 or 11 with one unique non-empty oval Séverine Fiedler-Le Touzé June 27, 2018 bstract In this note, we consider M-curves of odd degree m with real
More informationSplines. Connecting the Dots
Splines or: Connecting the Dots Jens Ogniewski Information Coding Group Linköping University Before we start... Some parts won t be part of the exam Basically all that is not described in the book. More
More informationL-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY* A. Khovanskii, D. Novikov
L-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY* A. Khovanskii, D. Novikov We define a class of L-convex-concave subsets of RP n, where L is a projective subspace of dimension l in RP n. These
More informationWe have set up our axioms to deal with the geometry of space but have not yet developed these ideas much. Let s redress that imbalance.
Solid geometry We have set up our axioms to deal with the geometry of space but have not yet developed these ideas much. Let s redress that imbalance. First, note that everything we have proven for the
More informationMeasuring Lengths The First Fundamental Form
Differential Geometry Lia Vas Measuring Lengths The First Fundamental Form Patching up the Coordinate Patches. Recall that a proper coordinate patch of a surface is given by parametric equations x = (x(u,
More informationp y = 0 x c Figure : Stereographic projection. r p p y = 0 c p Figure : Central projection. Furthermore, we will discuss representations of entire sph
Circle and Sphere as rational splines Claudia Bangert and Hartmut Prautzsch Universitat Karlsruhe, Fakultat fur Informatik D-8 Karlsruhe, Germany corresponding author, e-mail: prau@ira.uka.de Abstract
More informationTriple lines on curves
Triple lines on curves Frank de Zeeuw EPFL (Switzerland) IPAM: Algebraic Techniques for Combinatorial Geometry - LA - May 13, 2014 Japanese-Swiss Workshop on Combinatorics - Tokyo - June 5, 2014 I will
More informationThe following information is for reviewing the material since Exam 3:
Outcomes List for Math 121 Calculus I Fall 2010-2011 General Information: The purpose of this Outcomes List is to give you a concrete summary of the material you should know, and the skills you should
More informationProjective spaces and Bézout s theorem
Projective spaces and Bézout s theorem êaû{0 Mijia Lai 5 \ laimijia@sjtu.edu.cn Outline 1. History 2. Projective spaces 3. Conics and cubics 4. Bézout s theorem and the resultant 5. Cayley-Bacharach theorem
More informationConstrained Willmore Tori in the 4 Sphere
(Technische Universität Berlin) 16 August 2006 London Mathematical Society Durham Symposium Methods of Integrable Systems in Geometry Constrained Willmore Surfaces The Main Result Strategy of Proof Constrained
More informationAn Introduction to Parametrizing Rational Curves. Victoria Y.H. Wood
An Introduction to Parametrizing Rational Curves Victoria Y.H. Wood December 1, 2011 1. Introduction To begin, the reader may wish to know what a rational curve is. Definition 1. A rational curve is an
More informationUntil now we have worked with flat entities such as lines and flat polygons. Fit well with graphics hardware Mathematically simple
Curves and surfaces Escaping Flatland Until now we have worked with flat entities such as lines and flat polygons Fit well with graphics hardware Mathematically simple But the world is not composed of
More informationAn introduction to Finite Geometry
An introduction to Finite Geometry Geertrui Van de Voorde Ghent University, Belgium Pre-ICM International Convention on Mathematical Sciences Delhi INCIDENCE STRUCTURES EXAMPLES Designs Graphs Linear spaces
More informationConvex Sets. CSCI5254: Convex Optimization & Its Applications. subspaces, affine sets, and convex sets. operations that preserve convexity
CSCI5254: Convex Optimization & Its Applications Convex Sets subspaces, affine sets, and convex sets operations that preserve convexity generalized inequalities separating and supporting hyperplanes dual
More informationFinal Exam 1:15-3:15 pm Thursday, December 13, 2018
Final Exam 1:15-3:15 pm Thursday, December 13, 2018 Instructions: Answer all questions in the space provided (or attach additional pages as needed). You are permitted to use pencils/pens, one cheat sheet
More informationA1:Orthogonal Coordinate Systems
A1:Orthogonal Coordinate Systems A1.1 General Change of Variables Suppose that we express x and y as a function of two other variables u and by the equations We say that these equations are defining a
More informationarxiv:math/ v1 [math.ag] 14 Jul 2004
arxiv:math/0407253v1 [math.ag] 14 Jul 2004 Degenerations of Surface Scrolls and the Gromov-Witten Invariants of Grassmannians Izzet Coskun October 30, 2018 Abstract: We describe an algorithm for computing
More informationSymmetric Representation of Ternary Forms Associated to Some Toeplitz Matrices
S S symmetry Article Symmetric Representation of Ternary Forms Associated to Some Toeplitz Matrices Mao-Ting Chien 1, * ID and Hiroshi Nakazato 1 Department of Mathematics, Soochow University, Taipei 1110,
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Chapter 10 projective toric varieties and polytopes: definitions 10.1 Introduction Tori varieties are algebraic varieties related to the study of sparse polynomials.
More informationAlternative interpretation of the Plücker quadric s ambient space and its application
Alternative interpretation of the Plücker quadric s ambient space and its application Georg Nawratil Institute of Discrete Mathematics and Geometry Funded by FWF Project Grant No. P24927-N25 18th ICGG,
More informationParametric and Polar Curves
Chapter 2 Parametric and Polar Curves 2.1 Parametric Equations; Tangent Lines and Arc Length for Parametric Curves Parametric Equations So far we ve described a curve by giving an equation that the coordinates
More informationParametric and Polar Curves
Chapter 2 Parametric and Polar Curves 2.1 Parametric Equations; Tangent Lines and Arc Length for Parametric Curves Parametric Equations So far we ve described a curve by giving an equation that the coordinates
More informationA brief survey of A-resultants, A-discriminants, and A-determinants
A brief survey of A-resultants, A-discriminants, and A-determinants Madeline Brandt, Aaron Brookner, Christopher Eur November 27, 2017 Abstract We give a minimalistic guide to understanding a central result
More informationAngle Structures and Hyperbolic Structures
Angle Structures and Hyperbolic Structures Craig Hodgson University of Melbourne Throughout this talk: M = compact, orientable 3-manifold with M = incompressible tori, M. Theorem (Thurston): M irreducible,
More informationManifold T-spline. Ying He 1 Kexiang Wang 2 Hongyu Wang 2 Xianfeng David Gu 2 Hong Qin 2. Geometric Modeling and Processing 2006
Ying He 1 Kexiang Wang 2 Hongyu Wang 2 Xianfeng David Gu 2 Hong Qin 2 1 School of Computer Engineering Nanyang Technological University, Singapore 2 Center for Visual Computing (CVC) Stony Brook University,
More informationShape Control of Cubic H-Bézier Curve by Moving Control Point
Journal of Information & Computational Science 4: 2 (2007) 871 878 Available at http://www.joics.com Shape Control of Cubic H-Bézier Curve by Moving Control Point Hongyan Zhao a,b, Guojin Wang a,b, a Department
More information5. y 2 + z 2 + 4z = 0 correct. 6. z 2 + x 2 + 2x = a b = 4 π
M408D (54690/95/00), Midterm #2 Solutions Multiple choice questions (20 points) See last two pages. Question #1 (25 points) Dene the vector-valued function r(t) = he t ; 2; 3e t i: a) At what point P (x
More informationLesson 1 Introduction to Algebraic Geometry
Lesson 1 Introduction to Algebraic Geometry I. What is Algebraic Geometry? Algebraic Geometry can be thought of as a (vast) generalization of linear algebra and algebra. Recall that, in linear algebra,
More informationDouble Integrals over Polar Coordinate
1. 15.4 DOUBLE INTEGRALS OVER POLAR COORDINATE 1 15.4 Double Integrals over Polar Coordinate 1. Polar Coordinates. The polar coordinates (r, θ) of a point are related to the rectangular coordinates (x,y)
More informationReview of Trigonometry
Worksheet 8 Properties of Trigonometric Functions Section Review of Trigonometry This section reviews some of the material covered in Worksheets 8, and The reader should be familiar with the trig ratios,
More information