Differential dependency of solutions of q-difference equations

Size: px
Start display at page:

Download "Differential dependency of solutions of q-difference equations"

Transcription

1 Differential dependency of solutions of q-difference equations Lucia Di Vizio (joint work with Charlotte Hardouin) Boston, January 5th, 2012

2 Difference systems and modules 1 Difference systems and modules 2 Quick survey of difference Galois theory 3 Hypertranscendence 4 Jacobi Theta function 5 Basis function field 6 Descending the Galois group from C E to C E 7 Rank 1 hypertranscendency result

3 Difference systems and modules (F, σ) = field equipped with a noncyclic automorphisms K = F σ = sub-field of σ-invariant elements of F Difference system σy = AY with A Gl ν (F ) Difference modules M = (M, Σ) over F M Σ : M M F -vectorial space of finite dimension ν σ-semilinear bijection Remark The horizontal vectors with respect to Σ solutions of a difference system.

4 Difference systems and modules If e is a basis of M, then A(x) GL ν (C(x)) s.t. Σ q e = ea(x): Σ q (ey (x)) = ey (x) Y (x) = A(x)Y (). Return

5 Quick survey of difference Galois theory Suppose K algebraically closed σ(y ) = AY, with A Gl ν (F ) (R, σ)/(f, σ) σ-simple ring generated by a fundamental matrix of solutions. Gal(M A ) = Aut σ (R/F ) GL ν (K) (van der Put-Singer) = { 1,..., n } set of derivations of F, commuting with each other and with σ K= -closure of K: F = Frac(F K) Gal (M A ) = Aut σ, ( R/ F ) GL ν ( K) (Hardouin-Singer) Problem. A too big field of definition. Descent results for Gal (M A ) to K: Peron-Nieto, Wibmer, Gillet-Gorchinskiy-Ovchinnikov, (DV-Hardouin).

6 Hypertranscendence Theorem (Hardouin-Singer) The differential dimension of Gal (M A ) is equal to the degree of differential transcendence (hypertranscendence) over F of the entrees of a fundamental solution matrix. Applications to: Hypertranscendency criteria for rang 1 differential equations Integrability criteria

7 Jacobi Theta function Jacobi Theta function θ q (x) = n Z q n(n 1)/2 x n, Solution of θ q () = θ q (x), Remark: l q (x) = xθ q θ q l q () = l q (x) + 1 We set: σ q (f (x)) = f (), δ x = x d dx, δ q = q d dq. σ q [δ x (l q )] = δ x (l q ) σ q [δ q (l q )] = δ q (l q ) (Heat equation) 2δ q θ q = δ 2 xθ q + δ x θ q

8 Jacobi Theta function δ = l q δ x + δ q. Then [δ, σ q ] = 0 (C E (x, l q ), σ q, δ) is a differntial-q-different field. Slightly refined version of Hardouin-Singer criterium applied to θ q : θ q is differentially algebraic iff a 1,..., a m C E and f C E (l q, x) s.t. ( ) i a iδ i δ() = σ q (f ) f.

9 Jacobi Theta function δ = l q δ x + δ q. Then [δ, σ q ] = 0 (C E (x, l q ), σ q, δ) is a differntial-q-different field. Slightly refined version of Hardouin-Singer criterium applied to θ q : θ q is differentially algebraic iff a 1,..., a m C E and f C E (l q, x) s.t. ( ) i a iδ i δ() = σ q (f ) f. Easy to verify!

10 Jacobi Theta function δ = l q δ x + δ q. Then [δ, σ q ] = 0 (C E (x, l q ), σ q, δ) is a differntial-q-different field. Slightly refined version of Hardouin-Singer criterium applied to θ q : θ q is differentially algebraic iff a 1,..., a m C E and f C E (l q, x) s.t. ( ) i a iδ i δ() = σ q (f ) f. Easy to verify! δ() ( ) l 2 q + l q = l q (x) + 1 = σ q l2 q + l q 2 2

11 Jacobi Theta function δ = l q δ x + δ q. Then [δ, σ q ] = 0 (C E (x, l q ), σ q, δ) is a differntial-q-different field. Slightly refined version of Hardouin-Singer criterium applied to θ q : θ q is differentially algebraic iff a 1,..., a m C E and f C E (l q, x) s.t. ( ) i a iδ i δ() = σ q (f ) f. Easy to verify! δ() ( ) l 2 q + l q = l q (x) + 1 = σ q l2 q + l q 2 2 combined with δ() ( ) δ(θq ) = σ q δ(θ q) θ q θ q

