Inverse Galois Problem for C(t)


 Doris Harmon
 2 years ago
 Views:
Transcription
1 Inverse Galois Problem for C(t) Padmavathi Srinivasan PuMaGraSS March 2, 2012
2 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem 6 References
3 Question Does every finite group occur as the Galois group of some finite Galois extension L of Q? Statement
4 Statement Question Does every finite group occur as the Galois group of some finite Galois extension L of Q? This is still an open problem!
5 Statement Question Does every finite group occur as the Galois group of some finite Galois extension L of Q? This is still an open problem! Question Does every finite group occur as the Galois group of some finite Galois extension L of C(t)?
6 Statement Question Does every finite group occur as the Galois group of some finite Galois extension L of Q? This is still an open problem! Question Does every finite group occur as the Galois group of some finite Galois extension L of C(t)? Yes!
7 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem 6 References
8 Definition A Riemann surface is a one dimensional complex manifold.
9 Definition A Riemann surface is a one dimensional complex manifold. Examples: C, P 1 (C), C/Γ for a complete lattice Γ C, Smooth affine plane curve in C 2
10 Definition A Riemann surface is a one dimensional complex manifold. Examples: C, P 1 (C), C/Γ for a complete lattice Γ C, Smooth affine plane curve in C 2 Definition Let X and Y be two Riemann surfaces. A holomorphic map φ : Y X is a continuous map such that for every pair of charts (V, g) of Y and (U, f ) of X such that φ(v ) U, the functions f φ g 1 : g(v ) C are holomorphic.
11 Definition A Riemann surface is a one dimensional complex manifold. Examples: C, P 1 (C), C/Γ for a complete lattice Γ C, Smooth affine plane curve in C 2 Definition Let X and Y be two Riemann surfaces. A holomorphic map φ : Y X is a continuous map such that for every pair of charts (V, g) of Y and (U, f ) of X such that φ(v ) U, the functions f φ g 1 : g(v ) C are holomorphic. Examples: The map z z k on C for all k 1, the natural projection map π : C C/Γ
12 Proposition Local structure of holomorphic maps Let φ : Y X be a nonconstant holomorphic map of Riemann surfaces, and y a point of Y with image x = φ(y) in X. There exist charts (V y, g y ) of Y and (U x, f x ) of X such that V y is an open neighbourhood of y, U x an open neighbourhood of x satisfying φ(v y ) U x and g y (y) = f x (x) = 0 such that the diagram V y φ U x g y f x C z z ey commutes with an appropriate positive integer e y that does on depend on the choice of the complex charts. C
13 Corollaries Definition Let φ : Y X, e y etc. be defined as before. The integer e y is called the ramification index of φ at y. The points y with e y > 1 are called branch points. The set of branch points of φ will be denoted S φ.
14 Corollaries Definition Let φ : Y X, e y etc. be defined as before. The integer e y is called the ramification index of φ at y. The points y with e y > 1 are called branch points. The set of branch points of φ will be denoted S φ. Corollary A nonconstant holomorphic map between Riemann surfaces is open.
15 Corollaries Definition Let φ : Y X, e y etc. be defined as before. The integer e y is called the ramification index of φ at y. The points y with e y > 1 are called branch points. The set of branch points of φ will be denoted S φ. Corollary A nonconstant holomorphic map between Riemann surfaces is open. Corollary Let φ : Y X be a nonconstant holomorphic map between two Riemann surfaces. The fibres of φ and the set S φ are discrete closed subsets of Y.
16 Corollaries Corollary Let φ : Y X be a nonconstant holomorphic map between two connected Riemann surfaces. If Y is compact, then X is compact and φ is surjective.
17 Corollaries Corollary Let φ : Y X be a nonconstant holomorphic map between two connected Riemann surfaces. If Y is compact, then X is compact and φ is surjective. Corollary Every holomorphic function on a compact Riemann surface (holomorphic map from the compact Riemann surface to C) is constant.
18 Corollaries Corollary Let φ : Y X be a nonconstant holomorphic map between two connected Riemann surfaces. If Y is compact, then X is compact and φ is surjective. Corollary Every holomorphic function on a compact Riemann surface (holomorphic map from the compact Riemann surface to C) is constant. Corollary Every holomorphic map from P 1 to itself is rational i.e., can be written as the quotient of two polynomials.
19 Meromorphic functions Definition Let X be a Riemann surface. A meromorphic function φ on X is a holomorphic function on X \ S where S X is a discrete closed subset and further, for all charts (U, f ), the function φ f 1 : f (U) C is meromorphic.
20 Meromorphic functions Definition Let X be a Riemann surface. A meromorphic function φ on X is a holomorphic function on X \ S where S X is a discrete closed subset and further, for all charts (U, f ), the function φ f 1 : f (U) C is meromorphic. Meromorphic functions on X form a ring with respect to the usual addition and multiplication of functions. We denote this ring by M(X ).
21 Meromorphic functions Definition Let X be a Riemann surface. A meromorphic function φ on X is a holomorphic function on X \ S where S X is a discrete closed subset and further, for all charts (U, f ), the function φ f 1 : f (U) C is meromorphic. Meromorphic functions on X form a ring with respect to the usual addition and multiplication of functions. We denote this ring by M(X ). Also, it is easy to see that meromorphic functions on X are the same as holomorphic maps from X to P 1.
22 Meromorphic functions Definition Let X be a Riemann surface. A meromorphic function φ on X is a holomorphic function on X \ S where S X is a discrete closed subset and further, for all charts (U, f ), the function φ f 1 : f (U) C is meromorphic. Meromorphic functions on X form a ring with respect to the usual addition and multiplication of functions. We denote this ring by M(X ). Also, it is easy to see that meromorphic functions on X are the same as holomorphic maps from X to P 1. Lemma If X is connected, the ring M(X ) is a field.
23 Meromorphic functions The lemma we just stated is an easy consequence of the following theorem.
24 Meromorphic functions The lemma we just stated is an easy consequence of the following theorem. Theorem (Identity Theorem) Suppose X and Y Riemann surfaces, with X connected and f 1, f 2 : X Y are two holomorphic maps that coincide on a set A having a limit point a X. Then f 1 and f 2 are identically equal.
25 Meromorphic functions The lemma we just stated is an easy consequence of the following theorem. Theorem (Identity Theorem) Suppose X and Y Riemann surfaces, with X connected and f 1, f 2 : X Y are two holomorphic maps that coincide on a set A having a limit point a X. Then f 1 and f 2 are identically equal. What we proved before as a corollary to the proposition can be restated as saying M(P 1 ) = C(t).
26 Connection to topological covers Definition A continuous map of locally compact topological spaces (L.C.T.S.) is proper if the preimage of every compact set is compact.
27 Connection to topological covers Definition A continuous map of locally compact topological spaces (L.C.T.S.) is proper if the preimage of every compact set is compact. Examples: Any continuous map between L.C.T.S. where the domain is compact and range is Hausdorff, Any finite cover p : Y X of L.C.T.S.
28 Connection to topological covers Definition A continuous map of locally compact topological spaces (L.C.T.S.) is proper if the preimage of every compact set is compact. Examples: Any continuous map between L.C.T.S. where the domain is compact and range is Hausdorff, Any finite cover p : Y X of L.C.T.S. Theorem Let X be a connected Riemann surface, and φ : Y X a proper holomorphic map. The map φ is surjective with finite fibres, and its restriction to Y \ φ 1 (φ(s φ )) is a finite topological cover of X \ φ(s φ ).
29 Connection to topological covers Definition A continuous map of locally compact topological spaces (L.C.T.S.) is proper if the preimage of every compact set is compact. Examples: Any continuous map between L.C.T.S. where the domain is compact and range is Hausdorff, Any finite cover p : Y X of L.C.T.S. Theorem Let X be a connected Riemann surface, and φ : Y X a proper holomorphic map. The map φ is surjective with finite fibres, and its restriction to Y \ φ 1 (φ(s φ )) is a finite topological cover of X \ φ(s φ ). Such a map will be called a finite branched cover, and the degree of this map will be the degree of the topological cover obtained from it as above.
30 Connection to topological covers A proper holomorphic map is determined by its topological properties. It can formally be stated as an equivalence of catgeories; the category of Riemann surfaces with a map onto X, unbranched over X \ S is equivalent to the category of topological covers of X \ S.
31 Connection to topological covers A proper holomorphic map is determined by its topological properties. It can formally be stated as an equivalence of catgeories; the category of Riemann surfaces with a map onto X, unbranched over X \ S is equivalent to the category of topological covers of X \ S. Lemma Let X be a Riemann surface, Y a topological space with a covering map p : Y X. The space Y can be endowed with a unique complex structure for which p becomes a holomorphic mapping.
32 Connection to topological covers A proper holomorphic map is determined by its topological properties. It can formally be stated as an equivalence of catgeories; the category of Riemann surfaces with a map onto X, unbranched over X \ S is equivalent to the category of topological covers of X \ S. Lemma Let X be a Riemann surface, Y a topological space with a covering map p : Y X. The space Y can be endowed with a unique complex structure for which p becomes a holomorphic mapping. Lemma Given two Riemann surfaces Y and Z equipped with proper nonconstant holomorphic maps φ Y and φ Z onto X with all branch points above S and a morphism of covers ρ : Y Z over X where X = X \ S, Y = Y \ φ 1 Y (S) and Z = Z \ φ 1 Z (S), there is a unique holomorphic map ρ : Y Z over X extending ρ.
33 Connection to topological covers Proposition Assume we are given a connected Riemann surface X, a discrete closed set S of points of X and a finite connected cover φ : Y X, where X = X \ S. Then there exists a Riemann surface Y containing Y as an open subset and a proper holomorphic map φ : Y X such that φ Y = φ and Y = Y \ φ 1 (S).
34 Connection to topological covers Proposition Assume we are given a connected Riemann surface X, a discrete closed set S of points of X and a finite connected cover φ : Y X, where X = X \ S. Then there exists a Riemann surface Y containing Y as an open subset and a proper holomorphic map φ : Y X such that φ Y = φ and Y = Y \ φ 1 (S). Corollary Given a map p : Y X as above, the group of automorphisms of the space Y over X, Aut (Y X ) as branched covers over X (i.e. compatible with p) is isomorphic to the group Aut (Y X ) where these are the automorphisms of Y as a topological cover over X.
35 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem 6 References
36 Galois covers Given a cover p : Y X, its automorphisms are to be automorphisms of Y as a space over X i.e. automorphisms compatible with p. This is a group with respect to composition, and we will denote it Aut (Y X ). If we fix a point x X, the group Aut (Y X ) maps the set p 1 (x) onto itself, so p 1 (x) has a natural Aut (Y X ) action.
37 Galois covers Given a cover p : Y X, its automorphisms are to be automorphisms of Y as a space over X i.e. automorphisms compatible with p. This is a group with respect to composition, and we will denote it Aut (Y X ). If we fix a point x X, the group Aut (Y X ) maps the set p 1 (x) onto itself, so p 1 (x) has a natural Aut (Y X ) action. Definition A connected cover p : Y X is said to be Galois if Aut (Y X ) acts transitively on each fibre of p.
38 Galois covers Given a cover p : Y X, its automorphisms are to be automorphisms of Y as a space over X i.e. automorphisms compatible with p. This is a group with respect to composition, and we will denote it Aut (Y X ). If we fix a point x X, the group Aut (Y X ) maps the set p 1 (x) onto itself, so p 1 (x) has a natural Aut (Y X ) action. Definition A connected cover p : Y X is said to be Galois if Aut (Y X ) acts transitively on each fibre of p. Example: The exponential map exp : R S 1 is a Galois cover with Aut (R S 1 ) = Z.
39 Fundamental theorem of Galois covers Theorem Let p : Y X be a Galois cover. For each subgroup H of G = Aut (Y X ), the projection p induces a natural map p H : H \ Y X which turns H \ Y into a cover of X. Conversely, if Z X is a connected cover fitting into a commutative diagram Y f Z p then f : Y Z is a Galois cover and actually Z = H \ Y for the subgroup H = Aut (Y Z) of G. The maps H H \ Y, Z Aut(Y Z) induce a bijection between subgroups of G and intermediate covers Z as above. The cover q : Z X is Galois if and only if H is a normal subgroup of G, in which case Aut (Z X ) = G/H. X q
40 Universal cover Amongst all covering spaces of a manifold X, there is a largest one dubbed the universal cover and all other covering spaces can be obtained as quotients of this space. The automorphism group of this space can be determined by data intrinsic to X, namely the fundamental group of X.
41 Universal cover Amongst all covering spaces of a manifold X, there is a largest one dubbed the universal cover and all other covering spaces can be obtained as quotients of this space. The automorphism group of this space can be determined by data intrinsic to X, namely the fundamental group of X. Definition Suppose X and Y are connected topological spaces and p : Y X is a covering map. p : Y X is called the universal covering of X if it satisfies the following universal property. For every covering map q : Z X, with Z connected, and every choice of points y 0 Y, z 0 Z with p(y 0 ) = q(z 0 ), there exists exactly one continuous fiberpreserving map f : Y Z such that f (y 0 ) = z 0.
42 Universal cover Amongst all covering spaces of a manifold X, there is a largest one dubbed the universal cover and all other covering spaces can be obtained as quotients of this space. The automorphism group of this space can be determined by data intrinsic to X, namely the fundamental group of X. Definition Suppose X and Y are connected topological spaces and p : Y X is a covering map. p : Y X is called the universal covering of X if it satisfies the following universal property. For every covering map q : Z X, with Z connected, and every choice of points y 0 Y, z 0 Z with p(y 0 ) = q(z 0 ), there exists exactly one continuous fiberpreserving map f : Y Z such that f (y 0 ) = z 0. Such a cover is easily seen to be Galois, if it exists, and is unique up to unique isomorphism.
43 Theorem The universal cover exists for a connected and locally simply connected topological space X. Universal cover
44 Universal cover Theorem The universal cover exists for a connected and locally simply connected topological space X. Theorem Let X be a pathconnected and locally simply connected space. A cover X X is universal if an only if X is simply connected.
45 Universal cover Theorem The universal cover exists for a connected and locally simply connected topological space X. Theorem Let X be a pathconnected and locally simply connected space. A cover X X is universal if an only if X is simply connected. Theorem The universal cover X is a connected Galois cover of X, with automorphism group isomorphic to π 1 (X ).
46 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem 6 References
47 Existence of enough meromorphic functions Theorem Let X be a compact Riemann surface, x 1,..., x n X a finite set of points, and a 1,..., a n a finite set of complex numbers. Then there exists a meromorphic function f M(X ) such that f is holomorphic at all the x i and f (x i ) = a i for 1 i n.
48 Existence of enough meromorphic functions Theorem Let X be a compact Riemann surface, x 1,..., x n X a finite set of points, and a 1,..., a n a finite set of complex numbers. Then there exists a meromorphic function f M(X ) such that f is holomorphic at all the x i and f (x i ) = a i for 1 i n. Proposition Let φ : Y X be a nonconstant holomorphic map of compact connected Riemann surfaces which has degree d as a branched cover. The induced field extension M(Y ) φ M(X ) is finite of degree d.
49 Main theorem The functor Y M(Y ) is a contravariant functor from the category of compact connected Riemann surfaces mapping holomorphically onto a connected compact Riemann surface X to the category of field extensions of M(X ).
50 Main theorem The functor Y M(Y ) is a contravariant functor from the category of compact connected Riemann surfaces mapping holomorphically onto a connected compact Riemann surface X to the category of field extensions of M(X ). Theorem The above functor is an antiequivalence of categories. In this antiequivalence, finite Galois branched covers of X correspond to finite Galois extensions of M(X ) of the same degree.
51 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem 6 References
52 Theorem Every finite group occurs as the Galois group of some finite Galois extension of C(t). Proof. 1 M(P 1 (C)) = C(t).
53 Theorem Every finite group occurs as the Galois group of some finite Galois extension of C(t). Proof. 1 M(P 1 (C)) = C(t). 2 π 1 (P 1 (C) \ {x 1,..., x n }) for some n points x 1,..., x n P 1 (C) is the free group on n 1 letters.
54 Theorem Every finite group occurs as the Galois group of some finite Galois extension of C(t). Proof. 1 M(P 1 (C)) = C(t). 2 π 1 (P 1 (C) \ {x 1,..., x n }) for some n points x 1,..., x n P 1 (C) is the free group on n 1 letters. 3 Let G be a finite group that is the quotient of the free group on n 1 letters. There is a Galois branched cover Y of P 1 (C), branched over the n points x 1,..., x n such that Aut(Y X ) = G.
55 Theorem Every finite group occurs as the Galois group of some finite Galois extension of C(t). Proof. 1 M(P 1 (C)) = C(t). 2 π 1 (P 1 (C) \ {x 1,..., x n }) for some n points x 1,..., x n P 1 (C) is the free group on n 1 letters. 3 Let G be a finite group that is the quotient of the free group on n 1 letters. There is a Galois branched cover Y of P 1 (C), branched over the n points x 1,..., x n such that Aut(Y X ) = G. 4 Let L = M(Y ). This is the field extension we are seeking. By the previous theorem, L is a Galois extension of C(t) and G = Aut(Y X ) = Gal(M(Y ) M(P 1 (C))) = Gal(L C(t))
56 Theorem Every finite group occurs as the Galois group of some finite Galois extension of C(t). Proof. 1 M(P 1 (C)) = C(t). 2 π 1 (P 1 (C) \ {x 1,..., x n }) for some n points x 1,..., x n P 1 (C) is the free group on n 1 letters. 3 Let G be a finite group that is the quotient of the free group on n 1 letters. There is a Galois branched cover Y of P 1 (C), branched over the n points x 1,..., x n such that Aut(Y X ) = G. 4 Let L = M(Y ). This is the field extension we are seeking. By the previous theorem, L is a Galois extension of C(t) and G = Aut(Y X ) = Gal(M(Y ) M(P 1 (C))) = Gal(L C(t)) 5 Every finite group is the quotient of such a free group, and we are done!
57 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem 6 References
58 References Fundamental Groups and Galois Groups, Támas Szamuely, Cambridge Studies in Advanced Mathematics 117 Lectures on Riemann Surfaces, Otto Forster, GTM 81
59 Thank you! Finally...
which is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationX G X by the rule x x g
18. Maps between Riemann surfaces: II Note that there is one further way we can reverse all of this. Suppose that X instead of Y is a Riemann surface. Can we put a Riemann surface structure on Y such that
More informationIntroduction to. Riemann Surfaces. Lecture Notes. Armin Rainer. dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D
Introduction to Riemann Surfaces Lecture Notes Armin Rainer dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D June 17, 2018 PREFACE i Preface These are lecture notes for the course Riemann surfaces held
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationis holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts.
RIEMANN SURFACES 2. Week 2. Basic definitions 2.1. Smooth manifolds. Complex manifolds. Let X be a topological space. A (real) chart of X is a pair (U, f : U R n ) where U is an open subset of X and f
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 informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationRiemann surfaces. 3.1 Definitions
3 Riemann surfaces In this chapter we define and give the first properties of Riemann surfaces. These are the holomorphic counterpart of the (real) differential manifolds. We will see how the Fuchsian
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 pathconnected topological space, and
More information1 Motivation. If X is a topological space and x X a point, then the fundamental group is defined as. the set of (pointed) morphisms from the circle
References are: [Szamuely] Galois Groups and Fundamental Groups [SGA1] Grothendieck, et al. Revêtements étales et groupe fondamental [Stacks project] The Stacks Project, https://stacks.math.columbia. edu/
More informationRIEMANN SURFACES. LECTURE NOTES. WINTER SEMESTER 2015/2016.
RIEMANN SURFACES. LECTURE NOTES. WINTER SEMESTER 2015/2016. A PRELIMINARY AND PROBABLY VERY RAW VERSION. OLEKSANDR IENA Contents Some prerequisites for the whole lecture course. 5 1. Lecture 1 5 1.1. Definition
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉSGASTESI
More informationLECTURE 1516: PROPER ACTIONS AND ORBIT SPACES
LECTURE 1516: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More informationElementary (haha) Aspects of Topos Theory
Elementary (haha) Aspects of Topos Theory Matt Booth June 3, 2016 Contents 1 Sheaves on topological spaces 1 1.1 Presheaves on spaces......................... 1 1.2 Digression on pointless topology..................
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationGALOIS CATEGORIES MELISSA LYNN
GALOIS CATEGORIES MELISSA LYNN Abstract. In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields
More informationC ALGEBRAS MATH SPRING 2015 PROBLEM SET #6
C ALGEBRAS MATH 113  SPRING 2015 PROBLEM SET #6 Problem 1 (Positivity in C algebras). The purpose of this problem is to establish the following result: Theorem. Let A be a unital C algebra. For a A,
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
More informationLECTURE 14: LIE GROUP ACTIONS
LECTURE 14: LIE GROUP ACTIONS 1. Smooth actions Let M be a smooth manifold, Diff(M) the group of diffeomorphisms on M. Definition 1.1. An action of a Lie group G on M is a homomorphism of groups τ : G
More informationDefinition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.
13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationMath 213br HW 3 solutions
Math 13br HW 3 solutions February 6, 014 Problem 1 Show that for each d 1, there exists a complex torus X = C/Λ and an analytic map f : X X of degree d. Let Λ be the lattice Z Z d. It is stable under multiplication
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationGAUGED LINEAR SIGMA MODEL SPACES
GAUGED LINEAR SIGMA MODEL SPACES FELIPE CASTELLANOMACIAS ADVISOR: FELIX JANDA Abstract. The gauged linear sigma model (GLSM) originated in physics but it has recently made it into mathematics as an enumerative
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasiprojective varieties over a field k Affine Varieties 1.
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationLecture 7: Etale Fundamental Group  Examples
Lecture 7: Etale Fundamental Group  Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationMath 637 Topology Paulo LimaFilho. Problem List I. b. Show that a contractible space is path connected.
Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is
More informationPMATH 950 (Riemann Surfaces) Notes
PMATH 950 (Riemann Surfaces) Notes Patrick Naylor February 28, 2018 These are notes for PMATH 950, taught by Ruxandra Moraru in the Winter 2018 term at the University of Waterloo. These notes are not guaranteed
More informationTutorial on Differential Galois Theory III
Tutorial on Differential Galois Theory III T. Dyckerhoff Department of Mathematics University of Pennsylvania 02/14/08 / Oberflockenbach Outline Today s plan Monodromy and singularities RiemannHilbert
More informationTITLE. (2) y 2 = x 3 + 2x + 3.
TITLE DAVID HOLMES Abstract. 1. Introduction 2. Starting point: families of elliptic curves Start by saying: we are interested in families of elliptic curves, for example families of a riemann surface.
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C linear isometric
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationTHE É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 informationMath 215B: Solutions 1
Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an
More informationBelyi functions with prescribed monodromy
Ravi Jagadeesan, Mentor: Akhil Mathew MIT PRIMES May 18, 2013 Compact Riemann surfaces Definition A Riemann surface is a onedimensional complex manifold. 1 1 http://upload.wikimedia.org/wikipedia/commons/f/f0/triple_
More informationLecture 2 Sheaves and Functors
Lecture 2 Sheaves and Functors In this lecture we will introduce the basic concept of sheaf and we also will recall some of category theory. 1 Sheaves and locally ringed spaces The definition of sheaf
More informationA Humble Example of Notions of Divisor
A Humble Example of Notions of Divisor Gohan May 16, 2013 I must apologize for my morbid procrastination. Due to my incapability of understanding advanced mathematics, I was rather tortured by my previous
More informationCHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES
CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results
More informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationAN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying
AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE 1. RATIONAL POINTS ON CIRCLE We start by asking us: How many integers x, y, z) can satisfy x 2 + y 2 = z 2? Can we describe all of them? First we can divide
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationJoseph Muscat Universal Algebras. 1 March 2013
Joseph Muscat 2015 1 Universal Algebras 1 Operations joseph.muscat@um.edu.mt 1 March 2013 A universal algebra is a set X with some operations : X n X and relations 1 X m. For example, there may be specific
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More information10. The subgroup subalgebra correspondence. Homogeneous spaces.
10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a
More information8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces
8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the padic numbers. Let p be a prime number, and let Z p denote the ring of padic integers,
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 informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationTHE 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 informationElliptic Curves with 2torsion contained in the 3torsion field
Elliptic Curves with 2torsion contained in the 3torsion field Laura Paulina Jakobsson Advised by Dr. M. J. Bright Universiteit Leiden Universita degli studi di Padova ALGANT Master s Thesis  21 June
More informationThe SeifertVan Kampen theorem via covering spaces
Treball final de grau GRAU DE MATEMÀTIQUES Facultat de Matemàtiques i Informàtica Universitat de Barcelona The SeifertVan Kampen theorem via covering spaces Autor: Roberto Lara Martín Director: Dr. Javier
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An ndimensional manifold is a set
More informationSurjectivity in HondaTate
Surjectivity in HondaTate Brian Lawrence May 5, 2014 1 Introduction Let F q be a finite field with q = p a elements, p prime. Given any simple Abelian variety A over F q, we have seen that the characteristic
More informationINVERSE 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 informationSolutions to some of the exercises from Tennison s Sheaf Theory
Solutions to some of the exercises from Tennison s Sheaf Theory Pieter Belmans June 19, 2011 Contents 1 Exercises at the end of Chapter 1 1 2 Exercises in Chapter 2 6 3 Exercises at the end of Chapter
More informationwhere Σ is a finite discrete Gal(K sep /K)set unramified along U and F s is a finite Gal(k(s) sep /k(s))subset
Classification of quasifinite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasifinite étale separated schemes X over a henselian local ring
More informationReview of complex analysis in one variable
CHAPTER 130 Review of complex analysis in one variable This gives a brief review of some of the basic results in complex analysis. In particular, it outlines the background in single variable complex analysis
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationAbelian Varieties and Complex Tori: A Tale of Correspondence
Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results
More information7 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 informationMODULI TOPOLOGY. 1. Grothendieck Topology
MODULI TOPOLOG Abstract. Notes from a seminar based on the section 3 of the paper: Picard groups of moduli problems (by Mumford). 1. Grothendieck Topology We can define a topology on any set S provided
More informationAnother way to proceed is to prove that the function field is purely transcendental. Now the coordinate ring is
3. Rational Varieties Definition 3.1. A rational function is a rational map to A 1. The set of all rational functions, denoted K(X), is called the function field. Lemma 3.2. Let X be an irreducible variety.
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More information15 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 nontrivial integral solution to the Diophantine
More informationMath 225A: Differential Topology, Final Exam
Math 225A: Differential Topology, Final Exam Ian Coley December 9, 2013 The goal is the following theorem. Theorem (Hopf). Let M be a compact nmanifold without boundary, and let f, g : M S n be two smooth
More informationTHE KEEL MORI THEOREM VIA STACKS
THE KEEL MORI THEOREM VIA STACKS BRIAN CONRAD 1. Introduction Let X be an Artin stack (always assumed to have quasicompact and separated diagonal over Spec Z; cf. [2, 1.3]). A coarse moduli space for
More informationAlgebraic geometry over quaternions
Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic
More informationCategorical Aspects of Galois Theory
Department of Mathematics and Statistics University of Calgary Foundational Methods in Computer Science, 2014 Outline 1 Motivation Classical Galois Theory for Fields 2 Definition Examples 3 Some Field
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 5
CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 BERTRAND GUILLOU 1. Mon, Feb. 14 The same method we used to prove the Whitehead theorem last time also gives the following result. Theorem 1.1. Let X be CW and
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationReal and padic PicardVessiot fields
Spring Central Sectional Meeting Texas Tech University, Lubbock, Texas Special Session on Differential Algebra and Galois Theory April 11th 2014 Real and padic PicardVessiot fields Teresa Crespo, Universitat
More informationAlgebraic Geometry I Lectures 14 and 15
Algebraic Geometry I Lectures 14 and 15 October 22, 2008 Recall from the last lecture the following correspondences {points on an affine variety Y } {maximal ideals of A(Y )} SpecA A P Z(a) maximal ideal
More informationLecture 9  Faithfully Flat Descent
Lecture 9  Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,
More informationMath 103 HW 9 Solutions to Selected Problems
Math 103 HW 9 Solutions to Selected Problems 4. Show that U(8) is not isomorphic to U(10). Solution: Unfortunately, the two groups have the same order: the elements are U(n) are just the coprime elements
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of nonconstant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationAlgebraic varieties. Chapter A ne varieties
Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne nspace A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point
More informationDraft: July 15, 2007 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF padic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: July 15, 2007 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF padic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of padic analytic
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine nspace the collection A n k of points P = a 1, a,..., a
More informationSMA. Grothendieck topologies and schemes
SMA Grothendieck topologies and schemes Rafael GUGLIELMETTI Semester project Supervised by Prof. Eva BAYER FLUCKIGER Assistant: Valéry MAHÉ April 27, 2012 2 CONTENTS 3 Contents 1 Prerequisites 5 1.1 Fibred
More informationGalois Groups and Fundamental Groups
Chapter 1 Galois Groups and Fundamental Groups 1.1 Galois Groups and Fundamental Groups This begins a series of lectures on topics surrounding Galois groups, fundamental groups, étale fundamental groups,
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two Amodules. For a third Amodule Z, consider the
More informationAn 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 information1 Smooth manifolds and Lie groups
An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely
More informationEXAMPLES OF CALABIYAU 3MANIFOLDS WITH COMPLEX MULTIPLICATION
EXAMPLES OF CALABIYAU 3MANIFOLDS WITH COMPLEX MULTIPLICATION JAN CHRISTIAN ROHDE Introduction By string theoretical considerations one is interested in CalabiYau manifolds since CalabiYau 3manifolds
More informationA MiniCourse on Formal and Rigid Geometry
A MiniCourse on Formal and Rigid Geometry Padova April/May 2010 Siegfried Bosch (Münster) http://wwwmath.unimuenster.de/u/bosch/frgpadova.pdf 1 Outline 1 Introduction Naive approach to nonarchimedean
More informationVector Bundles vs. Jesko Hüttenhain. Spring Abstract
Vector Bundles vs. Locally Free Sheaves Jesko Hüttenhain Spring 2013 Abstract Algebraic geometers usually switch effortlessly between the notion of a vector bundle and a locally free sheaf. I will define
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More information