Source author record

Nigel P. Byott

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.DS math.RA math.CO math.GR

Catalog footprint

Research overview

7works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

On the mixing properties of piecewise expanding maps under composition with permutations

We consider the effect on the mixing properties of a piecewise smooth interval map $f$ when its domain is divided into $N$ equal subintervals and $f$ is composed with a permutation of these. The case of the stretch-and-fold map $f(x)=mx \bmod 1$ for integers $m \geq 2$ is examined in detail. We give a combinatorial description of those permutations $σ$ for which $σ\circ f$ is still (topologically) mixing, and show that the proportion of such permutations tends to $1$ as $N \to \infty$ . We then investigate the mixing rate of $σ\circ f$ (as measured by the modulus of the second largest eigenvalue of the transfer operator). In contrast to the situation for continuous time diffusive systems, we show that composition with a permutation cannot improve the mixing rate of $f$ , but typically makes it worse. Under some mild assumptions on $m$ and $N$ , we obtain a precise value for the worst mixing rate as $σ$ ranges through all permutations; this can be made arbitrarily close to $1$ as $N \to \infty$ (with $m$ fixed). We illustrate the geometric distribution of the second largest eigenvalues in the complex plane for small $m$ and $N$ , and propose a conjecture concerning their location in general. Finally, we give examples of other interval maps $f$ for which composition with permutations produces different behaviour than that obtained from the stretch-and-fold map.

preprint2015arXiv

On the mixing properties of piecewise expanding maps under composition with permutations, II: Maps of non-constant orientation

For an integer $m \geq 2$ , let $\mathcal{P}_m$ be the partition of the unit interval $I$ into $m$ equal subintervals, and let $\mathcal{F}_m$ be the class of piecewise linear maps on $I$ with constant slope $\pm m$ on each element of $\mathcal{P}_m$ . We investigate the effect on mixing properties when $f \in \mathcal{F}_m$ is composed with the interval exchange map given by a permutation $σ\in S_N$ interchanging the $N$ subintervals of $\mathcal{P}_N$ . This extends the work in a previous paper [N.P. Byott, M. Holland and Y. Zhang, DCDS, {\bf 33}, (2013) 3365--3390], where we considered only the "stretch-and-fold" map $f_{sf}(x)=mx \bmod 1$ .

preprint2014arXiv

Solubility Criteria for Hopf-Galois Structures

Let $L/K$ be a finite Galois extension of fields with group $Γ$ . Associated to each Hopf-Galois structure on $L/K$ is a group $G$ of the same order as the Galois group $Γ$ . The type of the Hopf-Galois structure is by definition the isomorphism type of $G$ . We investigate the extent to which general properties of either of the groups $Γ$ and $G$ constrain those of the other. Specifically, we show that if $G$ is nilpotent then $Γ$ is soluble, and that if $Γ$ is abelian then $G$ is soluble. The proof of the latter result depends on the classification of finite simple groups. In contrast to these results, we give some examples where the groups $Γ$ and $G$ have different composition factors. In particular, we show that a soluble extension may admit a Hopf-Galois structure of insoluble type.

preprint2012arXiv

Nilpotent and abelian Hopf-Galois structures on field extensions

Let $L/K$ be a finite Galois extension of fields with group $Γ$ . When $Γ$ is nilpotent, we show that the problem of enumerating all nilpotent Hopf-Galois structures on $L/K$ can be reduced to the corresponding problem for the Sylow subgroups of $Γ$ . We use this to enumerate all nilpotent (resp. abelian) Hopf-Galois structures on a cyclic extension of arbitrary finite degree. When $Γ$ is abelian, we give conditions under which every abelian Hopf-Galois structure on $L/K$ has type $Γ$ . We also give a criterion on $n$ such that \emph{every} Hopf-Galois structure on a cyclic extension of degree $n$ has cyclic type.

preprint2011arXiv

A Valuation Criterion for Normal Basis Generators of Hopf-Galois Extensions in Characteristic p

Let S/R be a finite extension of discrete valuation rings of characteristic p>0, and suppose that the corresponding extension L/K of fields of fractions is separable and is H-Galois for some K-Hopf algebra H. Let D_{S/R} be the different of S/R. We show that if S/R is totally ramified and its degree n is a power of p, then any element $ρ$ of L with $v_L(ρ)$ congruent to $-v_L(D_{S/R})-1$ mod n generates L as an H-module. This criterion is best possible. These results generalise to the Hopf-Galois situation recent work of G. Elder for Galois extensions.

preprint2011arXiv

Galois scaffolds and Galois module structure in extensions of characteristic $p$ local fields of degree $p^2$

A Galois scaffold, in a Galois extension of local fields with perfect residue fields, is an adaptation of the normal basis to the valuation of the extension field, and thus can be applied to answer questions of Galois module structure. Here we give a sufficient condition for a Galois scaffold to exist in fully ramified Galois extensions of degree $p^2$ of characteristic $p$ local fields. This condition becomes necessary when we restrict to $p=3$ . For extensions $L/K$ of degree $p^2$ that satisfy this condition, we determine the Galois module structure of the ring of integers by finding necessary and sufficient conditions for the ring of integers of $L$ to be free over its associated order in $K[Gal(L/K)]$ .

preprint2010arXiv

On the restricted Hilbert-Speiser and Leopoldt properties

Let G be a finite abelian group. A number field K is called a Hilbert-Speiser field of type G if, for every tame G-Galois extension L/K, the ring of integers O_L is free as an O_K[G]-module. If O_L is free over the associated order A_{L/K} for every G-Galois extension L/K, then K is called a Leopoldt field of type G. It is well-known (and easy to see) that if K is Leopoldt of type G, then K is Hilbert-Speiser of type G. We show that the converse does not hold in general, but that a modified version does hold for many number fields K (in particular, for K/Q Galois) when G=C_p has prime order. We give examples with G=C_p to show that even the modified converse is false in general, and that the modified converse can hold when the original does not.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Nigel P. Byott

Research overview

Is this your work?

7 publications

On the mixing properties of piecewise expanding maps under composition with permutations

On the mixing properties of piecewise expanding maps under composition with permutations, II: Maps of non-constant orientation

Solubility Criteria for Hopf-Galois Structures

Nilpotent and abelian Hopf-Galois structures on field extensions

A Valuation Criterion for Normal Basis Generators of Hopf-Galois Extensions in Characteristic p

Galois scaffolds and Galois module structure in extensions of characteristic $p$ local fields of degree $p^2$

On the restricted Hilbert-Speiser and Leopoldt properties

See the researcher in context

Building this map preview

Nigel P. Byott

Research overview

Is this your work?

7 publications

On the mixing properties of piecewise expanding maps under composition with permutations

On the mixing properties of piecewise expanding maps under composition with permutations, II: Maps of non-constant orientation

Solubility Criteria for Hopf-Galois Structures

Nilpotent and abelian Hopf-Galois structures on field extensions

A Valuation Criterion for Normal Basis Generators of Hopf-Galois Extensions in Characteristic p

Galois scaffolds and Galois module structure in extensions of characteristic ppp local fields of degree p2p^2p2

On the restricted Hilbert-Speiser and Leopoldt properties

See the researcher in context

Building this map preview

Galois scaffolds and Galois module structure in extensions of characteristic $p$ local fields of degree $p^2$