12 Jacobi Theta function δ = l q δ x + δ q. Then [δ, σ q ] = 0 (C E (x, l q ), σ q, δ) is a differntial-q-different field. Slightly refined version of Hardouin-Singer criterium applied to θ q : θ q is differentially algebraic iff a 1,..., a m C E and f C E (l q, x) s.t. ( ) i a iδ i δ() = σ q (f ) f. Easy to verify! δ() ( ) l 2 q + l q = l q (x) + 1 = σ q l2 q + l q 2 2 combined with gives δ() ( ) δ(θq ) = σ q δ(θ q) θ q θ q

13 Jacobi Theta function δ = l q δ x + δ q. Then [δ, σ q ] = 0 (C E (x, l q ), σ q, δ) is a differntial-q-different field. Slightly refined version of Hardouin-Singer criterium applied to θ q : θ q is differentially algebraic iff a 1,..., a m C E and f C E (l q, x) s.t. ( ) i a iδ i δ() = σ q (f ) f. Easy to verify! δ() combined with gives 2 δ(θ q) θ q ( ) l 2 q + l q = l q (x) + 1 = σ q l2 q + l q 2 2 δ() ( ) δ(θq ) = σ q δ(θ q) θ q θ q ) (l 2 q + l q = 2 δ q(θ q ) + l 2 q l q C E θ q

14 Jacobi Theta function 2 δ q(θ q ) θ q 2 δ q(θ q ) θ q = δ 2 xθ q + δ x θ q (heat eq.) + l 2 q l q = δ x (l q ) C E

15 Basis function field k= field of characteristic 0 k(q)= rational functions in q K= finite extension of k(q) = a fixed extension to K of the q 1 -adic norm of k(q) d R, d > 1, s.t. f (q) = d deg q (f ) f (q) k[q] (C, )/(K, )= smallest complete et algebraically closed extension of K Mer(C )= meromorphic functions on C := C {0} C E := Mer(C ) σq = fields of elliptic functions over C /q Z, δ q et δ x = x d dx act over Mer(C ) and { δx σ q = σ q δ x ; δ q σ q = σ q (δ x + δ q ).

16 Descending the Galois group from C E to C E C E = differential closure of C E with respect to δ x and δ = l q δ x + δ q Notice that: [δ x, σ q ] = [δ, σ q ] = 0 δ x δ δ δ x = δ x (l q (x))δ x with δ x (l q (x)) C E

17 Descending the Galois group from C E to C E Lemme There exists h C E of the order 1 differential equation over C E : [l q δ x + δ q ] (h) = δ x (l q (x))h, such that the derivations: { 1 = hδ x ; 2 = l q (x)δ x + δ q commutes with each other and with σ q. Remark C E (x, l q ) is a (σ q, )-field for = { 1, 2 }. C E (x, l q ) is also a (σ q, 2 )-field.

18 Descending the Galois group from C E to C E 2 2(θ q ) Gal 2 (θ q ) θ q { small group 2 -algebraicity ) (l 2 q + l q = 2 δ q(θ q ) 2 ( 2 (c) c ) } = 0 θ q + l 2 q l q C E

19 Rank 1 hypertranscendency result Theorem (Hardouin-Singer, DV-Hardouin) let u Mer(C ) a meromorphic solution y() = a(x)y(x), a(x) k(q, x). The following assertions are equivalent: 1 a(x) = µx r g() g(x), for some r Z, g k(q, x) and µ k(q). 2 u is solution of a nontrivial δ x -differential equation with coefficients in C E (x, l q ) (and therefore in C(x)). 3 u is solution of a nontrivial 2 -differential equation with coefficients in C E (x, l q ).

20 Rank 1 hypertranscendency result THANK YOU!

Descent for differential Galois theory of difference equations Confluence and q-dependency

Descent for differential Galois theory of difference equations Confluence and q-dependency Descent for differential Galois theory of difference equations Confluence and q-dependency Lucia Di Vizio and Charlotte Hardouin November 8, 207 arxiv:03.5067v2 [math.qa] 30 Nov 20 Abstract The present

More information

arxiv: v1 [math.qa] 8 May 2012

arxiv: v1 [math.qa] 8 May 2012 Galois theories for q-difference equations: comparison theorems Lucia Di Vizio and Charlotte Hardouin February 6, 2018 arxiv:1205.1696v1 [math.qa] 8 May 2012 Abstract We establish some comparison results

More information

Differential Groups and Differential Relations. Michael F. Singer Department of Mathematics North Carolina State University Raleigh, NC USA

Differential Groups and Differential Relations. Michael F. Singer Department of Mathematics North Carolina State University Raleigh, NC USA Differential Groups and Differential Relations Michael F. Singer Department of Mathematics North Carolina State University Raleigh, NC 27695-8205 USA http://www.math.ncsu.edu/ singer Theorem: (Hölder,

More information

Symmetries of meromorphic connections over Riemann Surfaces

Symmetries of meromorphic connections over Riemann Surfaces Symmetries of meromorphic connections over Riemann Surfaces Camilo Sanabria The CUNY Graduate Center February 13 th, 2009 Example Consider: y + 3(3z2 1) z(z 1)(z + 1) y + 221z4 206z 2 + 5 12z 2 (z 1) 2

More information

McGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA

McGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected 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 information

On the nature of the generating series of walks in the quarter plane

On the nature of the generating series of walks in the quarter plane 1/27 On the nature of the generating series of walks in the quarter plane Thomas Dreyfus 1 Joint work with Charlotte Hardouin 2 and Julien Roques 3 and Michael Singer 4 1 University Lyon 1, France 2 University

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups. Hendrik Lenstra. 1. Introduction Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

More information

On the Definitions of Difference Galois Groups

On the Definitions of Difference Galois Groups On the Definitions of Difference Galois Groups Zoé Chatzidakis CNRS - Université Paris 7 Charlotte Hardouin Universität Heidelberg IWR INF 368 Michael F. Singer University of North Carolina Summary We

More information

Galois Theory of Several Variables

Galois Theory of Several Variables On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More information

On the structure of Picard-Vessiot extensions - Joint work with Arne Ledet - Kolchin Seminar in Differential Algebra May 06, 2006

On the structure of Picard-Vessiot extensions - Joint work with Arne Ledet - Kolchin Seminar in Differential Algebra May 06, 2006 On the structure of Picard-Vessiot extensions - Joint work with Arne Ledet - Kolchin Seminar in Differential Algebra May 06, 2006 (Sixth Visit Since March 17, 2001) 1 K is assumed to be a differential

More information

c ij x i x j c ij x i y j

c ij x i x j c ij x i y j Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in

More information

On values of Modular Forms at Algebraic Points

On values of Modular Forms at Algebraic Points On values of Modular Forms at Algebraic Points Jing Yu National Taiwan University, Taipei, Taiwan August 14, 2010, 18th ICFIDCAA, Macau Hermite-Lindemann-Weierstrass In value distribution theory the exponential

More information

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field

More information

Codes and Rings: Theory and Practice

Codes and Rings: Theory and Practice Codes and Rings: Theory and Practice Patrick Solé CNRS/LAGA Paris, France, January 2017 Geometry of codes : the music of spheres R = a finite ring with identity. A linear code of length n over a ring R

More information

Real and p-adic Picard-Vessiot fields

Real and p-adic Picard-Vessiot fields Spring Central Sectional Meeting Texas Tech University, Lubbock, Texas Special Session on Differential Algebra and Galois Theory April 11th 2014 Real and p-adic Picard-Vessiot fields Teresa Crespo, Universitat

More information

z, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1

z, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1 3 3 THE RIEMANN SPHERE 31 Models for the Riemann Sphere One dimensional projective complex space P(C ) is the set of all one-dimensional subspaces of C If z = (z 1, z ) C \ 0 then we will denote by [z]

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Definitions Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

ON THE EQUATION X n 1 = BZ n. 1. Introduction

ON THE EQUATION X n 1 = BZ n. 1. Introduction ON THE EQUATION X n 1 = BZ n PREDA MIHĂILESCU Abstract. We consider the Diophantine equation X n 1 = BZ n ; here B Z is understood as a parameter. We give new conditions for existence of solutions to this

More information

NUNO FREITAS AND ALAIN KRAUS

NUNO FREITAS AND ALAIN KRAUS ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion

More information

Liouvillian solutions of third order differential equations

Liouvillian 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 information

Hecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton

Hecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton Hecke Operators for Arithmetic Groups via Cell Complexes 1 Hecke Operators for Arithmetic Groups via Cell Complexes Mark McConnell Center for Communications Research, Princeton Hecke Operators for Arithmetic

More information

7 Orders in Dedekind domains, primes in Galois extensions

7 Orders in Dedekind domains, primes in Galois extensions 18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in

More information

Model theory, algebraic dynamics and local fields

Model theory, algebraic dynamics and local fields Model theory, algebraic dynamics and local fields Thomas Scanlon University of California, Berkeley 9 June 2010 Thomas Scanlon (University of California, Berkeley) Model theory, algebraic dynamics and

More information

Sato-Tate groups of abelian surfaces

Sato-Tate groups of abelian surfaces Sato-Tate groups of abelian surfaces Kiran S. Kedlaya Department of Mathematics, University of California, San Diego kedlaya@ucsd.edu http://kskedlaya.org/slides/ Curves and Automorphic Forms Arizona State

More information

The Sato-Tate conjecture for abelian varieties

The Sato-Tate conjecture for abelian varieties The Sato-Tate conjecture for abelian varieties Andrew V. Sutherland Massachusetts Institute of Technology March 5, 2014 Mikio Sato John Tate Joint work with F. Fité, K.S. Kedlaya, and V. Rotger, and also

More information

Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005

Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005 Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005 Polynomial Galois Theory case Noether first introduced generic equations in connection

More information

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra Foundations of Numerics from Advanced Mathematics Linear Algebra Linear Algebra, October 23, 22 Linear Algebra Mathematical Structures a mathematical structure consists of one or several sets and one or

More information

Each is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0

Each is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0 Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0

ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0 ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0 CHAD AWTREY, JAMES BEUERLE, AND MICHAEL KEENAN Abstract. Let f(x) beanirreducibledegreefourpolynomialdefinedover afieldf and

More information

MAT 535 Problem Set 5 Solutions

MAT 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 information

Galois theory of fields

Galois theory of fields 1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account

More information

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

More information

Elliptic Functions. Introduction

Elliptic Functions. Introduction Elliptic Functions Introduction 1 0.1 What is an elliptic function Elliptic function = Doubly periodic meromorphic function on C. Too simple object? Indeed, in most of modern textbooks on the complex analysis,

More information

Integral Bases 1 / 14

Integral Bases 1 / 14 Integral Bases 1 / 14 Overview Integral Bases Norms and Traces Existence of Integral Bases 2 / 14 Basis Let K = Q(θ) be an algebraic number field of degree n. By Theorem 6.5, we may assume without loss

More information

Unimodularity and preservation of measures in nonholonomic mechanics

Unimodularity and preservation of measures in nonholonomic mechanics Unimodularity and preservation of measures in nonholonomic mechanics Luis García-Naranjo (joint with Y. Fedorov and J.C. Marrero) Mathematics Department ITAM, Mexico City, MEXICO ẋ = f (x), x M n, f smooth

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

LECTURE 7, WEDNESDAY

LECTURE 7, WEDNESDAY LECTURE 7, WEDNESDAY 25.02.04 FRANZ LEMMERMEYER 1. Singular Weierstrass Curves Consider cubic curves in Weierstraß form (1) E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6, the coefficients a i

More information

Algebraic group actions and quotients

Algebraic group actions and quotients 23rd Autumn School in Algebraic Geometry Algebraic group actions and quotients Wykno (Poland), September 3-10, 2000 LUNA S SLICE THEOREM AND APPLICATIONS JEAN MARC DRÉZET Contents 1. Introduction 1 2.

More information

Di erential Algebraic Geometry, Part I

Di erential Algebraic Geometry, Part I Di erential Algebraic Geometry, Part I Phyllis Joan Cassidy City College of CUNY Fall 2007 Phyllis Joan Cassidy (Institute) Di erential Algebraic Geometry, Part I Fall 2007 1 / 46 Abstract Di erential

More information

Problems on Growth of Hecke fields

Problems on Growth of Hecke fields Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014

More information

DONG QUAN NGOC NGUYEN

DONG QUAN NGOC NGUYEN REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the

More information

Fifty Years in the Model Theory of Differential Fields. ASL Winter Meeting 2019 JMM Baltimore

Fifty Years in the Model Theory of Differential Fields. ASL Winter Meeting 2019 JMM Baltimore Fifty Years in the Model Theory of Differential Fields ASL Winter Meeting 2019 JMM Baltimore David Marker Mathematics, Statistics, and Computer Science University of Illinois at Chicago January 20, 2019

More information

15 Elliptic curves and Fermat s last theorem

15 Elliptic curves and Fermat s last theorem 15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS. ALGERAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE AOUT VARIETIES AND REGULAR FUNCTIONS. ANDREW SALCH. More about some claims from the last lecture. Perhaps you have noticed by now that the Zariski topology

More information

Definition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition

Definition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition 6 Vector Spaces with Inned Product Basis and Dimension Section Objective(s): Vector Spaces and Subspaces Linear (In)dependence Basis and Dimension Inner Product 6 Vector Spaces and Subspaces Definition

More information

Topics in Number Theory: Elliptic Curves

Topics 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 information

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013 The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes

ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals

More information

Galoisian approach to differential transcendence

Galoisian approach to differential transcendence Galoisian approach to differential transcendence Charlotte Hardouin September 23, 205 Contents I Introduction 2 II Differential algebraic equations from an algebraic point of view 3 Differential ring 4.

More information

Computing the image of Galois

Computing the image of Galois Computing the image of Galois Andrew V. Sutherland Massachusetts Institute of Technology October 9, 2014 Andrew Sutherland (MIT) Computing the image of Galois 1 of 25 Elliptic curves Let E be an elliptic

More information

Deformations of a noncommutative surface of dimension 4

Deformations of a noncommutative surface of dimension 4 Deformations of a noncommutative surface of dimension 4 Sue Sierra University of Edinburgh Homological Methods in Algebra and Geometry, AIMS Ghana 2016 In this talk, I will describe the work of my student

More information

Dip. Matem. & Fisica. Notations. Università Roma Tre. Fields of characteristics 0. 1 Z is the ring of integers. 2 Q is the field of rational numbers

Dip. Matem. & Fisica. Notations. Università Roma Tre. Fields of characteristics 0. 1 Z is the ring of integers. 2 Q is the field of rational numbers On Never rimitive points for Elliptic curves Notations The 8 th International Conference on Science and Mathematical Education in Developing Countries Fields of characteristics 0 Z is the ring of integers

More information

Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)

Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points

More information

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2)

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2) SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the

