arxiv: v2 [math.nt] 10 Aug 2016

Transcription

1 Cohen-Lenstra Moments for Some Nonabelian Grous arxiv: v2 [math.nt] 10 Aug 2016 Branon Alberts May 14, 2018 Abstract Cohen an Lenstra etaile a heuristic for the istribution of o -class grous for imaginary quaratic fiels. One such formulation of this istribution is that the execte number of surjections from the class grou of an imaginary quaratic fiel k to a fixe o abelian grou is 1. Class fiel theory tells us that the class grou is also the Galois grou of the Hilbert class fiel, the maximal unramifie abelian extension of k, so we coul equivalently say the execte number of unramifie G-extensions of k is 1/#AutG for a fixe abelian grou G. We generalize this to asking for the execte number of unramifie G-extensions Galois over Q for a fixe finite grou G, with no restrictions lace on G. We review cases where the answer is known or conjecture by Boston-Woo, Boston-Bush-Hajir, an Bhargava, then answer this question in several new cases. In articular, we show when the execte number is zero an give a notrivial family of grous realizing this. Aitionally, we rove the execte number for the quaternion grou Q 8 an iheral grou D 4 of orer 8 is infinite. Lastly, we iscuss the secial case of grous generate by elements of orer 2 an give an argument for an infinite execte number base on Malle s conjecture. 1 Introuction The urose of this aer is to fin Cohen-Lenstra moments for nonabelian grous. Recall the original heuristic rose in [CL]: the set of finite o abelian -grous has a robability istribution given by the robability of A is roortional to 1/#AutA. Cohen an Lenstra resente evience that unramifie A-extensions over imaginary quaratic fiels orere by iscriminant where istribute in the same way. So far only the C 3 case of this heuristic has been exlicitely roven. They rovie similar evience for a robability roortional to 1/#A#AutA over real quaratic fiels. There is not a clear choice for a robability istribution on finite nonabelian grous. [BBH] an [BW] rovie evience for a articular istribution on nonabelian -grous which oes not generalize easily. We instea look to the equivalent moments version of Cohen- Lenstra heuristics. Define D ± X = {k quaratic fiel : 0 ± k X}. The execte number of unramifie G-extensions over real/imaginary quaratic fiels is given by E ± G := lim X k D ± X #{K/k unramifie with Galois grou G, Galois over Q} k D ± X 1 1

2 Given an o finite abelian grou A, the moments version of Cohen-Lenstra heuristics claims E + 1 A = #A#AutA E 1 A = #AutA For an arbitrary grou G, even if the grou is restricte to be o orer, the above oes not necessarily hol [BBH][BW][Bh]. Melanie Matchett Woo iscusses a generalize conjecture of this form [W]. She conjectures that E ± G shoul be infinite whenever there is more than one conjugacy class of elements of orer two in G C 2 G, with the semiirect rouct given by the action of an inertia grou in k, an finite otherwise. The over arching goal of this aer is to etermine E ± in several nonabelian cases, confirming Woo s conjecture in those cases. In the first section, we iscuss necessary roerties for a grou G to have on orer for E ± G to be nonzero. Namely that G must have a articular extension refere to as a GI-extension. [HM] then can be use to conclue that almost all nonabelian -grous have E ± G = 0. In the following section, we then etermine the number of GI-extensions for the grou of affine transformations {x ax+b : a,b F q with a = 1}. Notable, infinitely many of these grous have no GI-extensions an so also have E ± G = 0. Extening work of Lemmermeyer [L], in the fourth section we consier the quaternion grou Q 8 = i,j,k : i 2 = j 2 = k 2 = ijk = 1 an the iheral grou D 4 = C 4 C 2. For both grous, we use analytic methos to show E ± G =. Lastly, we aress the case of so calle trivial GI-extensions. Namely, when we imose the aitional conition that GalK/Q = G C 2. When this occurs, we show that we can byass the questionable arts of Malle s conjecture to rovie excetionally strong evience that E ± G =. 2 GI-extensions Given an unramifie extension K/Q D normal over Q, GalK/Q is generate by its inertia subgrous, all of which necessarily have orer 1 or 2 an are not containe in GalK/Q D. This motivate Boston to make the following efinition [Bo]: Definition 2.1. Given G G of inex 2, we say G is a GI-extension of G if it is generate by involutions not containe in G. HeretheGIcanbetakentostanfor GeneratebyInvolutions. Wehaveanequivalent formulation of this efinition which can be easily shown: Lemma 2.1. G is a GI-extension of G iff G = G C 2 where C 2 acts on G by an automorhism σ AutG such that G is generate by{g G : g σ = g 1 } We now notice that GI can coincientally be taken to stan for Generator Inverting. As such, we call any σ satisfying the above conition to be a GI-automorhism of G. Consequently we have [Bo]: Corollary 2.1. The corresonence above is a bijection between GI-extensions of G an {C OutG : C is a conjugacy class containing the coset of a GI-automorhism σ of G} Consier the following examles, the roofs of which are simle exercises: 2

