MA 254 notes: Diophantine Geometry
|
|
- Phyllis Sutton
- 5 years ago
- Views:
Transcription
1 MA 254 notes: Diophantine Geometry (Distilled from [Hindry-Silverman]) Dan Abramovich Brown University January 29, 2016 Abramovich MA 254 notes: Diophantine Geometry 1 / 14
2 Height on P n (k) Let P = (x 0,..., x n ) P n (Q) with x i Z, gcd(x 0,..., x n ) = 1, Definition (Height on P n (Q)) H(P) = max{ x 0,..., x n }. This has the finiteness property: For any B the set {P P n (Q) H(P) B} is finite. Definition (Height on P n (k)) Let k be a number field, x i k, and P = (x 0,..., x n ) P n (k). Define the relative multiplicative height H k (P) = v M k max{ x 0 v,..., x n v } and the relative logarithmic height h k (P) = log H k (P) = v M k n v min{v(x 0 ),... v(x n )}. Abramovich MA 254 notes: Diophantine Geometry 2 / 14
3 Absolute height Definition The absolute multiplicative height of P P n ( Q) is H(P) = H k (P) 1/[k:Q]. The absolute logarithmic height is h(p) := log H(P) = h k (P)/[k : Q]. The absolute height of α k is H(α) := H(1, α). Proposition (Basic height properties) H k (P) is independent of choice of coordinates in k. H(P), H k (P) 1; h(p), h k (P) 0 for all k P n ( Q). H(P), h(p) are independent of choice of k or coordinates. Abramovich MA 254 notes: Diophantine Geometry 3 / 14
4 Proof of basic height properties Proof. v M k max{ cx 0 v,..., cx n v } = ( ) c v Mk v max{ x v Mk 0 v,..., x n v } = v M k max{ x 0 v,..., x n v }. If x i 0 then H k (x) = v M k max{ x 0 /x i v,..., x n /x i v } v M k 1 = 1. If k /k then H k (P) = v M k w v max{ x 0 w,..., x n w } = v M k w v max{ x 0 nw v,..., x n nw v } = v M k w v max{ x 0 nv v,..., x n nv v } [k w :kv ] = v M k w v max{ x 0 v,..., x n v } [k w :k v ] = v M k max{ x 0 v,..., x n v } [k :k] = H k (P) [k :k] as needed. Abramovich MA 254 notes: Diophantine Geometry 4 / 14
5 Invariance The Galois group G Q acts on P n ( Q). It also permutes absolute values: if σ : k k is an isomorphism then we define σ(x) σ(v) = x v, namely y σ(v) = σ 1 x v. Similarly it sends completions to completions, with n v = n σ(v), and globally [k : Q] = [σ(k) : Q]. Proposition H is invariant under G Q : we have H σ(k) (σ(x)) = H k (x) and H(σ(x) = H(x). Proof. Trace the definitions, taking the above into consideration. Abramovich MA 254 notes: Diophantine Geometry 5 / 14
6 The strong finiteness property Theorem Given B, D, the set {P P n ( Q) H(P) B, [Q(P) : Q] D} is finite. Lemma Given B, d, the set {x Q) H(x) B, [Q(x) : Q] = d} is finite. Proof of Theorem given Lemma. Given P = (x 0,..., x n ) with x j 0 we may assume by rescaling that x j = 1. Then max{ x 0 v,..., x n v } max{ x i v, 1} for each i, so H(P) H(x i ). Also Q(P) Q(x i ). There are finitely many possible choices for j, d D and, by the lemma, for x i, hence for P. Abramovich MA 254 notes: Diophantine Geometry 6 / 14
7 The strong finiteness property - continued Sublemma Suppose the minimal polynomial of x Q is X d s 1 (x)x d 1 ± + ( 1) d s d (x). Then H(1, s 1 (x),..., s d (x)) 2 d H(x) d2. Proof of Lemma given Sublemma. We have seen that {s P d (Q) : H(s) < C} is finite. Applying this to C = 2 d B d2 we find that the number of minimal polynomials of {x Q) H(x) B, [Q(x) : Q] = d} is finite. Since there are d roots per polynomial, this set itself is finite. { r v archimedean We write ε v (r) := 1 otherwise so that r i=1 x i v ε v (r) max i x i v. Note r = v ε v (r) nv /[k:q]. Abramovich MA 254 notes: Diophantine Geometry 7 / 14
8 The strong finiteness property - continued Proof of Sublemma. If x i are the d conjugates of x, and v a valuation of the splitting field k, then s r (x) v = x i1 x ir v ε v (2 d ) max x i1 x ir v ε v (2 d ) max i x i r v. Taking maximum we obtain max{1, s 1 (x) v,..., s d (x) v } ε v (2 d ) i max{ x i v, 1} d. taking products and [k : Q]-th root, we have H(1, s 1 (x),..., s d (x)) 2 d i H(x i) d = 2 d i H(x)d = 2 d H(x) d2 as needed. Abramovich MA 254 notes: Diophantine Geometry 8 / 14
9 Points of Height 1 Corollary (Kronecker s theorem) Say P = (x 0,..., x n ) P n ( Q) and x i 0. Then H(P) = 1 x j /x i µ( Q) {0} for all j. Proof. Without loss of generality i = 0 and x 0 = 1. If x j µ then x j v = 1 for all v so H(P) = 1. Assume H(P) = 1 and consider the sequence of points P r := (x r 0,... x r n). Then you check H(P r ) = H(P) r = 1, in particular bounded by 1, and by the theorem {P r } is a finite set. So there are r s such that P r = P s, so xj r = xj s, so x j µ {0} as needed. Abramovich MA 254 notes: Diophantine Geometry 9 / 14
10 Segre and Veronese embeddings Let S n,m : P n P m P nm+n+m be the Segre embedding and V n,d : P n P (n+d n ) 1 the d-th Veronese. Proposition h(s n,m (x, y)) = h(x) + h(y) and h(v n,d (x)) = dh(x). Proof. The point z = S n,m (x, y) has coordinates (..., x i y j,...). For any v we have max ij x i y j v = (max i x i v )(max j y j v ). So h(z) = log ( v max ij x i y j v = log v max i x i v max j y j nv /[k:q] v nv /[k:q] nv /[k:q] v ) = h(x) + h(y). w = V n,d (x) has coordinates the monomials M I (x) of degree d. We have M I (x) v max i x i d v so max I M I (x) v = max i x i d v, and proceed as before. Abramovich MA 254 notes: Diophantine Geometry 10 / 14
11 Functoriality of heights on projective spaces An m + 1-tuple (f 0,..., f m ) of homomgeneous forms of degree d in n + 1 variables defines a rational map φ : P n P m, which is a morphism away from the base locus Z = V (f 0,..., f m ). Theorem (Functoriality of heights on projective spaces) h(φ(p)) dh(p) + O(1) for all P P n ( Q)) Z. If X P n closed, X Z =, then h(φ(p)) = dh(p) + O(1) for all P X ( Q)). It is convenient to take absolute values of P, f j and height of φ. Represent P = (x 0,..., x n ) and in monomial notation f j = I =d a j,i x I. We write P v = max i { x i v }, f j v = max I { a j,i v } and H(φ) = H((a j,i ) j,i ) = v max j{ f j v } nv /[k:q]. Abramovich MA 254 notes: Diophantine Geometry 11 / 14
12 We write N d = ( ) n+d d. Proof of functoriality, first part. f j (P) v = I a j,i x I v ε v (N d )(max I a j,i v )(max x I v ) I We get v max j ε v (N d ) f j v (max x i d v ) i = ε v (N d ) f j v P d v. nv /[k:q] f j (P) v N d ( max f j v j v = N d H(φ)H(P) d. so h(φ(p)) dh(p) + h(φ) + log N d. nv /[k:q] )H(P) d Abramovich MA 254 notes: Diophantine Geometry 12 / 14
13 Proof of functoriality, second part, beginning Let I X = (p 1,..., p r ). By Hilbert s Nullstellensatz, after a finite extension of k we have (p1,..., p r, f 0,..., f m ) = (X 0,..., X n ). In other words, there is t d, forms g kj of degree t d and forms q lj such that for all j g 0j f g mj f m + q 1j p q rj p r = X t j. Plugging in P = (x 0,..., x n ) X we get g 0j (P)f 0 (P) + + g mj (P)f m (P) = x t j. Abramovich MA 254 notes: Diophantine Geometry 13 / 14
14 Proof of functoriality, second part, concluded. P t v = max j xj t v = max g 0j (P)f 0 (P) + + g mj (P)f m (P) v j ε v (m + 1) (max i,j g ij (x) v ) (max f i (x) v ) i (ε v (m + 1) N t d (g ij ) v ) P t d v φ(p) v. So as before H(P) t c H(P) t d H(φ(P)). Hence dh(p) h(φ(p)) + O(1) as required. Abramovich MA 254 notes: Diophantine Geometry 14 / 14
Height Functions. Michael Tepper February 14, 2006
Height Functions Michael Tepper February 14, 2006 Definition 1. Let Y P n be a quasi-projective variety. A function f : Y k is regular at a point P Y if there is an open neighborhood U with P U Y, and
More informationHeights. Lectures by Fabien Pazuki. Spring semester 2014
Heights Lectures by Fabien Pazuki Spring semester 2014 These are my notes from class given by Fabien Pazuki at Université de Bordeaux. All typos and mistakes are mine, so please write me about them: alexey.beshenov@etu.u-bordeaux1.fr.
More informationGeometry and Arithmetic of Dominant Rational Self-Maps of Projective Space Joseph H. Silverman
Geometry and Arithmetic of Dominant Rational Self-Maps of Projective Space Joseph H. Silverman Brown University Conference on automorphisms and endomorphisms of algebraic varieties and compact complex
More informationSmall zeros of hermitian forms over quaternion algebras. Lenny Fukshansky Claremont McKenna College & IHES (joint work with W. K.
Small zeros of hermitian forms over quaternion algebras Lenny Fukshansky Claremont McKenna College & IHES (joint work with W. K. Chan) Institut de Mathématiques de Jussieu October 21, 2010 1 Cassels Theorem
More informationMA 254 notes: Diophantine Geometry
MA 254 notes: Diophantine Geometry (Distilled from [Hindry-Silverman], [Manin], [Serre]) Dan Abramovich Brown University Janoary 27, 2016 Abramovich MA 254 notes: Diophantine Geometry 1 / 16 Mordell Weil
More informationHTP over Algebraic Extensions of Q: Normforms vs. Elliptic Curves
HTP over Algebraic Extensions of Q: Normforms vs. Elliptic Curves Alexandra Shlapentokh East Carolina University Number Theory and Computability, ICMS, June 2007 A Talk in Two Rounds Round I: Normforms
More information0.1 Valuations on a number field
The Dictionary Between Nevanlinna Theory and Diophantine approximation 0. Valuations on a number field Definition Let F be a field. By an absolute value on F, we mean a real-valued function on F satisfying
More information24 Artin reciprocity in the unramified case
18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m
More informationwhere c R and the content of f is one. 1
9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.
More informationMAIN THEOREM OF GALOIS THEORY
MAIN THEOREM OF GALOIS THEORY Theorem 1. [Main Theorem] Let L/K be a finite Galois extension. and (1) The group G = Gal(L/K) is a group of order [L : K]. (2) The maps defined by and f : {subgroups of G}!
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 informationMetacommutation of Hurwitz primes
Metacommutation of Hurwitz primes Abhinav Kumar MIT Joint work with Henry Cohn January 10, 2013 Quaternions and Hurwitz integers Recall the skew-field of real quaternions H = R+Ri +Rj +Rk, with i 2 = j
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More information(Non)-Uniform Bounds for Rational Preperiodic Points in Arithmetic Dynamics
(Non)-Uniform Bounds for Rational Preperiodic Points in Arithmetic Dynamics Robert L. Benedetto Amherst College Special Session on The Interface Between Number Theory and Dynamical Systems AMS Spring Sectional
More informationbut no smaller power is equal to one. polynomial is defined to be
13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said
More informationdisc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1
GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationCanonical Heights and the Arithmetic Complexity of Morphisms on Projective Space
Pure and Applied Mathematics Quarterly Volume 5, Number 4 (Special Issue: In honor of John Tate, Part 1 of 2 ) 1201 1217, 2009 Canonical Heights and the Arithmetic Complexity of Morphisms on Projective
More informationABC Conjecture Implies Infinitely Many non-x-fibonacci-wieferich Primes A Linear Case of Dynamical Systems
ABC Conjecture Implies Infinitely Many non-x-fibonacci-wieferich Primes A Linear Case of Dynamical Systems Jun-Wen Wayne Peng Department of Mathematics, University of Rochester 3/21/2016 1/40 Motivation
More informationCharacterizing planar polynomial vector fields with an elementary first integral
Characterizing planar polynomial vector fields with an elementary first integral Sebastian Walcher (Joint work with Jaume Llibre and Chara Pantazi) Lleida, September 2016 The topic Ultimate goal: Understand
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More informationAverage Height Of Isogenous Abelian Varieties
N.V.A.Aryasomayajula Average Height Of Isogenous Abelian Varieties Master s thesis, defended on June 2, 2007 Thesis advisor: Dr. R.S. de Jong Mathematisch Instituut Universiteit Leiden Contents Faltings
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationarxiv: v1 [math.nt] 26 Nov 2015
arxiv:1511.08525v1 [math.nt] 26 Nov 2015 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS: AN EXTENSION OF RESULTS BY MAHLER AND CORVAJA-ZANNIER AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA
More informationAn explicit version of Faltings Product Theorem and an improvement of Roth s lemma
ACTA ARITHMETICA LXXIII.3 (1995) An explicit version of Faltings Product Theorem and an improvement of Roth s lemma by Jan-Hendrik Evertse (Leiden) To Professor Wolfgang Schmidt on his 60th birthday Introduction.
More informationPOLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS
POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS Z. REICHSTEIN AND N. VONESSEN Abstract. We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationπ X : X Y X and π Y : X Y Y
Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.
More informationABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n
ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington
More informationMA 252 notes: Commutative algebra
MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University April 1, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 21 The Poincaré series of a graded module
More information22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.
22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good
More informationAlgebraic Geometry (Math 6130)
Algebraic Geometry (Math 6130) Utah/Fall 2016. 2. Projective Varieties. Classically, projective space was obtained by adding points at infinity to n. Here we start with projective space and remove a hyperplane,
More informationV (f) :={[x] 2 P n ( ) f(x) =0}. If (x) ( x) thenf( x) =
20 KIYOSHI IGUSA BRANDEIS UNIVERSITY 2. Projective varieties For any field F, the standard definition of projective space P n (F ) is that it is the set of one dimensional F -vector subspaces of F n+.
More information3.3 The Uniform Boundedness Conjecture
3.3. The Uniform Boundedness Conjecture 95 3.3 The Uniform Boundedness Conjecture Northcott s Theorem 3.12 says that a morphism φ : P N P N has only finitely many K-rational preperiodic points. It is even
More informationOn Siegel s lemma outside of a union of varieties. Lenny Fukshansky Claremont McKenna College & IHES
On Siegel s lemma outside of a union of varieties Lenny Fukshansky Claremont McKenna College & IHES Universität Magdeburg November 9, 2010 1 Thue and Siegel Let Ax = 0 (1) be an M N linear system of rank
More informationSection V.7. Cyclic Extensions
V.7. Cyclic Extensions 1 Section V.7. Cyclic Extensions Note. In the last three sections of this chapter we consider specific types of Galois groups of Galois extensions and then study the properties of
More informationNotes on Field Extensions
Notes on Field Extensions Ryan C. Reich 16 June 2006 1 Definitions Throughout, F K is a finite field extension. We fix once and for all an algebraic closure M for both and an embedding of F in M. When
More informationComputing a Lower Bound for the Canonical Height on Elliptic Curves over Q
Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q John Cremona 1 and Samir Siksek 2 1 School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7
More informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
More informationELLIPTIC CURVES SEMINAR: SIEGEL S THEOREM
ELLIPTIC CURVES SEMINAR: SIEGEL S THEOREM EVAN WARNER 1. Siegel s Theorem over Q 1.1. Statement of theorems. Siegel s theorem, in its simplest form, is the fact that a nonsingular elliptic curve contains
More information3. Heights of Algebraic Numbers
3. Heights of Algebraic Numbers A nonzero rational integer has absolute value at least 1. A nonzero rational number has absolute value at least the inverse of any denominator. Liouville s inequality (
More informationSMALL ZEROS OF HERMITIAN FORMS OVER A QUATERNION ALGEBRA
SMALL ZEROS OF HERMITIAN FORMS OVER A QUATERNION ALGEBRA WAI KIU CHAN AND LENNY FUKSHANSKY Abstract. Let D be a positive definite quaternion algebra over a totally real number field K, F (X, Y ) a hermitian
More informationADELIC VERSION OF MARGULIS ARITHMETICITY THEOREM. Hee Oh
ADELIC VERSION OF MARGULIS ARITHMETICITY THEOREM Hee Oh Abstract. In this paper, we generalize Margulis s S-arithmeticity theorem to the case when S can be taken as an infinite set of primes. Let R be
More informationOn Kronecker s Theorem
Thijs Vorselen On Kronecker s Theorem over the adèles Master s thesis, defended on April 27, 2010 Thesis advisor: Jan-Hendrik Evertse Mathematisch Instituut Universiteit Leiden Contents Introduction..................................
More informationOn Computably Enumerable Sets over Function Fields
On Computably Enumerable Sets over Function Fields Alexandra Shlapentokh East Carolina University Joint Meetings 2017 Atlanta January 2017 Some History Outline 1 Some History A Question and the Answer
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationDynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman
Dynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman Brown University Conference on the Arithmetic of K3 Surfaces Banff International Research Station Wednesday,
More informationA normal form for elliptic curves in characteristic 2
A normal form for elliptic curves in characteristic 2 David R. Kohel Institut de Mathématiques de Luminy Arithmetic, Geometry, Cryptography et Coding Theory 2011 CIRM, Luminy, 15 March 2011 Edwards model
More informationMATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA
MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA I want to cover Chapters VIII,IX,X,XII. But it is a lot of material. Here is a list of some of the particular topics that I will try to cover. Maybe I
More informationA MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998
A MORE GENERAL ABC CONJECTURE Paul Vojta University of California, Berkeley 2 December 1998 In this note we formulate a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author
More informationGalois theory and the Abel-Ruffini theorem
Galois theory and the Abel-Ruffini theorem Bas Edixhoven November 4, 2013, Yogyakarta, UGM A lecture of two times 45 minutes. Audience: bachelor, master and PhD students, plus maybe some lecturers. This
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationAN EFFECTIVE WEIERSTRASS DIVISION THEOREM
AN EFFECTIVE WEIERSTRASS DIVISION THEOREM MATTHIAS ASCHENBRENNER ABSTRACT We prove an effective Weierstrass Division Theorem for algebraic restricted power series with p-adic coefficients The complexity
More informationPower structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points
arxiv:math/0407204v1 [math.ag] 12 Jul 2004 Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points S.M. Gusein-Zade I. Luengo A. Melle Hernández Abstract
More informationResults and open problems related to Schmidt s Subspace Theorem. Jan-Hendrik Evertse
Results and open problems related to Schmidt s Subspace Theorem Jan-Hendrik Evertse Universiteit Leiden 29 ièmes Journées Arithmétiques July 6, 2015, Debrecen Slides can be downloaded from http://pub.math.leidenuniv.nl/
More informationTHE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS*
THE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS* CLAYTON PETSCHE Abstract. Given a number field k and a non-archimedean place v of k, we give a quantitative lower bound on the height of non-torsion algebraic
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 informationGraph invariants in the spin model
Graph invariants in the spin model Alexander Schrijver 1 Abstract. Given a symmetric n n matrix A, we define, for any graph G, f A (G) := a φ(u),φ(v). φ:v G {1,...,n} uv EG We characterize for which graph
More informationIntegral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis
June 23, 2011 Integral points of a modular curve of level 11 by René Schoof and Nikos Tzanakis Abstract. Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationMath 121 Homework 5 Solutions
Math 2 Homework Solutions Problem 2, Section 4.. Let τ : C C be the complex conjugation, defined by τa + bi = a bi. Prove that τ is an automorphism of C. First Solution. Every element of C may be written
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationRoots of Polynomials in Subgroups of F p and Applications to Congruences
Roots of Polynomials in Subgroups of F p and Applications to Congruences Enrico Bombieri, Jean Bourgain, Sergei Konyagin IAS, Princeton, IAS Princeton, Moscow State University The decimation problem Let
More informationAn Introduction to Rigid Analytic Geometry
An Introduction to Rigid Analytic Geometry Hans Schoutens Ohio State University http://www.math.ohio-state.edu/~schoutens June 2002 Abstract These notes 1 are intended to be a short course in rigid analytic
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More informationOn the computation of Hermite-Humbert constants for real quadratic number fields
Journal de Théorie des Nombres de Bordeaux 00 XXXX 000 000 On the computation of Hermite-Humbert constants for real quadratic number fields par Marcus WAGNER et Michael E POHST Abstract We present algorithms
More informationIsogeny invariance of the BSD formula
Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic
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 informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More informationMultilinear forms. Joel Kamnitzer. April 1, 2011
Multilinear forms Joel Kamnitzer April 1, 2011 Assume that all fields are characteristic 0 (i.e. 1 + + 1 0), for example F = Q, R, C. Assume also that all vector spaces are finite dimensional. 1 Dual spaces
More informationA further improvement of the Quantitative Subspace Theorem
Annals of Mathematics 177 (2013), 513 590 http://dx.doi.org/10.4007/annals.2013.177.2.4 A further improvement of the Quantitative Subspace Theorem By J.-H. Evertse and R. G. Ferretti Abstract In 2002,
More informationSMALL ZEROS OF QUADRATIC FORMS WITH LINEAR CONDITIONS. Lenny Fukshansky. f ij X i Y j
SALL ZEROS OF QUADRATIC FORS WITH LINEAR CONDITIONS Lenny Fukshansky Abstract. Given a quadratic form and linear forms in N + 1 variables with coefficients in a number field K, suppose that there exists
More information1 Holomorphic mappings into compact Riemann
The Equi-dimension Theory In this notes, we ll prove the Second Main Theorme for holomorphic mappings f : C n M where n = dim M. We call it the Equi-dimension Theory. The theory is developed by Griffiths
More informationLiouvillian solutions of third order differential equations
Article Submitted to Journal of Symbolic Computation Liouvillian solutions of third order differential equations Felix Ulmer IRMAR, Université de Rennes, 0 Rennes Cedex, France felix.ulmer@univ-rennes.fr
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationTori for some locally integral group rings
Tori for some locally integral group rings Diagonalizability over a principal ideal domain Master's Thesis Fabian Hartkopf May 217 Contents Preface............................................... 5.1 Introduction..........................................
More informationGalois Theory, summary
Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and
More informationA tropical approach to secant dimensions
A tropical approach to secant dimensions Jan Draisma Madrid, 30 March 2007 1/16 Typical example: polynomial interpolation in two variables Set up: d N p 1,..., p k general points in C 2 codim{f C[x, y]
More informationTopics in Number Theory: Elliptic Curves
Topics in Number Theory: Elliptic Curves Yujo Chen April 29, 2016 C O N T E N T S 0.1 Motivation 3 0.2 Summary and Purpose 3 1 algebraic varieties 5 1.1 Affine Varieties 5 1.2 Projective Varieties 7 1.3
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More informationValuations. 6.1 Definitions. Chapter 6
Chapter 6 Valuations In this chapter, we generalize the notion of absolute value. In particular, we will show how the p-adic absolute value defined in the previous chapter for Q can be extended to hold
More informationChapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem
Chapter 6 Approximation of algebraic numbers by rationals Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer Verlag 1980, Chap.II, 1,, Chap. IV, 1 L.J. Mordell,
More informationOn certain infinite extensions of the rationals with Northcott property. Martin Widmer. Project Area(s): Algorithmische Diophantische Probleme
FoSP Algorithmen & mathematische Modellierung FoSP Forschungsschwerpunkt Algorithmen und mathematische Modellierung On certain infinite extensions of the rationals with Northcott property Martin Widmer
More informationMASTER S THESIS MAT CHOW VARIETIES
MASTER S THESIS MAT-2003-06 CHOW VARIETIES David Rydh DEPARTMENT OF MATHEMATICS ROYAL INSTITUTE OF TECHNOLOGY SE-100 44 STOCKHOLM, SWEDEN Chow Varieties June, 2003 David Rydh Master s Thesis Department
More informationModular forms and the Hilbert class field
Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant
More informationModel Theory of Real Closed Fields
Model Theory of Real Closed Fields Victoria L. Noquez Carnegie Mellon University Logic and Computation Senior Thesis Advisor: Dr. James Cummings May 2008 Abstract An important fact in the application of
More informationNormality of secant varieties
Normality of secant varieties Brooke Ullery Joint Mathematics Meetings January 6, 2016 Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 1 / 11 Introduction Let X
More informationMAT 535 Problem Set 5 Solutions
Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)
More information2 Section 2 However, in order to apply the above idea, we will need to allow non standard intervals ('; ) in the proof. More precisely, ' and may gene
Introduction 1 A dierential intermediate value theorem by Joris van der Hoeven D pt. de Math matiques (B t. 425) Universit Paris-Sud 91405 Orsay Cedex France June 2000 Abstract Let T be the eld of grid-based
More informationMath 413/513 Chapter 6 (from Friedberg, Insel, & Spence)
Math 413/513 Chapter 6 (from Friedberg, Insel, & Spence) David Glickenstein December 7, 2015 1 Inner product spaces In this chapter, we will only consider the elds R and C. De nition 1 Let V be a vector
More informationThe following results are from the review sheet for the midterm.
A. Miller M542 Galois Theory Spring 2000 For the material on Galois theory we will be assuming that the fields all have characteristic zero. When we get to solvability by radicals we will assume that all
More informationChapter V. Solvability by Radicals
Matematisk Institut Mat 3AL 5.1 Chapter V. Solvability by Radicals One of the oldest problems in algebra was to find roots of an equation. Already in the antiquity solutions of quadratic equations were
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 informationA parametric family of quartic Thue equations
A parametric family of quartic Thue equations Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the Diophantine equation x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3 + y 4 = 1, where c
More information