Sixty-Four Curves of Degree Six
|
|
- Dwayne Miller
- 5 years ago
- Views:
Transcription
1 Sixty-Four Curves of Degree Six Bernd Sturmfels MPI Leipzig and UC Berkeley with Nidhi Kaihnsa, Mario Kummer, Daniel Plaumann and Mahsa Sayyary 1 / 24
2 Poset 2 / 24
3 Hilbert s 16th Problem Classify all real algebraic curves of degree d in the plane P 2 R. Stratify the parameter space P d(d+3)/2 R. Assume that the complex curve in P 2 C is smooth. Complete answers are known up to d = 7, due to Harnack, Hilbert, Rohn, Petrovsky, Rokhlin, Gudkov, Nikulin, Kharlamov, Viro,... Two curves C 1 and C 2 have same topological type if some homeomorphism of P 2 R P2 R restricts to a homeo C 1 C 2. 3 / 24
4 Hilbert s 16th Problem Classify all real algebraic curves of degree d in the plane P 2 R. Stratify the parameter space P d(d+3)/2 R. Assume that the complex curve in P 2 C is smooth. Complete answers are known up to d = 7, due to Harnack, Hilbert, Rohn, Petrovsky, Rokhlin, Gudkov, Nikulin, Kharlamov, Viro,... Two curves C 1 and C 2 have same topological type if some homeomorphism of P 2 R P2 R restricts to a homeo C 1 C 2. Finer notion of equivalence comes from the discriminant, a hypersurface of degree 3(d 1) 2 in P d(d+3)/2 R. Points on are singular curves. The rigid isotopy types are the connected components of P d(d+3)/2 R \. Two curves C 1 and C 2 in the same rigid isotopy class have the same topological type... the converse is not true for d 5. 4 / 24
5 Sextics Theorem (Rokhlin-Nikulin Classification) Our paper: d = 6 The discriminant of plane sextics is a hypersurface of degree 75 in P 27 R. Its complement has 64 connected components. The 64 rigid isotopy types are grouped into 56 topological types, with number of ovals ranging from 0 to 11. The distribution equals # ovals all Rigid isotopy Topological The 56 types are seen in our poset. Rokhlin (1978) carried out the classification of rigid isotopy types. Nikulin (1980) completed the proof in his study of real K3 surfaces. 5 / 24
6 14 Are Dividing The following eight types consist of two rigid isotopy classes: (41) (21)2 (51) 1 (31)3 (11)5 (81) (41)4 9. The six maximal types necessarily divide their Riemann surface: (91)1 (51)5 (11)9 (61)2 (21)6 (hyp). Corollary Of the 56 topological types of smooth plane sextics, 42 types are non-dividing, six are dividing, and eight can be dividing or non-dividing. This accounts for all 64 rigid isotopy types in P 27 R \. 6 / 24
7 Polynomials Proposition Each of the 64 rigid isotopy types is realized by a sextic in Z[x, y, z] 6 whose coefficients have abs. value nd x 6 + y 6 + z 6 1 nd x 6 + y 6 z 6 (11) nd 6(x 4 + y 4 z 4 )(x 2 + y 2 2z 2 ) + x 5 y 2 nd (x 4 + y 4 z 4 )((x + 4z) 2 + (y + 4z) 2 z 2 ) + z 6 (21) nd 16((x+z) 2 +(y+z) 2 z 2 )(x 2 +y 2 7z 2 )((x z) 2 +(y z) 2 z 2 ) + x 3 y 3 (11)1 nd ((x + 2z) 2 + (y + 2z) 2 z 2 )(x 2 +y 2 3z 2 )(x 2 +y 2 z 2 ) + x 5 y 3 nd (x 2 + y 2 z 2 )(x 2 + y 2 2z 2 )(x 2 + y 2 3z 2 ) + x 6 (hyp) d 6(x 2 +y 2 z 2 )(x 2 +y 2 2z 2 )(x 2 +y 2 3z 2 )+x 3 y 3 (31) nd (10(x 4 x 3 z+2x 2 y 2 +3xy 2 z+y 4 )+z 4 )(x 2 +y 2 z 2 )+x 5 y (21)1 nd (10(x 4 x 3 z+2x 2 y 2 +3xy 2 z+y 4 )+z 4 )((x+z ) 2 +y 2 2z 2 )+x 5 y (11)2 nd (10(x 4 x 3 z+2x 2 y 2 +3xy 2 z+y 4 )+z 4 )(x 2 +(y z) 2 z 2 )+x 5 y and many more representatives 7 / 24
8 Robinson Sextic Consider this net of sextics: a(x 6 +y 6 +z 6 ) + bx 2 y 2 z 2 + c(x 4 y 2 +x 4 z 2 +x 2 y 4 +x 2 z 4 +y 4 z 2 +y 2 z 4 ). For (a : b : c) = (1 : 3 : 1) this a nonnegative sextic that is not SOS. The discriminant of this net is the following curve of degree 75 in P 2 R : = a 3 (a + c) 6 (3a c) 18 (3a + b + 6c) 4 (3a + b 3c) 8 (9a 3 3a 2 b + ab 2 3ac 2 bc 2 + 2c 3 ) (a : b : c) = (19 : 60 : 20) gives our sextic for the ten ovals type 10d. 8 / 24
9 Eleven Ovals Hilbert (1891) argued that type (51)5 does not exist. Gudkov (1969) showed that Hilbert had made a mistake. (91)1 d ( (yz x 2 )(60(x+z)z (6x+6z y) 2 )+ 118(10x+8y+3z)(12x+32y+z)(12x 32y z)(10x 8y 3z))(x 2 yz) y 6 (51)5 d x x 5 y x 4 y x 3 y x 2 y xy y x 5 z x 4 yz x 3 y 2 z x 2 y 3 z x 2 z x 4 z x 3 yz x 2 y 2 z x 3 z y 4 z x 2 yz xy 4 z y 3 z y 5 z xyz y 2 z yz 5 z 6 (11)9 d (340291(yz x 2 )((x + 2z)z 2(y 2z) 2 ) +(10x 8y 3z)(12x 27y z)(12x + 28y + z)(10x + 7y + 3z))(x 2 yz) + y 6 9 / 24
10 SexticClassifier We wrote fast Mathematica code, using built-in method for cylindrical algebraic decomposition. Its input is a sextic f Z[x, y, z] 6. Its output is the topological type of V R (f ). We computed various empirical distributions. Here is one experiment with 1, 500, 000 samples: (11) 4 (11)1 (21) 5 (11)2 (21)1 6 (31) Table: Topological types sampled from the U(3)-invariant distribution For the uniform distribution on { 10 12,..., } we obtained (11) % 18.24% 2.09% 1.44% 0.65% 0.06% Conclusion: Most types never occur when sampling at random!! 10 / 24
11 Transitions Theorem (Itenberg 1994) For each edge in our poset, both combinatorial transitions (shrinking or fusing) can be realized by a singular curve with exactly one ordinary node. 11 / 24
12 Transitions Theorem For curves of even degree, every discriminantal transition between rigid isotopy types is one of the following: shrinking an ovals, fusing two ovals, and turning an oval inside out. Figure: Type (21)2d transitions into Type (21)2nd by turning inside out. 12 / 24
13 Sylvester s Formula We evaluate as the determinant of a matrix...found in [Gelfand-Kapranov-Zelevinsky]. Each entry in the first 30 columns is either 0 or one of the c ijk. The last 15 columns contain cubics in the c ijk. The matrix is ( R[x, y, z] 3 ) 3 R[x, y, z] 4 R[x, y, z] 8 On the first summand, it maps a triple of cubics to an octic: (a, b, c) a f x + b f y + c f z. On the second summand, it maps a quartic monomial x r y s z t to the octic det(m rst ), where M rst is any 3 3-matrix of ternary forms satisfying f / x f / y = M rst x r+1 y s+1. f / z z t+1 Proposition The discriminant is the determinant of this matrix. 13 / 24
14 Avoidance Locus For a real curve C of even degree d, the avoidance locus A C is the set of lines in P 2 R that do not intersect C R. This is a semialgebraic subset of the dual projective plane (P 2 ) R. Points on C are lines in P 2 tangent to C. The dual curve C has degree d(d 1) in (P 2 ). It divides (P 2 ) R into connected components. Proposition The avoidance locus A C is a union of connected components of (P 2 ) R \C R. Each component appearing in A C is convex. 14 / 24
15 Avoiding Sextics Figure: A smooth sextic of type 10nd whose avoidance locus is empty Proposition Let deg(c) = d even. The number of convex components of the avoidance locus A C is bounded above by d d d d + 1. Corollary For all m {0, 1,..., 46} there exists a smooth sextic C in P 2 R whose avoidance locus A C has exactly m convex components. 15 / 24
16 Avoiding Sextics Figure: A sextic C of type 8nd; its 68 relevant bitangents represent A C. 16 / 24
17 Bitangents and Flexes A general sextic in P 2 C has 324 bitangents and 72 inflection points. Conjecture The number of real bitangents of a smooth sextic in P 2 R ranges from 12 to 306. The lower bound is attained by curves of types 0, 1, (11) and (hyp). The upper bound is attained by (51)5. Transitions: (411) C has an undulation point. (222) C has a tritangent line. (321) C has a flex-bitangent. Theorem The loci (222) and (321) are irreducible hypersurfaces in P 27 of degree 1224 and 306 respectively. Their union is the Zariski closure of the set of smooth sextics having fewer than 324 bitangent lines. 17 / 24
18 Experiments Type Flex Eigenvec Bitang Rank (11) (21) (11) (hyp) (31) (21) (11) (41)nd (41)d (31) (21)2nd (21)2d (11) (51) (41) (31) (21) (11) (61) (51)1nd (51)1d (41) (31)3nd (31)3d (21) Type Flex Eigenvec Bitang Rank (11)5nd (11)5d (71) (61) (51) (41) (31) (21) (11) (81)nd (81)d (71) (61) (51) (41)4nd (41)4d (31) (21) (11) nd d (91) (81) (51) (41) (11) (91) (51) (11) / 24
19 Critical Points on the Sphere A sextic f can have as many as 20 local maxima on the unit sphere S2. The picture shows one with 62 = 2 31 critical points. Its Morse complex is the icosahedron, with f-vector (12, 30, 20). The critical points are the eigenvectors of f. 19 / 24
20 Eigenvectors of Tensors Ternary sextics are symmetric tensors of format Such a symmetric tensor f has 28 distinct entries c ijk. A vector v C 3 is an eigenvector of f if v is parallel to the gradient at v: ( ) x y z rank = 1. f x f y A general f R[x, y, z] d has d 2 d + 1 eigenvectors in P 2 C. Among them are pairs of critical points of f on the sphere S 2. The number of real eigenvectors is 2ω + 1, where ω is the number of ovals (Maccioni 2017). If f is a product of d linear forms, then all complex eigenvectors are real (Abo-Seigal-St 2017). f z Conclusion: The number of real eigenvectors of a general sextic is an odd integer between 3 and 31. Our table summarizes empirical distribution over the 64 types. 20 / 24
21 Ranks of Tensors The rank of a symmetric tensor f R[x, y, z] d is the minimum number of summands in a representation r f (x, y, z) = λ i (a i x + b i y + c i z) d. i=1 For a generic sextic f, the complex rank is 10, and the real rank is between 10 and 19 (Michalek-Moon-St-Ventura 2017). Computing real ranks exactly is very difficult. We used the numerical software tensorlab to determine (our best guess for) the real ranks of the 64 representatives. Type Flex Eigenvec Bitang Rank (11) (21) (11) (41)nd (41)d (31) (21)2nd (21)2d (11) Type Flex Eigenvec Bitang Rank (11)5nd (11)5d (71) (61) (51) (41) (31) (21) (11) (81)nd (81)d / 24 (71)
22 Quartic Surfaces Our 64 sextics represent K3 surfaces over Q. The two basic models for algebraic K3 surfaces are quartic surfaces in P 3 and double-covers of P 2 branched at a sextic curve. A real K3 surface is orientable and has 10 connected components. Its Euler characteristic is between 18 and 20. (Silhol 1989) Can construct quartic surfaces with desired topology from our curves: Example Let F be the quartic 100w w 2 x x w 2 y x 2 y y w 2 yz 75x 2 yz 1552y 3 z w 2 z 2 487x 2 z y 2 z yz z 4. The surface V R (F ) is connected of genus 10, so χ = 20. Example (Rohn 1913) Let G = τ(s1 2 6s 2) 2 + (s1 2 4s 2) 2 64s 4, where s i is the ith elementary symmetric polynomial in x, y, z, w and τ = Then V R (G) consists of 10 spheres, so χ = / 24
23 Conclusion The geometry and topology of real algebraic varieties is a beautiful subject, with many great results, especially from the Russian school. We seek to connect this to current problems and developments in Applied Algebraic Geometry. This requires computational and experimental work with polynomials. We studied explicit sextics like ( (yz x 2 )(60(x+z)z (6x+6z y )2 )+ 118(10x+8y +3z)(12x+32y +z)(12x 32y z)(10x 8y 3z))(x 2 yz) y 6 Page 1 of 1 Quiz: What does the real picture look like for this curve? 23 / 24
24 Eleven Ovals (91)1 d ( (yz x 2 )(60(x+z)z (6x+6z y) 2 )+ 118(10x+8y+3z)(12x+32y+z)(12x 32y z)(10x 8y 3z))(x 2 yz) y 6 (51)5 d x x 5 y x 4 y x 3 y x 2 y xy y x 5 z x 4 yz x 3 y 2 z x 2 y 3 z x 2 z x 4 z x 3 yz x 2 y 2 z x 3 z y 4 z x 2 yz xy 4 z y 3 z y 5 z xyz y 2 z yz 5 z 6 (11)9 d (340291(yz x 2 )((x + 2z)z 2(y 2z) 2 ) +(10x 8y 3z)(12x 27y z)(12x + 28y + z)(10x + 7y + 3z))(x 2 yz) + y 6 24 / 24
QUARTIC SPECTRAHEDRA. Bernd Sturmfels UC Berkeley and MPI Bonn. Joint work with John Christian Ottem, Kristian Ranestad and Cynthia Vinzant
QUARTIC SPECTRAHEDRA Bernd Sturmfels UC Berkeley and MPI Bonn Joint work with John Christian Ottem, Kristian Ranestad and Cynthia Vinzant 1 / 20 Definition A spectrahedron of degree n in R 3 is a convex
More informationTensors. Notes by Mateusz Michalek and Bernd Sturmfels for the lecture on June 5, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Tensors Notes by Mateusz Michalek and Bernd Sturmfels for the lecture on June 5, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra This lecture is divided into two parts. The first part,
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationSPECTRAHEDRA. Bernd Sturmfels UC Berkeley
SPECTRAHEDRA Bernd Sturmfels UC Berkeley GAeL Lecture I on Convex Algebraic Geometry Coimbra, Portugal, Monday, June 7, 2010 Positive Semidefinite Matrices For a real symmetric n n-matrix A the following
More informationThe Geometry of Semidefinite Programming. Bernd Sturmfels UC Berkeley
The Geometry of Semidefinite Programming Bernd Sturmfels UC Berkeley Positive Semidefinite Matrices For a real symmetric n n-matrix A the following are equivalent: All n eigenvalues of A are positive real
More informationSPECTRAHEDRA. Bernd Sturmfels UC Berkeley
SPECTRAHEDRA Bernd Sturmfels UC Berkeley Mathematics Colloquium, North Carolina State University February 5, 2010 Positive Semidefinite Matrices For a real symmetric n n-matrix A the following are equivalent:
More informationSemidefinite Programming
Semidefinite Programming Notes by Bernd Sturmfels for the lecture on June 26, 208, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The transition from linear algebra to nonlinear algebra has
More informationThe Algebraic Degree of Semidefinite Programming
The Algebraic Degree ofsemidefinite Programming p. The Algebraic Degree of Semidefinite Programming BERND STURMFELS UNIVERSITY OF CALIFORNIA, BERKELEY joint work with and Jiawang Nie (IMA Minneapolis)
More informationGram Spectrahedra. Lynn Chua UC Berkeley. joint work with Daniel Plaumann, Rainer Sinn, and Cynthia Vinzant
Gram Spectrahedra Lynn Chua UC Berkeley joint work with Daniel Plaumann, Rainer Sinn, and Cynthia Vinzant SIAM Conference on Applied Algebraic Geometry 017 1/17 Gram Matrices and Sums of Squares Let P
More informationarxiv: v3 [math.ag] 15 Dec 2016
The number of real eigenvectors of a real polynomial Mauro Maccioni arxiv:606.04737v3 [math.ag] 5 Dec 06 9 November 06 Abstract I investigate on the number t of real eigenvectors of a real symmetric tensor.
More informationTHE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES
6 September 2004 THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES Abstract. We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations
More informationarxiv:math/ v1 [math.cv] 9 Oct 2000
arxiv:math/0010087v1 [math.cv] 9 Oct 2000 Amoebas of maximal area. Grigory Mikhalkin Department of Mathematics University of Utah Salt Lake City, UT 84112, USA mikhalkin@math.utah.edu February 1, 2008
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationarxiv: v1 [math.ag] 20 Feb 2015
For Proceedings of 1 st Gökova Geometry-Topology Conference Brief introduction to tropical geometry arxiv:150.05950v1 [math.ag] 0 Feb 015 Erwan Brugallé, Ilia Itenberg, Grigory Mikhalkin, and Kristin Shaw
More informationarxiv: v1 [math.ag] 18 Dec 2017
Real Space Sextics and their Tritangents arxiv:1712.06274v1 [math.ag] 18 Dec 2017 ABSTRACT Avinash Kulkarni Simon Fraser University 8888 University Drive Burnaby V5A 1S6, Canada avi kulkarni@sfu.ca Mahsa
More informationSpace curves, vector fields and strange surfaces. Simon Salamon
Space curves, vector fields and strange surfaces Simon Salamon Lezione Lagrangiana, 26 May 2016 Curves in space 1 A curve is the path of a particle moving continuously in space. Its position at time t
More informationLocal properties of plane algebraic curves
Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying
More informationQuartic Spectrahedra
Quartic Spectrahedra arxiv:1311.3675v2 [math.oc] 7 Nov 2014 John Christian Ottem, Kristian Ranestad, Bernd Sturmfels and Cynthia Vinzant Abstract Quartic spectrahedra in 3-space form a semialgebraic set
More informationGeneric properties of Symmetric Tensors
2006 1/48 PComon Generic properties of Symmetric Tensors Pierre COMON - CNRS other contributors: Bernard MOURRAIN INRIA institute Lek-Heng LIM, Stanford University 2006 2/48 PComon Tensors & Arrays Definitions
More informationExamples of numerics in commutative algebra and algebraic geo
Examples of numerics in commutative algebra and algebraic geometry MCAAG - JuanFest Colorado State University May 16, 2016 Portions of this talk include joint work with: Sandra Di Rocco David Eklund Michael
More informationRanks of Real Symmetric Tensors
Ranks of Real Symmetric Tensors Greg Blekherman SIAM AG 2013 Algebraic Geometry of Tensor Decompositions Real Symmetric Tensor Decompositions Let f be a form of degree d in R[x 1,..., x n ]. We would like
More informationRepresentations of Positive Polynomials: Theory, Practice, and
Representations of Positive Polynomials: Theory, Practice, and Applications Dept. of Mathematics and Computer Science Emory University, Atlanta, GA Currently: National Science Foundation Temple University
More informationTensor decomposition and tensor rank
from the point of view of Classical Algebraic Geometry RTG Workshop Tensors and their Geometry in High Dimensions (September 26-29, 2012) UC Berkeley Università di Firenze Content of the three talks Wednesday
More informationQuartic Spectrahedra
Quartic Spectrahedra arxiv:1311.3675v1 [math.oc] 14 Nov 2013 John Christian Ottem, Kristian Ranestad, Bernd Sturmfels and Cynthia Vinzant Abstract Quartic spectrahedra in 3-space form a semialgebraic set
More informationK3 Surfaces and Lattice Theory
K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9
More informationPolytopes and Algebraic Geometry. Jesús A. De Loera University of California, Davis
Polytopes and Algebraic Geometry Jesús A. De Loera University of California, Davis Outline of the talk 1. Four classic results relating polytopes and algebraic geometry: (A) Toric Geometry (B) Viro s Theorem
More informationBasic facts and definitions
Synopsis Thursday, September 27 Basic facts and definitions We have one one hand ideals I in the polynomial ring k[x 1,... x n ] and subsets V of k n. There is a natural correspondence. I V (I) = {(k 1,
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationCombinatorics and geometry of E 7
Combinatorics and geometry of E 7 Steven Sam University of California, Berkeley September 19, 2012 1/24 Outline Macdonald representations Vinberg representations Root system Weyl group 7 points in P 2
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationarxiv: v2 [math.ag] 27 Jun 2018
CORRIGENUM TO THE PAPER A FEXIBE AFFINE M-SEXTIC WHICH IS AGEBRAICAY UNREAIZABE arxiv:0.00v [math.ag] Jun 0 S. Fiedler e Touzé, S. Orevkov, and E. Shustin Abstract. We prove the algebraic unrealizability
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationTheorem 6.1 The addition defined above makes the points of E into an abelian group with O as the identity element. Proof. Let s assume that K is
6 Elliptic curves Elliptic curves are not ellipses. The name comes from the elliptic functions arising from the integrals used to calculate the arc length of ellipses. Elliptic curves can be parametrised
More informationK3 surfaces of Picard rank one which are double covers of the projective plane
K3 surfaces of Picard rank one which are double covers of the projective plane Andreas-Stephan ELSENHANS a and Jörg JAHNEL a a Universität Göttingen, Mathematisches Institut, Bunsenstraße 3 5, D-37073
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More informationArithmetic applications of Prym varieties in low genus. Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018
Arithmetic applications of Prym varieties in low genus Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018 Background: classifying rational point sets of curves Typical arithmetic geometry
More informationReal monoid surfaces
Real monoid surfaces Pål H. Johansen, Magnus Løberg, Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway Non-linear Computational Geometry IMA, May 31, 2007 Outline Introduction
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationON MAXIMALLY INFLECTED HYPERBOLIC CURVES. 1. Introduction
ON MAXIMALLY INFLETED HYPERBOLI URVES AUBIN ARROYO, ERWAN BRUGALLÉ, AND LUIA LÓPEZ DE MEDRANO Abstract. In this note we study the distribution of real inflection points among the ovals of a real non-singular
More informationThe maximum likelihood degree of rank 2 matrices via Euler characteristics
The maximum likelihood degree of rank 2 matrices via Euler characteristics Jose Israel Rodriguez University of Notre Dame Joint work with Botong Wang Algebraic Statistics 2015 University of Genoa June
More information14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski
14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as
More informationFAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES
FAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES MARGARET NICHOLS 1. Introduction In this paper we study the complex structures which can occur on algebraic curves. The ideas discussed
More informationOn complete degenerations of surfaces with ordinary singularities in
Home Search Collections Journals About Contact us My IOPscience On complete degenerations of surfaces with ordinary singularities in This article has been downloaded from IOPscience. Please scroll down
More informationTogliatti systems and artinian ideals failing WLP. Weak Lefschetz Property
Togliatti systems and artinian ideals failing the Weak Lefschetz Property Dipartimento di Matematica e Geoscienze Università degli Studi di Trieste mezzette@units.it Lefschetz Properties and Artinian Algebras
More informationPOSITIVE POLYNOMIALS LECTURE NOTES (09: 10/05/10) Contents
POSITIVE POLYNOMIALS LECTURE NOTES (09: 10/05/10) SALMA KUHLMANN Contents 1. Proof of Hilbert s Theorem (continued) 1 2. The Motzkin Form 2 3. Robinson Method (1970) 3 3. The Robinson Form 4 1. PROOF OF
More informationIRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES.
IRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES. IAN KIMING 1. Non-singular points and tangents. Suppose that k is a field and that F (x 1,..., x n ) is a homogeneous polynomial in n variables
More informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
More informationAlgebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003
Algebraic Geometry Andreas Gathmann Notes for a class taught at the University of Kaiserslautern 2002/2003 CONTENTS 0. Introduction 1 0.1. What is algebraic geometry? 1 0.2. Exercises 6 1. Affine varieties
More informationProjective Varieties. Chapter Projective Space and Algebraic Sets
Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the
More informationPolynomials. Henry Liu, 25 November 2004
Introduction Polynomials Henry Liu, 25 November 2004 henryliu@memphis.edu This brief set of notes contains some basic ideas and the most well-known theorems about polynomials. I have not gone into deep
More informationThe Group Structure of Elliptic Curves Defined over Finite Fields
The Group Structure of Elliptic Curves Defined over Finite Fields A Senior Project submitted to The Division of Science, Mathematics, and Computing of Bard College by Andrija Peruničić Annandale-on-Hudson,
More informationAlgebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014
Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................
More informationarxiv: v3 [math.ag] 2 May 2018
GRAM SPECTRAHEDRA LYNN CHUA, DANIEL PLAUMANN, RAINER SINN, AND CYNTHIA VINZANT arxiv:1608.0034v3 [math.ag] May 018 Abstract. Representations of nonnegative polynomials as sums of squares are central to
More informationK3 surfaces of Picard rank one and degree two
K3 surfaces of Picard rank one and degree two Andreas-Stephan Elsenhans and Jörg Jahnel Universität Göttingen, Mathematisches Institut, Bunsenstraße 3 5, D-37073 Göttingen, Germany elsenhan@uni-math.gwdg.de,
More informationCounting matrices over finite fields
Counting matrices over finite fields Steven Sam Massachusetts Institute of Technology September 30, 2011 1/19 Invertible matrices F q is a finite field with q = p r elements. [n] = 1 qn 1 q = qn 1 +q n
More informationPoint counting and real multiplication on K3 surfaces
Point counting and real multiplication on K3 surfaces Andreas-Stephan Elsenhans Universität Paderborn September 2016 Joint work with J. Jahnel. A.-S. Elsenhans (Universität Paderborn) K3 surfaces September
More informationALGEBRA: From Linear to Non-Linear. Bernd Sturmfels University of California at Berkeley
ALGEBRA: From Linear to Non-Linear Bernd Sturmfels University of California at Berkeley John von Neumann Lecture, SIAM Annual Meeting, Pittsburgh, July 13, 2010 Undergraduate Linear Algebra All undergraduate
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More information0. Introduction 1 0. INTRODUCTION
0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as
More informationFREE DIVISORS IN A PENCIL OF CURVES
Journal of Singularities Volume 11 (2015), 190-197 received: 17 February 2015 in revised form: 26 June 2015 DOI: 10.5427/jsing.2015.11h FREE DIVISORS IN A PENCIL OF CURVES JEAN VALLÈS Abstract. A plane
More informationLECTURE 5, FRIDAY
LECTURE 5, FRIDAY 20.02.04 FRANZ LEMMERMEYER Before we start with the arithmetic of elliptic curves, let us talk a little bit about multiplicities, tangents, and singular points. 1. Tangents How do we
More informationVoronoi Cells of Varieties
Voronoi Cells of Varieties arxiv:1811.08395v1 [math.ag] 20 Nov 2018 Diego Cifuentes, Kristian Ranestad, Bernd Sturmfels and Madeleine Weinstein Abstract Every real algebraic variety determines a Voronoi
More informationOn the topology of H(2)
On the topology of H(2) Duc-Manh Nguyen Max-Planck-Institut für Mathematik Bonn, Germany July 19, 2010 Translation surface Definition Translation surface is a flat surface with conical singularities such
More informationALGEBRAIC CURVES IN RP(l) x RP(l)
proceedings of the american mathematical society Volume 113, Number 1, September 1991 ALGEBRAIC CURVES IN RP(l) x RP(l) PATRICK GILMER (Communicated by Louis J. Ratliff, Jr.) Abstract. We derive the analogs
More informationInflection Points on Real Plane Curves Having Many Pseudo-Lines
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 2, 509-516. Inflection Points on Real Plane Curves Having Many Pseudo-Lines Johannes Huisman Institut Mathématique
More informationHYPERBOLIC POLYNOMIALS, INTERLACERS AND SUMS OF SQUARES
HYPERBOLIC POLYNOMIALS, INTERLACERS AND SUMS OF SQUARES DANIEL PLAUMANN Universität Konstanz joint work with Mario Kummer (U. Konstanz) Cynthia Vinzant (U. of Michigan) Out[121]= POLYNOMIAL OPTIMISATION
More informationAN ABSTRACT OF THE DISSERTATION OF. Tatsuhiko Hatase for the degree of Doctor of Philosophy in Mathematics presented on
AN ABSTRACT OF THE DISSERTATION OF Tatsuhiko Hatase for the degree of Doctor of Philosophy in Mathematics presented on August 24, 2011. Title: Algebraic Pappus Curves Abstract approved: Thomas A. Schmidt
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationALGEBRAIC BOUNDARIES OF HILBERT S SOS CONES
ALGEBRAIC BOUNDARIES OF HILBERT S SOS CONES GRIGORIY BLEKHERMAN, JONATHAN HAUENSTEIN, JOHN CHRISTIAN OTTEM, KRISTIAN RANESTAD AND BERND STURMFELS Abstract. We study the geometry underlying the difference
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationALGEBRAIC DEGREE OF POLYNOMIAL OPTIMIZATION. 1. Introduction. f 0 (x)
ALGEBRAIC DEGREE OF POLYNOMIAL OPTIMIZATION JIAWANG NIE AND KRISTIAN RANESTAD Abstract. Consider the polynomial optimization problem whose objective and constraints are all described by multivariate polynomials.
More informationA Gauss-Bonnet theorem for constructible sheaves on reductive groups
A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationSome general results on plane curves with total inflection points
Some general results on plane curves with total inflection points Filip Cools and Marc Coppens October 19, 006 Abstract. In this paper we study plane curves of degree d with e total inflection points,
More informationOn Maps Taking Lines to Plane Curves
Arnold Math J. (2016) 2:1 20 DOI 10.1007/s40598-015-0027-1 RESEARCH CONTRIBUTION On Maps Taking Lines to Plane Curves Vsevolod Petrushchenko 1 Vladlen Timorin 1 Received: 24 March 2015 / Accepted: 16 October
More informationReal rank geometry of ternary forms
Annali di Matematica (2017) 196:1025 1054 DOI 10.1007/s10231-016-0606-3 Real rank geometry of ternary forms Mateusz Michałek 1,2 Hyunsuk Moon 3 Bernd Sturmfels 4 Emanuele Ventura 5 Received: 5 May 2016
More information(Σ 1,0,Σ 1,0 ) (Σ 1,0,Σ 1,0,Σ 1,0 ) (Σ 1,1,0, Σ 1,0 ) N 2 F(Σ 1,1,0 ) N 3 F(Σ 1,0 )
FELIX KLEIN'S PAPER ON REAL FLEXES VINDICATED Felice Ronga Universite de Geneve Abstract. In a paper written in 876 [4], Felix Klein gave a formula relating the number of real exes of a generic real plane
More informationAlgebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?
Algebraic Geometry Question: What regular polygons can be inscribed in an ellipse? 1. Varieties, Ideals, Nullstellensatz Let K be a field. We shall work over K, meaning, our coefficients of polynomials
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationMATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties
MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,
More informationThe Maximum Likelihood Degree of Mixtures of Independence Models
SIAM J APPL ALGEBRA GEOMETRY Vol 1, pp 484 506 c 2017 Society for Industrial and Applied Mathematics The Maximum Likelihood Degree of Mixtures of Independence Models Jose Israel Rodriguez and Botong Wang
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
More informationarxiv:math/ v3 [math.gt] 28 Sep 2006
arxiv:math/0404030v3 [math.gt] 28 Sep 2006 SYMMETRIC PLANE CURVES OF DEGREE 7 : PSEUDOHOLOMORPHIC AND ALGEBRAIC CLASSIFICATIONS Erwan Brugallé Abstract This paper is motivated by the real symplectic isotopy
More informationDESSINS D ENFANTS OF TRIGONAL CURVES MEHMET EMIN AKTAŞ. 1. Introduction
DESSINS D ENFANTS OF TRIGONAL CURVES MEHMET EMIN AKTAŞ arxiv:1706.09956v1 [math.ag] 29 Jun 2017 Abstract. In this paper, we focus on properties of dessins d enfants associated to trigonal curves. Degtyarev
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationTHE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE
JOURNAL OF COMMUTATIVE ALGEBRA Volume 8, Number 4, Winter 2016 THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE IULIA GHEORGHITA AND STEVEN V SAM ABSTRACT. We describe the cone of
More informationAN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS
AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS JESSICA SIDMAN. Affine toric varieties: from lattice points to monomial mappings In this chapter we introduce toric varieties embedded in
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationContents Preliminaries Non-abelian curve groups A special curve Characteristic Varieties
Orbifolds and fundamental groups of plane curves Enrique ARTAL BARTOLO Departmento de Matemáticas Facultad de Ciencias Instituto Universitario de Matemáticas y sus Aplicaciones Universidad de Zaragoza
More informationarxiv:math/ v2 [math.ac] 13 Feb 2006
EQUATIONS, INEQUATIONS AND INEQUALITIES CHARACTERIZING THE CONFIGURATIONS OF TWO REAL PROJECTIVE CONICS arxiv:math/0505628v2 [math.ac] 13 Feb 2006 EMMANUEL BRIAND Abstract. Couples of proper, non-empty
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More informationThe Central Curve in Linear Programming
joint work with Jesús De Loera and Bernd Sturmfels The Central Path of a Linear Program Linear Program: Maximize x R n c x s.t. A x = b and x 0. The Central Path of a Linear Program Linear Program: Maximize
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationAN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying
AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE 1. RATIONAL POINTS ON CIRCLE We start by asking us: How many integers x, y, z) can satisfy x 2 + y 2 = z 2? Can we describe all of them? First we can divide
More information