Source author record

Jason P. Bell

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.RA math.CO math.AG math.DS Formal Languages and Automata Theory Discrete Mathematics math.AC math.CV math.GR

Catalog footprint

Research overview

42works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields

The (left) linear hull of a weighted automaton over a field is a topological invariant. If the automaton is minimal, the linear hull can be used to determine whether or not the automaton is equivalent to a deterministic one. Furthermore, the linear hull can also be used to determine whether the minimal automaton is equivalent to an unambiguous one. We show how to compute the linear hull, and thus prove that it is decidable whether or not a given automaton over a number field is equivalent to a deterministic one. In this case we are also able to compute an equivalent deterministic automaton. We also show the analogous decidability and computability result for the unambiguous case. Our results resolve a problem posed in a 2006 survey by Lombardy and Sakarovitch.

preprint2023arXiv

On noncommutative bounded factorization domains and prime rings

A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $λ(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most basic finiteness properties in the study of non-unique factorizations. Every commutative noetherian domain has bounded factorizations, but it is open whether such a result holds in the noncommutative setting. We provide sufficient conditions for a noncommutative noetherian prime ring to have bounded factorizations. Moreover, we construct a (noncommutative) finitely presented semigroup algebra that is an atomic domain but does not satisfy the ascending chain condition on principal right or left ideals (ACCP), whence it does not have bounded factorizations.

preprint2022arXiv

$p$ -Adic interpolation of orbits under rational maps

Let $L$ be a field of characteristic zero, let $h:\mathbb{P}^1\to \mathbb{P}^1$ be a rational map defined over $L$ , and let $c\in \mathbb{P}^1(L)$ . We show that there exists a finitely generated subfield $K$ of $L$ over which both $c$ and $h$ are defined along with an infinite set of inequivalent non-archimedean completions $K_{\mathfrak{p}}$ for which there exists a positive integer $a=a(\mathfrak{p})$ with the property that for $i\in \{0,\ldots ,a-1\}$ there exists a power series $g_i(t)\in K_{\mathfrak{p}}[[t]]$ that converges on the closed unit disc of $K_{\mathfrak{p}}$ such that $h^{an+i}(c)=g_i(n)$ for all sufficiently large $n$ . As a consequence we show that the dynamical Mordell-Lang conjecture holds for split self-maps $(h,g)$ of $\mathbb{P}^1 \times X$ with $g$ étale.

preprint2022arXiv

A general criterion for the Pólya-Carlson dichotomy and application

We prove a general criterion for an irrational power series $f(z)=\displaystyle\sum_{n=0}^{\infty}a_nz^n$ with coefficients in a number field $K$ to admit the unit circle as a natural boundary. As an application, let $F$ be a finite field, let $d$ be a positive integer, let $A\in M_d(F[t])$ be a $d\times d$ -matrix with entries in $F[t]$ , and let $ζ_A(z)$ be the Artin-Mazur zeta function associated to the multiplication-by- $A$ map on the compact abelian group $F((1/t))^d/F[t]^d$ . We provide a complete characterization of when $ζ_A(z)$ is algebraic and prove that it admits the circle of convergence as a natural boundary in the transcendence case. This is in stark contrast to the case of linear endomorphisms on $\mathbb{R}^d/\mathbb{Z}^d$ in which Baake, Lau, and Paskunas prove that the zeta function is always rational. Some connections to earlier work of Bell, Byszewski, Cornelissen, Miles, Royals, and Ward are discussed. Our method uses a similar technique in recent work of Bell, Nguyen, and Zannier together with certain patching arguments involving linear recurrence sequences.

preprint2022arXiv

Affine representability and decision procedures for commutativity theorems for rings and algebras

We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial identities, there is an algorithm that terminates after a finite number of steps which decides whether these identities force a ring to be commutative. We then revisit old commutativity theorems of Jacobson and Herstein in light of this algorithm and obtain general results in this vein. In addition, we completely characterize the homogeneous multilinear identities that imply the commutativity of a ring.

preprint2022arXiv

Counterexamples to a Conjecture of Dombi in Additive Number Theory

We disprove a 2002 conjecture of Dombi from additive number theory. More precisely, we find examples of sets $A \subset \mathbb{N}$ with the property that $\mathbb{N} \setminus A$ is infinite, but the sequence $n \rightarrow |\{ (a,b,c) \, : \, n=a+b+c \text{ and } a,b,c \in A \}|$ , counting the number of $3$ -compositions using elements of $A$ only, is strictly increasing.

preprint2021arXiv

A transcendental dynamical degree

We give an example of a dominant rational selfmap of the projective plane whose dynamical degree is a transcendental number.

preprint2021arXiv

Lie complexity of words

Given a finite alphabet $Σ$ and a right-infinite word $\bf w$ over $Σ$ , we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$ , whose value at $n$ is the number of conjugacy classes (under cyclic shift) of length- $n$ factors $x$ of $\bf w$ with the property that every element of the conjugacy class appears in $\bf w$ . We show that the Lie complexity function is uniformly bounded for words with linear factor complexity, and as a result we show that words of linear factor complexity have at most finitely many primitive factors $y$ with the property that $y^n$ is again a factor for every $n$ . We then look at automatic sequences and show that the Lie complexity function of a $k$ -automatic sequence is again $k$ -automatic.

preprint2020arXiv

Height Gap Conjectures, $D$ -Finiteness, and Weak Dynamical Mordell-Lang

In previous work, the first author, Ghioca, and the third author introduced a broad dynamical framework giving rise to many classical sequences from number theory and algebraic combinatorics. Specifically, these are sequences of the form $f(Φ^n(x))$ , where $Φ\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $\overline{\mathbb{Q}}$ and $x\in X(\overline{\mathbb{Q}})$ is a point whose forward orbit avoids the indeterminacy loci of $Φ$ and $f$ . They conjectured that if the sequence is infinite, then $\limsup \frac{h(f(Φ^n(x)))}{\log n} > 0$ . They also made a corresponding conjecture for $\liminf$ and showed that it implies the Dynamical Mordell-Lang Conjecture. In this paper, we prove the $\limsup$ conjecture as well as the $\liminf$ conjecture away from a set of density $0$ . As applications, we prove results concerning the growth rate of coefficients of $D$ -finite power series as well as the Dynamical Mordell-Lang Conjecture up to a set of density $0$ .

preprint2020arXiv

On the importance of being primitive

We give a brief survey of primitivity in ring theory and in particular look at characterizations of primitive ideals in the prime spectrum for various classes of rings.

preprint2016arXiv

Algebraic independence of $G$ -functions and congruences "à la Lucas"

We develop a new method for proving algebraic independence of $G$ -functions. Our approach rests on the following observation: $G$ -functions do not always come with a single linear differential equation, but also sometimes with an infinite family of linear difference equations associated with the Frobenius that are obtained by reduction modulo prime ideals. When these linear difference equations have order one, the coefficients of the $G$ -function satisfy congruences reminiscent of a classical theorem of Lucas on binomial coefficients. We use this to derive a Kolchin-like algebraic independence criterion. We show the relevance of this criterion by proving, using p-adic tools, that many classical families of $G$ -functions turn out to satisfy congruences "à la Lucas".

preprint2016arXiv

On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$ . Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational fibration, i.e., there exists no non-constant rational function $f\in K(X)$ such that $Φ^*(f)=f$ . The Medvedev-Scanlon conjecture holds when $K$ is uncountable. The case where $K$ is countable (e.g., $K=\overline{\mathbb{Q}}$ ) is much more difficult; here the conjecture has only been proved in a small number of special cases. In this paper we show that the Medvedev-Scanlon conjecture holds for all varieties of positive Kodaira dimension, and explore the case of Kodaira dimension $0$ . Our results are most complete in dimension $3$ .

preprint2016arXiv

Power Series with Coefficients from a Finite Set

We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.

preprint2015arXiv

Free algebras and free groups in Ore extensions and free group algebras in division rings

Let $K$ be a field of characteristic zero, let $σ$ be an automorphism of $K$ and let $δ$ be a $σ$ -derivation of $K$ . We show that the division ring $D=K(x;σ,δ)$ either has the property that every finitely generated subring satisfies a polynomial identity or $D$ contains a free algebra on two generators over its center. In the case when $K$ is finitely generated over $k$ we then see that for $σ$ a $k$ -algebra automorphism of $K$ and $δ$ a $k$ -linear derivation of $K$ , $K(x;σ)$ having a free subalgebra on two generators is equivalent to $σ$ having infinite order, and $K(x;δ)$ having a free subalgebra is equivalent to $δ$ being nonzero. As an application, we show that if $D$ is a division ring with center $k$ of characteristic zero and $D^*$ contains a solvable subgroup that is not locally abelian-by-finite, then $D$ contains a free $k$ -algebra on two generators. Moreover, if we assume that $k$ is uncountable, without any restrictions on the characteristic of $k$ , then $D$ contains the $k$ -group algebra of the free group of rank two.

preprint2015arXiv

Iterative algebras

Given a finitely generated free monoid $X$ and a morphism $ϕ: X\to X$ , we show that one can construct an algebra, which we call an iterative algebra, in a natural way. We show that many ring theoretic properties of iterative algebras can be easily characterized in terms of linear algebra and combinatorial data from the morphism and that, moreover, it is decidable whether or not an iterative algebra has these properties. Finally, we use our construction to answer several questions of Greenfeld, Leroy, Smoktunowicz, and Ziembowski by constructing a primitive graded nilpotent algebra with Gelfand-Kirillov dimension two that is finitely generated as a Lie algebra.

preprint2015arXiv

Some finiteness results on monogenic orders in positive characteristic

This work is motivated by the papers [EG85] and [Ngu15] in which the following two problems are solved. Let $\mathcal{O}$ is a finitely generated $\mathbb{Z}$ -algebra that is an integrally closed domain of characteristic zero, consider the following problems: (A) Fix $s$ that is integral over $\mathcal{O}$ , describe all $t$ such that $\mathcal{O}[s]=\mathcal{O}[t]$ . (B) Fix $s$ and $t$ that are integral over $\mathcal{O}$ , describe all pairs $(m,n)\in\mathbb{N}^2$ such that $\mathcal{O}[s^m]=\mathcal{O}[t^n]$ . In this paper, we solve these problems and provide a uniform bound for a certain "discriminant form equation" that is closely related to Problem (A) when $\mathcal{O}$ has characteristic $p>0$ . While our general strategy roughly follows [EG85] and [Ngu15], many new delicate issues arise due to the presence of the Frobenius automorphisms $x\mapsto x^p$ . Recent advances in unit equations over fields of positive characteristic together with classical results in characteristic zero play an important role in this paper.

preprint2015arXiv

Transcendence tests for Mahler functions

We give two tests for transcendence of Mahler functions. For our first, we introduce the notion of the eigenvalue $λ_F$ of a Mahler function $F(z)$ , and develop a quick test for the transcendence of $F(z)$ over $\mathbb{C}(z)$ , which is determined by the value of the eigenvalue $λ_F$ . While our first test is quick and applicable for a large class of functions, our second test, while a bit slower than our first, is universal; it depends on the rank of a certain Hankel matrix determined by the initial coefficients of $F(z)$ . We note that these are the first transcendence tests for Mahler functions of arbitrary degree. Several examples and applications are given.

preprint2014arXiv

$3x+1$ inverse orbit generating functions almost always have natural boundaries

The $3x+k$ function $T_{k}(n)$ sends $n$ to $(3n+k)/2$ resp. $n/2,$ according as $n$ is odd, resp. even, where $k \equiv \pm 1~(\bmod \, 6)$ . The map $T_k(\cdot)$ sends integers to integers, and for $m \ge 1$ let $n \rightarrow m$ mean that $m$ is in the forward orbit of $n$ under iteration of $T_k(\cdot).$ We consider the generating functions $f_{k,m}(z) = \sum_{n>0, n \rightarrow m} z^{n},$ which are holomorphic in the unit disk. We give sufficient conditions on $(k,m)$ for the functions $f_{k, m}(z)$ have the unit circle $\{|z|=1\}$ as a natural boundary to analytic continuation. For the $3x+1$ function these conditions hold for all $m \ge 1$ to show that $f_{1,m}(z)$ has the unit circle as a natural boundary except possibly for $m= 1, 2, 4$ and $8$ . The $3x+1$ Conjecture is equivalent to the assertion that $f_{1, m}(z)$ is a rational function of $z$ for the remaining values $m=1,2, 4, 8$ .

preprint2014arXiv

Embeddings of quotient division algebras of rings of differential operators

Let $k$ be an algebraically closed field of characteristic zero, let $X$ and $Y$ be smooth irreducible algebraic curves over $k$ , and let $D(X)$ and $D(Y)$ denote respectively the quotient division rings of the ring of differential operators of $X$ and $Y$ . We show that if there is a $k$ -algebra embedding of $D(X)$ into $D(Y)$ then the genus of $X$ must be less than or equal to the genus of $Y$ , answering a question of the first-named author and Smoktunowicz.

preprint2014arXiv

Growth degree classification for finitely generated semigroups of integer matrices

Let $\mathcal{A}$ be a finite set of $d\times d$ matrices with integer entries and let $m_n(\mathcal{A})$ be the maximum norm of a product of $n$ elements of $\mathcal{A}$ . In this paper, we classify gaps in the growth of $m_n(\mathcal{A})$ ; specifically, we prove that $\lim_{n\to\infty} \log m_n(\mathcal{A})/\log n\in\mathbb{Z}_{\geqslant 0}\cup\{\infty\}.$ This has applications to the growth of regular sequences as defined by Allouche and Shallit.

preprint2014arXiv

On a dynamical version of a theorem of Rosenlicht

Consider the action of an algebraic group $G$ on an irreducible algebraic variety $X$ all defined over a field $k$ . M. Rosenlicht showed that orbits in general position in $X$ can be separated by rational invariants. We prove a dynamical analogue of this theorem, where $G$ is replaced by a semigroup of dominant rational self-maps of $X$ . Our semigroup $G$ is not required to have the structure of an algebraic variety and can be of arbitrary cardinality.

preprint2014arXiv

The Dynamical Mordell-Lang problem

Let X be a Noetherian space, let f be a continuous self-map on X, let Y be a closed subset of X, and let x be a point on X. We show that the set S consisting of all nonnegative integers n such that f^n(x) is in Y is a union of at most finitely many arithmetic progressions along with a set of Banach density zero. In particular, we obtain that given any quasi-projective variety X, any rational self-map map f on X, any subvariety Y of X, and any point x in X whose orbit under f is in the domain of definition for f, the set S is a finite union of arithmetic progressions together with a set of Banach density zero. We prove a similar result for the backward orbit of a point.

preprint2014arXiv

The minimal growth of a $k$ -regular sequence

We determine a lower gap property for the growth of an unbounded $\mathbb{Z}$ -valued $k$ -regular sequence. In particular, if $f:\mathbb{N}\to\mathbb{Z}$ is an unbounded $k$ -regular sequence, we show that there is a constant $c>0$ such that $|f(n)|>c\log n$ infinitely often. We end our paper by answering a question of Borwein, Choi, and Coons on the sums of completely multiplicative automatic functions.

preprint2013arXiv

A problem around Mahler functions

Let $K$ be a field of characteristic zero and $k$ and $l$ be two multiplicatively independent positive integers. We prove the following result that was conjectured by Loxton and van der Poorten during the Eighties: a power series $F(z)\in K[[z]]$ satisfies both a $k$ - and a $l$ -Mahler type functional equation if and only if it is a rational function.

preprint2013arXiv

A Skolem-Mahler-Lech theorem for iterated automorphisms of $K$ -algebras

This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$ -algebra over a field of characteristic $0$ , and let $σ$ be a $K$ -algebra automorphism of $A$ . Given ideals $I$ and $J$ of $A$ , we show that the set $S$ of integers $m$ such that $σ^m(I) \supseteq J$ is a finite union of complete doubly infinite arithmetic progressions in $m$ , up to the addition of a finite set. Alternatively, this result states that for an affine scheme $X$ of finite type over $K$ , an automorphism $σ\in {\rm Aut}_K(X)$ , and $Y$ and $Z$ any two closed subschemes of $X$ , the set of integers $m$ with $σ^m(Z ) \subseteq Y$ is as above. The paper presents examples showing that this result may fail to hold if the affine scheme $X$ is not of finite type, or if $X$ is of finite type but the field $K$ has positive characteristic.

preprint2013arXiv

Applications of p-adic analysis for bounding periods of subvarieties under etale maps

Using methods of p-adic analysis we give a different proof of Burnside's problem for automorphisms of quasiprojective varieties X defined over a field of characteristic 0. More precisely, we show that any finitely generated torsion subgroup of Aut(X) is finite. In particular this yields effective bounds for the size of torsion of any semiabelian variety over a finitely generated field of characteristic 0. More precisely, we obtain effective bounds for the length of the orbit of a preperiodic subvariety under the action of an etale map.

preprint2013arXiv

Free subalgebras of division algebras over uncountable fields

We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then either the quotient division algebra of $A$ contains a free algebra on two generators, or it is left algebraic over every maximal subfield. As an application, we prove that if $k$ is an uncountable algebraically closed field and $A$ is a finitely generated $k$ -algebra that is a domain of GK-dimension strictly less than 3, then either $A$ satisfies a polynomial identity, or the quotient division algebra of $A$ contains a free $k$ -algebra on two generators.

preprint2013arXiv

Integral Cayley graphs and groups

We solve two open problems regarding the classification of certain classes of Cayley graphs with integer eigenvalues. We first classify all finite groups that have a "non-trivial" Cayley graph with integer eigenvalues, thus solving a problem proposed by Abdollahi and Jazaeri. The notion of Cayley integral groups was introduced by Klotz and Sander. These are groups for which every Cayley graph has only integer eigenvalues. In the second part of the paper, all Cayley integral groups are determined.

preprint2013arXiv

Primitivity of prime countable-dimensional regular algebras

Let $k$ be a field and let $R$ be a countable dimensional prime von Neumann regular $k$ -algebra. We show that $R$ is primitive, answering a special case of a question of Kaplansky.

preprint2012arXiv

Diagonalization and Rationalization of algebraic Laurent series

We prove a quantitative version of a result of Furstenberg and Deligne stating that the the diagonal of a multivariate algebraic power series with coefficients in a field of positive characteristic is algebraic. As a consequence, we obtain that for every prime $p$ the reduction modulo $p$ of the diagonal of a multivariate algebraic power series $f$ with integer coefficients is an algebraic power series of degree at most $p^{A}$ and height at most $A^2p^{A+1}$ , where $A$ is an effective constant that only depends on the number of variables, the degree of $f$ and the height of $f$ . This answers a question raised by Deligne.

preprint2012arXiv

On vanishing coefficients of algebraic power series over fields of positive characteristic

Let $K$ be a field of characteristic $p>0$ and let $f(t_1,...,t_d)$ be a power series in $d$ variables with coefficients in $K$ that is algebraic over the field of multivariate rational functions $K(t_1,...,t_d)$ . We prove a generalization of both Derksen's recent analogue of the Skolem-Mahler-Lech theorem in positive characteristic and a classical theorem of Christol, by showing that the set of indices $(n_1,...,n_d)\in \mathbb{N}^d$ for which the coefficient of $t_1^{n_1}...t_d^{n_d}$ in $f(t_1,...,t_d)$ is zero is a $p$ -automatic set. Applying this result to multivariate rational functions leads to interesting effective results concerning some Diophantine equations related to $S$ -unit equations and more generally to the Mordell--Lang Theorem over fields of positive characteristic.

preprint2012arXiv

The rational-transcendental dichotomy of Mahler functions

In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our method of proof, we also provide a new proof of a Polya-Carlson type result for Mahler functions due to Rande; that is, a Mahler function which is meromorphic in the unit disk is either rational or has the unit circle as a natural boundary.

preprint2011arXiv

Free subalgebras of quotient rings of Ore extensions

Let $K$ be a field, let $σ$ be an automorphism of $K$ , and let $δ$ be a derivation of $K$ . We show that if $D$ is one of $K(x;σ)$ or $K(x;δ)$ , then $D$ either contains a free algebra over its center on two generators, or every finitely generated subalgebra of $D$ satisfies a polynomial identity. As a corollary, we are able to show that the quotient division ring of any iterated Ore extension of an affine domain satisfying a polynomial identity either again satisfies a polynomial identity or it contains a free algebra over its center on two variables.

preprint2011arXiv

On the Kurosh problem for algebras over a general field

Smoktunowicz, Lenagan, and the second-named author recently gave an example of a nil algebra of Gelfand-Kirillov dimension at most three. Their construction requires a countable base field, however. We show that for any field $k$ and any monotonically increasing function $f(n)$ which grows super-polynomially but subexponentially there exists an infinite-dimensional finitely generated nil $k$ -algebra whose growth is asymptotically bounded by $f(n)$ . This construction gives the first examples of nil algebras of subexponential growth over uncountable fields.

preprint2011arXiv

On the set of zero coefficients of a function satisfying a linear differential equation

Let $K$ be a field of characteristic zero and suppose that $f:\mathbb{N}\to K$ satisfies a recurrence of the form $f(n)\ =\ \sum_{i=1}^d P_i(n) f(n-i),$ for $n$ sufficiently large, where $P_1(z),...,P_d(z)$ are polynomials in $K[z]$ . Given that $P_d(z)$ is a nonzero constant polynomial, we show that the set of $n\in \mathbb{N}$ for which $f(n)=0$ is a union of finitely many arithmetic progressions and a finite set. This generalizes the Skolem-Mahler-Lech theorem, which assumes that $f(n)$ satisfies a linear recurrence. We discuss examples and connections to the set of zero coefficients of a power series satisfying a homogeneous linear differential equation with rational function coefficients.

preprint2011arXiv

Rings of differential operators on curves

Let $k$ be an algebraically closed field of characteristic 0 and let $A$ be a finitely generated $k$ -algebra that is a domain whose Gelfand-Kirillov dimension is in $[2,3)$ . We show that if $A$ has a nonzero locally nilpotent derivation then $A$ has quadratic growth. In addition to this, we show that $A$ either satisfies a polynomial identity or $A$ is isomorphic to a subalgebra of $\mathcal{D}(X)$ , the ring of differential operators on an irreducible smooth affine curve $X$ , and $A$ is birationally isomorphic to $\mathcal{D}(X)$ .

preprint2011arXiv

Shirshov's theorem and division rings that are left algebraic over a subfield

Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a division ring that is left algebraic over a subfield K of bounded degree d then D is at most d^2-dimensional over its center. This generalizes a result of Kaplansky. For the proof we give a new version of the combinatorial theorem of Shirshov that sufficiently long words over a finite alphabet contain either a q-decomposable subword or a high power of a non-trivial subword. We show that if the word does not contain high powers then the factors in the q-decomposition may be chosen to be of almost the same length. We conclude by giving a list of problems for algebras that are left algebraic over a commutative subring.

preprint2010arXiv

Primitive algebraic algebras of polynomially bounded growth

We show that if $k$ is a countable field, then there exists a finitely generated, infinite-dimensional, primitive algebraic $k$ -algebra $A$ whose Gelfand-Kirillov dimension is at most six. In addition to this we construct a two-generated primitive algebraic $k$ -algebra. We also pose many open problems.

preprint2010arXiv

Transcendence Degree of Division Algebras

We define a transcendence degree for division algebras, by modifying the lower transcendence degree construction of Zhang. We show that this invariant has many of the desirable properties one would expect a noncommutative analogue of the ordinary transcendence degree for fields to have. Using this invariant, we prove the following conjecture of Small. Let $k$ be a field, let $A$ be a finitely generated $k$ -algebra that is an Ore domain, and let $D$ denote the quotient division algebra of $A$ . If $A$ does not satisfy a polynomial identity then the Gelfand-Kirillov dimension of $K$ is at most the Gelfand-Kirillov dimension of $A$ minus 1 for every commutative subalgebra $K$ of $D$ .

preprint2010arXiv

Transcendence of generating functions whose coefficients are multiplicative

In this paper, we give a new proof and an extension of the following result of Bézivin. Let $f:\B{N}\to K$ be a multiplicative function taking values in a field $K$ of characteristic 0 and write $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ for its generating series. Suppose that $F(z)$ is algebraic over $K(z)$ . Then either there is a natural number $k$ and a periodic multiplicative function $χ(n)$ such that $f(n)=n^k χ(n)$ for all $n$ , or $f(n)$ is eventually zero. In particular, $F(z)$ is either transcendental or rational. For $K=\B{C}$, we also prove that if $F(z)$ is a $D$ -finite generating series of a multiplicative function, then $F(z)$ is either transcendental or rational.

preprint2010arXiv

Transcendence of generating functions whose coefficients are multiplicative

Let $K$ be a field of characteristic 0, $f:\mathbb{N}\to K$ be a multiplicative function, and $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ be algebraic over $K(z)$ . Then either there is a natural number $k$ and a periodic multiplicative function $χ(n)$ such that $f(n)=n^k χ(n)$ for all $n$ , or $f(n)$ is eventually zero. In particular, the generating function of a multiplicative function $f:\mathbb{N}\to K$ is either transcendental or rational.

preprint2008arXiv

Centralizers in Domains of Finite Gelfand-Kirillov Dimension

We study centralizers of elements in domains. We generalize a result of the author and Small, showing that if $A$ is a finitely generated noetherian domain and $a\in A$ is not algebraic over the extended centre of $A$ , then the centralizer of $a$ has Gelfand-Kirillov dimension at most one less than the Gelfand-Kirillov dimension of $A$ . In the case that $A$ is a finitely generated noetherian domain of GK dimension 3 over the complex numbers, we show that the centralizer of an element a $A$ that is not algebraic over the extended centre of $A$ satisfies a polynomial identity.

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.

Jason P. Bell

Research overview

Is this your work?

42 publications

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields

On noncommutative bounded factorization domains and prime rings

ppp-Adic interpolation of orbits under rational maps

A general criterion for the Pólya-Carlson dichotomy and application

Affine representability and decision procedures for commutativity theorems for rings and algebras

Counterexamples to a Conjecture of Dombi in Additive Number Theory

A transcendental dynamical degree

Lie complexity of words

Height Gap Conjectures, DDD-Finiteness, and Weak Dynamical Mordell-Lang

On the importance of being primitive

Algebraic independence of GGG-functions and congruences "à la Lucas"

On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Power Series with Coefficients from a Finite Set

Free algebras and free groups in Ore extensions and free group algebras in division rings

Iterative algebras

Some finiteness results on monogenic orders in positive characteristic

Transcendence tests for Mahler functions

3x+13x+13x+1 inverse orbit generating functions almost always have natural boundaries

Embeddings of quotient division algebras of rings of differential operators

Growth degree classification for finitely generated semigroups of integer matrices

On a dynamical version of a theorem of Rosenlicht

The Dynamical Mordell-Lang problem

The minimal growth of a kkk-regular sequence

A problem around Mahler functions

A Skolem-Mahler-Lech theorem for iterated automorphisms of KKK-algebras

Applications of p-adic analysis for bounding periods of subvarieties under etale maps

Free subalgebras of division algebras over uncountable fields

Integral Cayley graphs and groups

Primitivity of prime countable-dimensional regular algebras

Diagonalization and Rationalization of algebraic Laurent series

On vanishing coefficients of algebraic power series over fields of positive characteristic

The rational-transcendental dichotomy of Mahler functions

Free subalgebras of quotient rings of Ore extensions

On the Kurosh problem for algebras over a general field

On the set of zero coefficients of a function satisfying a linear differential equation

Rings of differential operators on curves

Shirshov's theorem and division rings that are left algebraic over a subfield

Primitive algebraic algebras of polynomially bounded growth

Transcendence Degree of Division Algebras

Transcendence of generating functions whose coefficients are multiplicative

Transcendence of generating functions whose coefficients are multiplicative

Centralizers in Domains of Finite Gelfand-Kirillov Dimension

See the researcher in context

Building this map preview

$p$ -Adic interpolation of orbits under rational maps

Height Gap Conjectures, $D$ -Finiteness, and Weak Dynamical Mordell-Lang

Algebraic independence of $G$ -functions and congruences "à la Lucas"

$3x+1$ inverse orbit generating functions almost always have natural boundaries

The minimal growth of a $k$ -regular sequence

A Skolem-Mahler-Lech theorem for iterated automorphisms of $K$ -algebras