Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of $\mathbb {Q}$ and to give a new proof of the vanishing of Massey triple products in Galois cohomology.

This paper consists of three parts: First, letting $b_1(z)$, $b_2(z)$, $p_1(z)$ and $p_2(z)$ be nonzero polynomials such that $p_1(z)$ and $p_2(z)$ have the same degree $k\geq 1$ and distinct leading coefficients $1$ and $\alpha$, respectively, we solve entire solutions of the Tumura–Clunie type differential equation $f^{n}+P(z,\,f)=b_1(z)e^{p_1(z)}+b_2(z)e^{p_2(z)}$, where $n\geq 2$ is an integer, $P(z,\,f)$ is a differential polynomial in $f$ of degree $\leq n-1$ with coefficients having polynomial growth. Second, we study the oscillation of the second-order differential equation $f''-[b_1(z)e^{p_1(z)}+b_2(z)e^{p_2(z)}]f=0$ and prove that $\alpha =[2(m+1)-1]/[2(m+1)]$ for some integer $m\geq 0$ if this equation admits a nontrivial solution such that $\lambda (f)<\infty$. This partially answers a question of Ishizaki. Finally, letting $b_2\not =0$ and $b_3$ be constants and $l$ and $s$ be relatively prime integers such that $l> s\geq 1$, we prove that $l=2$ if the equation $f''-(e^{lz}+b_2e^{sz}+b_3)f=0$ admits two linearly independent solutions $f_1$ and $f_2$ such that $\max \{\lambda (f_1),\,\lambda (f_2)\}<\infty$. In particular, we precisely characterize all solutions such that $\lambda (f)<\infty$ when $l=2$ and $l=4$.

We settle a part of the conjecture by Bandini and Valentino [‘On the structure and slopes of Drinfeld cusp forms’, Exp. Math. 31(2) (2022), 637–651] for $S_{k,l}(\Gamma _0(T))$ when $\mathrm {dim}\ S_{k,l}(\mathrm {GL}_2(A))\leq 2$. We frame and check the conjecture for primes $\mathfrak {p}$ and higher levels $\mathfrak {p}\mathfrak {m}$, and show that a part of the conjecture for level $\mathfrak {p} \mathfrak {m}$ does not hold if $\mathfrak {m}\ne A$ and $(k,l)=(2,1)$.

We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed nontrivially valued nonarchimedean field K based on Hrushovski-Loeser’s stable completion. In parallel, we develop a sheaf cohomology of definable subsets in o-minimal expansions of the tropical semi-group $\Gamma _{\infty }$, where $\Gamma $ denotes the value group of K. For quasi-projective varieties, both cohomologies are strongly related by a deformation retraction of the stable completion homeomorphic to a definable subset of $\Gamma _{\infty }$. In both contexts, we show that the corresponding cohomology theory satisfies the Eilenberg-Steenrod axioms, finiteness and invariance, and we provide natural bounds of cohomological dimension in each case. As an application, we show that there are finitely many isomorphism types of cohomology groups in definable families. Moreover, due to the strong relation between the stable completion of an algebraic variety and its analytification in the sense of V. Berkovich, we recover and extend results on the singular cohomology of the analytification of algebraic varieties concerning finiteness and invariance.

We study multivariate polynomials over ‘structured’ grids. Firstly, we propose an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend several results – notably, the Combinatorial Nullstellensatz and the Coefficient Theorem – to polynomials over structured grids. The main point is that the structure of a grid allows the degree constraints on polynomials to be relaxed.

A multivariate, formal power series over a field K is a Bézivin series if all of its coefficients can be expressed as a sum of at most r elements from a finitely generated subgroup $G \le K^*$; it is a Pólya series if one can take $r=1$. We give explicit structural descriptions of D-finite Bézivin series and D-finite Pólya series over fields of characteristic $0$, thus extending classical results of Pólya and Bézivin to the multivariate setting.

We prove new cases of the Inverse Galois Problem by considering the residual Galois representations arising from a fixed newform. Specific choices of weight $3$ newforms will show that there are Galois extensions of ${\mathbb Q}$ with Galois group $\operatorname {PSL}_2({\mathbb F}_p)$ for all primes p and $\operatorname {PSL}_2({\mathbb F}_{p^3})$ for all odd primes $p \equiv \pm 2, \pm 3, \pm 4, \pm 6 \ \pmod {13}$.

We characterize the noncommutative Aleksandrov–Clark measures and the minimal realization formulas of contractive and, in particular, isometric noncommutative rational multipliers of the Fock space. Here, the full Fock space over $\mathbb {C} ^d$ is defined as the Hilbert space of square-summable power series in several noncommuting (NC) formal variables, and we interpret this space as the noncommutative and multivariable analogue of the Hardy space of square-summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov–Clark measure theory for noncommutative and contractive rational multipliers.

Noncommutative measures are defined as positive linear functionals on a certain self-adjoint subspace of the Cuntz–Toeplitz algebra, the unital $C^*$-algebra generated by the left creation operators on the full Fock space. Our results demonstrate that there is a fundamental relationship between NC Hardy space theory, representation theory of the Cuntz–Toeplitz and Cuntz algebras, and the emerging field of noncommutative rational functions.

