Arboreal Cantor Actions

Size: px
Start display at page:

Download "Arboreal Cantor Actions"

Transcription

1 Arboreal Cantor Actions Olga Lukina University of Illinois at Chicago March 15, / 19

2 Group actions on Cantor sets Let X be a Cantor set. Let G be a countably generated discrete group. The action of G on X is given by a homomorphism Φ : G Homeo(X). Let d be a metric on X. Then the action Φ is equicontinuous if and only if there is an ɛ > 0 and δ(ɛ) > 0 such that for all g G and all x, y X with d(x, y) < δ(ɛ) we have d(φ(g)(x), Φ(g)(y)) < ɛ. Example: Let X = P d be the space of paths in a spherically homogeneous rooted tree T d. Let G be any discrete group, acting on T d by permuting edges at each level so that the paths are preserved. This action is equicontinuous. 2 / 19

3 Classification of Cantor actions Classification problem Find invariants, which classify actions on Cantor set up to return equivalence. If an action (X, G, Φ) is equicontinuous, then every clopen subset U X contains an adapted set V U such that the restriction of the action of G to V is the action of a subgroup G V which has finite index in G. The actions (X, G, Φ G ) and (X, H, Φ H ) are return equivalent if there exist adapted clopen subsets V, U X, and subgroups G V, H U such that the restricted actions (V, G V, Φ G ) and (U, H U, Φ H ) are conjugate. The classification of Cantor actions up to return equivalence is motivated by the classification problem for the suspensions of Cantor actions, called weak solenoids. 3 / 19

4 The asymptotic discriminant The asymptotic discriminant of an equicontinuous Cantor action of discrete group G was introduced in S. Hurder and O. Lukina, Wild solenoids, arxiv: , to appear in Transactions of the A.M.S. In this talk, we consider the asymptotic discriminant for a special type of actions on the path space of a spherically homogeneous rooted tree, which arise as arboreal representations of absolute Galois groups of number fields in arithmetic dynamics. The talk is based on the results of the paper O. Lukina, Arboreal Cantor actions, arxiv: , / 19

5 Galois groups of finite extensions of fields Let f(x) be an irreducible polynomial of degree d over a number field K. Let α K, and suppose f(x) = α has d distinct solutions. Then K(f 1 (α))/k is a Galois extension of K. A Galois group Gal(K(f 1 (α))/k) is a subgroup of automorphisms of the field K(f 1 (α)) which fix K. The Galois group Gal(K(f 1 (α))/k) permutes the roots of f(x). Example (textbook): Let p be a prime, and F p be a field of characteristic p. Let f(x) = x d 1, where d is coprime to p. Then the Galois group Gal(K(f 1 (α))/k) is cyclic, generated by the Frobenius automorphism σ : ζ ζ p. 5 / 19

6 Arboreal representations of Galois groups Identify α with the root of a d-ary tree T d, and identify every solution α 11, α 12,..., α 1d of f(x) = α with a vertex at level 1 in the tree. Gal(K(f 1 (α))/k) is identified with a subgroup of the symmetric group S d. For every α 1i, consider the equation f(x) = α 1i, so f f(x) = f(α 1i ) = α. Suppose there are d 2 distinct roots. Identify the solutions of f(x) = α 1i with the d vertices at level 2 connected with α 1i at level 1. The action of Gal(K(f 2 (α))/k) preserves the structure of the tree, so Gal(K(f 2 (α))/k) [S d ] 2, where [S d ] 2 denotes the two-fold wreath product of symmetric groups S d. 6 / 19

7 Arboreal representations of Galois groups Continue by induction, assuming that for each i > 0 the polynomial f i (x) has d i distinct roots. In the limit, we get a d-ary infinite tree T d of preimages of α under the iterations of f(x), and the profinite group Gal (f) = lim {Gal(K(f i (α))/k) Gal(K(f (i 1) (α))/k)}, which is a subgroup of the infinite wreath product Aut(T d ) = [S d ]. Thus Gal (f) is a profinite group acting on the Cantor set of paths in the tree T d. Example (Odoni 1985): If K = Q, α = 0, f(x) = x 2 x + 1, then Aut(T ) = [S 2 ]. 7 / 19