More information

The Hilbert-Mumford Criterion

The Hilbert-Mumford Criterion The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information

Introduction to Elliptic Curves

Introduction to Elliptic Curves IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting

More information

Volumes of arithmetic locally symmetric spaces and Tamagawa numbers

Volumes of arithmetic locally symmetric spaces and Tamagawa numbers Volumes of arithmetic locally symmetric spaces and Tamagawa numbers Peter Smillie September 10, 2013 Let G be a Lie group and let µ G be a left-invariant Haar measure on G. A discrete subgroup Γ G is called

More information

Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects

Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects R. Lercier, C. Ritzenthaler IML - CNRS (Marseille) Luminy, October 2011 Ritzenthaler (IML) Invariants Luminy, October

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

More information

Galois Theory and Diophantine geometry ±11

Galois Theory and Diophantine geometry ±11 Galois Theory and Diophantine geometry ±11 Minhyong Kim Bordeaux, January, 2010 1 1. Some Examples 1.1 A Diophantine finiteness theorem: Let a, b, c, n Z and n 4. Then the equation ax n + by n = c has

More information

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA

MATH 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 information

Number Fields Generated by Torsion Points on Elliptic Curves

Number Fields Generated by Torsion Points on Elliptic Curves Number Fields Generated by Torsion Points on Elliptic Curves Kevin Liu under the direction of Chun Hong Lo Department of Mathematics Massachusetts Institute of Technology Research Science Institute July

