BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Andrew Schultz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We determine the Galois module structure of the parameterizing space of elementary $p$-abelian extensions of a field $K$ when $\text{Gal}(K/F)$ is any finite $p$-group, under the assumption that the maximal pro-$p$ quotient of the absolute Galois group of $F$ is a free, finitely generated pro-$p$ group, and that $F$ contains a primitive $p$th root of unity if $\text{char}(F) \neq p$.
Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each indecomposable summand is cyclic and free over some quotient group of $\text{Gal}(K/F)$. For fixed values of $m$ and $n$, there are only finitely many possible isomorphism classes for the non-free indecomposable summand. These Galois modules act as parameterizing spaces for solutions to certain inverse Galois problems, and therefore this module computation provides insight into the structure of absolute Galois groups. More immediately, however, these results show that Galois cohomology is a context in which seemingly difficult module decompositions can practically be achieved: when $m,n>1$ the modular representation theory allows for an infinite number of indecomposable summands (with no known classification of indecomposable types), and yet the main result of this paper provides a complete decomposition over an infinite family of modules.
A powerful new perspective in the analysis of absolute Galois groups has recently emerged from the study of Galois modules related to classical parameterizing spaces of certain Galois extensions. The recurring trend in these decompositions is their stunning simplicity: almost all summands are free over some quotient ring. The non-free summands which appear are exceptional not only because they are different in form, but because they play the key role in controlling arithmetic conditions that allow the remaining summands to be easily described. In this way, these exceptional summands are the lynchpin for a bevy of new properties of absolute Galois groups that have been gleaned from these surprising decompositions. In one such recent decomposition, a remarkable new exceptional summand was discovered which exhibited interesting properties that have not been seen before. The exceptional summand is drawn from a particular finite family that has not yet been investigated. The main goal of this paper is to introduce this family of modules and verify their indecomposability. We believe this module will be of interest to people working in Galois theory, representation theory, combinatorics, and general algebra. The analysis of these modules includes some interesting new tools, including analogs of $p$-adic expansions.
For a Galois extension $K/F$ with $\text{char}(K)\neq 2$ and $\text{Gal}(K/F) \simeq \mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$, we determine the $\mathbb{F}_2[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times 2}$. Although there are an infinite number of (pairwise non-isomorphic) indecomposable $\mathbb{F}_2[\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}]$-modules, our decomposition includes at most $9$ indecomposable types. This paper marks the first time that the Galois module structure of power classes of a field has been fully determined when the modular representation theory allows for an infinite number of indecomposable types.
The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups --- as well as other closely related, larger p-groups --- occur as Galois groups over given base fields. We show further how the appearance of some Galois groups forces the appearance of other Galois groups in an interesting way.
In this paper, we explain a connection between a family of free-fermionic six-vertex models and a discrete time evolution operator on one-dimensional Fermionic Fock space. The family of ice models generalize those with domain wall boundary, and we focus on two sets of Boltzmann weights whose partition functions were previously shown to generalize a generating function identity of Tokuyama. We produce associated Hamiltonians that recover these Boltzmann weights, and furthermore calculate the partition functions using commutation relations and elementary combinatorics. We give an expression for these partition functions as determinants, akin to the Jacobi-Trudi identity for Schur polynomials.
In this paper we use the Galois module structure for the classical parameterizing spaces for elementary p-abelian extensions of a field K to give necessary and sufficient conditions for the solvability of any embedding problem which is an extension of Z/p^nZ with elementary p-abelian kernel. This allows us to count the total number of solutions to a given embedding problem when the appropriate modules are finite, and leads to some nontrivial automatic realization and realization multiplicity results for Galois groups.
We use statistical mechanics -- variants of the six-vertex model in the plane studied by means of the Yang-Baxter equation -- to give new deformations of Weyl's character formula for classical groups of Cartan type B, C, and D, and a character formula of Proctor for type BC. In each case, the corresponding Boltzmann weights are associated to the free fermion point of the six-vertex model. These deformations add to the earlier known examples in types A and C by Tokuyama and Hamel-King, respectively. A special case for classical types recovers deformations of the Weyl denominator formula due to Okada.
The q-binomial coefficients are the polynomial cousins of the traditional binomial coefficients, and a number of identities for binomial coefficients can be translated into this polynomial setting. For instance, the familiar vanishing of the alternating sum across row n of Pascal's triangle is captured by the so-called Gaussian Formula. In this paper, we find a q-binomial congruence which synthesizes this result and Fleck's congruence for binomial coefficients.
In this paper we interpret the solutions to a particular Galois embedding problem over an extension K/F whose Galois group is a finite, cyclic p group in terms of certain Galois submodules within the parameterizing space of elementary p-abelian extensions of K; here p is a prime. Combined with some basic facts about the module structure of this parameterizing space, this allows us to exhibit a class of p-groups whose realization multiplicity is unbounded.
Let p be a prime and suppose that K/F is a cyclic extension of degree p^n with group G. Let J be the F_pG-module K^*/K^{*p} of pth-power classes. In our previous paper we established precise conditions for J to contain an indecomposable direct summand of dimension not a power of p. At most one such summand exists, and its dimension must be p^i+1 for some 0<=i<n. We show that for all primes p and all 0<=i<n, there exists a field extension K/F with a summand of dimension p^i+1.
Let p>2 be prime, and let n,m be positive integers. For cyclic field extensions E/F of degree p^n that contain a primitive pth root of unity, we show that the associated F_p[Gal(E/F)]-modules H^m(G_E,mu_p) have a sparse decomposition. When E/F is additionally a subextension of a cyclic, degree p^{n+1} extension E'/F, we give a more refined F_p[Gal(E/F)]-decomposition of H^m(G_E,mu_p).
Assuming the Bloch-Kato Conjecture, we determine precise conditions under which Hilbert 90 is valid for Milnor k-theory and Galois cohomology. In particular, Hilbert 90 holds for degree n when the cohomological dimension of the Galois group of the maximal p-extension of F is at most n.