Showing 1–10 of 10 results for author: Bush, M R

Heuristics for $2$-class Towers of Cyclic Cubic Fields

Authors: Nigel Boston, Michael R. Bush

Abstract: We consider the Galois group $G_2(K)$ of the maximal unramified $2$-extension of $K$ where $K/\mathbb{Q}$ is cyclic of degree $3$. We also consider the group $G^+_2(K)$ where ramification is allowed at infinity. In the spirit of the Cohen-Lenstra heuristics, we identify certain types of pro-$2$ group as the natural spaces where $G_2(K)$ and $G^+_2(K)$ live when the $2$-class group of $K$ is $2$-ge… ▽ More We consider the Galois group $G_2(K)$ of the maximal unramified $2$-extension of $K$ where $K/\mathbb{Q}$ is cyclic of degree $3$. We also consider the group $G^+_2(K)$ where ramification is allowed at infinity. In the spirit of the Cohen-Lenstra heuristics, we identify certain types of pro-$2$ group as the natural spaces where $G_2(K)$ and $G^+_2(K)$ live when the $2$-class group of $K$ is $2$-generated. While we do not have a theoretical scheme for assigning probabilities, we present data and make some observations and conjectures about the distribution of such groups. △ Less

Submitted 29 December, 2020; originally announced December 2020.

Comments: 16 pages

MSC Class: 11R29; 11R16

On certain quotients of $p$-class tower groups of quadratic fields

Authors: Michael R. Bush

Abstract: A characterization of the quotients of $p$-class tower groups of quadratic fields by terms in the lower $p$-central series plays an important role in the formulation of conjectures by Boston, Hajir and the author about the distribution of such groups as the base field varies. In this paper, another equivalent criterion is given which resolves an issue that arose as part of the group-theoretical ca… ▽ More A characterization of the quotients of $p$-class tower groups of quadratic fields by terms in the lower $p$-central series plays an important role in the formulation of conjectures by Boston, Hajir and the author about the distribution of such groups as the base field varies. In this paper, another equivalent criterion is given which resolves an issue that arose as part of the group-theoretical calculations carried out in relation to these conjectures. △ Less

Submitted 31 August, 2023; v1 submitted 5 January, 2020; originally announced January 2020.

Comments: Made some minor structural changes and corrections. Added more details to the proof of Lemma 2.1

MSC Class: 11R32 (Primary); 11R11; 11R29; 11R37; 20D15; 20E18 (Secondary)

Period sets of linear recurrences over finite fields and related commutative rings

Authors: Michael R. Bush, Danjoseph Quijada

Abstract: After giving an overview of the existing theory regarding the periods of sequences defined by linear recurrences over finite fields, we give explicit descriptions of the sets of periods that arise if one considers all sequences over $\mathbb{F}_q$ generated by linear recurrences for a fixed choice of the degree $k$ in the range $1 \leq k \leq 4$. We also investigate the periods of sequences genera… ▽ More After giving an overview of the existing theory regarding the periods of sequences defined by linear recurrences over finite fields, we give explicit descriptions of the sets of periods that arise if one considers all sequences over $\mathbb{F}_q$ generated by linear recurrences for a fixed choice of the degree $k$ in the range $1 \leq k \leq 4$. We also investigate the periods of sequences generated by linear recurrences over rings of the form $\mathbb{F}_{q_1} \oplus \ldots \oplus \mathbb{F}_{q_r}$. △ Less

Submitted 8 May, 2018; originally announced May 2018.

Comments: 16 pages

MSC Class: 11B50 (Primary) 11B37; 11B39; 94A55 (Secondary)

Journal ref: Involve 14 (2021) 361-376

Heuristics for p-class towers of real quadratic fields

Authors: Nigel Boston, Michael R. Bush, Farshid Hajir