8 Arboreal representations and actions of discrete groups An arboreal representation of the absolute Galois group Gal(K sep /K) into Aut(T d ) is given by the map ρ f,α : Gal (f) Aut(T d ). The study of the arboreal representations of Galois groups was started by Odoni 1985 in order to answer certain questions in number theory. There has been much development in this area of arithmetic dynamics, see Jones 2013 for a survey. We would like to study topological properties of such actions. Problem Study the invariants of the actions of arboreal representations, which classify such actions up to return equivalence. 8 / 19

9 Group chains for arboreal actions First difficulty: our tools, such as group chains, are developed for actions of discrete groups, while an arboreal representation is a profinite group. Theorem 1 (Lukina 2018) Let f(x) be a polynomial of degree d 2 over a field K, suppose all roots of f i (x) are distinct and f i (x) α is irreducible for all i 0. Let v be a path in P d. Then there exists a countably generated group G 0, a homomorphism Φ : G 0 Homeo(P d ) and a chain {G i } i 0 of subgroups in G 0 such that (1) There is an isomorphism φ : Φ(G 0 ) ρ f,α (Gal (f)), (2) There is a homeomorphism φ : lim {G 0 /G i } P d with φ(eg i ) = v, (3) For all u P d and g Φ(G 0 ) we have φ(g) φ(u) = φ(g(u)). 9 / 19

10 Group chains in arboreal representations Comments on the proof of Theorem 1: 1. G 0 exists because ρ f,α (Gal (f)) is the inverse limit of a sequence of finite groups indexed by natural numbers; 2. The group G i is the isotropy group of the action of G 0 on the vertex of v at level i; 3. The closure Φ(G 0 ) is identified with the enveloping (Ellis) group of the action of G 0 on P d. As a consequence of Theorem 1, we can now compute the asymptotic discriminant for arboreal representations. 10 / 19

11 Actions on subtrees of T d Given a path v = (v i ) i 0 T d, the set of paths through the vertex v i at level i is a clopen subset U i of P d. The restricted action on U i is given by Φ i : G i Homeo(U i ). The isotropy group of the action of Φ(G i ) at v D v,i = {g Φ(G i ) g (v j ) j i = (v j ) j i } is called the discriminant group of the action (U i, G i, Φ i ). The discriminant group is a compact profinite group, so it is either finite or a Cantor group. 11 / 19

12 Discriminant groups of restricted actions Theorem 2 (Dyer, Hurder and Lukina 2017) Let (X, G, Φ) be a Cantor group action with group chain {G i } i 0, let x X be a point. Then for any j > i 0 there is a well-defined surjective homomorphism of discriminant groups. Λ i,j : D j,x D i,x The action is called stable, if there exists i 0, such that for all j > i i 0 the homomorphism Λ i,j is an isomorphism. If such an i 0 does not exist, then the action is called wild. 12 / 19

13 The asymptotic discriminant of a Cantor group action Let {G i } i 0 be a group chain associated to an action (G 0, X, Φ), x X. Asymptotic discriminant (Hurder and Lukina 2017) The asymptotic discriminant of the action of G 0 is the equivalence class of the chain of surjective group homomorphisms D 0,x D 1,x D 2,x with respect to the equivalence relation, defined in HL The asymptotic discriminant is an invariant of Cantor actions. Theorem 3 (Hurder and Lukina 2017) The asymptotic discriminant of a Cantor group action (X, G, Φ) is invariant under the return equivalence of actions. 13 / 19

14 Examples of stable and wild actions 1. All equicontinuous actions of abelian groups on Cantor sets are stable, with trivial discriminant group D Dyer, Hurder and Lukina 2017: every finite group can be realized as the stable discriminant group of an action of a torsion-free finite index subgroup of SL(n, Z) on a Cantor set. 3. Dyer, Hurder and Lukina 2017: every separable profinite group can be realized as the stable discriminant group of an action of a torsion-free finite index subgroup of SL(n, Z) on a Cantor set. 4. Hurder and Lukina 2017: There exists uncountably many wild actions of torsion-free finite index subgroups of SL(n, Z) with distinct asymptotic discriminants. 14 / 19

