Searcharxiv⌕ Search

arXiv subjects

Xuan Kien Phung

Publications and source records attributed to Xuan Kien Phung.

31 records · Page 2Linked to original sources

Weakly surjunctive groups and symbolic group varieties

In this paper, we introduce the classes of weakly surjunctive and linearly surjunctive groups which include all sofic groups and more generally all surjunctive groups. We investigate various properties of such groups and establish in particular a reversibility and invertibility theorem for injective endomorphisms of symbolic group varieties over weakly surjunctive group universes with algebraic group alphabets in arbitrary characteristic. We also obtain novel evidence related to Kaplansky's stable finiteness conjecture.

math.AG↗

LEF-groups and endomorphisms of symbolic varieties

Let $G$ be a group and let $X$ be an algebraic variety over an algebraically closed field $k$ of characteristic zero. Denote $A=X(k)$ the set of rational points of $X$. We investigate invertible algebraic cellular automata $τ\colon A^G \to A^G$ whose local defining map is induced by some morphism of algebraic varieties $X^M \to X$ where $M$ is a finite memory. When $G$ is locally embeddable into finite groups (LEF), then we show that the inverses of reversible algebraic cellular automata are automatically algebraic cellular automata. Generalizations are also obtained for finite product Hopfian pointed object alphabets in concrete categories.

math.AG↗

On symbolic group varieties and dual surjunctivity

Let $G$ be a group. Let $X$ be an algebraic group over an algebraically closed field $K$. Denote by $A=X(K)$ the set of rational points of $X$. We study algebraic group cellular automata $τ\colon A^G \to A^G$ whose local defining map is induced by a homomorphism of algebraic groups $X^M \to X$ where $M$ is a finite memory. When $G$ is sofic and $K$ is uncountable, we show that if $τ$ is post-surjective then it is weakly pre-injective. Our result extends the dual version of Gottschalk's Conjecture for finite alphabets proposed by Capobianco, Kari, and Taati. When $G$ is amenable, we prove that if $τ$ is surjective then it is weakly pre-injective, and conversely, if $τ$ is pre-injective then it is surjective. Hence, we obtain a complete answer to a question of Gromov on the Garden of Eden theorem in the case of algebraic group cellular automata.

math.DS↗

A geometric generalization of Kaplansky's direct finiteness conjecture

Let $G$ be a group and let $k$ be a field. Kaplansky's direct finiteness conjecture states that every one-sided unit of the group ring $k[G]$ must be a two-sided unit. In this paper, we establish a geometric direct finiteness theorem for endomorphisms of symbolic algebraic varieties. Whenever $G$ is a sofic group or more generally a surjunctive group, our result implies a generalization of Kaplansky's direct finiteness conjecture for the near ring $R(k, G)$ which is $k[X_g\colon g \in G]$ as a group and which contains naturally $k[G]$ as the subring of homogeneous polynomials of degree one. We also prove that Kaplansky's stable finiteness conjecture is a consequence of Gottschalk's Surjunctivity conjecture.

math.AG↗

On linear shifts of finite type and their endomorphisms

Let $G$ be a group and let $A$ be a finite-dimensional vector space over an arbitrary field $K$. We study finiteness properties of linear subshifts $Σ\subset A^G$ and the dynamical behavior of linear cellular automata $τ\colon Σ\to Σ$. We say that $G$ is of $K$-linear Markov type if, for every finite-dimensional vector space $A$ over $K$, all linear subshifts $Σ\subset A^G$ are of finite type. We show that $G$ is of $K$-linear Markov type if and only if the group algebra $K[G]$ is one-sided Noetherian. We prove that a linear cellular automaton $τ$ is nilpotent if and only if its limit set, i.e., the intersection of the images of its iterates, reduces to the zero configuration. If $G$ is infinite, finitely generated, and $Σ$ is topologically mixing, we show that $τ$ is nilpotent if and only if its limit set is finite-dimensional. A new characterization of the limit set of $τ$ in terms of pre-injectivity is also obtained.

