arXiv Science⌕ Search

arXiv subjects

Andrew Schultz

Publications and source records attributed to Andrew Schultz.

At least 19 recordsLinked to original sources
arXiv2024

The Bloch--Kato conjecture, decomposing fields, and generating cohomology in degree one

The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. Restricting to the case of $p$-groups, our work answers a question of Quadrelli, Snopce and Vanacci posed in 2022. As a further step in this program, we study implications of the Bloch--Kato conjecture to cohomological invariants of finite field extensions. Conversely, these cohomological invariants have implications for refining the Bloch--Kato conjecture. In service of such a refinement, we define the notion of a decomposing field for a cohomology class of a finite field extension and study minimal decomposing fields of degree two cohomology classes arising from degree $p$ extensions. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean fields and $p$-rigid fields. Finally, we construct nontrivial examples of cohomology classes and their decomposing fields, which rely on computations by David Benson in the appendix.

math.NT↗
arXiv2022

Special Functions for Hyperoctahedral Groups Using Bosonic, Trigonometric Six-Vertex Models

Recent works have sought to realize certain families of orthogonal, symmetric polynomials as partition functions of well-chosen classes of solvable lattice models. Many of these use Boltzmann weights arising from the trigonometric six-vertex model $R$-matrix (or generalizations or specializations of these weights). In this paper, we seek new variants of bosonic models on lattices designed for type B/C root systems, whose partition functions match the zonal spherical function in type C. Under general assumptions, we find that this is possible for all highest weights in rank $2$ and $3$, but not for higher rank.

math.CO↗
arXiv2022

Galois module structure of some elementary $p$-abelian extensions

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$.

math.NT↗
arXiv2021

Quaternion algebras and square power classes over biquadratic extensions

Recently the Galois module structure of square power classes of a field $K$ has been computed under the action of $\text{Gal}(K/F)$ in the case where $\text{Gal}(K/F)$ is the Klein $4$-group. Despite the fact that the modular representation theory over this group ring includes an infinite number of non-isomorphic indecomposable types, the decomposition for square power classes includes at most $9$ distinct summand types. In this paper we determine the multiplicity of each summand type in terms of a particular subspace of $\text{Br}(F)$, and show that all "unexceptional" summand types are possible.

math.NT↗
arXiv2021

Galois module structure of the units modulo $p^m$ of cyclic extensions of degree $p^n$

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.

math.NT↗
arXiv2021

On the indecomposability of a remarkable new family of modules appearing in Galois theory

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.

math.NT↗
arXiv2021

Arithmetic properties encoded in the Galois module structure of $K^\times/K^{\times p^m}$

The power classes of a field are well-known for their ability to parameterize elementary $p$-abelian Galois extensions. These classical objects have recently been reexamined through the lens of their Galois module structure. Module decompositions have been computed in several cases, providing deep new insight into absolute Galois groups. The surprising result in each case is that there are far fewer isomorphism types of indecomposables than one would expect generically, with summands predominately free over associated quotient rings. Though non-free summands are the exception both in their form and prevalence, they play the critical role in controlling arithmetic conditions in the field which allow the rest of the decomposition to be so simple. Suppose $m,n \in \mathbb{N}$ and $p$ is prime. In a recent paper, a surprising and elegant decomposition for $p^m$th power classes has been computed when the underlying Galois group is a cyclic group of order $p^n$. As with previous module decompositions, at most one non-free summand appears. Outside of a particular special case when $p=2$, the structure of this exceptional summand was determined by a vector $\mathbf{a}\in \{-\infty,0,\dots,n\}^m$ and a natural number $d$. In this paper we give field-theoretic interpretations for $\mathbf{a}$ and $d$, showing they are related to the solvability of a family of Galois embedding problems and the cyclotomic character associated to $K/F$.

math.NT↗
arXiv2021

Galois module structure of square power classes for biquadratic extensions

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.

math.NT↗
arXiv2016

On Hamiltonians for six-vertex models

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.

math.CO↗
arXiv2014

Galois p-groups and Galois modules

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.

math.NT↗
arXiv2014

The 6-vertex model and deformations of the Weyl character formula

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.

math.CO↗
arXiv2012

A generalization of the Gaussian formula and a q-analog of Fleck's congruence

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.

math.NT↗
arXiv2011

p-Groups have unbounded realization multiplicity

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.

math.NT↗
arXiv2011

Parameterizing solutions to any Galois embedding problem over Z/p^nZ with elementary p-abelian kernel

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.

math.NT↗
arXiv2009

Galois module structure of Galois cohomology for embeddable cyclic extensions of degree p^n

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).

math.NT↗
arXiv2007

Galois module structure of Milnor K-theory mod p^s in characteristic p

Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero summands in the decomposition are indeed nonzero.

math.NT↗
arXiv2006

Hilbert 90 for biquadratic extensions

Hilbert's Theorem 90 is a classical result in the theory of cyclic extensions. The quadratic case of Hilbert 90, however, generalizes in noncyclic directions as well. Informed by a poem of Richard Wilbur, the article explores several generalizations, discerning connections among multiplicative groups of fields, values of binary quadratic forms, a bit of module theory over group rings, and even Galois cohomology.

math.NT↗