We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
The renormalization group method has been developed to investigate p-adic q-state Potts models on the Cayley tree of order k. This method is closely related to the examination of dynamical behavior of the p-adic Potts–Bethe mapping which depends on the parameters q, k. In Mukhamedov and Khakimov [Chaotic behavior of the p-adic Potts–Behte mapping. Discrete Contin. Dyn. Syst.38 (2018), 231–245], we have considered the case when q is not divisible by p and, under some conditions, it was established that the mapping is conjugate to the full shift on
$\kappa _p$
symbols (here
$\kappa _p$
is the greatest common factor of k and
$p-1$
). The present paper is a continuation of the forementioned paper, but here we investigate the case when q is divisible by p and k is arbitrary. We are able to fully describe the dynamical behavior of the p-adic Potts–Bethe mapping by means of a Markov partition. Moreover, the existence of a Julia set is established, over which the mapping exhibits a chaotic behavior. We point out that a similar result is not known in the case of real numbers (with rigorous proofs).
For a prime number p and a free profinite group S on the basis X, let
$S_{\left (n,p\right )}$
,
$n=1,2,\dotsc ,$
be the p-Zassenhaus filtration of S. For
$p>n$
, we give a word-combinatorial description of the cohomology group
$H^2\left (S/S_{\left (n,p\right )},\mathbb {Z}/p\right )$
in terms of the shuffle algebra on X. We give a natural linear basis for this cohomology group, which is constructed by means of unitriangular representations arising from Lyndon words.
Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that, if the algorithm is guaranteed to terminate on every input, then there is a computable upper bound for the size of the output of the algorithm in terms of the size of the input. We also generalize this to algorithms working with models of good enough theories (including, for example, difference fields).
We then apply this to differential algebraic geometry to show that there exists a computable uniform upper bound for the number of components of any variety defined by a system of polynomial PDEs. We then use this bound to show the existence of a computable uniform upper bound for the elimination problem in systems of polynomial PDEs with delays.
In 2001, the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway’s ordered field
${\mathbf {No}}$
of surreal numbers was brought to the fore by the first author and employed to provide necessary and sufficient conditions for an ordered field (ordered
$K$
-vector space) to be isomorphic to an initial subfield (
$K$
-subspace) of
${\mathbf {No}}$
, i.e. a subfield (
$K$
-subspace) of
${\mathbf {No}}$
that is an initial subtree of
${\mathbf {No}}$
. In this sequel, analogous results are established for ordered exponential fields, making use of a slight generalization of Schmeling’s conception of a transseries field. It is further shown that a wide range of ordered exponential fields are isomorphic to initial exponential subfields of
$({\mathbf {No}}, \exp )$
. These include all models of
$T({\mathbb R}_W, e^x)$
, where
${\mathbb R}_W$
is the reals expanded by a convergent Weierstrass system W. Of these, those we call trigonometric-exponential fields are given particular attention. It is shown that the exponential functions on the initial trigonometric-exponential subfields of
${\mathbf {No}}$
, which includes
${\mathbf {No}}$
itself, extend to canonical exponential functions on their surcomplex counterparts. The image of the canonical map of the ordered exponential field
${\mathbb T}^{LE}$
of logarithmic-exponential transseries into
${\mathbf {No}}$
is shown to be initial, as are the ordered exponential fields
${\mathbb R}((\omega ))^{EL}$
and
${\mathbb R}\langle \langle \omega \rangle \rangle $
.
For
$c \in \mathbb {Q}$
, consider the quadratic polynomial map
$\varphi _c(z)=z^2-c$
. Flynn, Poonen, and Schaefer conjectured in 1997 that no rational cycle of
$\varphi _c$
under iteration has length more than
$3$
. Here, we discuss this conjecture using arithmetic and combinatorial means, leading to three main results. First, we show that if
$\varphi _c$
admits a rational cycle of length
$n \ge 3$
, then the denominator of c must be divisible by
$16$
. We then provide an upper bound on the number of periodic rational points of
$\varphi _c$
in terms of the number s of distinct prime factors of the denominator of c. Finally, we show that the Flynn–Poonen–Schaefer conjecture holds for
$\varphi _c$
if
$s \le 2$
, i.e., if the denominator of c has at most two distinct prime factors.
We analyse the behaviour of the Euclidean algorithm applied to pairs (g,f) of univariate nonconstant polynomials over a finite field
$\mathbb{F}_{q}$
of q elements when the highest degree polynomial g is fixed. Considering all the elements f of fixed degree, we establish asymptotically optimal bounds in terms of q for the number of elements f that are relatively prime with g and for the average degree of
$\gcd(g,f)$
. We also exhibit asymptotically optimal bounds for the average-case complexity of the Euclidean algorithm applied to pairs (g,f) as above.
Let p be a prime. A pro-p group G is said to be 1-smooth if it can be endowed with a continuous representation
$\theta \colon G\to \mathrm {GL}_1(\mathbb {Z}_p)$
such that every open subgroup H of G, together with the restriction
$\theta \vert _H$
, satisfies a formal version of Hilbert 90. We prove that every 1-smooth pro-p group contains a unique maximal closed abelian normal subgroup, in analogy with a result by Engler and Koenigsmann on maximal pro-p Galois groups of fields, and that if a 1-smooth pro-p group is solvable, then it is locally uniformly powerful, in analogy with a result by Ware on maximal pro-p Galois groups of fields. Finally, we ask whether 1-smooth pro-p groups satisfy a “Tits’ alternative.”
In the 1970s, Dwork defined the logarithmic growth (log-growth for short) filtrations for $p$-adic differential equations $Dx=0$ on the $p$-adic open unit disc $|t|<1$, which measure the asymptotic behavior of solutions $x$ as $|t|\to 1^{-}$. Then, Dwork calculated the log-growth filtration for $p$-adic Gaussian hypergeometric differential equation. In the late 2000s, Chiarellotto and Tsuzuki proposed a fundamental conjecture on the log-growth filtrations for $(\varphi ,\nabla )$-modules over $K[\![t]\!]_0$, which can be regarded as a generalization of Dwork's calculation. In this paper, we prove a generalization of the conjecture to $(\varphi ,\nabla )$-modules over the bounded Robba ring. As an application, we prove a generalization of Dwork's conjecture proposed by Chiarellotto and Tsuzuki on the specialization property for log-growth Newton polygons.
In this paper we develop methods for classifying Baker, Richter, and Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss–Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $\infty$-categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces. For even-periodic ring spectra $E$, we find that the ‘algebraic’ Azumaya algebras whose coefficient ring is projective are governed by the Brauer–Wall group of $\pi _0(E)$, recovering a result of Baker, Richter, and Szymik. This allows us to calculate many examples. For example, we find that the algebraic Azumaya algebras over Lubin–Tate spectra have either four or two Morita equivalence classes, depending on whether the prime is odd or even, that all algebraic Azumaya algebras over the complex K-theory spectrum $KU$ are Morita trivial, and that the group of the Morita classes of algebraic Azumaya algebras over the localization $KU[1/2]$ is $\mathbb {Z}/8\times \mathbb {Z}/2$. Using our descent results and an obstruction theory spectral sequence, we also study Azumaya algebras over the real K-theory spectrum $KO$ which become Morita-trivial $KU$-algebras. We show that there exist exactly two Morita equivalence classes of these. The nontrivial Morita equivalence class is realized by an ‘exotic’ $KO$-algebra with the same coefficient ring as $\mathrm {End}_{KO}(KU)$. This requires a careful analysis of what happens in the homotopy fixed-point spectral sequence for the Picard space of $KU$, previously studied by Mathew and Stojanoska.
In this thesis, we study transfer principles in the context of certain Henselian valued fields, namely Henselian valued fields of equicharacteristic
$0$
, algebraically closed valued fields, algebraically maximal Kaplansky valued fields, and unramified mixed characteristic Henselian valued fields with perfect residue field. First, we compute the burden of such a valued field in terms of the burden of its value group and its residue field. The burden is a cardinal related to the model theoretic complexity and a notion of dimension associated to
$\text {NTP}_2$
theories. We show, for instance, that the Hahn field
$\mathbb {F}_p^{\text {alg}}((\mathbb {Z}[1/p]))$
is inp-minimal (of burden 1), and that the ring of Witt vectors
$W(\mathbb {F}_p^{\text {alg}})$
over
$\mathbb {F}_p^{\text {alg}}$
is not strong (of burden
$\omega $
). This result extends previous work by Chernikov and Simon and realizes an important step toward the classification of Henselian valued fields of finite burden. Second, we show a transfer principle for the property that all types realized in a given elementary extension are definable. It can be written as follows: a valued field as above is stably embedded in an elementary extension if and only if its value group is stably embedded in the corresponding extension of value groups, its residue field is stably embedded in the corresponding extension of residue fields, and the extension of valued fields satisfies a certain algebraic condition. We show, for instance, that all types over the power series field
$\mathbb {R}((t))$
are definable. Similarly, all types over the quotient field of
$W(\mathbb {F}_p^{\text {alg}})$
are definable. This extends previous work of Cubides and Delon and of Cubides and Ye.
These distinct results use a common approach, which has been developed recently. It consists of establishing first a reduction to an intermediate structure called the leading term structure, or
$\operatorname {\mathrm {RV}}$
-sort, and then of reducing to the value group and residue field. This leads us to develop similar reduction principles in the context of pure short exact sequences of abelian groups.
This paper explores the existence and distribution of primitive elements in finite field extensions with prescribed traces in several intermediate field extensions. Our main result provides an inequality-like condition to ensure the existence of such elements. We then derive concrete existence results for a special class of intermediate extensions.
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and in particular obtain a number of new existential (or diophantine) predicates over global fields.
Without resorting to complex numbers or any advanced topological arguments, we show that any real polynomial of degree greater than two always has a real quadratic polynomial factor, which is equivalent to the fundamental theorem of algebra. The proof uses interlacing of bivariate polynomials similar to Gauss’s first proof of the fundamental theorem of algebra using complex numbers, but in a different context of division residues of strictly real polynomials. This shows the sufficiency of basic real analysis as the minimal platform to prove the fundamental theorem of algebra.
Let n be a positive integer and let
$\mathbb{F} _{q^n}$
be the finite field with
$q^n$
elements, where q is a prime power. We introduce a natural action of the projective semilinear group
${\mathrm{P}\Gamma\mathrm{L}} (2, q^n)={\mathrm{PGL}} (2, q^n)\rtimes {\mathrm{Gal}} ({\mathbb F_{q^n}} /\mathbb{F} _q)$
on the set of monic irreducible polynomials over the finite field
$\mathbb{F} _{q^n}$
. Our main results provide information on the characterisation and number of fixed points.
We answer a question posed by Mordell in 1953, in the case of repeated radical extensions, and find necessary and sufficient conditions for
$[F[\sqrt [m_1]{N_1},\dots ,\sqrt [m_\ell ]{N_\ell }]:F]=m_1\cdots m_\ell $
, where F is an arbitrary field of characteristic not dividing any
$m_i$
.
We investigate unramified extensions of number fields with prescribed solvable Galois group G and certain extra conditions. In particular, we are interested in the minimal degree of a number field K, Galois over
$\mathbb {Q}$
, such that K possesses an unramified G-extension. We improve the best known bounds for the degree of such number fields K for certain classes of solvable groups, in particular for nilpotent groups.
If ${\mathfrak {F}}$ is a type-definable family of commensurable subsets, subgroups or subvector spaces in a metric structure, then there is an invariant subset, subgroup or subvector space commensurable with ${\mathfrak {F}}$. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.
We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimension. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that a pseudofinite
$\widetilde {\mathfrak M}_c$
-group of finite positive dimension contains a finite-by-abelian subgroup of positive dimension, and a pseudofinite group of dimension 2 contains a soluble subgroup of dimension 2.
The following theorem, which includes as very special cases results of Jouanolou and Hrushovski on algebraic $D$-varieties on the one hand, and of Cantat on rational dynamics on the other, is established: Working over a field of characteristic zero, suppose $\unicode[STIX]{x1D719}_{1},\unicode[STIX]{x1D719}_{2}:Z\rightarrow X$ are dominant rational maps from an (possibly nonreduced) irreducible scheme $Z$ of finite type to an algebraic variety $X$, with the property that there are infinitely many hypersurfaces on $X$ whose scheme-theoretic inverse images under $\unicode[STIX]{x1D719}_{1}$ and $\unicode[STIX]{x1D719}_{2}$ agree. Then there is a nonconstant rational function $g$ on $X$ such that $g\unicode[STIX]{x1D719}_{1}=g\unicode[STIX]{x1D719}_{2}$. In the case where $Z$ is also reduced, the scheme-theoretic inverse image can be replaced by the proper transform. A partial result is obtained in positive characteristic. Applications include an extension of the Jouanolou–Hrushovski theorem to generalised algebraic ${\mathcal{D}}$-varieties and of Cantat’s theorem to self-correspondences.
Let P and Q be relatively prime integers greater than 1, and let f be a real valued discretely supported function on a finite dimensional real vector space V. We prove that if
$f_{P}(x)=f(Px)-f(x)$
and
$f_{Q}(x)=f(Qx)-f(x)$
are both
$\Lambda $
-periodic for some lattice
$\Lambda \subset V$
, then so is f (up to a modification at
$0$
). This result is used to prove a theorem on the arithmetic of elliptic function fields. In the last section, we discuss the higher rank analogue of this theorem and explain why it fails in rank 2. A full discussion of the higher rank case will appear in a forthcoming work.