Shuijing Crystal Li Rice University Mathematics Department 1 Rational Points on del Pezzo Surfaces of degree 1 and 2.

Slides:



Advertisements
Similar presentations
4.4 Rational Root Theorem.
Advertisements

Notes 6.6 Fundamental Theorem of Algebra
Vector Spaces A set V is called a vector space over a set K denoted V(K) if is an Abelian group, is a field, and For every element vV and K there exists.
The Complex Number System
5.1 Real Vector Spaces.
Singularity of a Holomorphic Map Jing Zhang State University of New York, Albany.
Problem of the Day. Division and Rational Root Theorem TS: Making decisions after reflection and review Obj: Review polynomial division and how to find.
Degenerations of algebras. José-Antonio de la Peña UNAM, México Advanced School and Conference on Homological and Geometrical Methods in Representation.
Rational Root Theorem.
5.3 Linear Independence.
Shuijing Crystal Li Rice University Mathematics Department 1 Rational Points on del Pezzo Surfaces of degree 1 and 2.
1 Chapter 4 Interpolation and Approximation Lagrange Interpolation The basic interpolation problem can be posed in one of two ways: The basic interpolation.
2.III. Basis and Dimension 1.Basis 2.Dimension 3.Vector Spaces and Linear Systems 4.Combining Subspaces.
Basis of a Vector Space (11/2/05)
Curves Locus of a point moving with one degree of freedom
Introduction to Gröbner Bases for Geometric Modeling Geometric & Solid Modeling 1989 Christoph M. Hoffmann.
Chapter Two: Vector Spaces I.Definition of Vector Space II.Linear Independence III.Basis and Dimension Topic: Fields Topic: Crystals Topic: Voting Paradoxes.
X’morphisms & Projective Geometric J. Liu. Outline  Homomorphisms 1.Coset 2.Normal subgrups 3.Factor groups 4.Canonical homomorphisms  Isomomorphisms.
1 Equivalence of Real Elliptic Curves Equivalence of Real Elliptic Curves Allen Broughton Rose-Hulman Institute of Technology.
MOHAMMAD IMRAN DEPARTMENT OF APPLIED SCIENCES JAHANGIRABAD EDUCATIONAL GROUP OF INSTITUTES.
Mathematics1 Mathematics 1 Applied Informatics Štefan BEREŽNÝ.
Copyright © Cengage Learning. All rights reserved. Polynomial And Rational Functions.
Solving Polynomial Equations. Fundamental Theorem of Algebra Every polynomial equation of degree n has n roots!
Warm up Use the Rational Root Theorem to determine the Roots of : x³ – 5x² + 8x – 6 = 0.
Preperiodic Points and Unlikely Intersections joint work with Laura DeMarco Matthew Baker Georgia Institute of Technology AMS Southeastern Section Meeting.
Numbers, Operations, and Quantitative Reasoning.
(Spline, Bezier, B-Spline)
V. Space Curves Types of curves Explicit Implicit Parametric.
Chapter 8 With Question/Answer Animations 1. Chapter Summary Applications of Recurrence Relations Solving Linear Recurrence Relations Homogeneous Recurrence.
Copyright © 2014, 2010 Pearson Education, Inc. Chapter 2 Polynomials and Rational Functions Copyright © 2014, 2010 Pearson Education, Inc.
Chapter Content Real Vector Spaces Subspaces Linear Independence
Rational Root Theorem By: Yu, Juan, Emily. What Is It? It is a theorem used to provide a complete list of all of the possible rational roots of the polynomial.
Section 2-8 First Applications of Groebner Bases by Pablo Spivakovsky-Gonzalez We started this chapter with 4 problems: 1.Ideal Description Problem: Does.
Big Ideas Differentiation Frames with Icons. 1. Number Uses, Classification, and Representation- Numbers can be used for different purposes, and numbers.
§1.3 Polynomial Functions
Algebra Problems… Solutions Algebra Problems… Solutions © 2007 Herbert I. Gross Set 18 part 2 By Herbert I. Gross and Richard A. Medeiros next.
Lecture 22 Numerical Analysis. Chapter 5 Interpolation.
Section 5.5 The Real Zeros of a Polynomial Function.
Does tropical geometry look like…. No, it looks like …
Fundamental Theorem of Algebra TS: Demonstrating understanding of concepts Warm-Up: T or F: A cubic function has at least one real root. T or F: A polynomial.
OR Simplex method (algebraic interpretation) Add slack variables( 여유변수 ) to each constraint to convert them to equations. (We may refer it as.
1 What you will learn today…  How to use the Fundamental Theorem of Algebra to determine the number of zeros of a polynomial function  How to use your.
Rational Zero Theorem Used to factor a cubic or quartic polynomial function with a leading coefficient not equal to 1.
5 5.1 © 2016 Pearson Education, Ltd. Eigenvalues and Eigenvectors EIGENVECTORS AND EIGENVALUES.
Chapter 6- LINEAR MAPPINGS LECTURE 8 Prof. Dr. Zafer ASLAN.
Topic VII: Polynomial Functions 7.3 Solving Polynomial Equations.
What is a polynomial function of least degree with integral coefficients the zeros of which include 2 and 1 + i? 1.According to the Complex Conjugate Theorem,
Advanced Algorithms Analysis and Design By Dr. Nazir Ahmad Zafar Dr Nazir A. Zafar Advanced Algorithms Analysis and Design.
Equivalence, Invariants, and Symmetry Chapter 2
Please log on to your computers.
Name:__________ warm-up 5-8
Numerical Analysis Lecture 25.
Notes Over 3.4 The Rational Zero Test
Algebra II Explorations Review ( )
Rational Root and Complex Conjugates Theorem
Finding Real Roots of Polynomial Equations
Lesson 7.2: Finding Complex Solutions of Polynomial Equations
3.8 Complex Zeros; Fundamental Theorem of Algebra
X’morphisms & Projective Geometric
Basis and Dimension Basis Dimension Vector Spaces and Linear Systems
Warm-up: Find the equation of a quadratic function in standard form that has a root of 2 + 3i and passes through the point (2, -27). Answer: f(x) = -3x2.
Numerical Analysis Lecture 23.
3.4 Zeros of Polynomial Functions: Real, Rational, and Complex
Linear Algebra Lecture 3.
Splash Screen.
Rational Root Theorem.
2.III. Basis and Dimension
Elementary Linear Algebra
MA5242 Wavelets Lecture 1 Numbers and Vector Spaces
Presentation transcript:

Shuijing Crystal Li Rice University Mathematics Department 1 Rational Points on del Pezzo Surfaces of degree 1 and 2

2 Rational Points on algebraic surface Chevalley-Warning Theorem Example What is del Pezzo surface? Definition Geometric structure of del Pezzo surface Rational Points on del Pezzo surface Rational points on cubic surface Rational Points on del Pezzo surface of degree 1 and 2

3 Chevalley-Warning Theorem Question: When it is sharp? When do we have unique solution?

4 Pierre de Fermat Fermat’s Cubic Surface

Examples of Cubic Surfaces The Clebsch Diagonal Surface The Clebsch Diagonal Surface is one of the most famous cubic surfaces because of its symmetry and the fact that it's the only one with ten Eckardt Points.Eckardt Points Defining equation 0= x 3 + y 3 + z 3 + w 3 - (x+y+z+w) 3 From the picture below the surface, we can see that there are ten Eckardt Points (points, where three lines meet in a point).Eckardt Points The Clebsch Diagonal Surface The Clebsch Diagonal Surface is one of the most famous cubic surfaces because of its symmetry and the fact that it's the only one with ten Eckardt Points.Eckardt Points Defining equation 0= x 3 + y 3 + z 3 + w 3 - (x+y+z+w) 3 From the picture below the surface, we can see that there are ten Eckardt Points (points, where three lines meet in a point).Eckardt Points 10 Eckardt points and 27 lines 5

6 Theorem ( Iskovskikh) Now, let’s try to find some examples with unique rational point. First, let’s look at some hypersurfaces of dimension 2: del Pezzo surfaces del Pezzo surfaces Given a rational variety X of dimension 2 over perfect field k, at least one of the following happens: a)X is birational to a conic bundle over a conic b)X is k-birational to a del Pezzo surface. Hence, we understand the del Pezzo surfaces, we understand almost all the rational surfaces. How wonderful is that? Hence, we understand the del Pezzo surfaces, we understand almost all the rational surfaces. How wonderful is that? Classic Definition We can think of the del Pezzo surfaces as subset of projective space given as the zero locus of some homogeneous polynomials. Algebraic Point of View:

7 Another way to study the geometry of an algebraic surface is to look at the curves that lie on the surface. “Lines” means the curves of minimal degree, and will be replaced by exceptional curves or (- 1)-curves, since any line satisfies (L,L)= -1 Many interesting arithmetic questions are connected with the class of del Pezzo surfaces, as such surfaces are geometrically rational (i.e. rational over the algebraic closure). It is especially interesting to look at problems concerning the question about the existence of k-rational points, where k is a non-closed field. Theorem (Yu.I.Manin,1986) The defining equation of del Pezzo surface

8 Amazingly, the answer is YES, and there are finitely many of them! How many? How are they configured? Question: Are there any “lines” on del Pezzo surfaces? Theorem Every del Pezzo surface has only finitely many exceptional curves, and their structure is independent of the location of the points blown up, provided that they are general.

9 Let’s compute the lines on Fermat cubic surface. Now if we set

10 Q : Does there exist a cubic surface with a unique k-rational point?

11 Del Pezzo Surface of Degree 1 Q : Does there really exist a del Pezzo surface of degree 1 with unique k-rational point over some local field? Algebraic Way: Running through all possible coefficients to find unique solution Geometric Way: Using Weil’s Theorem and the trace information

12 Theorem ( A. Weil)

13 Possible Unique rational point over F3 Possible Unique rational point over F7 Possible Unique rational point over F4 Possible Unique rational point over F2

14 Using computer program running through all possible coefficients, then find all the corresponding solutions to each equation projectively. Let X be smooth del Pezzo surfaces of degree 1 defined as above, then X has at least 3 rational points over any finite field Theorem

15 Del Pezzo Surface of degree 2 Same Question Same Approach Different Answer

16 Finally, using computer program running through all possible coefficients.

17 Theorem

18 Remark We can easily seen from the analysis above, the structure of del pezzo surfaces of degree d>=4 are relatively easy. For 7>=d>=5, all Del Pezzo surfaces of the same degree are isomorphic.