Quaternionic Projective Space (Lecture 34)
|
|
- Nathaniel Reynolds
- 6 years ago
- Views:
Transcription
1 Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question of how canonical this structure is. In the category of toological grous, the grou structure on S 3 is unique u to isomorhism. However, the urely homotoy-theoretic situation is not quite so nice: there exist uncountably many airwise inequivalent grou structures on saces which are homotoy equivalent to S 3 (we will return to this oint at the end of the lecture). However, the situation is much simler in -adic homotoy theory, where is a fixed rime. In this case, we again have a unique grou structure on (the -adic comletion) of the homotoy tye of S 3. We will sketch a roof of this result when is odd, following the ideas of Dwyer, Miller and Wilkerson. We begin by formulating the roblem more recisely. In homotoy theory, giving a grou structure on a homotoy tye G is equivalent to realizing G as the loo sace of a ointed sace X. In this case, we have a fiber sequence G X. If G = S 3, then we can use the Serre sectral sequence to comute the (mod ) cohomology ring of X: H (X) F [t], where t lies in degree 4 (and transgresses to the fundamental class of G = S 3 ). Moreover, we have the same icture in the -rofinite category. We can now state the main result: Theorem 1 (Dwyer, Miller, Wilkerson). Let X be a -rofinite sace such that H (X) F [t], where t lies in degree 4. Then X is equivalent to the -rofinite comletion BSU(2) of the classifying sace of the grou SU(2) (in other words, infinite dimensional quaternionic rojective sace). The first ste is to describe the cohomology H (X) as a reresentation of the mod- Steenrod algebra A. To simlify the exosition, we will consider only the case 2. We therefore begin with a few recollections on the structure of A : For any sace X (or any -rofinite sace), the algebra A acts on the cohomology ring H (X; F ). The algebra A is generated the Bockstein oerator β of degree 1, together with oerations P i of degree 2i( 1), for i > 0. We have a Cartan formula P n (xy) = P n n=n +n (x)p n (y), and a similar formula for β (which involves a sign). Here we agree by convention that P 0 = id. If x H 2i (X; F ), then P i (x) = x and P j (x) = 0 for j > i (instability). We have P 1 P 1 = 2P 2 (this is a secial case of the Adem relations, which we will not write out in full). Lemma 2. Let X be as in the statement of Theorem 1. Then there exists an isomorhism α : H (X) F [t] such that the action of A on H (X) F [t] is determined by the Cartan formula, together with the relations βt = 0 1
2 2t +1 2 if i = 1 P i t = t if i = 2 0 otherwise. Proof. The formula βt = 0 is obvious, since H 5 (X) 0. The exressions P i t vanishes for i > 2 by instability, and P 2 t = t. We have P 1 (t) = ct +1 2 for some constant c F ; the only nontrivial oint is to comute c. For this, we observe 2t = 2P 2 (t) = P 1 P 1 (t) = cp 1 t +1 2 = c t so that c 2 = 4 +1 = 4. This has solutions c = ±2. However, if c = 2 then we can adjust the isomorhism α via the substitution t λt, where λ F is not a quadratic residue, to obtain an isomorhism with the desired roerty. Corollary 3. There exists an isomorhism α : H (X) H (BSU(2)) of unstable A -algebras. We now make a few remarks about the structure of the grou SU(2). We have injective grou homomorhisms Z/Z S 1 SU(2). These induce mas of classifying saces hence we get mas on cohomology BZ/Z BS 1 BSU(2), H (BZ/Z) H (BS 1 ) H (BSU(2)). A simle comutation shows that each of these mas is injective, and we can identify the above with the sequence F [u, ɛ] F [u] F [t]. Here t u 2, where u has degree 2, and ɛ has degree 1 in H (BZ/Z) (and therefore squares to zero). Lemma 4. There exists a ma β : BZ/Z X such that the diagram commutes. H (X) α H (BZ/Z) H (BSU(2)) 2
3 Proof. We have π 0 Ma(BZ/Z, X) Hom(H (X BZ/Z ), F ) Hom(T H (X), F ) Hom(H (X), H (BZ/Z)) Here the Hom-sets on the right hand side are comuted in the category of unstable A -algebras. In other words, any ma of A -algebras from H (X) to H (BZ/Z) is necessarily induced by a ma of -rofinite saces BZ/Z to X (which is then uniquely determined u to homotoy). Let Y be the connected comonent of the maing sace X BZ/Z containing the ma β. We then have isomorhisms H (Y ) H (X BZ/Z ) H 0 (X BZ/Z ) F T H (X) (T H (X)) 0 F. Consequently, the cohomology ring H (Y ) deends only on H (X). Let us temorarily assume that X = BSU(2) and that β is the ma induced by the grou homomorhism Z/Z SU(2). The loo sace ΩY can be identified with the sace of homotoies from β to itself, which is a sace of sections of a certain fibration E BZ/Z with fiver SU(2). This fibration corresonds to an action of Z/Z on SU(2), which is simly induced by the action of Z/Z by conjugation. We therefore may therefore identify ΩY with the homotoy fixed set (SU(2) ) hz/z. Using the -rofinite Sullivan conjecture, this can be identified with the -rofinite comletion of the actual fixed set SU(2) Z/Z, which is simly the centralizer of Z/Z in SU(2). A simle calculation shows that this centralizer coincides with the circle grou S 1 SU(2). It follows that ΩY (S 1 ). Using the Serre sectral sequence, we conclude that H (Y ) is isomorhic to F [u], where u lies in degree 2. Moreover, the translation action of BZ/Z on itself determines a ma BZ/Z Y, which (after scaling u if necessary) is given on cohomology by the canonical inclusion F [u] F [u, ɛ]. We now return to the general case. Since H (Y ) deends only on H (X), we conclude that H F [u] in general. Evaluation at the base oint of BZ/Z induces a ma e : Y X. Moreover, the comosition BZ/Z Y e X can be identified with the ma β. It follows that the above sequence induces, on cohomology, the mas F [u, ɛ] F [u] F [t]. Consider the ma from X BZ/Z to itself, given by comosition with the ma Z/Z 1 Z/Z. This ma induces the identify on H 4 (BZ/Z), and therefore induces the identity ma on Hom(H (X), H (BZ/Z)) π 0 X BZ/Z. It therefore induces an involution on Y, which we will denote by i. We have a commutative diagram BZ/Z Y 1 BZ/Z Y, i 3
4 which gives a commutative diagram of cohomology grous F [u, ɛ] F [u] F [u, ɛ] F [u] Since the left vertical ma carries u to u, the right vertical ma does as well. Let Y hz/2z denote the homotoy coinvariants of the involution on Y. Then the canonical ma Y Y hz/2z induces an isomorhism H (Y hz/2z ) H (Y ) Z/2Z F [u 2 ]. The base oint of BZ/Z is invariant under the ma given by multilication by ( 1), so the evaluation ma e : Y X is invariant under the action of i. Consequently, we obtain a factorization Y e e Y hz/2z. X This induces a commutative diagram of cohomology grous F [u] F [t] F [u 2 ]. We conclude that e induces an isomorhism on cohomology, and therefore a homotoy equivalence of - rofinite saces Y hz/2z X. We now identify the -rofinite sace Y. Since the cohomology of Y lies entirely in even degrees, we can choose a comatible family of cohomology classes u i H 2 (Y ; Z/ i Z) lifting u. These cohomology classes determine a ma of -rofinite saces Y lim K(Z/ k, 2), which we can identify with a ma Y (BS 1 ). This ma induces an isomorhism on cohomology, and is therefore an equivalence of -rofinite saces. We may therefore identify Y with the (-rofinite) Eilenberg- MacLane sace K(Z, 2). Now consider the involution i on Y. We claim that the homotoy fixed set Y hz/2z is nonemty: this follows from the vanishing of the cohomology grou H 3 (BZ/2Z; Z ) (since is different from 2). We may therefore assume without loss of generality that Y contains a oint fixed by the involution i. In this case, i can be regarded as a ointed ma from the Eilenberg-MacLane sace K(Z, 2) to itself, which is given by a grou homomorhism h : Z Z. Since h has order 2, we deduce that h is given by the formula h(z) = λz, where λ = ±1. Since i carries u H 2 (Y ) to u, we deduce that λ = 1. We have therefore roven: Theorem 5. Let X be as in Theorem 1 and an odd rime. Then there is an equivalence of -rofinite saces X K(Z, 2) hz/2z, where the grou Z/2Z acts on Z by the sign involution. 4
5 In articular, there is only one ossibility for the homotoy tye of X. Theorem 1 follows. Let us now consider the same roblem in the non--rofinite world. Let X be a simly connected sace such that H (X; Z) H (BSU(2); Z) Z[t], where t lies in degree 4 (this is equivalent to the assertion that the loo sace ΩX is homotoy equivalent to a three shere S 3, by the Serre sectral sequence). We have a homotoy ullback diagram X X X Q ( X ) Q. Using Theorem 1 (and its analogue in the case = 2), we deduce that for each rime we have a homotoy equivalence X BSU(2). A much easier argument shows that X Q K(Q, 4) BSU(2) Q. We can therefore rewrite the above homotoy ullback diagram as X BSU(2) BSU(2) φ Q ( BSU(2) ) Q. However, this does not imly that X BSU(2), because the ma φ has not been determined. The domain of φ can be identified with an Eilenberg-MacLane sace K(Q, 4), and the codomain of φ with an Eilenberg-MacLane sace K(( Z ) Q, 4), so that φ is determined u to homotoy by secifying an element η ( Z ) Q. Every invertible element η ( Z ) Q gives rise to a sace X which is a delooing of the shere S 3. Not all of these choices are distinct (as an exercise, you can try to figure out when two choices of η give homotoy equivalent delooings), but this mixing construction nevertheless yields uncountably many grou structures on the homotoy tye S 3. 5
SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS
SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS In this section we will introduce two imortant classes of mas of saces, namely the Hurewicz fibrations and the more general Serre fibrations, which are both obtained
More informationδ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More informationSECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY
SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY In the revious section, we exloited the interlay between (relative) CW comlexes and fibrations to construct the Postnikov and Whitehead towers aroximating
More informationALGEBRAIC TOPOLOGY MASTERMATH (FALL 2014) Written exam, 21/01/2015, 3 hours Outline of solutions
ALGERAIC TOPOLOGY MASTERMATH FALL 014) Written exam, 1/01/015, 3 hours Outline of solutions Exercise 1. i) There are various definitions in the literature. ased on the discussion on. 5 of Lecture 3, as
More informationYounggi Choi and Seonhee Yoon
J. Korean Math. Soc. 39 (2002), No. 1,. 149 161 TORSION IN THE HOMOLOGY OF THE DOUBLE LOOP SPACES OF COMPACT SIMPLE LIE GROUPS Younggi Choi and Seonhee Yoon Abstract. We study the torsions in the integral
More informationWeil s Conjecture on Tamagawa Numbers (Lecture 1)
Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The
More informationMath 751 Lecture Notes Week 3
Math 751 Lecture Notes Week 3 Setember 25, 2014 1 Fundamental grou of a circle Theorem 1. Let φ : Z π 1 (S 1 ) be given by n [ω n ], where ω n : I S 1 R 2 is the loo ω n (s) = (cos(2πns), sin(2πns)). Then
More informationA review of the foundations of perfectoid spaces
A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview
More information3 Properties of Dedekind domains
18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following
More informationWilliam G. Dwyer Clarence W. Wilkerson
Maps of BZ/pZ to BG William G. Dwyer Clarence W. Wilkerson The purpose of this note is to give an elementary proof of a special case of the result of [Adams Lannes 2 Miller-Wilkerson] characterizing homotopy
More informationON FREIMAN S 2.4-THEOREM
ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationAn Overview of Witt Vectors
An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that
More informationTHE RATIONAL COHOMOLOGY OF A p-local COMPACT GROUP
THE RATIONAL COHOMOLOGY OF A -LOCAL COMPACT GROUP C. BROTO, R. LEVI, AND B. OLIVER Let be a rime number. In [BLO3], we develoed the theory of -local comact grous. The theory is modelled on the -local homotoy
More informationTopic 7: Using identity types
Toic 7: Using identity tyes June 10, 2014 Now we would like to learn how to use identity tyes and how to do some actual mathematics with them. By now we have essentially introduced all inference rules
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationLecture 2: Homotopical Algebra
Lecture 2: Homotoical Algebra Nicola Gambino School of Mathematics University of Leeds Young Set Theory Coenhagen June 13th, 2016 1 Homotoical algebra Motivation Axiomatic develoment of homotoy theory
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationLECTURE VI: THE HODGE-TATE AND CRYSTALLINE COMPARISON THEOREMS
LECTURE VI: THE HODGE-TATE AND CRYSTALLINE COMPARISON THEOREMS Last time, we formulated the following theorem (Theorem V.3.8). Theorem 0.1 (The Hodge-Tate comarison theorem). Let (A, (d)) be a bounded
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More informationAlgebraic Topology (topics course) Spring 2010 John E. Harper. Series 6
Algebraic Toology (toics course) Sring 2010 John E. Harer Series 6 Let R be a ring and denote by Ch + R (res. Mod R) the category of non-negative chain comlexes over R (res. the category of left R-modules).
More informationOn the Rank of the Elliptic Curve y 2 = x(x p)(x 2)
On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationGroup Theory Problems
Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationMATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE
MATH 20A, FALL 207 HW 5 SOLUTIONS WRITTEN BY DAN DORE (If you find any errors, lease email ddore@stanford.edu) Question. Let R = Z[t]/(t 2 ). Regard Z as an R-module by letting t act by the identity. Comute
More informationGalois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography
Galois reresentations on torsion oints of ellitic curves NATO ASI 04 Arithmetic of Hyerellitic Curves and Crytograhy Francesco Paalardi Ohrid, August 5 - Setember 5, 04 Lecture - Introduction Let /Q be
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More informationSome local (at p) properties of residual Galois representations
Some local (at ) roerties of residual Galois reresentations Johnson Jia, Krzysztof Klosin March 5, 2006 1 Preliminary results In this talk we are going to discuss some local roerties of (mod ) Galois reresentations
More informationThe Steenrod algebra
The Steenrod algebra Paul VanKoughnett January 25, 2016 References are the first few chapters of Mosher and Tangora, and if you can read French, Serre s Cohomologie modulo 2 des complexes d Eilenberg-MacLane
More informationFibration of Toposes PSSL 101, Leeds
Fibration of Tooses PSSL 101, Leeds Sina Hazratour sinahazratour@gmail.com Setember 2017 AUs AUs as finitary aroximation of Grothendieck tooses Pretooses 1 finite limits 2 stable finite disjoint coroducts
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationarxiv:math/ v4 [math.gn] 25 Nov 2006
arxiv:math/0607751v4 [math.gn] 25 Nov 2006 On the uniqueness of the coincidence index on orientable differentiable manifolds P. Christoher Staecker October 12, 2006 Abstract The fixed oint index of toological
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationA FORMULA FOR p-completion BY WAY OF THE SEGAL CONJECTURE
A FORMULA FOR -COMPLETION BY WAY OF THE SEGAL CONJECTURE SUNE PRECHT REEH, TOMER M. SCHLANK, AND NATHANIEL STAPLETON Abstract. The Segal conjecture describes stable mas between classifying saces in terms
More informationTheorems Geometry. Joshua Ruiter. April 8, 2018
Theorems Geometry Joshua Ruiter Aril 8, 2018 Aendix A: Toology Theorem 0.1. Let f : X Y be a continuous ma between toological saces. If K X is comact, then f(k) Y is comact. 1 Chater 1 Theorem 1.1 (Toological
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationPiotr Blass. Jerey Lang
Ulam Quarterly Volume 2, Number 1, 1993 Piotr Blass Deartment of Mathematics Palm Beach Atlantic College West Palm Beach, FL 33402 Joseh Blass Deartment of Mathematics Bowling Green State University Bowling
More informationApplications to stochastic PDE
15 Alications to stochastic PE In this final lecture we resent some alications of the theory develoed in this course to stochastic artial differential equations. We concentrate on two secific examles:
More informationFrobenius Elements, the Chebotarev Density Theorem, and Reciprocity
Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely
More informationLECTURE 6: FIBER BUNDLES
LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class o ibrations given by iber bundles. Fiber bundles lay an imortant role in many geometric contexts. For examle, the Grassmaniann
More informationMath 261 Exam 2. November 7, The use of notes and books is NOT allowed.
Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4
More informationSYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY
SYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY FEDERICA PASQUOTTO 1. Descrition of the roosed research 1.1. Introduction. Symlectic structures made their first aearance in
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationUNIVALENT UNIVERSES FOR ELEGANT MODELS OF HOMOTOPY TYPES. Denis-Charles Cisinski
UNIVALENT UNIVERSES FOR ELEGANT MODELS OF HOMOTOP TPES by Denis-Charles Cisinski Abstract. We construct a univalent universe in the sense of Voevodsky in some suitable model categories for homotoy tyes
More informationIntroduction to Group Theory Note 1
Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationMATH 6210: SOLUTIONS TO PROBLEM SET #3
MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form
More informationRECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS
RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS THOMAS POGUNTKE Abstract. Artin s recirocity law is a vast generalization of quadratic recirocity and contains a lot of information about
More informationThe Homotopic Uniqueness of BS 3
The Homotopic Uniqueness of BS 3 William G. Dwyer Haynes R. Miller Clarence W. Wilkerson 1 Introduction Let p be a fixed prime number, F p the field with p elements, and S 3 the unit sphere in R 4 considered
More informationTHE SLICE SPECTRAL SEQUENCE FOR RO(C p n)-graded SUSPENSIONS OF HZ I
THE SLICE SPECTRAL SEQUENCE FOR RO(C n)-graded SUSPENSIONS OF H I M. A. HILL, M. J. HOPKINS, AND D. C. RAVENEL WORK IN PROGRESS Contents. Introduction.. Names of reresentations 3.2. Reresentation Sheres
More informationStone Duality for Skew Boolean Algebras with Intersections
Stone Duality for Skew Boolean Algebras with Intersections Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Andrej.Bauer@andrej.com Karin Cvetko-Vah Faculty of Mathematics and Physics
More informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More informationMAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.
MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More informationAlmost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)
Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationComplex Analysis Homework 1
Comlex Analysis Homework 1 Steve Clanton Sarah Crimi January 27, 2009 Problem Claim. If two integers can be exressed as the sum of two squares, then so can their roduct. Proof. Call the two squares that
More informationClass Numbers and Iwasawa Invariants of Certain Totally Real Number Fields
Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More informationLecture 6. 2 Recurrence/transience, harmonic functions and martingales
Lecture 6 Classification of states We have shown that all states of an irreducible countable state Markov chain must of the same tye. This gives rise to the following classification. Definition. [Classification
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over
More informationUniform Law on the Unit Sphere of a Banach Space
Uniform Law on the Unit Shere of a Banach Sace by Bernard Beauzamy Société de Calcul Mathématique SA Faubourg Saint Honoré 75008 Paris France Setember 008 Abstract We investigate the construction of a
More informationQUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE)
QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE) HEE OH 1. Lecture 1:Introduction and Finite fields Let f be a olynomial with integer coefficients. One of the basic roblem is to understand if
More informationPOINTS ON CONICS MODULO p
POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More informationStatics and dynamics: some elementary concepts
1 Statics and dynamics: some elementary concets Dynamics is the study of the movement through time of variables such as heartbeat, temerature, secies oulation, voltage, roduction, emloyment, rices and
More informationA SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS
A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS ANDREW BAKER Abstract. Let > 3 be a rime. In the ring of modular forms with q-exansions defined over Z (), the Eisenstein function E +1 is shown to satisfy
More informationMATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction
MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied
More informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More informationTHE CHARACTER GROUP OF Q
THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied ointwise
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationMathematische Zeitschrift
Math Z (2013) 273:1025 1052 DOI 101007/s00209-012-1042-8 Mathematische Zeitschrift Higher algebraic K-grous and D-slit sequences Chang Chang Xi Received: 13 December 2011 / Acceted: 4 May 2012 / Published
More informationCHAPTER 5 TANGENT VECTORS
CHAPTER 5 TANGENT VECTORS In R n tangent vectors can be viewed from two ersectives (1) they cature the infinitesimal movement along a ath, the direction, and () they oerate on functions by directional
More informationGENERALIZED NON-ABELIAN RECIPROCITY LAWS: A CONTEXT FOR WILES S PROOF
GENERALIZED NON-ABELIAN RECIPROCITY LAWS: A CONTEXT FOR WILES S PROOF AVNER ASH AND ROBERT GROSS Abstract. In as elementary a way as ossible, we lace Wiles s roof of Fermat s Last Theorem into the context
More information16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes
Infinite Series 6.2 Introduction We extend the concet of a finite series, met in Section 6., to the situation in which the number of terms increase without bound. We define what is meant by an infinite
More informationOn the extension giving the truncated Witt vectors. Torgeir Skjøtskift January 5, 2015
On the extension giving the truncated Witt vectors Torgeir Skjøtskift January 5, 2015 Contents 1 Introduction 1 1.1 Why do we care?........................... 1 2 Cohomology of grous 3 2.1 Chain comlexes
More informationPolynomial Hopf algebras in Algebra & Topology
Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules
More information(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More informationJacobi symbols and application to primality
Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More informationTHE INVERSE GALOIS PROBLEM FOR ORTHOGONAL GROUPS DAVID ZYWINA
THE INVERSE GALOIS PROBLEM FOR ORTHOGONAL GROUPS DAVID ZYWINA ABSTRACT. We rove many new cases of the Inverse Galois Problem for those simle grous arising from orthogonal grous over finite fields. For
More informationε i (E j )=δj i = 0, if i j, form a basis for V, called the dual basis to (E i ). Therefore, dim V =dim V.
Covectors Definition. Let V be a finite-dimensional vector sace. A covector on V is real-valued linear functional on V, that is, a linear ma ω : V R. The sace of all covectors on V is itself a real vector
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationA construction of bent functions from plateaued functions
A construction of bent functions from lateaued functions Ayça Çeşmelioğlu, Wilfried Meidl Sabancı University, MDBF, Orhanlı, 34956 Tuzla, İstanbul, Turkey. Abstract In this resentation, a technique for
More informationSUSLIN S CONJECTURE ON THE REDUCED WHITEHEAD GROUP OF A SIMPLE ALGEBRA
SUSLIN S CONJECTURE ON THE REDUCED WHITEHEAD GROUP OF A SIMPLE ALGEBRA ALEXANDER MERKURJEV Abstract. In 1991, A. Suslin conjectured that if the index of a central simle algebra A is not square-free, then
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More informationA structure theorem for product sets in extra special groups
A structure theorem for roduct sets in extra secial grous Thang Pham Michael Tait Le Anh Vinh Robert Won arxiv:1704.07849v1 [math.nt] 25 Ar 2017 Abstract HegyváriandHennecartshowedthatifB isasufficientlylargebrickofaheisenberg
More informationarxiv: v1 [math.ag] 17 May 2017
LIFTING THE CARTIER TRANSFORM OF OGUS-VOLOGODSKY MODULO n arxiv:1705.06241v1 [math.ag] 17 May 2017 DAXIN XU Abstract. Let W be the ring of the Witt vectors of a erfect field of characteristic, X a smooth
More informationTHE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.
THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let
More informationA supersingular congruence for modular forms
ACTA ARITHMETICA LXXXVI.1 (1998) A suersingular congruence for modular forms by Andrew Baker (Glasgow) Introduction. In [6], Gross and Landweber roved the following suersingular congruence in the ring
More information