15 Strongly quasi-analytic actions In the realm of arboreal representations, we have the following examples. Theorem 4 (Lukina 2018) Suppose the image of an arboreal representation ρ f,α : Gal (f) Aut(T d ) is a subgroup of finite index in Aut(T d ). Then the action of the dense subgroup G 0 on P d is wild. Remarks: 1. The proof of Theorem 4 is geometric, it uses the absence of the strong quasi-analytic property of wild actions. The proof does not require an explicit description of Galois groups. 2. The discrete group G 0 acting on the path space P d in Theorem 4 is infinitely (countably) generated. 15 / 19

16 Arboreal representations of p-adic numbers Theorem 5 (Lukina 2018) Let p and d be distinct odd primes, let K = Q p be the field of p-adic numbers, and let f(x) = (x + p) d p. Then the arboreal representation ρ f,0 is stable. Remarks: 1. Theorem 5 uses explicit descriptions of Galois groups for computations, and then applies Theorem 1 to obtain a group chain {G i } i The group acting on T d in Theorem 5 is the Baumslag-Solitar group BS(p, 1) = {τ, σ στσ 1 = τ p }. 3. Theorem 5 also holds if K is a finite unramified extension of Q p, for the same polynomial f(x). 16 / 19

17 Work in progress Theorem 4 gives examples of arboreal representations with wild asymptotic discriminant. Groups, acting on the tree T d in Theorem 4, are infinitely generated. Problem Find an example of an arboreal representation, where the discrete group, acting on the tree T d, is finitely generated, and the asymptotic discriminant of the action is wild. The answer to this question is the work in progress in O. Lukina, Non-Hausdorff elements in arboreal representations, in preparation, / 19

18 Open problems One of the open questions in arithmetic dynamics is to find examples of polynomials, especially of degree d 3, whose arboreal representations have finite index in Aut(T d ). This question has some implications in Number Theory. By Theorem 4, all such representations have wild asymptotic discriminant and the acting group is infinitely generated. At the same time, there are examples of group actions of finitely generated groups which are wild. Open problem Relate the wildness of the asymptotic discriminant of an arboreal representation with questions in Number Theory. 18 / 19

19 References R. W. K. Odoni, The Galois theory of iterates and composites of polynomials, Proc. London Math. Soc. (3), , R. Jones, Galois representations from pre-image trees: an arboreal survey, in Actes de la Conférence Théorie des Nombres et Applications, 2013, J. Dyer, S. Hurder and O. Lukina, Molino s theory for matchbox manifolds, Pacific J. Math., 289(1) 2017, S. Hurder and O. Lukina, Wild solenoids, arxiv: , 2017, to appear in Transactions of the A.M.S. O. Lukina, Arboreal Cantor actions, arxiv: O. Lukina, Non-Hausdorff elements in arboreal representations, in preparation, Thank you for your attention! 19 / 19

Pseudogroups of foliations Algebraic invariants of solenoids The discriminant group Stable actions Wild actions Future work and references

Pseudogroups of foliations Algebraic invariants of solenoids The discriminant group Stable actions Wild actions Future work and references Wild solenoids Olga Lukina University of Illinois at Chicago Joint work with Steven Hurder March 25, 2017 1 / 25 Cantor laminations Let M be a compact connected metrizable topological space with a foliation

More information

Lipschitz matchbox manifolds

Lipschitz matchbox manifolds Lipschitz matchbox manifolds Steve Hurder University of Illinois at Chicago www.math.uic.edu/ hurder F is a C 1 -foliation of a compact manifold M. Problem: Let L be a complete Riemannian smooth manifold

More information

Foliation dynamics, shape and classification

Foliation dynamics, shape and classification Foliation dynamics, shape and classification Steve Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Theorem: [Denjoy, 1932] There exist a C 1 -foliation F of codimension-1 with an exceptional

More information

CLASSIFYING MATCHBOX MANIFOLDS

