Showing 1–22 of 22 results for author: Byszewski, J

Generating all time-changes preserving dynamical zeta functions

Authors: Sawian Jaidee, Jakub Byszewski, Thomas Ward

Abstract: We construct a set of topological generators for the monoid of time-changes preserving the space of dynamical zeta functions. We construct a set of topological generators for the monoid of time-changes preserving the space of dynamical zeta functions. △ Less

Submitted 20 March, 2024; originally announced March 2024.

MSC Class: 37P35

Pisot numbers, Salem numbers, and generalised polynomials

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: We study sets of integers that can be defined by the vanishing of a generalised polynomial expression. We show that this includes sets of values of linear recurrent sequences of Salem type and some linear recurrent sequences of Pisot type. To this end, we introduce the notion of a generalised polynomial on a number field. We establish a connection between the existence of generalised polynomial ex… ▽ More We study sets of integers that can be defined by the vanishing of a generalised polynomial expression. We show that this includes sets of values of linear recurrent sequences of Salem type and some linear recurrent sequences of Pisot type. To this end, we introduce the notion of a generalised polynomial on a number field. We establish a connection between the existence of generalised polynomial expressions for sets of values of linear recurrent sequences and for subsemigroups of multiplicative groups of number fields. △ Less

Submitted 13 February, 2023; originally announced February 2023.

Comments: 18 pages

MSC Class: 11R06; 11J54; 11D61; 11J87

Multiband linear cellular automata and endomorphisms of algebraic vector groups

Authors: Jakub Byszewski, Gunther Cornelissen

Abstract: We propose a correspondence between certain multiband linear cellular automata - models of computation widely used in the description of physical phenomena - and endomorphisms of certain algebraic unipotent groups over finite fields. The correspondence is based on the construction of a universal element specialising to a normal generator for any finite field. We use this correspondence to deduce n… ▽ More We propose a correspondence between certain multiband linear cellular automata - models of computation widely used in the description of physical phenomena - and endomorphisms of certain algebraic unipotent groups over finite fields. The correspondence is based on the construction of a universal element specialising to a normal generator for any finite field. We use this correspondence to deduce new results concerning the temporal dynamics of such automata, using our prior, purely algebraic, study of the endomorphism ring of vector groups. These produce 'for free' a formula for the number of fixed points of the $n$-iterate in terms of the $p$-adic valuation of $n$, a dichotomy for the Artin-Mazur dynamical zeta function, and an asymptotic formula for the number of periodic orbits. Since multiband linear cellular automata simulate higher order linear automata (in which states depend on finitely many prior temporal states, not just the direct predecessor), the results apply equally well to that class. △ Less

Submitted 19 April, 2024; v1 submitted 5 November, 2022; originally announced November 2022.

Comments: 11 pages (v2: minor corrections)

MSC Class: 20G40; 37B15

Dynamics of endomorphisms of algebraic groups

Authors: Jakub Byszewski, Gunther Cornelissen, Marc Houben