3 Lemma If A is an abelian grou, then A has a unique GI-extension given by the automorhism σa = a. 2. G C 2 is a GI-extension of G iff G is generate by elements of orer S n is a GI-extension of A n. Corollary 2.2. There exist grous G with more than one non-isomorhic GI-extensions This follows from oints 2 an 3 in the above lemma, A n being generate by elements of orer 2 for n 5 an S n = An C 2. In generalizing Cohen-Lenstra heuristics to nonabelian grous, it is then more useful to ivie our cases base on the isomorhism class of the air GalK/Q D, GalK/Q to account for the ifferences in action. Consier the following generalization mae by Bhargava [Bh]: we fin the execte number of times the air G,G occurs as GalK/Q D, where G is a GI-extension of G. Define: E ± G,G := lim X k D ± X #{K/k unramifie with Galois grou G, GalK/Q = G } k D ± X Note that this oes not alter Cohen-Lenstra for abelian grous, as all abelian grous have a unique GI-extension. When exresse in this form, Bhargava rove the following for n = 3,4,5: E ± S n,s n C 2 = 1 E + A n,s n = 1 n! E 1 A n,s n = 2n 2! In general, one clearly has E ± G = G E ± G,G equating the questions. Corollary 2.3. For rimes 2, almost all finite -grous G o not have a GI-extension. In articular, E ± G = 0. This follows immeiately from [HM] stating that almost all -grous have their automorhism grou also a -grou: a GI-automorhism necessarily has orer iviing 2, so for 2 almost all -grous have at most one such automorhism, the ientity. This is a GI-automorhism iff the grou is generate by elements of orer 2, which is not the case for 2. In the next section we resent another family of grous without GI-extensions. 3 A family of grous without GI-extensions Definition 3.1. Let q = n be a rime ower an q 1, then efine Gq, = {x ax+b : a,b F q with a = 1}. Equivalently, Gq, = C n C where C n is the aitive grou of F q, an C F q acts on it by multilication. In articular, the action of Gq, on F + q makes it a Frobenius grou [Rotman. 252]: 3

4 Definition 3.2. A grou G is a Frobenius grou if there is an action of G on some set X such that every nonientity element has at most one fixe oint. Then the collection of elements with no fixe oints together with the ientity form a normal subgrou calle the Frobenius kernel K an G/K = H is calle the Frobenius comlement. G = K H. In the case of Gq,, K = C n an H = C. Let G = K φ H be an arbitrary Frobenius grou with kernel K an comlement H [R. 253] where φ : H AutK gives the action. Define π K : G H to be the quotient ma. Lemma 3.1. K G is characteristic an #H #K 1. Lemma 3.2. Ientitfy H with a subgrou of G by the isomorhism G = K H. Suose α AutG with αh = α 1 hα 2 h where α 1 h K an α 2 h H. Then the comosition α 1 α2 1 : H K is a crosse homomorhism an α 2 AutH. The roofs of these are a simle exercise in semiirect roucts an facts about Frobenius grous. Theorem 3.3. Suose σ AutK an γ AutH, then there exists an α AutG with α K = σ an π K α H = γ iff φh σ φγh 1 InnK for every h H. Proof. Knowing that π K α H = γ, write αh = α 1 hγh for some α 1 h K. Then it follows σφhk = α α1hφγhσk where α k AutK is conjugation by k K. Solving for α α1h conclues this irection. We have the following ma containe in Z 1 H,InnK the grou of 1-cocycles uner the action h.α k = α φγh k : ϕh = φh σ φγh 1 φγh 1 Thequotientmaq : K InnKinucesanisomorhismoncohomologyq : H 1 φγ H,K H 1 H,InnK, noting gc#h,#zk = 1. Choose a reresentative δ of q 1 ϕ. By construction we see α δh ϕh = φγh 1 φh σ, i.e. there exists an k K/ZK = InnK such that α k α δh = φγh 1 φh σ α φγhk. WLOG relace δh by k 1 δh[φγhk] easily checke to also be a crosse homomorhism so that we have equality. Then efine βh = φγhδh so that α βh = α δh φγh = φh σ φγh 1. Rearranging we see σφhk = [φγhσk] βh. Define α : G G by αkh = σkβhγh. The relationshis roven above show α is a homomorhism, σ, γ bijective show α is an automorhism. By examining the case when InnK = 1, we get a semiirect rouct ientical to the one resent in HolK, i.e. Corollary 3.1. If K is abelian, then AutG = K N AutK φh HolK. Coming back to Gq,, we then necessarily have AutGq, embes in HolC n. In articular we can hrase this in terms of matrices: 4