Let $\mathcal {N}$ be a non-Archimedean-ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order, and whose Hahn group is Archimedean. In this paper, we first review the properties of weakly locally uniformly differentiable (WLUD) functions, $k$ times weakly locally uniformly differentiable (WLUD$^{k}$) functions and WLUD$^{\infty }$ functions at a point or on an open subset of $\mathcal {N}$. Then, we show under what conditions a WLUD$^{\infty }$ function at a point $x_0\in \mathcal {N}$ is analytic in an interval around $x_0$, that is, it has a convergent Taylor series at any point in that interval. We generalize the concepts of WLUD$^{k}$ and WLUD$^{\infty }$ to functions from $\mathcal {N}^{n}$ to $\mathcal {N}$, for any $n\in \mathbb {N}$. Then, we formulate conditions under which a WLUD$^{\infty }$ function at a point $\boldsymbol {x_0} \in \mathcal {N}^{n}$ is analytic at that point.

We show that the theory of Galois actions of a torsion Abelian group A is companionable if and only if, for each prime p, the p-primary part of A is either finite or it coincides with the Prüfer p-group. We also provide a model-theoretic description of the model companions we obtain.

Every discrete definable subset of a closed asymptotic couple with ordered scalar field ${\boldsymbol {k}}$ is shown to be contained in a finite-dimensional ${\boldsymbol {k}}$-linear subspace of that couple. It follows that the differential-valued field $\mathbb {T}$ of transseries induces more structure on its value group than what is definable in its asymptotic couple equipped with its scalar multiplication by real numbers, where this asymptotic couple is construed as a two-sorted structure with $\mathbb {R}$ as the underlying set for the second sort.

Let $F_{2^n}$ be the Frobenius group of degree $2^n$ and of order $2^n ( 2^n-1)$ with $n \ge 4$. We show that if $K/\mathbb {Q} $ is a Galois extension whose Galois group is isomorphic to $F_{2^n}$, then there are $\dfrac {2^{n-1} +(-1)^n }{3}$ intermediate fields of $K/\mathbb {Q} $ of degree $4 (2^n-1)$ such that they are not conjugate over $\mathbb {Q}$ but arithmetically equivalent over $\mathbb {Q}$. We also give an explicit method to construct these arithmetically equivalent fields.

We present a framework for tame geometry on Henselian valued fields, which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and applications for Hensel minimal structures that were previously known only under stronger, less axiomatic assumptions. We show the existence of t-stratifications in Hensel minimal structures and Taylor approximation results that are key to non-Archimedean versions of Pila–Wilkie point counting, Yomdin’s parameterization results and motivic integration. In this first paper, we work in equi-characteristic zero; in the sequel paper, we develop the mixed characteristic case and a diophantine application.

Given a Henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any Henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we present a construction method for a t-Henselian non-Henselian ordered field elementarily equivalent to a Henselian field with a specified value group.

For a Galois extension $K/F$ with $\text {char}(K)\neq 2$ and $\mathrm {Gal}(K/F) \simeq \mathbb {Z}/2\mathbb {Z}\oplus \mathbb {Z}/2\mathbb {Z}$, we determine the $\mathbb {F}_{2}[\mathrm {Gal}(K/F)]$-module structure of $K^{\times }/K^{\times 2}$. Although there are an infinite number of (pairwise nonisomorphic) indecomposable $\mathbb {F}_{2}[\mathbb {Z}/2\mathbb {Z}\oplus \mathbb {Z}/2\mathbb {Z}]$-modules, our decomposition includes at most nine 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.

We prove that for any prime power $q\notin \{3,4,5\}$, the cubic extension $\mathbb {F}_{q^{3}}$ of the finite field $\mathbb {F}_{q}$ contains a primitive element $\xi $ such that $\xi +\xi ^{-1}$ is also primitive, and $\operatorname {\mathrm {Tr}}_{\mathbb {F}_{q^{3}}/\mathbb {F}_{q}}(\xi )=a$ for any prescribed $a\in \mathbb {F}_{q}$. This completes the proof of a conjecture of Gupta et al. [‘Primitive element pairs with one prescribed trace over a finite field’, Finite Fields Appl. 54 (2018), 1–14] concerning the analogous problem over an extension of arbitrary degree $n\ge 3$.

We develop tools for constructing rigid analytic trivializations for Drinfeld modules as infinite products of Frobenius twists of matrices, from which we recover the rigid analytic trivialization given by Pellarin in terms of Anderson generating functions. One advantage is that these infinite products can be obtained from only a finite amount of initial calculation, and consequently we obtain new formulas for periods and quasi-periods, similar to the product expansion of the Carlitz period. We further link to results of Gekeler and Maurischat on the $\infty $-adic field generated by the period lattice.

We solve the problem of factoring polynomials $V_n(x) \pm 1$ and $W_n(x) \pm 1$, where $V_n(x)$ and $W_n(x)$ are Chebyshev polynomials of the third and fourth kinds, in terms of the minimal polynomials of $\cos ({2\pi }{/d})$. The method of proof is based on earlier work, D. A. Wolfram, [‘Factoring variants of Chebyshev polynomials of the first and second kinds with minimal polynomials of $\cos ({2 \pi }/{d})$’, Amer. Math. Monthly 129 (2022), 172–176] for factoring variants of Chebyshev polynomials of the first and second kinds. We extend this to show that, in general, similar variants of Chebyshev polynomials of the fifth and sixth kinds, $X_n(x) \pm 1$ and $Y_n(x) \pm 1$, do not have factors that are minimal polynomials of $\cos ({2\pi }/{d})$.

We prove a new irreducibility result for polynomials over ${\mathbb Q}$ and we use it to construct new infinite families of reciprocal monogenic quintinomials in ${\mathbb Z}[x]$ of degree $2^n$.

We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations.