F-sets and finite automata

DOI10.5802/JTNB.1070MaRDI QIDQ2199490zbMATH OpenOpenAlexFDO

Authors Jason P. Bell, Rahim Moosa

Publication date 11 September 2020

Published in Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://arxiv.org/abs/1712.03800

zbMATH Keywords

semiabelian varieties\(F\)-setsautomatics setspositive characteristic Mordell-LangSkolem-Mahler-Lech

Mathematics Subject Classification ID

Automata sequences (11B85) Positive characteristic ground fields in algebraic geometry (14G17) Group schemes (14L15)

Abstract: The classical notion of a k-automatic subset of the natural numbers is here extended to that of an F-automatic subset of an arbitrary finitely generated abelian group $Gamma$ equipped with an arbitrary endomorphism F. This is applied to the isotrivial positive characteristic Mordell-Lang context where F is the Frobenius action on a commutative algebraic group G over a finite field, and $Gamma$ is a finitely generated F-invariant subgroup of G. It is shown that the F-subsets of $Gamma$ introduced by the second author and Scanlon are F-automatic. It follows that when G is semiabelian and X is a closed subvariety then X intersect $Gamma$ is F-automatic. Derksen's notion of a k-normal subset of the natural numbers is also here extended to the above abstract setting, and it is shown that F-subsets are F-normal. In particular, the X intersect $Gamma$ appearing in the Mordell-Lang problem are F-normal. This generalises Derksen's Skolem-Mahler-Lech theorem to the Mordell-Lang context.

Recommendations

• On vanishing coefficients of algebraic power series over fields of positive characteristic
• On automatic subsets of the Gaussian integers
• Automatic sets of rational numbers
• F -structures and integral points on semiabelian varieties over finite fields
• \(k\)-automatic sets of rational numbers

Cites work

• scientific article; zbMATH DE number 3808970 (Why is no real title available?)
• scientific article; zbMATH DE number 3978429 (Why is no real title available?)
• scientific article; zbMATH DE number 721811 (Why is no real title available?)
• scientific article; zbMATH DE number 2220973 (Why is no real title available?)
• A GENERALISED SKOLEM–MAHLER–LECH THEOREM FOR AFFINE VARIETIES
• A Skolem-Mahler-Lech theorem in positive characteristic and finite automata
• A generalised Skolem-Mahler-Lech theorem for affine varieties
• Automatic Sequences
• Bounded Regular Sets
• Characterizing regular languages with polynomial densities
• Division points on subvarieties of isotrivial semi-abelian varieties
• F -structures and integral points on semiabelian varieties over finite fields
• Finding the growth rate of a regular or context-free language in polynomial time
• On vanishing coefficients of algebraic power series over fields of positive characteristic
• The Mordell-Lang conjecture for function fields
• The isotrivial case in the Mordell-Lang Theorem

Cited in

(7)

• Support of an algebraic series as the range of a recursive sequence
• Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization
• CONTRIBUTIONS TO THE THEORY OF F-AUTOMATIC SETS
• Automata and tame expansions of \((\mathbb{Z}, +)\)
• A refinement of Christol's theorem for algebraic power series
• Descriptive set theoretic methods in automata theory. Decidability and topological complexity
• Quantitative estimates for the size of an intersection of sparse automatic sets

This page was built for publication: \(F\)-sets and finite automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199490)