5 Lemma 3.4. Let x F q be a rimitive element of orer. x acts on F + q = C n by multilication bijectively, so ientify x with its matrix X GL n F = AutC. n Then { } HolC n A b = GL 0 1 n+1 F : A GL n F,b C n { } Gq, X k = b GL 0 1 n+1 F : 0 k <,b C n Are grous of block uer triangular matrices, with an n n an a 1 1 block on the iagonal. Alying the efinition of GI-automorhism to matrix oerations then gives the following: Lemma 3.5. Gq, has a GI-automorhism T 0 a 1 iff Gq, is generate by elements of the form with TX kt = X k an TX k a+tb+a = X k b. X k b 0 1 We conclue this section with a comlete classification of GI-extensions of members of this family, first searating out those without a GI-extension an then counting the number of GI-extensions for the remaining grous. Theorem 3.6. Gq, has a GI-automorhism iff l such that l 1 mo. Proof. We then necessarily have TX kt = X k. T acts by conjugation on the image of F x F q embee in GL n F {0}, so without loss of generality T acts on F x. Conjugation of matrices is a ring automorhism, so T acts on F x by some ower of Frobenius φ. Thus x 1 = x T = φl x for some l, so that l 1 mo. 2 [F x : F ] by the theory of cyclotomic fiels. Let α be the involuting automorhism of F x, an T the corresoning matrix in GL F. If has orer g moulo then α = φ g/2, in articular noting αx = x g/2 = x 1. First case, suose F q = F x. Consier the matrix T acting on Gq, by conjugation. It suffices to show by lemma 3.5 that Gq, is generate by elements of the form X k b suchthat TX k 0 1 T = X k an Tb = X k b. Thefirst equalityhols byconsturction. The secon hols for b = 0 an b = x k 1. These elements generate the following: X k X k 1 X k 0 1 X k = To show that these matrices, with X k 0, generate Gq, it suffices to show x k sans F x. But notice = 1 k=1 xk 1 an gc, = 1. Thus F is in the san, an consequently so is x k for any k. For the case where [F q : F x ] > 1, let r = [F x : F ] an T as above. Exten a basis {v i } of F q /F x by a basis {w j } of F x /F to a basis {v i w j } of F q /F orere lexicograhically. Define T GL n F to be a block iagonal matrix with T s along the iagonal an consier T equation in lemma 3.5 whenever first case.. It then follows all elements of the form X k b 0 1 X k bvi 0 1 satisfy the oes in the first case, an so generates F q by the 5

6 Theorem 3.7. Gq, has at most one GI-extension. Retain all notation from the revious theorem Proof. It suffices to count GI-automorhisms u to inner automorhism an conjugation. We know that AutGq, = C n N AutC n C HolC n. Fix a basis for F q/f {w j v i } as in the revious theorem, where {v i } is a basis for F q /F x an {w j } is a basis for F x /F. Then automorhisms of Gq, are reresente by matrices T 0 a 1 with a F q an T N GLnF C. Notice how any matrix S NC must satisfy Sxy = SxSy for any x F x an y F q. Thus S Fx AutF x i.e. is some ower of Frobenius φ m. Define P S to be the linear ma sening w j v i w j Sv i. Then SP 1 S is the block iagonal matrix with blocks given by fixing i in the basis {w j v i } as φ m. Note that P S is an F x -linear ma, showing that NC = AC BC where AC = GalF x /F is the grou of blockiagonalowersoffrobenius an BC = GLF q /F [x ] is the grouoff [x ]-linear mas. As a matter of fact, BC is a normal subgrou giving NC = BC AC where elements of AC act on BC by alying the corresoning ower of Frobenius to the coorinates of a matrix in AC. Defining an showing BC is a normal subgrou can of course be one basis free. Choosing a section for the semiirect rouct is then equivalent to the choice of basis {v i }. U to inner automorhism, notice that any automorhism T 0 a 1 = T I T 1 a 0 1 So it suffices to consier automorhisms where a = 0. Given a GI-automorhism σ = T 0 a 1, we must have T φl mo BC where l 1 mo. U to inner automorhism we have T efine uto X k. Thus, uto conjugation we have SX kts 1 = X m k STS 1 where S φ m mo BC showing these two relations commute as is invertible mo. It then suffices to count equivalence classes of GIautomorhisms uner the comosite relation. Now consier the set M T = { b : k s.t. X k b 0 1 } is inverte by σ If T comes from a GI-automorhism this must contain an F q /F x basis, in other wors there exists a basis such that T = Bφ l uner the semirouct ecomosition given above with B iagonalizable with eigenvalues x k for some values of k. Instea of choose a basis, this is equivalent to choosing a change of basis matrix P, such that T ecomoses into T = BP φl P 1 Pφ l P 1 where BP φl P 1 is iagonalizable with eigenvalues x k for some values of k. Here, Sφ l S 1 is the block iagonal Frobenius ma in the new basis. So, in orer to classify σ uto inner automorhism an uto conjugation it suffices to count equivalence classes of the sequence {k i } of eigenvalue exonents of B uto the following relations: 6

