The primary goal of the book was to give a rather complete presentation of algebraic aspects of global class field theory, and the authors accomplished this goal spectacularly. Note on galois descent of a normal integral basis of acyclic extension of degree p ichimura, humio, proceedings of the japan academy. This definition is compatible with the preceding one, because by. Recall that a global field is either a finite extension of characteristic 0 or a field of rational functions on a projective curve over a field of characteristic i. The ray class field is the maximal abelian extension unramified outside the primes dividing the modulus and satisfying a particular ramification condition at the primes. Then we generalize the notions appearing in the proof to prove also the tamely ramified case relying on the unramified one.
Number theory 124 2007 4276 and, at this occasion, we bring into focus some classical. Then we are interested in when ker jl is divisible by ici. Local class field theory university of british columbia. One is an extension of perret s result about the ideal class group problem. Unramified extension and class field theory mathoverflow. In this talk we will use ideas from algebraic geometry to reformulate furtwanglers classical result. Class field theory more or less solves this problem for lk abelian. Definition 4 we say a langlands parameter is unramified if its trivial on the inertia group. Fsep of f, fabutf the maximal abelian subextension in futf, ff the. Class field theory publish your masters thesis, bachelors. A local field is either a finite extension of characteristic 0 or. Let cl, and cl, be the ideal class groups of f and k respectively. If the arithmetical invariants of k are known, in other words if class field theory over k is explicit, the situation for a finite extension l is a priori completely different, and one usually studies the corresponding invariants of l using several means.
Local class field theory is a theory of abelian extensions of socalled local fields, typical examples of which are the padic number fields. Class field theory describes the abelian extensions of a local or global field in. The main theorem of unramified class field theory, which states that the class group of the ring of integers of a number field, is canonically isomorphic to the galois group of the maximal totally unramified abelian extension of over, is generalized and proved for all infinite commutative rings with unit that, like rings of integers. First, as a special case of hiberts irreducibility theorm, we construct. It was also artins idea 11 to leave the abelian setting of class field theory and to consider the second hilbert p class field f ff2 11 p pp kk, that is the maximal unramified metabelian pextension of k, and its galois group. A global function eld is a nite extension of f pt for some prime p, or equivalently is the function eld of a geometrically integral curve over a nite eld f q called the constant eld, where qis. The maximal unramified extensions of the imaginary.
In part ii we study other types of unramified galois extensions of quadratic number fields. In part i we learn the new approach to higher dimensional cft based on the ideas of wiesend. Unramified class field theory of arithmetical surfaces by kazuya kato and shuji saito let x be a connected scheme of finite type over the ring z of rational integers and let gbx be the abelian fundamental group of x which classifies unramified abelian coverings of x. The theory that gives a description of all abelian extensions finite galois extensions having abelian galois groups of a field that belongs to one of the following types. History of class field theory 3 in addition to the construction of abelian extensions, kronecker set o another path to class eld theory in an 1880 paper on densities of primes and factorization of polynomials.
In the revised version, i positive characteristic case is included, ii the proof of base change is simplified, iii the construction of artin map is simplified, and strengthened so that we start with an arbitrary lubintate group. A note on unramified quadratic extensions over algebraic number fields ichimura, humio, proceedings of the japan academy, series a, mathematical sciences, 2000. Class field theory proofs and applications download. Class field theory, the study of abelian extensions of algebraic number fields, is one of the largest branches of algebraic number theory. Unramified abelian extensions of number fields robert j. When you sort it out in this context, you will find that. Historically, local class field theory branched off from global, or classical. This paper demonstrates that class field theory still has a role to play in the beautiful story of fermat. Pdf in this paper we prove global class field theory using a purely geometric result. We first write in detail delignes proof to the unramified case. Instead, he would have tried to find a good criterion for a cyclic extension of odd prime degree over an algebraic number field to be a congruence class field.
In this paper we extend the unramified class field theory for arithmetic surfaces of k. The ramification of infinite primes needs special care in this formulation. Relative ktheory and class field theory for arithmetic surfaces. Source class field theory its centenary and prospect, k. A character of the multiplicative group of a local field that is trivial on the group of units of is also called unramified. Class field theory gives a description of this everywhere unramified abelian extension in terms of class groupsideles. By local class field theory, and the inertia group maps to the units, hence an unramified character corresponds to a langlands parameter which is trivial on the inertia group.
Mathematical society of japan, 2001, 307 312 hodge cycles and unramified class fields hiromichi yanai. According to the class field theory, the ideal class group of a number field is closely related to the maximal unramified abelian extension of the field. Hence a compositum of unramified extensions is unramified. The theory had its origins in the proof of quadratic reciprocity by gauss at the end of 18th century. It brings together the quadratic and higher reciprocity laws of gauss, legendre, and others, and vastly generalizes them. A brief summary of the main statements of class field theory. For a polynomial fx 2zx, kronecker considered the number n pof roots of fx mod p in f p as pvaries. Syl clis an algebraic number field with pclass group. Notes on class field theory notes from a onesemester course on class field theory uc berkeley, spring 2002. The narrow hilbert class field of k is the maximal abelian extension of k unramified away from the infinite places. From a different perspective, it describes the local components of the global artin map. This paper introduces basic theorems of class field theory and. Let x be a regular proper arithmetic surface and let y be the support of divisor on x. The unramified characters form a subgroup of the group of all characters.
Infact, bun gis equidimensional of pure dimension g 1dimg for g1, and the group of connected components. Class field theory makes sense for arbitrary number fields, but for simplicity in this section and because it is all that is needed for our application to the bsd conjecture, we assume henceforth that is a totally imaginary number field, i. The ray class field is the maximal abelian extension unramified outside the primes dividing the modulus and satisfying a particular ramification condition at the primes dividing the modulus. Feb 08, 2010 unique factorization into primes, hence understanding the unit group and class group of the ring of integers of kwell. Distribution of galois groups of maximal unramified 2extensions over imaginary quadratic fields volume 237 sosuke sasaki. We pass to the field extension f of fgenerated by all ppower roots of unity. The generalization took place as a longterm historical project, involving quadratic forms and their genus theory, work of ernst kummer and leopold kroneckerkurt hensel on ideals and completions, the theory of cyclotomic and kummer extensions. Class field theory, second edition ams chelsea publishing. Intuitively, the hilbert class field of a number field k is the maximal unramified extension. Bond department of mathematics, boston college, chestnut hill, massachusetts 02167 communicated by o. Class field theory of websites universiteit leiden. Our class field theory for curves over local fields corresponds to the case n 1 and dim x 1, and one of the most notable differences of the theory for n 2 1 from that for n 0 is the existence of nontrivial etale coverings of x in which all closed point split completely.
What i can find in my literature is just the correspondence between unramified extensions and norm groups. To analyse a f, the pprimary component of the minus part of the ideal class group of f, we use iwasawa theory. Eventually fn is an abelian unramified extension of q, so fn q since q. Hilbert conjectured in 1902 and furtwangler proved four years later that the maximal unramified abelian extension of a number field is isomorphic to the class group of the number field.
The multiplicative group of a \\mathfrakp\adic number field 4. Geometry of bun g and hecke eigensheaves the gbundles bun g on xform a smooth algebraic stack locally of nite type cf. Nonabelian class field theory and fundamental groups. Unramified extensions and totally ramified extensions 36. We shall prove that the maximal unramified extension of k is k 1 or k 2, where k 1 is the hilbert class field of k and k 2 is that of k 1. Click download or read online button to get class field theory proofs and applications book now. Unramified abelian extensions of number fields sciencedirect. Course notes and supplementary material pdf format. Jossey, galois 2extensions unramified outside 2, j. Ga22 m pp k kk, the socalled second pclass group of k 5 6. We construct adelic objects for rank two integral structures on arithmetic surfaces and develop measure and integration theory, as well as elements of harmonic analysis. The hilbert class field is then the ray class field with respect to the trivial modulus 1. It was also artins idea 11 to leave the abelian setting of class field theory and to consider the second hilbert pclass field f ff2 11 p pp kk, that is the maximal unramified metabelian pextension of k, and its galois group. We give a novel proof of the selfduality, by showing that any family of multiplicative line bundles on.
Unramified class field theory of arithmetical schemes. On a rigidity of some modular galois deformations shimada, yuichi, kodai mathematical journal, 2019. Let fut be the maximal unramified extension of f in the fixed separable closure. We prove a generalized albanese property for the picard stack of a smooth projective curve, which in particular implies delignes unramified geometric class field theory. If lk is an abelian extension of number fields and p is unramified in lk. Instead, he would have tried to find a good criterion for a cyclic extension of odd prime degree over an algebraic number field to be a. This site is like a library, use search box in the widget to get ebook that you want. Class field theory is the description of abelian extensions of global fields and local. This classic book, originally published in 1968, is based on notes of a yearlong seminar the authors ran at princeton university. Main theorems throughout the present paper, we fix a prime number p and a finite field \mathrmf of characteristic p. On local class field theory we have the survey by hochschild 43 also see samuels report 94 on hochschilds results. This is a graduated student seminar on higher dimensional class field theory held in harvard. Thus local class field theory says that there is an isomorphism. A concise general reference about kummer theory of elds is birchs.
Unramified class field theory over function fields in. For a ring a, the group glma will be the grothendieck group of the. Unramified class field theory of arithmetical surfaces created date. Journal of number theory 30, 110 1988 unramified abelian extensions of number fields robert j. In mathematics, class field theory is the branch of algebraic number theory concerned with the abelian extensions of number fields, global fields of positive characteristic, and local fields. Local class field theory is a theory of abelian extensions of socalled local fields. In class field theory, one studies the ray class field with respect to a given modulus, which is a formal product of prime ideals including, possibly, archimedean ones. That approach was dramatically surpassed by the ideas of frey, serre, ribet and wiles. This is a oneyear course on class field theory one huge piece of intellectual work in the 20th century.
The origins of class field theory lie in the quadratic reciprocity law proved by gauss. Unramified class field theory of arithmetical surfaces. By class field theory, k corresponds to a subgroup h of cl. Apr 29, 2002 in this paper we extend the unramified class field theory for arithmetic surfaces of k. Unramified class field theory 255 the given section of f gives rise to a splitting of the map h, so that the map g is surjective. We remark that class field theory, and theory of cyclotomic fields, was once considered the key to fermats last theorem. Taussky todd received july 29, 1985 let k be an unramified abelian extension of a number field f with galois group g. Class field theory, diophantine analysis and the asymptotic. Let k be an imaginary quadratic number field with class number two. Class field theory and algebraic ktheory springerlink. You should have a vague understanding of the use of complex multiplication to generate abelian extensions of imaginary quadratic fields first, in order. Ga22 m pp k kk, the socalled second p class group of k 5 6. We first write in detail delignes proof to the unramified case of class field theory, including defining the required objects for the proof.
Construction of unramified extensions with a prescribed galois group kim, kwangseob, osaka journal of mathematics, 2015 a cup product in the galois cohomology of number fields mccallum, william g. Relative ktheory and class field theory for arithmetic. First to give a detailed treatment of unramified geometric abelian class field theory concentrating on delignes geometric proof in order to remedy the unfortunate situation that the literature on this topic is very deficient, partial and sketchy written1. We give a selfcontained proof of local class field theory, via lubintate theory and the hassearf theorem, refining the arguments of iwasawas book. Unramified geometric class field theory and cartier. This paper corrects and generalizes my paper relative k theory and class field theory for arithmetic surfaces math. Ams transactions of the american mathematical society. Recall that the hilbert class field is the largest abelian everywhere unramified extension of k. When the nth roots of unity are not in k, the situation is much more complicated, and is answered by class field theory. Seminar on higher dimensional class field theory fall 2014 wednesdays 67. This albanese property also specializes to the cartier selfduality of the picard stack and is in fact equivalent to it. A global function eld is a nite extension of f pt for some prime p, or equivalently is the function eld of a geometrically integral curve over a nite eld f q called the constant eld, where qis a power of some prime p. Keywords hilbert pclass field tower, maximal unramified prop extension, pcapitulation of class groups, real quadratic fields 3, 3 1.
762 583 350 1076 400 763 951 15 837 1646 1185 1438 806 863 332 1221 1638 724 712 330 193 738 23 1115 393 651 265 45 958 923 872 674 1503 1134 426 275 1202 237 113 928 1473 982 110 601 285