CLASSIFYING MATCHBOX MANIFOLDS CLASSIFYING MATCHBOX MANIFOLDS ALEX CLARK, STEVEN HURDER, AND OLGA LUKINA Abstract. Matchbox manifolds are foliated spaces with totally disconnected transversals. Two matchbox manifolds which are homeomorphic

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

Dynamics and topology of matchbox manifolds

Dynamics and topology of matchbox manifolds Dynamics and topology of matchbox manifolds Steven Hurder University of Illinois at Chicago www.math.uic.edu/ hurder 11th Nagoya International Mathematics Conference March 21, 2012 Introduction We present

More information

Dynamics of Group Actions and Minimal Sets

Dynamics of Group Actions and Minimal Sets University of Illinois at Chicago www.math.uic.edu/ hurder First Joint Meeting of the Sociedad de Matemática de Chile American Mathematical Society Special Session on Group Actions: Probability and Dynamics

More information

Classification of matchbox manifolds

Classification of matchbox manifolds Classification of matchbox manifolds Steven Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Workshop on Dynamics of Foliations Steven Hurder (UIC) Matchbox Manifolds April 28, 2010 1

More information

Arboreal Galois Representations

Arboreal Galois Representations Carleton college November 9, 2014 UNC-Greensboro Outline I. (Dynamical) : introduction II. III. IV.. Arboreal Galois representations Let K be a number field with absolute Galois group G K. An arboreal

More information

arxiv: v1 [math.nt] 6 Mar 2018

arxiv: v1 [math.nt] 6 Mar 2018 ODONI S CONJECTURE FOR NUMBER FIELDS ROBERT L. BENEDETTO AND JAMIE JUUL arxiv:1803.01987v1 [math.nt] 6 Mar 2018 Abstract. Let K be a number field, and let d 2. A conjecture of Odoni stated more generally

More information

10 l-adic representations

10 l-adic representations 0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois

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

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

More information

Dynamical Invariants of Foliations 1

Dynamical Invariants of Foliations 1 Dynamical Invariants of Foliations 1 Steven Hurder University of Illinois at Chicago October 19, 2012 1 Colloquium GT3, IRMA, Université de Strasbourg Steven Hurder (University of Illinois at Chicago)

More information

but no smaller power is equal to one. polynomial is defined to be

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

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

Model Theory of Fields with Virtually Free Group Actions

Model Theory of Fields with Virtually Free Group Actions Model Theory of Fields with Virtually Free Group Actions Özlem Beyarslan joint work with Piotr Kowalski Boğaziçi University Istanbul, Turkey 29 March 2018 Ö. Beyarslan, P. Kowalski Model Theory of V.F

More information

Residual finiteness of infinite amalgamated products of cyclic groups

Residual finiteness of infinite amalgamated products of cyclic groups Journal of Pure and Applied Algebra 208 (2007) 09 097 www.elsevier.com/locate/jpaa Residual finiteness of infinite amalgamated products of cyclic groups V. Metaftsis a,, E. Raptis b a Department of Mathematics,

More information

Foliations, Fractals and Cohomology

Foliations, Fractals and Cohomology Foliations, Fractals and Cohomology Steven Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Colloquium, University of Leicester, 19 February 2009 Steven Hurder (UIC) Foliations, fractals,

More information

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland

More information

IN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort

IN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries

More information

FIELD THEORY. Contents

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

GALOIS REPRESENTATIONS FROM PRE-IMAGE TREES: AN ARBOREAL SURVEY

GALOIS REPRESENTATIONS FROM PRE-IMAGE TREES: AN ARBOREAL SURVEY GALOIS REPRESENTATIONS FROM PRE-IMAGE TREES: AN ARBOREAL SURVEY RAFE JONES Dedicated to the late R. W. K. Odoni, whose inquisitive spirit led him before any others to these beautiful questions. Abstract.

More information

Algebraic Number Theory Notes: Local Fields

Algebraic Number Theory Notes: Local Fields Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological

More information

Tree-adjoined spaces and the Hawaiian earring

Tree-adjoined spaces and the Hawaiian earring Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring

More information

Profinite number theory