7 k i k i +λ mo for all i, given by inner automorhisms k i m k i mo for all i, given by conjugation Changing B to BP φl P 1, by ifferent choice of basis The first two relations are clear from comutation, an easy to work with. As for the last relation, a generalization of Hilbert s Theorem 90 [S, ] shows that every matrix U with U φl = U 1 is of the form P φl P 1. Suose B has eigenvalues x ki with a corresoning basis of eigenvectors v i. Then efine U to be the matrix such that Uv i = x mi v i. Clearly, U φl = U 1, so there is a change of basis matrix P such that T = BUPφ l P 1, an BU is a matrix with eigenvalues x ki+mi by construction. Thus u to equivalence there is only one such sequence {k i }, imlying there is exactly one GI-extension. 4 Unramifie Quaternion Extensions The goal of this section is to take the classification of unramifie Q 8 an D 4 extensions [L] of quaratic extensions of Q given by Lemmermeyer an convert it into an asymtotic execte number of such extensions as the iscriminant goes to. Recall Lemmermeyer s main result: Proosition 4.1. Let k be a quaratic number fiel with iscriminant. If there exists an unramifie extenion M/k with GalM/k = Q 8 which is normal over Q, then a GalM/Q D 4 Z C 4, b there is a factorization = into three iscriminants, at most one of which is negative, c for all rimes i i we have = = = +1. D 4 Z C 4 is given by the irect rouct of D 4 an C 4 then ientifying the center ZD 4 with the C 2 C 4. The factorization given in b is calle a Q 8 -factorization. Combining Lemermeyer s roositions 5 an 6, we conclue that each extension is given by Q 1, 2, 3, µ where the µ can vary by any multile of δ. After removing reunancies, we see that for each factorization there are exactly 2 ω1 1 2 ω2 1 2 ω3 1 such extensions for i 4 mo 8, recalling that ωn = the number of rime ivisors of n. Otherwise, relace ω i with ω i 1. We will rove E ± Q 8 =. We will be using ± as the iscriminant of our imaginary quaratic fiel so we can kee, i > 0. A factorization = is a Q 8 -factorization if the following equals 1 an equals 0 otherwise: ω ± ± Where, without loss of generality, 1 is the negative iscriminant if we nee one an k = Q ± is quaratic. We can show that the number of unramifie Q 8 extensions of an imaginary quaratic number fiel k with iscriminant ± is given by 7

8 a ± = 1 δ 2ω ω = ± ± Where the sum is over iscriminant factorizations ± = ± With a slight moification for i 4 mo 8. δ accounts for symmetry in the factorization, an is equal to 2 if ± < 0 an 6 if ± > 0. This is all a rehrasing of the conitions given in Lemmermeyer s aer for a Q 8 -factorization. Let us consier a articular family of iscriminants an factorizations, where 1, 2 are fixe an 3 = m varies over real quaratic iscriminants. From here on an q will always enote rimes, an let us concentrate only on o values of. a ±,1, 2 = 1 ±1 m 2 m ± δ q 1 2 q m = 1 ±1 m 2 m ± δ a b q a 1 b 2 Our goal is to fin the asymtotic behavior of the squence <X a ±, 1, 2 as varies. The following two lemmas are a simle exercise in analytic number theory: Lemma 4.1. Let D ± s, 1, 2 = 1 2 isc a ±, 1, 2 s. Then D ± s, 1, 2 = 1 2 s 1 8δ is holomorhic for Res > 1. a 1 b 2 q m q m, q 1 =1,sqf 2 2 ωm ±1 m a 2 m b 1+χ 4 mm s The terms outsie the summations are holomorhic, an so may essentially be ignore when etermining asymtotics. We will eal with each summan on the right as follows: Definition 4.1. Given a Dirichlet character χ, efine M n ± s,χ = 2 ωm χmm s q m q n=±1,sqf This is efine so that we have the following: Lemma 4.2. D ± s, 1, 2 = 1 2 s 1 ±1 8δ a a 1 b 2 2 M +12 s, b ab So when searching for oles of Ds, 1, 2 as one oes when roving asymtotics for coefficients of a Dirichlet series, it suffices to unerstan the oles an resiues of M + n s,χ for various quaratic characters χ. Lemma 4.3. M n ± s,χ satisfyies the following roerties: 8

