CURRICULUM VITÆ. Mathematical interests : Number Theory, Logic (Model Theory), Algebraic Geometry, Complex and p-adic Analysis.
|
|
- Brenda O’Connor’
- 5 years ago
- Views:
Transcription
1 Xavier VIDAUX Associate Professor Universidad de Concepción Facultad de Ciencias Físicas y Matemáticas Departamento de Matemáticas Casilla 160 C Concepción Chile CURRICULUM VITÆ Telephone (office) (secretary) Fax xvidaux@udec.cl Web Page Date of birth 28th of July, 1972 Place of birth Perpignan, France Nationality French Marital status Single Languages French (native), English, Spanish, Modern Greek Mathematical interests : Number Theory, Logic (Model Theory), Algebraic Geometry, Complex and p-adic Analysis. Doctorate of the University of Angers (France) : Équivalence Élémentaire de Corps Elliptiques et Dixième Problème de Hilbert pour les Fonctions Méromorphes p-adiques Globales (Elementary Equivalence of Elliptic Fields and Hilbert s Tenth Problem for p-adic Global Meromorphic Functions) passed with the grade of félicitations du jury (with high honors) on the 28th of September, Jury : A. Macintyre (president, referee), T. Pheidas (supervisor), J.-L. Duret (supervisor), J. V. Geel, A. Escassut, L. Lipshitz (referee) UNIVERSITY STUDIES 1999/2001 3rd and 4th year of doctorate studies in Mathematical Logic, supervised by J.-L. Duret (Angers, France) and T. Pheidas (Heraklion, Greece). Work on Hilbert s Tenth Problem. 1997/1999 1st and 2nd year of doctorate, supervised by J.-L. Duret. Work on elementary classes of elliptic fields. 1995/1996 DEA (Master) of Algebraic Geometry at the University of Angers. RESEARCH FELLOWSHIPS 2009/2012 Chilean research fellowship FONDECYT /2008 Chilean research fellowship FONDECYT /2005 European Marie Curie Individual Fellowship, as a Postdoc in Oxford, UK. 2000/2001 Fellowship from the Greek public organism IKY.
2 PUBLICATIONS some preprints can be downloaded from : 1. Polynomial parametrizations of length 4 Büchi sequences, submitted (2010). Abstract : Büchi s problem asks whether there exists a positive integer M such that any sequence (x n ) of at least M integers, whose second difference of squares is the constant sequence (2), satisifies x 2 n = (x + n) 2 for some x Z. A positive answer to Büchi s problem would imply that there is no algorithm to decide whether or not an arbitrary system of quadratic diagonal forms over Z can represent an arbitrary given vector of integers. We give explicitly an infinite family of polynomial parametrizations of non-trivial length 4 Büchi sequences of integers. In turn, these parametrizations give an explicit infinite family of curves (which we suspect to be hyperelliptic) with the following property: any integral point on one of these curves would give a length 5 non-trivial Büchi sequence of integers (it is not known whether any such sequence exists). AMS Subject Clasification : 11D09 2. The analogue of Büchi s problem for function fields, with A. Shlapentokh, submitted (2010). Abstract : Büchi s n Squares Problem asks for an integer M such that any sequence (x 0,..., x M 1 ), whose second difference of squares is the constant sequence (2) (i.e. x 2 n 2x 2 n 1 + x2 n 2 = 2 for all n), satisfies x2 n = (x + n) 2 for some integer x. Hensley s problem for r-th powers (where r is an integer 2) is a generalization of Büchi s problem asking for an integer M such that, given integers ν and a, the quantity (ν + n) r a cannot be an r-th power for M or more values of the integer n, unless a = 0. The analogues of these problems for rings of functions consider only sequences with at least one non-constant term. Let K be a function field of a curve of genus g. We prove that Hensley s problem for r-th powers has a positive answer for any r if K has characteristic zero, improving results by Pasten and Vojta. In positive characteristic p we obtain a weaker result, but which is enough to prove that Büchi s problem has a positive answer if p 312g+169 (improving results by Pheidas and the second author). AMS Subject Clasification : 03B25, 11D41, 11U05 3. A characterization of Büchi s integer sequences of length 3, with P. Saez, submitted (2010). Abstract : We give a new characterization of Büchi sequences (sequences whose sequence of squares has constant second difference (2)) of length 3 over the integers. Known characterizations of integer Buchi sequences of length 3 are actually characterizations over Q, plus some divisibility criterions that keep integer sequences. AMS Subject Clasification : 11D09 4. A survey on Büchi s problem : new presentations and open problems, with H. Pasten and T. Pheidas, to appear in the Proceedings of the Hausdorff Institute for Mathematics (2009). Abstract : In any commutative ring A with unit, Büchi sequences are those sequences whose second difference of squares is the constant sequence (2). Sequences of elements x n satisfying x 2 n = (x + n) 2 for some fixed x are Büchi sequences that we call trivial. Since we want to study sequences whose elements do not belong to certain subrings (e.g. for fields of rational functions F (z) over a field F we are interested in sequences that are not over F ) the concept of trivial sequences may vary. Büchi s Problem for a ring A asks whether there exists a positive integer M such that any Büchi sequence of length M or more is trivial.
3 We survey the current status of knowledge for Büchi s problem and its analogues for higher-order differences and higher powers. We propose several new and old open problems. We present a few new results and various sketches of proofs of old results (in particular : Vojta s conditional proof for the case of integers and a quite detailed proof for the case of polynomial rings in characteristic zero), and present a new and short proof of the positive answer to Büchi s problem over finite fields with p elements (originally proved by Hensley). We discuss applications to Logic (which were the initial aim for solving these problems). 5. Erratum - The analogue of Büchi s problem for rational functions, with T. Pheidas (University of Crete-Heraklion, Greece), to appear in the Journal of the London Mathematical Society (2009). 6. The analogue of Büchi s problem for cubes in polynomial rings, with T. Pheidas (University of Crete-Heraklion, Greece), Pacific Journal of Mathematics 238-2, pp (2008). Abstract : Let F be a field of zero characteristic. We give the following answer to a generalization of a problem of Büchi over F [t]: A sequence of 92 or more cubes in F [t], not all constant, with third difference constant and equal to 6, is of the form (x + n) 3, n = 0,..., 91, for some x F [t] (cubes of successive elements). We use this, in conjunction to the negative answer to the analogue of Hilbert s Tenth Problem for F [t] in order to show that the solvability of systems of degree-one equations, where some of the variables are assumed to be cubes and (or) non-constant, is an unsolvable problem over F [t]. AMS Subject Clasification : 03C60, 12L05, 11U05, 11C08 7. The analogue of Büchi s problem for rational functions, with T. Pheidas (University of Crete-Heraklion, Grecia), Journal of the London Mathematical Society 74-3, pp (2006). Abstract : Büchi s problem asked whether there exists an integer M such that the surface defined by a system of equations of the form : x 2 n + x 2 n 2 = 2x 2 n n = 2,..., M 1 has no integer points other than those that satisfy : ±x n = ±x 0 + n (the ± signs are independent). If answered positively, it would imply that there is no algorithm which decides, given an arbitrary system Q = (q 1,..., q r ) of integral quadratic forms and an arbitrary r-tuple B = (b 1,..., b r ) of integers whether Q represents B - see Extensions of Büchi s Problem : Questions of Decidability for Addition and k th Powers, avec T. Pheidas (Université de Crète-Héraklion, Grèce), Fundamenta Mathematicae 185, pp (2005). Thus It would imply the following strengthening of the negative answer to Hilbert s Tenth Problem : the positive existential theory of the rational integers in the language of addition and a predicate for the property x is a square would be undecidable. Despite some progress, including a conditional positive answer (depending on conjectures of Lang), Büchi s problem remains open. In this article we prove (A) An analogue of Büchi s problem in rings of polynomials of characteristic either 0 or p 17 and for fields of rational functions of characteristic 0 and (B) An analogue of Büchi s problem in fields of rational functions of characteristic p 19, but only for sequences that satisfy a certain additional hypothesis. As a consequence we prove the following result in Logic : Let F be a field of characteristic either 0 or 17 and let t be a variable. Let L t be the first order language which contains symbols for 0 and 1, a symbol for addition, a
4 symbol for the property x is a square and symbols for multiplication by each element of the image of Z[t] in F [t]. Let R be a subring of F (t), containing the natural image of Z[t] in F (t). Assume that one of the following is true : R F [t]. The characteristic of F is either 0 or p 19. Then multiplication is positive-existentially definable over the ring R, in the language L t. Hence the positive-existential theory of R in L t is decidable if and only if the positiveexistential ring-theory of R in the language of rings, augmented by a constant-symbol for t, is decidable. 8. The analogue of Büchi s problem for polynomials, with T. Pheidas (University of Crete-Heraklion, Greece), Lecture Notes in Computer Science ISSU 3526, pp (2005). Abstract : Büchi s problem asked whether a surface of a specific type, defined over the rationals, has integer points other than some known ones. A consequence of a positive answer would be the following strengthening of the negative answer to Hilbert s tenth problem : the positive existential theory of the rational integers in the language of addition and a predicate for the property x is a square would be undecidable. Despite some progress, including a conditional positive answer (pending on conjectures of Lang), Büchi s problem remains open. In this article we prove an analogue of Büchi s problem in rings of polynomials of characteristic either 0 or p 13. As a consequence we prove the following result in Logic : Let F be a field of characteristic either 0 or 17 and let t be a variable. Let R be a subring of F [t], containing the natural image of Z[t] in F [t]. Let L t be the first order language which contains a symbol for addition in R, a symbol for the property x is a square in F [t] and symbols for multiplication by each element of the image of Z[t] in F [t]. Then multiplication is positive-existentially definable over the ring R, in the language L t. Hence the positive-existential theory of R in L t is decidable if and only if the positive-existential ring-theory of R in the language of rings, augmented by a constant-symbol for t, is decidable. 9. Extensions of Büchi s Problem : Questions of Decidability for Addition and k th Powers, with T. Pheidas (University of Crete-Heraklion, Greece), Fundamenta Mathematicae 185, pp (2005). Abstract : We generalize a question of Büchi : Let R be an integral domain, C a subring and k 2 an integer. Is there an algorithm to decide the solvability in R of any given system of polynomial equations, each of which is linear in the k th powers of the unknowns, with coefficients in C? We state a number-theoretical problem, depending on k, a positive answer to which would imply a negative answer to the question for R = C = Z. We reduce a negative answer for k = 2 and for R = F (t), a field of rational functions of zero characteristic, to the undecidability of the ring theory of F (t). We address the similar question, where we allow, along with the equations, also conditions of the form x is a constant and x takes the value 0 at t = 0, for k = 3 and for function fields R = F (t) of zero characteristic, with C = Z[t]. We prove that a negative
5 answer to this question would follow from a negative answer for a ring between Z and the extension of Z by a primitive cube root of An Analogue of Hilbert s Tenth Problem for Fields of Meromorphic Functions over non-archimedean Valued Fields, Journal of Number Theory, Vol. 101, Issue 1, pp (2003). Abstract : Let K be a complete and algebraically closed valued field. We prove that the set of rational integers is positive existentially definable in the field M of meromorphic functions on K in the language L R of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation the function x takes the value 0 at 0. Consequently, we prove that the positive existential theory of M in the language L R is undecidable. In order to obtain these results, we obtain a complete characterization of all analytic projective maps (over K) from an elliptic curve E minus a point to E, for any elliptic curve defined over the field of constants. 11. Multiplication Complexe et Équivalence Élémentaire dans le Langage des Corps, Journal of Symbolic Logic 67 n2, pp (2002). Résumé : Soit K et K deux corps elliptiques avec multiplication complexe sur un corps algébriquement clos k de caractéristique 0, non k-isomorphes, et soit C et C deux courbes ayant pour corps de fonctions K et K respectivement. Nous démontrons que si les anneaux d endomorphismes de C et de C ne sont pas isomorphes, alors K et K ne sont pas élémentairement équivalents dans le langage des corps enrichi d une seule constante (l invariant modulaire). Ce travail fait suite à un travail de David A. Pierce qui se place dans le langage des k-algèbres. 12. Équivalence Élémentaire de Corps Elliptiques, Comptes Rendus de l Académie des Sciences de Paris, Série I 330, pp. 1-4 (2000). Résumé : Il s agit de démontrer une partie de la conjecture suivante : deux corps elliptiques sur un corps algébriquement clos k sont k-isomorphes si et seulement s ils sont élémentairement équivalents dans le langage des corps enrichi d une constante (l invariant modulaire). C est une extension des résultats de Duret sur l équivalence élémentaire des corps de fonctions.
The analogue of Büchi s problem for rational functions
The analogue of Büchi s problem for rational functions Thanases Pheidas University of Crete and Xavier Vidaux Universidad de Concepción revised version in Journal of LMS, vol. 74-3, pp. 545-565 (2006)
More informationExtensions of Büchi s problem : Questions of decidability for addition and k-th powers
Extensions of Büchi s problem : Questions of decidability for addition and k-th powers Thanases PHEIDAS Xavier VIDAUX Fundamenta Mathematicae, vol. 185, pp. 171-194 (2005) The authors thank the referee
More informationMathematisches Forschungsinstitut Oberwolfach. Miniworkshop: Hilbert s Tenth Problem, Mazur s Conjecture and Divisibility Sequences
Mathematisches Forschungsinstitut Oberwolfach Report No. 3/2003 Miniworkshop: Hilbert s Tenth Problem, Mazur s Conjecture and Divisibility Sequences January 19th January 25th, 2003 The mini workshop was
More informationDecidability of Sub-theories of Polynomials over a Finite Field
Decidability of Sub-theories of Polynomials over a Finite Field Alla Sirokofskich Hausdorff Research Institute for Mathematics Poppelsdorfer Allee 45, D-53115, Bonn, Germany Department of Mathematics University
More informationThanases Pheidas University of Crete and Karim Zahidi University of Antwerp
Decision problems in Algebra and analogues of Hilbert s tenth problem A tutorial presented at American Institute of Mathematics and Newton Institute of Mathematical Sciences Thanases Pheidas University
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 informationThe Brauer Manin obstruction for curves having split Jacobians
Journal de Théorie des Nombres de Bordeaux 16 (2004), 773 777 The Brauer Manin obstruction for curves having split Jacobians par Samir SIKSEK Résumé. Soit X A un morphisme (qui n est pas constant) d une
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationLogic, Elliptic curves, and Diophantine stability
Logic, Elliptic curves, and Diophantine stability Hilbert s classical Tenth Problem Given a diophantine equation with any number of unknown quantities and with rational integral numerical coefficients:
More informationDiophantine sets of polynomials over number
Diophantine sets of polynomials over number fields arxiv:0807.1970v2 [math.nt] 11 Sep 2008 Jeroen Demeyer 2018 10 08 Abstract Let R be a recursive subring of a number field. We show that recursively enumerable
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 18, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 18, 2006 The original problem H10: Find an algorithm that solves
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationSmall exponent point groups on elliptic curves
Journal de Théorie des Nombres de Bordeaux 18 (2006), 471 476 Small exponent point groups on elliptic curves par Florian LUCA, James MCKEE et Igor E. SHPARLINSKI Résumé. Soit E une courbe elliptique définie
More informationaccording to Alexandra Shlapentokh September 30, 2016
according to Alexandra Shlapentokh East Carolina University, Greenville, North Carolina, USA September 30, 2016 Prologue Outline 1 Prologue Some Questions and Answers 2 Becoming More Ambitious 3 Complications
More informationDefinability in fields Lecture 1: Undecidabile arithmetic, decidable geometry
Definability in fields Lecture 1: Undecidabile arithmetic, decidable geometry 5 February 2007 Model Theory and Computable Model Theory Gainesville, Florida Structures from logic Question What do we study
More informationDEFINABILITY OF FROBENIUS ORBITS AND A RESULT ON RATIONAL DISTANCE SETS
DEFINABILITY OF FROBENIUS ORBITS AND A RESULT ON RATIONAL DISTANCE SETS HECTOR PASTEN Abstract. We prove that the first order theory of (possibly transcendental) meromorphic functions of positive characteristic
More informationANNALES DE LA FACULTÉ DES SCIENCES DE TOULOUSE
ANNALES DE LA FACULTÉ DES SCIENCES DE TOULOUSE ALEX BIJLSMA A note on elliptic functions approximation by algebraic numbers of bounded degree Annales de la faculté des sciences de Toulouse 5 e série, tome
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 informationExtending Zagier s Theorem on Continued Fractions and Class Numbers
Extending Zagier s Theorem on Continued Fractions and Class Numbers Colin Weir University of Calgary Joint work with R. K. Guy, M. Bauer, M. Wanless West Coast Number Theory December 2012 The Story of
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationTHE RESOLUTION OF SAFFARI S PHASE PROBLEM. Soit K n := { p n : p n (z) = n
Comptes Rendus Acad. Sci. Paris Analyse Fonctionnelle Titre français: Solution du problème de la phase de Saffari. THE RESOLUTION OF SAFFARI S PHASE PROBLEM Tamás Erdélyi Abstract. We prove a conjecture
More informationUnderstanding hard cases in the general class group algorithm
Understanding hard cases in the general class group algorithm Makoto Suwama Supervisor: Dr. Steve Donnelly The University of Sydney February 2014 1 Introduction This report has studied the general class
More informationANNALES SCIENTIFIQUES L ÉCOLE NORMALE SUPÉRIEURE. Cluster ensembles, quantization and the dilogarithm. Vladimir V. FOCK & Alexander B.
ISSN 0012-9593 ASENAH quatrième série - tome 42 fascicule 6 novembre-décembre 2009 ANNALES SCIENTIFIQUES de L ÉCOLE NORMALE SUPÉRIEURE Vladimir V. FOCK & Alexander B. GONCHAROV Cluster ensembles, quantization
More informationDefinable henselian valuation rings
Definable henselian valuation rings Alexander Prestel Abstract We give model theoretic criteria for the existence of and - formulas in the ring language to define uniformly the valuation rings O of models
More informationProjects on elliptic curves and modular forms
Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master
More informationSUMS OF VALUES OF A RATIONAL FUNCTION. x k i
SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x
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 informationarxiv: v1 [math.nt] 26 Mar 2009
RIGHT TRIANGLES WITH ALGEBRAIC SIDES AND ELLIPTIC CURVES OVER NUMBER FIELDS arxiv:0903.46v [math.nt] 26 Mar 2009 E. GIRONDO, G. GONZÁLEZ-DIEZ, E. GONZÁLEZ-JIMÉNEZ, R. STEUDING, J. STEUDING Abstract. Given
More informationSQUARE PATTERNS AND INFINITUDE OF PRIMES
SQUARE PATTERNS AND INFINITUDE OF PRIMES KEITH CONRAD 1. Introduction Numerical data suggest the following patterns for prime numbers p: 1 mod p p = 2 or p 1 mod 4, 2 mod p p = 2 or p 1, 7 mod 8, 2 mod
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationwith many rational points
Algebraic curves over F 2 with many rational points, René Schoof version May 7, 1991 Algebraic curves over F 2 with many rational points René Schoof Dipartimento di Matematica Università degli Studi di
More informationThe first-order theory of finitely generated fields
generated fields University of California at Berkeley (on work of Robinson, Ershov, Rumely, Pop, myself, and Scanlon) Antalya Algebra Days X June 1, 2008 Quadratic sentence ( x)( y) x 2 + y 2 = 1 holds
More informationThe characteristic equation and minimal state space realization of SISO systems in the max algebra
KULeuven Department of Electrical Engineering (ESAT) SISTA Technical report 93-57a The characteristic equation and minimal state space realization of SISO systems in the max algebra B De Schutter and B
More informationDESCENT ON ELLIPTIC CURVES AND HILBERT S TENTH PROBLEM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 DESCENT ON ELLIPTIC CURVES AND HILBERT S TENTH PROBLEM KIRSTEN EISENTRÄGER AND GRAHAM EVEREST Abstract.
More informationGALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE)
GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) JACQUES VÉLU 1. Introduction Let E be an elliptic curve defined over a number field K and equipped
More informationLECTURE 1. ZETA FUNCTIONS: AN OVERVIEW
LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW Zeta functions encode the counting of certain objects of geometric, algebraic, or arithmetic behavior. What distinguishes them from other generating series are special
More informationTHE OLYMPIAD CORNER No. 305
THE OLYMPIAD CORNER / 67 THE OLYMPIAD CORNER No. 305 Nicolae Strungaru The solutions to the problems are due to the editor by 1 January 014. Each problem is given in English and French, the official languages
More informationUndecidability in number theory 1
Undecidability in number theory 1 Bjorn Poonen Does the equation x 3 +y 3 +z 3 = 29 have a solution in integers? Yes: (3, 1, 1), for instance. How about x 3 +y 3 +z 3 = 30? Again yes, although this was
More informationCURRICULUM VITAE Irene Kyza
CURRICULUM VITAE Irene Kyza Personal Information Name: Irene Kyza Nationality: Greek Cypriot Birthplace: Larnaka Cyprus Date of Birth: August 25, 1981 Contact Information IACM FORTH E-mail: kyza@iacm.forth.gr,
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More informationON THE BILINEAR COMPLEXITY OF THE MULTIPLICATION IN FINITE FIELDS. Stéphane Ballet & Robert Rolland
Séminaires & Congrès 11, 2005, p. 179 188 ON THE BILINEAR COMPLEXITY OF THE MULTIPLICATION IN FINITE FIELDS by Stéphane Ballet & Robert Rolland Abstract. The aim of this paper is to introduce the bilinear
More informationHandouts. CS701 Theory of Computation
Handouts CS701 Theory of Computation by Kashif Nadeem VU Student MS Computer Science LECTURE 01 Overview In this lecturer the topics will be discussed including The Story of Computation, Theory of Computation,
More informationOn classifying Laguerre polynomials which have Galois group the alternating group
Journal de Théorie des Nombres de Bordeaux 00 (XXXX), 000 000 On classifying Laguerre polynomials which have Galois group the alternating group par Pradipto Banerjee, Michael Filaseta, Carrie E. Finch
More informationarxiv: v1 [math.nt] 13 May 2018
Fields Q( 3 d, ζ 3 ) whose 3-class group is of type (9, 3) arxiv:1805.04963v1 [math.nt] 13 May 2018 Siham AOUISSI, Mohamed TALBI, Moulay Chrif ISMAILI and Abdelmalek AZIZI May 15, 2018 Abstract: Let k
More informationOn symmetric square values of quadratic polynomials
ACTA ARITHMETICA 149.2 (2011) On symmetric square values of quadratic polynomials by Enrique González-Jiménez (Madrid) and Xavier Xarles (Barcelona) 1. Introduction. In this note we are dealing with the
More informationcedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques
Paul FILI On the heights of totally p-adic numbers Tome 26, n o 1 (2014), p. 103-109. Société Arithmétique de Bordeaux, 2014, tous droits réservés.
More informationDivisibility Sequences for Elliptic Curves with Complex Multiplication
Divisibility Sequences for Elliptic Curves with Complex Multiplication Master s thesis, Universiteit Utrecht supervisor: Gunther Cornelissen Universiteit Leiden Journées Arithmétiques, Edinburgh, July
More informationHilbert s problems, Gödel, and the limits of computation
Hilbert s problems, Gödel, and the limits of computation Logan Axon Gonzaga University November 14, 2013 Hilbert at the ICM At the 1900 International Congress of Mathematicians in Paris, David Hilbert
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationRecent trends in harmonic and complex analysis. Monday 03 April Wednesday 05 April 2017 Université d Orléans, Mathématiques
Recent trends in harmonic and complex analysis Monday 03 April 2017 - Wednesday 05 April 2017 Université d Orléans, Mathématiques Recueil des résumés Contents A limiting case for the divergence equation
More informationDRINFELD LEVEL STRUCTURES AND LUBIN-TATE SPACES. Przemysªaw Chojecki
DRINFELD LEVEL STRUCTURES AND LUBIN-TATE SPACES Przemysªaw Chojecki Le but principal de cet exposé est de demontrer la regularité des anneaux representants les foncteurs des deformations des groupes formels
More informationCounterexample to the infinite dimensional Carleson embedding theorem
Counterexample to the infinite dimensional Carleson embedding theorem Fedor Nazarov, Serguei Treil, and Alexander Volberg Abstract. We are going to show that the classical Carleson embedding theorem fails
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More informationECEN 5682 Theory and Practice of Error Control Codes
ECEN 5682 Theory and Practice of Error Control Codes Introduction to Algebra University of Colorado Spring 2007 Motivation and For convolutional codes it was convenient to express the datawords and the
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationAlgebraic group actions on noncommutative spectra
GoBack Algebraic group actions on noncommutative spectra Special Session on Brauer Groups, Quadratic Forms, Algebraic Groups, and Lie Algebras NCSU 04/04/2009 Martin Lorenz Temple University, Philadelphia
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationAn Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch
An Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch Une Interprétation Algébrique de la Suite des Ordres de Multiplicité d une Branche Algébrique Proc. London Math. Soc. (2),
More informationSylvie Hamel 848 de la Gauchetière Est
Sylvie Hamel 848 de la Gauchetière Est Montréal, Québec H2L 2N2 General informations. Sex: Female Nationality: Canadian Languages: French, english Web address: http://www.lacim.uqam.ca/ hamel E-mail: sylvie@cs.mcgill.ca
More informationMod p Galois representations attached to modular forms
Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended
More informationCURRICULUM VITAE PANAGIOTIS N. GAVRILIADIS
CURRICULUM VITAE PANAGIOTIS N. GAVRILIADIS Mail address: National Technical University of Athens Department of Naval Architecture and Marine Engineering P.O. Box 64033, Zographos 157 10, Athens GREECE
More informationANNALES. Université Paul Sabatier, Toulouse, 2010, tous droits réservés.
ANNALES DE LA FACULTÉ DES SCIENCES Mathématiques ASHISH K. SRIVASTAVA A Survey of Rings Generated by Units Tome XIX, n o S1 (2010), p. 203-213.
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
More informationFrom Newton s Fluxions to Virtual Microscopes
From Newton s Fluxions to Virtual Microscopes Jacques Bair and Valerie Henry J.Bair@ulg.ac.be V.Henry@ulg.ac.be Key words : Fluxions ; tangent lines ; hyperreal numbers ; dual numbers ; virtual microscopes
More informationRepresenting Scott Sets in Algebraic Settings
Representing Scott Sets in Algebraic Settings Alf Dolich Kingsborough Community College Julia F. Knight University of Notre Dame Karen Lange Wellesley College David Marker University of Illinois at Chicago
More informationModel theory and constructive mathematics. Thierry Coquand
Thierry Coquand Model theory A challenge to constructive mathematics Important results: conjecture Ax-Kochen, differential algebraic closure, Mordell-Lang 1 Model theory The starting point of model theory,
More informationp-cycles, S 2 -sets and Curves with Many Points
Facultad de Ciencias Naturales y Exactas Universidad del Valle p-cycles, S 2 -sets and Curves with Many Points Álvaro Garzón R. Universidad del Valle Received: December 16, 2016 Accepted: June 13, 2017
More informationThe real line: the equational compatibility problem and one-variable variants Hilbert s 10 th Problem
The real line: the equational compatibility problem and one-variable variants Hilbert s 10 th Problem George F. McNulty Abstract. Walter Taylor proved recently that there is no algorithm for determining
More informationHilbert s problems, Gödel, and the limits of computation
Hilbert s problems, Gödel, and the limits of computation Logan Axon Gonzaga University April 6, 2011 Hilbert at the ICM At the 1900 International Congress of Mathematicians in Paris, David Hilbert gave
More informationDescribing Resolvent Sextics of Quintic Equations. By Frank D. Grosshans
Describing Resolvent Sextics of Quintic Equations By Frank D. Grosshans L. E. Dickson, Bulletin A.M.S. 31, 1925, 515-523 RESOLVENT SEXTICS OF QUINTIC EQUATIONS BY L. E. DICKSON 1. Introduction. The object
More informationKato s inequality when u is a measure. L inégalité de Kato lorsque u est une mesure
Kato s inequality when u is a measure L inégalité de Kato lorsque u est une mesure Haïm Brezis a,b, Augusto C. Ponce a,b, a Laboratoire Jacques-Louis Lions, Université Pierre et Marie Curie, BC 187, 4
More informationarxiv: v2 [math.dg] 13 Feb 2018
HOLOMORPHIC CARTAN GEOMETRIES ON COMPLEX TORI INDRANIL BISWAS AND SORIN DUMITRESCU arxiv:1710.05874v2 [math.dg] 13 Feb 2018 Abstract. In [DM] it was asked whether all flat holomorphic Cartan geometries(g,
More informationSome prehistory of Lagrange s Theorem in group theory:
Some prehistory of Lagrange s Theorem in group theory: The number of values of a function The Mathematical Association, Royal Holloway College, Saturday 8 April 2017 Peter M. Neumann (The Queen s College,
More informationRINGS IN POST ALGEBRAS. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXVI, 2(2007), pp. 263 272 263 RINGS IN POST ALGEBRAS S. RUDEANU Abstract. Serfati [7] defined a ring structure on every Post algebra. In this paper we determine all the
More informationA REMARK ON THE BOROS-MOLL SEQUENCE
#A49 INTEGERS 11 (2011) A REMARK ON THE BOROS-MOLL SEQUENCE J.-P. Allouche CNRS, Institut de Math., Équipe Combinatoire et Optimisation Université Pierre et Marie Curie, Paris, France allouche@math.jussieu.fr
More information1. Introduction. Mathematisches Institut, Seminars, (Y. Tschinkel, ed.), p Universität Göttingen,
Mathematisches Institut, Seminars, (Y. Tschinkel, ed.), p. 203 209 Universität Göttingen, 2004-05 THE DIOPHANTINE EQUATION x 4 + 2y 4 = z 4 + 4w 4 A.-S. Elsenhans J. Jahnel Mathematisches Institut, Bunsenstr.
More informationRepresenting Scott Sets in Algebraic Settings
Wellesley College Wellesley College Digital Scholarship and Archive Faculty Research and Scholarship 8-2015 Representing Scott Sets in Algebraic Settings Alf Dolich Julia F. Knight Karen Lange klange2@wellesley.edu
More informationCHARACTERIZATION OF THE COLLAPSING MEROMORPHIC PRODUCTS
Publicacions Matemàtiques, Vol 40 (1996), 331 336. CHARACTERIZATION OF THE COLLAPSING MEROMORPHIC PRODUCTS Alain Escassut and Marie-Claude Sarmant Abstract Let K be an algebraically closedcomplete ultrametric
More informationThe torsion free part of the Ziegler spectrum of orders over Dedekind domains
The torsion free part of the Ziegler spectrum of orders over Dedekind domains Carlo Toffalori (Camerino) Manchester, April 6-9, 2018 Work in progress with Lorna Gregory and Sonia L Innocente Dedicated
More informationUNIQUENESS OF NON-ARCHIMEDEAN ENTIRE FUNCTIONS SHARING SETS OF VALUES COUNTING MULTIPLICITY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 4, April 1999, Pages 967 971 S 0002-9939(99)04789-9 UNIQUENESS OF NON-ARCHIMEDEAN ENTIRE FUNCTIONS SHARING SETS OF VALUES COUNTING MULTIPLICITY
More informationAlgebraic Proof Systems
Algebraic Proof Systems Pavel Pudlák Mathematical Institute, Academy of Sciences, Prague and Charles University, Prague Fall School of Logic, Prague, 2009 2 Overview 1 a survey of proof systems 2 a lower
More informationTHE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA
C. R. Math. Rep. Acad. Sci. Canada Vol. 30 (3) 2008, pp. 89 96 THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA VLASTIMIL DLAB AND CLAUS MICHAEL RINGEL
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationFrançois Petit. Curriculum vitæ. Personal information. Professional Experiences. Education
Curriculum vitæ François Petit Université du Luxembourg Maison du Nombre 6, avenue de la Fonte L-4364 Esch-sur-Alzette Luxembourg Phone:+33619444725 E-mail: fvmpetit@gmail.com Site: http://www.fpetit.org/
More informationPropositional and Predicate Logic - XIII
Propositional and Predicate Logic - XIII Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - XIII WS 2016/2017 1 / 22 Undecidability Introduction Recursive
More informationADDITION BEHAVIOR OF A NUMERICAL SEMIGROUP. Maria Bras-Amorós
Séminaires & Congrès 11, 2005, p. 21 28 ADDITION BEHAVIOR OF A NUMERICAL SEMIGROUP by Maria Bras-Amorós Abstract. In this work we study some objects describing the addition behavior of a numerical semigroup
More informationThe symmetric subset-sum problem over the complex numbers
The symmetric subset-sum problem over the complex numbers Mihai Prunescu Universität Freiburg, Abteilung Mathematische Logik, Eckerstr. 1, D-78103 Freiburg im Breisgau, Deutschland. Abstract A problem
More informationarxiv:alg-geom/ v1 8 Nov 1994
arxiv:alg-geom/9411002v1 8 Nov 1994 THE MINIMAL NUMBER OF SINGULAR FIBERS OF A SEMISTABLE CURVE OVER P 1 SHENG-LI TAN 1. Introduction The purpose of this paper is to try to answer the following Szpiro
More informationA. I. BADULESCU AND D. RENARD
ZELEVINSKY INVOLUTION AND MOEGLIN-WALDSPURGER ALGORITHM FOR GL n (D) A. I. BADULESCU AND D. RENARD Abstract. In this short note, we remark that the algorithm of Moeglin and Waldspurger for computing the
More informationModel Theory of Modules
Model Theory of Modules (Extended Abstract) Ivo Herzog Department of Mathematics University of Notre Dame Notre Dame, IN 46556-5683, USA ivo.herzog.2kund.edu This note is meant to give a brief account
More informationOutils de Recherche Opérationnelle en Génie MTH Astuce de modélisation en Programmation Linéaire
Outils de Recherche Opérationnelle en Génie MTH 8414 Astuce de modélisation en Programmation Linéaire Résumé Les problèmes ne se présentent pas toujours sous une forme qui soit naturellement linéaire.
More informationNefton Pali s CURRICULUM VITAE
Nefton Pali s CURRICULUM VITAE PERSONAL INFORMATION Date of birth: 12/june/1976 Nationality: Italian EDUCATION 2015 Habilitation (HDR), University of Paris-Sud, Orsay, France. 2004 Phd, Institut Fourier,
More informationTHE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE
THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].
More informationExercise sheet n Compute the eigenvalues and the eigenvectors of the following matrices. C =
L2 - UE MAT334 Exercise sheet n 7 Eigenvalues and eigenvectors 1. Compute the eigenvalues and the eigenvectors of the following matrices. 1 1 1 2 3 4 4 1 4 B = 1 1 1 1 1 1 1 1 1 C = Which of the previous
More information1 Introduction. 2 Solving Linear Equations. Charlotte Teacher Institute, Modular Arithmetic
1 Introduction This essay introduces some new sets of numbers. Up to now, the only sets of numbers (algebraic systems) we know is the set Z of integers with the two operations + and and the system R of
More informationDependent Fields have no Artin-Schreier Extensions
have no Artin-Schreier Extensions La Roche-en-Ardenne Itay Kaplan Joint work with Thomas Scanlon Hebrew University of Jerusalem and Université Claude Bernard Lyon 1 21 April 2008 In [5], Macintyre showed
More informationA reduction of the Batyrev-Manin Conjecture for Kummer Surfaces
1 1 A reduction of the Batyrev-Manin Conjecture for Kummer Surfaces David McKinnon Department of Pure Mathematics, University of Waterloo Waterloo, ON, N2T 2M2 CANADA December 12, 2002 Abstract Let V be
More information