math.DS↗

Shadowing for families of endomorphisms of generalized group shifts

Let $G$ be a countable monoid and let $A$ be an Artinian group (resp. an Artinian module). Let $Σ\subset A^G$ be a closed subshift which is also a subgroup (resp. a submodule) of $A^G$. Suppose that $Γ$ is a finitely generated monoid consisting of pairwise commuting cellular automata $Σ\to Σ$ that are also homomorphisms of groups (resp. homomorphisms of modules) with monoid binary operation given by composition of maps. We show that the valuation action of $Γ$ on $Σ$ satisfies a natural intrinsic shadowing property. Generalizations are also established for families of endomorphisms of admissible group subshifts.

math.DS↗

On dynamical finiteness properties of algebraic group shifts

Let $G$ be a group and let $V$ be an algebraic group over an algebraically closed field. We introduce algebraic group subshifts $Σ\subset V^G$ which generalize both the class of algebraic sofic subshifts of $V^G$ and the class of closed group subshifts over finite group alphabets. When $G$ is a polycyclic-by-finite group, we show that $V^G$ satisfies the descending chain condition and that the notion of algebraic group subshifts, the notion of algebraic group sofic subshifts, and that of algebraic group subshifts of finite type are all equivalent. Thus, we obtain extensions of well-known results of Kitchens and Schmidt to cover the case of many non-compact group alphabets.

math.GR↗

Large unions of generalized integral sections on elliptic surfaces

Let $f \colon X \to B$ be a nonisotrivial complex elliptic surface and let $\mathcal{D} \subset X$ be an integral divisor dominating $B$. We study finiteness related properties of generalized $(S, \mathcal{D})$-integral sections $σ\colon B \to X$ of $X$. These integral sections $σ$ correspond to rational points in $A(K)$ which satisfy the set-theoretic condition $f ( σ(B) \cap \mathcal{D})\subset S$, where $S \subset B$ is an arbitrary given subset. For $S \subset B$ finite, the set of $(S, \mathcal{D})$-integral sections of $X$ is finite by the well-known Siegel theorem. In this article, we establish a general quantitative finiteness result of several large unions of $(S, \mathcal{D})$-integral sections in which both the subset $S$ and the divisor $\mathcal{D}$ are allowed to vary in families where notably $S$ is not necessarily finite nor countable. Some applications to generalized unit equations over function fields are also given.

math.AG↗

On Parshin-Arakelov theorem and uniformity of $S$-integral sections on elliptic surfaces

Let $f \colon X \to B$ be a complex elliptic surface and let $\DD \subset X$ be an integral divisor dominating $B$. It is well-known that the Parshin-Arakelov theorem implies the Mordell conjecture over complex function fields by a beautiful covering trick of Parshin. In this article, we construct a similar map in the context of $(S, \DD)$-integral points on elliptic curves over function fields to obtain a new proof of certain uniform finiteness results on the number of $(S, \DD)$-integral points. A second new proof is also given by establishing a uniform bound on the canonical height by means of the tautological inequality. In particular, our construction provides certain uniform quantitative informations on the set-theoretic intersection of curves with the singular divisor in the compact moduli space of stable curves.

math.AG↗

Finiteness criteria and uniformity of integral sections in some families of abelian varieties

Let $A$ be abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and a certain effective horizontal divisor $\DD \subset \mathcal{A}$. We give a sufficient condition on the divisor $\DD$ for the finiteness of the set of $(S, \DD)$-integral sections for every finite subset $S \subset B$. These integral sections $σ$ correspond to rational points in $A(K)$ which satisfy the geometric condition $f ( σ(B) \cap \DD)\subset S$. This notion is the geometric variant of integral solutions of a system of \emph{Diophantine equations}. When $\mathcal{A}= A_0 \times B$ for some complex abelian variety $A_0$, we also give a certain uniform bound on the number of $(S, \DD)$-integral sections. For trivial families of abelian surfaces, a numerical criterion on $\DD$ for the finiteness of $(S, \DD)$-integral sections is obtained.