Profinite number theory Mathematisch Instituut Universiteit Leiden The factorial number system Each n Z 0 has a unique representation n = c i i! with c i Z, i=1 0 c i i, #{i : c i 0}

More information

An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109

An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups

More information

What is the Langlands program all about?

What 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 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

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

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

MTG 5316/4302 FALL 2018 REVIEW FINAL

MTG 5316/4302 FALL 2018 REVIEW FINAL MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015 Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s

More information

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg = Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for

More information

Winter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada

Winter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada Winter School on alois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE ROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 2 2.1 ENERATORS OF A PROFINITE ROUP 2.2 FREE PRO-C ROUPS

More information

ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS

ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS JULIA PORCINO Our brief discussion of the p-adic integers earlier in the semester intrigued me and lead me to research further into this topic. That

More information

On spectra of Koopman, groupoid and quasi-regular representations

On spectra of Koopman, groupoid and quasi-regular representations On spectra of Koopman, groupoid and quasi-regular representations Artem Dudko Stony Brook University Group Theory International Webinar March 17, 2016 Preliminaries Throughout the talk G is a countable

More information

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

More information

Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

More information

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K.

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K. The third exam will be on Monday, April 9, 013. The syllabus for Exam III is sections 1 3 of Chapter 10. Some of the main examples and facts from this material are listed below. If F is an extension field

More information

A Crash Course in Topological Groups

A Crash Course in Topological Groups A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

CLASS FIELD THEORY WEEK Motivation

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

Introduction to Number Fields David P. Roberts University of Minnesota, Morris

Introduction to Number Fields David P. Roberts University of Minnesota, Morris Introduction to Number Fields David P. Roberts University of Minnesota, Morris 1. The factpat problem 2. Polynomial discriminants 3. Global factorizations 4. Generic factorization statistics 5. Resolvents

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

Local root numbers of elliptic curves over dyadic fields

Local root numbers of elliptic curves over dyadic fields Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension

More information

Galois groups with restricted ramification

Galois groups with restricted ramification Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K

More information

On the Hausdorff spectrum of some groups acting on the p-adic tree

On the Hausdorff spectrum of some groups acting on the p-adic tree On the Hausdorff spectrum of some groups acting on the p-adic tree Gustavo A. Fernández-Alcober (joint work with Amaia Zugadi-Reizabal) University of the Basque Country, Bilbao, Spain Ischia Group Theory

More information

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

Metabelian Galois Representations

Metabelian Galois Representations Metabelian Galois Representations Edray Herber Goins AMS 2018 Spring Western Sectional Meeting Special Session on Automorphisms of Riemann Surfaces and Related Topics Portland State University Department

More information

GALOIS EXTENSIONS ZIJIAN YAO

GALOIS EXTENSIONS ZIJIAN YAO GALOIS EXTENSIONS ZIJIAN YAO This is a basic treatment on infinite Galois extensions, here we give necessary backgrounds for Krull topology, and describe the infinite Galois correspondence, namely, subextensions

More information

Liapunov Stability and the ring of P-adic integers

Liapunov Stability and the ring of P-adic integers São Paulo Journal of Mathematical Sciences 2, 1 (2008), 77 84 Liapunov Stability and the ring of P-adic integers Jorge Buescu 1 Dep. Matemática, Fac. Ciências Lisboa, Portugal E-mail address: jbuescu@ptmat.fc.ul.pt

More information

l-adic Representations

l-adic Representations l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll

More information

Infinite Galois Theory

Infinite Galois Theory Infinite Galois Theory Haoran Liu May 1, 2016 1 Introduction For an finite Galois extension E/F, the fundamental theorem of Galois Theory establishes an one-to-one correspondence between the intermediate

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information

MASTERS EXAMINATION IN MATHEMATICS

MASTERS EXAMINATION IN MATHEMATICS MASTERS EXAMINATION IN MATHEMATICS PURE MATH OPTION, Spring 018 Full points can be obtained for correct answers to 8 questions. Each numbered question (which may have several parts) is worth 0 points.

More information

Totally disconnected locally compact groups and operator algebras