More information

Perfect Cuboids and the Box Variety

Perfect Cuboids and the Box Variety Perfect Cuboids and the Box Variety Ernst Kani Queen s University Québec-Maine Conference, Laval University 27 Sept 2014 Outline 1. Introduction 2. Early History 3. New Ideas (using Arithmetic Geometry)

More information

COMPLEX MULTIPLICATION: LECTURE 15

COMPLEX MULTIPLICATION: LECTURE 15 COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider

More information

Differential Central Simple Algebras and Picard Vessiot Representations

Differential Central Simple Algebras and Picard Vessiot Representations Differential Central Simple Algebras and Picard Vessiot Representations Lourdes Juan Department of Mathematics Texas Tech University Lubbock TX 79409 Andy R. Magid Department of Mathematics University

More information

Geometric Structure and the Local Langlands Conjecture

Geometric Structure and the Local Langlands Conjecture Geometric Structure and the Local Langlands Conjecture Paul Baum Penn State Representations of Reductive Groups University of Utah, Salt Lake City July 9, 2013 Paul Baum (Penn State) Geometric Structure

More information

Appendix Homework and answers

Appendix Homework and answers Appendix Homework and answers Algebra II: Homework These are the weekly homework assignments and answers. Students were encouraged to work on them in groups. Some of the problems turned out to be more