9 It is holomorhic for Res > 1 M n ± s,χ = 1+2χqq s q n=±1 M + n s,χm n s,χ = q n M+ n s,χ M n s,χ = M n s,χ M + n s,χ = 1+2χqq s 1 q n= 11 4χ 2 qq 2s 1 q q n=11 4χ 2 qq 2s 1 q m=sqf 2 ωm χmm s q 1+2χq nq s q 1 2χq nq s The roofs of these are clear by comutation of their Euler roucts. We will show that M ± n is both zero an ole free on some omain containing Res 1 with a ossible excetion at s = 1, but first we must rove the following lemma: Lemma 4.4. Consier the series given by Euler rouct 1+aχ s for a a nonzero integer. This series is meromorhic on the zero-free region of Ls,χ, whose only ole or zero is s = 1 of orer a if χ = 1. It is holomorhic otherwise. Proof. 1+aχ s = 1+ a k=1 a k aχ a k+1 k+1s + a k=2 1 sgnaχ s a a k aχ a k ks whichisachievebymultilyingtoanbottomby1 sgnaχ s a. Inarticular, the numerator has no term which is linear in s. Thus a comutation with natural logs shows the numerator is holomorhic on Res > 1 2.Call this function Gs. We then have 1+aχ s { GsLs,χ a a > 0 = a Gs Ls,χ L2s,χ a < 0 2 The result is clear from this ecomostion. Proosition 4.2. M n ± s,χ is meromorhic on the intersection of the zero-free regions of Ls,χ an L s,χ n, whose only ole is at s = 1 of orer ±1 iff χ or χ n is trivial, 9

10 an holomorhic otherwise. Moreover, 2 Res s=1 M n + s,1 = ± n 1 1 n 1 Res s=1 M + n 1+2q 1 1 q n s, = ± n q n= 1 q n= q 2 1 L 1, n 1 4q 2 1 L 1, n 2 n 1 1 n 1 Proof. Using the revious lemma, we can conclue that both M+ n s,χ an M Mn n s,χ are s,χ M n + s,χ meromorhic on the zero-free region of L s,χ n, whose only ole lies at s = 1 of orer 2 an 2 resectivelyiff χ n = 1, an holomorhic otherwise. As in the revious lemma, we let Gs = 1+2χ n s 1 χ n s 2 holomorhic on Res > 1 2. Moreover, because of our knowlege of the recirocal, we know Gs is zero-free on this region an we have the following: M n + s,χ Mn s,χ = Gs q n= χ 2 qq 2s 1 L s,χ n We hanle the recirocal similarly, imlying all the comonents are holomorhic an zerofree excet ossibly the L-function. In aition, we can also use the revious lemma to show M n + s,χm n s,χ is meromorhic on the zero-free region of Ls,χ with a ole of orer 2 iff χ = 1, an holomorhic otherwise. Let Fs = 1+2χ s 1 χ 2 2, similarly shown to be holomorhic an zero-free on the region in question, showing that M + n s,χm n s,χ = Fs q n 1+2χqq s 1 Ls,χ 2 where each comonent is holomorhic an zero-free on the region in question excet ossibly the L-function. Multilying these two together gives: M + n s,χ2 = GsFs q n 1+2χqq s 1 q n= χ 2 qq 2s 1 Ls,χ 2 L s,χ n which is meromorhic in the intersection of the zero-free regions of Ls,χ an L s,χ n, whose only ole comes from one of the L-functions. In articular, since every comonent is 10

11 zero-free on this region save a ossible ole, we take a branch cut along the negative real axis an square root both sies of this equation. This shows that M n + s,χ = ± GsFs 1+2χqq s 1 1 4χ 2 qq 2s 1 Ls,χL s,χ n q n q n= 1 where the ± eens on the root chosen for the other functions. This is meromorhic on the region in question, whose only ossible ole is at s = 1 coming from an L-function. Calculation of the resiues is then straight forwar. Going back to the series in question, we can conclue the following: Corollary 4.1. D ± s, 1, 2 is meromorhic on a finite intersection of zero-free regions of L-functions, whose only ole is a simle one at s = 1 of resiue ± , 8δ L 1+2q q q 1 2 = 1 1 4q 2 1 The roof of this is straightforwar. The resiues only come from two of the terms in the sum exressing D ± s, 1, 2, so we can choose our roots in such a way that the ± can factor out. This being a simle ole is a consequence of the resiue being nonzero. Most of it was conclue nonzero in the receing roof, an the remaining bits are trivially nonzero. ThestanaruseofaTauberiantheoremshowsthat <X a ±, 1, 2 Res s=1 D ± s, 1, 2 X. Note, however, that this is a sum of all ositive terms, so the resiue itself must be ositive. We can make the following bouns: = q 1 2 = q 1 2 = 1 1 4q q 2 1 For sufficiently large. A constant ineenent of 1, 2. For small, it is trivial to boun the absolutevalue ofthe factorsineenent of 1, 2. Noting the nee foreverything to be ositive, we may also boun the following comonent: 11

12 q q q ω12 = 1 2 which is also a constant ineenent of 1, 2. So we can conclue: Lemma 4.5. There exists a constant c ineenent of 1, 2 such that L 1, 1 2 Res s=1 D ± s, 1, 2 c 1 2 Corollary 4.2. E ± Q 8 = Proof. We onlynee a lowerboun on the execte number to be infinite, so let us only consieroiscriminants. Byefinition, thisexectenumberisequalto <X 1, 2 a ±,1, 2. Then we have the following: E ± 1 Q 8 = lim X X X 1, 2<N c 4 1, 2<N <N <X 1 2 lim L c 1, L 1, 1 X <X a ±,1, a ±,1, 2 For some integer N > 0 where the sum is over iscriminants. Obviously this is a very weak lower boun, given all the information we have roe, but it is sufficient. Taking N gives an infinite lower boun, a result ue to [GH]. Lemmermeyer gives a similar classification of unramifie extensions with Galois grou D 4, an the roof in the section can be moifie to show that: Corollary 4.3. E ± G = E ± G,G = for G = Q 8 an D 4 an their unique GIextensions. Proof. Lemermeyer roves similar results for unramifie D 4 -extensions of quaratic fiels. D 4 has a unique GI-extension D 4 C 2, an there exist 3 i=1 2ω i 1 unramifie D 2 ω i 4 - extensions of k = Q whenever 1 2 = 2 1 = 1 for every i i. We trace though the same stes in this section, efining a ±, 1, 2 to be the number of such extensions with 12

13 ±, 1, 2 fixe an D ± s, 1, 2 = a 1, 2 ±, 1, 2 s. We fin, in the same vein of lemma 4.2, that for some integer 0 δ 6 to account for ermutations, D ± s, 1, 2 = 1 2 s 1 ±1 2 1+χ 4 mm s 8δ b a a 1 b 2 Whichtriviallyhasonesimleoleats = 1withresiue ±1 2 8δ a 1 b 2 b a. Consier the airs 1, 2 with 1 a fixe o rime an 2 = 1 4x+1 > 0 for any integer x which also makes 2 rime. Thus ±1 2 a 1 b 2 b a = 4 by a simle exercise in quaratic recirocity. It then follows: E ± D 4 1, 2 Res s=1 Ds, 1, 2 2= 14x=1 rime = 1 1 2δ = by Dirichlet s theorem on arithmetic rogressions. 5 Trivial GI-extensions 2= 14x+1 rime m sqf δ 2 1 In one case, we can say something in more generality, an that is when the grou G is generate by elements of orer 2. In this case it has a trivial GI-extension given by G C 2. Any unramifie extension of a quaratic fiel corresoning to this GI-extension is then a comositum of the quaratic fiel an some fiel over Galois grou G whose inertia grous are all cyclic of orer 1 or 2. How much room oes this extra freeom give us? Lemma 5.1. Suose we alreay have K/Q with Galois grou G such that KQ /Q is unramifie. Then there are asymtotically 27 4 π2x if is o 3 π 2X if = 2t is even with o unramifie G-extensions of quaratic fiels with Galois grou G C 2 over Q which is the comositum of K with a quaratic fiel. Proof. Suose we have a number fiel K/Q with Galois grou G an a quaratic iscriminant such that L = KQ is unramifie over Q. For any quaratic iscriminant a corime to with Q a K we have the following fiel iagram: 13

14 L a C 2 G C 2 KQ a Q a, L G C 2 C 2 G C 2 Q a Q K G C 2 C 2 where every extension is clearly Galois, normal over Q, an the comosite extensions are cross roucts. By assumtion, L/Q is unramifie, which imlies L a/q a, is unramifie. Genus theory imlies Q a, /Q a is unramifie. Putting those two together gives L a/q a unramifie. In articular, the subextension KQ a/q a is unramifie with Galois grou G. As a consequence, given such a K an o, this construction gives asymtotically 27 4 π 2 X unramifie extensions M of quaratic fiels with Galois grou G an Galois grou G C 2 over Q such that M C2 = K we similarly get 3 π 2 X for even. Counting unramifie extensions of quaratic fiels with Galois grou G becomes a question of counting airs of K an with minimal. Lemma 5.2. Suose K/Q is quaratically ramifie with Galois grou G an o iscriminant D K. Let be the iscriminant of a totally ramifie quaratic subextension of K /Q if D K an 1 otherwise. Then ˆ = is a quaratic iscriminant, an we have KQ ˆ/Q ˆ is unramifie. Proof. Clearly ˆ is squarefree u to a 4, 8, or 8, so it suffices to check the sign in the o case. But each 1 mo 4 for o, an therefore so must their rouct. We shoul note that any two totally ramifie quaratic subextensions of K for o must have the same iscriminant, which is easily seen by examining the fact that they all share a common unramifie extension. It suffices to show the inertia subgrous of G C 2 are all of orer 2, because they are all nontrivial in the C 2 quotient. Notice how Q ˆ Q has iscriminant equal to, which follows from examining the olynomial x 2 ˆ over Q. From facts about extensions of Q, there are exactly 2 quaratic extensions having iscriminant, at least one of which is a subextension of K. If Q ˆ Q is a totally ramifie quaratic subextension of K, then we are one as KQ ˆ Q = K which is quaratically ramifie. Suose not; Q 14

15 then there is another totally ramifie quaratic extension L K. Consier the following iagram: K Q ˆ K LQ ˆ ur ur ur L Q ˆ 2 2 Q wherelq ˆ being unramifie overeachquaratic subfiel followsfrom the fact that, given the unique unramifie quaratic extension M of Q, LQ ˆ = ML = MQ ˆ. But this imlies the remaining unlabele extension must also be unramifie, showing that #I = 2. Thus the minimal is the one ramifie at exactly the same rimes as any quaratically ramifie fiel of Galois grou G. So it follows that counting unramifie G-extensions of quaratic fiels with Galois grou G C 2 over Q is equivalent to counting quaratically ramifie extensions K with Galois grou G orere by ˆ. This falls immeiately into counting roblems similar to Malle s conjecture. [M][EV] Suose we embe our grou G S n for some n, then every G-extension K of Q has an associate étale Q-algebra with a iscriminant in the usual sense. Then orere by this iscriminant, we exect the number of G-extensions to be asymtotically a constant multile ofx 1/a logx b for certain a an b eening on the grou G. If we further restrict K to only be ramifie in an amissible conjugacy class c G a conjugacy class which is both rational an generates G we heuristically exect a similar asymtotic with ossibly a ifferent constant. [EV] Our case is for c being the class of elements of orer 2. The iscriminant in the usual sense, K, is relate to the iscriminant given by the embeing G S n by K by K being a subalgebra of the corresoning étale algebra. For K quaraticallyramifie, wealsohave K = ˆ K #G/2. Thus wehave ˆ K #G/2. This imlies that, when orere by ˆ K, their are asymtotically rx #G/2a logx b quaratically ramifie G-extensions K/Q for some ositive constant r. a is efine by saying n a is the maximal number of orbits of g G S n. G is generate by elements of orer 2, so we must have n a n/2 a n/2. So we have #G/2a #G/n for n 2. WLOG we can choose n such that #G n, so that #G/2a 1. Orere by ˆ K, there are then heuristically rx logx b such fiels K for some ositive constant r. We on t nee the full strength of this heuristic though: Corollary 5.1. Let G be a grou generate by elements of orer 2, an call the conjugacy 15

16 class of such elements c. Suose number number of G-extensions of Q ramifie only in c is asymtotically X 2/#G logx v for any v R when orere by the iscriminant of an embeing G S n. Then E ± G,G C 2 =. Proof. The iscriminant in the usual sense, K, is relate to the iscriminant given by the embeing G S n by K by K being a subalgebra of the corresoning étale algebra. For K quaratically ramifie, we also have K = ˆ K #G/2. Thus we have ˆ K #G/2. This imlies that, when orereby ˆ K, their areasymtotically rxlogx v quaratically ramifie G-extensions K/Q for some ositive constant r. For any quaratically ramife K/Q there are ak X quaratic fiels k such that Kk/k is ˆ K 27 unramifie, where a K is one of 4π, 12 2 π, or 24 2 π eening on the orer with which 2 ivies ˆ 2 K. The execte number is then given as K qua. ram. a K ˆ K 27 4π 2 K qua. ram. A stanar argument use for the Harmonic series can then be aate to show that the asymtotic erive above imlies this series iverges. The more general case is rove in an analogous way. Althouth we o not o so here, keeing track of the sign of the iscriminant only slightly changes the values of a K. Remark: One coul also just use the heuristic in [EV] to count G C 2 extensions with restricte ramification, an similar bouns woul show that asymtotically we have rx logx b G C 2 -extensionsunramifieoverit squaraticsubfiel. Here,knowingb > 0 is enough to conclue an infinite execte number. It is known, however, that in certain cases Malle s Conjecture an relate heuristcs are incorrect, notably for b is incorrect [K]. The benefit ofthe above roofis that it is ineenent of the actual value for b, an assumes a far weaker asymtotic in general. Bhargava roves E ± S n,s n C 2 = by roving Malle s conjecture for S n, n 5, by using the above metho [Bh]. 6 Acknowlegements I woul like to thank my avisor Nigel Boston, as well as Melanie Matchett Woo an Simon Marshall for many helful conversations an avice. This work was one with the suort of National Science Founation grant DMS ˆ K 16

17 7 Bibliograhy [Bh] Manjul Bhargava: The Geometric Sieve an the Density of Squarfree Values of Invariant Polynomials. htts://arxiv.org/abs/ , 2014 [Bo] Nigel Boston: Embeing 2-grous in Grous Generate by Involutions. Journal of Algebra, 2006 [BBH] Nigel Boston, Michael Bush, an Farshi Hajir: Heuristics for -class towers of imaginary quaratic fiels. to aear in Math Annalen,2016 [BW] Nigel Boston an Melanie Matchett Woo: Nonabelian Cohen-Lenstra Heuristics over Function Fiels. htts://arxiv.org/abs/ , 2016 [CL] H. Cohen an H. W. Lenstra, Jr.: Heuristics on Class Grous of Number Fiels. Number theory, Noorwijkerhout 1983, volume 1068 of Lecture Notes in Math., ages Sringer, Berlin,1984 [EV] Joran Ellenberg an Akshay Venkatesh: Statistics of Number Fiels an Function Fiels. Proceeings of the International Congress of Mathematics, 2010 [FK] Étienne Fouvry an Jürgen Klüners: On the 4-rank of Class Grous of Quaratic Number Fiels. Invent. Math., 1673: ,2007 [G] Frank, Gerth III. The 4-class ranks of Quaratic Fiels. Invent. Math., 773, , 1984 [G2] Frank Gerth III. Extension of Conjectures of Cohen an Lenstra. Exosition. Math. 52, , 1987 [GH] Dorian Golfel an Jeffrey Hoffstein: Eisenstein series of 1 2-integral weight an the mean value of real Dirichlet L-series. Inventiones mathematicae, 1985 [HM] Geir T. Helleloi an Ursala Martin: The Automorhism Grou of a Finite -grou is Almost Always a -grou. Journal of Algebra Volume 312 Issue , 2007 [K] Jürgen Klüners: A counterexamle to Malle s conjecture on the asymtotics of iscriminants. C. R. Math. Aca. Sci. Paris, 3406:411414, [L] Franz Lemmermeyer: Unramifie Quaternion Extensions of Quaratic Number Fiels. J. Theor. Nombres Boreaux , 1997 [M] Gunter Malle: On the istribution of Galois grous. J. Number Theory, 922:315329, [M2] Gunter Malle: On the istribution of Galois grous. II. Exeriment. Math., 132:129135, [M3] Gunter Malle: Cohen-Lenstra heuristic an roots of unity. J. Number Theory, 12810: , [R] Joseh Rotman: An Introuction to the Theory of Grous. Sringer, 1995 [S] Jean-Pierre Serre: Local Fiels. Sringer, 1980 [W] Melanie Matchett Woo: Nonabelian Cohen-Lenstra Moments rerint June 17, Deartment of Mathematics, University of Wisconsin-Maison, 480 Lincoln Drive, Maison, WI USA aress: blalberts@math.wisc.eu 17