Abstract: Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian generalization of the work of Cohen and Lenstra on ideal class groups, we studied how likely it is that a given finite $p$-group occurs as the $p$-class tower group… ▽ More Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian generalization of the work of Cohen and Lenstra on ideal class groups, we studied how likely it is that a given finite $p$-group occurs as the $p$-class tower group of an imaginary quadratic field. Here we do the same for an arbitrary real quadratic field $K$ as base. As before, the action of $\mathrm{Gal}(K/\mathbb{Q})$ on the $p$-class tower group of $K$ plays a crucial role; however, the presence of units of infinite order in the ground field significantly complicates the possibilities for groups that can occur. We also sharpen our results in the imaginary quadratic field case by removing a certain hypothesis, using ideas of Boston and Wood. In an appendix, we show how the probabilities introduced for finite $p$-groups can be extended in a consistent way to the infinite pro-$p$ groups which can arise in both the real and imaginary quadratic settings.} △ Less

Submitted 11 March, 2018; originally announced March 2018.

MSC Class: 11R29; 11R11

Galois groups of iterates of some unicritical polynomials

Authors: Michael R. Bush, Wade Hindes, Nicole R. Looper

Abstract: We prove that the arboreal Galois representations attached to certain unicritical polynomials have finite index in an infinite wreath product of cyclic groups, and we prove surjectivity for some small degree examples, including a new family of quadratic polynomials. To do this, we use a combination of local techniques including the Chabauty-Coleman method and the Mordell-Weil sieve. We prove that the arboreal Galois representations attached to certain unicritical polynomials have finite index in an infinite wreath product of cyclic groups, and we prove surjectivity for some small degree examples, including a new family of quadratic polynomials. To do this, we use a combination of local techniques including the Chabauty-Coleman method and the Mordell-Weil sieve. △ Less

Submitted 10 August, 2016; originally announced August 2016.

$3$-class field towers of exact length $3$

Authors: MIchael R. Bush, Daniel C. Mayer

Abstract: The $p$-group generation algorithm is used to verify that the Hilbert $3$-class field tower has length $3$ for certain imaginary quadratic fields $K$ with $3$-class group $\mathrm{Cl}_3(K) \cong [3,3]$. Our results provide the first examples of finite $p$-class towers of length $> 2$ for an odd prime $p$. The $p$-group generation algorithm is used to verify that the Hilbert $3$-class field tower has length $3$ for certain imaginary quadratic fields $K$ with $3$-class group $\mathrm{Cl}_3(K) \cong [3,3]$. Our results provide the first examples of finite $p$-class towers of length $> 2$ for an odd prime $p$. △ Less

Submitted 1 December, 2013; originally announced December 2013.

Comments: 8 pages

MSC Class: 11R37 (Primary) 11R11; 11R29; 20D15; 20F14 (Secondary)

Heuristics for $p$-class towers of imaginary quadratic fields, with an Appendix by Jonathan Blackhurst

Authors: Nigel Boston, Michael R. Bush, Farshid Hajir

Abstract: Cohen and Lenstra have given a heuristic which, for a fixed odd prime $p$, leads to many interesting predictions about the distribution of $p$-class groups of imaginary quadratic fields. We extend the Cohen-Lenstra heuristic to a non-abelian setting by considering, for each imaginary quadratic field $K$, the Galois group of the $p$-class tower of $K$, i.e. $G_K:=\mathrm{Gal}(K_\infty/K)$ where… ▽ More Cohen and Lenstra have given a heuristic which, for a fixed odd prime $p$, leads to many interesting predictions about the distribution of $p$-class groups of imaginary quadratic fields. We extend the Cohen-Lenstra heuristic to a non-abelian setting by considering, for each imaginary quadratic field $K$, the Galois group of the $p$-class tower of $K$, i.e. $G_K:=\mathrm{Gal}(K_\infty/K)$ where $K_\infty$ is the maximal unramified $p$-extension of $K$. By class field theory, the maximal abelian quotient of $G_K$ is isomorphic to the $p$-class group of $K$. For integers $c\geq 1$, we give a heuristic of Cohen-Lentra type for the maximal $p$-class $c$ quotient of $\G_K$ and thereby give a conjectural formula for how frequently a given $p$-group of $p$-class $c$ occurs in this manner. In particular, we predict that every finite Schur $σ$-group occurs as $G_K$ for infinitely many fields $K$. We present numerical data in support of these conjectures. △ Less