More information

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle   holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05

More information

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS THEORY AT WORK: CONCRETE EXAMPLES GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are

More information

Chain Complexes and Herbrand Quotients

Chain Complexes and Herbrand Quotients LECTURE 7 Chain Complexes and Herbrand Quotients Last time, we defined the Tate cohomology groups Ĥ0 (G, M) and Ĥ1 (G, M) for cyclic groups. Recall that if G = Z/nZ with generator σ, then a G-module is

More information

Discrete logarithms: Recent progress (and open problems)

Discrete logarithms: Recent progress (and open problems) Discrete logarithms: Recent progress (and open problems) CryptoExperts Chaire de Cryptologie de la Fondation de l UPMC LIP6 February 25 th, 2014 Discrete logarithms Given a multiplicative group G with

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,

More information

Classical Invariants and 2-descent on Elliptic Curves

Classical Invariants and 2-descent on Elliptic Curves J. Symbolic Computation (2001) 31, 71 87 doi:10.1006/jsco.1998.1004 Available online at http://www.idealibrary.com on Classical Invariants and 2-descent on Elliptic Curves J. E. CREMONA School of Mathematical

More information

Lecture 6: Etale Fundamental Group

Lecture 6: Etale Fundamental Group Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and

More information

Abstracts. Bounded Height Problems and Irrationality Francesco Amoroso (joint work with P. Corvaja and U. Zannier)