Totally disconnected locally compact groups and operator algebras Totally disconnected locally compact groups and operator algebras George Willis The University of Newcastle July 27th, 2017 Totally disconnected locally compact groups The locally compact group G is totally

More information

Normalizers of group algebras and mixing

Normalizers of group algebras and mixing Normalizers of group algebras and mixing Paul Jolissaint, Université de Neuchâtel Copenhagen, November 2011 1 Introduction Recall that if 1 B M is a pair of von Neumann algebras, the normalizer of B in

More information

SOLUTIONS TO THE FINAL EXAM

SOLUTIONS TO THE FINAL EXAM SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering

More information

3 Galois Theory. 3.1 Definitions and Examples

3 Galois Theory. 3.1 Definitions and Examples 3 Galois Theory 3.1 Definitions and Examples This section of notes roughly follows Section 14.1 in Dummit and Foote. Let F be a field and let f (x) 2 F[x]. In the previous chapter, we proved that there

More information

On some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3)

On some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3) Bull. Math. Soc. Sci. Math. Roumanie Tome 61 (109) No. 1, 2018, 3 11 On some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3) Dedicated to the

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

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

Polynomial and rational dynamical systems on the field of p-adic numbers and its projective line

Polynomial and rational dynamical systems on the field of p-adic numbers and its projective line Polynomial and rational dynamical systems on the field of p-adic numbers and its projective line Lingmin LIAO (Université Paris-Est Créteil) (works with Ai-Hua Fan, Shi-Lei Fan, Yue-Fei Wang, Dan Zhou)

More information

Combinatorial equivalence of topological polynomials and group theory

Combinatorial equivalence of topological polynomials and group theory Combinatorial equivalence of topological polynomials and group theory Volodymyr Nekrashevych (joint work with L. Bartholdi) March 11, 2006, Toronto V. Nekrashevych (Texas A&M) Topological Polynomials March

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

Analysis III Theorems, Propositions & Lemmas... Oh My!

Analysis III Theorems, Propositions & Lemmas... Oh My! Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In

More information

A homology theory for Smale spaces. Ian F. Putnam, University of Victoria

A homology theory for Smale spaces. Ian F. Putnam, University of Victoria A homology theory for Smale spaces Ian F. Putnam, University of Victoria 1 Let (X, d) be a compact metric space, ϕ be a homeomorphism of X such that (X, d, ϕ) is an irreducible Smale space or the basic

More information

On the structure and arithmeticity of lattice envelopes

On the structure and arithmeticity of lattice envelopes On the structure and arithmeticity of lattice envelopes Uri Bader a, Alex Furman b, Roman Sauer c a Technion, Haifa, Israel b University of Illinois at Chicago, Chicago, USA c Karlsruhe Institute of Technology,

More information

On groups of diffeomorphisms of the interval with finitely many fixed points I. Azer Akhmedov

On groups of diffeomorphisms of the interval with finitely many fixed points I. Azer Akhmedov On groups of diffeomorphisms of the interval with finitely many fixed points I Azer Akhmedov Abstract: We strengthen the results of [1], consequently, we improve the claims of [2] obtaining the best possible

More information

Some algebraic properties of. compact topological groups

Some algebraic properties of. compact topological groups Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

More information

SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin

SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial

More information

Unramified CFT for proper smooth varieties

Unramified CFT for proper smooth varieties Unramified CFT for proper smooth varieties APRAMEYO PAL November 13, 2014 Abstract We will study unramified class field theory for higher dimensional proper smooth varieties. 0 Classical CFT Let X be a

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

Raynaud on F -vector schemes and prolongation

Raynaud on F -vector schemes and prolongation Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic

More information

THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE

THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE ARNAB KUNDU Abstract. We first look at the fundamental group, and try to find a suitable definition that can be simulated for algebraic varieties. In the

More information

Orbit coherence in permutation groups

Orbit coherence in permutation groups Orbit coherence in permutation groups John R. Britnell Department of Mathematics Imperial College London j.britnell@imperial.ac.uk Groups St Andrews 2013 Joint work with Mark Wildon (RHUL) Orbit partitions

More information

The theory of integration says that the natural map