Abstract: Let $σ$ denote an endomorphism of a smooth algebraic group $G$ over the algebraic closure of a finite field, and assume all iterates of $σ$ have finitely many fixed points. Steinberg gave a formula for the number of fixed points of $σ$ (and hence of all of its iterates $σ^n$) in the semisimple case, leading to a representation of its Artin-Mazur zeta function as a rational function. We generalise… ▽ More Let $σ$ denote an endomorphism of a smooth algebraic group $G$ over the algebraic closure of a finite field, and assume all iterates of $σ$ have finitely many fixed points. Steinberg gave a formula for the number of fixed points of $σ$ (and hence of all of its iterates $σ^n$) in the semisimple case, leading to a representation of its Artin-Mazur zeta function as a rational function. We generalise this to an arbitrary (smooth) algebraic group $G$, where the number of fixed points $σ_n$ of $σ^n$ can depend on $p$-adic properties of $n$. We axiomatise the structure of the sequence $(σ_n)$ via the concept of a `finite-adelically distorted' (FAD-)sequence. Such sequences also occur in topological dynamics, and our subsequent results about zeta functions and asymptotic counting of orbits apply equally well in that situation; for example, to $S$-integer dynamical systems, additive cellular automata and other compact abelian groups. We prove dichotomies for the associated Artin-Mazur zeta function, and study the analogue of the Prime Number Theorem for the function counting periodic orbits of length $\leq N$. For an algebraic group $G$ we express the error term via the $\ell$-adic cohomological zeta function of $G$. △ Less

Submitted 19 April, 2024; v1 submitted 31 August, 2022; originally announced September 2022.

Comments: 176 pages, 6 figures, v2: reorganised, extended some of the basic material

MSC Class: Primary 14L10; 20G40; 37P55; 37C25; 37C35 Secondary 11B37; 11N45; 14F20; 30B40; 37C30

Automata and finite order elements in the Nottingham group

Authors: Jakub Byszewski, Gunther Cornelissen, Djurre Tijsma

Abstract: The Nottingham group at 2 is the group of (formal) power series $t+a_2 t^2+ a_3 t^3+ \cdots$ in the variable $t$ with coefficients $a_i$ from the field with two elements, where the group operation is given by composition of power series. The depth of such a series is the largest $d\geq 1$ for which $a_2=\dots=a_d=0$. Only a handful of power series of finite order are explicitly known through a for… ▽ More The Nottingham group at 2 is the group of (formal) power series $t+a_2 t^2+ a_3 t^3+ \cdots$ in the variable $t$ with coefficients $a_i$ from the field with two elements, where the group operation is given by composition of power series. The depth of such a series is the largest $d\geq 1$ for which $a_2=\dots=a_d=0$. Only a handful of power series of finite order are explicitly known through a formula for their coefficients. We argue in this paper that it is advantageous to describe such series in closed computational form through automata, based on effective versions of proofs of Christol's theorem identifying algebraic and automatic series. Up to conjugation, there are only finitely many series $σ$ of order $2^n$ with fixed break sequence (i.e. the sequence of depths of $σ^{\circ 2^i}$). Starting from Witt vector or Carlitz module constructions, we give an explicit automaton-theoretic description of: (a) representatives up to conjugation for all series of order 4 with break sequence (1,m) for m<10; (b) representatives up to conjugation for all series of order 8 with minimal break sequence (1,3,11); and (c) an embedding of the Klein four-group into the Nottingham group at 2. We study the complexity of the new examples from the algebro-geometric properties of the equations they satisfy. For this, we generalise the theory of sparseness of power series to a four-step hierarchy of complexity, for which we give both Galois-theoretic and combinatorial descriptions. We identify where our different series fit into this hierarchy. We construct sparse representatives for the conjugacy class of elements of order two and depth $2^μ\pm 1$ $(μ\geq 1)$. Series with small state complexity can end up high in the hierarchy. This is true, for example, for a new automaton we found, representing a series of order 4 with 5 states, the minimal possible number for such a series. △ Less

Submitted 1 October, 2020; v1 submitted 11 August, 2020; originally announced August 2020.

Comments: 49 pages, 18 figures; arxiv submission includes ancillary files: Mathematica notebooks (+pdf) containing examples and verifications;, a txt-file containing a MAGMA routine by A. Bridy and G. Cornelissen to compute the labelled graph structure of an automaton from an algebraic equation (using differential forms on algebraic curves); v2: small corrections

MSC Class: 2020: 11-11; 11B85 (secondary: 11-04; 11B85; 11G20; 11S31; 11Y16; 20E18; 20E45; 68Q70)

Dold sequences, periodic points, and dynamics

Authors: Jakub Byszewski, Grzegorz Graff, Thomas Ward

Abstract: In this survey we describe how the so-called Dold congruence arises in topology, and how it relates to periodic point counting in dynamical systems. In this survey we describe how the so-called Dold congruence arises in topology, and how it relates to periodic point counting in dynamical systems. △ Less

Submitted 20 June, 2021; v1 submitted 8 July, 2020; originally announced July 2020.

Comments: 38 pages; survey

MSC Class: 11B50; 37C25; 55M20

Gowers norms for automatic sequences

Authors: Jakub Byszewski, Jakub Konieczny, Clemens Müllner

Abstract: We show that any automatic sequence can be separated into a structured part and a Gowers uniform part in a way that is considerably more efficient than guaranteed by the Arithmetic Regularity Lemma. For sequences produced by strongly connected and prolongable automata, the structured part is rationally almost periodic, while for general sequences the description is marginally more complicated. In… ▽ More We show that any automatic sequence can be separated into a structured part and a Gowers uniform part in a way that is considerably more efficient than guaranteed by the Arithmetic Regularity Lemma. For sequences produced by strongly connected and prolongable automata, the structured part is rationally almost periodic, while for general sequences the description is marginally more complicated. In particular, we show that all automatic sequences orthogonal to periodic sequences are Gowers uniform. As an application, we obtain for any $l \geq 2$ and any automatic set $A \subset \mathbb{N}_0$ lower bounds on the number of $l$-term arithmetic progressions - contained in $A$ - with a given difference. The analogous result is false for general subsets of $\mathbb{N}_0$ and progressions of length $\geq 5$. △ Less

Submitted 23 May, 2023; v1 submitted 21 February, 2020; originally announced February 2020.

Comments: 62 pages

MSC Class: 11B85; 11B30

Substitutive systems and a finitary version of Cobham's theorem

Authors: Jakub Byszewski, Jakub Konieczny, Elżbieta Krawczyk

Abstract: We study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear as common factors of two automatic sequences defined over multiplicatively independent bases. This generalises the famous theorem of Cobham. We study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear as common factors of two automatic sequences defined over multiplicatively independent bases. This generalises the famous theorem of Cobham. △ Less

Submitted 22 September, 2020; v1 submitted 29 August, 2019; originally announced August 2019.

Comments: 23 pages. v2: incorporates referee's comments, updated references, to appear in Combinatorica

MSC Class: Primary: 11B85; 37B10; 68R15. Secondary: 37A45; 68Q45

Dynamically affine maps in positive characteristic

Authors: Jakub Byszewski, Gunther Cornelissen, Marc Houben, Lois van der Meijden

Abstract: We study fixed points of iterates of dynamically affine maps (a generalisation of Lattès maps) over algebraically closed fields of positive characteristic $p$. We present and study certain hypotheses that imply a dichotomy for the Artin-Mazur zeta function of the dynamical system: it is either rational or non-holonomic, depending on specific characteristics of the map. We also study the algebraici… ▽ More We study fixed points of iterates of dynamically affine maps (a generalisation of Lattès maps) over algebraically closed fields of positive characteristic $p$. We present and study certain hypotheses that imply a dichotomy for the Artin-Mazur zeta function of the dynamical system: it is either rational or non-holonomic, depending on specific characteristics of the map. We also study the algebraicity of the so-called tame zeta function, the generating function for periodic points of order coprime to $p$. We then verify these hypotheses for dynamically affine maps on the projective line, generalising previous work of Bridy, and, in arbitrary dimension, for maps on Kummer varieties arising from multiplication by integers on abelian varieties. △ Less

Submitted 9 April, 2019; originally announced April 2019.

Comments: Lois van der Meijden co-authored Appendix B. 31 pp

MSC Class: 37P55; 37C30; 14L10; 37C25; 11B37; 14G17

Rado's theorem for rings and modules

Authors: Jakub Byszewski, Elżbieta Krawczyk

Abstract: We extend classical results of Rado on partition regularity of systems of linear equations with integer coefficients to the case when the coefficient ring is either an arbitrary integral domain or a noetherian ring. In particular, we show that a system of homogeneous linear equations over an infinite integral domain is partition regular if and only if the corresponding matrix satisfies the columns… ▽ More We extend classical results of Rado on partition regularity of systems of linear equations with integer coefficients to the case when the coefficient ring is either an arbitrary integral domain or a noetherian ring. In particular, we show that a system of homogeneous linear equations over an infinite integral domain is partition regular if and only if the corresponding matrix satisfies the columns conditions. The crucial idea is to study partition regularity for general modules rather than only for rings. Contrary to previous techniques, our approach is independent of the characteristic of the coefficient ring. △ Less

Submitted 5 March, 2021; v1 submitted 15 April, 2018; originally announced April 2018.

Comments: 21 pages, v2:rewritten introduction, updated references, to appear in JCTA

Dynamics on abelian varieties in positive characteristic

Authors: Jakub Byszewski, Gunther Cornelissen, Robert Royals, Thomas Ward

Abstract: We study periodic points for endomorphisms $σ$ of abelian varieties $A$ over algebraically closed fields of positive characteristic $p$. We show that the dynamical zeta function $ζ_σ$ of $σ$ is either rational or transcendental, the first case happening precisely when $σ^n-1$ is a separable isogeny for all $n$. We call this condition very inseparability and show it is equivalent to the action of… ▽ More We study periodic points for endomorphisms $σ$ of abelian varieties $A$ over algebraically closed fields of positive characteristic $p$. We show that the dynamical zeta function $ζ_σ$ of $σ$ is either rational or transcendental, the first case happening precisely when $σ^n-1$ is a separable isogeny for all $n$. We call this condition very inseparability and show it is equivalent to the action of $σ$ on the local $p$-torsion group scheme being nilpotent. The "false" zeta function $D_σ$, in which the number of fixed points of $σ^n$ is replaced by the degree of $σ^n-1$, is always a rational function. Let $1/Λ$ denote its largest real pole and assume no other pole or zero has the same absolute value. Then, using a general dichotomy result for power series proven by Royals and Ward in the appendix, we find that $ζ_σ(z)$ has a natural boundary at $|z|=1/Λ$ when $σ$ is not very inseparable. We introduce and study tame dynamics, ignoring orbits whose order is divisible by $p$. We construct a tame zeta function $ζ^*_σ$ that is always algebraic, and such that $ζ_σ$ factors into an infinite product of tame zeta functions. We briefly discuss functional equations. Finally, we study the length distribution of orbits and tame orbits. Orbits of very inseparable endomorphisms distribute like those of Axiom A systems with entropy $\log Λ$, but the orbit length distribution of not very inseparable endomorphisms is more erratic and similar to $S$-integer dynamical systems. We provide an expression for the prime orbit counting function in which the error term displays a power saving depending on the largest real part of a zero of $D_σ(Λ^{-s})$. △ Less

Submitted 1 March, 2018; v1 submitted 21 February, 2018; originally announced February 2018.

Comments: Appendix by Robert Royals and Thomas Ward. Expanded introduction including a worked example; added argument (Prop. 5.4) to only have to consider zeros instead of zeros and poles; further minor changes; 47 pp

MSC Class: 37P55; 14K02; 37C30; 11B37; 11N45; 14G17; 37C25

Journal ref: Alg. Number Th. 12 (2018) 2185-2235

Factors of generalised polynomials and automatic sequences

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: The aim of this short note is to generalise the result of Rampersad--Shallit saying that an automatic sequence and a Sturmian sequence cannot have arbitrarily long common factors. We show that the same result holds if a Sturmian sequence is replaced by an arbitrary sequence whose terms are given by a generalised polynomial (i.e., an expression involving algebraic operations and the floor function)… ▽ More The aim of this short note is to generalise the result of Rampersad--Shallit saying that an automatic sequence and a Sturmian sequence cannot have arbitrarily long common factors. We show that the same result holds if a Sturmian sequence is replaced by an arbitrary sequence whose terms are given by a generalised polynomial (i.e., an expression involving algebraic operations and the floor function) that is not periodic except for a set of density zero. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Comments: 6 pages

MSC Class: Primary: 11B85; 37A45

A density version of Cobham's theorem

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: Cobham's theorem asserts that if a sequence is automatic with respect to two multiplicatively independent bases, then it is ultimately periodic. We prove a stronger density version of the result: if two sequences which are automatic with respect to two multiplicatively independent bases coincide on a set of density one, then they also coincide on a set of density one with a periodic sequence. We a… ▽ More Cobham's theorem asserts that if a sequence is automatic with respect to two multiplicatively independent bases, then it is ultimately periodic. We prove a stronger density version of the result: if two sequences which are automatic with respect to two multiplicatively independent bases coincide on a set of density one, then they also coincide on a set of density one with a periodic sequence. We apply the result to a problem of Deshouillers and Ruzsa concerning the least nonzero digit of $n!$ in base $12$. △ Less

Submitted 1 November, 2017; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: 10 pages

MSC Class: 11B85 (Primary); 11A63; 37B10; 68Q45; 69R15 (Secondary)

Automatic sequences and generalised polynomials

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial… ▽ More We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial $p(n)$ with at least one irrational coefficient (except for the constant one) and integer $m\geq 2$, the sequence $\lfloor p(n) \rfloor \bmod{m}$ is never automatic. We also prove that the conjecture is equivalent to the claim that the set of powers of an integer $k\geq 2$ is not given by a generalised polynomial. △ Less

Submitted 18 December, 2017; v1 submitted 24 May, 2017; originally announced May 2017.

Comments: 29 pages, upgraded presentation and references to existing literature, an extended version of the second half of arxiv:1610.03900 [math.NT]

MSC Class: Primary: 11B85; 37A45. Secondary: 37B05; 37B10; 11J71; 11B37; 05C20

Journal ref: Can. J. Math.-J. Can. Math. 72 (2020) 392-426

Sparse generalised polynomials

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: We investigate generalised polynomials (i.e. polynomial-like expressions involving the use of the floor function) which take the value $0$ on all integers except for a set of density $0$. Our main result is that the set of integers where a sparse generalised polynomial takes non-zero value cannot contain a translate of an IP set. We also study some explicit constructions, and show that the chara… ▽ More We investigate generalised polynomials (i.e. polynomial-like expressions involving the use of the floor function) which take the value $0$ on all integers except for a set of density $0$. Our main result is that the set of integers where a sparse generalised polynomial takes non-zero value cannot contain a translate of an IP set. We also study some explicit constructions, and show that the characteristic functions of the Fibonacci and Tribonacci numbers are given by generalised polynomails. Finally, we show that any sufficiently sparse $\{0,1\}$-valued sequence is given by a generalised polynomial. (This paper is essentially the first half of our earlier submission arXiv:1610.03900 [math.NT]. Because the material in arXiv:1610.03900 [math.NT] touches upon many different subjects, we believe it is preferable to split it into two independent papers.) △ Less

Submitted 30 November, 2016; originally announced December 2016.

Comments: 28 pages. arXiv admin note: substantial text overlap with arXiv:1610.03900

MSC Class: Primary: 37A45; 05D10; 28D05; Secondary: 37B05; 11J54; 11J70; 11J71

Automatic sequences, generalised polynomials, and nilmanifolds

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are periodic away from a finite set. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polyn… ▽ More We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are periodic away from a finite set. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial $p(n)$ with at least one irrational coefficient (except for the constant one) and integer $m$, the sequence $\lfloor p(n) \rfloor \bmod{m}$ is never automatic. We also obtain a conditional result, where we prove the conjecture under the assumption that the characteristic sequence of the set of powers of an integer $k\geq 2$ is not given by a generalised polynomial. △ Less

Submitted 12 October, 2016; originally announced October 2016.

Comments: 43 pages

Simultaneous $p$-orderings and minimising volumes in number fields

Authors: Jakub Byszewski, Mikołaj Frączyk, Anna Szumowicz

Abstract: In the paper "On the interpolation of integer-valued polynomials" (Journal of Number Theory 133 (2013), pp. 4224--4232.) V. Volkov and F. Petrov consider the problem of existence of the so-called $n$-universal sets (related to simultaneous $p$-orderings of Bhargava) in the ring of Gaussian integers. We extend their results to arbitrary imaginary quadratic number fields and prove an existence theor… ▽ More In the paper "On the interpolation of integer-valued polynomials" (Journal of Number Theory 133 (2013), pp. 4224--4232.) V. Volkov and F. Petrov consider the problem of existence of the so-called $n$-universal sets (related to simultaneous $p$-orderings of Bhargava) in the ring of Gaussian integers. We extend their results to arbitrary imaginary quadratic number fields and prove an existence theorem that provides a strong counterexample to a conjecture of Volkov-Petrov on minimal cardinality of $n$-universal sets. Along the way, we discover a link with Euler-Kronecker constants and prove a lower bound on Euler-Kronecker constants which is of the same order of magnitude as the one obtained by Ihara. △ Less

Submitted 23 November, 2016; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: new version, substantial corrections in section 6, will appear in Journal of Number Theory

MSC Class: 13F20 (Primary); 13B25 (Secondary)

Transitive dendrite map with zero entropy

Authors: Jakub Byszewski, Fryderyk Falniowski, Dominik Kwietniak

Abstract: Hoehn and Mouron [Ergod. Th. \& Dynam. Sys. (2014) \textbf{34}, 1897--1913] constructed a map on the universal dendrite that is topologically weakly mixing but not mixing. We modify the Hoehn-Mouron example to show that there exists a transitive (even weakly mixing) dendrite map with zero topological entropy. This answers the question of Baldwin [Topology (2001) \textbf{40}, 551--569]. Hoehn and Mouron [Ergod. Th. \& Dynam. Sys. (2014) \textbf{34}, 1897--1913] constructed a map on the universal dendrite that is topologically weakly mixing but not mixing. We modify the Hoehn-Mouron example to show that there exists a transitive (even weakly mixing) dendrite map with zero topological entropy. This answers the question of Baldwin [Topology (2001) \textbf{40}, 551--569]. △ Less

Submitted 10 March, 2015; originally announced March 2015.

MSC Class: 37B20; 37B40; 37B45; 37E25

Some identities involving Prouhet-Thue-Morse sequence and its relatives

Authors: Jakub Byszewski, Maciej Ulas

Abstract: Let $s_{k}(n)$ denote the sum of digits of an integer $n$ in base $k$. Motivated by certain identities of Nieto, and Bateman and Bradley involving sums of the form $\sum_{i=0}^{2^{n}-1}(-1)^{s_{2}(i)}(x+i)^{m}$ for $m=n$ and $m=n+1$, we consider the sequence of polynomials \begin{equation*} f_{m,n}^{\mathbf u}(x)=\sum_{i=0}^{k^{n}-1}ζ_{k}^{s_{k}(i)}(x+{\mathbf u}(i))^{m}. \end{equation*} defined f… ▽ More Let $s_{k}(n)$ denote the sum of digits of an integer $n$ in base $k$. Motivated by certain identities of Nieto, and Bateman and Bradley involving sums of the form $\sum_{i=0}^{2^{n}-1}(-1)^{s_{2}(i)}(x+i)^{m}$ for $m=n$ and $m=n+1$, we consider the sequence of polynomials \begin{equation*} f_{m,n}^{\mathbf u}(x)=\sum_{i=0}^{k^{n}-1}ζ_{k}^{s_{k}(i)}(x+{\mathbf u}(i))^{m}. \end{equation*} defined for sequences ${\bf u}(i)$ satisfying a certain recurrence relation. We prove that computing these polynomials is essentially equivalent with computing their constant term and we find an explicit formula for this number. This allows us to prove several interesting identities involving sums of binary digits. We also prove some related results which are of independent interests and can be seen as further generalizations of certain sums involving Prouhet-Thue-Morse sequence. △ Less

Submitted 29 September, 2014; originally announced September 2014.

Comments: 15 pages

MSC Class: 11B85; 11A63; 11B37

Deformation functors of local actions

Authors: Jakub Byszewski

Abstract: We study the behaviour of infinitesimal deformation functors of local group actions with regard to passing to subgroups and quotient groups. Inspired by the cohomological information, we conjecture the existence of a decomposition of a deformation functor of a local $G$-action as a smooth extension of a fibered product of functors related to a subgroup and a quotient group of $G$. We study the behaviour of infinitesimal deformation functors of local group actions with regard to passing to subgroups and quotient groups. Inspired by the cohomological information, we conjecture the existence of a decomposition of a deformation functor of a local $G$-action as a smooth extension of a fibered product of functors related to a subgroup and a quotient group of $G$. △ Less

Submitted 1 December, 2011; originally announced December 2011.

Comments: 23 pages

MSC Class: 14B12 (Primary); 11G20; 14D15 (Secondary)

Un anneau de deformation universel en conducteur superieur (A universal deformation ring in higher conductor)

Authors: Gunther Cornelissen, Jakub Byszewski, Fumiharu Kato

Abstract: Let k denote a perfect field of characteristic 5. We show that the versal deformation ring of an element of order 5 and Hasse conductor 2 as automorphism of a ring of formal power series k[[t]] computed by Bertin and Mezard, is in fact universal. This provides the first example of a non trivial universal deformation ring in higher conductor. Let k denote a perfect field of characteristic 5. We show that the versal deformation ring of an element of order 5 and Hasse conductor 2 as automorphism of a ring of formal power series k[[t]] computed by Bertin and Mezard, is in fact universal. This provides the first example of a non trivial universal deformation ring in higher conductor. △ Less

Submitted 14 October, 2009; originally announced October 2009.

Comments: 4 pages, in French

MSC Class: 14H10; 14B12

Which weakly ramified group actions admit a universal formal deformation?

Authors: Jakub Byszewski, Gunther Cornelissen

Abstract: Consider a formal (mixed-characteristic) deformation functor D of a representation of a finite group G as automorphisms of a power series ring k[[t]] over a perfect field k of positive characteristic. Assume that the action of G is weakly ramified, i.e., the second ramification group is trivial. Examples of such representations are provided by a group action on an ordinary curve: the action of a… ▽ More Consider a formal (mixed-characteristic) deformation functor D of a representation of a finite group G as automorphisms of a power series ring k[[t]] over a perfect field k of positive characteristic. Assume that the action of G is weakly ramified, i.e., the second ramification group is trivial. Examples of such representations are provided by a group action on an ordinary curve: the action of a ramification group on the completed local ring of any point on such a curve is weakly ramified. We prove that the only such D that are not pro-representable occur if k has characteristic two and G is of order two or isomorphic to a Klein group. Furthermore, we show that only the first of those has a non-pro-representable equicharacteristic deformation functor. △ Less

Submitted 2 April, 2008; v1 submitted 24 August, 2007; originally announced August 2007.

Comments: 16 pages; further minor corrections

MSC Class: 14B12 (Primary); 11G20; 14D15 (Secondary)