Variations on a Theme: Fields of Definition, Fields of Moduli, Automorphisms, and Twists
|
|
- Aleesha Hoover
- 5 years ago
- Views:
Transcription
1 Variations on a Theme: Fields of Definition, Fields of Moduli, Automorphisms, and Twists Michelle Manes (mmanes@math.hawaii.edu) ICERM Workshop Moduli Spaces Associated to Dynamical Systems 17 April, 2012
2 Definitions Definition Let φ Rat N d. A field K /K is a field of definition for φ if φ f Rat N d (K ) for some f PGL N+1.
3 Definitions Definition Let φ Rat N d. A field K /K is a field of definition for φ if φ f Rat N d (K ) for some f PGL N+1. Definition Let φ Rat N d, and define G φ = {σ G K φ σ is K equivalent to φ}. The field of moduli of φ is the fixed field K G φ.
4 Definitions The field of moduli of φ is the smallest field L with the property that for every σ Gal(K /L) there is some f σ PGL N+1 such that φ σ = φ fσ.
5 Definitions The field of moduli of φ is the smallest field L with the property that for every σ Gal(K /L) there is some f σ PGL N+1 such that φ σ = φ fσ. The field of moduli for φ is contained in every field of definition.
6 Definitions The field of moduli of φ is the smallest field L with the property that for every σ Gal(K /L) there is some f σ PGL N+1 such that φ σ = φ fσ. The field of moduli for φ is contained in every field of definition. Equality???
7 FOD = FOM criterion Proposition (Hutz, M.) Let ξ M N d (K ) be a dynamical system with Aut φ = {id}, and let D = N j=0 d N. If gcd(d, N + 1) = 1, then K is a field of definition of ξ.
8 FOD = FOM criterion Idea: If [φ] Md N (K ), then you get a cohomology class f : Gal( K /K ) PGL N+1 σ f σ
9 FOD = FOM criterion Idea: If [φ] Md N (K ), then you get a cohomology class f : Gal( K /K ) PGL N+1 σ f σ Twists of P N are in 1-1 correspondence with cocyles: i : P N X σ i 1 i σ [φ] M N d (K ) cocycle c φ X cφ K is FOD for φ c φ trivial X cφ /K When gcd(d, N + 1) = 1, we can find a K -rational zero-cycle on X cφ.
10 FOD = FOM criterion If N = 1, then D = d + 1, and the test is on gcd(d + 1, 2). Corollary (Silverman) If d is even, then the field of moduli is a field of definition.
11 FOD = FOM criterion If N = 1, then D = d + 1, and the test is on gcd(d + 1, 2). Corollary (Silverman) If d is even, then the field of moduli is a field of definition. Result in P 1 doesn t require Aut(φ) = id. Proof requires knowledge of the possible automorphism groups and cohomology lifting.
12 Example (Silverman) φ(z) = i ( z 1 z+1) 3. So Q(i) is a field of definition for φ. Let σ represent complex conjugation, then φ σ = φ f for f = 1 z. Hence, Q is the field of moduli for φ. K is a field of definition for φ iff 1 N K (i)/k (K (i) ).
13 Normal Form for M 2 Lemma (Milnor) Let φ Rat 2 have multipliers λ 1, λ 2, λ 3. 1 If not all three multipliers are 1, φ is conjugate to a map of the form: z 2 + λ 1 z λ 2 z If all three multipliers are 1, φ is conjugate to: z + 1 z.
14 Normal Form for M 2 Lemma (Milnor) Let φ Rat 2 have multipliers λ 1, λ 2, λ 3. 1 If not all three multipliers are 1, φ is conjugate to a map of the form: z 2 + λ 1 z λ 2 z If all three multipliers are 1, φ is conjugate to: z + 1 z. Possible that φ K (z) but the conjugate map is not.
15 Arithmetic Normal Form for M 2 Theorem (M., Yasufuku) Let φ Rat 2 (K ) have multipliers λ 1, λ 2, λ 3. 1 If the multipliers are distinct or if exactly two multipliers are 1, then φ(z) is conjugate over K to 2z 2 + (2 σ 1 )z + (2 σ 1 ) z 2 + (2 + σ 1 )z + 2 σ 1 σ 2 K (z), where σ 1 and σ 2 are the first two symmetric functions of the multipliers. Furthermore, no two distinct maps of this form are conjugate to each other over K.
16 Arithmetic Normal Form for M 2 Theorem (M., Yasufuku) 2 If λ 1 = λ 2 1 and λ 3 λ 1 or if λ 1 = λ 2 = λ 3 = 1, then ψ is conjugate over K to a map of the form φ k,b (z) = kz + b z with k = λ 1+1 2, and b K. Furthermore, two such maps φ k,b and φ k,b are conjugate over K if and only if k = k ; they are conjugate over K if in addition b/b (K ) 2.
17 Arithmetic Normal Form for M 2 Theorem (M., Yasufuku) 3 If λ 1 = λ 2 = λ 3 = 2, then φ is conjugate over K to θ d,k (z) = kz2 2dz + dk z 2 2kz + d, with k K, d K, and k 2 d. All such maps are conjugate over K. Furthermore, θ d,k (z) and θ d,k (z) are conjugate over K if and only if ugly, but easily testable condition
18 φ Hom 1 d Aut(φ) is conjugate to one of the following: 1 Cyclic group of order n: C n = ζ n z. 2 Dihedral group of order 2n: D n = 3 Tetrahedral group: A 4 = 4 Octahedral group: S 4 = 5 Icosahedral group: A 5 = ζ n z, 1 z z, 1 ( z + 1 z, i z 1 iz, 1 z, i ( z + 1 z 1 ζ 5 z, 1 ( z, ζ5 + ζ 1 5 z ( ζ 5 + ζ 1 5. ). ). ) z + 1 ).
19 φ Hom 2 d 1 Diagonal Abelian Groups (Cyclic Group of order n): H = ζa n ζn b 0, gcd(a, n) = 1 or gcd(b, n) = Proposition Let r be the number of solutions to x 2 1 mod n. There are n + r/2 ϕ(n)/2 representations of C n of the form ζ n ζn a
20 φ Hom 2 d 2 Subgroups of the form ζ p a i b i, 0 c i d i where the lower right 2 2 matrices come from embedding the PGL 2 automorphism groups.
21 φ Hom 2 d 3 Subgroups that don t come from embedding PGL 2. (Lots of them.) , , ,
22 Higher Dimensions
23 Higher Dimensions This slide intentionally left blank.
24 Computing the Absolute Automorphism Group Algorithm (Faber, M., Viray) Input: a nonconstant rational function φ K (z), an Aut φ ( K )-invariant subset T = {τ 1,..., τ n } P 1 (E) with n 3. Output: the set Aut φ ( K )
25 Computing the Absolute Automorphism Group Algorithm (Faber, M., Viray) create an empty list L. for each triple of distinct integers i, j, k {1,..., n}: compute s PGL 2 ( K ) by solving the linear system s(τ 1 ) = τ i, s(τ 2 ) = τ j, s(τ 3 ) = τ k. if s φ = φ s: append s to L. return L.
26 Computing the Automorphism Group for a Given Map Proposition (Faber, M., Viray) Let K be a number field and let φ K (z) a rational function of degree d 2. Define S 0 to be the set of rational primes given by { S 0 = {2} p odd : p 1 2 } [K : Q] and p d(d 2 1), and let S be the (finite) set of places of K of bad reduction for φ along with the places that divide a prime in S 0. Then red v : Aut φ (K ) Aut φ (F v ) is a well-defined injective homomorphism for all places v outside S.
27 Realizing Maps with a Given Automorphism Group Given a finite subgroup Γ PGL 2, Doyle & McMullen give a way to construct all rational maps φ Rat d with Γ Aut(φ). 2 d n inv. hom. one-form 1 1 inv. hom. rational map Fdx + Gdy 1 1 φ = G F
28 Realizing Maps with a Given Automorphism Group It is enough to find all (relative) invariant homogeneous polynomials, i.e. for each γ Γ there is a character χ: γ F = F(γ x) = χ(γ)f( x).
29 Realizing Maps with a Given Automorphism Group It is enough to find all (relative) invariant homogeneous polynomials, i.e. for each γ Γ there is a character χ: γ F = F(γ x) = χ(γ)f( x). λ = (xdy ydx)/2. Every invariant one-form has the form: Fλ + dg, where deg F + 2 = deg G, F and G invariant with the same character.
30 Two useful gadgets Molien Series: Given a finite group Γ (and character χ), outputs the power series dim ( K [ x] k) Γ t k. k=0 Reynolds Operator: Given a finite group Γ, (character χ), and all homogeneous monomials of a given degree, outputs all (relative) Γ-invariants of that degree.
31 Example Γ = C 4 = ( ) i 0 0 1
32 Example Molien Series: Γ = C 4 = ( ) i t 2 + t 4 + t 6 + 3t 8 + 3t t t t 16 + O(t 18 )
33 Example Molien Series: Γ = C 4 = ( ) i t 2 + t 4 + t 6 + 3t 8 + 3t t t t 16 + O(t 18 ) Invariants of degree 8: xy x 2 y 2 x 3 y 3 x 4 y 4 x 8 y 8
34 Example Molien Series: Γ = C 4 = ( ) i t 2 + t 4 + t 6 + 3t 8 + 3t t t t 16 + O(t 18 ) Invariants of degree 8: xy x 2 y 2 x 3 y 3 x 4 y 4 x 8 y 8 Some maps with Γ Aut(φ): φ 1 (z) = z z 3 φ 2 (z) = z9 + 9z z 8 1
35 Example Γ = ( ) (also cyclic of order 4).
36 Example Γ = ( ) Invariants of degree 8: (also cyclic of order 4). x 2 + y 2 x x 6 y 2 20x 4 y x 2 y 6 + y 8 x 4 + 2x 2 y 2 + y 4 x 8 4x 6 y x 4 y 4 4x 2 y 6 + y 8 x 6 + 3x 4 y 2 + 3x 2 y 4 + y 6 x 7 y 7x 5 y 3 + 7x 3 y 5 xy 7 Some maps with Γ Aut(φ): φ 1 (z) = z7 + 24z 6 + 3z 5 40z 4 + 3z z 2 + z + 8 8z 7 z z 5 3z 4 40z 3 3z z 1 φ 2 (z) = z ( 3z 6 39z z 2 13 ) 13z 6 73z z 2 3
37 Exact Automorphism Groups? Proposition (Hutz, M.) Let A 4 = z, 1 ( ) z + 1 z, i z 1 and S 4 = iz, 1 ( ) z + 1 z, i. z 1 If φ Q(z) satisfies A 4 Aut(φ), then in fact Aut(φ) = S 4.
38 Exact Automorphism Groups? Proposition (Hutz, M.) Let A 4 = z, 1 ( ) z + 1 z, i z 1 and S 4 = iz, 1 ( ) z + 1 z, i. z 1 If φ Q(z) satisfies A 4 Aut(φ), then in fact Aut(φ) = S 4. Question How to construct maps φ K (z) with Γ = Aut(φ) (or decide there are none)? How to construct maps φ K (z) with a subgroup of Aut(φ) conjugate to (or equal to) Γ?
39 Automorphisms and Twists K -equivalence classes Twist(φ/K ) = of maps ψ Hom N d (K ). such that ψ is K -equivalent to φ Twists give automorphisms of the map φ: f φf 1 = (f φf 1 ) σ = f σ φ(f 1 ) σ. φ = f 1 f σ φ(f σ ) 1 f f 1 f σ Aut(φ).
40 Uniform Bounds on Preperiodic Points for Twists Proposition (Levy, M., Thompson) Let φ Hom N d (K ). There is a uniform bound B φ such that for all ψ Twist(φ/K ), # PrePer(ψ, P N K ) B φ. Idea: The degree of the field of definition of the twisting map f is bounded by # Aut(φ). Apply Northcott.
41 Cohomology and Twists For an object X, twists give automorphisms: g σ : X σ(i 1 ) Y A twist gives a one-cocyle: i X. g : Gal( K /K ) Aut(X) σ i σ(i 1 )
42 Cohomology and Twists For an object X, twists give automorphisms: g σ : X σ(i 1 ) Y A twist gives a one-cocyle: i X. g : Gal( K /K ) Aut(X) σ i σ(i 1 ) Does every one-cocyle come from a twist?
43 Cohomology and Twists For an object X, twists give automorphisms: g σ : X σ(i 1 ) Y A twist gives a one-cocyle: i X. g : Gal( K /K ) Aut(X) σ i σ(i 1 ) Does every one-cocyle come from a twist? For algebraic varieties, yes. For morphisms, sometimes. { ξ H ( Twist(φ/K ) = 1 Gal( K /K ), Aut(φ) ) } : ξ becomes trivial in H ( 1 Gal( K /K )., PGL N+1
44 Describing Twists Question Given φ Rat d, can we write an explicit formula for all twists of φ?
45 Describing Twists Question Given φ Rat d, can we write an explicit formula for all twists of φ? Done for Rat 2 by Arithmetic Normal Form Theorem.
46 Describing Twists Question Given φ Rat d, can we write an explicit formula for all twists of φ? Done for Rat 2 by Arithmetic Normal Form Theorem. If Aut(φ) = {ζ n z}, then we have an isomorphism K /K n Twist(φ/K ) ( b φ z n ) b n. b
47 Describing Twists Question Given φ Rat d, can we write an explicit formula for all twists of φ? Done for Rat 2 by Arithmetic Normal Form Theorem. If Aut(φ) = {ζ n z}, then we have an isomorphism K /K n Twist(φ/K ) ( b φ z n ) b n. b More general presentation of C n? Other automorphism groups? Higher dimensions?
Automorphism Groups and Invariant Theory on PN
Automorphism Groups and Invariant Theory on PN Benjamin Hutz Department of Mathematics and Computer Science Saint Louis University January 9, 2016 JMM: Special Session on Arithmetic Dynamics joint work
More informationModuli Spaces for Dynamical Systems Joseph H. Silverman
Moduli Spaces for Dynamical Systems Joseph H. Silverman Brown University CNTA Calgary Tuesday, June 21, 2016 0 Notation: We fix The Space of Rational Self-Maps of P n 1 Rational Maps on Projective Space
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationGalois theory of quadratic rational functions with a non-trivial automorphism 1
Galois theory of quadratic rational functions with a non-trivial automorphism 1 Michelle Manes University of Hawai i at Mānoa January 15, 2010 1 Joint work with Rafe Jones Strands of work Maps with automorphisms
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationMath 602, Fall 2002, HW 2, due 10/14/2002
Math 602, Fall 2002, HW 2, due 10/14/2002 Part A AI) A Fermat prime, p, is a prime number of the form 2 α + 1. E.g., 2, 3, 5, 17, 257,.... (a) Show if 2 α + 1 is prime then α = 2 β. (b) Say p is a Fermat
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationMath 3140 Fall 2012 Assignment #3
Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition
More informationNUNO 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 informationTwo subgroups and semi-direct products
Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationOn Galois cohomology and realizability of 2-groups as Galois groups II. Author copy
Cent. Eur. J. Math. 9(6) 2011 1333-1343 DOI: 10.2478/s11533-011-0086-z Central European Journal of Mathematics On Galois cohomology and realizability of 2-groups as Galois groups II Research Article Ivo
More informationThe 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 informationFinite Subgroups of Gl 2 (C) and Universal Deformation Rings
Finite Subgroups of Gl 2 (C) and Universal Deformation Rings University of Missouri Conference on Geometric Methods in Representation Theory November 21, 2016 Goal Goal : Find connections between fusion
More informationPublic-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 informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationMath 121 Homework 3 Solutions
Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting
More information4 Powers of an Element; Cyclic Groups
4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationField 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 informationLecture 7 Cyclic groups and subgroups
Lecture 7 Cyclic groups and subgroups Review Types of groups we know Numbers: Z, Q, R, C, Q, R, C Matrices: (M n (F ), +), GL n (F ), where F = Q, R, or C. Modular groups: Z/nZ and (Z/nZ) Dihedral groups:
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/25833 holds various files of this Leiden University dissertation Author: Palenstijn, Willem Jan Title: Radicals in Arithmetic Issue Date: 2014-05-22 Chapter
More informationThe Berkovich Ramification Locus: Structure and Applications
The Berkovich Ramification Locus: Structure and Applications Xander Faber University of Hawai i at Mānoa ICERM Workshop on Complex and p-adic Dynamics www.math.hawaii.edu/ xander/lectures/icerm BerkTalk.pdf
More informationLecture 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 informationCSIR - Algebra Problems
CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationTHE MODULI SPACE OF RATIONAL FUNCTIONS OF DEGREE d
THE MODULI SPACE OF RATIONAL FUNCTIONS OF DEGREE d MICHELLE MANES. Short Introduction to Varieties For simplicity, the whole talk is going to be over C. This sweeps some details under the rug, but it s
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
More informationPart 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 informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationChapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups
Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationA Number Theorist s Perspective on Dynamical Systems
A Number Theorist s Perspective on Dynamical Systems Joseph H. Silverman Brown University Frontier Lectures Texas A&M, Monday, April 4 7, 2005 Rational Functions and Dynamical Systems
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More informationRiemann 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 informationCover 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 information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationAlgebraic subgroups of GL 2 (C)
Indag. Mathem., N.S., 19 (2, 287 297 June, 2008 Algebraic subgroups of GL 2 (C by K.A. Nguyen, M. van der Put and J. Top Department of Mathematics, University of Groningen, P.O. Box 07, 9700 AK Groningen,
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationMA 162B LECTURE NOTES: FRIDAY, JANUARY 30
MA 162B LECTURE NOTES: FRIDAY, JANUARY 30 1. Examples of Cohomology Groups (cont d) 1.1. H 2 and Projective Galois Representations. Say we have a projective Galois representation ρ : G P GL(V ) where either
More informationA method for construction of Lie group invariants
arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
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 informationORAL 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 informationATTRACTING CYCLES IN p-adic DYNAMICS AND HEIGHT BOUNDS FOR POST-CRITICALLY FINITE MAPS. 1. Introduction
ATTRACTING CYCLES IN p-adic DYNAMICS AND HEIGHT BOUNDS FOR POST-CRITICALLY FINITE MAPS ROBERT BENEDETTO, PATRICK INGRAM, RAFE JONES, AND ALON LEVY Abstract. A rational function of degree at least two with
More informationCover 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 informationMappings of elliptic curves
Mappings of elliptic curves Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Isogenies of Elliptic Curves
More informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationStructure of elliptic curves and addition laws
Structure of elliptic curves and addition laws David R. Kohel Institut de Mathématiques de Luminy Barcelona 9 September 2010 Elliptic curve models We are interested in explicit projective models of elliptic
More informationThe 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 informationRegular embeddings of graphs into surfaces
Banská Bystrica Wien, November 28 November 2, 28 Maps and graph embeddings Maps Map is a 2-cell decomposition of a surface Category OrMaps Maps on orientable surfaces together with orientation-preserving
More informationDIHEDRAL GROUPS II KEITH CONRAD
DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationA CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS
A CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS ROBERT L. BENEDETTO Abstract. Let K be a non-archimedean field, and let φ K(z) be a polynomial or rational function of degree at least
More informationGeometry and Arithmetic of Dominant Rational Self-Maps of Projective Space Joseph H. Silverman
Geometry and Arithmetic of Dominant Rational Self-Maps of Projective Space Joseph H. Silverman Brown University Conference on automorphisms and endomorphisms of algebraic varieties and compact complex
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationALGEBRA HW 9 CLAY SHONKWILER
ALGEBRA HW 9 CLAY SHONKWILER 1 Let F = Z/pZ, let L = F (x, y) and let K = F (x p, y p ). Show that L is a finite field extension of K, but that there are infinitely many fields between K and L. Is L =
More informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More informationA GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS
A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS N. MOHAN KUMAR AND PRAMOD K. SHARMA Abstract. Let R be a commutative ring with identity. We define a graph Γ Aut R (R) on R, with vertices elements
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationMAT 535 Problem Set 5 Solutions
Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)
More informationA Survey of Quandles with some recent developments
A Survey of Quandles with some recent developments University of South Florida QQQ 2016 Knots and their diagrams Overview of knot diagrams and Quandles A knot is the image of a smooth embeding S 1 R 3
More informationSolutions of Assignment 10 Basic Algebra I
Solutions of Assignment 10 Basic Algebra I November 25, 2004 Solution of the problem 1. Let a = m, bab 1 = n. Since (bab 1 ) m = (bab 1 )(bab 1 ) (bab 1 ) = ba m b 1 = b1b 1 = 1, we have n m. Conversely,
More informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More informationOn 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 informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/22043 holds various files of this Leiden University dissertation. Author: Anni, Samuele Title: Images of Galois representations Issue Date: 2013-10-24 Chapter
More informationSMALL DYNAMICAL HEIGHTS FOR QUADRATIC POLYNOMIALS AND RATIONAL FUNCTIONS
SMALL DYNAMICAL HEIGHTS FOR QUADRATIC POLYNOMIALS AND RATIONAL FUNCTIONS ROBERT L. BENEDETTO, RUQIAN CHEN, TREVOR HYDE, YORDANKA KOVACHEVA, AND COLIN WHITE Abstract. Let φ Q(z) be a polynomial or rational
More informationFORMAL 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 information1 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 informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationContradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.
1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore
More informationON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS
Submitted exclusively to the London Mathematical Society DOI: 0./S0000000000000000 ON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS JOHN N. BRAY and ROBERT A. WILSON Abstract In the Kourovka Notebook,
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields
More informationGalois 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 informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More information24 Artin reciprocity in the unramified case
18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationResidual modular Galois representations: images and applications
Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular
More informationABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK
ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element
More informationFrom K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015
From K3 Surfaces to Noncongruence Modular Forms Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 Winnie Li Pennsylvania State University 1 A K3 surface
More informationz, 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= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationAN INTRINSICAL DESCRIPTION OF GROUP CODES
AN INTRINSICAL DESCRIPTION OF GROUP CODES JOSÉ JOAQUÍN BERNAL, ÁNGEL DEL RÍO, AND JUAN JACOBO SIMÓN Abstract. A (left) group code of length n is a linear code which is the image of a (left) ideal of a
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationHamburger Beiträge zur Mathematik
Hamburger Beiträge zur Mathematik Nr. 270 / April 2007 Ernst Kleinert On the Restriction and Corestriction of Algebras over Number Fields On the Restriction and Corestriction of Algebras over Number Fields
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More informationON 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 informationDifference sets and Hadamard matrices
Difference sets and Hadamard matrices Padraig Ó Catháin National University of Ireland, Galway 14 March 2012 Outline 1 (Finite) Projective planes 2 Symmetric Designs 3 Difference sets 4 Doubly transitive
More informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More information9. Finite fields. 1. Uniqueness
9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime
More informationRational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley
Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given
More informationCOMPLEX 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 informationMAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.
MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems. Problem 1 Find all homomorphisms a) Z 6 Z 6 ; b) Z 6 Z 18 ; c) Z 18 Z 6 ; d) Z 12 Z 15 ; e) Z 6 Z 25 Proof. a)ψ(1)
More information(Non)-Uniform Bounds for Rational Preperiodic Points in Arithmetic Dynamics
(Non)-Uniform Bounds for Rational Preperiodic Points in Arithmetic Dynamics Robert L. Benedetto Amherst College Special Session on The Interface Between Number Theory and Dynamical Systems AMS Spring Sectional
More information