Abstracts. Bounded Height Problems and Irrationality Francesco Amoroso (joint work with P. Corvaja and U. Zannier) Abstracts Bounded Height Problems and Irrationality Francesco Amoroso (joint work with P. Corvaja and U. Zannier) In this talk we describe a quite unexpected connection between bounded height problems

More information

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 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 information

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation (September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue

More information

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

On a Theorem of Dedekind

On a Theorem of Dedekind On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an

More information

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

More information

PART I ALGEBRAIC NUMBER THEORY

PART I ALGEBRAIC NUMBER THEORY PART I ALGEBRAIC NUMBER THEORY 3. Introduction Let Q { a b ; a, b Z, b 0}. Then we can regard Z as Z {α Q; fα 0 for some fx X + b Z[X]}. We can associate with Z the Riemann zeta function ζs n s Na s n

More information

RIMS L. Title: Abstract:,,

RIMS L. Title: Abstract:,, & 2 1 ( ) RIMS L 13:30 14:30 ( ) Title: Whittaker functions on Sp(2,R) and archimedean zeta integrals. There are 4 kinds of generic representations of Sp(2,R), and explicit formulas of Whittaker functions

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Lectures on Class Field Theory

Lectures on Class Field Theory Helmut Hasse Lectures on Class Field Theory April 7, 2004 v Translation, annotations and additions by Franz Lemmermeyer and Peter Roquette vi Preface Preface to the First Edition I have given the lectures

More information

ON THE NATURE OF THE GENERATING SERIES OF WALKS IN THE QUARTER PLANE

ON THE NATURE OF THE GENERATING SERIES OF WALKS IN THE QUARTER PLANE ON THE NATURE OF THE GENERATING SERIES OF WALKS IN THE QUARTER PLANE THOMAS DREYFUS, CHARLOTTE HARDOUIN, JULIEN ROQUES, AND MICHAEL F. SINGER Abstract. In the present paper, we introduce a new approach,

More information

Elliptic gamma functions, gerbes and triptic curves

Elliptic gamma functions, gerbes and triptic curves Elliptic gamma functions, gerbes and triptic curves Giovanni Felder, ETH Zurich Paris, 18 January 2007 1 Table of contents 0. Introduction 1. Two periods: Jacobi s infinite products, elliptic curves, SL

More information

THE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p

THE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.

More information

Fiberwise two-sided multiplications on homogeneous C*-algebras

Fiberwise two-sided multiplications on homogeneous C*-algebras Fiberwise two-sided multiplications on homogeneous C*-algebras Ilja Gogić Department of Mathematics University of Zagreb XX Geometrical Seminar Vrnjačka Banja, Serbia May 20 23, 2018 joint work with Richard

More information

On 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 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 information