math.AG↗

On sofic groups, Kaplansky's conjectures, and endomorphisms of pro-algebraic groups

Let $G$ be a group. Let $X$ be a connected algebraic group over an algebraically closed field $K$. Denote by $A=X(K)$ the set of $K$-points of $X$. We study a class of endomorphisms of pro-algebraic groups, namely algebraic group cellular automata over $(G,X,K)$. They are cellular automata $τ\colon A^G \to A^G$ whose local defining map is induced by a homomorphism of algebraic groups $X^M \to X$ where $M\subset G$ is a finite memory set of $τ$. Our first result is that when $G$ is sofic, such an algebraic group cellular automaton $τ$ is invertible whenever it is injective and $\text{char}(K)=0$. As an application, we prove that if $G$ is sofic and the group $X$ is commutative then the group ring $R[G]$, where $R=\text{End}(X)$ is the endomorphism ring of $X$, is stably finite. When $G$ is amenable, we show that an algebraic group cellular automaton $τ$ is surjective if and only if it satisfies a weak form of pre-injectivity called $(\bullet)$-pre-injectivity. This yields an analogue of the classical Moore-Myhill Garden of Eden theorem. We also introduce the near ring $R(K,G)$ which is $K[X_g: g \in G]$ as an additive group but the multiplication is induced by the group law of $G$. The near ring $R(K,G)$ contains naturally the group ring $K[G]$ and we extend Kaplansky's conjectures to this new setting. Among other results, we prove that when $G$ is an orderable group, then all one-sided invertible elements of $R(K,G)$ are trivial, i.e., of the form $aX_g+b$ for some $g\in G$, $a\in K^*$, $b\in K$. This allows us to show that when $G$ is locally residually finite and orderable (e.g. $\mathbb{Z}^d$ or a free group), and $\text{char}(K)=0$, all injective algebraic cellular automata $τ\colon \mathbb{C}^G \to \mathbb{C}^G$ are of the form $τ(x)(h)= a x(g^{-1}h) +b$ for all $x\in \mathbb{C}^G, h \in G$ for some $g\in G$, $a\in \mathbb{C}^*$, $b\in \mathbb{C}$.

math.DS↗

On injective endomorphisms of symbolic schemes

Building on the seminal work of Gromov on endomorphisms of symbolic algebraic varieties [10], we introduce a notion of cellular automata over schemes which generalize affine algebraic cellular automata in [7]. We extend known results to this more general setting. We also establish several new ones regarding the closed image property, surjunctivity, reversibility, and invertibility for cellular automata over algebraic varieties with coefficients in an algebraically closed field. As a byproduct, we obtain a negative answer to a question raised in [7] on the existence of a bijective complex affine algebraic cellular automaton $τ\colon A^{\mathbb Z} \to A^{\mathbb Z}$ whose inverse is not algebraic.

math.AG↗

On the Garden of Eden theorem for endomorphisms of symbolic algebraic varieties

Let $G$ be an amenable group and let $X$ be an irreducible complete algebraic variety over an algebraically closed field $K$. Let $A$ denote the set of $K$-points of $X$ and let $τ\colon A^G \to A^G$ be an algebraic cellular automaton over $(G,X,K)$, that is, a cellular automaton over the group $G$ and the alphabet $A$ whose local defining map is induced by a morphism of $K$-algebraic varieties. We introduce a weak notion of pre-injectivity for algebraic cellular automata, namely $(*)$-pre-injectivity, and prove that $τ$ is surjective if and only if it is $(*)$-pre-injective. In particular, $τ$ has the Myhill property, i.e., is surjective whenever it is pre-injective. Our result gives a positive answer to a question raised by Gromov in~\cite{gromov-esav} and yields an analogue of the classical Moore-Myhill Garden of Eden theorem.

math.DS↗