Submitted 10 December, 2014; v1 submitted 20 November, 2011; originally announced November 2011.

Comments: Revised Version. Section 2 has been reorganized and divided into five subsections; the main results appear in Section 2.4. The numerical data has been greatly expanded using a modified technique of computing generating polynomials for unramified cubic extensions of imaginary quadratic fields

MSC Class: 11R29; 11R11

Maximal unramified 3-extensions of imaginary quadratic fields and SL_2(Z_3)

Authors: L. Bartholdi, M. R. Bush

Abstract: The structure of the Galois group of the maximal unramified p-extension of an imaginary quadratic field is restricted in various ways. In this paper we construct a family of finite 3-groups satisfying these restrictions. We prove several results about this family and characterize them as finite extensions of certain quotients of a Sylow pro-3 subgroup of SL_2(Z_3). We verify that the first group… ▽ More The structure of the Galois group of the maximal unramified p-extension of an imaginary quadratic field is restricted in various ways. In this paper we construct a family of finite 3-groups satisfying these restrictions. We prove several results about this family and characterize them as finite extensions of certain quotients of a Sylow pro-3 subgroup of SL_2(Z_3). We verify that the first group in the family does indeed arise as such a Galois group and provide a small amount of evidence that this may hold for the other members. If this were the case then it would imply that there is no upper bound on the possible lengths of a finite p-class tower. △ Less

Submitted 16 February, 2006; originally announced February 2006.

Comments: 7 pages. No figures. LaTeX

MSC Class: 11R37 (primary); 11R32; 11R11; 20D15; 20F05; 20F14; 20G25 (secondary)

Journal ref: J. Number Theory 124 (2007), no. 1, 159--166

Mild pro-p-groups with 4 generators

Authors: Michael R. Bush, John Labute

Abstract: Let p be an odd prime and S a finite set of primes = 1 mod p. We give an effective criterion for determining when the Galois group G=G_S(p) of the maximal p-extension of Q unramified outside of S is mild when |S|=4 and the cup product H^1(G,Z/pZ) \otimes H^1(G,Z/pZ) --> H^2(G,Z/pZ) is surjective. Let p be an odd prime and S a finite set of primes = 1 mod p. We give an effective criterion for determining when the Galois group G=G_S(p) of the maximal p-extension of Q unramified outside of S is mild when |S|=4 and the cup product H^1(G,Z/pZ) \otimes H^1(G,Z/pZ) --> H^2(G,Z/pZ) is surjective. △ Less

Submitted 9 February, 2006; originally announced February 2006.

Comments: 12 pages. No figures. LaTeX

MSC Class: 11R34 (primary); 12G10; 20F05; 20F14; 20F40 (secondary)

Computation of Galois groups associated to the 2-class towers of some quadratic fields

Authors: Michael R. Bush

Abstract: The $p$-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group $G = \text{Gal} (k^{nr,2}/k)$ for $k = \mathbb{Q}(\sqrt{d})$ with $d = -445, -1015, -1595, -2379$. In each case we are able to narrow the identity of $G$ down to one of a finite number of explicitly given finite groups. From this follow several results regardi… ▽ More The $p$-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group $G = \text{Gal} (k^{nr,2}/k)$ for $k = \mathbb{Q}(\sqrt{d})$ with $d = -445, -1015, -1595, -2379$. In each case we are able to narrow the identity of $G$ down to one of a finite number of explicitly given finite groups. From this follow several results regarding the corresponding 2-class tower. This is a revised version of ANT-0302. △ Less

Submitted 23 October, 2001; originally announced October 2001.

Report number: ANT-0316