The theory of integration says that the natural map In this course we will discuss applications of the Model theory to Algebraic geometry and Analysis. There is long list of examples and I mention only some of applications: 1) Tarski proved the elimination

More information

Metric Spaces Math 413 Honors Project

Metric Spaces Math 413 Honors Project Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only

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 Hecke Characters

Algebraic Hecke Characters Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation

More information

arxiv:math/ v1 [math.gr] 6 Apr 2004

arxiv:math/ v1 [math.gr] 6 Apr 2004 arxiv:math/0404115v1 [math.gr] 6 Apr 2004 BIJECTIVE QUASI-ISOMETRIES OF AMENABLE GROUPS TULLIA DYMARZ Abstract. Whyte showed that any quasi-isometry between non-amenable groups is a bounded distance from

More information

1. Artin s original conjecture

1. Artin s original conjecture A possible generalization of Artin s conjecture for primitive root 1. Artin s original conjecture Ching-Li Chai February 13, 2004 (1.1) Conjecture (Artin, 1927) Let a be an integer, a 0, ±1, and a is not

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC

More information

1 Notations and Statement of the Main Results

1 Notations and Statement of the Main Results An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main

More information

Limits of cubes E1 4NS, U.K.

Limits of cubes E1 4NS, U.K. Limits of cubes Peter J. Cameron a Sam Tarzi a a School of Mathematical Sciences, Queen Mary, University of London, London E1 4NS, U.K. Abstract The celebrated Urysohn space is the completion of a countable

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/887/2587 holds various files of this Leiden University dissertation. Author: Kosters, Michiel F. Title: Groups and fields in arithmetic Issue Date: 204-06-04

More information

On a Homoclinic Group that is not Isomorphic to the Character Group *

On a Homoclinic Group that is not Isomorphic to the Character Group * QUALITATIVE THEORY OF DYNAMICAL SYSTEMS, 1 6 () ARTICLE NO. HA-00000 On a Homoclinic Group that is not Isomorphic to the Character Group * Alex Clark University of North Texas Department of Mathematics

More information

Math 190: Fall 2014 Homework 4 Solutions Due 5:00pm on Friday 11/7/2014

Math 190: Fall 2014 Homework 4 Solutions Due 5:00pm on Friday 11/7/2014 Math 90: Fall 04 Homework 4 Solutions Due 5:00pm on Friday /7/04 Problem : Recall that S n denotes the n-dimensional unit sphere: S n = {(x 0, x,..., x n ) R n+ : x 0 + x + + x n = }. Let N S n denote

More information

VC-dimension in model theory and other subjects

VC-dimension in model theory and other subjects VC-dimension in model theory and other subjects Artem Chernikov (Paris 7 / MSRI, Berkeley) UCLA, 2 May 2014 VC-dimension Let F be a family of subsets of a set X. VC-dimension Let F be a family of subsets

More information

Recent Results on Generalized Baumslag-Solitar Groups. Derek J.S. Robinson. Groups-St. Andrews 2013

Recent Results on Generalized Baumslag-Solitar Groups. Derek J.S. Robinson. Groups-St. Andrews 2013 Recent Results on Generalized Baumslag-Solitar Groups Derek J.S. Robinson University of Illinois at Urbana-Champaign Groups-St. Andrews 2013 Derek J.S. Robinson (UIUC) Generalized Baumslag-Solitar Groups

More information

Turbulence, representations, and trace-preserving actions

Turbulence, representations, and trace-preserving actions Turbulence, representations, and trace-preserving actions Hanfeng Li SUNY at Buffalo June 6, 2009 GPOTS-Boulder Joint work with David Kerr and Mikaël Pichot 1 / 24 Type of questions to consider: Question

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/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter

More information

An Introduction to Kuga Fiber Varieties

An Introduction to Kuga Fiber Varieties An Introduction to Kuga Fiber Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Q-simple

More information

How many units can a commutative ring have?

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

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9 Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation

More information

Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere

Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore www.math.nus.edu.sg/ matwujie

More information

Math 121 Homework 6 Solutions

Math 121 Homework 6 Solutions Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define

More information